Feuerbach の定理の証明

KK' を直径とする円を \gamma とする.
BC に接する傍接円,内接円は,\gamma に関する反転に関して不変.
よって,九点円の \gamma に関する反転が \ell であることを言えばよい.
補題1より,\gamma の中心は M.
九点円は M を通るので,\gamma に関して九点円を反転すると,M における九点円の接線 m に平行な直線になる.これを \ell' とおく.
補題2より,点 H\gamma に関する反転は L
九点円は H を通るので,\ell'L を通る.
補題3より \ellm に平行であり,また L を通る.したがって,\ell'=\ell.//

http://d.hatena.ne.jp/yoshitake-h/20070924