>>550
投稿途中のようだが、結論を言えば、
2つの円の方程式から2次の項を消去して得られる一次式が
2円の交点を通る直線の方程式になる。
連立方程式の解の幾何的な意味を考えれば
それは明らかだろう。