$\sqrt{7}$ が有理数でないことを背理法で証明する。$\sqrt{7}$ が有理数であると仮定し、$\sqrt{7} = \frac{q}{p}$ ($p$, $q$ は互いに素な正の整数)と表せる。このとき、$7p^2 = q^2$ となる。空欄を埋めて矛盾を導き、$\sqrt{7}$ が有理数でないことを示す。
2025/7/14
1. 問題の内容
が有理数でないことを背理法で証明する。 が有理数であると仮定し、 (, は互いに素な正の整数)と表せる。このとき、 となる。空欄を埋めて矛盾を導き、 が有理数でないことを示す。
2. 解き方の手順
(1) より、 は 7 の倍数である。したがって、 も 7 の倍数である。
(2) とおく ( は0以上の整数、 は 0以上 7 未満の整数)。
(3)
(4) が 7 の倍数であるためには、 が 7 の倍数でなければならない。 なので、 でなければならない。
(5) より、 となる。
(6) を に代入すると、。したがって、。
(7) よって、 は 7 の倍数なので、 も 7 の倍数となる。
(8) と がともに 7 の倍数となるのは、 と が互いに素であるという仮定に矛盾する。
したがって、 は有理数ではない。
空欄を埋める。
- は 7 の倍数。
-
- は 7 未満。
-
-
-
-
- は 7 の倍数
3. 最終的な答え
1. 7
2. 7
3. 49
4. 14
5. 0
6. 0
7. 0
8. 7
9. 7
1