>647
(a) (3)のyが無理数のとき、x,y,zが整数比となるならば、(3)でyが有理数のときに整数比となる。
(b) (3)のyが無理数のとき、x,y,zが整数比となるならば、(4)でyが有理数のときに整数比となる。

あなたの主張は(a)(b)どっちなんですか？
何度いっても補足されませんが，いま「何について」議論しているのかちゃんと明示しましょう。

これは、(a)(b)どちらについても、言えます。
等式の性質により、言えます。一般的な式に対しても、言えます。