>>125
> >>83
> > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
>
> では、どういう式を満たしますか？
>
> わかりません。

それがわからないと、矛盾することを示せないのではありませんか？

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