北师社课件数学思想方法导引课件间接证法.pptxVIP

间接证法第30讲取材于段志贵、段敏萱编著的《数学思想方法导引》一书第八章第7节。本书由北京师范大学出版社2019年出版。“数学思想方法导引”36讲之第30讲

目录2什么是间接证法反证法同一法14同一法与反证法证题的比较

01什么是间接证法

什么是间接证法间接证法指的是不从正面论定命题的正确性，而是通过证明其反论题为假，或改证它的等价命题为真来间接证明原命题。间接证法包括反证法和同一法。

02反证法

反证法的概念反证法的证题模式及其步骤常用反证法的几种命题反证法

反证法的概念反证法是从反面的角度思考问题的证明方法，即：从否定命题入手，并把对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，然后得到与已知条件、已知公理、定理、法则或者已经证明为正确的命题等相矛盾，而矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题得证。

反证法的概念反证法依据的是逻辑思维规律中的“矛盾律”和“排中律”。反证法在其证明过程中，得到矛盾的判断，根据“矛盾律”，这些矛盾的判断不能同时为真，必有一假，而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的，所以“否定的结论”必为假。再根据“排中律”，结论与“否定的结论”这一对立的互相否定的判断不能同时为假，必有一真，于是我们得到原结论必为真。

反证法的证题模式及