Question

サーモン

間接証明法(対偶証明法や背理法など)は直接求めにくい時に使うって書いてるのですが、どうすれば それを使うのが分かるのですか？その見極めか方を教えてください🙇‍♂️

Answer 1

✨ 最佳解答 ✨

gößt

とりあえずは直接証明を考えましょう。直接証明が出来ればそれで何も問題はありません。しかし、「√2が無理数であることを証明せよ」のような問題に出くわした場合、これはどう頑張っても無理数であることを直接示すのはキツイと感じませんか？そのとき初めて間接証明を疑えばいいと思います

サーモン

もし直接証明で出来ても、それを見抜けなくて間接証明で解いたら、解ける時間ってあんまり変わりませんか？

gößt

あまり変わらないと思います。慣れてくれば、直接証明で解ける問題とそうでない問題を見分ける早さも上がってきます

サーモン

分かりました、ありがとうございます😊