Problem

Source: 1-st Taiwanese Mathematical Olympiad 1992

Tags: geometry, circumcircle, incenter, geometry unsolved



A line through the incenter $I$ of triangle $ABC$, perpendicular to $AI$, intersects $AB$ at $P$ and $AC$ at $Q$. Prove that the circle tangent to $AB$ at $P$ and to $AC$ at $Q$ is also tangent to the circumcircle of triangle $ABC$.