すいません、基本的すぎることだと思うのですが、
なぜ円の方程式と直線の方程式のyを消去して計算すると、交点が求められるのですか？