>>42みたいに適当に-1より小さい2つの無理数で計算しやすい組とってきて代入してもうひとつの文字求めればいいだけじゃないの
思いついたのは
x=-3+√2,y=-3-√2,z=-7-2√7

なんでそんなにややこしく考えるのかわからん