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

Questa pagina è stata trascritta e formattata, ma deve essere riletta.

— 27 —

due punti di s, il primo situato fra A e C, il secondo no; siano inoltre F ed F' i piedi delle perpendicolari calate da E ed E' sulla retta r. Valgono allora i seguenti teoremi:

1°) Se:	EF = AB,	, gli angoli ${\widehat {BAC}}$ , ${\widehat {DCA}}$ sono retti.
	ovvero:
	E'F' = AB

2°) Se:	EF > AB,	, gli angoli ${\widehat {BAC}}$ , ${\widehat {DCA}}$ sono retti.
	ovvero:
	E'F' < AB

3°) Se:	EF < AB,	, gli angoli ${\widehat {BAC}}$ , ${\widehat {DCA}}$ sono retti.
	ovvero:
	E'F' > AB

Dimostriamo il 1° teorema.

Dall'ipotesi EF = AB si deducono le seguenti relazioni:

{\widehat {BAE}}

=

{\widehat {FEA}}

;

{\widehat {FEC}}

=

{\widehat {DCE}}

;

le quali, insieme alla relazione fondamentale:

{\widehat {BAC}}

=

{\widehat {DCA}}

.

conducono a stabilire l'uguaglianza dei due angoli ${\widehat {FEA}}$ . I quali, essendo adiacenti, saranno entrambi retti e conseguentemente retti i due angoli ${\widehat {BAC}}$ , ${\widehat {DCA}}$ .