两圆的2个交点代入两园方程都成立,因此若代入两方程相减所得的一次方程也将成立.两点可确定一条直线,因此该方程就是两交点所在直线方程