1. 問題の内容
が無理数であることを用いて、 が無理数であることを証明する問題です。
2. 解き方の手順
背理法を用いて証明します。
(1) が有理数であると仮定します。
(2) ある有理数 が存在して、
と表せるとします。
(3) 上記の式を について解きます。
(4) は有理数なので、 も有理数であり、 も有理数です。
これは が有理数であることを意味します。
(5) しかし、これは が無理数であるという前提と矛盾します。
(6) したがって、 が有理数であるという仮定は誤りです。
(7) よって、 は無理数です。
3. 最終的な答え
は無理数である。