>324
r=z-xより、x,y,zは有理数のとき、a=1、r^(n-1)=nに絶対にならないことが証明されました。
「a=1、r^(n-1)=nのとき」にならないので、(2)は(3)とできません。

zは有理数の条件を外せば、
(2)は(3)とできます。
ので、
zは有理数の条件を外します。
(修正24)は、訂正します。