フォイエルバッハ点

提供: testwiki
ナビゲーションに移動 検索に移動
フォイエルバッハの定理:九点円内接円及び傍接円接する

テンプレート:仮リンクにおいて、フォイエルバッハ点(フォイエルバッハてん[1][2]テンプレート:Lang-en-short)は三角形九点円内接円接点を指す用語である。三角形の心として、テンプレート:仮リンクEncyclopedia of Triangle CentersではX(11)に登録されている。名称は、カール・フォイエルバッハに由来する[3][4]

フォイエルバッハの定理(Feuerbach's theorem)は1822年[5]、フォイエルバッハによって発表された定理で、内接円と同様に、傍接円も九点円と接することが示された[6]。最も単純な証明の一つに内接円と傍接円と九点円の5円に対しケーシーの定理を適用するものや[7]自動定理証明を用いたものがある[8]澤山勇三郎はこの定理の証明を多く残した[9][10]

3つの傍接円と九点円の接点が成す三角形はフォイエルバッハ三角形(Feuerbach triangle)と呼ばれる。

構成

三角形の内接円とは、三角形の3つのに内接するである。その中心である内心は、三角形の内角の二等分線の交点である。

三角形の九点円とは三角形の辺の中点から成る中点三角形頂垂線の足から成る垂足三角形外接円である。

この2円はただ一点で交わる、つまり接する。この点を三角形のフォイエルバッハ点という。

三角形の内接円と同様に、三角形には傍接円が存在する。傍接円は三角形の辺の1つと接し、さらに他の2辺の延長と接する円である。3つの傍接円もまた九点円と接する。その接点はフォイエルバッハ三角形と呼ばれる三角形を成す。

性質

フォイエルバッハ点の定義よりフォイエルバッハ点、内心テンプレート:仮リンク共線である[3][4]。この直線をIN線(IN line)という[11]

x,y,zをそれぞれフォイエルバッハ点と中点三角形の各頂点の距離とする。このとき

x+y+z=2max(x,y,z),テンプレート:Sfnm

つまり、x,y,zのうちもっとも大きいものは他の2つの和と等しい。この式はポンペイウの定理ファン・スコーテンの定理にも見られる。特にx=R2OI|bc|,y=R2OI|ca|,z=R2OI|ab|, であるテンプレート:Sfnテンプレート:Rp。ただし、テンプレート:Mvarは基準三角形の外心テンプレート:Mvarは内心、テンプレート:Mvarは外半径である。テンプレート:Mvarオイラーの定理により計算できる。

同様に、傍接円と九点円の接点と傍接円が接する辺の中点の距離は、他二つの辺の中点の距離の差の絶対値と等しいテンプレート:Sfn

テンプレート:Math接触三角形テンプレート:Math、中点三角形をテンプレート:Math、フォイエルバッハ点をテンプレート:Mvarとする。テンプレート:Mathはそれぞれ三角形テンプレート:Math相似であるテンプレート:Sfnテンプレート:Rp

フォイエルバッハ点はOI線の直極点である。また、フォイエルバッハ双曲線の中心である。

内角の二等分線と対辺の交点が成す三角形(内心三角形)の外接円はフォイエルバッハ点を通るテンプレート:Sfnm。また、OI線を内心三角形の辺で鏡映した直線はフォイルバッハ点を通るテンプレート:Sfnm

内接円とシュタイナーの内接楕円の3辺と異なる共通接線と内接円の接点はフォイエルバッハ点であるテンプレート:Sfn

基準三角形のエクセター点接線三角形の重心、フォイエルバッハ点は共線である[12]

内接円と各辺の接点を対角の二等分線で鏡映した点と辺の中点を結ぶ直線はフォイエルバッハ点で交わる。この共点の問題が1982年の国際数学オリンピックにて出題された[13]

座標

フォイエルバッハ点は三線座標を用いて次の様に表される[4]

1cos(BC):1cos(CA):1cos(AB).

重心座標ではテンプレート:Sfn

(sa)(bc)2:(sb)(ca)2:(sc)(ab)2,

である。ただしテンプレート:Mvar半周長

フォイエルバッハ三角形と基準三角形は配景の関係にある。配景の中心はEncyclopedia of Triangle CentersにおいてX(12)として登録されている[4]。また、フォイエルバッハ点の九点中心と内心に対する調和共役点である。三線座標は以下の式で与えられる。

1+cos(BC):1+cos(CA):1+cos(AB).

特別の場合

テンプレート:Math直角とする三角形テンプレート:Mvarについて、テンプレート:Mvarテンプレート:Mvarテンプレート:Mvarに対する垂足、テンプレート:Mvarテンプレート:Mathの内心、テンプレート:Mvarを辺テンプレート:Mvarの中点とする。テンプレート:Mvarテンプレート:Mathのフォイエルバッハ点テンプレート:Math直交する。また、テンプレート:Mvarを直径とする円は、テンプレート:Mathの他に、テンプレート:Mvarテンプレート:Mathの内接円とテンプレート:Mvarの接点、テンプレート:Mvarテンプレート:Mathの二等分線の交点(それぞれテンプレート:Mathの二等分線も通る)も含む[14][15]

出典

テンプレート:Reflist

参考文献

関連項目

外部リンク