急求一个计算机解四元二次方程组的求解思路?

题目

急求一个计算机解四元二次方程组的求解思路?
是gps定位的方程
(x-x1)*(x-x1)+(y-y1)*(y-y1)+(z-z1)*(z-z1)=c(t-t1)*c(t-t1)
(x-x2)*(x-x2)+(y-y2)*(y-y2)+(z-z2)*(z-z2)=c(t-t2)*c(t-t2)
(x-x3)*(x-x3)+(y-y3)*(y-y3)+(z-z3)*(z-z3)=c(t-t3)*c(t-t3)
(x-x4)*(x-x4)+(y-y4)*(y-y4)+(z-z4)*(z-z4)=c(t-t4)*c(t-t4)
其中,c为光速,x,y,z,x1,x2,x3,x4,y1,y2,y3,y4,z1,z2,z3,z4为坐标,t,t1,t2,t3,t4为时间

答案

可化为:a2+4a+1>0
a-4+2(根号3)
又a