>>27
rを最初に決めた値とするときx^p+y^p=(x+r)^pに有理数解がないという推論は正しい。
しかしX/d,Y/dはこの方程式の解ではなくx^p+y^p=(x+r/d)^pの解だから何の矛盾も生じない。