方程X2+y2+z2=1和方程X2+(y-1)2+(z-1)2=1,两方程消去变量z后的方程式,谁会化简,要化简过程.