>>984

内積ゼロの１つ目と２つ目の式から、
（975で御指摘のとおり）y=xと
これを用いて、z^2=-2x^2+x
が出てくると思います。

これを内積ゼロの３つ目の式に入れればいいと思います。
（zを消去するために、２乗しなければならないのが、やや面倒ですが。）