Primo teorema dell'angolo esterno

Il primo teorema dell'angolo esterno è uno dei principali teoremi della geometria euclidea.

Enunciato

In qualsiasi triangolo, ogni angolo esterno è maggiore di ciascuno degli angoli interni non adiacenti.

Dimostrazione

Dato un triangolo $ABC$ qualsiasi, di base $BC$, si prolunga il lato $BC$ ad un punto $K$ appartenente alla stessa retta. Detto $M$ il punto medio del lato $AC$, si prolunga $BM$, dalla parte di $M$, di un segmento $MN$ congruente a $BM$ e si congiunge $N$ con $C$. Poiché $N$ è interno all'angolo AĈK, si può affermare che AĈK > AĈN. Per dimostrare la tesi basta allora dimostrare che BÂC è congruente a AĈN. Si considerano i due triangoli $AMB$ e $CMN$; essi hanno:

Dimostrazione del teorema dell'angolo esterno

• $AM$ congruente a $MC$ per costruzione;
• $BM$ congruente a $MN$ per costruzione;
• $AMB$ congruente a $CMN$ perché angoli opposti al vertice.

Dunque, $AMB$ e $CMN$ sono congruenti per il primo criterio; in particolare $BAC$ è congruente a $MCN$ e quindi $BAC$ è congruente a $ACN$. Per quanto osservato all'inizio, ciò conclude la dimostrazione.

Bibliografia

• Introduzione alla geometria razionale. Matematica C³. Geometria razionale, su mc3-gr-01-fondamenti.readthedocs.io. URL consultato il 19 febbraio 2023.
• Nella Dodero, Paolo Baroncini e Roberto Manfredi, Lineamenti di matematica. Per il biennio delle scuole superiori, vol. 1, Milano, Ghisetti e Corvi, 1999, ISBN 88-8013-520-1.

Voci correlate

• Secondo teorema dell'angolo esterno