9点円と外心

縮小してみよう。 これらの点は、傍接円と9点円、内接円の接点からできる。