>455
(4)に当てはめると、どうして成立しないのでしょうか？

(4)は、xが有理数、yが無理数、zが有理数となるからです。