1. 問題の内容
自然数 に対して、 と が互いに素であることを証明する。
2. 解き方の手順
と の最大公約数を とおく。つまり、 は と の両方を割り切る。
と が で割り切れるとき、 も で割り切れる。
したがって、 は の約数である。つまり、 または である。
もし ならば、 は偶数でなければならない。しかし、 は奇数であるから、 は起こりえない。
したがって、 である。
これは、 と の最大公約数が1であることを意味する。したがって、 と は互いに素である。
3. 最終的な答え
と は互いに素である。