2017-2018学年高中数学 第二章 推理与证明 2.1 合情推理与演绎推理 2.1.2 演绎推理课件 新人教A版选修2-2.pptVIP

(3)大前提:一次函数都是单调函数; 小前提:函数y=2x-1是一次函数; 结论:y=2x-1是单调函数. (4)大前提:等差数列的通项公式具有形式an=pn+q(p,q是常数); 小前提:数列1,2,3,…,n是等差数列; 结论:数列1,2,3,…,n的通项具有an=pn+q(p,q是常数)的形式. 【方法总结】用三段论写推理过程的技巧 (1)关键:用三段论写推理过程时,关键是明确大、小前提,三段论中大前提提供了一个一般原理,小前提提供了一种特殊情况,两个命题结合起来,揭示一般原理与特殊情况的内在联系. (2)何时省略:有时可省略小前提,有时甚至也可将大前提、小前提都省略. (3)如何寻找:在寻找大前提时可找一个使结论成立的充分条件作大前提. 【拓展延伸】判断演绎推理是否正确要四看 (1)看推理形式是否为由一般到特殊的推理,只有由一般到特殊的推理才是演绎推理,这是最易出错的地方. (2)看大前提是否正确,大前提往往是定义、定理、性质等,注意其中有无前提条件. (3)看小前提是否正确,注意小前提必须在大前提范围之内. (4)看推理过程是否正确,即看由大前提,小前提得到的结论是否正确. 【巩固训练】1.将下列推理写成三段论的形式. (1)正方形对角线相互垂直. (2)0.33 是有理数. 【解析】(1)因为每个菱形的对角线相互垂直,(大前提) 正方形是菱形,(小前提) 所以正方形的对角线相互垂直.(结论) (2)因为所有的循环小数是有理数,(大前提) 0.33 是循环小数,(小前提) 所以0.33 是有理数.(结论) 2.(1)判断下面推理是否正确?为什么? 因为奇数3,5,7,11是质数,9是奇数,所以9是质数. (2)将下列推理写成“三段论”的形式: ①向量是既有大小又有方向的量,故零向量也有大小和方向; ②矩形的对角线相等,正方形是矩形,所以正方形的对角线相等. 【解析】(1)错误.推理形式错误,演绎推理是由一般到特殊的推理,3,5,7,11只是奇数的一部分,是特殊事例. (2)①向量是既有大小又有方向的量,…大前提 零向量是向量,…………………………小前提 所以零向量也有大小和方向. ……………………结论 ②每一个矩形的对角线相等, …………大前提 正方形是矩形, ……………………小前提 正方形的对角线相等. ……………………结论 类型二　演绎推理在几何中的应用 【典例2】已知平面α∥平面β,直线l⊥α,l∩α=A,如图所示, 求证:l⊥β. 【解题指南】本例可由线面垂直的定义证明l⊥β. 【证明】在平面β内任取一条直线b,平面γ是经过点A与直线b的平面.设γ∩α=a. ①如果两个平行平面同时和第三个平面相交,那么它们的交线平行, …………………………大前提 α∥β,且α∩γ=a,β∩γ=b, ……………小前提 所以a∥b. …………………………结论 ②如果一条直线与一个平面垂直,那么这条直线和这个平面内的任意一条直线都垂直, ……………大前提 l⊥α,a?α, ………………………………小前提 所以l⊥α. …………………………结论 ③如果一条直线和两条平行线中的一条垂直,那么它也与另一条垂直, …………………………大前提 a∥b,且l ⊥α. …………………………小前提 所以l⊥b. …………………………结论 ④如果一条直线和一个平面内的任意一条直线都垂直,那么这条直线和这个平面垂直. ……………大前提 因为l⊥b,且直线b是平面β内的任意一条直线, ……………………………………………………小前提 所以l⊥β. ………………………………………结论 【方法总结】几何证明中演绎推理应用的两个关注点 (1)大前提的正确性:几何证明往往采用演绎推理,它往往不是经过一次推理就能完成的,常需要几次使用演绎推理,每一个推理都暗含着大、小前提,前一个推理的结论往往是下一个推理的前提,在使用时不仅要推理的形式正确,还要前提正确,才能得到正确的结论. (2)大前提可省略:在几何证明问题中,每一步都包含着一般原理,都可以分析出大前提和小前提,将一般原理应用于特殊情况,就能得出相应结论. 提醒:在应用“三段论”进行推理的过程中,大前提、小前提或推理形式中任一错误,都可能导致结论错误. 【巩固训练】如图,在锐角△ABC中,AD⊥BC于点D,BE⊥AC于点E,D,E是垂足,求证: (1)△ABD是直角三角形. (2)AB的中点M到D,E的距离相等. 【证明】(1)因为有一个内角是直角的三角形是直角三角形,(大前提) 在△ABC中,AD⊥BC,即∠ADB=90°,(小前提) 所以△ABD是直角三角形.(结论) (2)连接DM,EM.因为直角三角形斜边上的中线等于斜边的一半,(大前提) 又因为DM是Rt△ABD斜边上的中线,(小前提) 所以