二項展開によるフェルマーの最終定理の証明

>875
x^2+y^2=(x+2)^2を持ちださずにx^2+y^2=(x+√3)^2の解x,y,zが整数比になることは√3が無理数だから示せないんだろ

x^2+y^2=(x+2)^2の解が、整数比となるので、x^2+y^2=(x+√3)^2の解も整数となります。
x^2+y^2=(x+2)^2のaが、1だからです。