为什么把两个圆的方程相减即得公共弦的方程?

两个圆若是相交，则至多交于2点。而将两圆的方程相减即是默认两条方程中有共同的解X、Y。而减后的方程必定满足X、Y（就是两个交点），换句话说，就是两个交点所共同满足的直线方程。而我们知道，平面内2点间有且只有1条直线，那么这条直线就是所求的公共弦。