Rectas tangentes de un círculo

Si una recta es tangente a una circunferencia, entonces ésta es perpendicular al radio trazado al punto de tangencia.    

OX es perpendicular a la tangente XY