为何两个圆的方程联立后消元,利用判别式为0,证明相切不等价