>>419
(1)と(2)を同時に満たす
⇔
(1)と(3)を同時に満たす

だから、(3)を満たす値だけとってきて (1)を満たさないといってもそれは当然のこと。

(1)と(3)を同時に満たすものを持ってこないと。

そのx,y,zを見つけるために (3)を
z = 〜
という形で書いて
(1)に代入して、xとyの関係式を出したのだろう。これを(4)とすると

(4)を満たす x,yから、(3)によってzが求まるという流れになる。