Universidad de El Salvador

Facultad de Ciencias Naturales y Matemtica

escuela de Matemtica
DE LA GEOMETRA SINTTICA A LA

GEOMETRA HIPERBLICA.

TESIS
PARA OBTENER EL TTULO DE:

Licenciado en Matemtica

PRESENTA:

Br. Sal Fernando Lpez Argueta LA09001.

Br. Wilner Edenilson Vsquez Hernndez VH10007.

ASESORES:

Lic. Ernesto Amrico Hidalgo Castellanos.

MS.c Yoceman Adony Sifontes Rivas.

30 de mayo de 2017
Captulo 1

Circunferencias coaxiales, inversin y sus

propiedades.

1.1. Circunferencias coaxiales.

En esta seccin estudiaremos cierta familia de circunferencias. La propiedad que dene a la familia es que

existe un punto en el plano tal que la potencia de ese punto con respecto a todas las circunferencias de la

familia es la misma, es decir, que el valor de la potencia es constante.

Denicin 1.1 El eje radical de dos circunferencias es el lugar geomtrico de todos los puntos P E2 cuyas

potencias con respecto a las dos circunferencias son iguales.

Teorema 1.1 Sean C1 y C2 dos circunferencias. Entonces se cumple una de las siguientes propiedades:

1. Si C1 y C2 se intersecan, entonces su eje radical es la lnea que pasa por los puntos de interseccin.

2. Si las dos circunferencias C1 y C2 son tangentes, entonces su eje radical es la lnea tangente comn.

3. Si C1 y C2 son ajenas y k, l, m, n son los ejes radicales de C1 y C3 , C1 y C4 , C2 y C3 , C2 y C4

respectivamente. Sea P el punto de interseccin de n y l y sea Q el punto de interseccin de m y k.
Entonces el eje radical de C1 y C2 es la lnea que pasa por P y Q, para cualquier par de circunferencias

C3 , C4 E2 que cortan a C1 y C2 .

2
 Eje radical de C1 y C3
C3 l
k n

P
C1 C2
Q

m
C4

Figura 1.1: Eje radical de dos circunferencias ajenas.

Corolario 1.1 Sean C1 , C2 y C3 tres circunferencias en E2 cuyos centros no son colineales. Entonces, los

tres ejes radicales son concurrentes en un punto llamado el centro radical de las circunferencias.

Observacin 1.1 1. El eje radical de dos circunferencias es ortogonal a la lnea de los centros.

2. El eje radical de dos circunferencias, no contenidas una en la otra, es la lnea que pasa por los pun-

tos medios de los segmentos determinados por los puntos de contacto de las tangentes comunes a las

circunferencias.

Denicin 1.2 Sea F una familia de circunferencias en el plano. Decimos que F es una familia coaxial si

existe una lnea que es el eje radical de cualquiera dos miembros de F.

Del teorema 1 y denicin anterior podemos decir que los centros de las circunferencias coaxiales son colineales

y que el eje radical es ortogonal a la lnea de los centros de las circunferencias coaxiales.

Denicin 1.3 A una familia F de circunferencias que pasan por dos punto jos se le llama familia secante.

Proposicin 1.1 El eje radical de una familia secante F es la lnea que pasa por los puntos de interseccin.

Ms an, la familia F es coaxial.

Ahora describiremos otro tipo de familias, las cuales llamaremos familia ajena, ya que sus miembros no se

intersecan entre ellos.

Sea F una familia coaxial secante con eje radical l y A y B sus puntos de interseccin. Tomemos un punto

O l distinto de A y B ; a partir de O trazamos lneas tangentes a las corcunferencias de la familia F . Entonces

los segmentos determinados desde O a cada punto de tangencia son iguales. Estos segmentos determinan el

3
radio de una circunferencia con centro en O. Observemos que esta circunferencia es ortogonal a todas las

circunferencias de F, ver gura 2.16(a).

A G

l
B
F
l

(a) Circunferencia ortogonal a la fa- (b) Familias coaxiales F y G .

milia F .

Figura 1.2: Construccin de la familia ajena G.

Con la construccin anterior se puede denir a toda una familia de circunferencias G como la familia de

circunferencias que tienen un centro en cualquier punto sobre l, excepto en el segmento AB , y que son

ortogonales a todas las circunferencias de la familia F, ver gura 2.16(b).

Observacin 1.2 a) Si N es el punto medio del segmento AB , el radio de cualquier circunferencia de la

familia G (con centro O) es menor que la magnitud del segmento ON . A la familia G se le llama familia
ajena.

b) El eje radical de la familia G es la lnea de los centros de la familia F.

Proposicin 1.2 La familia de circunferencias G es una familia coaxial.

Obsevemos que los puntos en los que una circunferencia ortogonal corta a la lnea de los centros de dos

circunferencias ajenas son dos puntos jos e independientes de la circunferencia ortogonal de que se trate. A

estos puntos jos se les llama puntos lmites.

4
Observacin 1.3 a) A los ejes radicales de ambas familias los podemos ver como circunferencias de radio

innito por lo que tambin forman parte de sus respectivas familias.

b) La familia ortogonal a la familia de circunferencias ajenas G es precisamente la familia de circunferencias

secante F.

c) Si tomamos cualquier punto P E2 , entonces por P siempre pasa una circunferencia de la familia G y

una de la familia F.

Denicin 1.4 A una familia coaxial F de circunferencias que pasan por un punto jo se le llama familia
coaxial tangente.

Proposicin 1.3 a) El eje radical de una familia de circunferencias coaxiales tangentes es la lnea que pasa

por el punto de tangencia y que es ortogonal a la lnea de los centros.

b) La familia ortogonal G de F son todas las circunferencias ortogonales a cualquier miembro de F que pasa

por el punto de tangencia.

c) El eje radical de G es la lnea tangente a todas las circunferencias de la familia y que es ortogonal a la

lnea de los centros de G.

F
G

Figura 1.3: Familias coaxiales tangentes F y G.

5
1.2. Reexiones.
Sea L una lnea recta en el plano euclideano E2 y C una circunferencia con centro en un punto O E2 y radio

r > 0.

Denicin 1.5 Una reexin con respecto de L es una transformacin RL : E2 E2 que a cada punto

P E2 le asigna un punto P 0 E2 tal que el segmento PP0 es ortogonal a la lnea L y es bisecado por esta

lnea.

P0
L

Figura 1.4: Reexin con respecto de L.

Si L0 es otra lnea en E2 , entonces la composicin RL0 RL : E2 E2 tambin es una transformacin del

espacio euclidiano E2 que est bien denida y est dada por

(RL0 RL )(P ) := RL0 (RL (P )).

Las lneas RL y RL0 pueden ser paralelas o bien pueden intersecarse; dependiendo de esto, la composicin

denir dos tipos distintos de transformaciones elementales del espacio E2 .

Las siguientes propiedades de las reexiones se tienen de manera inmediata:

a) La lnea L queda ja bajo la reexin RL ; es decir, si P L entonces RL (P ) = P .

b) Si denotamos por id : E2 E2 a la transformacin identidad y denimos RL2 := RL RL , entonces id es

la transformacin que deja a todos los puntos de E2 jos. Es decir, RL2 = id. A la transformacin RL se le

llama involucin.

c) De la propiedad anterior se sigue que RL es invertible y que su inversa es RL1 = RL .

Denicin 1.6 a) La reexin de una lnea con respecto de L es una lnea.

b) La reexin de una circunferencia con respecto de L es una circunferencia.

Teorema 1.2 a) Si dos lneas l y m se intersecan, entonces sus reeciones con respecto de L tambin se

intersecan y forman el mismo ngulo que el comprendido entre l y m.

6
b) Si dos circunferencias AyB se intersecan, entonces sus reexiones con respecto de L tambin se intersecan
y con el mismo ngulo que el comprendido entre A y B.

Observacin 1.4 a) El resultado anterior muestra que la reexin con respecto de L conserva ngulos.

b) El ngulo en el vrtice P0 va en direccin contraria al ngulo en el vrtice P; es decir, si se orienta de

l a m entonces 0 se orienta de m a l.

Una clase importante de reexiones del plano euclidiano E2 son las reexiones con respecto a una circunferencia
C.

Denicin 1.7 A una reexin RC : E2 E2 con respecto de una circunferencia C se le llama inversin
con respecto de C.

Observacin 1.5 En el resto de este captulo llamaremos inversin a la reexin con respecto de C.

1.3. Inversin geomtrica.

1.3.1. Denicin, construccin y propiedades de la inversin.
Denicin 1.8 Dado C E2 . Para cada punto A E2 distinto de O, el punto inverso de A respecto de C es

el punto A0 E2 que esta sobre el rayo OA y que satisface la siguiente relacin

OA OA0 = r2 .

A la circunferencia C se le llama circunferencia de inversin y a su centro O centro de inversin.

Cuando el contexto asocia a esta notacin OA un valor numrico nos referimos a la distancia entre los punto

O y A.

Construccin 1.1 Construccin geomtrica de la inversin.

Sea A E2 un punto interior a C, como en la gura 1.3.1. Sea T uno de los puntos de la interseccin de C
con la perpendicular a la recta OA desde A. En particular OT = r. Entonces A0 , el punto interseccin de la

recta OA con la tangente a C desde T, es el inverso de A. Por el teorema del cateto los tringulos 4OAT y

4OT A0 son semejantes, por ser rectngulos con un ngulo en comn, por tanto

OA r
= ,
r OA0

7
es decir, OA OA0 = r2 , como queramos.

La gura 1.2 muestra la manera de construir el punto inverso A0 del punto A cuando ste es interior a la

circunferencia. Usando la misma gura, si el punto A0 est fuera de la circunferencia, trazamos una tangente

a la circunferencia desde A0 y, siendo T el punto de tangencia, por T trazamos una perpendicular a la recta

OA0 que cortar a sta en el punto A, inverso del punto A0 .

Si el punto A es exterior a la inversin de radio r, es decir, OA > r, entonces OA0 < r, el inverso de A es

interior a la inversin de radio r. Por ltimo, los puntos de la circunferencia de inversin se invierten en s

mismo, es decir, son puntos jos de la transformacin.

C T

O A A0

Figura 1.5: Construccin de la inversin.

Obsevemos que cuando el punto A se acerca al centro de inversin O, su inverso A0 se aleja innitamente de

O, es por eso que hay exactamente un punto del plano, el centro de inversin O, que se queda sin imagen

por la transformacin. Por convencin se usa que el inverso del centro O de la circunferencia C es el punto al
innito que se denota por .
Es til tener esta idea en mente para entender mejor las propiedades que veremos a continuacin.

Es claro que si A0 es el inverso de A, entonces A es el inverso de A0 .

De manera que tenemos

Propiedad 1.1 Las inversiones son involutivas. Es decir, si es una inversin, entonces

2 = Id.

Por ngulo entre dos circunferencias entenderemos el ngulo que forman las tangentes a cada una de ellas en

uno de los puntos de interseccin, o equivalentemente el ngulo entre los radios en ese punto.

Las circunferencias ortogonales estn ntimamente relacionadas con la inversin.

Dos circunferencias secantes son ortogonales cuando se cortan formando ngulo recto, es decir, cuando sus

tangentes (o radios) en uno de los puntos de interseccin son perpendiculares.

8
Propiedad 1.2 Sean A y A0 puntos inversos respecto C, y sea C cualquier circunferencia que pasa por A y

A0 . n = 0.3 C y
Entonces C son ortogonales.

P
C

A0
A
O

Figura 1.6: Circunferencias ortogonales.

De la propiedad anterior se puede concluir que

Una inversin deja ja una circunferencia ortogonal a la circunferencia de inversin

Una de las propiedades ms tiles de la inversin es que la inversin conserva los ngulos.

Propiedad 1.3 Sean A0 y B0 puntos inversos respectivamente de A y B por una inversin respecto a una

circunferencia C de centro O. Entonces

]OAB = ]OB 0 A0 y ]OBA = ]OA0 B 0 .

En particular los puntos A, B, A0 y B0 son concclicos, es decir estn sobre un a circunferencia.

9
 C
B0

O A A0

Figura 1.7: Puntos concclicos.

Observacin 1.6 Por la propiedad 2, la circunferencia de inversin y la circunferencia determinada por

A, A0 , B, B 0 son ortogonales.

Observacin 1.7 Si sabemos que por una inversin de centro O, un punto A se transforma en un punto A0 ,
con O, A, A0 conocidos, entonces podemos construir fcilmente el transformado de cualquier otro punto B,
como interseccin de la recta OB con la circunferencia determinada por A, A0 , B .

Propiedad 1.4 Sean A y B puntos distintos y sean A0 y B0 los inversos respecto de una circunferencia de

centro O y radio r. Entonces

AB r2
A0 B 0 = .
OA OB

Podemos invertir punto por punto cualquier curva K respecto C, y denotaremos por K0 la curva inversa. A

continuacin obtenemos las inversas de las curvas ms simples: rectas y circunferencias.

Propiedad 1.5 Las inversiones transforman circunferencias y/o rectas en circunferencias y/o rectas, segn

pasen o no por el centro de inversin.

a) La imagen de una recta que no pasa por el centro de inversin es una circunferencia que pasa por este

centro.

b) La imagen de una circunferencia que no pasa por el centro de inversin es una circunferencia que tampoco

pasa por l.

c) La imagen de una circunferencia que pasa por el centro de inversin, es una recta que no pasa por el centro.

10
d) La imagen de una recta que pasa por el centro de inversin es ella misma.

Propiedad 1.6 Sean dos lneas, S y S 0, la una inversa de la otra con respecto de una circunferencia de

inversin C, y sea P un punto de S que tiene como inverso un punto P0 de S 0. Se verica que las rectas

tangentes a S y S0 en el punto P y P0 respectivamente, son perpendiculares a la recta P P 0, o bien forman

con ella un tringulo issceles de base P P 0.

P0 S0
F

S0 P0
S S
P
P
O O

C C

(a) Rectas tangentes paralelas. (b) Rectas tangentes no paralelas.

Figura 1.8:

Propiedad 1.7 La inversin es una transformacin conforme, es decir, conserva la magnitud de los ngulos,

aunque invierte su sentido.

Propiedad 1.8 Dados cuatro puntos arbitrarios A, B, C, D E2 , denimos la razn cruzada por la frmula:

AC/BC
{A, B, C, D} = .
AD/BD
Como hay veinticuatro permutaciones de las letras A, B , C y D debera de haber veinticuatro valores de la

razn cruzada, pero estas veinticuatro permutaciones no nos dan siempre valores distintos de la razn cruzada;

de hecho, solamente hay seis valores de la razn cruzada dados por

1 1 1
, , 1 , , y .
1 1
Inmediatamente de la denicin de la razn cruzada vemos que:

= {ABCD} = {BADC} = {CDAB} = {DCBA}

1
= {ABDC} = {BACD} = {CDBA} = {DCAB}

Los dems valores de la razn cruzada se pueden calcular a partir de la denicin.

Propiedad 1.9 Las inversiones conservan la razn cruzada.

11
1.3.2. Inversiones de circunferencias coaxiales.
Veremos ahora cmo se comporta la inversin con respecto de circunferencias que pertenecen a las diferentes

familias coaxiales.

Supongamos que F es la familia de circunferencas coaxiales que se intersecan en dos puntos y tomemos dos

circunferencias C y C0 de dicha familia. Sea G la familia ortogonal a la familia F tal y como la describimos

anteriormente.

Analicemos todos los casos posibles:

a) Si se inverte a C con respecto a C0 obtenemos otro elemento C 00 de la familia F, puesto que los puntos de

interseccin A y B quedan jos bajo inversin.

C0
A C 00
C

b) Existe al menos una circunferencia C 00 de la familia coaxial F con respecto a la cual C y C0 son inversos

una de la otra. En particular, la circunferencias que bisecan al ngulo que forman C y C0 cumplen esta

propiedad.

C 00

A
C C0

c) Si se inverte a un miembro C de la familia F con respecto a un miembro de la familia ortogonal G , entonces

el elemento de F es invariante bajo inversin.

12
 G

d) Si se inverte a un miembro de la familia G con otro miembro de la misma familia, entonces se invierte en

otro miembro de G.

e) Si se inverte a un miembro de la familia G con respecto a un miembro C de F, entonces se reeja en s

misma.

13
1.3.3. Inversiones y Cnicas.
Aprovechando la gura que ilustra la propiedad 3, y recordando que la polar de A0 respecto a la circunferencia

C de inversin es la perpendicular a la recta OA por el punto A inverso de A0 , ver gura 1.3.3, tenemos que

la polar de todo punto X de la polar de A0 , pasa por A0 . En consecuencia de que el ngulo ]OX 0 A0 es recto,

para todo X. Se dice que A0 es el polo de la correspondiente recta polar.

P olar de X
X

P olar de A0

X0

O A0 A

Figura 1.9: Polaridad.

Estamos acostumbrados a que las aplicaciones lleven puntos a puntos y rectas a rectas pero tenemos aqu una

aplicacin que lleva puntos a rectas y rectas a puntos, en el sentido de que hace corresponder a cada punto

su polar y a cada polar su polo.

Las cnicas se representan de diversas formas: secciones de un cono; lugar geomtrico de los puntos del plano

tales que el cociente de distancias a un punto (foco) y a una recta (directriz) es constante; lugar geomtrico

de los puntos del plano tales que la suma (diferencia) de distancias a dos puntos dados (focos) es constante,

etc. Tambin se puede denir cnica como la polar recproca de una circunferencia.

Teorema 1.3 Una cnica es el lugar geomtrico de los polos de las tangentes a una circunferencia.

Demostracin: Fijamos una circunferencia de inversin C de centro O y radio arbitrario k > 0, y consideremos
una segunda circunferencia C de centro A y radio arbitrario.

Por cada punto M de la segunda circunferencia trazamos la tangente y consideramos su polo. Por construccin,
el polo de la tangente es el punto P 0 situado sobre la perpendicular por O a la tangente y tal que OP. OP 0 = k 2 ,
donde P es el punto de interseccin de la tangente con su perpendicular por O. Sea N el punto de interseccin

de la tangente con la recta OA y N0 su inverso. Ver gura 1.3.3.

14
Queremos demostrar que cuando M se mueve en la circunferencia el punto P0 describe una cnica. La polar

d de A ser la directriz, y el centro O el foco.

En efecto, por la propiedad 3, las rectas P 0N 0 y OA son perpendiculares. Por tanto P 0 Q = N 0 O + OA0 donde

Q es el pie de P0 sobre d. Como OA. OA0 = k 2 y ON. ON 0 = k 2 tenemos

k2
P 0O OP ON. OA
= k2 k2
= .
P 0Q ON
+ OA
OP (ON + OA)

P0
Q

d : directriz

N0 N O A0 A

Figura 1.10: Polar recproca.

Pero, por Tales,

NA NM AM
= = ,
NO NP OP
de manera que
P 0O OA OA OA
0
= = = =e
PQ OP (N A/ON ) OP (AM/OP ) AM
que es constante. Esta constante
distancia entre centros
e=
radio
se llama excentricidad. Por tanto, si O es interior a la circunferencia de centro A y radio AM tenemos que

e<1 y se trata de una elipse, que es el caso de la gura 1.3.3, si es exterior tenemos e>1 y se trata de una

hiprbola y si pertenece a ella tenemos e=1 y se trata de una parbola.

15
 M
P C

P0

O A

Figura 1.11: Elipse.

1.3.4. Inversin que pone concntricas dos circunferencias.

Sean C2 y C1 dos circunferencias no concntricas, de manera que la primera est contenida en la regin acotada
determinada por la segunda. Si hacemos una inversin con centro un punto cualquiera P C1 la pareja de

circunferencias se transforma respectivamente en una circunferencia C20 y una recta C10 , ver gura 1.3.4.

Dibujamos a continuacin dos circunferencias ortogonales a la vez a C10 y C20 . Para ello tomamos T, T 0 C20
con la condicin que no pertenezcan al dimetro de C20 perpendicular a C10 . Sean U y U0 respectivamente los

puntos de interseccion con C10 de las tangentes a C20 por T y T 0, ver gura 1.3.4.

C1 0
C20 C1
C2
Inversion de centro P
P

Figura 1.12: Primer paso.

16
 C3
C10

T
C20
S R

T0
C4

Figura 1.13: Segundo paso.

Entonces las circunferencias C3 (de centro U y radio UT ) y C4 (de centro U0 y radio U 0T 0) son ortogonales a

C10 y C20 y se cortan en dos puntos R y S.

Ahora ya podemos decir que cualquier inversin de centro R transforma C10 y C20 en dos circunferencias

concntricas C100 y C200 . En efecto, C3 y C4 pasan a ser rectas C30 y C40 que se cortan en un punto S0 imagen de

S. La recta C10 se transforma en una circunferencia que pasa por R ortogonal a C30 y C40 . Por tanto, el punto

S0 de interseccin de C30 y C40 es su centro, ver gura 1.3.4.

C30

C100
C200
S0

C40

Figura 1.14: Tercer paso.

Anlogamente C20 se transforma en una circunferencia ortogonal a C30 y C40 . Por tanto, el punto de interseccin
de C30 y C40 es su centro.

As pues las transformadas C100 y C200 de C10 y C20 son circunferencias concntricas, como queramos.

17
1.4. Aplicaciones de la inversin.
1.4.1. El problema de Apolonio.
El problema de Apolonio fue considerado durante siglos como muy difcil, hasta que Jacob Steiner (1796 -

1863) encontr una solucin muy simple basada en la inversin. Sean C1 , C2 y C3 tres circunferencia colocadas

como en la gura 1.4.1, y queremos encontrar una circunferencia C tangente a las Ci a la vez.

C2
C1

C3

Figura 1.15: Tres circunferencias ajenas.

Este problema se reduce fcilmente al problema degenerado de Apolonio que consiste en encontrar una cir-

cunferencia C que pase por un punto dado y sea tangente a dos circunferencias dadas.

En efecto, llamando Oi al centro de Ci y ri a su radio y supongamos que r1 r2 r3 , si la circunferencia

C(O, r) de la gura 1.16a) es tangente a las tres circunferencias dadas C1 , C2 y C3 , entonces la circunferencia

C(O, r + r1 ) pasa por el punto O1 y es tangente a C2 (O2 , r2 r1 ) y C3 (O3 , r3 r1 ), ver gura 1.16b).

C
C2
r1 O1
O1 C1 C2
r2 r r2 r1
O2 O
O2

r3 C3

O3 r3 r1
C3 O3

(a) (b)

Figura 1.16: Problema de Apolonio.

Por lo tanto, para resolver el problema de Apolonio solo queda demostrar que dado un punto O1 y dos

circunferencias C2 y C3 como en la gura 1.16b), existe una circunferencia C tangente a C2 y C3 pasando

18
por O1 . Pero invirtiendo C, C2 y C3 con respecto a una circunferencia de centro O1 (no importa el radio de

inversin) y haciendo uso de las propiedades 5b), 5c) y 7 obtenemos la gura 1.4.1, con lo que el problema se

traduce en encontrar la recta C 0 correspondiente que es tangente a las circunferencias C 0 2 y C 0 3 . Luego, una

de las 4 tangentes comunes a C 0 2 y C 0 3 nos proporcionar la circunferencia C buscada en la gura 1.4.1, y as

este problema de Apolonio queda resuelto.

C 0

C 0 3

C 0 2

Figura 1.17: Tangentes a dos circunferencias.

Pero, Cuntas soluciones distintas podemos encontrar? Uno puede ver que existen 8 soluciones en la gura

1.4.1; la circunferencia C buscada puede ser exteriormente tangente a las tres circunferencias dadas, puede

rodear a las tres, puede rodear a dos de ellas y no a la tercera (3 soluciones) o puede rodear a una y no las

otras dos (3 soluciones). El problema que hemos resuelto corresponde al primer caso, pero se puede proceder

de manera silmilar para obtener las restantes soluciones.

Una situacin con solo 4 soluciones surge cuando se toman tres circunferencia concurrentes en un punto y

otra situacin en la que no hay ninguna solucin es el caso en la que una circunferencia est dentro de otra.

1.4.2. Porisma de Steiner.

Como muestra de la utilidad de la inversin en la resolucin de algunos problemas clsicos de la geometra

plana, vamos a considerar el siguiente problema: Dadas dos circunferencias C1 y C2 que no se cortan, consi-

deremos circunferencias S1 , S2 , ... de manera que cada Si sea tangente a C1 , C2 y Si1 , para i 2. Si existe

un nmero natural N tal que SN es tangente a C1 , C2 , SN 1 y S1 entonces se dice que {Si }N

i=1 es una cadena

de Steiner para C1 y C2 . Es claro que la existencia de tales cadenas depende de cmo estn colocadas C1 y

C2 en el plano. La gura 1.18 muestra dos ejemplos de cadenas de Steiner.

19
 S3
S2
C2 S1
S3 S2

S4
S1
C1
S5 C2
C1
S6 S4
S8
S7

(a) (b)

Figura 1.18: Ejemplos de cadenas de Steiner.

Jacob Steiner estudio estas conguraciones usando el poder simplicador de la inversin, y dio respuesta a

preguntas como las siguientes:

Pregunta 1.1 Supongamos que C1 y C2 admiten una cadena de Steiner {Si }N

i=1 . Es nica dicha cadena?

En el caso de no ser nica, Cuntas cadenas de Steiner existen? y Cuntas circunferencias tiene dicha

cadena?

Pregunta 1.2 Sea {Si }N

i=1 una cadena de Steiner para C1 y C2 . Sobre qu curva estn los puntos de contacto
de las circunferencias Si ?, Y sus centros?

Para responder a la primera pregunta vamos a recordar que dadas dos circunferencias C1 y C2 cualesquiera

siempre podemos invertirlas en dos circunferencias concntricas, as la pregunta 1 tiene una respuesta inme-

diata. En efecto, al invertir C1 y C2 en dos circunferencias concntricas C10 y C20 , la cadena {Si }N
i=1 se invierte

en una cadena de Steiner {Si0 }N

i=1 para C10 y C20 , donde obviamente todas las Si0 tienen el mismo radio, ver

gura 1.4.2.

20
 S20

S30 S10
C20

C10
S40 S80

S50 S70

S60

Figura 1.19: Cadena de Steiner para dos circunferencias concntricas.

Podemos ahora girar un cierto ngulo la cadena {Si0 }N

i=1 para obtener una nueva cadena de Steiner

0
{S,i }N
i=1

para C10 y C20 , la cual corresponder a una nueva cadena de Steiner

0
{S,i }N
i=1 para las circunferencias iniciales

C1 y C2 . Es claro que esto puede hacerse para innitos valores de , con lo que hemos demostrado:

Proposicin 1.4 Si dos circunferencias C1 y C2 que no se cortan admiten una cadena de Steiner entonces

admiten un nmero innito de ellas, y todas las cadenas poseen el mismo nmero de circunferencias. Ms

an, cualquier circunferencia tangente a C1 y C2 (que rodea a las dos a la vez o que no rodee a ninguna) es

miembro de una cadena de Steiner.

En cuanto a la pregunta 2, es claro que los puntos de contacto de las Si estn sobre una circunferencia o sobre

una recta, es decir, sobre la curva inversa de la circunferencia que contiene a los puntos de contacto de las Si0
en la cadena de Steiner para las circunferencias concntricas C10 y C20 .
Los centros de las Si estn sin embargo sobre curvas ms interesantes, a saber, sobre cnicas.

Proposicin 1.5 Sean C1 y C2 dos circunferencias que no se cortan y admiten cadenas de Steiner. Si una

de las circunferencias est en el interior de la otra, entonces los centros de las circunferencias de las cadenas

de Steiner estn sobre una elipse. En otro caso, los centros estn sobre una hiprbola.

21
Captulo 2

Modelos hiperblicos.

En este captulo damos una breve resea histrica de la geometra hiperblica y hacemos una descripcin de

tres modelos que existen para describir la geometra hiperblica bidimencional a partir del modelo que cono-

cemos de geometra euclidiana, haciendo uso de conceptos, ideas y construciones de la geometra euclidiana

bidimencional. Hacemos la descripcin del modelo del semiplano superior de Poincar, del disco de Poincar

y el modelo de Beltrami-Klein. Tambin deniremos la mtrica hiperblica para cada uno de los modelos.

Veremos la equivalencia entre los modelos de Poincar y tambin la equivalencia entre el modelo de Beltrami-

Klein con el modelo del disco.

2.1. Historia de la geometra hiperblica.

Los esfuerzos a lo largo de tantos siglos en busca de demostrar el quinto postulado de Euclides haban

acumulado frutos y un entendimiento profundo de la geometra euclidiana por muchas mentes. Como ocurre

frecuentemente en las matemticas, cuando sucede un descubrimiento, no es concebido por un solo hombre.

El descubrimiento realizado durante la segunda y tercera dcada del siglo XIX por Lobachevski, Bolyai y Gauss

de los hechos fundamentales de la geometra hiperblica no euclidiana y en los aos 60-70 la bsqueda de sus

interpretaciones, provocaron en el sistema de ciencias geomtricas transformaciones de carcter revolucionario.

Sin embargo, el primer intento de creacin de una nueva geometra (inconscientemente) lo di en siglo XVIII

el jesuita Girolamo Saccheri, profesor de matemticas en la Universidad de Pavia, en Italia, quien se propuso

negar el postulado eucldeo de la paralela, y a continuacin dedujo todas las consecuencias lgicas de esta

negacin, en la bsqueda de una contradiccin que demostrase mediante el absurdo el famoso postulado. En

otras palabras, el procedimiento de Saccheri es el siguiente: tomemos cinco axiomas, de los cuales cuatro

coinciden con los de Euclides y el quinto es la negacin del quinto postulado de Euclides.

Los postulados de Euclides nos dicen:

22
 1. Para todo punto P y para todo punto Q distinto de P, existe una nica lnea l que pasa por P y Q.

2. Un segmento rectilneo puede ser siempre prolongado indenidamente.

3. Para todo punto O y para todo punto A distinto de O, existe una circunferencia de centro O y radio

OA.

4. Todos los ngulos rectos son congruentes entre s.

5. Si una secante corta a dos rectas formando un ngulo interior cuya suma es menor de dos rectos, las

dos rectas sucientemente prolongadas se cortan en este mismo lado.

Los primeros cuatro postulados de Euclides siempre fueron aceptados, pero observemos que el quinto pos-

tulado diere de los otros postulados por su especial complejidad. Esta caracteristica llam la atencin de

los matemticos desde el principio, pues lo colocaban ms cerca de las proposiciones que de los postulados.

John Playfair di el enunciado alternativo ms comn y conocido: por un punto exterior a una recta se puede

trazar una y slo una paralela a la recta dada. Es frecuente referirse al quinto postulado como Postulado de
las paralelas.
Muchos matemticos intentaron deducir este quinto postulado partiendo de los otros cuatro sin tener xito

alguno, todas las demostraciones eran falsas o errneas hasta el siglo XIX.

En los aos que antecedieron la consolidacin del descubrimiento o nacimiento de una nueva geometra, la

gura dominante en el mundo matemtico era Carl Friedrich Gauss (1777-1855), quien di grandes aportes

y contribuciones a la matemtica en general y en especial al nuevo descubrimiento. Gauss estudi durante

40 aos la teora de las paralelas y formul una nueva geometra que llam no euclidiana. Algunas cartas

a otros interesados en aquellos problemas, crticas sobre paralelas y notas inditas descubiertas entre sus

trabajos, son toda la evidencia disponible de que l fue el primero en entender claramente la posibilidad de

una geometra lgicamente precisa y diferente de la euclidiana, ya que se di cuenta de la naturaleza intrnseca

de las dicultades de demostrar el quinto postulado. Gauss no public sus investigaciones por temor al  griteri

de los torpes . Y la gloria de la fundacin de la geometra hiperblica corresponde al hngaro Jnos Bolyai

(1802-1860) y al ruso Nicolai Ivanovich Lobachevski (1793-1856).

Jnos Bolyai, hijo del tambin matemtico y amigo de Gauss, Farkas Bolyai, estudi durante 10 aos las

consecuencias que se derivan de negar el quinto postulado, suponiendo que por un punto exterior a una recta

no existe ninguna paralela o que existe ms de una. Centrndose en esta segunda hiptesis, Bolyai observ

que la existencia de dos de estas rectas implicaba la existencia de una innidad de ellas. Estos resultados

constituan el origen de una nueva geometra. En 1831 Jnos agreg un apndice de 26 pginas al tratado

de su padre con estos resultados, pero tiempo despus sabra que tres aos antes el ruso Lobachevski haba

publicado una obra en la cual se trataba la geometra no euclidiana.

23
Farkas Bolyai el padre de Jnos, le envi una copia del texto a su amigo Gauss. La respuesta fue inesperada.

Si digo que soy incapaz de elogiar este estudio, quizs le extrae. Pero

no puede ser de otra manera, porque ello equivaldra a elogiar mis propios

trabajos. En efecto, el enfoque preconizado por su hijo y los resultados que

ha obtenido coinciden casi enteramente con las ideas que han ocupado mi

espritu desde hace 30 35 aos. No tengo la intencin de publicar estas

meditaciones durante mi vida, pero haba decidido escribirlas para que

pudieran conservarse. Es, en consecuencia una sorpresa agradable para

m el poder ahorrarme ese trabajo, y me llena de alegra el pensamiento

de que es precisamente el hijo de mi amigo de siempre, el que me ha

suplantado de forma tan notable.

Nikolai Lobachevski naci el 1 de diciembre de 1792 en Nizhi Novgorod, en una modesta familia. Cuando

Lobachevski cumpli los 10 aos, su madre lo llev junto a sus dos hermanos a la ciudad de Kazan para

que estudiaran (educacin media). Desde un comienzo se distingui por sus capacidades y aplicacin, en 1807

ingreso a la Universidad de Kazan. Donde se gradu en 1811. Inmediatamente se convirti en instructor de esta,

siendo promovido a profesor rpidamente. Una copia de sus notas de clase de 1815, revelan que ya por aquella

poca estaba tratando de probar el quinto postulado de Euclides. En 1823, Lobachevski termin un texto de

geometra, el cual no fue publicado, en este se presentaba sus estudios sobre el quinto postulado, uno de los

resultados ms interesantes era el hecho de que el quinto postulado no se poda demostrar matemticamente.

Durante 1826, en una conferencia sobre matemticas y fsica ofrecida en la universidad de Kazan, Lobachevski

sugiere la existencia de una nueva geometra, basada en el hecho de que por un punto fuera de una recta pasan

ms de una recta paralela. En 1829 public unas memorias, sobre las bases de la geometra, en donde expuso

totalmente su teora referente a las paralelas. Esta publicacin fue la primera sobre la geometra no euclidiana,

lamentablemente su publicacin y expansin para el resto del mundo fue muy lenta o casi nula, debido a que

el texto de Lobachevski se encontraba escrito en ruso.

Lobachevski estaba convencido de que la nica persona en el mundo que podra emitir un concepto nal sobre

su trabajo en geometra era la gura cientca ms importante de ese tiempo: Gauss, con este n decidi

enviarle una versin de su libro Investigaciones geomtricas acerca de las lneas paralelas, hay que hacer nfasis

que dicho texto es una versin completa de la teora de Lobachevski. Lamentablemente como sucedi en el

caso de Jnos Bolyai, Gauss no realiz ningn comentario pblico que tuviera que ver con el trabajo de

Lobachevski en la geometra. En la biblioteca de Gauss se encontraron dos ejemplares del texto, se presume

que uno lo adquiri directamente Gauss y el otro lo recibi del mismo Lobachevski.

Los trabajos de Bolyai y Lobachevski no recibieron el reconocimiento cuando fueron publicados, a pesar de

24
que representaban el resultado de siglos de investigacin en el mundo matemtico.

A pesar de las dicultades e impedimentos, a partir de la publicacin de la correspondencia de Gauss, nueve

aos despus de la muerte de Lobachevski, e impulsados por eventos como: La primera traduccin a Francs de

Geometrischen Untersuchungen zur Theorie der parallellinien publicada en 1866, la del apndice al ao siguiente
y la famosa conferencia de Riemann de 1854 que fue dada a conocer en 1868 Sobre las hiptesis en que se

apoyan los fundamentos de la geometra, se di inicio a una poca de evolucin no solo en las matemticas

sino en la ciencia.

2.2. El modelo del semiplano superior.

Sea H E2 una lnea horizontal, entonces H determina dos semiplanos en E2 : un semiplano superior y un

semiplano inferior. Denotaremos por H al semiplano superior y lo usaremos como nuestro modelo para la

geometra hiperblica bidimencional, el llamado semiplano superior de Poincar. Si aadimos a la lnea H el

punto al innito obtenemos la llamada frontera ideal H del semiplano superior; esto es, H = H {}.
Los h-puntos en este modelo son los puntos de H sin incluir la frontera.

2.2.1. Las lneas hiperblicas en H.

Uno de los objetos geomtricos de gran importancia en la geometra hiperblica es la lnea hiperblica. Por

el momento no tenemos la denicin de la mtrica que nos permita vericar cuando la distancia entre dos

puntos es la ms corta; por ahora solo daremos la denicin, y ms adelante veremos la justicacin de por

qu efectivamente esta nocin juega un papel anlogo a las lneas rectas de la geometra euclidiana y por lo

tanto son las lneas hiperblicas.

Denicin 2.1 Una lnea hiperblica es el arco de una circunferencia con centro en un punto O H
contenida en H que es ortogonal a H 1 .
1 Todo rayo perpendicular a H contenida en H es tambin una lnea hiperblica.

25
 b
H c a

Figura 2.1: Lneas.

La denicin de las lneas nos permite dar tambin la caracterizacin de las lneas paralelas. En la geometra

hiperblica se distinguen dos tipos de lneas paralelas: aquellas que se intersecan en el punto al innito (las

lneas b y c), o como aquellas que no se intersecan (las lneas a y c).

Denicin 2.2 La reexin euclidiana con respecto de esas circunferencias deja invariante al semiplano

superior, lo cual nos permite considerar a la restriccin de esta transformacin a H como una reexin en el

plano hiperblico.

En el resto de este captulo cuando hagamos uso de una reexin, nos estaremos reriendo a reexiones con

respecto de lneas como las que acabamos de denir.

H
L
P0

P
H
O

Figura 2.2: Reexin en H con respecto a L.

Para construir la geometra hiperblica nicamente contamos con instrumentos eucldeos, con lo cual resulta

interesante saber cmo construir con ellos el anlogo de algunos de los objetos geomtricos eucldeos bsicos,

pero ahora en la geometra hiperblica bidimensional.

Para poder realizar algunas construcciones es importante saber si por cada punto del plano hiperblico es

posible trazar una lnea, asi como si se puede trazar una lnea por cualesquiera dos puntos dados. Para ello,

tomamos un punto P H, y luego tomamos un punto O H y construimos una circunferencia con centro

O y radio OP . La interseccin de esta circunferencia con H es un arco de circunferencia, el cual determina

una lnea hiperblica que pasa por P.

26
Denicin 2.3 Dado un punto cualquiera en H o en H , a la familia de lneas hiperblicas que pasan por

ese punto se le llama haz de lneas con vrtice en el punto dado.

H
P

P H

Figura 2.3: Haces de lneas.

Es importante notar que por la forma en que se construyen las lneas hiperblicas, todo haz de lneas con

vrtice en un punto cualquiera son los arcos de circunferencias en H determinados por una familia coaxial

secante si P H o una familia coaxial tangente si P H .

Ahora construiremos la lnea hiperblica que pasa por dos puntos dados. Sean P y Q dos puntos en H, y sea

P0 el reejado de P con respecto de H , se tiene que H es la mediatriz del segmento P P 0 , luego construimos
la mediatriz del segmento PQ la cual interseca a H en O. Construimos la circunferencia con centro O que

pasa por P, la cual tambin pasa por Q. La interseccin de esta circunferencia con H es la lnea hiperblica

que pasa por P y Q.

H
O

P0

Figura 2.4: Lnea que pasa por P y Q.

2.2.2. Mediatriz de un segmento hiperblico en H.

Sean P y Q dos puntos dados en H. Trazamos la lnea hiperblica l que pasa por P y Q, la cual es un arco

de circunferencia ortogonal a H . Luego, el segmento hiperblico PQ es la parte de l comprendida entre P y

27
Q. Trazamos la recta que pasa por P y Q, la cual intersecta a H en O. Desde O trazamos la tangente a l y

llamemos R el punto de tangencia. La lnea hiperblica m (arco de circunferencia con centro en O y radio OR)
es la mediatriz hiperblica del segmento hiperblico P Q, ya que, m es perpendicular al segmento hiperblico

PQ y, adems, P y Q son inversos con respecto a m y R es el punto medio del segmento hiperblico P Q2 .

P
R
m
l Q

Figura 2.5: m es la h-mediatriz del segmento hiperblico P Q.

2.2.3. Perpendicular a una lnea hiperblica por un punto dado en H.

Sea l una lnea hiperblica y P un punto en H que no est en l. Queremos trazar la perpendicular a l que

pasa por P . Como la lnea l es un arco de circunferencia ortogonal a H , podemos encontrar el reejo P 0 de P
con respecto de la circunferencia que determina a l . Trazamos la lnea hiperblica que une a P y P 0 , para ello
trazamos la mediatriz del segmento PP0 la cual intersecta a H en O. Tomamos la circunferencia con centro

en O que pasa por P. La interseccin de esta circunferencia con H es la lnea hiperblica que buscamos.

P0
O

Figura 2.6: Perpendicular a l desde P.

2.2.4. Centro hiperblico de una circunferencia en H.

Cuando una circunferencia C est contenida en H la llamaremos circunferencia hiperblica.
Dada una circunferencia C en H nos interesa encontrar su centro hiperblico.

2 Cuando denamos la mtrica se demostrar por qu R es el punto medio del segmento hiperblico P Q.

28
Para encontrar el centro hiperblico de C comenzamos contruyendo dos lneas hiperblicas ortogonales a C . Si
P y Q son cualesquiera dos puntos sobre C . Por P y Q trazamos tangentes a C , las cuales cortan a la frontera
ideal en O1 y O2 respectivamente. Luego, trazamos las circunferencias con centro en O1 y O2 y radios O1 P
y O2 Q respectivamente, ver gura 2.7(a). Ambas circunferencias as contruidas contienen a dos segmentos

hiperblicos ortogonales a C que se intersecan en un punto O. Al construir una tercera circunferencia ortogonal
a C , podemos ver que esta circunferencia tambin pasa por O3 . Al hacer este proceso varias veces podemos ver
que dichas circunferencias que contienen a las lneas hiperblicas ortogonales a C forman parte de una familia

de circunferencias coaxiales secante F (cuyos puntos jos son O y otro punto fuera del modelo) en donde la

frontera ideal es la lnea de los centros de la familia. Como todas las circunferencias de F son ortogonales a

C, C forma parte de la familia de circunferencias ajenas ortogonales a F.

P C C

Q
O O

O1 O2

(a) Lneas ortogonales a C . (b) C es ortogonal a todas las lneas que pasan por
P.

Figura 2.7: Construccin de una circunferencia con centro hiperblico en P.

Observemos que C es invariante bajo la reexin con respecto de cada uno de los elementos de F.
Si trazamos la lnea que pasa por P y Q, esta corta a H en O . Los puntos P y Q son reejados con respecto
de la lnea hiperblica L (que est contenida en la circunferencia con centro O que pasa por O). Si la lnea

que pasa por P y Q es paralela a H , entonces los puntos son reejados respecto a la lnea hiperblica vertical
que pasa por O.
Como el punto O queda jo bajo la reexin con respecto de L, se sigue que el segmento hiperblico PO es

igual al segmento hiperblico OQ. Lo anterior se cumple para cualquier segmento hiperblico en el interior

de C que pasa por O. Se concluye que O es el centro hiperblico de C.

3 Notar que el centro de C est en el eje radical de las primeras dos circunferencias ortogonales a C .

29
 L
P

O Q

Figura 2.8: Circunferencia hiperblica C con h centro en P.

Observacin 2.1 El centro hiperblico de C no coincide con su centro eucldeo; sin embargo, se comporta

de la misma forma, pues los segmentos de circunferencias que pasan por P y que quedan en el interior

de C cumplen exactamente con lo que cumplen los dimetros en una circunferencia: son ortogonales a la

circunferencia, pasan por el centro y todos miden lo mismo.

2.2.5. Tringulos hiperblicos en H.

Al igual que en la geometra euclidiana, dados tres puntos en H, llamaremos tringulo hiperblico a la unin de
los tres segmentos hiperblicos de las lnea hiperblica que unen dichos puntos. Extenderemos esta denicin

permitiendo que los vrtices del tringulo pertenezcan a H .

Figura 2.9: Tringulos hiperblicos en H.

Por ngulo entre dos lneas hiperblicas entenderemos el ngulo que forman las tangentes a cada una de ellas

en el punto de interseccin.

Observacin 2.2 Si los tres vrtices de un tringulo estn en H la suma de los ngulos internos es 0.

Si consideramos una recta l y un punto P exterior a ella y trazamos una recta k paralela a l por P y una

perpendicular p a l por P; resulta un tringulo con ngulos 0, /2 y . El ngulo se llama ngulo del
paralelismo.

30
 k
l
k
l
p
p P

Figura 2.10: ngulos del paralelismo en H.

En la geometra euclidiana el ngulo mide /2, pero este no es el caso en la geometra hiperblica.

Teorema 2.1 La suma de los ngulos internos de un tringulo hiperblico es menor que 2 .

Demostracin: Sea 4ABC un tringulo hiperblico cualquiera en H. Necesitamos colocar el tringulo

hiperblico en una posicin ms sencilla desde el punto de vista eucldeo, esto es, por medio de reexiones

podemos llevar cualquier tringulo, a un tringulo congruente con el tringulo dado pero colocado en una

posicin ms sencilla.

Sea c la lnea hiperblica que contiene al segmento hiperblico AB y sean U y V los puntos de interseccin

de c con H . Al reejar el tringulo 4ABC con respecto a la circunferencia con centro en V y radio V U,
obtenemos el 4A0 B 0 C 0 en donde el segmento hiperblico A0 B 0 est en la lnea hiperblica vertical por U a

H , ver gura 2.11(a).

B0 B0

C0
C0

A0 C
A A0

B a
c b
H
U V

(a) Tringulo hiperblico en posicin especial en H. (b) ngulos en el tringulo hiperblico.

Figura 2.11: Tringulo hiperblico

En el tringulo hiperblico 4A0 B 0 C 0 tenemos que probar que

+ + + 2 < 180 . (2.1)

31
Para ello, construimos las circunferencias que continen a los h-lados A0 C 0 y B0C 0 del 4A0 B 0 C 0 . Estas circun-

ferencias cortan a la lnea A0 C 0 en los puntos P y Q, ver gura 2.12. Por propiedad de ngulos inscritos y

semi-inscritos en una circunferencia, tenemos que

]A0 IC 0 = y ]B 0 HC 0 =

Como B 0 , A0 , I y H est alineados ]A0 IC 0 = ]B 0 HC 0 + ]IC 0 H , es decir, = + ]IC 0 H . Esto implica que

< . Entonces, + + + 2 < + + + 2 . Pero, en el tringulo 4A0 B 0 C 0 euclidiano, tenemos que

+ + + 2 = 180 .

Por lo que

+ + + 2 < 180 . 

B0

C0

A0

Figura 2.12: ngulos en un tringulo hiperblico.

32
2.3. El modelo del disco de Poincar.
En esta seccin seguimos de cerca [CG2] en cuanto a la descripcin del modelo y a las contrucciones de los

objetos geomtricos en el mismo.

Tomemos una circunferencia S en el plano euclidiano E2 con centro en un punto jo O en el plano y radio

r. De acuerdo con el teorema de la curva de Jordan, esta circunferencia divide al plano en dos regiones: la

regin interior y la regin exterior.

Denotemos por D E2 al interior de S , el cual es el disco unitario con centro en O E2 ; con lo cual,

S es la frontera del disco D. Usaremos a D como uno de nuestros modelos para la geometra hiperblica

bidimensional, el llamado disco de Poincar. A la frontera S la llamaremos frontera ideal de D. Los puntos de
la geometra hiperblica en este modelo son los puntos del disco D.

Figura 2.13: El disco de Poincar.

2.3.1. Las lneas hiperblicas en D.

Denicin 2.4 Una lnea hiperblica es el arco de una circunferencia ortogonal a S contenida en D4 .

b
D
a c

Figura 2.14: Lneas hiperblicas.

4 Todo dimetro de D es tambin una lnea hiperblica.

33
Para poder realizar algunas construcciones en este modelo es importante saber si por cada punto de D es

posible trazar una lnea, as como si se puede trazar una lnea por cualesquiera dos puntos dados. Para ello,

tomamos un punto P D y consideremos la reexin con respecto a la circunferencia S . Denotemos por P0

al reejado de P respecto de S . Luego, trazamos la mediatriz del segmento P P 0.
Si jamos un punto O0 sobre esta mediatriz y trazamos la circunferencia con centro en O0 que pase por P y

P 0, esta circunferencia es ortogonal a S por la propiedad 2 del captulo I.

La interseccin de esta circunferencia con D es un arco de circunferencia, el cual determina una lnea hiperb-
lica que pasa por P , ver gura 2.15. De acuerdo con lo anterior, cada punto sobre la mediatriz determina una
lnea hiperblica que pasa por el punto dado P, con lo cual concluimos que es posible trazar una cantidad

innita de lneas hiperblicas por cada punto del disco D.

P P0

O0

Figura 2.15: Lnea hiperblica que pasa por P.

Denicin 2.5 Dado un punto cualquiera en D o en la frontera ideal de D a la familia de lneas que pasa

por ese punto se le llama haz de lneas con vrtice en el punto dado.

(a) Haz de lneas con vrtice P . (b) Familias coaxiales.

Figura 2.16: Haces de lneas hiperblicas que pasan por un punto dado.

Notar que por la forma en que construimos las lneas, todo haz de lneas con vrtice en un punto cualquiera

34
son arcos de circunferencias en D determinados por una familia coaxial secante o tangente; dependiendo si el

vrtice del haz est en D o en S .

Ahora construiremos la lnea que pasa por dos puntos dados. Sean P y Q dos puntos en el disco D y denotemos
por P0 el reejado de P con respecto de S . Tracemos las mediatrices de los segmentos PP0 y P Q. El punto

de interseccin de ambas mediatrices es el centro de la circunferencia ortogonal a D que pasa por P y Q. La

interseccin de esta circunferencia con D es la lnea que pasa por P y Q, ver gura 2.17(a).

P0
RQ O0
P P
Q Q0
D

(a) Lnea que pasa por P y Q. (b) Mediatriz del segmento P Q.

Figura 2.17: Lneas hiperblicas.

2.3.2. Mediatriz de un segmento hiperblico en D.

Sean P y Q dos puntos dados en D. Trazamos la lnea hiperblica l que pasa por P y Q, la cual es un arco

de circunferencia ortogonal a S . Este arco interseca a S en dos puntos. Trazamos el eje radical de ambas

circunferencias. Sea O0 la interseccin del eje radical con la lnea que pasa por P y Q. Sea T el punto de

tangencia de la recta tangente a S que pasa por O0 , ver gura 2.17(b).

El segmento hiperblico PQ es la parte de l comprendida entre P y Q. Si trazamos la circunferencia con

centro O0 y radio el segmento O0 T , vemos que esta circunferencia es ortogonal a S y el arco que determina

con D es la mediatriz hiperblica del segmento hiperblico P Q. Notar que P y Q son puntos reejados con

respecto de esta circunferencia y que R es punto medio del segmento hiperblico P Q.

2.3.3. Perpendicular a una lnea hiperblica por un punto dado en D.

Sea l una lnea hiperblica y P un punto en D que no est en l. Queremos trazar la perpendicular a l que pase

por P. Sea P0 y P 00 los reejados de P con respecto a l y a D respectivamente. Trazamos la circunferencia

35
que pasa por P, P0 y P 00 , la interseccin de esta circunferencia con D es la lnea hiperblica perpendicular a

l que pasa por P.

P 00 D

l
P0

Figura 2.18: Perpendicular a l por P.

2.3.4. Centro hiperblico de una circunferencia en D.

La siguiente construccin geomtrica nos permite determinar el centro hiperblico de una circunferencia dada.

Sea C una circunferencia totalmente contenida en D. La circunferencia C y S forman parte de una familia

coaxial G de circunferencias que no se intersecan, por lo que podemos trazar su eje radical.

Sea O0 el punto de interseccin de la lnea z de los centros y el eje radical. Sea T el punto de interseccin de

la tangente desde O0 a S , ver gura 2.19 . Trazamos la circunferencia con centro en O0 y radio el segmento

O0 T que forma parte de la familia coaxial F que es ortogonal a G, y el punto Q donde corte a z ser el centro
hiperblico de la circunferencia dada, ya que los miembros de F se cortan en los puntos Q y otro punto exterior
a S que son los nicos puntos lmites de la familia G. Todos los miembros de la familia F determinan lneas

en D que pasan por Q y que intersecan de manera ortogonal a C, lo que implica que son dimetros. Como Q
es el nico punto en el interior de C que satisface esta propiedad, se concluye que Q es el centro hiperblico

de C.

36
 Eje radical de C y D
D

O0
C
Q

O T

Figura 2.19: Q es el centro hiperblico de la circunferencia C.

2.3.5. Tringulos hiperblicos en D.

Dados tres puntos en D, llamaremos tringulo hiperblico a la unin de los tres segmento hiperblicos de las

lneas hiperblicas que unen dichos puntos. Al igual que en la seccin anterior, extenderemos esta denicin

permitiendo que los vrtices del tringulo pertenezcan a S .

Figura 2.20: Tringulos hiperblicos en D.

37
2.4. El modelo de Beltrami-Klein.
El modelo Beltrami-Klein, representa el plano hiperblico como un disco abierto BK . los puntos de BK son los

puntos para el modelo de Klein. Los puntos en la frontera de BK se llaman puntos ideales o puntos nales.

Los puntos ideales no son puntos del plano hiperblico. Una vez que se introduce la distancia hiperblica, los

puntos en la frontera resultan estar innitamente lejos. A la frontera de BK se le llama circunferencia al innito
y la denotamos por S . Las lneas para el modelo de Beltrami-Klein son cuerdas euclidianas (segmentos

abiertos) cuyos extremos estn en S . Visto de esta manera, por cada par de puntos en BK pasa una nica

lnea recta.

BK

Figura 2.21: Modelo de Beltrami-Klein para la geometra hiperblica.

El modelo de Poincar y Klein diere, porque las lneas se representan de manera diferente y, lo que es

ms importante, las isometras hiperblicas son dadas por diferentes tipos de asignaciones. En el modelo de

Poincar, las reexiones hiperblicas se realizan como inversiones por crculos. En el modelo de Beltrami-

Klein, las reexiones hiperblicas se realizan de manera muy diferente. De hecho, las reexiones hiperblicas

son asignaciones proyectivas, que dejan a S invariante.

BK
l

Figura 2.22: Rectas en el modelo de Beltrami-Klein.

38
Al igual que en los modelos descritos anteriormente, en este modelo tenemos dos tipos de rectas paralelas. En

la gura 2.22, las lneas hiperblicas l y n no son paralelas debido a que se intersectan. Las h-rectas n y m
son llamadas asintticamente paralelas o simplemente paralelas, debido a que se intersectan en S , la cual por
construccin no est includa en el modelo. Las lneas hiperblicas l y m reciben el nombre de divergentemente
paralelas o ultraparalelas, debido a que su interseccin est por fuera del disco BK y de su frontera.

Tenemos entonces, tres tipos de haces de lneas en el plano hiperblico: los concurrentes, los paralelos y los

ultraparalelos que consisten en tomar las lneas hiperblicas de haces proyectivos concurrentes; lo que los

distingue es en dnde queda el punto de concurrencia.

BK BK BK

Figura 2.23: Haces de rectas en el modelo de Beltrami-Klein.

La siguiente denicion es de mucha importancia, debido a que muy til para construir objetos geomtricos

en este modelo.

Denicin 2.6 El polo de una lnea l es el punto de interseccin de las tangentes a S en sus extremos

ideales.

P (l)

R
S

Figura 2.24: Construccin del polo P (l) de una lnea l en el modelo de Beltrami-Klein.

39
Para identicar cuando dos lineas hiperblicas son perpendiculares en el modelo de Beltrami-Klein, tenemos

la siguiente proposicion

Proposicin 2.1 En el modelo de Beltrami-Klein, dos lineas hiper l y p se intersecan perpendicularmente,

si y solo si P (l) est en la extension de la otra linea p.

S D

l
P (l)
O

Figura 2.25: Dos lineas perpendiculares l y p.

40
2.5. La mtrica hiperblica en D.
En esta seccin vamos a denir la mtrica hiperblica para dos puntos cualesquiera en D analizando primero

la distancia entre dos puntos sobre una lnea hiperblica que pasa por el centro de S haciendo uso de la

reexin. Tambin daremos una denicin de distancia que no requiere de reexin; usaremos la razn doble

cruzada la cual se describi en el captulo anterior.

Para denir esta distancia trabajaremos en el modelo del disco de Poincar D, y posteriormente demostraremos
que la distancia entre los modelos es la misma si transformamos uno en el otro; dichas transformaciones se

vern en la siguiente seccin.

Una hiptesis importante que vamos a considerar es que la mtrica hiperblica que queremos denir se

conserva bajo reexiones.

2.5.1. Distancia entre dos puntos sobre una lnea hiperblica que pasa por el
centro de S.
Deniremos primero la distancia entre dos puntos sobre la lnea hiperblica vertical L, posteriormente exten-

deremos esta denicin para cualesqueira dos puntos en el disco de Poincar.

Sea P un punto en D y C una circunferencia con centro hiperblico en P.

O P
P
C
S S

(a) (b)

Figura 2.26: Mtrica en el modelo del disco de Poincar D.

Por la Seccin 1.3.4 del Captulo I, tenemos que a C y S las podemos poner concntricas5 (ver gura 2.26(b)).
Sea L la lnea hiperblica vertical que pasa por P. Denotemos por N y S a los puntos de la interseccin de

L con S y sean A y B los puntos de interseccin de C con L (ver gura 2.27).

5 Observar que para toda circunferencia concntrica con S , su centro hiperblico coincide con su centro euclidiano.

41
Como P es el centro hiperblico de C , se sigue que P es el punto medio del segmento hiperblico AB . Adems,
A y B son reejados con respecto a la lnea hiperblica horizontal l que pasa por P.

A
1

r
P
C l

Figura 2.27: Distancia entre dos puntos en L.

Ahora, si reejamos a la circunferencia C con respecto a la lnea hiperblica m que es tangente a C en A como
en la gura 2.28. Obtenemos que la circunferencia C se reeja en otra circunferencia C0 y el reejado de P es

el punto P 0. Como la mtrica que vamos a denir se conserva bajo reexin, se cumple que P 0 A = P A, con

lo que P0 es el centro hiperblico de C 0.

Si el punto B se reeja con respecto a m en B0, como PA = PB y, la mtrica se conserva bajo reexin,

tambin se cumple que: P 0B0 = P 0A = P A = P B.

42
 W

B0
C0 P0
A m

P C l
B

L
S

Figura 2.28: 1eexin de C.

Si reejamos a la circunferencia C con respecto de la lnea hiperblica n que es tangente a C en B, C se reeja

en otra circunferencia con centro P 00 que es el reejado de P y el punto A se reeja en A0 , ya que la mtrica

se conserva bajo reexin, tenemos que: P 00 B = P 00 A0 = P B.

N
L

P l
C
B n
P 00
A0 S

Figura 2.29: La distancia hiperblica se conserva bajo la reexin.

Supongamos, sin perdida de generalidad que el radio de S es igual a 1 y que el radio de C es r.

Sea H la circunferencia que contiene a m y sea Q el inverso de A con respecto a S , entonces P Q P A = 1,

43
 1
1 P QP A r 1r2
esto es, PQ = r
. Si W es el centro de H, entonces WA = 2
= r
2
= 2r
.

Por propiedades de la reexiones, el punto P0 es el reejado de P con respecto a H. Esto implica que

1r2 1+r2
W P W P 0 = (W A)2 , pero WP = WA + PA = 2r
+r = 2r
.

 2
2
1r
0 2r (1 r2 )2
WP = 1+r2
=
2r
2r(1 + r2 )

Luego,
1 r2 (1 r2 )2 r(1 r2 )
AP 0 = W A W P 0 = = .
2r 2r(1 + r2 ) 1 + r2
As

0 r(1 r2 ) 0 2r
P P = P A + AP = r + 2
=
1+r 1 + r2
Por lo tanto, la distancia euclidiana de N a P0 es

2r (1 r)2
NP 0 = NP P P 0 = 1 = . (2.2)
1 + r2 1 + r2
Como A y B son reejados respecto de l (gura 2.28), se tiene que

NA = 1 r y N B = 1 + r. (2.3)

Anlogamente, la distancia euclidiana de S a P0 es

2r (1 + r)2
SP 0 = SP + P P 0 = 1 + = . (2.4)
1 + r2 1 + r2
De la misma manera,

SA = 1 + r y SB = 1 r. (2.5)

Ahora, como B0 es el reejo de B con respecto a H. Esto implica que W B W B 0 = (W A)2 , pero WB =
1r2 1+3r2
W A + AB = 2r
+ 2r = 2r
.
 2
1r2
2r (1 r2 )2
W B0 = 1+3r2
= .
2r
2r(1 + 3r2 )
Luego,
1 r2 (1 r2 )2 2r(1 r2 )
AB 0 = W A W B 0 = = .
2r 2r(1 + 3r2 ) 1 + 3r2
De aqu que
2r(1 r2 ) (1 r)3
N B 0 = N P P A AB 0 = 1 r = (2.6)
1 + 3r2 1 + 3r2
De manera anloga
2r(1 r2 ) (1 + r)3
SB 0 = SA + AB 0 = (1 + r) + = . (2.7)
1 + 3r2 1 + 3r2
De esta forma hemos obtenidos las distancias euclidianas de los punto A, P 0 y B0 a los puntos N y S que son

los punto de interseccin de S y L. De la misma forma podemos obtener las distancias euclidianas de B , P 00

44
y A0 a N y S.
Ahora, damos la relacin de los puntos en la lnea hiperblica L con respecto a N y S de tal manera que se

tiene la siguiente correspondencia entre los puntos:

Para el punto N Para el punto S

(1 r)3
B 0 (1 + r)3
1 + 3r2 B 0
1 + 3r2
(1 r)2 (1 + r)2
P 0 P 0
1 + r2
1 + r2
A 1 r
A 1 + r
P 1
P 1
B 1 + r B 1 r
2
(1 + r)
P 00 (1 r)2
1 + r2 P 00
1 + r2
(1 + r)3
0
A (1 r)3
1 + 3r2 A0
1 + 3r2

De la forma como estn los datos anteriores no se puede visualizar una relacin entre los puntos en cada una

2(1r)
de las columnas. Si hacemos k= 1+r
se tiene

Para el punto N Para el punto S

k3
 
k 3
 
B 0 2 0
23 + k 3 B 2 3
2 + k 3
k2
 
k 2
0
 
P 2 2 0
2 + k2 P 2 2
  2 + k 2
k
k 1
 
A 2
2+k A 2 1
2 + k 1
k0
 
k0
 
P 2 0
2 + k0 P 2 0
2 + k0
k 1
 
 
B 2 1 k
2 + k 1 B 2
2+k
k 2
 
k2
00
 
P 2 2 00
2 + k 2 P 2 2
2 + k2
k 3
 
k3
0
 
A 2 3 0
2 + k 3 A 2 3
2 + k3

Queremos denir una distancia en D; es decir, una funcin

d : D D [0, )

que satisfaga las siguientes condiciones:

45
a) d (P, Q) 0 y d (P, Q) = 0 P = Q.

b) d (P, Q) = d (Q, P ) .

c) d (P, Q) d (P, R) + d (R, Q) , y d (P, Q) = d (P, R) + d (R, Q) para puntos colineales.

Queremos saber cmo denir la distancia entre dos puntos cualesquiera en el modelo del disco de Poincar y

hasta el momento lo que sabemos es la relacin que estos puntos tienen sobre una lnea vertical con respecto

a los puntos de interseccin de L y S . Al repetir el proceso de reejar circunferencias hacia arriba y hacia

abajo tantas veces como queramos, queremos que la distancia entre dos puntos consecutivos sea la misma

y tambin que se cumplan las tres propiedades que acabamos de mencionar y que denen a una distancia.

Notar que la distancia euclidiana a S o a N no funciona ya que:

(1 r)2
1 (1 r) 6= (1 r)
1 + r2

Consideremos entonces los cociente de las distancias euclidianas de los puntos a N y a S. Denimos las

posibles distancias como

 
kq kp
2


NQ 2 2q +kq SP 2p +kp
dN (P, Q) = = kp

y dS (P, Q) = = kq

.
NP 2 2p +kp
SQ 2 2q +kq

Pero con estas distancias, la distancia entre dos puntos consecutivos no es la misma.

Ahora, si consideramos producto de dN y dS como posible distancia, tenemos

   
NQ SP
d(P, Q) = dN (P, Q) dS (P, Q) =
NP SQ

As  
kq

kp  pq
2q +kq 2p +kp 2
d(P, Q) = kp

kq

= .
2p +kp 2q +kq
k
Con esta denicin, d siempre es positiva, se vericar que para dos puntos consecutivos la distancia es la

misma.

Si X y Y dos puntos consecutivos en L, entonces

 (q+1)q
2 2
d(X, Y ) = = .
k k

Lo que implica que para dos puntos consecutivos la distancia es la misma.

Ahora, vericaremos si d satisface las tres propiedades que mencionamos anteriormente.

No se cumple que es igual a cero si y slo los dos puntos son los mismos, puesto que:

 pp
2
d(P, P ) = = 1.
k

46
La segunda propiedad tampoco la cumple ya que

 pq  qp
2 2
d(P, Q) = 6= = d(Q, P ).
k k

Finalmente observemos que tampoco se cumple que la distancia sea aditiva para puntos colineales; es decir,

no se cumple que d(P, R) = d(P, Q) + d(Q, R). Si p > q > r, entonces

 pq  qr  pr

2 2 2
d(P, Q) = , d(Q, R) = y d(P, R) =
k k k

pero
 pq  qr  pr
2 2 2
+ 6= ,
k k k
lo que implica que la distancia as denida no es aditiva para puntos colineales. Sin embargo observemos que

el producto satisface que

 pq  qr  pr
2 2 2
=
k k k
Esto es, en la expresin anterior, los exponentes si son aditivos. Esto sugiere que, si queremos que la distancia

sea aditiva, podemos tomar el logaritmo natural. Tambin tenemos que tomar el valor absoluto para que se

cumpla que d (P, Q) = d (Q, P ).

Denimos a d como   pq !
 2
d(P, Q) = log .
 
 k 
Se tiene que d as denida cumple con las tres propiedades de la distancia, pero no podemos comprobar la

desigualdad del tringulo para puntos que no son colineales pues nuestra denicin es para puntos sobre una

lnea hiperblica que pasa por el centro de S .

Denicin 2.7 La distancia hiperblica entre dos puntos sobre una lnea que pasa por el centro de S est

dada por   pq !

 2
d(P, Q) = log .
 
 k 

Es importante notar que la distancia de cualquier punto a la circunferencia S es innita. Al hacer tender P
a N, se tiene que p , as en la denicin de distancia, tenemos:
  pq !
 2
lm log  = .
 
p  k 

Geomtricamente construiremos la mtrica hiperblica reejando una circunferencia con respecto de lneas

hiperblicas paralelas y bajo la hiptesis de que la reexin conserva distancias. Si repetimos este proceso

para acercarnos a la frontera ideal S , cada vez nos acercamos ms lentamente a S , y podemos repetir el

proceso de reexin una innidad de veces sin llegar a S .

47
 L

Figura 2.30: La mtrica hiperblica en L.

2.5.2. Distancia entre dos puntos cualesquiera en D.

Habiendo denido la distancia entre dos puntos sobre la lnea hiperblica vertical L, estamos en condiciones

de generalizar esta denicin para cualesquiera dos puntos en D.

Sean P y Q cualesquiera dos puntos en D y tracemos la lnea hiperblica L que pasa por P y Q. Sean S y

T los puntos de interseccin de L con S y adems sea Z el otro punto de interseccin de L con la tangente

a S por S. Tracemos la lnea hiperblica m (con centro en Z) y que interseca a S en S, ver gura 2.31.

Denotemos por L0 a la imagen de L bajo la reexin con respecto a m. La lnea L0 es ortogonal a S , pasa

6
por S y las imgenes de P y Q son dos puntos P0 y Q0 sobre esta lnea .

m L0

T Q0
Q L
Z O

P
P0

S
S

Figura 2.31: Distancia entre dos puntos en D.

La distancia entre los puntos P y Q debe ser la misma que la distancia entre sus imgenes P0 y Q0 . Usando

6 Si bien es cierto que L0 no es una lnea hiperblica vertical, pero por medio de una reexin se puede poner en esa posicin.

48
la denicin anterior obtenemos:
  p0 q0 !
 2
d (P, Q) = d (P 0 , Q0 ) = log .
 
 k 

Comprobemos que esta denicin determina efectivamente una distancia; esto es, la funcin d satisface las

propiedades:

a) d (P, Q) 0 y d (P, Q) = 0 P = Q

b) d (P, Q) = d (Q, P )

c) d (P, Q) d (P, 1) + d (1, Q)

Por denicin la primera parte de la propiedad a) se cumple. Por otra parte, si P = Q, entonces P 0 = Q0 , y

por lo tanto d(P, Q) = d(P 0 , Q0 ) = 0. Si d (P, Q) = 0, entonces, d (P 0 , Q0 ) = 0, lo que implica que

 p0 q0 !  p0 q0
2 2
log =0 = 1 p0 q 0 = 0 p0 = q 0
k k

Esto implica que P = Q.

La propiedad b) tambin cierta ya que:

  p0 q0 !
 2
d(P, Q) = d(P 0 , Q0 ) = log
 
k

 
  p0 q0 !
 2
=  log
 
k

 
  (p0 q0 ) 
!
 2
= log
 
k

 
  q0 p0 
!
 2
= log  = d(Q0 , P 0 ) = d(Q, P )
 
 k 

Para demostrar la desigualdad triangular, tomemos otro punto R en D y lo reejamos con respecto a la lnea

hiperblica m; la imagen de R es un punto R0 que no est sobre la lnea hiperblica L0 .

Para calcular la distancia de Q0 a R0 trazamos la circunferencia con centro hiperblico en Q0 que pasa por

R0 y llamamos R00 al punto donde la circunferencia interseca a la lnea L0 que se encuentra entre P0 y Q0 ,
ver gura 2.32. Como R0 y R00 estn sobre la circunferencia con centro hiperblico en Q0 , se sigue que sus

0
distancias al centro son iguales (R Q0 y R00 Q0 son radios).

Anlogamente, para calcular la distancia de P0 a R0 , trazamos la circunferencia con centro hiperblico en P0

que pase por R0 y llamamos R000 al punto de interseccin de esta circunferencia con la lnea L0 que se encuentra

entre P0 y Q0 , ver gura 2.32.

49
 N
m
L0

Q0
T
L
Q R000

R R00
P P0 R0

S
S

Figura 2.32: Desigualdad triangular en D.

Los puntos as construidos, satisfacen:

d(P, R) + d(R, Q) = d(P 0 , R0 ) + d(R0 , Q0 ) = d(P 0 , R000 ) + d(R00 , Q0 ).

Pero,

d(P 0 , R000 ) + d(R00 , Q0 ) = [d(P 0 , R00 ) + d(R00 , R000 )] + [d(R000 , R00 ) + d(R000 , Q0 )]

= [d(P 0 , R00 ) + d(R00 , R000 ) + d(R000 , Q0 )] + d(R000 , R00 )

= d(P 0 , Q0 ) + d(R000 , R00 )

Por lo tanto se cumple:

d(P, R) + d(R, Q) = d(P 0 , Q0 ) + d(R00 , R000 ) d(P 0 , Q0 ) = d(P, Q).

Para saber cundo se cumple la igualdad en la desigualdad triangular, tomemos al punto R sobre la lnea

hiperblica L. La imagen de R bajo la reexin con respecto de m es un punto R0 que est sobre el segmento

hiperblico P 0 Q0 , y por lo tanto se cumple que:

d(P, Q) = d(P, R) + d(R, Q);

es decir, se cumple la igualdad en la desigualdad del triangular. Por lo tanto, la lnea hiperblica pasa por P
y por Q es la trayectoria que realiza el camino ms corto entre estos dos puntos.

50
 N
m
L0

Q0
T
L
Q
R R0

P P0

S
S

Figura 2.33: Igualdad en la desigualdad triangular en D.

Observacin 2.3 Dados dos puntos cualesquiera en el plano hiperblico, la distancia ms corta entre stos

es el segmento de lnea que los une. Debido a esta propiedad, las lneas hiperblicas se denominan geodsicas.

2.5.3. Distancia hiperblica en D.

Hasta este momento hemos denido la distancia para cualesquiera dos puntos en D pero, a pesar de que esta

distancia est bien denida, el procedimiento para medir es complicado pues si queremos saber cul es la

distancia entre dos puntos cualesqueira en D, es necesario primero reejarlos en dos puntos sobre una lnea

hiperblica que pase por el centro de S y luego calcular la distancia hiperblica. Damos ahora una denicin

de distancia que no requiere de la reexin.

Sean P y Q dos puntos en D y sea L la lnea que pasa por P y Q y sean S y T los puntos de interseccin

de L con S . En la seccin anterior reejamos a L con respecto de una lnea hiperblica m que pasa por S
y vimos que la imagen de la lnea L es la lnea hiperblica L0 , la imagen de P y Q son los puntos P0 y Q0 , la

imagen de S es S y la imagen de T es N.

51
 N
m
L0

Q0
T
L
Q

P P0

S
S

Figura 2.34: Distancia entre dos puntos cualesquiera en D.

En el cpitulo anterior se describi la razn cruzada y se demostr que se conserva bajo reexiones, se sigue

que para los puntos S, T , P , Q y sus respectivos reejados:

SP 0 /N P 0 N Q0 SP 0
   
0 0
[S, T, P, Q] = [S, N, P , Q ] = = .
SQ0 /N Q0 NP 0 SQ0
 
0 0 
0 0  
0 0 2 p q  2 p q N Q0
Denimos la distancia de P a Q como log , pero acabamos de demostrar que =

k k NP 0
 0

SP
SQ0
= [S, T, P, Q], por lo que podemos denir la distancia hiperblica como:

d(P, Q) = |log([S, T, P, Q])| ,

donde [S, T, P, Q] es la razon cruzada; notemos que P y Q son puntos en D y S y N son puntos en la frontera

ideal S .
Por tanto, haciendo uso de la razn cruzada hemos denido la distancia hiperblica entre dos puntos cuales-

quiera en el disco de Poincar D.

2.6. Equivalencia entre los modelos.

Una de las ventajas de denir la equivalencia entre los tres modelos de la geometra hiperblica antes estudiados

es que la distancia hiperblica, que se ha denido en la seccin anterior para el modelo del semiplano de

Poincar, nos sirve para los otros dos modelos. La distancia hiperblica se ha denido haciendo uso de la

razn doble generalizada, la cual se conserva bajo inversiones y precisamente la equivalencia entre los modelos

se har haciendo uso de la inversin (Captulo I) para la geometra euclidiana.

52
2.6.1. Equivalencia entre los modelos de Poincar.
Veremos ahora que podemos identicar de una manera muy sencilla al modelo del disco de Poincar D con el

modelo del semiplano superior de Poincar H.

Sea C una circunferencia tangente a H 7 con centro en O (abajo de H ) y radio 1. Denamos la trans-

formacin : E2 E2 como la reexin con respecto a la circunferencia C. Al momento de invertir con

respecto a C tenemos que H se reeja en C1 , la parte superior de H se reeja en la parte interior de C1 .

Ahora, si tomamos a C1 como el modelo del disco de Poincar, se tiene que la imagen de H bajo es D.
Notemos que, las h-lneas b, c , d y e del modelo del semiplano de Poincar se reejan en las h-lneas b0 , c 0 ,
d0 y e0 del modelo del disco de Poincar. Adems, notar que la circunferencia a del modelo del semiplano se

reeja en una circunferencia a0 en el modelo del disco.

b
a

d
c
H
d0

c0 e0
a0 0
b C1
1 C
O

Figura 2.35: El modelo del disco y el modelo del semiplano de Poincar son equivalentes.

Como las h-lneas en el modelo del semiplano superior de Poincar son rayos ortogonales a H contenidos en

H o el arco de una circunferencia con ecentro en un punto O en H contenida en H, es decir, las h-lneas

b , c, d y e son ortogonales a H y como sabemos que las reexiones preservan los ngulos, entonces las

h-lneas b0 , c 0 , d 0 y e0 son ortogonales a C1 , que es el reejo de H . As, esta reexin transforma el modelo del
semiplano superior de Poincar en el modelo del disco de Poincar. Ahora, como las inversiones son involutivas,

entonces, esta misma reexin transforma el modelo del disco C1 en el modelo del semiplano H, por lo que

ambos modelos son equivalentes.

Otra tranformacin que nos permite pasar del modelo del semiplano superior de Poincar al modelo del disco

7H es la frontera ideal del modelo del semiplemo H.

53
de Poincar y viseversa, es la transformacin de cayley8 .

2.6.2. Equivalencia entre el modelo del disco de Pincar y el modelo de Beltrami-

Klein.
Para ver la equivalencia entre estos dos modelos, proyectamos el modelo de Beltrami-Klein en una esfera E
tangente al plano en donde colocaremos los modelos de Poincar y Beltrami-Klein.

Supongamos que BK tiene radio r, que D tiene radio 2r y que ambos modelos estn centrados en el punto

S . Supongamos tambin que la esfera E , en la que proyectaremos el modelo de Beltrami-Klein, es tangente

a en S y que tiene radio r, ver gura.

Figura 2.36: El modelo del disco de Poincar y el modelo de Beltrami-Klein son equivalentes.

Sea g una h-lnea en el modelo de Beltrami-Kein y sea el plano que contiene a g y es ortogonal al plano .
El plano intersecta al hemisferio sur de E en la curva g que es una semicircunferencia y que, adems, es

ortogonal al ecuador de E, llamemosle : E3 E3 a esta tranformacin.

Ahora, denamos la transformacin : E3 E3 como la reexin con respecto a una esfera A, la cual es

tangente a en S con radio 4r9 (la esfera A no aparece en la gura 2.36), la esfera E se reeja en el plano ,
el ecuador de E se reeja en S , que es la frontera de D, y se reeja en una esfera que intersecta a en una

circunferencia g0. Como g y el ecuador de E son curvas ortogonales, entonces S y g0 son curvas ortogonales

en el plano por lo que g0 es una h-lnea en el modelo del disco Poincar.

8 La transformacin de Cayley la podemos encontrar en el libro [5].

9 Notar que la esfera A tiene centro en N .

54
Si denimos la transformacin : E3 E3 como la composicin de y :

:= .

Esto es, la imagen de BK bajo es el modelo del disco de Poincar D. Es importante notar que si invertimos

los pasos anteriores vemos que el modelo del disco de Poincar se transforma en el modelo de Beltrami-Kein.

Por lo tanto, los modelos de Beltrami-Kein y del disco de Pincar son equivalentes.

Observacin 2.4 Los modelos del semiplano superior de Poincar y el modelo de Beltrami-Kein son equiva-

lentes.

La tranformacin que nos permite pasar de H a BK es : E3 E3 donde

:= 1 .

2.7. Trigonometra hiperblica.

En la geometra euclidiana hay relaciones bien conocidas entre los lados y los ngulos de un tringulo rectan-

gulo. Por ejemplo, el teorema de Pitgoras da una relacin entre los tres lados. Aqu estudiaremos los resultados
correspondientes en la geometra hiperblica.

2.7.1. Las funciones hiperblicas.

Una forma de relacionar los ngulos con los lados de un tringulo euclidiano es por medio de las funciones

trigonomtricas seno, coseno y tangente. Ahora vamos a introducir unas nuevas funciones que nos van a

permitir relacionar los ngulos con los lados de un tringulo hiperblico, a las que denominaremos funciones
hiperblicas.
Vamos a denir las funciones hiperblicas en una forma analtica.

Denicin 2.8
et et X t2n+1
senh(t) = =
2 n=0
(2n + 1)!

et + et X t2n
cosh(t) = =
2 n=0
(2n)!
senh(t) e2t 1
tanh(t) = = 2t
cosh(t) e +1
Directamente de la denicin de senh(t) y cosh(t)obtenemos la relacin

cosh2 (t) senh2 (t) = 1 (2.8)

Las otras funciones trigonomtricas que las podemos deducir de la denicin as como tambin las frmulas

de adicin las podemos consultar en el apndice 1.

55
2.7.2. El ngulo del paralelismo.
Consideremos el caso especial de un tringulo rectngulo con un vrtice ideal.
En este caso, los ngulos internos de este tringulo son , 0 y /2 y el nico lado con longitud nita es el que
est entre los vrtices con ngulos internos y /2. El ngulo del paralelismo es un trmino clsico de este

ngulo expresado en trminos de el lado de longitud nita.

Proposicin 2.2 Sea 4 un tringulo hiperblico con ngulos , 0 y /2. Si a denota la longitud del nico

lado nito. Entonces

1
i) sen() = cosh(a)
;

1
ii) cos() = coth(a)
;

1
iii) tan() = senh(a)
.

Demostracin: Las tres formulas para se pueden demostrar facilmente. Nosotros necesitamos slo la

prueba del literal ii).

D A
a
B

U O A B V

Figura 2.37: Distancia del segmento AB .

De la denicin de distancia hiperblica, tenemos que:

     
 U A/AV   BV U A 
a = d(A, B) = |ln{ABU V }| = ln  = ln 
U B/BV   U B AV 
como, en la gura 2.37 tenemos que

p p p
BV = r 2(1 cos()), UA = r 2(1 + cos()), AV = r 2(1 cos())
p
y UB = r 2(1 + cos())

donde = ]BOV y = ]AOV . Esto implica que

    
1 (1 cos())(1 + cos())  1 (1 + cos())(1 cos())
a =  ln  = ln
2 (1 + cos())(1 cos())  2 (1 cos())(1 + cos())

56
por lo que
(1 + cos())(1 cos())
e2a =
(1 cos())(1 + cos())
y por la formula de tanh(t) tenemos que

e2a 1 cos() cos()

tanh(AB) = = (2.9)
e2a + 1 1 cos() cos()

en particular, si = /2, entonces A=D y tendramos que es el ngulo del paralelismo y

tanh(a) = cos() 

2.7.3. Tringulo rectngulo con ngulos , /2 y .

Ahora, como se quiere encontrar la relacin entre los lados y los ngulos de un tringulo rectngulo, necesita-

mos colocar el tringulo en una posicin ms sencilla desde el punto de vista eucldeo, esto es, dado cualquier

tringulo (en particular rectngulo) lo podemos llevar, por medio de reexiones, a un tringulo congruente

dado pero colocado en una posicin ms sencilla.

A0

g0
h

g C0
A
0
C B B
W U V

Figura 2.38: El tringulo 4A0 B 0 C 0 est colocado en una posicin especial.

Dado un tringulo 4ABC con ngulo recta en C, ver gura 2.38. Sean U y V los puntos lmite del segmento

AB y sea h la h-lnea con punto lmite W y V donde W U = UV (en sentido eucldeo). Ahora, si invertimos

con respecto a la circunferencia h, la circunferencia g, se invierte en el e-rayo g0 y as, la hipotenusa del

tringulo 4ABC est en un e-rayo eucldeo y como vimos que la inversin preserva ngulos y h-distancias

entonces los tringulos 4A0 B 0 C 0 y 4ABC son congruentes.

57
 A

b
c
rb
C
a
rb B ra
ra


D O E

Figura 2.39: El tringulo 4ABC en posicin especial.

Con el tringulo en una posicin sencilla, podemos hacer los clculos respectivos para poder encontrar una

relacion entre los lados y los ngulos de un tringulo hiperblico cualquiera.

La primera ecuacin importante que nos da esa relacin es

cosh(AB) = cot() cot() (2.10)

Luego, calculando la tanh(AB) aplicando la denicin y la tanh(BC) aplicando la ecuacin 2.9, obtenemos

la siguiente ecuacin
tanh(BC)
tanh(BC) = tanh(AB) cos() cos() = (2.11)
tanh(AB)
ahora, si intercambiamos BC por AC y por tenemos

tanh(AC) = tanh(AB) cos() (2.12)

Ahora, haciendo uso de las ecuaciones 2.10 y 2.11 y haciendo los clculos respectivos obtenemos

senh(BC)
sen() = (2.13)
senh(AB)
e intercambiando por y BC por AC obtenemos

senh(AC)
sen() = (2.14)
senh(AB)
El proceso para obtener las ecuaciones 2.10-2.14 lo podemos ver en el apndice 1 de manera detallada.

2.7.4. El teorema de Pitgoras.

En la geometra euclidiana, el teorema de Pitgoras da una relacin entre las longitudes de los tres lados de

un tringulo rectngulo. Aqu probaremos el resultado anlogo en la geometra hiperblica.

58
 c

A a B
b C

Figura 2.40: El 4ABC es tringulo rectngulo.

Teorema 2.2 Si 4 es un tringulo rectngulo hiperblico con ngulos internos , y /2 y lados opuestos

con longitudes a, b y c respectivamente. Entonces

cosh(c) = cosh(a) cosh(b).

Demostracin: De las ecuaciones (3.6) y (3.7) tenemos que

senh2 (c) senh2 (a)
 
2 2 2 2
tanh (b) = tanh (c)(1 sen ()) = tanh (c)
senh2 (c)

y utilizando la ecuacin (2.8) tenemos

senh2 (c) cosh2 (c) cosh2 (a)

 
2
tanh (b) =
cosh2 (c) senh2 (c)

es decir

cosh2 (c)(1 tanh2 (b)) = cosh2 (a)

y como
cosh2 (b) senh2 (b) 1
1 tanh2 (b) = 2
=
cosh (b) cosh2 (b)
entonces tenemos que

cosh(c) = cosh(a) cosh(b).  (2.15)

Existen dos teoremas que jugan un papel muy inportante en el estudio del tringulo hiperblico y sus puntos

y rectan notables: hablamos espesicamente del teorema del coseno y del teorema del seno. Las demostraciones
de estos teoremas estn detalladas en el apndice 1.

59
Captulo 3

teselaciones hiperblicas.

60
Apndice 1

Frmulas de adicin en la trigonometra hiperblica.

De la denicin de senh(t) y cosh(t) vistas en la Seccin 2.7 obtenemos las funciones hiperblicas restantes:

1 e2t + 1
coth(t) = = 2t
tanh(t) e 1
1 2
csch(t) = = t
senh(t) e et
1 2
sech(t) = = t
cosh(t) e + et
Denicin 3.1 De la misma forma podemos obterner las frmulas de adicin

senh(t z) = senh(t) cosh(z) cosh(t) senh(z)

csch(t z) = cosh(t) cosh(z) senh(t) senh(z)

Las frmulas anteriores no son diciles de demostrar. Por ejemplo, para demostrar que senh(t + z) =
senh(t) cosh(z) + cosh(t) senh(z) se hace

et+z e(t+z) et ez et ez
senh(t + z) = =
2 2

y como et = cosh(t) + senh(t), et = cosh(t) senh(t), ez = cosh(z) + senh(z) y ez = cosh(z) senh(z),

sustituyendo estas equivalencias en senh(t + z):

(cosh(t) + senh(t))(cosh(z) + senh(z)) (cosh(t) senh(t))(cosh(z) senh(z))

senh(t + z) = .
2

Efectuando los productos indicados y reduciendo trminos semejantes

2 senh(t) cosh(z) + 2 senh(t) cosh(z)

senh(t + z) =
2

por lo tanto

senh(t + z) = senh(t) cosh(z) + senh(t) cosh(z)

que es lo que se quera demostrar. Se sigue un proceso anlogo para demostrar las frmulas restantes.

61
Clculo del coseno y el seno en trminos de los lados en un tringulo hiperblico cualquiera.

b
c
rb
C
a
rb B ra
ra


D O E

Figura 3.1: El tringulo 4ABC en posicin especial.

Podemos ver que en la gura anterior, los ngulo y ADO son iguales ya que, como los ngulos ADO y

DAO suman 90 (en sentido euclidiano) y como el ngulo est dado por el ngulo que forma la tangente a
la circunferencia que contiene al lado AB con el rayo OA entonces los ngulos y ADO son iguales. Ahora

los ngulos y BEO tambin son iguales ya que los ngulos y OBE suman 90 pero demas los ngulos
OBE y BEO tambin suman 90 por lo que los ngulos y BDO son iguales.

Sean ra y rb los radios (euclidianos) de las circunferencias que contienen a los h-lados a = BC , b = AC y

sean D y E sus centros respectivamente. Adems, sean las distancias euclidianas AO = x, DO = z , BO = y

y OE = w.
Con las igualdades de ngulos y las distancias dadas, tenemos

z w
cot() = , cot() = (3.1)
x y
Como rb2 = z 2 + x2 y rb2 = w2 + y 2 , y aplicamos el teorema de pitagoras al tringulo 4DCE tenemos que

(z + w)2 = rb2 + ra2 = z 2 + x2 + w2 + y 2

que equivale a

x2 + y 2 = 2zw (3.2)

y por la denicin que tenemos para distancia de AB , que es la hipotenusa del tringulo 4ABC , tenemos

que
 
x x
AB = ln = eAB =
y y
por lo tanto
x y
eAB + eAB + x2 + y 2
 
y x 2zw  z  w
cosh(AB) = = = = =
2 2 2yx 2yx x y

62
por lo que, por (3.1) y (3.2), tenemos que

cosh(AB) = cot() cot(). (3.3)

Esta es una relacin entre los lados y los ngulos de un tringulo. Para obtener otra relacin escribimos

tanh(AB) y usamos (3.2)

 2
x
e 1 2AB
y
1 x2 y 2 zw y 2
tanh(AB) = 2AB =  2 = 2 = (3.4)
e +1 x x + y2 zw
y
+1

y por la ecuacin (2.9)

cos( ) cos( ) cos() cos()

tanh(BC) = =
1 cos( ) cos( ) 1 cos() cos()
pero
p
w y 2 + w2
cos() = p y cos() =
y 2 + w2 z+w
as !
2 2
 
zw y zw y w
tanh(BC) = p = p
z y 2 + w2 zw y + w2
2

y por (3.4) tenemos que

tanh(BC) = tanh(AB) cos() (3.5)

ahora, si intercambiamos BC por AC y por tenemos

tanh(AC) = tanh(AB) cos() (3.6)

Usando las frmulas (3.3) y (3.5) tenemos que

cot2 () cot2 () tanh2 (BC)

cosh2 (AB) = =
tan2 () tanh2 (AB) tanh2 (BC)
y por lo tanto

senh2 (AB) tanh2 (BC) tanh2 (BC) senh2 (AB) = cot()2 tanh2 (BC)

esto implica que

senh2 (AB)[1 tanh2 (BC)] tanh2 (BC)

cot2 () =
tanh2 (BC)
senh2 (AB)[1 tanh2 (BC)]
= 1
tanh2 (BC)
h 2 2
i
senh2 (AB) cosh (BC)senh
cosh2 (BC)
(BC)

cot2 () + 1 = 2
tanh (BC)
2
1 senh (BC)
=
2
cot () + 1 senh2 (AB)

63
 1
como sabemos que sen2 () = cot2 ()+1
tenemos que

2 senh2 (BC)
sen () =
senh2 (AB)
es decir
senh(BC)
sen() = (3.7)
senh(AB)
e intercambiando por y BC por AC obtenemos

senh(AC)
sen() = (3.8)
senh(AB)

El teorema del seno.

Recordemos que en la trigonometra euclidiana existe un teorema que nos da una relacin de proporcionalidad

entre las longitudes de los lados de un tringulo y los senos de sus respectivos ngulos opuestos. Hablamos

especicamente del teorema del seno.

El teorema del seno toma la siguiente forma en la geometra euclidiana. En un tringulo (no necesariamente

rectngulo) con ngulos internos , y y lados de longitudes a, b y c, con lado a opuesto al ngulo , etc.

Se cumple que
sen() sen() sen()
= = .
a b c
La versin hiperblica de esto es la siguiente

Teorema 3.1 Si 4 es un tringulo hiperblico con ngulos internos , y y lados de longitudes a, b y c,

con lado a opuesto al ngulo , etc. Se cumple que

sen() sen() sen()

= = .
senh(a) senh(b) senh(c)
Demostracion Sea 4ABC un tringulo hiperblico. Trazamos la lnea hiperblica perpendicular a AC y

que pase por el vrtice B.

B
G
a

H b
C

A

Figura 3.2: El 4ABC es un tringulo hiperblico arbitrario.

64
Luego, los tringulos hiperblicos 4ABH y 4BCH son rectngulos y por (3.7) y (3.8) tenemos

senh(BH) senh(BH)
sen() = y sen() =
senh(c) senh(a)

esto implica que

sen() sen()
= . (3.9)
senh(a) senh(c)
Por otro lado, al trazar una lnea hiperblica perpendicular a BC y que pase por el vrtice A, formamos dos

tringulos rectngulos 4ABG y 4AGC y por (3.7) y (3.8) tenemos

senh(AG) senh(AG)
sen() = y sen() =
senh(c) senh(b)

esto implica que

sen() sen()
= . (3.10)
senh(b) senh(c)
De (3.9) y (3.10) tenemos que
sen() sen() sen()
= = . 
senh(a) senh(b) senh(c)
El teorema del coseno.

Recordemos que en la trigonometra euclidiana tambin existe un teorema que es la generalizacin del teorema

de Pitgoras que relaciona un lado de un tringulo cualquiera con los otros dos y con el coseno del ngulo

formado por estos dos lados. Hablamos especicamente del teorema del coseno.
El teorema del coseno toma la siguiente forma en la geometra euclidiana. En un tringulo (no necesariamente

rectngulo) con ngulos internos , y y lados de longitudes a, b y c, con lado a opuesto al ngulo , etc.

Se cumple que

c2 = a2 + b2 2ab cos().

En la geometra hiperblica contamos con dos teoremas del coseno, uno para lados y otro para ngulos:

B

a

H b
C

A

Figura 3.3: El 4ABC es un tringulo hiperblico arbitrario.

65
Teorema 3.2 Si 4 es un tringulo hiperblico con ngulos internos , y y lados de longitudes a, b y c,
con lado a opuesto al ngulo , etc. Se cumple que

cosh(a) = cosh(b) cosh(c) senh(b) senh(c) cos(),

cos() = cos() cos() + sen() sen() cosh(a).

Demostracin: Sea 4ABC un tringulo hiperblico. Trazamos la lnea hiperblica perpendicular a AC y

que pase por el vrtice B , ver gura 3.3. Usando la ecuacin (2.15) en el tringulo rectngulo 4ABH tenemos

cosh(a) = cosh(BH) cosh(HC)

= cosh(BH) cosh(b AH)

= cosh(BH) [cosh(b) cosh(AH) senh(b) senh(AH)]

= cosh(b) cosh(c) senh(b) cosh(AH) cosh(BH) tanh(AH)

= cosh(b) cosh(c) senh(b) cosh(c) tanh(AH)

= cosh(b) cosh(c) senh(b) cosh(c) tanh(c) cos()

esto implica que

cosh(a) = cosh(b) cosh(c) senh(b) senh(c) cos().

Para la segunda ecuacin. Sea = ]HBC ,

cosh() = coth(c) tanh(c) cos()

= coth(c) tanh(AH)
cosh(c) senh(AH)
=
cosh(AH) senh(c)
= cosh(BH) senh( )

= cosh(BH) [sen() cos() cos() sen()]

= cosh(BH) cos() sen() cosh(BH) sen() cos()

cosh(a) tanh(BH) cosh(a) senh(HC) senh(HC)
= sen() cos()
cosh(HC) tanh(a) cosh(HC) cosh(HC) senh(a)
cosh(a) senh(BH) tanh(HC)
= sen() cos()
cosh(HC) cosh(BH) tanh(a) tanh(a)
cosh(a) senh(BH)
= sen() cos() cos()
cosh(a) tanh(a)
senh(BH)
= cosh(a) sen() cos() cos()
senh(a)

66
esto implica que

cos() = cos(a) sen() sen() cos() cos(). 

Esta ltima ecuacin no tiene anlogo en la geometra euclidiana. Observemos que esta ecuacin implica lo

siguiente: si conocemos los ngulos internos , y de un tringulo hiperblico, entonces podemos calcular

la longitud de sus lados. En la geometra euclidiana, los ngulos de un tringulo no determian las longitudes

de los lados.

67
Bibliografa

[RT] Agust Revents Tarrida, Geometra Inversiva, Universidad Autnoma de Barcelona.

[U] Luis Ugarte, Geometra Inversiva.

[HE] Howard Eves, estudio de las geometras, Tomo I.

[CG1] M. Cruz Lpez y M. Garca. Campos, Geometra euclidiana bidimensional y su grupo de transforma-

ciones. Publicado en Papiros, Editorial IMUNAM, 2017.

[CG2] M. Cruz Lpez, Monserrat G. Campos, Geometra hiperblica bidimensional y su grupo de transfor-

maciones. En proceso.

68