>「rは有理数と仮定する」としてながら、同時に「r^(p-1)=pとする」と言っているので、自己矛盾を引き起こしている

「r^(p-1)=pとすると」rは、有理数とならないので、仮定に反します。

日高が証明しているのは、「rが有理数のときr^(p-1)=pにはならない」でしかないのであって、x^p+y^p=z^pの解の有無ではないことに注意すべし

rが無理数となれば、x,y,zの有理数解はない。ということになります。