MathDB
2009 JBMO Shortlist G5

Source: 2009 JBMO Shortlist G5

October 8, 2017
geometryJBMO

Problem Statement

Let A,B,C{A, B, C} and O{O} be four points in plane, such that ABC>90\angle ABC>{{90}^{{}^\circ }} and OA=OB=OC{OA=OB=OC}.Define the point DAB{D\in AB} and the line l{l} such that Dl,ACDC{D\in l, AC\perp DC} and lAO{l\perp AO}. Line l{l} cuts AC{AC}at E{E} and circumcircle of ABC{ABC} at F{F}. Prove that the circumcircles of triangles BEF{BEF}and CFD{CFD}are tangent at F{F}.