Problem

Source: Turkey EGMO TST 2020 P1

Tags: geometry, circumcircle



H is the orthocenter of a non-isosceles acute triangle ABC. M is the midpoint of BC and BB1,CC1 are two altitudes of ABC. N is the midpoint of B1C1. Prove that AH is tangent to the circumcircle of MNH.