MathDB
geometry problem

Source: Netherlands TST for IMO 2017, day 2,problem 2

February 1, 2018
geometry

Problem Statement

The incircle of a non-isosceles triangle ABCABC has centre II and is tangent to BCBC and CACA in DD and EE, respectively. Let HH be the orthocentre of ABIABI, let KK be the intersection of AIAI and BHBH and let LL be the intersection of BIBI and AHAH. Show that the circumcircles of DKHDKH and ELHELH intersect on the incircle of ABCABC.