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$.
Problem
Source: XI Olimpíada Matemática del Cono Sur (2000)
Tags: geometry, circumcircle, analytic geometry, graphing lines, slope, geometry unsolved