mathematica 解方程组

问题描述:

mathematica 解方程组
Solve[{
(x - a)^2 + (y - b)^2 = (z + c)^2,
(x - d)^2 + (y - e)^2 = (z + f)^2,
(x - g)^2 + (y - h)^2 = (z + i)^2},{x,y,z}]
我把等号改成==,怎么结果很长很长啊
把a,b,c,d,e,f,g,h,i改成123456789,却解不出来呢

代入消元吧,我没想出太好的办法.
从第一个式子解出z,代入第二个,解出y,代入第三个,解出y,令这两个y相等,解出x