[allenlxm]

用solve解的值非常多，而且不对。方程如下，六个未知数为X,Y,t,v1,v3,v5：
'(x-4)^2+y^2-(v1*t)^2=0',
'(x-5)^2+(y-0.5)^2-(v1*(t+0.000036))^2=0',
'(x+5)^2+y^2-(v3*(t+0.000042))^2=0',
'(x+6)^2+(y-0.5)^2-(v3*(t+0.000088))^2=0',
'x^2+(y-6)^2-(v5*(t+0.0001))^2=0',
'(x+0.5)^2+(y-7)^2-(v5*(t+0.000156))^2=0'
x,y可能的值为0,0，t很小，大概0.00017左右吧，V1，V2，V3大概200到400之间。