Geometria iperbolica > Teoremi e definizioni > Parallele divergenti

	TEOREMA 16
	Se XABY è un biangolo e WCDZ è una figura composta da tre rette tali che CD=AB, ^WCD=^XAB e ^CDZ=^ABY, allora anche WCDZ è un biangolo.

	TEOREMA 17
	Due parallele divergenti hanno un'unica perpendicolare comune.

	TEOREMA 18
	Due parallele divergenti si allontanano l'una dall'altra da parti opposte rispetto alla perpendicolare comune.

In altre parole, due parallele "divergenti" divergono.
Questo teorema afferma che la perpendicolare comune rappresenta la distanza di massimo avvicinamento di due parallele divergenti, e, scelto un punto su una delle due rette, più questo è distante dalla perpendicolare comune, maggiore è la lunghezza della perpendicolare condotta da questo punto all'altra retta.