Problem

Source: Switzerland - Swiss MO 2008 p1

Tags: geometry, circumcircle, areas, equal areas



Let $ABC$ be a triangle with $\angle BAC \ne 45^o$ and $\angle ABC \ne 135^o$. Let $P$ be the point on the line $AB$ with $\angle CPB = 45^o$. Let $O_1$ and $O_2$ be the centers of the circumcircles of the triangles $ACP$ and $BCP$ respectively. Show that the area of the square $CO_1P O_2$ is equal to the area of the triangle $ABC$.