.
Dimostriamo il 2° teorema.
Inoltre, pel teorema dell'angolo esterno [EUCLIDE, XVII], avremo pure:
2
E poichè si ha:
,
si deduce:
2
Allora, per l'uguaglianza dei due angoli
, si ricava:
1
c. d. d.
Supponiamo in secondo luogo
. Allora prolunghiamo
fino ad ottenere il segmento
e congiungiamo
con
ed
.
Valgono al solito le seguenti relazioni:
;
;
;