证明:两个圆的方程作差可以得到相交弦的直线方程