为啥两圆相减就是公共弦方程