MathDB
Circles ahoy~

Source: Indian RMO 2004 Problem 1

February 28, 2006

Problem Statement

Consider in the plane a circle Γ\Gamma with centre O and a line l not intersecting the circle. Prove that there is a unique point Q on the perpendicular drawn from O to line l, such that for any point P on the line l, PQ represents the length of the tangent from P to the given circle.