IMO 2014/P4 - addendum

ADOE IS #, K is its center and it also lies on DE; therefore KA = KH = KO, hence OH is perpendicular to AH

Neue Materialien