归谬法,又叫背理法,是一种论证方式,它首先假设某命题不成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证。
举一个简单例子,证明:三角形的内角中至多有一个钝角。证明如下:假设三角形中内角至少两个钝角,则三角形的三个内角之和大于180°,与三角形的内角和定理矛盾,故三角形的内角中至多有一个钝角。
归谬法,又叫背理法,是一种论证方式,它首先假设某命题不成立(即在原命题的条件下,结论不成立),然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证。
举一个简单例子,证明:三角形的内角中至多有一个钝角。证明如下:假设三角形中内角至少两个钝角,则三角形的三个内角之和大于180°,与三角形的内角和定理矛盾,故三角形的内角中至多有一个钝角。