第二十一讲推理与证明.docVIP

第二十一讲推理与证明 合情推理最常见的是归纳和类比。由某类事物的部分对象具有某些特征推出该类事物的全部对象具有这些特征的推理。或者由个别事实概括出一般结论的推理，称为归纳推理，简言之是从部分到整体，从个别到一般的推理。由两类对象具有某些类似特征和其中一类对象具有的某些已知特征推出另一类对象也具有这些特征的推理称为类比推理。类比推理是从特殊到特殊的推理。 练习：（1）、观察下图中各正方形图案，每条边上有个圆圈，每个图案中圆圈的总数是，按此规律推出：当时，与的关系式 .key： （2）、观察下式：1=12，2+3+4=32，3+4+5+6+7=52，4+5+6+7+8+9+10=72，…，则可得出一般结论： .key： （3）类比平面内的直角三角形的性质猜想空间中的类似定理。 演绎推理：从一般性的原理，推出某个特殊情况下的结论。是从一般到特殊的推理。“三段论”是演绎推理的一般模式，它包括：（1）大前提＿＿＿已知的一般原理。（2）小前提＿＿＿所研究的特殊情况。（3）结论＿＿根据一般原理对特殊情况做出的判断。演绎推理是一个必然性的推理，演绎推理产前提与结论之间有蕴涵关系，只要大前提、小前提都是真实的，推理的形式是正确的，那么结论必是真实的。但错误的前提可能导致错误的结论，推理的形式不对也会导致错误的结论。 综合法：利用已知条件和某些数学定义、公理、定理等，经过一系的推理论证，最后推导出所要证明的结论成立。又叫由因导果法或顺推证法。 分析法：从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定理、定义、公理等）为止。又叫逆推证法或执因索果法。 反证法：假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明了原命题成立。这种方法叫反证法，它是间接证明的基本方法。反证法的一般步骤是：（1）反设：假设所要证明的结论不成立即结论的反面成立，（2）归谬：由“反设”出发，通过正确的推理，导出矛盾＿＿＿与已知条件、已知公理、定义、定理、反设及明显的事实矛盾。（3）结论：肯定原命题成立。 宜用反证法的题型有：（1）一些基本命题，一些基本定理，（2）：“否定性”命题，（3）“惟一性”命题，（4）“至多”“至少”类命题，（5）涉及“无限”结论的命题。 归纳法分为不完全归纳法和完全归纳法。数学归纳法：是证明与自然数集有关的命题，它是在归纳的基础上进行的演绎推理，所得结论一般是正确的。是不完全归纳法的一种。 数学归纳法的一般步骤是：（1）验证时，结论正确，是使命题成立的最自然数。（2）假设当时命题成立，证明当时命题也成立，（3）作结论，由（1）（2）知命题成立。