MathDB
Cute Polish geo with weird orthocenter

Source: Polish MO 2nd round 2023/5

February 11, 2023
geometry

Problem Statement

Given is a triangle ABCABC with AB>ACAB>AC. Its incircle touches AB,ACAB, AC at D,ED, E, respectively. Let CDCD meet the incircle at KK and LL is the foot of the perpendicular from AA to CKCK. If MM is the midpoint of DEDE and HH is the orthocenter of KML\triangle KML, prove that AHK=90o\angle AHK=90^{o}.
Proposed by Dominik Burek