EJE ÓRTICO
El eje órtico de un triángulo es la
polar trilineal
de su
ortocentro
H.
Eje_ortico.mac