把两圆方程联列方程组,该方程组解出来的是两个圆的交点。
解方程组的过程中,两圆相减可以消去平方项,得到一个关于x,y的二元一次方程
那么两个交点显然也满足该二元一次方程
即这两个点在这个方程所表示的直线上
所以,两圆相减是交弦所在直线方程。
相交两圆的公共弦所在的直线方程
若圆C1:(x-a1)^2+(y-b1)^2=r1^2或x2+y2+D1x+E1y+F1=0
圆C2:(x-a2)^2+(y-b2)^2=r2^2或x2+y2+D2x+E2y+F2=0
则过两圆交点的直线方程为:(x-a1)^2+(y-b1)^2-(x-a2)^2-(y-b2)^2=r1^2-r2^2 或 (D1-D2)x+(E1-E2)y+F1-F2=0
这是“两相交圆方程相减得公共弦方程”的变式