Está en la página 1de 89

EL MUNDO DE HIPERB

OLICO
Una Introducci on a la geometra de Lobachevski.
Juan Jose Rivaud
2
Presentaci on
En 1999, la Sociedad Matem atica Mexicana me invit o a dar, en su con-
greso nacional, una conferencia plenaria sobre este tema, cuyo borrador es
el origen del presente trabajo. Posteriormente, dicho escrito aument o su
tama no considerablemente (todava no se si para bien o para mal) producto
de impartir diversos cursillos sobre el mismo asunto; el ultimo, en el 2001, en
la Semana de las Matem aticas, que organiza el departamento de la U.A.M.-
Iztapalapa.
Nuestra intenci on es que el lector tenga la sensaci on que la situaci on
geometrica con la que est a lidiando es real, que lo que se cuenta es algo que
est a pasando, o pas o, en este mundo, o en uno muy parecido. Por supuesto,
sin que deje de ser matem aticas, m as precisamente geometra.
En nuestro tratamiento no nos limitamos al uso de herramientas ge-
ometricas, o de cualquier otra ndole, sino que, en cada momento, echamos
mano de lo que nos permite seguir el camino m as simple y directo; aunque
hay que admitir un sesgo hacia la utilizaci on del c alculo diferencial e integral,
que, junto con algunos resultados geometricos muy simples, constituyen los
unicos prerrequisitos (una buena referencia para los resultados de c alculo
que se usan son los dos volumenes de la obra Introducci on al C alculo y al
an alisis matem atico de R. Courant y F. John, Limusa, 1971, pero tambien
aparecen en cualquier otro texto sobre la materia).
Los temas tratados fueron elegidos para que el lector que quiere asomarse
al tema, sepa de que se trata y obtenga, en pocas p aginas, una visi on de
conjunto sucientemente amplia. Por supuesto, m odulo los gustos personales
del que escribe.
A traves de diversas lecturas ocasionales, que empezaron hace mucho
tiempo, y que, aunque parezca contradictorio, fueron cuidadosas, pero pro-
fundamente desordenadas, fui haciendo mo el material y elaborando mi
propio acercamiento al tema, para al nal darme cuenta que este punto de
vista es compartido con muchos m as. Espero que estas p aginas hagan que
este crculo crezca.
Por ultimo, expreso mi agradecimiento a los colegas y amigos Carlos
3
4 Presentaci on
Imaz, Gerardo Hern andez, Ana Irene Ramrez, Sonia Ursini y Laura Hidal-
go, quienes, en distintas etapas de la elaboraci on del trabajo, lo leyeron,
se nalaron errores e hicieron sugerencias y comentarios.
Las lecturas arriba mencionadas corresponden a:
Efimov, N.V., Higher Geometry. Mir Publishers Moscow. (hay versi on
en espa nol)
Meschkowski, H., Non euclidean Geometry. Academic Press, New
York and London 1964.
Smogorzhevski, A.S., Acerca de la Geometra de Lobachevski, Edito-
rial MIR, Mosc u, 1978.
Thurston, W., Three Dimensional Geometry and Topology, Vol. 1,
Princenton Mathematical Series 35, 1997.
Stillwell, J., Geometry of Surfaces, Springer-Verlag, 1992.
4
1. Introducci on
Pensemos que el plano cartesiano es atravesado, a lo largo del eje x,
por un ducto cuya temperatura es el cero absoluto y que, producto de esta
peculiar situaci on, los seres y objetos que pueblan el semiplano superior
(y > 0) se contraen o dilatan, seg un cambia su posici on, en raz on directa
a su distancia al eje x. As pues, una bicicleta situada a una distancia uno
del eje x, cuando cambia su posici on a una distancia y
0
, nosotros la vemos,
desde fuera del semiplano, como una reproducci on a escala y
0
de si misma,
sucediendo lo mismo con cualquier otro objeto o con el hombrecillo que la
maneja (Figura 1).
Figura 1:
5
6 Las rectas de Hiperb olico
Sin embargo el hombrecillo, acostumbrado ya a los cambios de temper-
atura, no percibe ninguna diferencia. Tampoco deja de sorprendernos verlo
trasladarse apuradamente en su bicicleta de un punto a otro a lo largo de
una trayectoria que, para nuestros ojos, se aleja bastante de lo que es una
recta; sin embargo el jura y vuelve a jurar que se movi o en lnea recta (vease
la Figura 2).
Antes de seguir adelante, permtanme decirles algo acerca de nuestro
hombrecillo.

El acostumbra pasar muchas horas enfrente de su mesa llenando
hoja tras hoja de n umeros y dibujos y s olo sale en su bicicleta para comprar
m as papel y l apices. Ello le ha creado fama de ojo entre sus vecinos. Su
nombre o apodo es Hiperb olico.
El entender c omo se mueve Hiperb olico y las razones de ello, es decir, la
geometra de su mundo, es el prop osito de este trabajo. Con m as precisi on,
los seres que habitan el semiplano superior, con estas peculiares condiciones,
en forma similar a nosotros, perciben rectas, tri angulos, polgonos y toda
clase de entes geometricos, pero estos objetos geometricos se comportan en
forma muy distinta a como nos tiene acostumbrados la geometra euclidiana;
nuestro problema es comprenderlo.
Para ello contamos con nuestro conocimiento de la geometra euclidiana,
que aplicamos a los fen omenos de ese mundo tal como los ven nuestros ojos,
y con el hecho de que en el mundo de Hiperb olico el tama no de las cosas
vara proporcionalmente a la distancia al eje x.
6
2. Las rectas de Hiperb olico
Pensemos en Hiperb olico montado en su bicicleta y pedaleando a ritmo
constante, es decir, siempre el mismo n umero de pedalazos por unidad de
tiempo. Tambien imaginemos que pedaleando a este ritmo y manteniendose
a distancia uno del eje x, en una unidad de tiempo, recorre una longitud
que tanto el como nosotros estamos de acuerdo en tomar como unitaria.
En este caso, para Hiperb olico y para nosotros la velocidad a la que se
mueve la bicicleta tambien ser a unitaria, y por lo tanto, la distancia recorrida
coincidir a con el tiempo transcurrido; lo cual nos permite medir la distancia
recorrida con un reloj.
Figura 2:
7
8 Las rectas de Hiperb olico
Pero Hiperb olico puede realizar lo anterior para cualquier trayectoria,
s olo necesita mantener su ritmo de pedaleo. As, para Hiperb olico, la lon-
gitud de la trayectoria ser a igual al tiempo utilizado en recorrerla con ese
ritmo de pedaleo (Figura 2).
Para nosotros, que lo observamos desde fuera, la situaci on nos pare-
cer a muy distinta y lo veremos moverse m as r apidamente a medida que se
aleja del eje x y m as despacio cuando se acerca a el. Pero cuando nos jamos
en el ritmo del pedaleo comprendemos su apreciaci on.
Dicho de otra manera, cuando Hiperb olico se mueve, a una distancia y
del eje x, con una velocidad que el percibe como unitaria, para nosotros
se estar a moviendo a una velocidad v, cuya magnitud v s olo depende de
la distancia al eje x y en ese caso es igual a y (esto lo denotaremos como
v(y) = y). A la magnitud de la velocidad se le llama rapidez, pero algunas
veces, abusando del lenguaje, tambien le llamamos velocidad.
La pregunta, nada trivial, que nos interesa contestar en este momento
es:
Dados dos puntos P y Q, en el semiplano superior, que trayectoria
debemos seguir para, moviendonos con rapidez v(y) = y, ir de P a Q en el
menor tiempo posible? (Vease la Figura 3).
Figura 3:
Para Hiperb olico, esta trayectoria ser a el segmento de la recta de su
mundo que une P y Q y su longitud estar a dada por el tiempo utilizado
en recorrerla. Nosotros, en general no veremos un segmento recto, ni el
8
Las rectas de Hiperb olico 9
tiempo usado en recorrer la curva coincidir a con su longitud, pero el an alisis
realizado nos permitir a comprender a nuestro amigo.
El argumento que presentamos a continuaci on es esencialmente el mismo
que dio, en 1696, Johann Bermoulli, para el problema de la Braquist ocrona,
el cual es una verdadera joya del pensamiento matem atico.
Como paso previo recordemos que si tenemos dos medios
M
1
=
_
(x, y) R
2
: y > 0
_
, y M
2
=
_
(x, y) R
2
: y 0
_
en los que podemos desplazarnos con rapideces cons-tantes v
1
y v
2
respecti-
vamente, y P
1
M
1
y P
2
M
2
son dos puntos dados, entonces la trayectoria
para ir de P
1
a P
2
en el menor tiempo posible es la poligonal formada por
dos segmentos, que une a P
1
y P
2
, teniendo su vertice en el eje x y tal que
los angulos
1
y
2
, que forman los lados de la poligonal con la vertical en
dicho vertice (Figura 4), satisfacen la siguiente condici on:
sen
1
v
1
=
sen
2
v
2
Figura 4:
Esta cuesti on la plante o y resolvi o Fermat para justicar la ley de Snell,
tomando como punto de partida el principio que dice que la luz viaja de
un punto a otro en el menor tiempo posible.
9
10 Las rectas de Hiperb olico
Tradicionalmente este es uno de los primeros problemas de m aximos y
mnimos que enfrentamos en un primer curso de c alculo, por lo que omitimos
su soluci on.
De lo que acabamos de analizar se sigue claramente que si, en lugar
de dos medios, tenemos n medios M
1
, M
2
, M
3
, . . . , M
n
, limitados por rectas
paralelas al eje x, y en ellos nos desplazamos con rapideces v
1
, v
2
, . . . , v
n
,
respectivamente, entonces la trayectoria para ir de P M
1
a Q M
n
, en el
menor tiempo posible, es la poligonal descrita en la Figura 5 y que cumple
con la condici on siguiente sobre sus angulos de incidencia:
sen
1
v
1
=
sen
2
v
2
= =
sen
n
v
n
o, en forma comprimida:
sen
i
v
i
= k, i = 1, 2, , n; k constante
Figura 5:
10
Las rectas de Hiperb olico 11
Si ahora pensamos que los medios M
i
tienen un grosor innitesimal
(Figura 6), entonces la rapidez es una funci on de y que llamamos v(y) y
lo mismo el valor de angulo de incidencia (y) que es el que forma la trayec-
toria con la vertical a la altura y. O dicho en otra forma, (y) es el angulo
que forma la tangente a la trayectoria con la vertical.
Figura 6:
Y la condici on correspondiente, para la trayectoria que une P y Q, toma
la forma
sen (y)
v(y)
= k
donde k es una constante que s olo depende de P y Q.

Esta es la condici on general que J. Bernoulli obtuvo con un argumento


similar al que acabamos de dar, y que us o para encontrar en forma explcita
las trayectorias, en el caso v(y) =

gy (g es la aceleraci on producida por la
gravedad), resolviendo as el problema de la curva de descenso m as r apido
(Braquist ocrona).
Antes de seguir adelante, observemos que el angulo que forma la normal
a la trayectoria con el eje x es igual a (y) (vease la Figura 7).
Partiendo de lo anterior, nuestro caso es directo, pues como el lector
11
12 Las rectas de Hiperb olico
Figura 7:
recordar a v (y) = y lo cual hace que la condici on
sen (y)
v(y)
= k tome la forma:
sen (y) = ky,
que en el caso k = 0, recordando la denici on del seno de un angulo y
sustituyendo, nos da:
sen (y) =
y
OP
= ky
o sea,
k =
1
OP
.
Luego 0 < OP < tiene longitud constante a lo largo de la trayectoria.
Propiedad que caracteriza a las semicircunferencias con centro en el eje x.
La Figura 8 nos muestra que las circunferencias satisfacen que la dis-
tancia OP sea constante. Para demostrar que son las unicas trayectorias
con esta propiedad falta un peque no argumento que invitamos al lector a
proporcionar.
12
Las rectas de Hiperb olico 13
Figura 8:
Si k = 0, entonces (y) = 0 y nuestra trayectoria es una semirrecta
perpendicular al eje x.
Ya sabemos cu ales son las rectas de Hiperb olico! Desde nuestro punto
de vista son semirrectas perpendiculares al eje x y semicircunferencias con
centro en el eje x (Vease la Figura 9).
Figura 9:
Antes de seguir adelante, permtasenos convenir con el lector que, con
objeto de que la presencia de Hiperb olico no nos avasalle, cuando nos re-
ramos a su mundo, las rectas y circunferencias, o cualquier otro objeto en
el, antes pondremos una h, por ejemplo en lugar de la recta de Hiperb olico
que pasa por p y q escribiremos la h-recta que pasa por p y q.
13
14 Las rectas de Hiperb olico
14
3. La longitud de una curva en el
mundo de Hiperb olico
Como es de esperar, las curvas tienen distinta longitud para nosotros y
para Hiperb olico, lo cual nos sugiere preguntarnos como est an relacionadas
estas dos longitudes. Para aclarar este punto, empecemos por ver que sucede
para un segmento innitesimal de curva, que podemos tomar como un seg-
mento innitesimal de una de nuestras rectas.
Sean A y B los extremos de dicho segmento, que denotaremos por AB y
llamemos dS y dS
h
a su longitud euclidiana y h-longitud respectivamente.
Si el segmento innitesimal se encuentra a una altura uno (y = 1) entonces
dS =
_
dx
2
+ dy
2
y dS
h
tienen el mismo valor, pues a esta altura nuestro
metro y el metro de Hiperb olico miden esencialmente lo mismo. Pero a una
altura dada y, para el hombrecillo su longitud y la de su metro se han
alterado, creciendo o disminuyendo, en raz on inversamente proporcional a y
(vease Figura 10) o sea dS = ydS
h
. De donde dS
h
=
dS
y
.
De aqu obtenemos que para una curva : [a, b] R
2
+
, () = (x(), y()),
su longitud entre a y b, para Hiperb olico, es:
S
h
() (a, b) =
b
_
a
dS
d
y
d donde dS =

_
dx
d
_
2
+
_
dy
d
_
2
d
Veamos que longitud tienen las curvas m as simples: los segmentos de
recta del hombrecillo.
Empecemos por considerar el caso en que esta recta es el semieje y y
los extremos del segmento son a y b (a, b > 0). Para ello parametricemos el
segmento por : [a, b] R
2
+
donde (y) = (0, y). Su h-longitud est a dada
por:
S
h
() (a, b) =
b
_
a
1
y
dy = lnb lna = ln
b
a
.
15
16 Las rectas de Hiperb olico
Figura 10:
Notamos que esta recta se puede prolongar indenidamente tanto en
una direcci on como en la otra: a 0 o b . El caso de cualquier otra
semirrecta perpendicular al eje x es exactamente igual, pudiendose ver como
una h-recta. Tales rectas tienen longitud S
h
innita y se pueden prolongar
indenidamente en ambas direcciones.
Pensemos ahora en una circunferencia de radio r con centro en el origen.
Para ello la parametrizamos como se indica en la Figura 11.
O sea, () es la funci on : [a, b] R
2
+
denida por () =
(r cos , rsen), luego
S
h
(, ) =

dS()
d
y()
d =

sen
2
+ cos
2

rsen
d =

d
sen
.
Pero

d
sen
= ln

tan

,
luego
S
h
(, ) = ln

tan

2
tan

16
Las rectas de Hiperb olico 17
Figura 11:
Notemos que cuando o 0, la longitud S
h
(, ) tiende a
innito, es decir, tambien las h-rectas tienen longitud innita, pudiendose
prolongar en ambos lados.
De lo que acabamos de ver, en los dos ultimos incisos, acerca de las
h-rectas, podemos sacar algunas conclusiones.
i). Las h-rectas son semirrectas perpendiculares al eje x o semicircunfer-
encias con centro en el eje x (Vease Figura 9).
ii). Para Hiperb olico sus rectastienen longitud innita y se pueden
prolongar indenidamente en una y otra direcci on. Como consecuencia, para
el, el eje x es inalcanzable y, por lo tanto, est a fuera de su mundo.
iii). Dada una h-recta L y un punto P exterior a L, existen una innidad
de h-rectas que pasan por P y que no cortan a L (Figura 12), son las que
pasan por P y tienen su trazo en la parte gris de la ilustraci on. A todas
estas h-rectas las llamamos paralelas a L y las dos h-rectas que limitan la
parte blanca, reciben el nombre de hiperparalelas a L.
iv). Al igual que en el caso euclidiano las h-rectas dividen al plano en
dos partes, cada una de ellas llamada lado de la recta (Figura 13).
v). Existe una colecci on innita de h-rectas L
1
, L
2
, L
3
, . . . , L
n
, . . ., tales
que no hay dos de ellas que se intersecten y situadas de tal forma que
dada una recta L
n
todas las dem as est an del mismo lado de L
n
(Figura
17
18 Las rectas de Hiperb olico
Figura 12:
Figura 13:
14). Situaci on muy distinta a la euclidiana; el lector puede pensar en otras
situaciones que tambien dieran dr asticamente de la Euclidiana.
18
Las rectas de Hiperb olico 19
Figura 14:
Sin duda, el lector tiene varias observaciones m as del mismo estilo.
Nosotros preferimos seguir adelante discutiendo la idea de angulo y area
que tiene nuestro buen amigo.
19
20 Las rectas de Hiperb olico
20
4.

Angulos en el plano de
Hiperb olico
La idea m as elemental de angulo es la de la porci on de plano limitada por
dos semirrectas con extremo com un. Un concepto de angulo m as elaborado
es el de giro en una direcci on de una semirrecta en torno a su extremo.
Ambas ideas tambien son v alidas en la h-geometra, pero el hecho de que
sus rectas y las nuestras no coincidan (Figura 15) nos plantea algunas dudas
que tenemos que resolver.
Figura 15:
La unidad angular natural es el angulo correspondiente a un giro (en el
sentido opuesto a las manecillas del reloj) de una vuelta. Si pensamos en
que este giro lo llevamos a cabo, tanto nosotros como Hiperb olico, sujetos
a uno de los extremos de un cordel, que mantenemos tenso, y cuyo otro
21
22 Las rectas de Hiperb olico
extremo est a jo en el centro de giro y que adem as la trayectoria del giro la
recorremos con rapidez constante (Figura 16), entonces podemos comparar
o hablar de igualdad entre angulos, as como dividirlos en partes iguales,
comparando los tiempos usados en llevar a cabo los giros en cuesti on.
Figura 16:
Una pregunta que tiene sentido que nos hagamos es si, en el h-mundo, la
relaci on que guardan dos angulos no depende del radio tomado para realizar
el giro. Efectivamente, esta relaci on es independiente de la longitud del cordel
y es debido a que al mantener tenso este, todos los puntos del cordel giran,
para Hiperb olico con la misma velocidad angular.
Por diversas razones, para medir angulos, adem as de la vuelta, nosotros
usamos otras unidades, principalmente grados y radianes. La manera de
pasar de una unidad a otra es usando que una vuelta corresponde a 360
0
gra-
dos o 2 radianes. Hiperb olico puede usar estas mismas relaciones y denir
sus grados o sus radianes.
Los angulos en el h-mundo guardan una relaci on muy estrecha con los
angulos euclidianos.

Esta es:
El valor del angulo formado por dos semirrectas en el h-
mundo es el mismo que el del angulo euclidiano que forman las
tangentes a sus lados en el vertice del angulo. (Figura 17)
Para convencernos de ello pensemos que el cordel al cual estamos sujetos
para efectuar nuestros giros tiene una longitud innitesimal y entonces no
22
Las rectas de Hiperb olico 23
Figura 17:
hay diferencia entre los segmentos de h-rectas y sus tangentes euclidianas y
asimismo tampoco hay diferencia entre su circunferencia y la nuestra, como
lo sugieren el peque no crculo y las h-rectas, dentro de este, que aparecen
en la Figura 18.
Figura 18:
Despues de esta discusi on ya sabemos c omo apreciar un angulo de 30
0
grados o de cualquier otro valor en el h-mundo, as como ver la perpen-
dicularidad entre rectas o curvas.
Al respecto analicemos la gura (Figura 19).
En dicha gura aparecen dos semirrectas concurrentes en un punto so-
bre el eje x, una de ellas perpendicular a el y la otra formando un angulo
con esta. C omo sabemos, la semirrecta perpendicular es una h-recta, al
igual que para Hiperb olico son segmentos de recta los arcos de circunferen-
cia que abarcan el angulo y que aparecen en la gura. Estos arcos son
perpendiculares a ambas semirrectas, tanto para nosotros, como para el.
Usando ahora la f ormula para la longitud de dichos arcos o h-rectas
(secci on longitud de una curva en el mundo de Hiperb olico), vemos que
todas las h-longitudes son iguales a:
23
24 Las rectas de Hiperb olico
Figura 19:
ln

1
tan
(

2
+)
2

Y por lo tanto la semirrecta no perpendicular (que para Hiperb olico no es


una recta) equidista de la h-recta (semirrecta perpendicular). En resumen:
la equidistante de una recta no es otra recta. Gran diferencia con lo que
sucede en geometra euclidiana!
24
5. El mundo de Hiperb olico y
las areas
Ya antes vimos c omo se relaciona la diferencial de longitud que nosotros
percibimos con la que percibe Hiperb olico:
dS
h
=
dS
y
El diferencial de area nosotros lo pensamos como el area de un rect angu-
lo que tiene lados dx y dy, respectivamente; o sea:
dA = dxdy
Para Hiperb olico los lados del rect angulo, de acuerdo a la observaci on
hecha arri-ba, ser an dx/y y dy/y, respectivamente, y por lo tanto su difer-
encial de area es:
dA
h
=
dxdy
y
2
Lo que implica que el h- area A
h
(), de una regi on contenida en el
semiplano superior, viene dada por:
A
h
() =
__

dxdy
y
2
Usaremos esta f ormula m as adelante para calcular el h- area de algunas
regiones.
25
26 Las rectas de Hiperb olico
26
6. Las transformaciones
rgidas en el mundo de
Hiperb olico
Una idea central en la geometra euclidiana es la de transformaci on rgi-
da. El prop osito de este inciso es discutir c omo son y se comportan tales
transformaciones en el plano euclidiano, para despues ver que pasa en el
h-mundo.
Figura 20:
Sea T : R
2
R
2
uno a uno y sobre. Decimos que T es una transforma-
ci on rgida si, para toda pareja x e y, de puntos del plano, T preserva su
distancia euclidiana, es decir si:
d(x, y) = d(T(x), T(y))
27
28 Las rectas de Hiperb olico
donde d es la funci on distancia.
Son transformaciones rgidas las traslaciones, los giros y las reexiones
(Figura 20).
Claramente, tanto la inversa de una transformaci on rgida como la com-
posici on de dos transformaciones rgidas son tambien transformaciones rgi-
das.
Las transformaciones rgidas, preservan tri angulos, y como consecuencia
tambien preservan angulos.
A continuaci on enunciamos dos resultados elementales sobre transforma-
ciones rgidas que son fundamentales para lo que sigue.
i) Una transformaci on rgida queda determinada por la imagen de tres
puntos no alineados.
ii) Una transformaci on rgida siempre se puede expresar como la com-
posici on de, a lo m as, tres reexiones.
Figura 21:
Las demostraciones de estas armaciones quedan como un ejercicio para
el lector.
Claramente, lo dicho hasta aqu tambien tiene sentido en el h-plano: la
denici on de transformaci on rgida, el que la inversa y la composici on de
transformaciones rgidas sea tambien una transformaci on rgida. Al igual
tiene sentido lo que es una rotaci on. Pero, cuando no tenemos unicidad en
las paralelas no es claro que se entiende por una traslaci on, (usualmente
denimos traslaci on mediante la suma de vectores); tampoco es claro que es
una reexi on.
28
Las rectas de Hiperb olico 29
Aunque no es difcil hacerlo no aclararemos que es una traslaci on para
Hiperb olico, pero s nos es imprescindible aclarar y estudiar las reexiones
en su mundo.
En el caso euclidiano, dada una recta L y un punto P, decimos que

P es
el reejado de P con respecto a L si

P se encuentra sobre la perpendicular a
L que pasa por P, a la misma distancia de L que P, pero en el lado opuesto
(Figura 21).
Por la reexi on en L entendemos la transformaci on R : R
2
R
2
que
manda cada punto en su reejado, es decir R(P) =

P.
Es inmediato que una reexi on preserva distancias.
En el h-mundo las reexiones se denen exactamente de la misma man-
era, pero usando sus distancias y sus rectas.
Para algunas rectas del h-mundo es directo ver las reexiones, por ejem-
plo para el semieje y (Figura 22). En este caso la reexi on euclidiana y la
de Hiperb olico coinciden, aunque la distancia hiperb olica se mide sobre los
arcos marcados con ||
Figura 22:
Veamos que pasa con un punto del eje y al reejarlo sobre la h-recta
dada por la semicircunferencia de radio uno con centro en O (Figura 23).
Si P es el reejado de P en L, entonces
d
h
(P, Q) = d
h
(Q, P)
o sea:
ln
y
1
= ln
1
y
,
lo que implica y =
1
y
o, lo que es igual, y =
1
y
.
29
30 Las rectas de Hiperb olico
Figura 23:
Lo anterior nos hace conjeturar que la transformaci on geometrica deni-
da arriba (que no es m as que la inversi on respecto a una circunferencia, con
centro O sobre el eje x), al restringirla al semiplano superior, corresponde
en el h-plano a la reexi on respecto a la recta del h-mundo determinada
por la circunferencia en cuesti on (Figura 24). (Recuerde que ya discutimos
la reexi on en el sentido euclidiano y, en el de Hiperb olico, respecto a una
semirrecta vertical).
Figura 24:
N otese que el cuadrado de una inversi on es la identidad, o dicho de
otra manera, una inversi on es su propia inversa.
30
Las rectas de Hiperb olico 31
Si tomamos el centro O como el origen de coordenadas, entonces, en
terminos de estas, la inversi on I toma la forma:
I(x, y) = (x, y);
donde
x(x, y) =
r
2
x
x
2
+ y
2
; y(x, y) =
r
2
y
x
2
+ y
2
Para nuestro problema s olo nos interesa el semiplano superior, por lo
que, aunque no lo digamos explcitamente, siempre supondremos que y > 0.
A continuaci on vemos que la inversi on I, en terminos de la h-geometra,
satisface las propiedades de una reexi on euclidiana. Para ello echaremos
mano de los rudimentos del c alculo de varias variables.
Primero calcularemos las diferenciales de x(x, y) e y(x, y), as como la
matriz jacobiana de I y su determinante, que son los elementos necesarios
para lo que sigue:
dx(x, y) =
x
x
dx +
x
y
dy =
r
2
(x
2
+ y
2
)
2
((x
2
y
2
)dx 2xydy)
y
dy(x, y) =
y
x
dx +
y
y
dy =
r
2
(x
2
+ y
2
)
2
(2xydx + (x
2
y
2
)dy).
Adem as, si denotamos por J(I) a la matriz jacobiana de I, esta tiene la
forma:
J(I)(x, y) =
r
2
(x
2
+ y
2
)
2
_
(x
2
y
2
) 2xy
2xy (x
2
y
2
)
_
y
det J(I)(x, y) =
r
4
(x
2
+ y
2
)
2
El primer resultado que se sigue de estos c alculos es que I no preserva la
orientaci on pues det J(I)(x, y) < 0 para todo (x, y) con y > 0. (Notese que
esta idea de orientaci on coincide con la que se usa en geometra elemental
utilizando la orientaci on de los angulos).
El segundo resultado es que preserva la magnitud de los angulos. Esto
es consecuencia de que, innitesimalmente, alrededor de un punto P es el
jacobiano en P el que nos dice c omo se comportan los angulos entre curvas
que pasan por P. En nuestro caso, la forma que tiene el jacobiano es:
31
32 Las rectas de Hiperb olico
J(I)(x, y) = k
2
_
1 0
0 1
__
cos sen
sen cos
_
O sea, es la composici on de una rotaci on, una reexi on y una homotecia.
Tanto la rotaci on como la homotecia preservan angulos, mientras que la
reexi on preserva su magnitud, pero cambia su orientaci on; por lo tanto
J(I)(x, y) preserva la magnitud de los angulos.
Como segundo resultado mostraremos que I(x, y) preserva las h-longitudes
de las curvas. Para ello consideremos una curva : [a, b] R
2
+
cuyas coor-
denadas son x(t) e y(t). La h-longitud de , est a dada por:
S
h
()(a, b) =
_
b
a
_
_
dx
dt
_
2
+
_
dy
dt
_
2
y(t)
dt
Si llamamos a la imagen de bajo I ( = I ) , tenemos que
(t) = (x(x(t), y(t)), y(x(t), y(t))),
donde x(x, y) e y(x, y) son las componentes de la funci on I, denida antes.
Esta curva tiene h-longitud:
S
h
( )(a, b) =
_
b
a
_
_
dx
dt
_
2
+
_
dy
dt
_
2
y(t)
dt =
=
_
b
a
r
2
(x
2
+y
2
)
2
_
_
(y
2
x
2
)
dx
dt
2xy
dy
dt
_
2
+
_
2xy
dx
dt
+ (x
2
y
2
)
dy
dt
_
2
r
2
y(t)
(x
2
+y
2
)
dt =
=
_
b
a
_
_
dx
dt
_
2
+
_
dy
dt
_
2
y(t)
dt = S
h
()(a, b),
probando as que las inversiones respecto a semicircunferencias que tienen
su centro en el eje x preservan la h-longitud de las curvas.
Como consecuencia, tales inversiones mandan segmentos de h-rectas en
segmentos de h-rectas con la misma longitud.
Lo anterior se debe a que si tenemos un h-segmento, con extremos a y b,
y bajo una de tales inversiones va a parar a una curva con extremos a

, b

,
que no sea un h-segmento, el h-segmento que une a

con b

, tendr a longitud
32
Las rectas de Hiperb olico 33
menor y su imagen bajo I ser a una curva uniendo a con b con h-longitud
menor que el segmento que los une; lo que es imposible.
El que las inversiones en cuesti on preserven las magnitudes de los angulos
y manden h-segmentos en h-segmentos con la misma longitud, implica
que, en la h-geometra, son reexiones respecto a las h-rectas denidas
por las semicircunferencias con centro en el eje x. Para darnos cuenta de ello
consideremos un punto P, su imagen I(P) y el segmento de h-recta que los
une (vease Figura 25).
Figura 25:
A este segmento, cuyos extremos son P e I(P), la inversi on le cambia la
orien-taci on, pero lo transforma en s mismo:
P I(P) e I(P) I I(P) = P
Tomemos ahora el punto Q en el que este segmento corta a la circunfe-
rencia de inversi on. Claramente I(Q) = Q. Es directo que los h-segmentos
PQ y QI(P) tienen la misma h-longitud, pues I transforma uno en el
otro. Por ultimo, los angulos PQH, I(P)QH tienen la misma magni-
tud (aunque orientaciones opuestas) y entre ellos suman 180
0
(que es lo que
mide PQI(P)), por lo tanto ambos miden 90
0
y las h-rectas P, I(P) y QH
son perpendiculares; terminando as nuestro argumento.
Veamos otra propiedad de las inversiones que resulta importante en el
marco de la h-geometra. Una reexi on euclidiana cambia la orientaci on y
preserva las areas (con m as precisi on, su valor absoluto). A continuaci on
veremos que, en forma similar, una inversi on tambien cambia la orientaci on
y preserva el valor absoluto de las h- areas. Para ello recordemos la f ormu-
la para el cambio de variable en una integral m ultiple, que aprendimos en
nuestros cursos de c alculo avanzado, para el caso de dimensi on 2.
33
34 Las rectas de Hiperb olico
34
8. Teorema del cambio de
Variable
Sea F(x, y) = (x, y) una transformaci on con derivada continua (e.i. con
derivadas parciales de primer orden continuas) y 11 de una regi on cerrada
Q del plano xy, en una regi on Q del plano xy. Si el determinante de la matriz
jacobiana de F es positivo, para todo punto de Q, entonces, para cualquier
funci on continua f : Q R, tenemos que:
__
Q
f (x, y) dxdy =
__
Q
f (x (x, y) , y (x, y)) det JF (x, y) dxdy
Si el determinante de la matriz jacobiana es negativo, entonces las inte-
grales anteriores dieren unicamente en el signo.
Luego, en nuestro caso, el teorema nos da:
__
I(Q)
dxdy
y
2
=
__
Q
r
4
_
r
2
y
x
2
+y
2
_
2
(x
2
+ y
2
)
2
dxdy =
__
Q
dxdy
y
2
35
36 Las rectas de Hiperb olico
36
9. El comportamiento de
rectas y circunferencias bajo
inversiones
La ultima propiedad de las inversiones que por el momento nos interesa
es c omo se transforman las circunferencias y rectas euclidianas:
Una inversi on manda circunferencias en circunferencias o rectas. Asimis-
mo, manda rectas en rectas o circunferencias.
Una circunferencia que no pasa por el centro de inversi on va a parar
a otra circunferencia que no pasa por el centro de inversi on. Adem as los
centros de ambas circunferencias est an alineados con el centro de inversi on.
Una circunferencia que pasa por el centro de inversi on tiene como imagen
una recta que no pasa por el centro de inversi on.
Una recta que no pasa por el centro de inversi on tiene como imagen una
circunferencia que pasa por el centro de inversi on, las rectas que pasan por
el centro de inversi on se transforman en s mismas. La Figura 26 ilustra
algunos de los casos.
Como veremos a continuaci on estas armaciones se demuestran directa-
mente, sustituyendo en las ecuaciones de las circunferencias y las rectas, en
el lugar de las variables, las expresiones de sus transformados.
Si llamamos S a la circunferencia cuya ecuaci on es x
2
+y
2
+ax+by+c = 0,
al sustituir en ella las expresiones de las variables en funci on de sus im agenes:
x =
r
2
x
x
2
+y
2
e y =
r
2
y
x
2+
y
2
obtenemos
r
4
x
2
(x
2
+ y
2
)
2
+
r
4
y
2
(x
2
+ y
2
)
2
+
ar
2
x
x
2
+y
2
+
br
2
y
x
2
+y
2
+ c = 0
37
38 Las rectas de Hiperb olico
Figura 26:
o sea,
r
4
x
2
+y
2
+
ar
2
x
x
2
+y
2
+
br
2
y
x
2
+y
2
+ c = 0
y multiplicando por x
2
+ y
2
, obtenemos
r
4
+ ar
2
x + br
2
y + c(x
2
+ y
2
) = 0
que muestra que, si S no pasa por el origen (c = 0), se transforma en otra
circunferencia, que no pasa por el origen
_
r
4
c
= 0
_
.
Si S pasa por el origen (c = 0), entonces su imagen es la recta r
4
+
ar
2
x + br
2
y = 0, la cual tampoco pasa por el origen. El an alisis de c omo se
transforma una recta se lo dejamos al lector.
Dejemos aqu el estudio de las inversiones y pasemos a ver las transfor-
maciones rgidas en la h-geometra.
38
10. Las transformaciones
rgidas en el mundo de
Hiperb olico (Continuaci on)
Como recordar a el lector, ya antes discutimos las transformaciones rgi-
das para el caso de la geometra euclidiana, y dejamos al lector la prueba de
dos resultados b asicos; estos son:
Una transformaci on rgida queda determinada por la imagen de tres
puntos no alineados.
Una transformaci on rgida siempre se puede expresar como el producto
de cuando m as tres reexiones.
Ahora nuestro conocimiento de las reexiones en la h-geometra (inver-
siones euclidianas para nosotros) nos permite probar ambos resultados para
el caso de Hiperb oli-co. Como antes, le dejamos al lector la prueba de ellos,
pero para el segundo, le proporcionamos una sugerencia.
Consideremos en R
2
+
tres puntos a, b y c que, seg un Hiperb olico, no
esten alineados; sean a

, b

, c

otros tres puntos en R


2
+
, tales que
d
h
(a, b) = d
h
(a

, b

), d
h
(b, c) = d
h
(b

, c

) y d
h
(c, a) = d
h
(c

, a

)
Entonces, a traves de la aplicaci on sucesiva de cuando mucho tres h-
reexiones, podemos mandar a en a

, b en b

y c en c

(y por el primer
resultado, habremos termin ado con esto la prueba del segundo)
Como primer paso demuestre que hay una h-reexi on (inversi on) que
manda |x| la h-recta determinada por a y b en la h-recta determinada por
a

y b

y que es tal que la imagen del segmento ab y el segmento a

tienen
sentidos opuestos (Figura 27).
39
40 Las rectas de Hiperb olico
Figura 27:
Como segundo paso, mande, a traves de una inversi on que envie S(a

, b

)
en s misma, I(a) en a

e I(b) en b

.
Como tercer y ultimo paso, vea de que lado de S(a

, b

) est an c

y la
imagen de c. Si est an del mismo lado tienen que coincidir, si no est an del
mismo lado invierta respecto a S(a

, b

).
Los resultados anteriores nos dicen que, en el h-mundo, los movimientos
rgidos preservan las longitudes de las curvas, las areas de las regiones y los
angulos. Ello nos permite situar los objetos geometricos de ese mundo en la
forma que nos resulte m as f acil su estudio. A continuaci on vemos algunos
resultados cuyas demostraciones ejemplican lo dicho.
40
11. El angulo de paralelismo
y la funci on de Lobachevski
Como vimos antes, en el h-plano, dada una h-recta L y un punto P
exterior a L , existen una innidad de h-rectas que pasan por P y no inter-
sectan a L . Esta familia de rectas est a limitada por dos rectas que pasan
por P y que tampoco intersectan a L . Cada una de estas rectas forma un
angulo menor de 90
o
con la perpendicular a L que pasa por P ; como ver-
emos ambos angulos son iguales y est an en funci on de la distancia de P a
L. Y cada uno de ellos es llamado angulo de paralelismo en P relativo a L.
Llamemos d a la h-distancia de P a L, denimos la funci on de Lobachevski
por (d) = donde es el angulo de paralelismo; el problema consiste en
dar una f ormula explcita para (d). Para ello tomaremos como recta L el
semicrculo euclidiano de radio 1 y centro el origen, y P un punto en el eje
y (Figura 29). Los resultados vistos previamente nos dicen que restringirnos
a este caso no nos hace perder generalidad.
41
42 Las rectas de Hiperb olico
Figura 28:
Ahora es clara la igualdad entre los angulos mencionados arriba. A con-
tinuaci on observemos que si llamamos y a la ordenada de P, de la f ormula
para la h-distancia, tenemos que ln
_
y
1
_
= d o lo que es igual y = e
d
. Si
denotamos por (h, 0) al centro del semicrculo que pasa por P y (1, 0),
entonces el radio r de dicho semicrculo satisface:
h
2
+ e
2d
= r
2
y h + 1 = r
de donde
(r 1)
2
+ e
2d
= r
2
que implica
r =
e
2d
+1
2
y h =
e
2d
1
2
De la gura, tenemos
cos =
e
2d
1
e
2d
+ 1
=
e
d
e
d
e
d
+ e
d
= tanh(d)
luego
(d) = = cos
1
(tanh(d)).
42
Las rectas de Hiperb olico 43
Figura 29:
La relaci on entre el angulo y d tambien se puede expresar como: d =
log tan
_

2
_
. El lector no tendr a dicultad en vericarlo usando la g. 28
y la f ormula para tan
_

2
_
Analizando (d) vemos que es una funci on decreciente que tiende a 0,
cuando d tiende a innito y que tiende a

2
, cuando d tiende a cero. (Cosa
que tambien podemos ver en la gura con nuestros ojos).
Lo anterior nos dice, en un lenguaje poco preciso, que si el punto P
est a situado a mucha distancia de la recta L, entonces habr a muchas m as
paralelas y que en todas las h-rectas ser an paralelas.
Por el contrario, si P es muy cercano a L, la regi on de las h-rectas
paralelas a L estar a limitada por un angulo muy peque no y entonces menos
paralelas a L atraves de P.
43
44 Las rectas de Hiperb olico
44
12. El area de un triangulo
de Hiperb olico
Una f ormula que sin duda podemos calicar de bella es la que nos da
el area de un tri angulo con angulos , , (medidos en radianes) en el h-
mundo.

Esta es: A
h
(T(, , )) = ( + + ). A continuaci on damos
su justicaci on. Para hacernos la vida un poco m as sencilla, basados en la
propiedades de las transformaciones rgidas, podemos considerar que uno de
los lados del tri angulo es un segmento del eje y (vease Figura 30).
Figura 30:
Para demostrar nuestra f ormula consideraremos dos semirrectas verti-
cales arbitrarias y una semicircunferencia que corte a ambas semirrectas y,
tomaremos como origen de coordenadas el centro de dicha semicircunferen-
cia, como lo ilustra la Figura 31.
Demostraremos que el h- area de la regi on gris, a la que denotamos por
, este dada por De aqu, la f ormula del h- area es directa. El
45
46 Las rectas de Hiperb olico
Figura 31:
h- area de est a dada por:
A
h
() =
__

dxdy
y
2
=
_
rcos
rcos()
dx
_

r
2
x
2
1
y
2
dy =
_
rcos
rcos()
dx

r
2
x
2
integral que con el cambio de variable x = rcos se transforma en
_

rsend
rsen
= .
Para obtener la f ormula del h- area del tri angulo considere la Figura 32.
Figura 32:
De la gura y el resultado previo, tenemos
A
h
(T(, , )) = A
h
(
2
) A
h
(
1
) =
46
Las rectas de Hiperb olico 47
= ( + + ) ( ( + )) = ( + +)
Como consecuencia de esta f ormula tenemos que en la h-geometra:
i.) La suma de los angulos de un tri angulo siempre es menor que .
ii.) El area de un tri angulo es menor que .
iii.) Si dos tri angulos son semejantes, entonces tienen la misma area (y
se puede probar que en este caso con congruentes).
Estos hechos son radicalmente distintos de lo que pasa en la geometra
euclidiana.
La Figura 33 muestra un tri angulo degenerado (tiene sus tres angulos
iguales a cero y sus vertices est an en el eje x) que tiene area .

Este es el
caso lmite de ii).
Figura 33:
47
48 Las rectas de Hiperb olico
48
13. Las circunferencias de
Hiperb olico y haces de
circunferencias
Como ya hemos observado Hiperb olico puede moverse a lo largo de una
curva manteniendose a la misma h-distancia de un punto dado; nuestro
problema es que no sabemos cu al es esa curva desde el punto de vista de
nuestra geometra. En esta secci on abordamos este problema.
Para ello consideremos los puntos (0, y
0
) y (0, y
0
) y todas las circunfe-
rencias euclidianas que pasan por ellos. Es inmediato que el centro de cada
una de ellas se encuentra sobre el eje x. La Figura 34 muestra la situaci on.
Figura 34:
N otese que la parte de cada una de estas circunferencias, que est a por
49
50 Las rectas de Hiperb olico
encima del eje x es una h-recta.
La ecuaci on de cada una de ellas es
(x h)
2
+ y
2
= h
2
+ y
2
0
Remarcamos que el punto (h, 0) es su centro y que (h
2
+y
2
0
)
1
2
es su radio.
La primera pregunta que queremos contestar es: dada una circunferencia
del haz y otra por encima del eje x y con centro en (0, k) y radio r, para
que valor del radio r de esta segunda circunferencia las dos circunferencias
son ortogonales?
Figura 35:
De la Figura 35 vemos que:
k
2
+ h
2
= r
2
+ h
2
+ y
2
0
o sea
r
2
= k
2
y
2
0
obteniendo as el valor buscado del radio r, pero de paso hemos obtenido
algo m as:
La circunferencia de centro (0, k) y radio r = (k
2
y
2
0
)
1
2
es ortogonal a
todas las circunferencia del haz!
50
Las rectas de Hiperb olico 51
Antes de seguir adelante damos la ecuaci on de esta circunferencia y hace-
mos algunos comentarios. Su ecuaci on es
x
2
+ (y k)
2
= r
2
= k
2
y
2
0
o sea
x
2
+ y
2
2ky + y
2
0
= 0
N otese que
i) k > y
0
> 0. Es decir el centro de la circunferencia est a por encima del
punto (0, y
0
).
ii) Tales circunferencias est an contenidas ntegramente en el semiplano
superior, pues r < k
Adem as se tiene que
iii) Dos de tales circunferencias, si se cortan, coinciden y por lo tanto, si
no se cortan, una contiene a la otra (a la que le corresponde mayor k es la
que circunda a la otra). Armaci on que no es directa, pero que el lector no
tendr a dicultad en probar.
Volviendo a nuestro haz de circunferencias y a la circunferencia con centro
en (0, k) y radio r = (k
2
y
2
0
)
1
2
, ortogonal a las circunferencias del haz,
lo primero que queremos observar es que esta propiedad hace pensar que se
trata de una h-circunferencia que, desde ese punto de vista, tiene centro en el
punto (0, y
0
), pues todas las circunferencias del haz son rectas de Hiperb olico
y son perpendiculares a dicha circunferencia. Efectivamente este es el caso,
Se trata de una circunferencia de Hiperb olico! y su centro es el punto (0, y
0
).
Adem as, como el lector puede ver, su h-radio es = ln
_
k+r
kr
. (Para ello
calcule la distancia de cualesquiera de los dos puntos de la circunferencia
que se encuentran sobre el eje y al punto (0, y
0
) ). Pero veamos que se trata
de una h-circunferencia, o lo que es lo mismo, que todos sus h-radios tienen
la misma longitud. Para ello basta demostrar que dado un h-radio existe
una h-reexi on (inversi on para nosotros) que lo manda en uno de los radios
verticales.
Dado un h-radio, la h-reexi on buscada es la inversi on respecto a la
semicircunferencia que pasa por el punto (0, y
0
) y tiene su centro en uno de
los extremos de la recta que contiene el radio en cuesti on (vease la Figura
36). Esta h-reexi on enva el haz de h-rectas que pasa por el punto (0, y
0
) en
s mismo, en particular manda la h-recta que contiene al radio en cuesti on,
en la parte positiva del eje y; la circunferencia con h-centro en (0, y
0
) queda
invariante, pues es perpendicular a todas las h-rectas del haz, en particular a
la usada para realizar la inversi on, de aqu nuestra armaci on es inmediata.
51
52 Las rectas de Hiperb olico
Figura 36:
Antes de seguir adelante notemos que el hecho de que la h-longitud del
segmento que va del punto (0, y
0
) al eje x tenga longitud innita implica que,
con h-centro el punto (0, y
0
) podemos trazar h-circunferencias con h-radio
tan grande como deseemos y, por supuesto, lo mismo sucede con cualquier
otro punto del semiplano superior que tomemos.
52
14. C omo ve Hiperb olico las
rectas y las circunferencias
euclidianas
En lo anterior vimos que las semirrectas perpendiculares al eje x corre-
sponden a h-rectas innitas en ambas direcciones, tambien vimos que una
semirrecta inclinada equidista, en el sentido de Hiperb olico, de la h-recta
dada por la perpendicular al eje x en el punto donde la semirrecta inclinada
intersecta dicho eje, (Recuerde la Figura 19).
Otra propiedad interesante de las semirrectas inclinadas es que son las
unicas curvas invariantes bajo todas las h-reexiones con eje de reexi on una
recta de Hiperb olico asociada a una semicircunferencia con centro el origen
de la semirrecta inclinada, (Figura 37).
Figura 37:
Nos falta analizar: c omo ve Hiperb olico una recta paralela al eje x?,
que signicado tiene para el? (Figura 38).
Hay dos propiedades que satisfacen tales rectas que es conveniente destacar:
53
54 Las rectas de Hiperb olico
Figura 38:
i) En el sentido de Hiperb olico son las unicas curvas perpen-
diculares a todas las h-rectas dadas por semirrectas perpendicu-
lares al eje x.
ii) Son las unicas curvas que permanecen invariantes bajo h-
reexiones con respecto a cualquier h-recta dada por una semir-
recta perpendicular al eje x.
En cierto sentido, corresponden a circunferencias de radio innito, en
donde todos los radios est an dados por semirrectas perpendiculares al eje
x. Estas curvas son parte de una familia m as amplia a cuyos elementos
llamamos horociclos.
Sin duda el lector ya pens o c omo calcular la longitud de un segmento de
ellas.
En el caso de las circunferencias se da tambien una situaci on interesante:
La parte superior de las circunferencias euclidianas que tienen su centro en
el eje x corresponden a rectas de Hiperb olico, y como acabamos de ver las
circunferencias euclidianas contenidas en la parte superior al eje x corres-
ponden a circunferencias de Hiperb olico.
Pero que pasa cuando no tienen su centro sobre el eje x e intersectan
dicho eje en dos puntos?, que pasa cuando es tangente al eje x? (Figura 39).
En el primer caso consideremos la h-recta que corresponde a la semicir-
cunferencia, con centro en el eje x y que intersecta al eje x en los mismos
puntos que la primera (Figura 40).
La parte situada por encima del eje x de la circunferencia en cuesti on
equidista de la recta asociada. Para darnos cuenta de ello basta reejar la
conguraci on respecto a una de las dos h-rectas que tiene su centro en uno
de los extremos de la recta y pasa por el otro (Figura 41).
54
Las rectas de Hiperb olico 55
Figura 39:
Figura 40:
Veamos el segundo caso: para ello consideremos la familia de h-rectas de
Hiperb olico que tengan uno de sus extremos en el punto de tangencia de la
circunferencia en cuesti on (Figura 42).
Reejando respecto a cualquier h-recta que corresponda a una semicir-
cunferencia con centro en el punto de tangencia obtenemos la conguraci on
de la Figura 38. Vericando as que se trata de un horociclo.
Note que, a diferencia de lo que pasa en el plano ecuclidiano, en el
plano de Hiperb olico, tres puntos no h-alineados determinan una equidis-
tante (a una h-recta), un horociclo o una circunferencia.
Otra diferencia con el plano euclidiano nos la dan los horociclos interpre-
tados como circunferencias de radio innito. Con m as detalle consideremos
un punto P
0
en la parte positiva del eje y. Tomemos ahora todas las h-
55
56 Las rectas de Hiperb olico
Figura 41:
Figura 42:
circunferencias que pasan por P
0
y tienen su centro en el eje y, y por debajo
de P
0
, y asimismo, todas las h-circunferencias que pasan por P
0
y tienen su
centro en el eje y, por encima de P
0
(Figura 43).
Como se observa en la gura, cada una de estas familias est a limitada
por un horociclo, la primera por el dado por la circunferencia que pasa por
P
0
, tangente al eje x y con centro en el eje y. Como ya dijimos, este horociclo
es perpendicular a todas las h-rectas que parten del punto de tangencia.
La segunda familia est a limitada por el horociclo dado por la paralela
al eje x que pasa por P
0
. Este horociclo es perpendicular a todas las h-
rectas dadas como semirrectas euclidianas paralelas al eje y. Notemos que
una h-reexi on sobre la h-recta dada por la semicircunferencia con centro
el origen y que pasa por P
0
, enva una familia de circunferencias en la otra,
un horociclo en el otro y la familia de perpendiculares a un horociclo, en la
familia de perpendiculares al otro.
56
Las rectas de Hiperb olico 57
Figura 43:
Por ultimo, n otese que en el caso del plano euclidiano, los dos horoci-
clos coinciden y no existe la regi on que aparece en tono gris en la Figura 43.
57
58 Las rectas de Hiperb olico
58
15. Longitud y

Area de las
circunferencias en el plano de
Hiperb olico
Consideremos una circunferencia euclidiana con centro en (0, 1) y radio
r < 1. Sabemos que esta circunferencia, considerada como h-circunferencia,
tiene su centro en el punto (0,

1 r
2
) y h-radio = ln
_
1+r
1r
.
Tambien es claro que a traves de un movimiento h-rgido, cualquier h-
circunferencia la podemos llevar a otra del mismo h-radio y que tenga su
h-centro en (0,

1 r
2
). De estas consideraciones concluimos que el caso
general se reduce a conocer cu al es la h-longitud o el h- area de las circunfe-
rencias euclidianas de un radio dado r < 1 y centro (0, 1). En lo que sigue
haremos uso de esta observaci on.
Consideremos una circunferencia euclidiana con centro (0, 1), y radio
r < 1 (Figura 44)
Figura 44:
Su ecuaci on es: x
2
+ (y 1)
2
= r
2
(0 < r < 1)
59
60 Las rectas de Hiperb olico
De donde, despejando x en funci on de y, tenemos:
x =
_
r
2
(y 1)
2
y
dx
dy
=
y 1
_
r
2
(y 1)
2
Aplicando la f ormula de la h-longitud a esta circunferencia, tenemos:
L
h
(c, r) = 2
1+r
_
1r
_
1 +
_
dx
dy
_
2
y
dy = 2r
1+r
_
1r
dy
y
_
r
2
(y 1)
2
=
= 2r
r
_
r
dy
(y + 1)
_
r
2
y
2
Que haciendo la sustituci on y = rsen, nos da:
L
h
(c, r) = 2r

2
_

2
rcosd
(1 + rsen)rcos
= 2r

2
_

2
d
1 + rsen
y aplicando la siguiente f ormula de integraci on.
_
du
a + bsenu
=
2

a
2
b
2
tan
1
atan
u
2
+ b

a
2
b
2
para (a
2
b
2
> 0)
tenemos
L
n
(c, r) = 2r

2
_

2
d
1 + rsen
=
4r

1 r
2
tan
1
tan

2
+ r

1 r
2

2
=
=
4r

1 r
2
_
tan
1
1 + r

1 r
2
tan
1
1 +r

1 r
2
_
=
=
4r

1 r
2
_
tan
1
1 + r

1 r
2
+ tan
1
1 r

1 r
2
_
=
=
4r

1 r
2
_
tan
1
_
1 + r
1 r
+ tan
1
_
1 r
1 + r
_
=
=
4r

1 r
2
_

0
+
_

2

0
__
=
=
4r

1 r
2


2
=2
r

1 r
2
_
Recuerde que tan
0
=
_
1 + r
1 r
_
60
Las rectas de Hiperb olico 61
Esta longitud est a en funci on del centro euclidiano (0, 1) y del radio
euclidiano r.
Nos gustara ponerla en terminos de sus elementos hiperb olicos; para ello
notemos que, como sabemos, el radio hiperb olico de la circunferencia de
centro (0, 1) y radio euclidiano r est a dado por
= ln
_
1 + r
1 r
Por lo tanto
r =
e
2
1
e
2
+ 1
y de aqu

1 r
2
=
2e

1+e
2
que sustituido en la f omula anterior (f ormula
para la longitud), nos da
L
h
(c, ) = 2senh
F ormula que, como era de esperar, no depende de la posici on del h-centro
de la circunferencia.
61
62 Las rectas de Hiperb olico
62
16.

Area del crculo
hiperb olico
Aplicando la f ormula para el h- area al crculo asociado a la circunferencia
euclidiana de la Figura 43, obtenemos:
A
h
(c) =
_
r
r
_
_
1+

r
2
x
2
1

r
2
x
2
dy
y
2
_
dx =
_
r
r
_
_
1
y
_
1+

r
2
x
2
1

r
2
x
2
_
dx =
=
_
r
r
_
1
1

r
2
x
2

1
1 +

r
2
x
2
_
dx = 2
_
r
r

r
2
x
2
1 r
2
+x
2
dx
La cual, al hacer la sustituci on x = rsen nos da:
A
h
(c) = 2
_
2

2
r
2
cos
2
d
1 r
2
cos
2

= 2
_
2

2
1 + r
2
cos
2
+ 1
1 r
2
cos
2

d =
= 2
_
_
2

2
d +
1
2
_
2

2
_
1
1 rcos
+
1
1 + rcos
_
d
_
=
= 2 +
_
2

2
d
1 rcos
+
_
2

2
d
1 +rcos
y aplicando la f ormula de integraci on

du
a + bcosu
=
2

a
2
b
2
tan
1

a
2
b
2
tan
u
2
a + b
(para a
2
b
2
< 0)
obtenemos
A
h
(c) = 2 +
2

1 r
2
_
tan
1

1 r
2
1 r
tan

2
+ tan
1

1 r
2
1 + r
tan

2
_

2

2
=
63
64 Las rectas de Hiperb olico
= 2 +
2

1 r
2

_
tan
1
_
1 + r
1 r
tan
1
_

_
1 + r
1 r
_
+ tan
1
_
1 r
1 + r
tan
1
_

_
1 r
1 + r
__
=
=2+
4

1 r
2
_
tan
1
_
1 + r
1 r
+ tan
1
_
1 r
1 + r
_
=2+
4

1 r
2
_
o +

2
o
_
=
= 2 +
2

1 r
2
= 2
_
1

1 r
2
1
_
_
donde
0
= tan
1
_
1 + r
1 r
_

Area que est a dada en funci on de los elementos euclidianos del crculo.
Para obtenerla en funci on de los elementos de Hiperb olico, usamos, como
antes, la expresi on de en terminos de r, lo que implica.

2
= ln
4
_
1 + r
1 r
y por otro lado
_
senh

2
_
2
=
_
_
e
ln 4
_
1+r
1r
e
ln 4
_
1r
1+r
2
_
_
2
=
_
1+r
1r
2 +
_
1r
1+r
4
=
=
1 +r + 1 r
4

1 r
2

1
2
=
1
2
_
1

1 r
2
1
_
luego, sustituyendo esta expresi on en la f ormula anterior para el area, tene-
mos
A
h
(c) = 4
_
senh

2
_
2
.
Notemos que, al igual que en el caso euclidiano, la derivada del area del
crculo es la longitud de la circunferencia
d A
h
(c)
d
= 4 senh

2
cosh

2
= 2 senh = L
h
(c)
Pasemos ahora a un tema distinto en donde veremos otras diferencias
entre nuestro mundo y el de Hiperb olico.
64
16. Recubrimiento del Plano
de Hiperb olico por polgonos
regulares
Hoy Hiperb olico se levant o con la obsesi on de recubrir el piso de su
mundo con polgonos regulares de n lados y tales que, en cada vertice, se
encuentren m de ellos.
Para ello pens o de la siguiente manera: si trazo una h-circunferencia de
cualquier radio y la divido en n partes iguales, tendre los vertices de un
polgono de n lados inscrito en dicha circunferencia. Los lados del polgono
son los segmentos de h-recta que unen dos vertices contiguos; el angulo
interior es el que forman dos lados que coinciden en un vertice. Y el angulo
central que abarca un lado es el que forman los radios de la circunferencia
que pasan por sus extremos y mide precisamente
2
n
(Figura 45).
Figura 45:
65
66 Las rectas de Hiperb olico
Los angulos del tri angulo determinado por los extremos de un lado y el
centro de la circunferencia suman precisamente
2
n
+ y esta suma es menor
que radianes (Figura 46).
Figura 46:
Por otro lado, si en cada vertice del recubrimiento se encuentran m de
estos polgonos, entonces el angulo estar a dado por =
2
m
(Figura 47).
De aqu y de la observaci on anterior tenemos que
>
2
n
+
2
m
Figura 47:
(si la suma de los angulos interiores fuese entonces tendramos =
2
n
+
2
m
.
y si fuese mayor que , sera <
2
n
+
2
m
).
66
Las rectas de Hiperb olico 67
Dividiendo la expresi on anterior entre 2 tenemos:
1
2
>
1
n
+
1
m

Unica condici on que limita a los valores de n y m asociados con nuestro


recubrimiento (y que por cierto es simetrica en n y m).
Para analizar esta condici on consideremos el plano cartesiano x, y, as co-
mo la recta x + y =
1
2
y veamos la ubicaci on de los puntos de la forma
1
n
,
1
m
(Figura 48).
Figura 48:
Excepto los puntos
_
1
3
,
1
6
_
,
_
1
4
,
1
4
_
,
_
1
6
,
1
3
_
, que est an sobre la recta y los
puntos
_
1
3
,
1
3
_
,
_
1
4
,
1
3
_
,
_
1
3
,
1
4
_
,
_
1
3
,
1
5
_
,
_
1
5
,
1
3
_
que se ubican por encima de ella,
todos los dem as puntos
_
1
n
,
1
m
_
, est an situados debajo de la recta x+y =
1
2
.
Por lo tanto todos estos ultimos corresponden a recubrimientos del plano de
Hiperb olico.
Pero Hiperb olico no se detuvo aqu. Como veremos en la ultima secci on,
Hiperb olico descubri o y comenz o a estudiar un mundo raro, en el que se
daban extra nos fen omenos, en particular, la suma de los angulos interiores de
un tri angulo es siempre radianes y por lo tanto ese mundo se puede recubrir
con tri angulos equil ateros que inciden 6 en cada vertice, cuadrados (cuatro
en cada vertice) y hex agonos regulares (tres en cada vertice) (Figura 49).
67
68 Las rectas de Hiperb olico
Figura 49:
Tambien pudo imaginar un mundo en el que los angulos interiores de un
tri angulo suman m as de radianes. Nosotros sabemos que ese mundo es la
esfera que se puede recubrir con tri angulos equil ateros (tres, cuatro o cinco en
cada vertice) con cuadrados (tres en cada vertice) y con pent agonos regulares
(tres en cada vertice). Los vertices de estos recubrimientos determinan los
poliedros regulares. Su soluci on es esencialmente la misma que la nuestra,
pero su apariencia no deja de desconcertarnos.
Figura 50:
Nosotros tambien podemos pensar en recubrimientos del plano de Hiperb oli-
68
Las rectas de Hiperb olico 69
co con polgonos degenerados de n lados cuyos vertices est an en innito y
en cada uno de ellos concurren una innidad de lados (Figura 50).
69
70 Las rectas de Hiperb olico
70
17. El mundo de Hiperb olico
tridimensional
Nuestra descripci on del mundo de Hiperb olico nos muestra acostados los
objetos y seres en el, lo que nos induce a pensar en ellos como entes planos.
Esto es adecuado para muchas cosas, pero no para todas; la bicicleta que
maneja Hiperb olico y el mismo est an parados y se apoyan en el h-plano,
pero al igual que nosotros tienen altura, y lo mismo sucede con los arboles
o los edicios; en otras palabras el mundo de Hiperb olico, al igual que el
nuestro, es tridimensional.
La geometra de este mundo tridimensional es algo que a Hiperb olico le
interesa conocer, para ello la gran cantidad de papel y l apices que sale a
comprar. Ni que decir que nosotros compartimos su interes. Empecemos por
decir d onde vemos que nuestro amigo se mueve y que le sucede al hacerlo.
Hiperb olico se mueve y vive en el semiplano situado por encima del plano
xy, es decir
R
3
+
= {(x, y, z) |z > 0}
En forma similar a lo que pasa en el h-plano, los puntos del plano xy,
cuya ecuaci on es z = 0, tienen por temperatura el cero absoluto y el tama no
de Hiperb olico y de los objetos que lo rodean aumenta o disminuye pro-
porcionalmente a la componente z de sus coordenadas. N otese que el plano
xy juega el papel del eje x en el h-plano, as como la coordenada z es el
equivalente de la y.
De manera similar a como sucede en el plano de Hiperb olico, la diferencial
de longitud en el sentido de Hiperb olico es
dS
h
=
dS
z
donde dS =
_
(dx)
2
+ (dy)
2
+ (dz)
2
Luego, si : [a, b] R
3
+
es una curva dada por () = (x() , y () , z ()),
su h-longitud es
71
72 Las rectas de Hiperb olico
S
h
() (a, b) =
_
b
a
dS
d
z
d =
_
b
a
_
_
dx
d
_
2
+
_
dy
d
_
2
+
_
dz
d
_
2
z
d
Las transformaciones del h-espacio que preservan la longitud de las cur-
vas, al igual que antes, son llamadas transformaciones rgidas o isometras.
Un ejemplo de transformaci on rgida del h-espacio es el inducido por una
isometra del plano xy. Con m as detalle, sea I : R
2
R
2
dicha isometra y
denamos

I : R
3
+
R
3
+
como

I (x, y, z) = (I (x, y) , z)
Para vericar que

I preserva la h-longitud de las curvas en el h-espacio,
el lector no tiene m as que recordar que I es la composici on de una rotaci on,
una translaci on y posiblemente una reexi on.
Observemos que dado un plano P, perpendicular al xy, existe una de
estas transformaciones

I, que lo enva en el plano yz. Este hecho nos permite
pensar que toda curva en el espacio de Hiperb olico la podemos considerar
con sus extremos en el plano yz. Veamos ahora que dada una curva :
[a, b] R
3
+
con (a) y (b) en el plano yz, su proyecci on ortogonal en el
plano yz, es otra curva con los mismos extremos y longitud menor o igual que
. Con m as detalle, si las coordenadas de son (x() , y () , z ()) (donde
sabemos que x(a) = x(b) = 0) entonces la proyecci on ortogonal es la curva
: [a, b] yz, dada por () = (0, y () , z ()), (notemos que (a) = (a)
y (b) = (b)).
Ahora bien como la primera coordenada de () es cero, su h-longitud
es:
S
h
( ) (a, b) =
_
b
a
_
_
dy
d
_
2
+
_
dz
d
_
2
z
d
La cual es menor o igual que
S
h
() (a, b) =
_
b
a
_
_
dx
d
_
2
+
_
dy
d
_
2
+
_
dz
d
_
2
z
d
pues su integrando es menor o igual.
Como consecuencia de esta observaci on y de los resultados del inicio
de este trabajo, tenemos que las rectas de Hiperb olico de su espacio tridi-
mensional siempre est an situadas en un plano paralelo al eje z y que son
72
Las rectas de Hiperb olico 73
semirrectas paralelas a dicho eje o semicircunferencias con centro en el plano
xy.
En concordancia con lo anterior tenemos que los h-planos del espacio de
Hiperb olico son semiplanos paralelos al eje z o semiesferas con centro en el
plano x y. El lector no tendr a dicultad en ver que estos h-planos quedan
determinados por tres puntos no alineados.
Al igual que en nuestro espacio, en el espacio de Hiperb olico hay esferas
con cualquier centro y radio, y que a primera vista no se distinguen de las
de nosotros, pues como conjuntos de puntos coinciden, pero cuando vemos
otros elementos, por ejemplo donde esta situado su centro, notamos que hay
profundas diferencias entre un caso y otro.
Otra diferencia importante es que si bien, en forma similar a lo que pasa
en R
3
, una h-esfera queda determinada por cuatro puntos no h-coplanares,
el recproco no es cierto; cuatro puntos no h-coplanares pueden determinar
una esfera situada por encima del plano xy, pero tambien una esfera que sea
tangente o intersecte dicho plano o un plano euclidiano que no sea paralelo
al eje z (Figura 51).
Figura 51:
La situaci on anterior es la generalizaci on de lo que pasa en el h-plano con
las circunferencias, que dan lugar a las equidistantes y a los horociclos,
teniendo ahora horoesferas y supercies equidistantes.
Las horoesferas est an dadas por esferas euclidianas tangentes al plano
xy y situadas por encima de este o por planos paralelos al plano xy; dadas
dos horoesferas existe una transformaci on rgida que envia una de ellas en
la otra.
73
74 Las rectas de Hiperb olico
Las supercies equidistantes est an dadas por esferas euclidianas que in-
tersectan al plano xy en una circunferencia o por planos que intersectan al
plano xy y que no son perpendiculares a este. Dada una supercie equidis-
tante, siempre la podemos pensar como uno de tales planos.
Lo anterior se comprende tomando en cuenta el hecho que las inversiones
con centro en el plano xy son h-isometras del h-espacio, lo cual examinamos
brevemente a continuaci on.
Consideremos la esfera S de radio y centro el origen , i, e.
S =
_
(x, y, z)

x
2
+ y
2
+ z
2
=
2
_
.
Denamos I : R
3
+
R
3
+
por I (x, y, z) = (x, y, z) donde
x =

2
x
x
2
+ y
2
+ z
2
, y =

2
y
x
2
+ y
2
+ z
2
, z =

2
z
x
2
+y
2
+ z
2
De estas expresiones, es inmediato que si S=
_
(x, y, z)

x
2
+ y
2
+z
2
=
2
_
entonces I |S es la identidad. Adem as, tambien es directo que, m odulo
peque nos detalles con el origen, I transforma planos y esferas en planos
o esferas. En particular los planos que pasan por el origen se transforman
en s mismos. De aqu tambien tenemos que I transforma rectas y circunfe-
rencias en rectas o circunferencias, pues una recta la podemos ver como la
intersecci on de dos planos y una circunferencia como la intersecci on de dos
esferas o de una esfera y un plano.
Si llamamos I a la restricci on de S a R
3
+
, de lo anterior, es claro que I es-
tablece una correspondencia biunvoca entre R
3
+
y R
3
+
. Esta correspondencia
preserva las h-longitudes de las curvas y en particular las h-distancias.
Luego I es una h-isometra del h-espacio tridimensional (para vericar
que preserva h-longitudes se siguen los mismos pasos del caso de dimensi on
2).
Lo armado para I es v alido para cualquier otro valor de y cualquier
otro centro en el plano xy. Estas isometras que provienen de inversiones,
corresponden a reexiones con base el h-plano (x x
0
)
2
+(y y
0
)
2
+z
2
=
2
,
contenido en el h-espacio tridimensional, y al igual que en el caso bidimen-
sional, no preservan la orientaci on.
An alogamente al caso del espacio euclidiano tenemos que cualquier iso-
metra del h-espacio tridimensional puede expresarse como la composici on
de a lo m as cuatro de estas reexiones. La justicaci on de ello queda al
lector.
Por supuesto las isometras del h-espacio tambien preservan angulos,
h- areas y h-vol umenes, y las razones de ello son las mismas del caso bidi-
mensional. Si el lector desea reconstruir los argumentos debe tener en cuenta
74
Las rectas de Hiperb olico 75
las relaciones entre las diferenciales y el area y volumen en el caso del espacio
euclidiano y del h-espacio. O sea
dA
h
=
dA
z
2
y dV
h
=
dV
z
3
Conociendo estos resultados podemos calcular, por ejemplo, el volumen
de una h-esfera con radio de Hiperb olico . Para ello procedemos como en
el caso bidimensional, tomando la esfera con centro en el punto (0, 0, 1) y
radio euclidiano r, donde r es tal que =
1
2
ln
1r
1+r
, y calculando la integral
asociada, es decir
V
h
(S
h
()) =
_ _
D
_
dxdydz
z
3
donde D =
_
(x, y, z)

x
2
+ y
2
+ (z 1)
2
r
2
_
. Despues de integrar con
respecto a x e y, tenemos que
V
h
(S
h
()) =
_
1+r
1r
r
2
(z 1)
2
z
3
dz =
_
1+r
11
_
r
2
1
z
3
+
2
z
2

1
z
_
dz =
=
_
1 r
2
2z
2

2
z
ln z
_
1+r
1r
=
_
2r
1 r
2
+ ln
1 r
1 + r
_
y haciendo uso de que =
1
2
ln
1r
1+r
y de que r =
e
2
1
e
2
+1
, despues de un poco
de manipuleo algebraico, obtenemos
V
h
(S
h
()) = [senh(2) + 2]
_
=
4
3

3
+ . . .
_
Si deseamos calcular el area, basta con derivar:
A
h
(S
h
()) = 2 [cos h(2) 1]
_
= 4
2
+ . . .
_
Lo que aparece entre parentesis, despues de cada f ormula, se obtiene de
su desarrollo de Taylor.
El lector habr a notado que no hemos tocado el problema del volumen
de una pir amide o tetraedro; no es un olvido, sino que se trata una cuesti on
mucho m as delicada de lo que a primera vista se podra pensar.
Por supuesto Hiperb olico conoca estas f ormulas, pero estaba m as intere-
sado en otros asuntos, por ejemplo las horoesferas.
75
76 Las rectas de Hiperb olico
76
18. Hiperb olico y las
horoesferas
Por alguna raz on que no queda clara, Hiperb olico pens o en c omo sera la
vida para un ser bidimensional que viviese atrapado en la supercie de una
horoesfera, sin poder salir de ella. Las primeras preguntas que se hizo fueron
cu ales seran para el las rectasi.e. las trayectorias m as cortas para ir de
un punto a otro? que propiedades tendran y c omo seran sus tri angulos,
polgonos y circunferencias? cu al sera su idea de angulo?
Poco a poco fue dando respuesta a sus preguntas. La idea de recta
que este ser habra construido sera la de una h-geodesica en la horoesfera
para Hiperb olico, y su longitud sera la misma para Hiperb olico y el. Lo
mismo sucedera con las longitudes de las curvas y las areas de las guras.
Tambien ambos veran los mismo angulos. Dos puntos determinaban una
recta. Pero no todo era tan simple y natural; con las circunferencias ya
pasaban algunas cosas raras: si bien eran las mismas en un mundo y otro,
sus centros no coincidian. Adem as en ese mundo raro, por tres puntos no
alineados, siempre pasaba una y s olo una circunferencia. Pero el asunto no
paraba all en ese mundo, por un punto exterior a una recta pasaba una y
sola una paralela!, los angulos interiores de un tri angulo siempre sumaban
180

! adem as haba tri angulos con area tan grande como se quisiese!, nada
m as loco!. Bueno ese mundo se poda tapizar con polgonos regulares de
muy pocas maneras!, con tri angulos (seis por vertice), con cuadrados (cuatro
por vertice) y con hex agonos (tres por vertice). Indudablemente, todo esto
signic o un gran trabajo y esfuerzo por parte de Hiperb olico, pero para
nosotros es casi inmediato, basta tomar la horoesfera dada por el plano
z = 1 y percatarnos que para curvas contenidas en ella, las diferenciales de
longitud para Hiperb olico y la euclidiana coinciden
dS
h
() =
dS ()
z
con z = 1
77
78 Las rectas de Hiperb olico
y lo mismo para la diferencial de area.
dA
h
() =
dA()
z
2
con z = 1
As pues, tenemos que en esta horoesfera, la geometra asociada es la
euclidiana, lo que nos aclara las cosas.
Es interesante saber que Hiperb olico, en su mundo, dispone de un juguete
que es nuestro plano euclidiano. Esto es precisamente el signicado de lo que
acabamos de ver.
78
19. Un poco de la geometra
de la esfera de Hiperb olico:
recubrimientos y poliedros
regulares.
Otros de los objetos geometricos de su mundo que le interesaban a
Hiperb olico eran las esferas. No es claro si primero explor o la geometra
de las horoesferas y despues la de las esferas o fue al reves, pero lo cierto es
que en los dos casos sigue las mismas pautas.
En el caso de las esferas tambien piensa en un ser bidimensional que vive
atrapado en la supercie de una h-esfera y lo primero que se pregunta es-
para ir de un punto a otro, que trayectoria es la que este ser usar a?- por
supuesto, suponiendo que lo quiere hacer siguiendo la trayectoria m as corta.
Despues de pensar un buen rato lleg o a la convicci on de que su trayecto-
ria ser a un segmento de crculo m aximo; es decir un h-crculo cuyo centro
coincide con el de la h-esfera.
Por sus dibujos, nos parece que, a grandes rasgos, su argumento es el
siguiente: sea S la h-esfera en cuesti on. Llamemos A y B a los extremos
de la trayectoria que este ser recorre y situemos S de tal forma que O, el
h-centro de la h-esfera se encuentre en el punto (0,0,1) y el punto A tambien
se encuentre en el eje z pero por encima del centro O (Figura 52).
Consideremos el crculo m aximo de S que tiene su di ametro sobre el eje
z y que pasa por el punto B, y tomemos de los dos segmentos determinados
por los puntos A y B, el de menor longitud; mostraremos que cualquier
curva que una A y B tiene longitud mayor o igual que la de este segmento
(Figura 53).
Para conseguir nuestro prop osito, pensemos que nuestra trayectoria no
es un segmento de meridiano y que por lo tanto existe un punto P en
79
80 Las rectas de Hiperb olico
Figura 52:
el que la direcci on de la curva no coincide con la del meridiano que pasa
por dicho punto. Tomemos ahora el paralelo que pasa por P y otro que
pase por P + dS, donde dS es un innitesimal de longitud con la misma
direcci on que el meridiano en cuesti on (vease la Figura 54). Asimismo dS

es el innitesimal de longitud correspondiente a la trayectoria entre los


dos paralelos.
La longitud de dS

es mayor que la de dS y de ello nos damos cuenta


tomando las longitudes euclidianas
dS
yo
y
dS

yo
y considerando que
dS

yo
es la
hipotenusa del tri angulo rect angulo que tiene como cateto a
dS
yo
. De esta
observaci on se sigue directamente el resultado (este argumento, para el ca-
so euclidiano, esta explicado con todo detalle en Rivaud, J.J. Acerca de
Mapas, Miscelanea Matem atica. No. 27 (pags. 39-59) 1998).
80
Las rectas de Hiperb olico 81
Figura 53:
Sabiendo ya quienes eran las rectas en la geometra del mundo que
estaba empezando a estudiar, Hiperb olico vio que dos puntos no antipodales
determinaban una recta, que dos rectas coincidan o se intersectaban
en dos puntos y que por lo tanto no existan rectas paralelas. Tambien vio
que en ese mundo la suma de los angulos interiores de un tri angulo era
mayor que 180
0
, lo que, por alguna extra na corazonada, le hizo recordar los
recubrimientos por polgonos regulares del h-plano y del extra no mundo de
la horoesfera; pero primero decidio calcular el area de un tri angulo en una
h-esfera.
Con este prop osito tom o una h-esfera de radio , con centro en el eje z
y consider o un huso esferico completo con angulo de abertura y los polos
como vertices (Figura 55)
81
82 Las rectas de Hiperb olico
Figura 54:
Esta elecci on a nosotros nos resulta muy favorable, pues nos permite
entender la geometra con poco esfuerzo.
Denotando por A
h
() la supercie de la h-esfera de radio , y por U()
a la del huso en cuesti on, una simple regla de tres nos da:
U () =

A
h
()
Ahora bien, si tenemos un tri angulo con angulos interiores , y , y
consideramos los husos correspondientes a cada vertice (Figura 56).
Tenemos que la esfera quedar a cubierta por estos husos, con la particular-
idad de que tanto el tri angulo con angulos , y , como el diametralmente
opuesto est an cubiertos tres veces, mientras que los otros puntos solo est an
una vez.
Adem as del hecho de que la h-reexi on respecto a un punto dado, es una
h-isometra, es directo que un tri angulo en la h-esfera y su diametralmente
opuesto, tienen la misma area. Por lo tanto si denotamos por T(, , ) el
area de dicho tri angulo, tenemos que:
A
h
() + 4T (, , ) = U () + U () + U () =
= ( + +)
A
h
()

de donde:
82
Las rectas de Hiperb olico 83
Figura 55:
T (, , ) = ( + + )
A
h
()
4
F ormula que sorprendi o a Hiperb olico por su parecido con la de un
tri angulo en el h-plano, y que a nosotros nos debe sorprender aun m as,
pues es pr acticamente igual a la de un tri angulo en una esfera euclidiana
(T (, , ) = ( + + ) r
2
), pero no s olo eso, su deducci on es en am-
bos casos la misma!
Esta f ormula tambien le sirvi o a Hiperb olico para convencerse fuera de
toda duda que, como ya dijimos antes, los angulos de un tri angulo en una
h-esfera suman m as de radianes, o lo que es lo mismo, m as de 180
0
.
De este resultado es directa la f ormula para el area de un polgono regular
de h-lados y angulos interiores con magnitud , situados en una h-esfera de
radio .
P
h
(n, ) = (n (n 2) )
A
h
()
4
83
84 Las rectas de Hiperb olico
Figura 56:
Para vericar el resultado, basta analizar la Figura 57 y un poco de
algebra elemental
Despues de estos resultados pens o que ya poda enfrentar el problema de
los recubrimientos y repiti o el argumento que ya antes haba dado para el
h-plano y la horoesfera, llegando a la conclusi on que si queremos recubrir la
h-esfera con polgonos regulares de n lados de tal forma que en cada vertice
coincidan m de ellos, entonces se debe de satisfacer la siguiente condici on:
1
2
<
1
n
+
1
m
(n > 2, m > 2)
que, como ya vimos, s olo la cumplen las siguientes cinco parejas (3,3), (3,4),
(3,5), (4,3), (5,3), es decir tres tri angulos en cada vertice, tres cuadrados en
cada vertice, etc.
Esta informaci on le permiti o calcular el area de los polgonos en cuesti on
para cada recubrimiento y, as ver en cada caso cu antos eran necesarios. Para
ello primero hay que calcular la magnitud de los angulos interiores de los
polgonos, la cual es
2
m
y teniendo en cuenta el n umero de lados tenemos
que los polgonos de los recubrimientos posibles, de acuerdo con la f ormula,
tienen area
P
h
(n, m, ) =
_
n
2
m
(n 2)
_
A
h
()
4
=
84
Las rectas de Hiperb olico 85
Figura 57:
=
2n nm+ 2m
4m
A
h
()
Que nos dice que como la h-esfera de radio tiene el area A
h
(), entonces
para el caso (3, 3) (tres tri angulos en cada vertice) hacen falta cuatro de tales
polgonos, para la pareja (3, 4) el n umero requerido es ocho, para la (3, 5)
veinte, para la (4, 3) seis y para la pareja (5, 3) doce.
Sabiendo ya que posibilidades haba para recubrir la h-esfera con polgonos
regulares de ella y cuanto medan sus angulos interiores y el n umero de ellos
que haca falta en cada caso pudo conseguir efectivamente cada uno de los
recubrimientos; esta parte del trabajo de Hiperb olico nosotros la omitimos,
pero dado que el argumento es identico para los recubrimientos de una es-
fera euclidiana, estamos seguros que el lector podr a completar el argumento
(este tema est a desarrollado con todo detalle en Rivaud, J.J., Quintero, R.
Como el area de la esfera es 4r
2
, entonces..., Miscel anea Matem atica.
No. 30 (pags. 1-15) 2000).
Por supuesto que Hiperb olico estaba feliz de sus resultados y de haber
podido ver a que correspondan esas cinco parejas que le preocupaban des-
de que pens o en el problema de tapizar el h-plano o la horoesfera, pero
sigui o con sus sue nos y tom o los h-poliedros regulares inscritos en la h-esfera
85
86 Las rectas de Hiperb olico
de radio y que tuviese por vertices los de algunos de estos recubrimientos y
vio que s olo haba cinco, tres con caras triangulares (cuatro, ocho o veinte de
ellas), uno con seis caras cuadradas y otro m as con doce caras pentagonales.
Adem as eran los unicos h-poliedros regulares posibles, pues si tenemos un
h-poliedro regular lo podemos inscribir en una h-esfera y tomar sus vertices
como vertices de un recubrimiento de esta, y sabemos que s olo los cinco de-
scritos anteriormente son posibles. Como el lector sin duda ya se habr a per-
catado, son los mismos poliedros regulares que existen en el espacio eu-
clidiano y hay distintas maneras de ver la relaci on que guardan entre s o
con los poliedros regulares de R
3
; pero este punto no lo tocaremos, baste
decir que a medida que el tama no de los poliedros del h-espacio se hace m as
peque no, estos se parecen m as a los euclidianos.
Cuando variamos el radio de la h-esfera en que esta inscrito un poliedro
regular, el area de las caras de este tambien vara y esta variaci on se lleva
a cabo entre 0 y (n 2) (donde n es el umero de lados de una cara). Lo
anterior implica que el angulo interior del polgono que forma la cara varie
entre
n2
n
y 0; situaci on muy distinta a la euclidiana que, como veremos
en un instante, tiene interesantes repercusiones.
El siguiente problema que Hiperb olico se plante o fue tapizar con poliedros
regulares el h-espacio. Lo primero que observ o es que si tomaba dodecaedros
del tama no adecuado para que los angulos interiores de sus caras fuesen de
90
0
(Figura 58), entonces poda colocar ocho de ellos alrededor de un punto
de tal manera que no dejen espacio vaco ni se superpongan en la vecindad de
dicho punto (vease Figura 59); de la misma manera que nosostros podemos
colocar ocho cubos en R
3
. Luego, con tales dodecaedros es posible recubrir
el h-espacio! (Figura 59).
Figura 58:
86
Las rectas de Hiperb olico 87
Figura 59:
Sus pesquizas fueron m as lejos y vio que hay otras tres formas para
recubrir su mundo con poliedros regulares, pero sin duda el lector quiere
averiguarlo por s mismo (sobre este tema J.J. Rivaud amenaza con someter
a Miscel anea Matem atica, para su publicaci on, un artculo titulado Tapizan-
do el Espacio con Poliedros Regulares).
87
88 Las rectas de Hiperb olico
88
20. Para Terminar
Me gustara poder decir, como lo hizo Descartes en el ultimo p arrafo de
La geo-metra, que Espero que nuestros descendientes sabr an reconocerme
no s olo las cuestiones que he explicado, sino tambien aquellas que he omitido
voluntariamente con el n de permitirles disfrutar del placer que produce su
descubrimiento. Pero no es este mi caso, hay muchas otras cosas que nos
gustara haber dicho, pero que por no venir a cuento en ese momento o
desviarnos de nuestro prop osito, y despues no encontrar el lugar adecuado,
no aparecen en el texto; ejemplo de ello es la existencia, en el h-plano de
una unidad natural para medir las areas y c omo, a partir de ella, se puede
dar una para la longitud, situaci on completamente distinta a lo que sucede
en el plano euclidiano, donde la primera unidad de medida es arbitraria.
Otro detalle es la noci on de radi an en terminos intrnsecos del h-plano.
Por necesitar de m as espacio y por gustos personales, he omitido cualquier
menci on a la trigonometra hiperb olica, tema en el que Hiperb olico es un
experto. Tampoco hablo de la historia de la geometra hiperb olica, o de las
cuestiones de car acter los oco que se plantean en su entorno.
En n, hay muchas m as cosas que no digo de las que s lo hago. Ojal a el
lector lo tome como una invitaci on a seguir adelante en con el tema. Buena
suerte!
89

También podría gustarte