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 qualsiasi, di base , si prolunga il lato ad un punto appartenente alla stessa retta. Detto il punto medio del lato , si prolunga , dalla parte di , di un segmento congruente a e si congiunge con . Poiché è 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 e ; essi hanno:
Dunque, e sono congruenti per il primo criterio; in particolare è congruente a e quindi è congruente a . Per quanto osservato all'inizio, ciò conclude la dimostrazione[2][3].