フェルマーの最終定理の証明

>218
本当にどんなyでも無理数で割って有理数を代入してもxが有理数にならないのか計算式を示せ

p=3
x^3+y^3=(x+√3)^3を展開すると
y^3=3√3x^2+9x+3√3
共通の無理数を√3とする。
y=√3Y、y^3=3√3Y^3
3√3Y^3=3√3x^2+9x+3√3
両辺を3√3で割ると
Y^3=x^2+3/√3x+1
xを有理数とすると、式を満たさない。