1. 問題の内容
が無理数であることを用いて、 が無理数であることを証明する。
2. 解き方の手順
背理法を用いて証明する。
が有理数であると仮定する。
このとき、 ( は有理数)とおける。
この式を変形して、 が有理数で表せることを示す。
両辺に3をかけると、
ここで、 は有理数なので、 も有理数である。
また、 は有理数なので、 も有理数である。
したがって、 は有理数となる。
これは が無理数であるという仮定に矛盾する。
よって、 は無理数である。
3. 最終的な答え
は無理数である。