>651
> (p^{1/(p-1)})/wが有理数のとき、
> s^p+t^p=(s+(p^{1/(p-1)})/w)^pは、成り立ちません。

x^p+y^p=(x+(ap)^{1/(p-1)})^pの
x,yは、ともに、有理数とならないからです。