Cum demonstrez ca O, centrul cercului circumscris triunghiului ABC (adică intersecția mediatoarelor triunghiului ABC), este ortocentrul triunghiului DEF (intersecția înălțimilor triunghiului DEF), știind ca F este mijlocul lui AB, E este mijlocul lui AC si D este mijlocul lui DF
