MathDB
collinear points starting with two externally tangent circles

Source: All Russian MO 1994 ARO IX P2

July 29, 2018
geometrytangent circlescollinear

Problem Statement

Two circles S1S_1 and S2S_2 touch externally at FF. their external common tangent touches S1S_1 at AA and S2S_2 at BB. A line, parallel to ABAB and tangent to S2S_2 at CC, intersects S1S_1 at DD and EE. Prove that points A,F,CA,F,C are collinear.
(A. Kalinin)