七、反证法
与前面所讲的方法不同，反证法是属于“间接证明法”一类，是从反面的角度思考问题的证明方法，即：
肯定题设而否定结论，从而导出矛盾推理而得。法国数学家阿达玛(Hadamard)对反证法的实质作过概括：
“若肯定定理的假设而否定其结论，就会导致矛盾”。具体地讲，反证法就是从否定命题的结论入手，并把
对命题结论的否定作为推理的已知条件，进行正确的逻辑推理，使之得到与已知条件、已知公理、定理、
法则或者已经证明为正确的命题等相矛，矛盾的原因是假设不成立，所以肯定了命题的结论，从而使命题
获得了证明。
反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。在同一思维过程中，两个互相矛盾的判断
不能同时都为真，至少有一个是假的，这就是逻辑思维中的“矛盾律”；两个互相矛盾的判断不能同时都假，
简单地说“A 或者非 A”，这就是逻辑思维中的“排中律”。反证法在其证明过程中，得到矛盾的判断，根据
“矛盾律”，这些矛盾的判断不能同时为真，必有一假，而已知条件、已知公理、定理、法则或者已经证明
为正确的命题都是真的，所以“否定的结论”必为假。再根据“排中律”，结论与“否定的结论”这一对立的互 ...