Prouver que deux droites sont perpendiculaires... 
Sachant que :

Propriété 9

"puisque la tangente à un cercle en un point est perpendiculaire au rayon issu de ce point..." 

J'en déduis que :

Pour l'utiliser, il faut :
 La tangente à un cercle