Problem

Source: XI Olimpíada Matemática del Cono Sur (2000)

Tags: geometry, circumcircle, analytic geometry, graphing lines, slope, geometry unsolved



In square $ABCD$ (labeled clockwise), let $P$ be any point on $BC$ and construct square $APRS$ (labeled clockwise). Prove that line $CR$ is tangent to the circumcircle of triangle $ABC$.