MathDB
A difficult problem [tangent circles in right triangles]

Source: IMO ShortList 1998, geometry problem 8; Yugoslav TST 1999

October 17, 2004
geometrycircumcirclereflectioncomplex numbersIMO Shortlistgeometry solvedharmonic division

Problem Statement

Let ABCABC be a triangle such that A=90\angle A=90^{\circ } and B<C\angle B<\angle C. The tangent at AA to the circumcircle ω\omega of triangle ABCABC meets the line BCBC at DD. Let EE be the reflection of AA in the line BCBC, let XX be the foot of the perpendicular from AA to BEBE, and let YY be the midpoint of the segment AXAX. Let the line BYBY intersect the circle ω\omega again at ZZ. Prove that the line BDBD is tangent to the circumcircle of triangle ADZADZ. [hide="comment"] Edited by Orl.