フォイエルバッハの定理の反転法による証明. この証明を理解するための必要な準備は, いままでの記事で終わっている. 反転の説明は, 記事 でしておいた. また, 以下の証明では, 記事
でやった反転と調和点列の関係を使うので, もう一度あげておく.
,
,
,
を調和点列とし,
を
の中点とするとき,
が成立する.
フォイエルバッハの定理は, 以下のようなものである.
三角形の九点円は, 内接円と (
つの) 傍接円に接する.
反転法を使うと, 九点円が, 内接円と傍接円に接することが一度に証明できる.
三角形の傍心は, 三角形のひとつの内角の 等分線と
つの外角の
等分線の共点なので, 上図で,
,
(内心),
(傍心) は同一直線上にある.
上図で緑色の円は九点円であり, 九点円は三角形の頂点 から辺
(またはその延長) に下ろした垂線の足
, 辺
の中点
, 辺
の中点
を通る.
直線 ,
,
は, 内接円
と 傍接円
の共通接線である. もう
本の共通内接線
を引くと,
,
は
つの円の相似の中心であり, 記事
で見たように,
,
,
,
は調和点列である.
内心 から
に下ろした垂線の足を
, 傍心
から
に下ろした垂線の足を
とする. 三角形の相似から,
,
なので, ,
,
,
も調和点列をなす.
記事 でみたように,
,
,
とおき,
とすれば,
,
なので, である. したがって,
の中点
は,
の中点でもある. これから, 最初に確認したように,
となる.
を中心とし, 半径
の反転円による反転を考えると, 内接円
は, 方べきの定理により, 自分自身に反転されることがわかる (内接円と反転円は直交). また, 同じように傍接円も方べきの定理から自分自身に反転されることがわかる (傍接円と反転円も直交). 九点円は, 円周が反転の中心
を通るので, 直線に変換される.
であったから, その直線は,
を通り, 九点円の
における接線と平行な直線である.
九点円の における接線
において, 中点連結定理により,
だから,
接弦定理から,
は直角三角形
の斜辺の中点だから,
なので,
直線 と直線
は, 直線
に関して線対称, 直線
と直線
も線対称であるから,
以上から,
であり, であることがいえた. したがって, 直線
が九点円の反形である直線である. この直線は, 円
, 円
の双方に接するから, 九点円も, 内接円
, 傍接円
に接する.
同様にして, 九点円は, ,
内の傍接円に接することがいえる. //