2017-2018学年高中数学 第三章 推理与证明 3.2 数学证明课件 北师大版选修1-.pptVIP

-*- 3.2　数学证明 一、演绎推理 二、三段论 名师点拨1.演绎推理的特点 (1)演绎推理的前提是一般性原理,演绎推理的结论是蕴涵于前提之中的个别特殊事实. (2)在演绎推理中,前提和结论之间存在必然的联系,只要前提是真实的,推理形式是正确的,结论必定是正确的. 2.对三段论的理解 (1)三段论推理的依据:用集合观点来讲,就是:若集合M的所有元素都具有性质P,S是M的子集,则S中所有元素也都具有性质P. (2)应用“三段论”进行推理的过程中,大前提、小前提或推理形式之一错误,都可能导致结论错误. (3)应用三段论解决问题时,首先应该明确什么是大前提和小前提.但为了叙述简洁,如果大前提是人们熟知的,那么可以省略不写. 【做一做】 (1)“因为我们是共青团员,所以我们要在学习和工作中起带头作用”,它的大前提是(　　) A.我们是共青团员 B.我们在学习和工作中起带头作用 C.共青团员应在学习和工作中起带头作用 D.以上都不是 (2)用三段论证明命题:“任何实数的平方大于0,因为a是实数,所以a20”,你认为这个推理(　　) A.大前提错误 B.小前提错误 C.推理形式错误 D.是正确的 解析:(1)通过三段论的形式可以看出,本题的大前提已经省略,小前提为:我们是共青团员;结论为:我们要在学习和工作中起带头作用.故大前提应为:共青团员应在学习和工作中起带头作用. (2)这个三段论推理的大前提是“任何实数的平方大于0”,小前提是“a是实数”,结论是“a20”.显然这是个错误的推理,究其原因,是大前提错误,尽管推理形式是正确的,但是结论是错误的. 答案:(1)C　(2)A 思考辨析 判断下列说法是否正确,正确的在后面的括号内打“√”,错误的打“×”. (1)演绎推理的结论一定正确. (　　) (2)演绎推理的一般模式是“三段论”形式. (　　) (3)三段论中,大前提正确,小前提正确,推理过程正确,则结论正确. (　　) (4)演绎推理得到的结论的正确性与大前提、小前提和推理形式有关. (　　) 答案:(1)×　(2)√　(3)√　(4)√ 探究一 探究二 探究三 思维辨析 对三段论的理解 【例1】 将下列演绎推理写成三段论的形式. (1)等腰三角形的两底角相等,∠A,∠B是等腰三角形的底角,则∠A=∠B; (2)通项公式为an=2n+3的数列{an}为等差数列. 思路分析:分清楚三段论中的大前提、小前提、结论是解题的关键,为此要抓住它们的含义,即大前提——已知的一般原理,小前提——所研究的特殊情况,结论——根据一般原理,对特殊情况作出的判断. 探究一 探究二 探究三 思维辨析 解:(1)等腰三角形的两底角相等,(大前提) ∠A,∠B是等腰三角形的底角,(小前提) ∠A=∠B.(结论) (2)数列{an}中,若当n≥2时,an-an-1为常数, 则{an}为等差数列,(大前提) 当通项公式为an=2n+3时, an-an-1=2n+3-[2(n-1)+3]=2(常数),(小前提) 通项公式为an=2n+3的数列{an}为等差数列.(结论) 反思感悟1.用三段论写演绎推理的过程,关键是明确大前提、小前提,大前提提供了一个一般性的原理,在演绎推理的过程中往往省略,而小前提指出了大前提下的一个特殊情况,只有将二者结合起来才能得到完整的三段论. 2.在寻找大前提时,可找一个使结论成立的充分条件作为大前提. 探究一 探究二 探究三 思维辨析 变式训练1用三段论的形式写出下列演绎推理. (1)菱形的对角线相互垂直,正方形是菱形,所以正方形的对角线相互垂直. (2)若两角是对顶角,则此两角相等,所以若两角不相等,则此两角不是对顶角. 探究一 探究二 探究三 思维辨析 演绎推理在几何证明中的应用 【例2】 如图,正三棱柱ABC-A1B1C1的棱长均为a,D,E分别为C1C与AB的中点,A1B交AB1于点G. 求证:(1)A1B⊥AD; (2)CE∥平面AB1D. 思路分析:(1)为了证明A1B⊥AD,可证A1B⊥平面AB1D,连接DG,显然A1B⊥AB1,所以只需证明A1B⊥DG,可利用△A1DB是等腰三角形以及G是A1B中点得证. (2)要证CE∥平面AB1D,只需证CE与平面AB1D内的一条直线(DG)平行即可. 探究一 探究二 探究三 思维辨析 证明:(1)连接A1D,DG,BD. 如图所示,∵三棱柱ABC-A1B1C1是棱长均为a的正三棱柱, ∴四边形A1ABB1为正方形, ∴A1B⊥AB1. ∵D是C1C的中点, ∴△A1C1D≌△BCD. ∴A1D=BD. ∵G为A1B的中点,∴A1B⊥DG. 又∵DG∩AB1=G,∴A1B⊥平面AB1D. 又∵AD?平面AB1D,∴A1B⊥AD. 探究一 探究二 探究三 思维辨析 (2)连接