1. 問題の内容
を自然数とするとき、 と が互いに素であることを示す問題です。
2. 解き方の手順
背理法を用いて証明します。
と が互いに素でないと仮定します。つまり、1より大きいある整数 が存在し、 と の両方を割り切るとします。
このとき、 は から を引いた差も割り切ります。
したがって、 は を割り切ります。つまり、 です。
しかし、 は常に奇数なので、 で割り切れることはありません。
これは矛盾です。
したがって、 と は互いに素である必要があります。
3. 最終的な答え
を自然数とするとき、とは互いに素である。