背理法（はいりほう）

数学における証明法のひとつ。帰謬法（きびゅうほう）ともいう。

いま証明したい命題（例えば：このマスのアイテムは壁ブロックである）があるとします。
（第１段階）これと矛盾する命題（このマスのアイテムは床パネルである）を作り、これが正しいと仮定する。
（第２段階）この仮定により矛盾が生じてくることを示します。
（第３段階）この結果、元の命題が正しいことが証明されました。

戻る