MathDB
perpendicular wanted, intersecting circles and parallel given

Source: Dutch IMO TST1 2015 P4

August 5, 2019
geometryperpendicularparallelcircles

Problem Statement

Let Γ1\Gamma_1 and Γ2\Gamma_2 be circles - with respective centres O1O_1 and O2O_2 - that intersect each other in AA and BB. The line O1AO_1A intersects Γ2\Gamma_2 in AA and CC and the line O2AO_2A intersects Γ1\Gamma_1 in AA and DD. The line through BB parallel to ADAD intersects Γ1\Gamma_1 in BB and EE. Suppose that O1AO_1A is parallel to DEDE. Show that CDCD is perpendicular to O2CO_2C.