根軸の性質と根心の存在定理

更新日時 2021/03/07

根心の存在定理：
3つの円が互いに2点で交わるとき，三本の根軸は一点で交わる。
2つの円が2点で交わるとき，その2点を結んだ線を根軸(radical axis)と言います。
このページでは，根心の存在定理を3段階に分けて証明します。
1：方べきの値について
2：根軸について
3：根心の存在定理の証明
1と2は証明の道具（前提知識）の説明ですが，根軸の存在定理の証明以外にも応用される有名な話題です。（例えば，国際数学オリンピック2000年の第一問は根軸の知識がないと厳しい）

1：方べきの値について
2：根軸について
3：根心の存在定理の証明

1：方べきの値について円 OOO とその外点 AAA が与えられたとき，以下のように方べきの値 P(O,A)P(O,A)P(O,A) を定義する：
円
OOO
 と点
AAA
 を通る直線
lll
 が2つの交点を持つときその交点を
X,YX,YX,Y
 として，
P(O,A)=AX⋅AYP(O,A)=AX\cdot AYP(O,A)=AX⋅AY
 とする。
方べきの値が直線
lll
 の選び方によらず，円
OOO
 と点
AAA
 だけで決まるのがポイントです。
（なぜなら，方べきの定理より
AX⋅AY=AX′⋅AY′AX\cdot AY=AX'\cdot AY'AX⋅AY=AX′⋅AY′
）
よって，直線
lll
 が円
OOO
 の中心を通る場合を考えれば方べきの値は計算できます：
P(O,A)=(OA−r)(OA+r)=OA2−r2⋯(1)P(O,A)=(OA-r)(OA+r)=OA^2-r^2\cdots (1)P(O,A)=(OA−r)(OA+r)=OA2−r2⋯(1)
ただし，円の半径を
rrr
 とおきました。
ちなみに
AAA
 が
OOO
 の内部にあるときは
P(O,A)=−AX⋅AYP(O,A)=-AX\cdot AYP(O,A)=−AX⋅AY
 と定義します。（定義にマイナスをつけることで方べきの値が(1)と一致して嬉しい）

2：根軸について

定理1：

円 $O_1$ と円 $O_2$ が与えられたとき，

点 $A$ が根軸上にある⇔ $P(O_1,A)=P(O_2,A)$

2つの円に対する方べきの値が等しい点の集合が根軸であることを主張しています。

根軸の性質

「根軸上なら方べきの値は等しい」の証明：

$A$ が根軸上にあるとき方べきの定理より， $AX_1\cdot AY_1=AX\cdot AY=AX_2\cdot AY_2$ となり方べきの値は等しい。

逆の証明は少し難しいです。

「方べきの値が等しいなら根軸上」の証明：

点 $A$ における方べきの値が等しいとき，

$O_1A^2-r_1^2=O_2A^2-r_2^2$

つまり $O_1A^2-O_2A^2=c$ （定数）

ここで，二点からの距離の二乗の差が等しい点の軌跡は直線になることがかんたんな計算で分かるので，方べきの値が等しい点は一本の直線に乗っている。

ところが，さきほどの議論によりその直線は根軸であることが分かる。

「軌跡は一本の直線上に載っている」＋「根軸上の点は条件を満たしている」→「根軸以外の点はありえない」というロジックです。

なお，二つの円が二点で交わらない場合も，根軸を「方べきの値が等しい点の集合」と定義することができます。

3：根心の存在定理の証明

いよいよ根心の存在定理の証明です！外心の存在や内心の存在を示したときと同じノリです。

円 $O_1,O_2$ の根軸を $l_{12}$ ,円 $O_2,O_3$ の根軸を $l_{23}$ ,円 $O_3,O_1$ の根軸を $l_{31}$ とおきます。

$l_{12}$ と $l_{23}$ の交点 $A$ が $l_{31}$ 上にあることを示せばよいのです。

証明

$A$ は $l_{12}$ 上の点なので定理1より

$P(O_1,A)=P(O_2,A)$ ，

同様に $A$ は $l_{23}$ 上の点なので定理1より

$P(O_2,A)=P(O_3,A)$ ，

よって， $P(O_1,A)=P(O_3,A)$

ここで，再び定理1より，点 $A$ は $O_1$ と $O_3$ の根軸 $l_{31}$ 上にあることが分かる。

根軸の存在定理は単純だけど自明ではない美しい定理です！ブリアンションの定理の証明でも活躍します！