MathLabs

Problem 2

Let ABCABC be an acute triangle with ∠BAC=60∘\angle BAC=60^\circ and AB>ACAB>AC. Let II be its incenter and HH its orthocenter. Prove that 2∠AHI=3∠ABC2\angle AHI=3\angle ABC.
Step 3 of 6: Relate H, K, I, and N
HD=DK,ED⊥IN,ED⊥HK⟹IHKN is an isosceles trapezoidHD=DK,\quad ED\perp IN,\quad ED\perp HK\Longrightarrow IHKN\text{ is an isosceles trapezoid}
Detailed analysis

Because HH is the orthocenter, the altitude line AHAH meets the circumcircle again at KK with HD=DKHD=DK. Since ED⊥INED\perp IN and ED⊥HKED\perp HK, the quadrilateral IHKNIHKN is an isosceles trapezoid, so IH=NKIH=NK and the corresponding angles are equal.