反证法培训培训课件.pptVIP

1．反证法的原理 反证法的原理是“否定之否定等于肯定”． 反证法的主要依据是逻辑中的排中律．排中律的一般表现形式是：或者是A，或者是非A，即在同一讨论过程中，A和非A有一个且仅有一个是对的．不能有第三种情形出现． 反证法可以证明的命题范围相当广泛．如：唯一性问题，无限性问题，肯定性问题，否定性问题，存在性问题，不等式问题，等式问题，函数问题，整除问题，几何问题等．常见的基本题型是： (1)一些基本定理； (2)“否定性”命题； (3)“唯一性”命题； (4)“必然性”命题； (5)“至少”、“至多”命题． 常见的“结论词”与“反设词”归纳如下： 1．如果待证命题的相反判断有多种不同情况，需对各种不同情况一一导出矛盾，加以否定，才能使原判断得到充分肯定． 2．有些待证命题的相反判断虽然只有一种情况，但在证明过程中有必要进行分类，首先要求分类必须详尽无遗漏，并且就各类一一导出矛盾． 3．有些待证命题的相反判断是断言一个对象在某一范围内恒有某种属性，对此只要我们能够在该范围内举一特例导出矛盾，即可予以否定，从而达到证明的目的． 4．用直接法证明几何问题时，所画的图形应力求准确，但反证法恰好相反，我们往往故意画出不正确的甚至不可能存在的图形，才便于探索导出矛盾的途径． 5．有些命题在证明过程中，可以连续运用反证法，即反证法中套反证法． 1．应用反证法推出矛盾的推导过程中要把下列哪