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 be a triangle such that and . The tangent at to the circumcircle of triangle meets the line at . Let be the reflection of in the line , let be the foot of the perpendicular from to , and let be the midpoint of the segment . Let the line intersect the circle again at .
Prove that the line is tangent to the circumcircle of triangle .
[hide="comment"]
Edited by Orl.