为什么两圆相交公共弦的解析式可以有两圆方程式相减得出?