>>211
> y^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
> としているので、
これはフェルマーの予想についてこれから定理になるかどうかを調べるということだと思いますが
> (1)が成立てば、フェルマーの最終定理の反例になります。
なぜフェルマーの予想が正しいと分かるのでしょうか？

この時点では、フェルマーの予想が正しいかどうかは、分かりません。
(1)が成立てば、フェルマーの予想は間違いとなります。
(1)が成立たないならば、フェルマーの予想は正しいことなります。