MetaMath '22

Ako je $H$ ortocentar, a $O$ središte opisane kružnice šiljastokutnog trokuta $ABC$, tada je $\angle BAC = 60^{\circ}$ ako i samo ako je $|AH| = |AO|$. Dokažite!