【数学】3.2 数学证明 课件(北师大版选修1-2).pptx

第三章 推理与证明 3.2 数学证明;1. 归纳推理：;3、类比推理的定义：由两类对象具有某些类似特征和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理称为类比推理(简称类比)。; 合情推理的含义 根据 、 (定义、公理、定理等)，推测出某些结果的推理方式． 和 是最常见的合情推理．;演绎推理 (1)含义：从一般性的原理出发，推出 结论的推理． (2)特点：由 的推理． (3)一般模式： ． 大前提： ． 小前提： ． 结论： ．;例1 求证：一个三角形中，最大的角不小于60°.;小前提： △ABC中各角的度数都是实数， 设∠A ≤∠B≤ ∠C, 即∠A ≤ ∠C， ∠B≤∠C， ∠C≤ ∠C;;1．下列说法不正确的个数为(　　) ①演绎推理是一般到特殊的推理；②演绎推理得到的结论一定正确；③合情推理是演绎推理的前提，演绎推理是合情推理的可靠性． A．3　　　　　　　 B．2 C．1 D．0 解析：　演绎推理的结论正确与否与前提、推理形式有关，不一定正确，故②不正确． 答案：　C; 2．“一切奇数都不能被2整除，75不能被2整除，所以75是奇数．”把此演绎推理写成三段论的形式为： 大前提_________________________________； 小前提__________________________________； 结论__________________________________．;3.如图，D，E，F分别是BC，CA，AB上的点，∠BFD＝∠A，DE∥BA，求证：ED＝AF.;证明：　因为同位角相等，两条直线平行， 大前提 ∠BFD与∠A是同位角，且∠BFD＝∠A， 小前提 所以FD∥AE. 结论 因为两组对边分别平行的四边形是平行四边形， . 大前提 DE∥BA，且FD∥AE， 小前提 所以四边形AFDE为平行四边行． 结论 因为平行四边形的对边相等， 大前提 ED和AF为平行四边形AFDE的对边， 小前提 所以ED＝AF. 结论;1．演绎的前提是一般性原理，演绎所得的结论是蕴涵于前提之中的个别、特殊事实，结论完全蕴涵于前提之中． 2．在演绎推理中，前提与结论之间存在着必然的联系，只要前提是真实的，推理的形式是正确的，那么结论也???定是正确的．因而演绎推理是数学中严格证明的工具． 3．演绎推理是一种收敛性的思维方法，它较少有创造性，但却具有条理清晰、令人信服的论证作用，有助于科学的理论化和系统化．;;