>>301

> (x,y,z)=(s,t,u)のとき、
> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=(x+ n^{1/(n-1)})^nも成立しない」これは正しい論理です。しかし
> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

これ、間違っていますか？　「PならばQ」の形で、Qは真ですよね？