>>127

> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。

X,Yはフェルマーの最終定理のX^p+Y^p=Z^pとは関係ないのですね？
それでは証明になっていないことが明らかです。

この場合の、X,Yは、無理数です。