MathDB
A lot of circle

Source: Pan African 2001

October 4, 2005
quadraticsgeometryperpendicular bisectoralgebra

Problem Statement

Let S1S_1 be a semicircle with centre OO and diameter ABAB.A circle C1C_1 with centre PP is drawn, tangent to S1S_1, and tangent to ABAB at OO. A semicircle S2S_2 is drawn, with centre QQ on ABAB, tangent to S1S_1 and to C1C_1. A circle C2C_2 with centre RR is drawn, internally tangent to S1S_1 and externally tangent to S2S_2 and C1C_1. Prove that OPRQOPRQ is a rectangle.