Two circles are tangent at F
Source: Balkan MO 2012 - Problem 1
April 28, 2012
geometrycircumcirclereflectionBMO
Problem Statement
Let , and be points lying on a circle with centre . Assume that . Let be the point of intersection of the line with the line perpendicular to at . Let be the line through which is perpendicular to . Let be the point of intersection of with the line , and let be the point of intersection of with that lies between and .
Prove that the circumcircles of triangles and are tangent at .