两式作差,可得
(x-a1)^2-(x-a2)^2+(y-b1)^2-(y-b2)^2=c1^2-c2^2
即(2x-a1-a2)(a2-a1)+(2y-b1-b2)(b2-b1)=(c1+c2)(c1-c2)
再化简可得,我就不做了.