MathDB
They are concurrent

Source: Iran 2002

April 9, 2004
geometrycircumcircle

Problem Statement

Circles C1C_{1} and C2C_{2} are tangent to each other at KK and are tangent to circle CC at MM and NN. External tangent of C1C_{1} and C2C_{2} intersect CC at AA and BB. AKAK and BKBK intersect with circle CC at EE and FF respectively. If AB is diameter of CC, prove that EFEF and MNMN and OKOK are concurrent. (OO is center of circle CC.)