無理数αは二乗すると有理数になるという。
このとき、αは自然数p,qを用いて√(q/p)の形で表されることを示せ。