外心を通る直線の直極点は９点円

Nを動かしてみよう。これすごい。外心を通る直線の直極点は九点円となる。