MathDB
ABCD square wanted, 3 circles (O,OA), (A,AO), (P,PQ)

Source: Mathematics Regional Olympiad of Mexico Center Zone 2020 P4

November 14, 2021
squaregeometrycircles

Problem Statement

Let Γ1\Gamma_1 be a circle with center OO and AA a point on it. Consider the circle Γ2\Gamma_2 with center at AA and radius AOAO. Let PP and QQ be the intersection points of Γ1\Gamma_1and Γ2\Gamma_2. Consider the circle Γ3\Gamma_3 with center at PP and radius PQPQ. Let CC be the second intersection point of Γ3\Gamma_3 and Γ1\Gamma_1. The line OPOP cuts Γ3\Gamma_3 at RR and SS, with RR outside Γ1\Gamma_1. RCRC cuts Γ1\Gamma_1 into BB. CSCS cuts Γ1\Gamma_1 into DD. Show that ABCDABCD is a square.