1. 高校数学の美しい物語
  2. アポロニウスの円の証明と応用

アポロニウスの円の証明と応用

更新日時 2021/03/07

アポロニウスの円がなぜ嬉しいのか?

アポロニウスの円

アポロニウスの定理:

2点 A,BA,B からの距離の比が m:nm:n で一定である点の軌跡は円である。これをアポロニウスの円と呼ぶ。

なお,m=nm=n のときの軌跡は ABAB の垂直二等分線になりますが,これを半径無限大の円とみなすとアポロニウスの定理は崩れません。

目次
  • アポロニウスの円の座標による証明

  • アポロニウスの円の応用

  • アポロニウスの円と調和点列

アポロニウスの円の座標による証明

座標を設定すれば機械的な計算でアポロニウスの円が導出できます。

証明

アポロニウスの円の証明

m=nm=n のときは自明なので,m>n,A(0,0),B(a,0)m > n ,A(0,0),B(a,0) としても一般性を失わない。

P(x,y)P(x,y) として AP:PB=m:nAP:PB=m:n

であることの必要十分条件は

n2(x2+y2)=m2{(xa)2+y2}n^2(x^2+y^2)=m^2\{(x-a)^2+y^2\}

これは,x2x^2 の係数と y2y^2 の係数が等しく xyxy の項が現れない二次曲線なので明らかに円である。(→注)

そして,yy の一次の項も現れないので円の中心は xx 軸上にある。

これでアポロニウスの円の証明になっていますが,円の中心と半径を明示的に求めたい場合は平方完成する必要があります。

注:厳密には「 x2x^2 の係数と y2y^2 の係数が等しく xyxy の項が現れない」だけでは不十分です(例えば,x2+y2=1x^2+y^2=-1 を満たす点は存在しない)。これに対する説明としては,実際に平方完成するor「 ABABm:nm:n に内分する点および外分する点は題意を満たし,軌跡は2点以上を含むので右辺の定数部分が負になることはない」といえばOKです。

アポロニウスの円の応用

僕は高校生のときはアポロニウスの円の何が嬉しいか分かりませんでした。しかし,アポロニウスの円の知識を使うことで以下の有用な定理が証明できるのです!

定理:

4点 A,P,B,QA,P,B,Q がこの順に同一直線上にあり,AP:PB=AQ:QB=m:nAP:PB=AQ:QB=m:n を満たしている。また,線分 PQPQ を直径とする円 Γ\Gamma 上に点 CC を取る。

すると, ACP=BCP,180ACQ=BCQ\angle ACP=\angle BCP,180^{\circ}-\angle ACQ=\angle BCQ

証明

アポロニウスの円の応用

A,BA,B からの距離の比が m:nm:n であるような点の軌跡はアポロニウスの定理より円である。そして P,QP,Q はその円周上にある。また,アポロニウスの円の直径は直線 ABAB 上にあるので PQPQ が直径である。

つまり,円 Γ\Gamma はアポロニウスの円そのものである。

よって円上の任意の点 CC に対して AP:PB=AQ:QB=AC:CBAP:PB=AQ:QB=AC:CB が成立する。

これと角の二等分線定理の逆より定理が証明された。

次に,上記の定理の嬉しさについて解説します。

アポロニウスの円と調和点列

上記の定理の仮定を満たすような図形は数学オリンピックなどの問題ではしばしば出現します!

「4点 A,P,B,QA,P,B,Q がこの順に同一直線上にあり,AP:PB=AQ:QBAP:PB=AQ:QB が成立する」とき A,P,B,QA,P,B,Q を調和点列と呼びます。

調和点列はいろいろなところに出現する上にいろいろな定理が使える重要な構図です。

その定理の一つがアポロニウスの円を利用した上記の定理なのです。

標語的に言えば 「調和点列と円があれば等しい角が隠れている」ということになります。

今後は調和点列についても紹介していきたいと思っています!

Tag:数学2の教科書に載っている公式の解説一覧

人気記事
  1. 高校数学の美しい物語
  2. アポロニウスの円の証明と応用