>「r^(p-1)=paとなる」とあるからa=r^(p-1)/p。
「⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となる」とあるが
a^{1/(p-1)}=r/[p^{1/(p-1)}]だからこれは無理数。
よって④のx,y,zは無理数となり
④の無理数解については何も調べていないのだからこの証明は誤り。

x,y,zが無理数で整数比となるx,y,zを、x',y',z'としたとき、
x',y',z'を共通の無理数dで割ったx'/d,y'/d,z'/dは、有理数x,y,zと同じとなります。
有理数x,y,zが存在しないので、無理数x',y',z'も存在しません。