MathDB
three "old" circles and four concurrent lines

Source: IMO Shortlist 2006, Geometry 6, AIMO 2007, TST 3, P3

June 28, 2007
ratiogeometryprojective geometryhomothetyIMO Shortlist

Problem Statement

Circles w1 w_{1} and w2 w_{2} with centres O1 O_{1} and O2 O_{2} are externally tangent at point D D and internally tangent to a circle w w at points E E and F F respectively. Line t t is the common tangent of w1 w_{1} and w2 w_{2} at D D. Let AB AB be the diameter of w w perpendicular to t t, so that A,E,O1 A, E, O_{1} are on the same side of t t. Prove that lines AO1 AO_{1}, BO2 BO_{2}, EF EF and t t are concurrent.