MathDB
Isosceles triangle !

Source: JBMO Shortlist 2012 G2

February 4, 2015
geometrycircumcirclegeometric transformationreflectionperpendicular bisector

Problem Statement

Let ABCABC be an isosceles triangle with AB=ACAB=AC . Let also ω\omega be a circle of center KK tangent to the line ACAC at CC which intersects the segment BCBC again at HH . Prove that HKABHK \bot AB .