是2个圆的交线所在的直线方程
因为对于任意2个相交的圆的方程
相减以后,得到一个含有x和y的直线方程
而他们的交点都适合这个直线方程,所以有以上结论