Punts simètrics de l'ortocentre

Els punts simètrics de l'ortocentre d'un triangle respecte cadascun dels costats d'aquest, cauen just sobre la circumferència circumscrita al triangle. Comproveu-ho amb aquest applet: