1. 問題の内容
円周率が無理数であることを用いて、が無理数であることを証明する。
2. 解き方の手順
背理法を用いる。が有理数であると仮定する。すると、ある整数()が存在して、
\sqrt{\pi} = \frac{p}{q}
と表せる。
両辺を2乗すると、
\pi = \left(\frac{p}{q}\right)^2 = \frac{p^2}{q^2}
ここで、とも整数であるから、は有理数となる。
しかし、これはが無理数であるという仮定に矛盾する。
したがって、は有理数であるという仮定は誤りであり、は無理数である。
3. 最終的な答え
は無理数である。