【世纪金榜】2016-2017学年高中数学 2.1.2 演绎推理课件 新人教A版选修2-2.pptVIP

[化解疑难] 2.1.2　演绎推理 演绎推理的三个特点 (1)演绎推理的前提是一般性原理，演绎推理所得的结论是蕴含于前提之中的个别、特殊事实，结论完全蕴含于前提之中． (2)在演绎推理中，前提与结论之间存在必然的联系，只要前提是真实的，推理的形式是正确的，那么结论也必定是正确的．因而演绎推理是数学中严格证明的工具． (3)演绎推理是由一般到特殊的推理． 　[例1]　将下列演绎推理写成三段论的形式： (1)一切奇数都不能被2整除，75不能被2整除，所以75是奇数； (2)三角形的内角和为180°，Rt△ABC的内角和为180°； (3)菱形对角线互相平分； (4)通项公式为an＝3n＋2(n≥2)的数列{an}为等差数列． [解]　(1)一切奇数都不能被2整除．大前提 75不能被2整除，小前提 75是奇数．结论 (2)三角形的内角和为180°，大前提 Rt△ABC是三角形，小前提 Rt△ABC的内角和为180°.结论 (3)平行四边形对角线互相平分，大前提 菱形是平行四边形，小前提 菱形对角线互相平分．结论 [活学活用] 把下列推断写成三段论的形式： (1)y＝sin x(xR)是周期函数； (2)若两个角是对顶角，则这两个角相等，所以若1和2是对顶角，则1和2相等． [例2]　用三段论证明并指出每一步推理的大、小前提．如图，在锐角ABC中，AD，BE是高线，D，E为垂足，M为AB的中点．求证：ME＝MD. [类题通法] 三段论在几何问题中的应用 (1)三段论是最重要且最常用的推理表现形式，我们以前学过的平面几何与立体几何的证明，都不自觉地运用了这种推理，只不过在利用该推理时，往往省略了大前提． (2)几何证明问题中，每一步都包含着一般性原理，都可以分析出大前提和小前提，将一般性原理应用于特殊情况，就能得出相应结论． [活学活用] 已知在梯形ABCD中，如图，AB＝CD＝AD，AC和BD是梯形的对角线，求证：AC平分BCD，DB平分CBA. [典例]　定义在实数集R上的函数f(x)，对任意x，yR，有f(x－y)＋f(x＋y)＝2f(x)f(y)，且f(0)≠0，求证：f(x)是偶函数． 证明：令x＝y＝0， 则有f(0)＋f(0)＝2f(0)×f(0)， 因为f(0)≠0，所以f(0)＝1. 令x＝0， [易错防范] 解本题的关键是透彻理解三段论推理的形式：大前提—小前提—结论，其中大前提是一个一般性的命题，即证明这个具体问题的理论依据．因此结合f(x)是偶函数的定义和证明过程容易确定本题答案．本题易误认为题目的已知条件为大前提而导致答案错误． [随堂即时演练] 1．“四边形ABCD是矩形，所以四边形ABCD的对角线相等”，补充该推理的大前提是(　　) A．正方形的对角线相等 B．矩形的对角线相等 C．等腰梯形的对角线相等 D．矩形的对边平行且相等 3．求函数y＝的定义域时，第一步推理中大前提是有意义，即a≥0，小前提是有意义，结论是________． 解析：由三段论的形式可知，结论是log2x－2≥0. 答案：log2x－2≥0 4．用三段论证明函数f(x)＝x＋在(1，＋∞)上为增函数的过程如下，试将证明过程补充完整： ___________________________……………………大前提 ____________________________…………………小前提 ___________________________……………………结论 5．将下列推理写成“三段论”的形式． (1)向量是既有大小又有方向的量，故零向量也有大小和方向； (2)矩形的对角线相等，正方形是矩形，所以正方形的对角线相等； (3)0.33是有理数． ∵直角三角形斜边上的中线等于斜边的一半，大前提 M是直角ABD斜边AB上的中点，DM为中线，小前提 DM＝AB.结论 同理EM＝AB. 和同一条线段相等的两条线段相等，大前提 DM＝AB，EM＝AB，小前提 MD＝ME.结论 [导入新知] 问题2：第二句又说的什么？ 提示：都说的是特殊示例． 问题3：第三句呢？ 提示：由一般原理对特殊示例做出判断． [例3]　已知函数f(x)＝ax＋(a＞1)，求证：函数f(x)在(－1，＋∞)上为增函数． [类题通法] 使用三段论应注意的问题 (1)应用三段论证明问题时，要充分挖掘题目外在和内在条件(小前提)，根据需要引入相关的适用的定理和性质(大前提)，并保证每一步的推理都是正确的、严密的，才能得出正确的结论． (2)证明中常见的错误： 条件分析错误(小前提错)． 定理引入和应用错误(大前提错)． 推理过程错误等． [证明]　如果在(－1，＋∞)上f′(x)0，那么函数f(x)在(－1，＋∞)上是增函数，大前提a1，f′(x)＝axln a＋0，小前提 函数