>854
(3)の「無理数かつ整数比の解(X, Y, Z)=(x, y, z)」が存在するとき、この解を無理数倍して全て有理数にすることができます。
これは「X^p + Y^p = Z^p」を満たしますが、
>>852と同じ理由で「Z = X + r」を満たしません。
したがって、(3)の解になりません。

ここまでは、わかりました。つぎの、
以上より、ここで「解は整数比とならない」は導くことができていません。
の、解説をお願いします。