Considere en el plano un círculo $\Gamma$ con centro O y una línea l que no interseca al círculo. Demuestre que existe un único punto Q en la perpendicular trazada desde O a la línea l, tal que para cualquier punto P en la línea l, PQ representa la longitud de la tangente desde P al círculo dado.