MathDB
CD bisects arc EF

Source: ItaMO 2005, P6

March 9, 2012
geometrycircumcircleincentergreatest common divisorangle bisectorgeometry proposed

Problem Statement

Two circles γ1,γ2\gamma_1, \gamma_2 in a plane, with centers AA and BB respectively, intersect at CC and DD. Suppose that the circumcircle of ABCABC intersects γ1\gamma_1 in EE and γ2\gamma_2 in FF, where the arc EFEF not containing CC lies outside γ1\gamma_1 and γ2\gamma_2. Prove that this arc EFEF is bisected by the line CDCD.