Teorema: La suma de los ngulos internos de cualquier tringulo hiperblico es menor que

180 grados (dos ngulos rectos).

Para llevar a cabo esta demostracin, considrese la siguiente figura:

Empecemos por examinar el tringulo hiperblico ABC, el cual dentro del plano-medio de
Poincar es un tringulo rectngulo (el ngulo recto est en el punto C). Sus lados a, b y c son,
respectivamente, un segmento de la perpendicular Euclideana a la lnea lmite x (BC), un arco
de la circunferencia Euclideana con centro en M (CA), y un arco de la circunferencia Euclideana
con centro en N (BA). El ngulo en el vrtice A es igual al ngulo entre las tangentes de las
circunferencias b y c en el punto A, o bien, el ngulo entre los radios NA y MA de estas
circunferencias. Adems, por construccin, el ngulo en el vrtice B es igual al ngulo BNM.

Se ha construdo en el segmento BN, usndolo a manera de dimetro, la circunferencia

Euclideana q, la cual solo tiene un punto comn B con la circunferencia Euclideana c en virtud
de que su dimetro es el radio de dicha circunferencia c. Por esta razn el punto A se encuentra
fuera del crculo limitado por la circunferencia q, y por lo tanto el ngulo en el vrtice A que es
igual al ngulo MAN es menor que el ngulo MBN. Entonces, en virtud de que, en la figura:

ngulo(MBN) + ngulo(B) = un ngulo recto (90 grados)

tenemos que:

La suma de ngulo(A) + ngulo(B) es menor que un ngulo recto (90 grados)

y por lo tanto, siendo el ngulo en el vrtice C un ngulo recto:

ngulo(A) + ngulo(B) + ngulo(C) es menor que dos ngulos rectos (180 grados)

Demostrado este teorema fundamental en la geometra hiperblica del plano-medio superior,

resulta fcil la demostracin del siguiente

http://geometrias-no-euclideanas.blogspot.com/2007/10/suplemento-1.html