Problem

Source: Singapore IMO TST 2007, Problem 4

Tags: geometry, geometric transformation, reflection, circumcircle, perpendicular bisector, geometry proposed



Two circles $ (O_1)$ and $ (O_2)$ touch externally at the point $C$ and internally at the points $A$ and $B$ respectively with another circle $(O)$. Suppose that the common tangent of $ (O_1)$ and $ (O_2)$ at $C$ meets $(O)$ at $P$ such that $PA=PB$. Prove that $PO$ is perpendicular to $AB$.