Está en la página 1de 52

Geometra Hiperb olica bidimensional y su

grupo de transformaciones
December 13, 2012
ii

Indice
1 Geometra hiperb olica elemental 1
1.1 Construcciones con regla y comp as . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Raz on cruzada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 La metrica hiperb olica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.4 Distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.5 Distancia entre dos puntos sobre una recta vertical . . . . . . . . . . . . . 30
1.6 Distancia entre dos puntos cualesquiera en H . . . . . . . . . . . . . . . . . 34
1.7 Distancia hiperbolica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.8 Distancia en D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2 El grupo de M obius Hiperbolico 41
2.1 Reexiones y el grupo completo de M obius hiperb olico . . . . . . . . . . . 41
2.2 Propiedades geometricas de las reexiones . . . . . . . . . . . . . . . . . . 41
2.3 Transformaciones de M obius elementales . . . . . . . . . . . . . . . . . . . 41
2.4 El grupo de M obius hiperb olico Mob
+
(H) . . . . . . . . . . . . . . . . . . 41
2.5 Isometras hiperb olicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 Dinamica de transformaciones de M obius hiperb olicas 47
3.1 La accion de Mob
+
(H) en H . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Din amica de transformaciones elementales . . . . . . . . . . . . . . . . . . 48
3.2.1 Transformaciones parab olicas . . . . . . . . . . . . . . . . . . . . . 48
3.2.2 Transformaciones elpticas . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.3 Transformaciones hiperb olicas . . . . . . . . . . . . . . . . . . . . . 48
iii
iv

INDICE
Captulo 1
Geometra hiperb olica elemental
1.1 Construcciones con regla y compas
Explicaremos c omo se hacen algunas construcciones en la geometra hiperbolica con regla
y comp as euclideanos, utilizando algunas de las construcciones clasicas de la geometra
euclideana. Las construcciones las haremos en el modelo del disco.
Dados dos puntos, trazar la lnea hiperbolica que los une.
Dados dos puntos P y Q en el modelo del disco, encontramos P

inverso de P respecto
a D y trazamos la mediatriz euclideana del segmento PP

y la mediatriz eulideana de PQ.


El punto de intersecci on de ambas mediatrices es el centro de la circunferencia ortogonal
a D que es la lnea hiperb olica que pasa por P y por Q.
Figura
Dados dos puntos, trazar la mediatriz hiperb olica.
Dados dos puntos P y Q en el modelo del disco trazamos la recta hiperbolica que los
une, como esta es una circunferencia ortogonal a D y la intersecta en dos puntos en la
1
2 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
frontera, podemos trazar el eje radical de ambas circunferencias. En la interseccion del eje
radical con la recta euclideana que une a P y Q est a el centro de una circunferencia; para
encontrar el radio, desde el centro trazamos la tangente a D y el radio ser a la distancia
del centro al punto de tangencia. Si trazamos la circunferencia con ese centro y ese radio,
obtenemos la mediatriz hiperbolica de la lnea hiperb olica que pasa por P y Q. Cabe
mencionar que efectivamente es mediatriz, pues P yQ son puntos inversos respecto a la
circunferencia.
Figura
Dada una lnea hiperb olica y un punto P fuera de ella, trazar la perpen-
dicular a que pase por P.
Como la recta es una circunferencia ortogonal a D, encontramos P

inverso de P
respecto a , y dados dos puntos P y P

trazamos la lnea hiperb olica que los une y


habremos trazado la lnea hiperb olica perpendicular a que pasa por P.
Figura
Dadas dos rectas hiperbolicas paralelas trazar la perpendicular com un.
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 3
Tomemos dos lnas hiperb olicas paralelas y m en el modelo del disco como lo muestra
la gura, trazamos las rectas euclideanas que unen a los puntos de las paralelas que
est an sobre la frontera de D, donde se intersecten dichas rectas estar a el centro de la
circunferencia que sera la perpendicular com un; desde el centro trazamos la tangente a
D, el segmento del centro al punto de tangencia sera el radio. Trazamos la circunferencia
con dicho centro y radio y sera la lnea hiperbolica perpendicular a ambas paralelas.
Figura
Dada una circunferencia, encontrar su centro hiperb olico.
Tomemos una circunferencia totalmente contenida en el interior de D que junto con D
forman parte de una familia coaxial de circunferencias que no se intersectan y, podemos
trazar su eje radical. Recordemos que los centros euclideanos de ambas circunferencias
est an sobre la misma recta euclideana. Tomando como centro el punto de interseccion de
la recta de los centros y el eje radical y como radio el segmento denido por este punto y
el punto de tangencia a D desde el centro, trazamos una circunferencia y donde corte a la
recta de los centros, estara el centro hiperb olico de la circunferencia dada. Observemos
que la lnea que acabamos de construir es ortogonal a la circunferencia dada y por lo tanto
pasa por el centro.
4 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura
Dados dos puntos C y P, construir la circunferencia hiperb olica con centro
en C que pase por P.
Trazamos una lnea hiperb olica cualquiera que pase por C y encontramos el punto
inverso P

de P respecto a esa lnea, trazamos cualquier otra lnea hiperb olica que pase por
C y encontramos P

el inverso de P respecto a esa otra lnea. Las distancias hiperbolicas


CP, CP

y CP

son iguales, por lo tanto si trazamos la unica circunferencia euclideana


que pasa por P, P

y P

esta tendr a centro hiperb olico en C.


Figura
Dadas dos rectas hiperb olicas que se intersectan, encontrar su bisectriz
hiperbolica.
Tomemos dos rectas hiperb olicas que se intersectan en un punto C dentro de D, estas
rectas hiperb olicas son dos cirunferencias de una familia coaxial de circunferencias que
se intersectan por lo que podemos trazar su eje radical. Con centro en el eje radical
trazamos dos circunferencias ortogonales a las rectas hiperbolicas, donde una de ellas sea
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 5
el eje radical de la familia ortogonal. Unimos los puntos de interseccion de la circunferencia
ortogonal con las lneas hiperb olicas, como se muestra en la gura, la intersecci on de esta
lnea con el eje radical de la familia ( determina el centro de la circunferencia que ser a
la bisectriz. Trazamos la circunferencia euclideana con dicho centro y que pase por el
punto C, esta circunferencia es la bisectriz hiperb olica de las dos lneas hiperbolicas que
se intersectan en el punto C. Es bisectriz porque los puntos de intersecci on de g con las
lneas dadas, son inversos respecto a las circunferencias que construimos y por lo tanto el
angulo entre la circunferencia y ambas lneas hiperbolicas es el mismo.
Figura
Dado un punto C y el segmento PQ, trazar la circunferencia con centro en
C y radio PQ.
Trazamos la lnea hiperbolica que pase por C y por P, trazamos la mediatriz hiperb olica
de CP; como la mediatriz es una circunferencia, invertimos al punto Q respecto a la me-
diatriz y obtenemos Q

. Trazamos la circunferencia con centro en C que pase por Q

y
esta tendr a radio PQ.
6 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura
Algunas propiedades del plano hiperbolico
Cuando denimos la metrica con base en la inversion demostramos que la distancia de
cualquier punto a la lnea H o a la frontera del disco D es innita, sin embargo pudimos
dibujar tanto la frontera de D como a la lnea H a un cuando est an en el innito; en
cambio, en el modelo de la geometra euclideana eso no lo podemos hacer. Hay que ser
cuidadosos porque no hay que olvidar que estamos trabajando con modelos de la geometra
hiperb olica.
Notemos que conforme un objeto se acerca a la frontera para nuestra visi on euclideana
parecer a que se va haciendo pequegno, sin embargo con la metrica hiperbolica el objeto
mide lo mismo en cualquier parte del modelo.
Nos ensegnaron que las lneas paralelas son aquellas que no se cortan o aquellas lneas
que se cortan en el punto al innito, la pregunta obligada es cu al es la denicion correcta?
En este trabajo queremos hacer notar al lector que en los modelos hiperb olicos que pre-
sentamos anteriormente tenemos a la lnea al innito a la mano, aunque hay que recordar
que esta lnea no es parte de los modelos, y por lo tanto podemos dibujar a las lneas
hiperb olicas paralelas como aquellas que no se cortan o como aquellas que se cortan al
innito (como las que se muestran en las siguientes guras).
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 7
Figura
Todas las lneas hiperbolicas que aparecen en las guras anteriores son paralelas por
denici on, lo que nos lleva a distinguir entre las que se cortan que llamaremos estricta-
mente paralelas y las que no se cortan que llamaremos ultraparalelas.
La propiedad de transitividad de las paralelas en la geometra euclideana no se cumple
en la hiperb olica, ya que dos lneas paralelas a una tercera se pueden cortar (como se
muestra en las guras).
Figura
8 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Adem as del hecho de que por un punto P fuera de una lnea pasan una innidad de
paralelas a esa lnea; dos de las cuales son estrictamente paralelas y una innidad de
ultraparalelas que pasan por el punto P.
Hemos mencionado que hay distintos tipos de paralelas en la geometra hiperb olica,
recordemos que en la euclideana s olo hay una clase de lneas paralelas y por lo tanto
toda perpendicular a una lnea lo es tambien a todas las paralelas a esa lnea; en la
geometra hiperb olica sera que dadas dos paralelas toda perpendicular a la primera ser a
perpendicular a la segunda; pues no.
Como se puede ver en la gura las lneas y m son paralelas y la lnea p es ortogonal
a y no corta a m, la lnea q tambien es ortogonal a y sin embargo no es ortogonal a m.
Figura
Tendran las lneas hiperb olicas perpendicular com un? Como en la geometra hiperb olica
las lneas rectas son circunferencias ortogonales a la frontera del modelo, si tenemos dos
lneas hiperb olicas paralelas, digamos de las que se cortan en la frontera, necesitaremos
construir una tercera circunferencia ortogonal a la frontera (para que sea lnea hiperb olica)
y que a su vez sea ortogonal a ambas paralelas; hacer esta construcci on es imposible,
porque como las lneas y m son tangentes cualquier circunferencia ortogonal a ellas
tiene que ser tangente a la frontera y por lo tanto no sera lnea hiperb olica. Podemos
concluir que las lneas estrictamente paraleas no tienen perpendicular com un.
Cuando las lneas paralelas son ultraparalela siempre podemos construir una lnea
(circunferencia ortogonal a la frontera) que sea ortogonal a ambas lneas paralelas; esta
lnea es unica, porque en la familia coaxial ortogonal a las lneas y m s olo existe una
circunferencia ortogonal a la frontera.
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 9
Figura
Si tomamos el modelo del semiplano H podemos construir tres lneas tales que no son
concurrentes y que se intersectan en la frontera dos a dos, como se ilustra en la gura.
Figura
Estas tres lneas forman un triangulo, s olo que sus tres vertices est an sobre la lnea al
innito o en la frontera; a un triangulo cuyos vertices est an fuera del modelo le llamaremos
triangulo ideal.
Si quisieramos saber cu anto vale la suma de los angulos internos de un tri angulo ideal,
puesto que las lneas paralelas forman angulo cero entre ellas, entonces la suma de los
angulos internos del tri angulo que acabamos aparece en la gura es igual a cero.
Veamos que pasa lo mismo en el modelo del disco en el triangulo ideal que se puede
ver en la gura y cuya suma de angulos internos tambien es igual a cero, pues las lneas
que forman el tri angulo son paraleas.
10 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura
Hemos demostrado que la propiedad euclideana de que la suma de los angulos internos
de cualquier tri angulo es igual a 180

no se cumple para los triangulos ideales de la


geometra hiperb olica. C omo ser a en general la suma de los angulos internos de un
tri angulo hiperb olico?
Figura
Tomemos un triangulo que contenga al centro de D y unamos los vertices con rectas
euclideanas; puede observarse que cada angulo entre las lneas hiperb olicas es menor que
su correspondiente con rectas euclideanas, y por lo tanto la suma de los angulos internos
es menos que 180

.
Si el tri angulo no contiene al centro de D no podemos comparar de manera inmedi-
ata los angulos del triangulo hiperbolico con los del euclideano, pero m as adelante de-
mostraremos con isometras que siempre podemos construir un tri angulo que sea congru-
ente con un triangulo que contenga al centro del disco y estaremos en el caso descrito
anteriormente.
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 11
Figura
Dado que por un punto fuera de una lnea dada pasan una innidad de paralelas,
entonces podemos construir polgonos de tantos lados como queramos en los cuales todos
sus lados sean paralelos y por tanto todos sus vertices est an en la frontera. Llamaremos
a estos polgonos polgonos ideales.
Figura
Un polgono con todos sus angulos rectos es un rect angulo, los rect angulos euclideanos
s olo tienen cuatro lados, construiremos un rect angulo hiperb olico de seis lados.
12 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura
Tomemos una lnea
1
, trazamos las lneas
2
ortogonal a
1
,
3
ortogonal a
2
,
4
ortogonal a
3
y
5
ortogonal a
4
. Como
1
y
5
son ultraparalelas, tienen una per-
pendicular com un
6
. De la misma manera, podemos construir el n umero de lados que
queramos siempre y cuando sean m as de cuatro, poque no podemos construir rectangulos
hiperb olicos de cuatro lados.
Supongamos que existiera un rect angulo hiperb olico de cuatro lados, entonces la suma
de sus angulos internos sera 360

, una de sus diagonales lo dividir a en dos triangulos y la


suma de los angulos interiores de ambos tri angulos sera igual a 360

; como la suma de los


angulos interiores de un tri angulo hiperb olico siempre es menor a 180

, es imposible que
la suma de los angulos interiores de los dos tri angulos sea 360

.
Una primera propiedad que notamos en el modelo del disco es que los objetos aparente-
mente se van haciendo pequegnos conforme se acercan a la frontera, retomando esta idea
y con la propiedad de que la inversi on preserva distancia como ya explicamos, veamos
que sucede si invertimos un tri angulo hiperbolico con vertices en la frontera del disco; es
decir, tomemos una lnea con respecto a la cual vamos a invertir las otras dos.
1.1. CONSTRUCCIONES CON REGLA Y COMP

AS 13
Figura
El tri angulo original y el tri angulo inverso son congruentes, lo que quiere decir que
cada una de las lneas que los conforman miden lo mismo y, aunque el tri angulo inverso
parece mas pequegno para nuestros ojos que el original, hiperbolicamente no lo es.
Si repetimos este proceso de inversion cada vez los tri angulos son m as pequegnos para
nuestra vista euclideana, pero podemos asegurar que hiperbolicamente son iguales.
Figura
Podemos repetir el proceso anterior con un tri angulo con vertices en el interior de D y
tambien observamos que conforme se acercan a la frontera los tri angulos se van haciendo
pequegnos, pero los triangulos son congruentes.
14 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura
Otra propiedad hiperb olica es que si dos triangulos tienen dos angulos correspondientes
iguales, no necesariamente son semejantes.
Recordemos que para construir un tri angulo euclideano semejante a otro dado ABC,
prolongamos los lados AB y AC y copiamos el angulo ABC a un punto B

sobre el
lado AB determinando un punto C

, los triangulos ABC y AB

son semejantes; en
particular el angulo ACB es igual al angulo AC

.
Figura
Si observamos los triangulos hiperbolicos de la gura, es claro que los angulos ACB
AC

no son iguales y por lo tanto los tri angulos no son semejantes.


1.2. RAZ

ON CRUZADA 15
Figura
1.2 Raz on cruzada
Denici on 1 El segmento AB esta dividido armonicamente por C y D si
AC : CB = AD : DB
Decimos en este caso que los puntos C y D son conjugados arm onicos con respecto de A
y B, y lo denotaremos por (A, B; C, D).
Si C y D son conjugados arm onicos con respecto de A y B, entonces A y B son
conjugados arm onicos con respecto de C y D; es decir, (C, D; A, B), pues tambien se
cumple que
CA : AD = CB : BD
Para construir el conjugado armonico de una triada de puntos colineales procedemos
de la siguiente manera. Trazamos dos lneas paralelas que pasen por A y B. Por C
trazamos cualquier lnea que intersecte a las lneas paralelas en P y Q, respectivamente.
En QB tomamos R tal que QB = BR. La lnea PR corta a la lnea AB en el punto
deseado D.
16 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura 31
Para vericar que la construccion es valida, tomemos dos tri angulos semejantes APC
y BQC Luego,
AC : CB = AP : QB.
Tambien, los triangulos APD y BRD son semejantes, lo que implica:
AD : DB = AP : BR.
Como construimos QB = BR, se sigue que
AC : CB = AD : DB.
En el caso particular en que C sea el punto medio de AB, D ser a el punto al innito
de la lnea AB.
Si A, B, C y D son puntos arm onicos, cada una de las siete permutaciones en las
que los pares conjugados A, B o C , D no son separados, tambien es arm onica. Estas
permutaciones son (A, B; D, C), (B, A; C, D), (B, A; D, C), (C, D; A, B), (C, D; B, A),
(D, C; B, A) y (D, C; A, B).
Denici on 2 Las lneas OA y OB se dice que estan separadas arm onicamente por las
lneas OC y OD si:
sen AOC
sen COB
=
sen AOD
sen DOB
.
Figura 32
1.2. RAZ

ON CRUZADA 17
De la misma manera decimos que las lneas OC y OD son conjugadas armonicas
respecto de las lneas OA y OB.
Teorema 1 La hilera de puntos en que las lneas de un haz armonico corta cualquier
lnea que no pase por el vertice del haz, es una hilera armonica de puntos; ademas, el haz
de lneas obtenido al unir cuatro puntos armonicos a cualquier otro punto, que no este
sobre la misma lnea, es un haz armonico.
Si multiplicamos ambos miembros de la ecuacion
sen AOC
sen COB
=
sen AOD
sen DOB
por
OA
BO
obtenemos
OAsen AOC
BOsen COB
=
OAsen AOD
BOsen DOB
AC : CB = AD : DB
Ya que en general para cualquier tri angulo OAB y C un punto sobre AB se cumple
que:
AC
CB
OAsen AOC
BOsen COB
De la misma manera, si partimos de
AC : CB = AD : DB
y dividimos ambos miembros entre
OA
BO
, obtenemos
AC BO
CB OA

BD AD
OA DB
BO OAsen AOC
OA BOsen COB
=
BD OAsen AOD
OA BDsen DOB
Y obtenemos
sen AOC
sen COB
=
sen AOD
sen DOB
Corolario 1 Si una lnea transversal corta a las cuatro lneas de un haz en una hilera
armonica de puntos, entonces cualquier otra transversal que corte al haz lo cortara en una
hilera armonica de puntos.
18 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Corolario 2 Si un haz armonico corta a una lnea en cuatro puntos, cualquier otro haz
que pase por estos cuatro puntos es armonico.
Denici on 3 Si cuatro puntos colineales tienen cualquier posicion sobre la lnea en la
que se encuentran, denimos
AC/CB
AD/DB
como la raz on cruzada de los puntos A, B, C y D y se denota por ABCD
De manera analoga denimos la razon cruzada de cualesquiera cuatro lneas concur-
rentes como
sen AOC/ sen COB
sen AOD/ sen DOB
lo cual se denota por abcd.
Si los cuatro puntos son armonicos, entonces
AC/CB
AD/DB
= 1.
Existen veinticuatro permutaciones para cuatro letras, por lo tanto veinticuatro posi-
bles valores para la raz on cruzada. Pero podemos agrupar a estas veinticuatro permuta-
ciones en seis grupos de cuatro, tal que el valor de la raz on cruzada es el mismo para todos
los miembros del grupo. Por ejemplo: Si ABCD = , entonces, BADC, CDAB
y DCBA tambien tienen valor .
Si el valor de la razon cruzada para uno de esos seis grupos es , digamos que
ABCD = , entonces los valores para los otros grupos son: ABDC =
1

, ACBD =
1 , ACDB =
1
1
, ADBC =
1

y ADCB =

1
.
Mencionamos anteriormente que si cuatro elementos, ya sean puntos o lneas, son
arm onicos, el valor de su raz on cruzada es 1; el signo de la raz on cruzada depende de si
un par de puntos es separado o no por el otro par, si son separados la raz on cruzada es
positiva.
Teorema 2 Si un haz (abcd) de lneas corta a una lnea en los puntos A, B, C y D,
entonces abcd = ABCD.
La demostracion de este teorema es analoga a la del teorema 1.
Corolario 3 Si dos lneas cortan a un haz en los puntos A, B, C y D y en A

, B

, C

y
D

respectivamente, entonces ABCD = A

.
1.2. RAZ

ON CRUZADA 19
Corolario 4 Si dos haces (abcd) y (a

) pasan por cuatro puntos colineales, entonces


abcd = a

.
Figura 33
La raz on cruzada de cuatro puntos puede tomar los valores 1, 0 o si y s olo si, dos
de los puntos coinciden. Por ejemplo, ABCD = implica que
AC/CB
AD/DB
= ; esto pasa
si AD = 0 y por tanto si A = D, o si CB = 0 y por tanto C = B; y solo pasa en esos
casos.
Si ABCD = 0, entonces
AC/CB
AD/DB
= 0; esto pasa si AC = 0 y por tanto A = C o si
DB = 0 y por tanto D = B.
Si ABCD = 1 entonces
AC/CB
AD/DB
= 1; esto pasa si AC = AD y CB = DB y por
tanto C = D, o si AB = 0 y por tanto A = B.
Cabe mencionar que tambien se puede calcular la razon cruzada cuando uno de los
cuatro puntos es el punto al innito, lo que hay que hacer es calcular el lmite cuando el
punto tiende al innito; analogamente, cuando el denominador es cero se calcula la razon
cruzada usando lmites.
Si A, B y C son cualesquiera tres puntos colineales, entonces existe un unico punto
D colineal con ellos tal que ABCD = , donde puede tomar valores tanto positivos
como negativos.
Dados tres puntos colineales A, B y C para construir el cuarto punto D tal que
ABCD = para una dada, desde C trazamos una lnea que intersecte a la lnea
donde est an A, B y C y, sobre esta tomamos A

y B

tales que CA

/CB

= . Las lneas
AA

y BB

se intersectan en D

, desde D

trazamos una paralela a CB

que intersectara a
la lnea AB en el punto D. Para poder hacer esta construccion es necesario que el n umero
sea construible con regla y compas.
20 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura 34
Para vericar que la construcci on es valida, dado que los triangulos BDD

y BCB

son semejantes y tambien los tri angulos ADD

y ACA

son semejantes, tenemos que


BD
BC
=
DD

CB

y
AD
AC
=
DD

CA

,
dividiendo y reacomodando los terminos correspondientes, tenemos
AC/CB
AD/DB
=
CA

CB

= .
Una propiedad de la razon cruzada que usaremos frecuentemente es el siguiente teo-
rema.
Teorema 3 Si A, B, C, D y E son cinco puntos en una lnea en ese orden, entonces:AEBC
AECD = AEBD.
AEBC AECD =
AB/BE
AC/CE

AC/CE
AD/DE
=
AB CE AC DE
BE AC CE AD
=
AB DE
BE AD
= AEBD
Para denir la raz on cruzada de cuatro puntos sobre una circunferencia recurriremos
a la inversion. Sean A, B, C y D una hilera de puntos la cual invertiremos respecto
a una circunferencia. Por lo que sabemos de inversi on, la lnea AD se invierte en una
circunferencia que pasa por el centro de inversi on y, los puntos A, B, C y D se invierten
en puntos A

, B

, C

y D

sobre la circunferencia.
1.2. RAZ

ON CRUZADA 21
Figura 35
Para que la razon cruzada se conserve bajo la inversi on, denimos la raz on cruzada
de cuatro puntos sobre una circunferencia como la raz on cruzada de un haz con vertice
sobre la circunferencia y que pase por los cuatro puntos.
Si la raz on cruzada ABCD = , la raz on cruzada de sus respectivos inversos tambien
es como puede verse en la gura.
Si tomamos cualquier otro punto P distinto del centro O pero que este sobre la cir-
cunferencia, la raz on cruzada es la misma; si P est a sobre el arco

AOD y lo tomamos
como el vertice del haz armonico de ABCD, como ambos haces subtienden las mismas
cuerdas, sus angulos son iguales y por lo tanto tienen la misma razon cruzada.
Figura 36
Ahora, si tomamos otro punto P distinto de O pero en el arco

ACD de tal forma que
P no coincida con ninguno de los puntos A, B, C o D, sabemos que sen AOD = sen APD,
por ser angulos suplementarios; con el mismo razonamiento, los senos de los angulos del
haz con vertice en O, son iguales a los senos de los angulos del haz con vertice en P y por
lo tanto la raz on cruzada no depende del vertice del haz.
22 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura 37
Ahora veremos que con la denici on de raz on cruzada para cuatro puntos en una
circunferencia, esta siempre se preserva bajo inversi on. Analizaremos el caso en el que
los cuatro puntos estan sobre una lnea que pasa por el centro de inversion. Para esto,
utilizaremos la segunda construcci on para encontrar el inverso de un punto respecto a
una circunferencia; en la siguiente gura puede verse que el angulo AND es igual al
angulo A

SD

puesto que ambos subtienden la misma cuerda QR, de modo que al


invertir cuatro puntos A, B, C y D sobre una lnea que pasa por el centro de inversi on,
se invertir an en los puntos A

, B

, C

y D

, respectivamente; y el haz con vertice en N


que pasa por los puntos A, B, C y D es igual al haz con vertice en S que pasa por los
inversos. Entonces, si la hilera de puntos A, B, C y D tiene razon cruzada ABCD, se
cumple que ABCD = A

.
Figura 38
Hemos demostrado que la inversion preserva la raz on cruzada si los puntos son co-
lineales, falta demostrar que esto tambien se cumple para cualesquiera cuatro puntos
sobre una circunferencia; es decir, que estando sobre una circunferencia, al invertirlos, se
preserva la razon cruzada.
1.2. RAZ

ON CRUZADA 23
Figura 39
Sea g una circunferencia y sean A, B, C y D cuatro puntos sobre ella y los que inver-
tiremos respecto a la circunferencia g
3
, los respectivos inversos A

, B

y D

est an sobre
una circunferencia g

. Las circunferencias g y g

pertenecen a una familia de circunfer-


encias coaxiales, por lo tanto existe una unica circunferencia g
2
de la familia con centro
en P y una unica cincunferencia g
1
con centro en Q; donde P y Q son las respectivas
intersecciones de g y g

con la lnea de los centros.


Ahora invertimos A, B, C y D respecto a la circunferencia g
1
que se invierten en los
respectivos A

, B

, C

y D

sobre el eje radical /; invertimos estos puntos respecto a g


2
y se invierten exactamente en los puntos A

, B

, C

y D

; por lo tanto tienen la misma


raz on cruzada; es decir: ABCD = A

.
Recordemos que en la seccion de circunferencias coaxiales invertimos un punto x sobre
una cirunferencia f
1
respecto a las circunferencias de la familia ortogonal g
1
y g
2
y ob-
tuvimos un punto atractor y uno repulsor; tambien mencionamos que necesitariamos de
la raz on cruzada para demostrar otro resultado; pues como ya estamos en dicha secci on,
podremos saber exactamente a que circunferencia se invierte el punto x.
Primero veamos lo que pasa cuando invertimos los siguientes puntos de las circunfer-
encias que pertenecen a la familia ( y que estan sobre la lnea de los centros. En la lnea
de los centros tenemos a los puntos N y su inverso M que son los dos puntos por donde
pasan todas las circunferencias de la familia T. Ahora tomemos a la circunferencia g
1
con
centro en O que corte a la lnea de los centros en C
1
y que en su interior est a el punto N,
un punto P entre N y C
1
se invierte en el punto P

fuera de g
1
y el punto C
1
se invierte
en s mismo, pues est a sobre la circunferencia de inversion.
24 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Figura 40
Notemos que los puntos N, M, P y C
1
denen una hilera de puntos y como hemos
demostrado que la razon cruzada se preserva bajo la inversion, entonces: NMPC
1
=
MNP

C
1
. Dado que la raz on cruzada es la misma para ciertas permutaciones que
mostramos anteriormente, se cumple que: NMPC
1
= MNP

C
1
= NMC
1
P

.
Usando el teorema 3 tenemos que
NMC
1
P

2
= NMPC
1
NMC
1
P

= NMPP

.
Tomemos al punto C
2
de la interseccion de otra circunferencia de la familia ( con la
lnea de los centros y sea P

el inverso de P

respecto a la circunferencia g
2
.
Figura 41
Usando argumentos analogos a los que acabamos de hacer, tenemos que:
NMP

C
2

2
= NMP

C
2
NMC
2
P

= NMP

.
Los dos resultados anteriores son
NMPP

= NMC
1
P

2
y NMP

= NMP

C
2

2
1.2. RAZ

ON CRUZADA 25
Multiplicando adecuadamente:
NMPP

NMP

= NMC
1
P

2
NMP

C
2

2
= (NMC
1
P

NMP

C
2
)
2
Usando el teorema 3
NMPP

= NMC
1
C
2

2
Los calculos anteriores muestran que la raz on cruzada NMPP

es el cuadrado de
la razon cruzada NMC
1
C
2
.
Para el razonamiento anterior utilizamos puntos sobre la lnea de los centros, con lo
que podemos asegurar que si tomamos cualquier otro punto Q sobre la circunferencia de
la familia ( que pasa por P, entonces el punto Q tambien est a sobre la circunferencia f de
la familia T. Al invertir Q respecto a g
1
obtenemos un punto Q

sobre la circunferencia g

que pasa por P

pero sin salirse de la circunferencia f. Al volver a invertir a f respecto a


g
2
, el punto Q

va al punto Q

sobre las circunferencias f y g

; para el punto Q se cumple


que
NMQQ

= NMC
1
C
2

2
.
Existe una circunferencia de la familia T que bajo inversion manda al eje radical de esta
familia en la circunferencia f. En particular esto se cumple para la unica circunferencia
de la familia T que es ortogonal a la lnea de los centros de la familia (.
La razon cruzada de cinco puntos sobre una circunferencia tambien cumple una propiedad
an aloga a la del teorema 3: A

= A

. Para demostrarlo
tomamos a A, B, C, D y E como los puntos de una hilera y los invertimos respecto a
una circunferencia, y como la inversi on preserva la raz on cruzada, y la hilera se invierte
en cinco puntos sobre una circunferencia, tambien se cumple la propiedad para los puntos
sobre la circunferencia.
Figura 42
26 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
En esta seccion denimos la razon cruzada de cuatro puntos sobre una circunferencia
como la raz on cruzada de un haz con vertice en un punto sobre la circunferencia que
pasa por los cuatro puntos. Ahora demostraremos que la razon cruzada tambien se puede
calcular a partir de las longitudes de las cuerdas que unen a los cuatro puntos.
Proposicion 1 Si A, B, C y D son cuatro puntos distintos sobre una circunferencia,
entonces
ABCD = e(
AC/CB
AD/DB
),
donde AC, CB, AD y DB son las longitudes de las cuerdas y e toma el valor de 1 o 1
seg un si los pares A, B y C, D estan o no separados entre s.
Para demostrar la proposicion usaremos la ley de senos que enunciaremos a contin-
uaci on para un tri angulo ABC circunscrito en una circunferencia con centro O y radio
r:
a
sen
=
b
sen
=
c
sen
= 2r.
Para demostrar la proposici on tomemos el punto O como vertice del haz de lneas OA
OB OC OD y aplicando la ley de senos tenemos
AC/CB
AD/DB
=
2r sen AOC/2r sen COB
2r sen AOD/2r sen DOB
Figura 43
donde AC, CB, AD y DB son las longitudes de las cuerdas. Finalmente, eliminando
el termino 2r tenemos que:
AC/CB
AD/DB
= ABCD.
1.3. LA M

ETRICA HIPERB

OLICA 27
1.3 La metrica hiperb olica
Tomemos un disco y cualquier circunferencia ortogonal a el. Si invertimos este disco
respecto a esta circunferencia, sabemos que los puntos del disco incluidos los de su frontera
se quedan invariantes. A los puntos de este disco los denotaremos por D.
De la misma manera si tomamos a cualquier circunferencia ortogonal a una recta dada
H, e invertimos a los puntos del semiplano que determina H respecto a esta circunferencia,
los puntos del semiplano y los puntos sobre H se quedan invariantes bajo la transformacin.
A los puntos del semiplano eterminado por H los denotaremos por H.
Es importante notar que ninguno de nuestros modelos contiene a su frontera; es decir,
ni la frontera del disco ni la lnea H contienen puntos de nuestro espacio. Posteriormente
nos referiremos a ellos con frecuencia porque en ambos modelos, estos puntos, forman las
lneas al innito.
Figura
Dado que en usaremos indistintamente ambos modelos mostraremos que mediante dos
inversiones podemos pasar del modelo del disco al del semiplano y viceversa.
Dado que es muy com un trabajar la geometra hiperolica en el plano de los n umeros
complejos y que en este caso se acostumbra utilizar el semiplano superior como H y al
disco unitario como D, haremos esta construccion para una circunferencia unitaria y una
recta que pasa por el centro; como en este captulo no usamos coordenadas, puede ser
cualquier disco y cualquier semiplano.
Sabemos como invertir una recta en una circunferencia y como invertir una circunfe-
rencia en una recta; en particular tomaremos el disco unitario D y lo invertiremos respecto
a una circunferencia con centro en el polo norte de D y radio

2.
28 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
La frontera de D se invierte en la lnea H que pasa por el centro de D, los puntos
de D que estan en el interior de la circunferencia de inversi on, se invierten en los puntos
del semiplano inferior de H fuera de D; y, los puntos que est an dentro de D y fuera de
la circunferencia de inversion se invierten en los puntos del semiplano inferior dentro de
D. De modo que la imagen del disco bajo la inversi on es el semiplano inferior. Ahora
debemos invertir respecto a H, ya que nos interesa preservar la orientaci on y porque nos
interesa obtener el modelo del semiplano superior. Con lo anterior, tenemos el modelo
llamado H del semiplano superior determinado por H.
Figura
Para pasar del semiplano superior al disco, debemos hacer las mismas inversiones pero
en el orden contario para preservar la orientaci on.
Esto es, ahora debemos invertir primero respecto a H entonces el semiplano superior
se invierte en el semiplano inferior y despues al invertir respecto a la circunferencia con
centro en el polo norte y radio

2, los puntos del semiplano inferior se invierten en los


puntos del interior de D.
Figura
1.4. DISTANCIA 29
Si en el modelo del disco tomamos una circunferencia ortogonal a la frontera de D, al
invertir a D y pasar al semiplano, la circunferencia ortogonal tambien se invierte en una
circunferencia ortogonal a H. Del mismo modo, si tomamos circunferencias ortogonales
en el modelo del semiplano y al invertir pasamos al modelo del disco, las circunferencias
se invierten en circunferencias ortogonales en D.
1.4 Distancia
En esta secci on vamos a denir una distancia hiperb olica o metrica hiperb olica adecuada
para esta geometra. Recordemos que en la geometra euclideana las reexiones preservan
la distancia y cualquier isometra se puede construir a partir de composiciones de reex-
iones. Tomando esta idea queremos denir una distancia que se preserve bajo inversiones;
es decir, que la distancia entre dos puntos sea la misma que que la distancia entre sus
inversos. La distancia euclideana no cumple esta propiedad.
Adem as queremos que las reexiones preserven la distancia, por lo que s olo consider-
aremos circunferencias ortogonales a la frontera del espacio. En otras palabras, queremos
que todas las inversiones que dejaron jos a D o a H sean isometras.
Para denir esta distancia trabajaremos en el modelo Hy posteriormente demostraremos
que la distancia en ambos modelos es la misma si transformamos uno en el otro, como lo
explicamos anteriormente.
Tomamos todas las circunferencias ortogonales a H que pasan por un punto P en
H, todas estas circunferencias se intersectan tambien en un punto Q que es el inverso
de P respecto a H y por lo tanto forman una familia coaxial T de circunferencias que
se intersectan en dos puntos. Como nos interesa lo que pasa en H, dibujaremos s olo las
semicircunferencias contenidas en H. Tambien consideremos una circunferencia g de la
familia ortogonal a la familia T; al inveretir g respecto a cada una de las circunferencias
de T se quedar invariante.
Sean Q y Q

cualesquiera dos puntos sobre g, la recta euclideana que los une corta a H
en un punto, los puntos Q y Q

son inversos respecto a la circunferencia que tiene centro


en ese punto y que pasa por P. Si la recta euclideana QQ

es paralela a H, entonces los


puntos son inversos respecto al eje radical de la familia T.
Nuestra hip otesis importante es que la distancia hiperbolica se preserva bajo inversi on,
entonces la distancia del punto P a cualquier punto sobre g es la misma; por lo tanto, P
es el centro de la circunferencia g y le llamaremos centro hiperb olico. Notese que el centro
hiperb olico no coincide con el centro euclideano, pues los segmentos de circunferencias que
pasan por P y que quedan en el interior de g cumplen exactamente con lo que cumplen
30 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
los di ametros en una circunferencia euclideana: son ortogonales a la circunferencia, pasan
por el centro y todos miden lo mismo.
Figura
1.5 Distancia entre dos puntos sobre una recta ver-
tical
Primero deniremos la distancia para puntos sobre una recta vertical para despues
generalizar la denicion para cualesquiera dos puntos en el plano.
Tomemos a la recta H que dejamos invariante y a la lnea ortogonal a H que pasa
por P. Si llamamos O al punto de intersecci on de las lneas H y y nos jamos en la
intersecci on de g con quedan determinados los puntos A y B. Notemos que P con la
metrica hiperbolica es el punto medio de AB, pues es el centro de la cirunferencia con
di ametro AB; sin embargo, con la metrica euclideana OP es la media geometrica de OA
y OB; esto es: OA OB = (OP)
2
, ya que A y B son puntos inversos respecto a la
circunferencia con centro en O que pasa por P.
1.5. DISTANCIA ENTRE DOS PUNTOS SOBRE UNA RECTA VERTICAL 31
Figura
Ahora invertiremos a la circunferencia g con centro hiperbolico P respecto a una
circunferencia ortogonal a H que pase por A y que tenga centro en O. La circunferencia
g se invierte en otra circunferencia con centro en el inverso P

de P, es decir que centros


hiperb olicos se invierten en centros hiperb olicos; ya que como por hipotesis la metrica que
vamos a denir se preseva bajo inversi on, tambien P

A = PA. Adem as el punto B se


invirti o en A

.
Ya sabamos que PA = PB y como nuestra metrica se preserva bajo inversi on, tambien
P

= P

A = PA = PB. Volvamos a invertir a la circunferencia g, ahora respecto a


una circunferencia ortogonal a H con centro en O y que pase por B, g se invierte en otra
circunferencia con centro P

que es el inverso de P y el punto A se invirti o en A

; y dada
la metrica se cumple que: P

B = P

= PB.
Supongamos que la distancia euclideana de O al punto B es 1 y que la de O al punto
P es 2, por propiedades de inversion el punto P

, que es el inverso de P respecto a la


circunferencia que pasa por B, esta en el 1/2 y P

est a en el 8. De la misma manera, el


punto A est a en el 4, A

est a en el 1/4 y A

est a en el 16.
Comprobaremos lo anterior para los puntos A y P

, para los otros puntos el razon-


amiento es analogo.
Como B est a en el 1 y P en el 2 y sabemos que el centro hiperbolico es la media
geometrica de las longitudes euclideanas OB y OA, entonces OA debe medir 4 y OP

8.
Por lo que acabamos de ver, las distancias hiperb olicas del 16 al 8, del 8 al 4, del 4 al
2, del 2 al 1, del 1 al 1/2, del 1/2 al 1/4, son iguales.
Si en vez de poner al punto P en el 2, lo ponemos en k y al punto B lo dejamos en el
1, podemos dar la relaci on de los puntos en la recta de tal forma que el punto A es k
2
, el
punto P

es 1/k = k

1, el punto A

es 1/k
2
= k

2, P

= k
3
, A

= k
4
y as sucesivamente.
Podemos repetir el proceso de invertir circunferencias hacia arriba y hacia abajo muchas
32 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
veces y obtendremos que la distancia hiperbolica entre dos potencias consecutivas de k es
la misma.
Nuestra intenci on es denir una distancia, es decir una funci on d que cumpla que:
1. d(AB) 0 y d(AB) = 0 A = B.
2. d(AB) = d(BA).
3. d(AB) d(AC) + d(CB) y d(AB) = d(AC) + d(CB) para puntos colineales.
Queremos saber como denir la distancia entre dos puntos en el modelo del plano
hiperb olico y hasta el momento lo que sabemos en que sobre una recta vertical, la distancia
entre dos potencias consecutivas de k es la misma; queremos conservar esta condici on
adem as de las tres propiedades que acabamos de mencionar que denen a la distancia.
La distancia euclideana no nos sirve porque: k
1
k
0
= k 1 ,= 1 1/k = k
0
k 1.
Pareciera que nos conviene tomar el cociente de las distancias euclideanas de los puntos a
H, pues queremos que la distancia entre dos potencias consecutvas sea la misma; es decir,
queremos que:
k
n+1
k
n
para toda n. Este cociente siempre es positivo, pero no cumple que
es igual a cero si y solo si los dos puntos son el mismo, puesto que:
k
n
k
n
= 0 ,= 1.
La segunda propiedad de la distancia tampoco se cumple, ya que: k =
k
n+1
k
n
,=
k
n
k
n+1
=
1
k
Tampoco se cumple que la distancia sea aditiva para puntos colineales; es decir, no se
cumple que: d(AB) = d(AC) + d(CB). Si p > q > r, entonces:
d(k
p
, k
q
) =
k
p
k
q
= k
pq
yd(k
q
, k
r
) =
k
q
k
r
= k
qr
pero
d(k
p
, k
r
) =
k
p
k
r
lo que implica que la distancia as denida no es aditiva para puntos colineales, pues:
k
pq
+ k
qr
,= k
pr
. Sin embargo se ve que: k
pq
k
qr
= k
pr
.
Notemos que en la expresion anterior los exponentes son aditivos lo que sugiere que,
si queremos que la distancia sea aditiva, tomemos el logaritmo base k del cociente entre
dos potencias de k y as s olo quedarnos con los exponentes. Tendremos que tomar el valos
absoluto para que se cumpla que: d(k
p
, k
q
) = d(k
q
, k
p
).
Si en general denimos a la distancia entre dos puntos sobre la recta como el valor
absoluto del logaritmo del cociente, tenemos que:
d(k
p
, k
q
) = [ log
k
(k
p
/k
q
)[ = [ log
k
(k
p
) log
k
(k
q
)[ = [p q[
1.5. DISTANCIA ENTRE DOS PUNTOS SOBRE UNA RECTA VERTICAL 33
cumple que la distancia entre potencias consecutvas de k siempre sea la misma y ademas
es exactamente 1, tambien cumplen las tres propiedades de distancia; pero, no podemos
comprobar la desigualdad del tri angulo para puntos no colineales.
Entonces, para cualesquiera dos puntos P y Q sobre denimos la distancia como:
d(P, Q) = [ log
k
(P/Q)[ = [ log
k
(P) log
k
(Q)[
puesto que a P lo podemos expresar como:k
log
k
(P)
.
Observemos que la distancia que acabamos de denir cumple las propiedades de dis-
tancia para cualquier k y, que tomando el logaritmo base k la distancia entre el 1 y k es
1. Es mas com un tomar el logaritmo natural (base e), con lo cual es conveniente tomar
k = e; entonces, la distancia hiperb olica entre dos puntos sobre una recta vertical es:
d(P, Q) = [ log(P/Q)[o[ log(P) log(Q)[
Es importante notar que la distancia de cualquier punto a la lnea H es innita:
recordemos que d(P, Q) = [ log(P/Q)[ si hacemos tender Q a cero, tenemos que:
lim
Q0
log(P/Q) =
Geometricamente construimos la metrica hiperb olica invirtiendo una circunferencia
respecto a varias circunferencias ortogonales a H y, bajo la hipotesis de que la inversi on
preserva distancias. Si repetimos este proceso hacia abajo, para acercarnos a la lnea H
cada vez nos acercamos m as lentamente a H, podremos repetir el proceso de inversi on
una innidad de veces sin llegar a H.
Figura
34 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
1.6 Distancia entre dos puntos cualesquiera en H
Una vez habiendo denido la distancia entre puntos sobre una recta vertical, estamos en
condiciones de generalizar esta denici on para cualesquiera dos puntos en H.
Tomemos cualesquiera dos puntos P y Q sobre el plano superior denido por H,
tracemos la circunferencia ( ortogonal a H que pasa por P y por Q. Sean A y B los
puntos de intersecci on de la circunferencia ( con H, invertimos a esta circunferencia
respecto a otra circunferencia con centro en B y que pase por A. La imagen de ( es una
recta ortogonal a H que pasa por A, las imagenes de P y Q son dos puntos P

y Q

sobre
esa recta.
La distancia entre P y Q debe ser la misma que la distancia entre sus im agenes P

y
Q

, usando la distancia denida anteriormente podemos medir su distancia, ya que dichos


puntos est an en una recta vertical; esto es: d(PQ) = d(P

) = [ log(P

/Q

)[.
Figura
Comprobemos que esta denici on es efectivamente una distancia y que cumple las tres
propiedades siguientes:
1. d(PQ) 0 y d(PQ) = 0 P = Q
2. d(PQ) = d(QP)
3. d(PQ) d(PR) + d(RQ)
La propiedad 1 se cumple: la distancia siempre es mayor que cero puesto que la
denimos con valor absoluto.
1.6. DISTANCIA ENTRE DOS PUNTOS CUALESQUIERA EN H 35
Tambien se cumple que si P = Q, entonces P

= Q

; ya que si d(PP) = 0 = d(PQ),


tenemos que d(PQ) = 0, tambien d(P

) = 0 lo que implica que log(P

) = log(Q

) y por
lo tanto P

= Q

.
La propiedad 2 se cumple ya que: d(PQ) = d(P

) = [ log(P

) log(Q

)[ = [ log(Q

)
log(P

)[ = d(Q

) = d(QP).
Finalmente, para demostrar la desigualdad del triangulo tomamos cualquier otro punto
R en el plano (en este caso tomamos a R dentro de la circunferencia () y lo invertimos
respecto a la circunferencia con centro en B que pasa por A, su imagen es un punto
R

que no esta sobre la recta P

. Para calcular la distancia de P

a R

y de Q

a R

tomamos a la circunferencia con centro hiperb olico en Q

que pasa por R

, el punto donde
esta circunferencia intersecte a la recta P

ser a R

; como R

y R

est an sobre una


circunferencia con centro hiperb olico en Q

, sus distancias al centro son iguales (R

y
R

son radios). Analogamente, trazamos la circunferencia con centro hiperbolico en P

que pase por R

, el punto R

es el punto de intersecci on de la circunferencia con la recta


P

.
Figura
Los puntos anteriores cumplen que:
d(PR) + d(RQ) = d(P

) + d(R

) = d(P

) + d(R

)
pero
d(P

) + d(R

) = d(P

) + d(R

) + d(R

) + d(R

)
reacomodando los terminos:
d(P

) + d(R

) + d(R

) + d(R

) = d(P

) + d(R

)
36 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
por lo tanto se cumple:
d(PR) + d(RQ) = d(P

) + d(R

) d(P

) = d(PQ)
Para saber cu ando se cumple la igualdad en la desigualdad del triangulo, tomemos al
punto R sobre la circunferencia (. Al invertirlo su imagen R

est a sobre la recta P

y se
cumple que: d(PQ) = d(PR) +D(RQ); es decir, se cumple la igualdad en la desigualdad
del tri angulo. Por lo tanto la circunferencia ortogonal a H que pasa por P y por Q es
el camino m as corto entre estos dos puntos. Las circunferencias ortogonales a H, para el
modelo del semiplano, son consideradas las rectas de este modelo; les llamaremos lneas
hiperbolicas.
Figura
1.7 Distancia hiperbolica
Hemos denido la distancia para cualesquiera dos puntos en H pero, a pesar de que la
distancia esta bien denida, el procedimiento para medir es complicado pues si queremos
saber cu al es la distancia entre dos puntos es necesario primero invertirlos en dos puntos
sobre una recta vertical y en este caso, ya podemos calcular la distancia hiperbolica a
partir de las distancias euclideanas de los puntos a la recta H.
Ahora vamos a denir la distancia de tal forma que podamos calcular la distancia
hiperb olica entre dos puntos, en terminos de distancias euclideanas, sin necesidad de
invertir.
Sean P y Q dos puntos en H y sean A y B los puntos de intersecci on de la lnea H
con la circunferencia ( ortogonal a H que pasa por P y por Q. En la secci on anterior
invertimos a ( respecto a una circunferencia con centro en B que pasa por A: vimos que
1.7. DISTANCIA HIPERB

OLICA 37
la imagen de la circunferencia ( es la recta , la imagen de P y Q son los puntos P

y Q

,
la imagen de A es el mismo y la de B es el punto al innito.
Figura
Como ya explicamos algunas propiedades de la raz on cruzada, como que se preserva
bajo inversion, entonces tenemos que se cumple que:
ABPQ = AP

=
AP

/P

AQ

/Q

=
P

Denimos la distancia de P

a Q

como [ log(P

/Q

)[, pero acabamos de demostrar que


P

/Q

= ABPQ, por lo tanto podemos denir la distancia hiperb olica como: d(PQ) =
[ log(ABPQ)[ donde ABPQ es la raz on cruzada de cuatro puntos cclicos; ademas
P y Q son puntos en el plano y A y B son puntos sobre H. Denimos tambien, la
raz on cruzada para puntos cclicos a partir de las longitudes de las cuerdas; de modo que,
ahora podemos calcular la distancia hiperb olica entre dos puntos mediante las medidas
euclideanas de las cuerdas AP, PB, AQ y QB. Es decir que la distancia hiperb olica entre
P y Q es:
d(PQ) = [ log(
AP/PB
AQ/QB
)[
Debido a que hemos logrado calcular la distanca hiperb olica en terminos de la raz on
cruzada, es posible retomar las propiedades que expusimos anteriormente y tener resulta-
dos importantes como los siguientes:
Proposicion 2 La distancia denida con la razon cruzada es aditiva para puntos colin-
eales.
38 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
Sean P, Q y R puntos en H, y sean A y B los extremos de la lnea hiperb olica que los
contiene; entonces, se cumple la siguiente propiedad en el espacio hiperbolico:
ABPQ ABQR = ABPR
log(ABPQ ABQR) = log(ABPR)
log(ABPQ) + log(ABQR) = log(ABPR)
Figura
Proposicion 3 Si tomamos dos lneas hiperbolicas que se intersectan en un punto C, y
a los puntos A, B y P como se ilustra en la gura; entonces C es el punto medio del
segmento PP

.
Las lneas hiperb olicas que se intersectan en C son dos semicircunferencias con centro
sobre H, invertimos a P respecto a la lnea hiperb olica que no pasa por AB y su imagen
es un punto P

; una de las propiedades que heredamos de la raz on cruzada para puntos


hiperb olicos es que se preserva bajo inversi on, por lo que tenemos que:
d(PC) = log(ABPC = log(ABCP

) = D(CP

)
log(ABPC
2
) = log(ABPP

)
2 log(ABPC) = log(ABPP

)
2d(PC) = d(PP

)
1.7. DISTANCIA HIPERB

OLICA 39
Figura
Proposicion 4 Si tomamos dos lneas hiperbolicas ajenas y la ortogonal com un a ambas
lneas, y a los puntos A, P, C y D como se muestra en la gura; entonces la distancia de
P a su imagen P

bajo la inversion respecto a las lneas hiperbolicas ajenas, es el doble


de la distancia de C a D.
Figura
Invertimos a P respecto a la lnea que pasa por C y obtenemos su imagen P

, ahora
invertimos P

respecto a la lnea que pasa por D y obtenemos P

. Con las propiedades


de razon cruzada tenemos que:
d(PP

) = logABPC + logABCP

+ logABP

D + logABDP

Como C es punto medio de PP

y D es punto medio de P

podemos escribir la ecuaci on


anterior como sigue:
40 CAP

ITULO 1. GEOMETR

IA HIPERB

OLICA ELEMENTAL
d(PP

) = logABCP

+ logABP

D + logABCP

+ logABP

D
= d(CD) + d(CD)
d(PP

) = 2d(CD)
1.8 Distancia en D
Hemos explicado que por medio de la inversi on podemos pasar del modelo del semiplano
superior H al modelo del disco D y viceversa. Denimos una distancia hiperb olica uti-
lizando el modelo H y mencionamos que la denici on es independiente del modelo en el que
estemos trabajando; vericaremos que efectivamente puedo mandar lneas hiperbolicas en
el modelo H en lneas hiperb olicas en D y que se sigue cumpliendo la denicion de distancia
en ambos modelos.
Primero vamos a invertir a la lnea hiperbolica que pasa por los puntos P y Q en
el semiplano superior respecto a la lnea H que lo dene. Como nos interesa preservar
orientaci on, debemos invertir un n umero par de veces para que esto ocurra. La imagen de
la lnea es la que esta en el semiplano inferior y que pasa por los respectivos inversos P

y Q

de los puntos P y Q, ahora invertimos a la lnea P

respecto a la circunferencia
con centro en el polo norte de D y obtenemos a la lnea P

en el interior de D.
Si en el modelo del semiplano H los puntos A, B, P y Q cumplen que d(PQ) =
[ logABPQ[, entonces los puntos dentro del modelo del disco tambien cumplen que:
d(P

) = [ logA

[ ya que la inversi on preserva la raz on cruzada; y por lo tanto


se cumple la denici on de distancia en cualquiera de los dos modelos.
De ahora en adelante trabajaremos tanto en el modelo D como en H, usaremos in-
distintamente un modelo u otro y lo haremos unicamente con la nalidad de ilustrar los
resultados que iremos exponiendo; es decir, usaremos un modelo particular, aquel en el
que sea m as sencillo exponer un resultado.
Captulo 2
El grupo de Mobius Hiperbolico
En esta secci on haremos una descripci on del grupo de transformaciones del plano hiperbolico.
Como antes, / denotar a una lnea y ( una circunferencia con centro en un punto O E
2
y radio R > 0.
2.1 Reexiones y el grupo completo de Mobius hiperb olico
2.2 Propiedades geometricas de las reexiones
2.3 Transformaciones de Mobius elementales
2.4 El grupo de Mobius hiperbolico Mob
+
(H)
2.5 Isometras hiperb olicas
Construimos la metrica hiperbolica de tal manera que las inversiones que son las reexiones
en las lneas hiperb olicas son isometras, pero una reexion cambia el sentido de los
angulos; as que en esta parte vamos a estudiar a las isometras que preservan el sentido
de los angulos, estas se llaman isometras conformes.
Cabe hacer notar que si una reexi on cambia el sentido de los angulos, entonces la
composici on de dos o de un n umero par de reexiones preservaran la orientacion.
Analicemos que pasa al invertir en dos lneas hiperb olicas; es decir, dado un punto P
en el plano hiperb olico queremos saber cu al es su imagen al reejarlos en dos lneas. Para
lo cual usaremos regla y compas, y las construcciones auxiliares.
41
42 CAP

ITULO 2. EL GRUPO DE M

OBIUS HIPERB

OLICO
Observemos que tenemos tres casos: cuando las lneas que utilizaremos como ejes de
reexi on, no se intersectan, cuando son estrictamente paralelas y, cuando dichas lneas
son ultraparaleas.
Caso I.
En este caso las lneas y m se intersectan en el punto jo N. Si tomamos cualquier
otro punto P en el interior de D siempre podemos encontrar una circunferencia g de la
familia coaxial ortogonal a y m que pase por P; demostramos que al invertir a P respecto
a y m en ese orden, la imagen de P permanece sobre g recorriendo dos veces el angulo
entre y m. Es decir, tenemos una rotacion de los puntos del disco alrededor del punto
N. Si invertimos cambiando el orden, primero en m y luego en , la rotaci on ser a en
sentido contrario al anterior. Esta transformacion se llama transformacion elptica.
Figura
Caso II.
Sea N el punto en la frontera en donde se cortan las lneas y m. Invertimos a D
respecto a una circunferencia ( con centro en N y con radio igual al di ametro del disco
D; la frontera del disco de invierte en una recta H, el punto N se inverte en el punto al
innito y, las lneas de la familia T a la que pertenecen y m se invierten en la familia de
rectas euclideanas ortogonales a H. La familia de circunferencias ortogonales ( se invierte
en la familia de rectas euclideanas paralelas a H.
Tomemos un punto P en el interior de D el cual est a sobre una circunferencia f de la
familia de circunferencias T y en una circunferencia g de la familia (. Al invertir respecto
a cualquier lnea de la familia T, la imagen de P es un punto P

que permanece sobre g.


Ahora al invertir respecto a (, las lneas f, y m se invierten en las respectivas rectas

f,

l y m que son ortogonales a la lnea H. Para determinar exactamente cual es la imagen
2.5. ISOMETR

IAS HIPERB

OLICAS 43
de estas lneas basta ver a donde se invierten sus extremos distintos de N, como se muestra
en la gura. Reejando

f respecto a

l y m, obtenemos otra recta

f

cuya imagen en el
disco es una lnea f

. Finalmente el punto P

est a en la intersecci on de f

con g.
En este caso tenemos un unico punto jo N y que al igual que el caso lmite de las
familias de circunferencias coaxiales, es un punto silla. Esta transformaci on se llama
transformacion parabolica.
Figura
Caso III.
En este caso tomamos la perpendicular com un a las lneas y m la cual intersecta
a la frontera de D en los puntos N y M. Por lo que explicamos sobre circunferencias
coaxiales, sabemos que el punto M es un punto atractor mientras que N es un punto
repulsor. Tomemos un punto P sobre la perpendicular com un y lo invertimos respecto a
y m, respetando el orden de inversi on, entonces sabemos tambien que d(PP

) = 2d(CD)
como ya lo demostramos antes.
Si el punto P es cualquier punto en el interior de D este se invierte en un punto P

,
ambos sobre la misma circunferencia f de la familia coaxial que pasa por los puntos N y
M. Tracemos la lnea ortogonal a la lnea NM que pasa por P la cual determina un punto
Q sobre NM, sabemos que efecto tiene la transformacion en Q puesto que est a sobre la
lnea NM; sea entonces Q

la imagen de Q, y trazamos la ortogonal a NM que pasa por


Q

y en la interseccion de esta lnea con f estar el punto P

. A esta transformacion le
llamamos transformacion hiperbolica.
44 CAP

ITULO 2. EL GRUPO DE M

OBIUS HIPERB

OLICO
Figura
La circunferencia f que utilizamos como auxiliar en la construccion anterior es eu-
clideana, pero desde el punto de vista hiperbolico f no es ni una lnea ni una circunferen-
cia.
Todas las transformaciones que se pueden hacer componiendo dos reexiones tienen
estructura de grupo:
Si invertimos dos veces respecto a la misma lnea obtenemos la identidad.
Dado que una inversion es su propia funcion inversa, si aplicamos la operaci on en
el orden contrario, obtenemos la transformaci on inversa; esto es: (f g)
1
= g f.
La propiedad asociativa se hereda del hecho de que todas las funciones son asocia-
tivas.
Que la composicion de las transformaciones sea cerrada en este caso quiere decir que al
componer dos funciones de este tipo realizamos cuatro inversiones. Debemos comprobar
que hacer esto es una transformaci on dentro del grupo; es decir, que podemos obtener el
mismo resultado con s olo dos reexiones.
Un primer paso para demostrar este hecho es notar que dos puntos denen totalmente
a una transformaci on que preserva distancias y angulos con orientaci on; es decir, denen
una isometra conforme.
Sean P y Q dos puntos y P

y Q

sus im agenes, tomemos cualquier otro punto S en el


espacio; la imagen S

de S dista de P

y Q

lo mismo que S dista de P y Q. S olo hay dos


puntos en el espacio que cumplen con esta propiedad y que son las intersecciones de la
2.5. ISOMETR

IAS HIPERB

OLICAS 45
circunferencia con centro en P

y radio PS con la circunferencia con centro en Q

y radio
QS. La orientacion nos permite saber cual de los dos es el punto indicado.
Sean P

y Q

las im agenes de P y Q despues de aplicarles a estos cualquier n umero


par de reexiones, tenemos que demostrar que podemos llevar P

a P y Q

a Q con solo
dos reexiones.
Figura
Tracemos la lnea PP

y su mediatriz e invertimos el segmento P

respecto a la
mediatriz, el punto P

se invierte en P y el punto Q

en Q

. Ahora tracemos la lnea PQ

y la bisectriz del angulo Q

PQ, al invertir el segmento PQ

respecto a la bisectriz el
punto P se invierte en s mismo y el punto Q

se invierte exactamente en el punto Q.


Notemos que para la construccion anterior tomamos dos segmentos arbitrarios y con
s olo dos reexiones mandamos a uno en el otro, que es lo que se quera demostrar; por lo
tanto, la composicion de dos reexiones es una transformaci on dentro del grupo y por lo
tanto las isometras conformes tienen estructura de grupo.
46 CAP

ITULO 2. EL GRUPO DE M

OBIUS HIPERB

OLICO
Captulo 3
Dinamica de transformaciones de
Mobius hiperb olicas
En esta secci on estudiaremos propiedades din amicas del grupo de transformaciones del
plano hiperbolico.
3.1 La acci on de Mob
+
(H) en H
La aplicacion Mob
+
(H) H H denida por
(, P) P := (P)
satisface las siguientes propiedades:
a. id P = P para toda P H.
b. (
2

1
) P =
2
(
1
P), para toda
1
,
2
Mob
+
(H) y para toda P H.
En esta situaci on se dice que Mob
+
(H) act ua (por la izquierda) en H. Al espacio H
con la acci on de Mob
+
(H) le llamaremos un Mob
+
(H)espacio.
Denici on 4 Si P H, denimos la orbita de P bajo la accion de Mob
+
(H) como
O(P) := Mob
+
(H) P := (P) : Mob
+
(H).
Esta noci on nos permite denir una relaci on de equivalencia en H: P Q si y s olo
si existe Mob
+
(H) tal que Q = (P). Observemos que las clases de equivalencia
47
48CAP

ITULO3. DIN

AMICADE TRANSFORMACIONES DE M

OBIUS HIPERB

OLICAS
bajo esta relaci on son las orbitas de puntos en H bajo la acci on de Mob
+
(H). Entonces,
las Mob
+
(H) orbitas nos determinan una partici on de H en subconjuntos ajenos. De-
notaremos por H/Mob
+
(H) al conjunto que consta de todas las Mob
+
(H) orbitas y por
: H H/Mob
+
(H) a la transformaci on que a cada punto P H le asocia su orbita
O(P).
Denici on 5 Si P H, denimos el estabilizador (subgrupo de isotropa) de P como
Stab(P) = Mob
+
(H)
P
:= Mob
+
(H) : (P) = P.
Una primera observaci on importante es que Stab(P) Mob
+
(H) es un subgrupo.
3.2 Dinamica de transformaciones elementales
3.2.1 Transformaciones parabolicas
3.2.2 Transformaciones elpticas
3.2.3 Transformaciones hiperbolicas