>>974
垂心は外心である。

⊿のコピーを180°回した∇3つを各辺に貼り付けて
⊿の(-2)倍を作る。

∇Δ∇
　∇

⊿の垂心から大∇の辺に下した垂線は、辺を2等分する。
⊿の垂心は、大∇の外心である。　(終)