アポロニウス点

提供: testwiki
ナビゲーションに移動 検索に移動

ユークリッド幾何学において、 アポロニウス点(アポロニウスてん、:Apollonius point)はクラーク・キンバリングEncyclopedia of Triangle CentersX(181)として登録されている三角形の心である[1]。 3つの傍接円に外接する円と、傍接円の接点の成す三角形と元の三角形の配景として定義される[2]

文献によっては等力点に対してアポロニウス点の名を使用する場合もある[3]。これは、等力点の性質にアポロニウスの円が関係することに由来する。

アポロニウスの問題の解は何世紀も前から知られていたが、1987年に初めて、アポロニウス点の指摘がなされた[4][5]

定義

テンプレート:Legend-line テンプレート:Legend-line テンプレート:Legend-line テンプレート:Legend-line

アポロニウス点の定義は以下のとおりである。

テンプレート:Math について、テンプレート:Mvarの傍接円をそれぞれテンプレート:Mvarとする。また、テンプレート:Mvarテンプレート:Mvar に内接する円として定義する。テンプレート:Mvarテンプレート:Mvarの接点をそれぞれテンプレート:Mvar として
テンプレート:Mvar共点である。この点をテンプレート:Mathのアポロニウス点という。

アポロニウスの問題とは、3円に接する円の構成に関する問題である。一般的に、3つの円に接する円は最大8つ存在する。3つの傍接円の場合は、九点円や三角形の3辺が解の一つとなる。Encyclopedia of Triangle Centersの中でテンプレート:Mvarアポロニウス円(Apollonius circle)と呼ばれている。

アポロニウス円の半径はr2+s24rである[6]。ただしテンプレート:Mvarはそれぞれ内接円の半径、半周長である。

三線座標

アポロニウス点の三線座標は以下の式で与えられる[4]

a(b+c)2b+ca:b(c+a)2c+ab:c(a+b)2a+bc=sin2Acos2BC2:sin2Bcos2CA2:sin2Ccos2AB2

証明

テンプレート:Mvarをそれぞれ、テンプレート:Mvarの傍接円とアポロニウス円、内接円とアポロニウス円の外側の相似中心とすると、頂点テンプレート:Mvarは内接円とテンプレート:Mvarの傍接円の外側の相似中心なので、モンジュの定理よりテンプレート:Mvar共線である。傍接円とアポロニウス円は接しているので、テンプレート:Mvarはその接点である。同様にして、テンプレート:Mvarテンプレート:Mvarの共線も分かり、テンプレート:Mvarは内接円とアポロニウス円の外側の相似中心テンプレート:Mvar、つまりアポロニウス点で交わる[2]

関連する図形

アポロニウス三角形

アポロニウス円と傍接円の接点が成す三角形はアポロニウス三角形(Apollonius triangle)と呼ばれる。

アポロニウス円の中心はEncyclopedia of Triangle CentersではX(970)にあたる[2]。X(970)はブロカール軸上に位置する。九点円とアポロニウス円の内側の相似中心はシュピーカー中心である。したがって九点円の中心、シュピーカー中心、X(970)は共線である。X(970)の三線座標は以下の式で与えられる。(r2s2)cosA+2rssinA:(r2s2)cosB+2rssinB:(r2s2)cosC+2rssinC

内接円とアポロニウス円の内側の相似中心は、X(1682)にあたる。三線座標は以下の式で与えられる[7](b+ca)(b2+c2+ab+ac)2:(c+ab)(c2+a2+bc+ba)2:(a+bc)(a2+b2+ca+cb)2

ジェンキンス円とオデーナル点

テンプレート:Mvar(茶)、傍心テンプレート:Mvar)、傍接円と辺の接点(赤)、シュピーカー中心テンプレート:Math)、ジェンキンス円(青)、対応するジェンキンス円と傍接円の接点(テンプレート:Mvar)、テンプレート:Mvarの交点(テンプレート:Math)、ジェンキンス円の中心と頂点を結ぶ直線の交点(テンプレート:Math

3つの傍接円におけるアポロニウスの問題の解は、アポロニウス円、九点円、3辺の他に3つのジェンキンス円(Jenkins circles)が知られている。

テンプレート:Mathについて、テンプレート:Mvar傍接円とテンプレート:Mvarとの接点をテンプレート:Mvarとする。また、シュピーカー中心テンプレート:Mathとそれぞれテンプレート:Mvarを通る直線と、テンプレート:Mvar傍接円の、テンプレート:Mvarでない方の交点をテンプレート:Mvarとする。テンプレート:Mvarは一点で交わる。この点を第一オデーナル点(1st Odehnal point)という(Odehnalはオデフナルとも)。それぞれテンプレート:Mvarテンプレート:Mvar傍接円に内接し、他の2つの傍接円に外接する円はシュピーカー中心を通る。これらの円をジェンキンス円と言う[8]。また、ジェンキンス円の中心とテンプレート:Mvarを結んだ線は共点である。この点を第二オデーナル点(2nd Odehnal point)という。

オデーナル点はEncyclopedia of Triangle Centersにおいてそれぞれテンプレート:Mathとして登録されている三角形の中心である[2][9][10]ボリス・オデーナル(Boris Odehnal)によって発見された[11]

性質

  • テンプレート:Mvarのなす三角形はJenkins-contact triangleと呼ばれる[12]
  • ジェンキンス円の中心が成す三角形は1st Jenkins triangleと呼ばれる。

第一オデーナル点の性質

b3c3(b+ca):c3a3(c+ab):a3b3(a+bc)

第二オデーナル点の性質

第ニオデーナル点テンプレート:Mathは三線座標で以下の式で表される。

f(a,b,c)=bca5+a4(b+c)a3(bc)2a2(b+c)(b2+c2)2abc(b2+bc+c2)2b2c2(b+c)

として

f(a,b,c):f(b,c,a):f(c,a,b)

出典

関連