间接证明
网友科普
反证法是从否定命题的结论出发，根据已知条件，经过严格的逻辑推理得出一个矛盾的结果，从而肯定原结论正确的一种间接证明方法。即先提出与命题结论相反（相排斥）的假设，以此为条件推理论证，如果推导得到的结论与定义、公理、定理相矛盾，或与题设里边的已知条件相矛盾，或与假设相矛盾，则可证明命题的反设不成立，基于此断定原命题成立。在上教版普通高中教科书《数学》必修第一册“1.2.3反证法”中反证法的定义为：首先假设结论 β 不成立（β为假），然后经过正确的逻辑推理得出矛盾，从而说明 “β为假”是不可能发生的，即结论β是正确的。反证法一般有归谬法和穷举法两种：其一，归谬法是对原命题的结论进行否定，如果只有一种...
问AI百科
百科AI智能，探索更多与"间接证明"相关的知识