Teorema delle tangenti a una circonferenza da un punto esterno
Considerando una circonferenza e due rette tangenti ad essa che passano per un punto P esterno alla circonferenza, i segmenti formati tra il punto P e i rispettivi punti di tangenza, T1 e T2, sulla circonferenza sono congruenti $ \overline{PT_1} \cong \overline{PT_2} $ (ossia, di uguale lunghezza) .
Inoltre, si presentano tre interessanti proprietà che è utile ricordare:
- Il segmento OP, che congiunge il centro O della circonferenza con il punto esterno P, è l'asse della corda tra i punti di tangenza T1 e T2 e funge da asse simmetrico per i segmenti PT1 e PT2.
- Il segmento OP è bisettrice dell'angolo (rosso) formato dai raggi della circonferenza che congiungono il centro O con i punti di tangenza T1 e T2.
- Il segmento OP funge anche da bisettrice dell'angolo (blu) formato dalle due rette tangenti PT1 e PT2 in corrispondenza del punto P.
La dimostrazione
Considero una circonferenza di raggio OT1 e due rette tangenti alla circonferenza PT1 e PT2 che passano per il punto esterno P.
Traccio il segmento che congiunge il centro della circonferenza O con il punto esterno P.
I punti di tangenza sulla circonferenza sono T1 e T2
I due segmenti OT1 e OT2 sono congruenti perché sono entrambi due raggi della circonferenza.
$$ \overline{OT_2} \perp \overline{OT_2} $$
Sapendo che i raggi della circonferenza sono sempre perpendicolari alle rette tangenti, deduco che i raggi OT1 e OT2 formano un angolo di 90° rispettivamente con i segmenti PT1 e PT2.
$$ \overline{OT_1} \perp \overline{PT_1} $$
$$ \overline{OT_2} \perp \overline{PT_2} $$
Pertanto, i triangoli OPT1 e OPT2 sono due triangoli rettangoli.
I due triangoli rettangoli OPT1 e OPT2 sono congruenti per il teorema di congruenza dei triangoli rettangoli, perché hanno un cateto congruente OT1=OT2 e l'ipotenusa coincidente OP.
$$ OPT_1 \cong OPT_2 $$
Essendo due triangoli congruenti, hanno tutti i lati e gli angoli congruenti nello stesso ordine.
Questo dimostra che i segmenti PT1 e PT2 sono congruenti
$$ \overline{PT_1} \cong \overline{PT_2} $$
Inoltre, gli angoli α=β e γ=θ sono congruenti.
$$ \alpha \cong \beta $$ $$ \gamma \cong θ $$
Di conseguenza, il segmento OP è la bisettrice dell'angolo al centro O formato dai raggi e dell'angolo tra le rette tangenti nel vertice P.
Infine, traccio la corda T1T2 tra i due punti di tangenza.
Il triangolo OT1T2 è un triangolo isoscele perché i due lati obliqui sono congruenti OT1≅OT2, in quanto sono due raggi della circonferenza.
Il segmento OH è una bisettrice del triangolo perché so già che gli angoli α≅β sono congruenti.
Sapendo che in un triangolo isoscele la bisettrice coincide, con l'altezza, l'asse e con la mediana, deduco che:
- il segmento OH è perpendicolare alla corda T1T2 in quanto OH è un'altezza del triangolo
- il punto H è il punto medio della corda T1T2 in quanto OH è anche la mediana
Quindi il segmento OH è un asse del triangolo OT1T2.
Poiché OH appartiene al segmento OP, questo dimostra che il segmento OP è l'asse della corda T1T2 tra i due punti di tangenza.
E così via.