为什么俩圆方程相减得公共弦方程