τ 約6年以前 √3.6を有理数であると仮定し, 互いに素な正整数p, qを用いて√3.6=q/p-①とおく. 両辺を2乗して3.6=q²/p². 整理して, (3√2p+√5q)(3√2p-√5q)=0. よって, ①を満たす正整数p, qはまた3√2p=√5q-②も満たす. ただし, p, q∈ℕ˲₀であるから②を満たす正整数の組(p, q)は存在しない. ゆえに, 仮定が矛盾であるから, √3.6は有理数でない. √3.6∈ℝであることも併せて, √3.6が無理数であることがわかる. 留言