【数学】3.2数学证明课件(北师大版选修1-2)技术总结.pptxVIP

第三章 推理与证明 3.2 数学证明 1. 归纳推理： 归纳推理是由部分到整体，由个别到一般的推 理，或者说是由个别事实概括出一般结论的推理过 程。 2. 归纳推理的步骤： （1）通过观察个别情况发现某些共同性质； （2） 从已知的相同性质中退出一个明确表达的 一般性命题（猜想）。 ＊ 注意：归纳推理的结论不一定正确。 3、类比推理的定义：由两类对象具有某些类似特征和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理称为类比推理(简称类比)。 4、运用类比法的关键是：寻找一个合适的类比对象。 5.归纳推理和类比推理是最常见的合情推理.合情 推理的结果不一定正确，但是在数学、科学、经济 和社会的历史发展中，合情推理有非常重要的价值， 它是科学发现和创造的基础. 合情推理的含义 根据 、 (定义、公理、定理等)，推测出某些结果的推理方式． 和 是最常见的合情推理． 实验和实践的结果、个人的经验和直觉 已有的事实和正确的结论 归纳推理 类比推理 在科学研究和日常生活中，常常通过合情推理探索方 法、寻求思路、发现规律、得到猜想.但是，合情推理 的结论有时是不正确的.对于数学命题，需要通过演绎 推理严格证明.因此，在学习中要善于运用演绎推理证 明合情推理猜想发现的结论是否正确. 演绎推理 (1)含义：从一般性的原理出发，推出 结论的推理． (2)特点：由 的推理． (3)一般模式： ． 大前提： ． 小前提： ． 结论： ． 一般到特殊 三段论 已知的一般原理 所研究的特殊情况 根据一般的原理，对特殊情况做出的判断 “三段论”的常用格式 大前提：M是P. 小前提：S是M. 结论： . S是P 例1 求证：一个三角形中，最大的角不小于60°. 证明 设△ABC中，∠A ≤∠B≤ ∠C, （1） 则∠A +∠B+ ∠C ≤ 3∠C， （2） 即3∠C≥180°. （3） 所以∠C≥60°. （4） 在这个例子中，由（1）到（2）是三段论推理， 详细写出来是： 小前提： △ABC中各角的度数都是实数， 设∠A ≤∠B≤ ∠C, 即∠A ≤ ∠C， ∠B≤∠C， ∠C≤ ∠C; 结论： ∠A +∠B+∠C ≤∠C +∠C+∠C=3 ∠C. 在这个例子中，由（2）到（3）也是三段论推理， 省略的大前提是“三角形的内角和等于180°”. 1．下列说法不正确的个数为(　　) ①演绎推理是一般到特殊的推理；②演绎推理得到的结论一定正确；③合情推理是演绎推理的前提，演绎推理是合情推理的可靠性． A．3　　　　　　　 B．2 C．1 D．0 解析：　演绎推理的结论正确与否与前提、推理形式有关，不一定正确，故②不正确． 答案：　C 2．“一切奇数都不能被2整除，75不能被2整除，所以75是奇数．”把此演绎推理写成三段论的形式为： 大前提_________________________________； 小前提__________________________________； 结论__________________________________． 解析：　由三段论可知：大前提是一般原理；小前提是所研究的特殊情况；结论是根据一般的原理，对特殊情况做出的判断． 答案：　一切奇数都不能被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．演绎推