>283
z=x+r,r^(p-1)=pという思いつきを棄てられないのならば,x,y,zが整数比となるときx,y,zは無理数となることを受け入れなければなりません。
x,y,zが無理数であることを前提にした論証だけが意味を持ちます。それが,できていない点で【証明】は数学的な証明になっていません。

x,y,zが無理数で整数比となるならば、有理数で、整数比となります。