>X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
(X/d)^p+(Y/d)^p=(X/d+r)^pではない。

これは、正しいと、思いますが、
なぜ、

「ここが日高氏の証明の誤りの中核部分だと思う。」
ということになるのでしょうか？