電卓によるフェルマーの最終定理の証明

{y(y+1)}^(1/2)は常に無理数です。
{y(y+1)}^(1/2)と等しいxを求めると、無理数となります。