$\sqrt{7}$ が有理数でないことを証明するために、空欄を埋める問題です。$\sqrt{7}$ が有理数であると仮定し、矛盾を導くことで証明を完成させます。
2025/3/27
1. 問題の内容
が有理数でないことを証明するために、空欄を埋める問題です。 が有理数であると仮定し、矛盾を導くことで証明を完成させます。
2. 解き方の手順
まず、 が有理数であると仮定すると、ある互いに素な正の整数 と を用いて と表すことができます。
両辺を2乗すると、
したがって、
... (1)
(1)より、 は 7 の倍数であることがわかります。
ここで、 とおきます。ただし、 は0以上の整数、 は0以上7未満の整数です。
このとき、
したがって、 が7の倍数であるためには、 なので、 でなければなりません。
このことから、 ... (2)
(2)を(1)に代入すると、
すると、上と同様にして は 7 の倍数となります。
これは、 と が互いに素であるという条件に矛盾するため、 は有理数ではありません。
3. 最終的な答え
2: 7
3: 4
4: 9
5: 1
6: 4
7: 0
8: 7
9: 7
10: 7
したがって、空欄を埋めた最終的な答えは以下のようになります。
すなわち、 は 7 の倍数である。ここで とおく。
ただし、 は0以上の整数、 は7未満0以上の整数である。
このとき、
したがって、 が 7 の倍数であるためには、 なので、 でなければならない。このことから、 ... (2)
となり、(2)を(1)に代入すれば 。すると、上と同様にして は 7 の倍数となる。これは の条件に矛盾するため、 は有理数ではない。