2円の交点を通る図形の方程式

2つの円が異なる2点で交わる場合, その2つの共有点を通る図形(直線もしくは円に限る)について考察する. 通る2点の情報だけでは,円は1つに決まらないが, 変数kを用いて,これらの直線や円たちを統一して記述することができる.

2つの円 C_1: x^2+y^2+l_1x+m_1y+n_1=0, C_2: x^2+y^2+l_2x+m_2y+n_2=0 が異なる2点で交わっているとする. このとき,任意の実数kに対して,方程式
k(x^2+y^2+l_1x+m_1y+n_1)+x^2+y^2+l_2x+m_2y+n_2=0
は,次のような図形を表す.
  • k=-1のとき,C_1C_2の2交点を通る直線,
  • k\ne-1のとき,C_1C_2の2交点を通る円.
逆に, この2交点を通る円(円C_1を除く) は, あるkが存在して,上の形の方程式で表すことができる.
証明を読むための予備知識としては, 円の方程式2円の関係 が必要である.


PDF