Primo teorema dell'angolo esterno

Il primo teorema dell'angolo esterno è uno dei principali teoremi della geometria euclidea^[1][2][3].

In qualsiasi triangolo, ogni angolo esterno è maggiore di ciascuno degli angoli interni non adiacenti^[2][3].

Dato un triangolo ${\displaystyle ABC}$ qualsiasi, di base ${\displaystyle BC}$, si prolunga il lato ${\displaystyle BC}$ ad un punto ${\displaystyle K}$ appartenente alla stessa retta. Detto ${\displaystyle M}$ il punto medio del lato ${\displaystyle AC}$, si prolunga ${\displaystyle BM}$, dalla parte di ${\displaystyle M}$, di un segmento ${\displaystyle MN}$ congruente a ${\displaystyle BM}$ e si congiunge ${\displaystyle N}$ con ${\displaystyle C}$. Poiché ${\displaystyle 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 ${\displaystyle AMB}$ e ${\displaystyle CMN}$; essi hanno:

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

Dunque, ${\displaystyle AMB}$ e ${\displaystyle CMN}$ sono congruenti per il primo criterio; in particolare ${\displaystyle BAC}$ è congruente a ${\displaystyle MCN}$ e quindi ${\displaystyle BAC}$ è congruente a ${\displaystyle ACN}$. Per quanto osservato all'inizio, ciò conclude la dimostrazione^[2][3].

• 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.

• Secondo teorema dell'angolo esterno

Portale Matematica: accedi alle voci di Teknopedia che trattano di Matematica