かんたんなフェルマーの最終定理の証明

n≧3のとき、(3)のx,yが無理数の場合は、
u={(s^n+t^n)^n}^(1/n)となる。(s,t,uは有理数)この式は成立不明。