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

だと証明には何ら寄与していない

(3)のx,yが有理数の場合は、成立しません。