2026.03.18.記
[3] 以下の問いに答えよ.
(1) が無理数であることを示せ.
(2) を自然数とする.
が整数となるための,
がみたすべき必要十分条件を求めよ.
2026.03.18.17:20:35記
[解答]
(1)
が有理数と仮定すると
(
は互いに素な正の整数)と表すことができる.このとき
となるので
は偶数で
とおくと,
となり,
も偶数となる.これは
は互いに素な正の整数であることに矛盾する.よって
は無理数である.
(1)
(2) は漸化式
,
,
を満たす.
ここで ,
とおくと
,
であり,
から
,
が成立するので帰納的に は整数となる.よって求める必要十分条件は
が偶数であることである.