对的,首先两个圆相减得到的是一条直线方程,设为直线A,而从两个圆的公共点都满足各自的方程,也就满足两个圆相减后的方程.就是说两个公共点在直线A上,而两公共点的连线就是两个圆的公共弦,所以两个圆的方程做差就可以得到两个圆公共弦的方程