>644
> (4)は、x,y,zが有理数のとき、成立しません。

という事でよろしいのでしょうか？

はい。