14推理与证明.docVIP

第十四章 推理与证明（文1-2，理2-2） 一．合情推理与演绎推理 1．推理：从一个或几个已知命题得出另一个新命题的思维过程称为推理．任何推理都包含前提和结论两个部分． 2．合情推理有归纳推理和类比推理等． 归纳推理：从个别事实中推演出一般性的结论． 类比推理：根据两个（或两类）对象之间在某些方面的相似或相同，推演出它们在其它方面也相似或相同． 类比推理是特殊到特殊的推理，归纳推理是由特殊到一般的推理． 　3．演绎推理：演绎推理是根据已有的事实和正确的结论（包括定义、公理、定理等），按照严格的逻辑法则得到新结论的推理过程． 演绎推理的主要形式是三段论，常用的格式为： 也可以用“如果”表示．它的本质是利用一般性原理推出相应的结论，再利用结论之间的联系推导出结论成立．三段论包含三个命题：大前提、小前题、结论． 二．直接证明与间接证明 1．直接从原命题的条件逐步推得命题成立，这种证明通常叫直接证明．综合法和分析法都是直接证法． ①综合法是从已知条件出发，以已知的定义、公理、定理为依据，逐步下推，直到推出要证明的结论为止． ②分析法是从问题的结论出发，追溯导致结论成立的条件，逐步上溯，直到成立结论的条件和已知条件或已知事实吻合为止． 分析法和综合法各有优缺点．分析法思考起来比较自然，容易找到解题的思路和方法，缺点是思路逆行，叙述较繁；综合法从条件推出结论，较简捷地解决问题，但不便于思考．实际证题时常常两法兼用． 2．反证法是一种常用的间接证明方法． 利用反证法证明数学命题，包括以下三个步骤：反设、归谬、存真．即 否定命题的结论．（作出） 由出发，应用正确的推理方法，推出矛盾的结果． 否定假设，从而肯定原结论． 第二步所说的矛盾的结果，通常是指推出的结果与已知公理、定义、定理、已知条件矛盾，与临时假设矛盾以及自相矛盾等各种情况． （理科）三．数学归纳法 1．数学归纳法公理：如果（1）当n取第一个值（例如等）时结论正确； 2．假设当时结论正确，证明当时结论也正确．（即传递性） 那么命题对于从开始的所有正整数都成立． 3．数学归纳法的步骤（1）是命题论证的基础，第二步是命题的正确性能否递推下去的保证，两者缺一不可．