MathDB
Two circles are tangent at F

Source: Balkan MO 2012 - Problem 1

April 28, 2012
geometrycircumcirclereflectionBMO

Problem Statement

Let AA, BB and CC be points lying on a circle Γ\Gamma with centre OO. Assume that ABC>90\angle ABC > 90. Let DD be the point of intersection of the line ABAB with the line perpendicular to ACAC at CC. Let ll be the line through DD which is perpendicular to AOAO. Let EE be the point of intersection of ll with the line ACAC, and let FF be the point of intersection of Γ\Gamma with ll that lies between DD and EE. Prove that the circumcircles of triangles BFEBFE and CFDCFD are tangent at FF.