背理法とは - 背理法Wiki

• 背理法とは、ある命題が真であることを示すために

1. 命題の逆()が真であると仮定し、
2. それによって矛盾(との両方が成立する:)を導くことによって
3. 命題が真ではありえない、つまり命題が真であること

という手順を踏む証明法。帰謬法ともいう。(仮定にを追加して得られる仮定が矛盾()を含めば、もとの仮定の下でが証明できることによる)

参照：wikipedia日本語/wikipedia英語1/wikipedia英語2