Pagina:Bonola - La geometria non-euclidea.djvu/36


— 28 —

Lo stesso ragionamento è applicabile nell'ipotesi

.

Dimostriamo il 2° teorema.

Supponiamo in primo luogo . Allora su prendiamo e congiungiamo con e . Valgono allora le seguenti relazioni.


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:

;

;

;