1. 問題の内容
整数 , 実数 , があるとき、命題「 ならば または である」を証明する。
2. 解き方の手順
この命題を直接証明するのは難しいので、対偶を証明する。
元の命題の対偶は「 かつ ならば である」となる。
かつ を仮定する。
より であり、 より である。
したがって、
よって、 が成り立つ。
これは対偶が真であることを示しているため、元の命題も真である。
3. 最終的な答え
対偶「 かつ ならば である」が真なので、元の命題「 ならば または である」も真である。
したがって、証明完了。