MetaMath '24

Neka su $A_1, B_1, C_1$ nožišta visina trokuta $ABC$. Dokažite da je ortocentar trokuta $ABC$ središte kružnice upisane trokutu $A_1 B_1 C_1$.