定義

間接證明是相對(duì)于直接證明說(shuō)的,反證法是間接證明常用的方法。

反證法

假設(shè)原命題不成立,經(jīng)過(guò)正確的推理,最后得出矛盾,因此說(shuō)明假設(shè)錯(cuò)誤,從而證明原命題成立,這種證明方法叫做

反證法

。