>546
> 式(C)は、(4)のx,y,zを有理数とすると、成り立ちません。

どうしてでしょうか。
成り立たない理由は無いように思いますが。

(3)の、x,yを有理数とすると、成り立たないので、
(4)の、x,yを有理数としても、成り立成り立ちません。