>69
命題の後段は
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある
ですが、これを証明中の文字・式であらわすと
　　X^p+Y^p=(X+p^{1/(p-1)})^p
です。

>>65でこう表せなかったのだから、証明失敗です。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)と
X^p+Y^p=(X+p^{1/(p-1)}/α)^pは、同じです。