Acerca de La Geometria de Lobachevski - A. S. Smogorzhevski

Acerca de la Geometra de Lobachevski www.librosmaravillosos.com A. S.
Smogorzhevski
Traducido del ruso por Virgilio Llanos Mas Preparado por Patricio Barros 1
PREFACTO DEL AUTOR

El objetivo de este libro es dar a conocer al lector los fundamentos principales de la
geometra no euclidiana de Lobachevski.
El clebre cientfico ruso Nikolai Ivanovich Lobachevski era un pensador notable. A l le
pertenece uno de los inventos matemticos ms importantes, la creacin de un sistema
geomtrico original distinto de la geometra de Euclides. Los datos biogrficos breves de
Lobachevski el lector los hallar en el Captulo 1 de nuestro libro.
Las geometras de Euclides y Lobachevski tienen mucho de comn; en ellas slo son
diferentes las definiciones, los teoremas y las frmulas ligadas al axioma del paralelismo.
Para comprender qu es lo que suscit esta diferencia se debe examinar cmo surgieron y
desarrollaron las nociones geomtricas fundamentales. El Captulo 2 est dedicado a esta
cuestin.
Para la comprensin del libro, adems del conocimiento de geometra (planimetra) y de
trigonometra en el grado del curso de segunda enseanza, se requiere el conocimiento de la
transformacin denominada inversin. En el Captulo 3 damos un resumen de sus
propiedades ms importantes.
Esperamos que el lector, sin gran trabajo y con provecho para s, asimile el contenido de
este prrafo que, igual que el Captulo 10, juega en nuestro libro un papel que aunque es
auxiliar, es de suma importancia.
Acerca de la Geometra de Lobachevski www.librosmaravillosos.com A. S. Smogorzhevski
Captulo 1
BOSQUEJO RESUMIDO DE LA VIDA Y ACTIVIDAD DE N. I. LOBACHEVSKI

Nikolai Ivanovich Lobachevski naci el 20 de noviembre (1 de diciembre segn el estilo
nuevo) de 1792 en la familia de un funcionario pobre. Nikolai Lobachevski y sus dos
hermanos quedaron prematuramente a cargo de su madre, mujer enrgica y sensata que, a
pesar de la excesiva escasez de medios, envi a todos sus hijos a estudiar en el gimnasio de
Kazn.
N. I. Lobachevski estudi en el gimnasio de Kazn desde 1802 hasta 1807, y en la
Universidad de Kazn, desde 1807 basta 1811. Disponiendo de brillantes aptitudes
matemticas, Lobachevski curs exitosamente los estudios y, una vez acabados stos en la
Universidad, fue retenido en ella para prepararse a ser catedrtico, ttulo que le fue
concedido en el ao 1816.
La actividad pedaggica de Lobachevski dej una viva impresin en la memoria de sus
discpulos. Sus conferencias se caracterizaban por la claridad y plenitud de exposicin. Los
conocimientos de Lobachevski en las diversas ramas de la ciencia eran vastos y
multifacticos, hecho que le permita asumir sobre s, ciclos de conferencias no slo de
asignaturas de la serie matemtica, sino tambin de mecnica, fsica, astronoma, geodesia,
topografa.
Habiendo sido elegido en el ao 1827 rector de la Universidad de Kazn, Lobachevski
desempe esta funcin cerca de veinte aos. Siendo un administrador talentoso y enrgico
que comprenda bien los problemas de la enseanza superior; pudo convertir la Universidad
de Kazn en un centro modelo de enseanza superior de aquel tiempo. Por iniciativa de
Lobachevski, la Universidad comenz a editar las Memorias cientficas, se foment la
construccin de edificios universitarios y se inaugur el observatorio de astronoma de la
Universidad.
Su actividad cientfica dio a Lobachevski fama mundial. El inmortaliz su nombre con la
creacin de la geometra no euclidiana que en la actualidad, de acuerdo al nombre de su
fundador, la denominan geometra de Lobachevski
1
.
El 11 (23) de febrero de 1826, en la sesin de la Seccin de ciencias fsico-matemticas de
la Universidad de Kazn. Lobachevski intervino con una conferencia en la que, por primera
vez, inform respecto a su invento de la geometra no euclidiana. La primera exposicin de
los principios de sta, aparecida en la prensa, fue la memoria de Lobachevski Sobre los

1
Otra de sus denominaciones, la de geometra hiperblica, est vinculada al hecho que en sta la lnea recta, igual
que la hiprbola en la geometra euclidiana, tiene dos puntos alejados infinitamente (vase Captulo 4)

fundamentos de la Geometra, publicada en los aos 1829 - 1830 en la revista Boletn de
Kazn".
El invento de Lobachevski no fue concebido por la mayora de sus contemporneos; sus
trabajos respecto a la geometra obtuvieron juicios negativos tanto en Rusia como en el
extranjero. Las ideas del gran sabio ruso eran demasiado audaces y diferan
ostensiblemente con los puntos de vista que entonces predominaban en la ciencia;
precisamente por esto transcurri mucho tiempo antes que dichas ideas se ganaran el
reconocimiento comn que vino solamente despus de la muerte de Lobachevski.

N. I. Lobachevski

Lobachevski no fue disuadido de la justeza de sus deducciones por los ataques de la crtica
y, con la energa e insistencia que le caracterizaban, prosigui el estudio del sistema
geomtrico creado por l. Publica una serie de trabajos dedicados a la geometra no
euclidiana. El ltimo de stos, terminado por Lobachevski algo antes de su muerte, fue
dictado por l cuando ya no poda escribir por la ceguedad que le afect en su vejez.
La actividad cientfica de Lobachevski no quedaba reducida a las investigaciones
geomtricas, pertenecindole tambin varios trabajos fundamentales en la rama del lgebra
y del anlisis matemtico. El mtodo de solucin aproximada de ecuaciones algebraicas,
inventado por Lobachevski, es muy fino y prctico.
Los criterios filosficos de Lobachevski tenan tendencia materialista bien destacada, y ste
consideraba que el medio ms seguro de comprobacin de las deducciones tericas era la
experiencia, la prctica. Lobachevski exiga una enseanza de las matemticas que avezara
a ver tras las operaciones matemticas los fenmenos reales de la vida.
En el ao 1846 Lobachevski fue destituido de su trabajo en la Universidad y nombrado
ayudante del curador del distrito de enseanza de Kazn. Aunque formalmente esto era
ascenso en el cargo, prcticamente, de esta manera, los jefes superiores se esforzaron por
deshacerse del rector que, por ser de orientacin progresista, les era indeseable. En su
nuevo cargo, subordinado al curador del distrito de enseanza de Kazn, Lobachevski se
vea mucho ms restringido en sus actividades que durante su permanencia en el cargo de
rector de la Universidad y sufra por su retiro de sta, a la que estaba unida toda su vida.
Lobachevski falleci el 12 (24) de febrero de 1856. En 1896, frente al edilicio de la
Universidad de Kazn, fue erigido un monumento al eminente sabio
2

2
El lector puede encontrar datos biogrficos ms amplios respecto a Lobachevski en los libros siguientes:
V. F Kagan. Lobachevski, M., L., 1948. Este amplio trabajo (506 pgs.), adems de la biografa detallada
de Lobachevski, contiene tambin un resumen de sus obras.
V F. Kagan. El gran sabio N. I. Lobachevski y su puesto en la ciencia mundial, M., L., 1943. Un libro
pequeo escrito de manera popular.
P. A. Shirokov, V. F. Kagan. Estructura de la geometra no euclidiana. Edicin I de la serie La geometra
de Lobachevski y el desarrollo de sus ideas, M., L, 1950. En una de las partes de este libro se da un
resumen breve, bien llevado a cabo, de los fundamentos de la geometra de Lobachevski, resumen
comprensible para el amplio crculo de lectores.
Vase tambin el articulo Lobachevski en el tomo 25 de la Gran Enciclopedia Sovitica (2
da
edicin, pgs.
314 a 317).

Captulo 2
RESPECTO AL ORIGEN DE LOS AXIOMAS Y SU PAPEL EN LA GEOMETRIA

Para aclarar el papel de los axiomas examinaremos en rasgos generales las etapas ms
importantes del desarrollo de la geometra desde los tiempos remotos.
La patria de la geometra son los pases del Antiguo Oriente donde, hace varios milenios y
debido a las necesidades de la agrimensura, arquitectura y astronoma, fueron elaborados
importantes principios de aspecto prctico para la medicin de ngulos, reas de algunas
figuras y volmenes de los cuerpos ms simples. Estos principios se elaboraron
empricamente (por vas prcticas) y. por lo visto, se transmitan oralmente; en los textos
matemticos que llegaron hasta nosotros hallamos frecuentemente aplicaciones de los
principios geomtricos, pero no encontramos tentativas de formularlos.
Con el tiempo, cuando se ampli el crculo de objetos a los que se aplicaban los
conocimientos geomtricos adquiridos, se puso en claro la necesidad de formular los
principios geomtricos en su forma ms general, hecho que determin el paso en la
geometra de conceptos concretos a conceptos abstractos. As, por ejemplo, el principio
elaborado para medir el rea de una parcela rectangular de tierra result ser apto para
medir el rea de una alfombra, la superficie de una pared, etc., y, como resultado, surgi la
nocin abstracta de rectngulo.
De este modo se constituy el sistema de conocimientos que obtuvo el nombre de
geometra. En la primera fase de su desarrollo, la geometra era una ciencia emprica, es
decir, una ciencia en la que todos los resultados se deducen directamente en la prctica.
El desarrollo de la geometra march por un nuevo camino cuando se repar en que algunas
de sus proposiciones no requieren argumentacin emprica, ya que stas pueden ser
derivadas de otras proposiciones mediante deducciones basadas en las leyes de la lgica. Se
comenz a diferenciar en la geometra proposiciones de dos gneros: las establecidas por
va prctica (ms tarde denominadas axiomas) y las demostrables lgicamente basndose
en los axiomas (teoremas).
Puesto que, por no requerir dispositivos especiales, ni numerosas mediciones fastidiosas, la
argumentacin lgica en el aspecto tcnico es considerablemente ms simple que la
emprica, ante los sabios de la antigedad, como es natural, se plante el problema de
reducir al mnimo el nmero de proposiciones del primer gnero (axiomas) para facilitar de
este modo el trabajo del gemetra trasladando el peso fundamental a la esfera del raciocinio
lgico. Este objetivo result ser realizable, ya que la geometra se abstrae de todas las
propiedades de los cuerpos excepto su extensin, propiedad muy esencial pero tan simple,
que toda clase de relaciones geomtricas pueden ser deducidas de un nmero reducido de
proposiciones, axiomas segn las leyes de la lgica.
De esta manera la geometra se transform de ciencia emprica en ciencia deductiva de
exposicin axiomtica, que caracteriza su estado actual
1
.
La primera exposicin sistemtica de las tesis fundamentales de la geometra llegada hasta
nosotros fueron los Elementos de Euclides, escritos cerca de 300 aos antes de nuestra
era. Esta obra est construida segn el esquema siguiente: despus de las definiciones y de
los axiomas se exponen las demostraciones de los teoremas y las soluciones de los
problemas, y, con eso, todo teorema nuevo se demuestra basndose en los axiomas y en los
teoremas demostrados anteriormente. Los axiomas no se demuestran, solamente se
enuncian.
Durante el transcurso de dos milenios los Elementos de Euclides gozaron de autoridad
innegable en el mundo cientfico. Sin embargo, un pasaje de este trabajo pareca no estar
suficientemente justificado. Se sobreentiende el axioma del paralelismo, que Euclides
formul as:
Si dos lneas rectas, al intersecarse con una tercera, forman ngulos internos unilaterales
cuya suma es inferior a dos ngulos rectos, resulta ser que estas dos rectas, al prolongarlas
ilimitadamente, se encontrarn por aqul lado en el que esta suma es inferior a dos ngulos
rectos
2
.
La justeza del axioma del paralelismo de Euclides no suscitaba dudas. La duda respecto a
este axioma radicaba en otra cosa: era justo el haberlo relacionado a la categora de los
axiomas?, no sera posible demostrar este axioma con ayuda de otros axiomas de los
"Elementos euclidianos y, de esta manera, pasarlo a la categora de los teoremas?
Al principio, los intentos de demostrar el axioma del paralelismo reflejaban la tendencia
sealada anteriormente de disminuir el nmero de proposiciones geomtricas, que exigan
fundamentacin emprica. Con el transcurso del tiempo la situacin vari: se olvid el origen
experimental de los axiomas y stos se comenzaron a interpretar como verdades evidentes
de por si, independientemente de cualquiera que fuera el experimento
3
. Semejante punto de

1
Deduccin: accin de deducir. Se llama deductiva a la ciencia en la que las tesis nuevas se derivan de las
anteriores de manera puramente lgica.
2
En los manuales escolares de geometra, el axioma del paralelismo de Euclides est sustituido por la siguiente
proposicin equivalente: a travs de un punto situado fuera de una recta, se puede trazar slo una recta paralela a
la primera.
Cualesquiera dos axiomas de la geometra euclidiana u otra geometra se consideran similares (equivalentes) si de
ambos se deducen unos mismos resultados, a la par que todos los axiomas restantes de esta geometra queden en
vigor.
3
Es sabido que los ciegos de nacimiento que en la edad madura han recuperado la vista por va quirrgica, al
principio, despus de la operacin, no pueden distinguir el cubo de la esfera sin haberlos palpado. As se demuestra
la necesidad del experimento para una percepcin justa de las figuras geomtricas, sin lo cual no pueden elaborarse
Conceptos geomtricos.
vista engendr la seguridad que el axioma del paralelismo, que por su complejidad es difcil
admitirlo como axiomtico, en realidad no es un axioma y por consiguiente, se puede hallar
la demostracin de la afirmacin contenida en l. Sin embargo, los numerosos esfuerzos en
este sentido no dieron resultados positivos y el axioma del paralelismo, cual tesoro
hechizado, no descubra sus secretos a los investigadores. Los intentos de demostrar este
axioma, condenados al fracaso, exigieron un consumo enorme de trabajo intelectual de
numerosas generaciones de sabios y fueron la expiacin por la interpretacin idealista de la
esencia de los axiomas.
El tipo de demostracin errnea del axioma del paralelismo de Euclides ms difundido era el
de su sustitucin por otra proposicin equivalente como, por ejemplo: la perpendicular y la
oblicua respecto a una misma recta se cortan; o: existe un tringulo semejante al tringulo
dado pero no igual a ste; o: el lugar geomtrico de puntos equidistantes de una recta dada,
si se encuentran a un mismo lado de sta, es una recta; o: a travs de cualesquiera tres
puntos se puede trazar o bien una recta, o bien una circunferencia. Ms adelante
demostraremos que, si el axioma del paralelismo de Euclides no tiene lugar, todas estas
proposiciones son errneas. Por consiguiente, admitiendo cualquiera de las proposiciones
enumeradas como un axioma, consideramos que el axioma euclidiano del paralelismo es
justo, es decir, partimos de la justeza de aquello que queramos demostrar
En sus investigaciones de la teora de las lneas paralelas, Lobachevski fue por otro camino.
Habiendo comenzado por intentos de demostrar el axioma del paralelismo pronto advirti
que uno de ellos conduce a resultados absolutamente inesperados. Este intento consista en
la utilizacin del mtodo de demostracin por oposicin y se basaba en la consideracin
siguiente: si el axioma del paralelismo de Euclides es resultado de otros axiomas de los
"Elementos y si, no obstante, se admite que a travs de un punto fuera de una recta, en el
plano determinado por stos, se pueden trazar por lo menos dos rectas que no cortan a la
recta dada, resultar ser que esta suposicin tarde o temprano, en sus resultados ms
inmediatos o ms lejanos, conducir a una contradiccin.
Entre tanto, analizando los nuevos resultados de la admisin hecha por l, paradjicos desde
el punto de vista de la geometra euclidiana, Lobachevski se persuada que stos formaban
un sistema lgico no contradictorio de teoremas capaces de constituir la base de una nueva
teora cientfica.
As fue fundamentada la geometra no euclidiana; su axioma del paralelismo se diferencia
del euclidiano y coincide con la suposicin citada anteriormente, que en lo sucesivo
denominaremos axioma del paralelismo de Lobachevski
4
.
No obstante, no quedaba claro si se poda afirmar con seguridad que ninguno de los
numerosos posibles resultados del axioma del paralelismo de Lobachevski conducira a una
contradiccin. Lobachevski fij la solucin de esta cuestin: seal que la no contrariedad de
la geometra descubierta por l debe deducirse de la posibilidad de aritmetizarla, es decir, de
la posibilidad de reducir la solucin de cualquier problema geomtrico a clculos aritmticos
y transformaciones analticas, utilizando para ello las frmulas de la trigonometra
hiperblica deducidas por l mismo. Ulteriormente fueron halladas por otros sabios
demostraciones rigurosas de la no contrariedad de la geometra de Lobachevski.
Las investigaciones de Lobachevski en la rama de la geometra hiperblica son muy vastas:
abarcan su parte elemental, la trigonometra, la geometra analtica y la geometra
diferencial. Utilizando los mtodos de la geometra creada por l, Lobachevski hall ms de
200 frmulas nuevas para el clculo de las integrales definidas.
El descubrimiento de Lobachevski se calificaba por sus contemporneos, e incluso por sus
discpulos, como un disparate monstruoso, como un desafo audaz a las leyes de la lgica y
del sentido comn
5
. No nos asombra tal actitud respecto a la idea genial que demola las
nociones de aquella poca. Con la mina hostilidad tambin haba sido acogida la teora
heliocntrica de Coprnico, que negaba aquello que pareca ser absolutamente evidente y
afirmaba aquello que pareca ser inconcebible. Se requeran consideraciones muy profundas
para comprender la admisibilidad de dos geometras diferentes. A continuacin pasamos
precisamente a exponer algunas de estas consideraciones, las ms comprensibles.
En los manuales escolares de geometra, en la parte Planimetra, se estudia el plano
independientemente del espacio que lo rodea; con otras palabras; la planimetra es la
geometra del plano euclidiano. Tambin han sido bien estudiadas las geometras de ciertas
superficies curvilneas; puede servir de ejemplo la geometra esfrica, que encuentra amplio
uso en la astronoma y en otras ramas de la ciencia.

4
Posteriormente se puso en claro que, adems de la geometra descubierta por Lobachevski, se pueden construir
otras muchas geometras no eucldeas.
5
Desde luego, no puede sospecharse infundadamente de ineptitud de los sabios contemporneos de Lobachevski
por la incomprensin de su invento; es posible que muchos de ellos no emitieron su opinin respecto al invento por
pertenecer las investigaciones de Lobachevski a una rama que no entraba en la esfera de sus intereses cientficos,
tambin se sabe que el clebre matemtico alemn Carlos Gauss y el eminente gemetra hngaro Juan Bolyai, que
independientemente de Lobachevski llegaron a la conclusin de la posibilidad de construir una geometra no
euclidiana, compartan los puntos de vista de ste. Sin embargo, Gauss, temiendo ser incomprendido y ridiculizado,
nunca intervino en la prensa apoyando las ideas de Lobachevski, y Bolyai, viendo que sus propias investigaciones
de la geometra no euclidiana (publicadas en el ao 1832) no fueron reconocidas, se apart de los ejercicios
matemticos. De tal modo, Lobachevski tuvo que luchar solitariamente, justificando sus ideas.

En toda ciencia los conceptos simplsimos tienen mucha importancia. En la geometra
euclidiana semejantes conceptos son el punto, la recta, el plano. Estas denominaciones se
conservan tambin en las geometras no euclidianas, llamndose recta a la lnea por la que
se mide la distancia ms corta entre dos puntos y plano a la superficie que tiene la
siguiente propiedad: si dos puntos de la recta pertenecen a esta superficie, resultara ser
que todos los puntos restantes de la misma recta tambin pertenecen a dicha superficie.
Por ejemplo, en la geometra esfrica, se denominan plano y rectas, respectivamente, a
la esfera y a las circunferencias de sus crculos mayores. Esta terminologa es
completamente oportuna ya que en cualquiera de las geometras la recta es la lnea ms
simple y el plano es tambin la superficie ms simple y, adems, la primera tiene la
propiedad ms importante de la recta euclidiana y el segundo, la propiedad ms importante
del plano euclidiano
6
.
Sealaremos algunas singularidades de la geometra esfrica. Para mayor evidencia la
examinaremos como la geometra de la superficie del globo. No es difcil comprender que
dos rectas de esta geometra (por ejemplo, dos meridianos) siempre se cortan en dos
puntos del globo diametralmente opuestos. Despus, la suma de los ngulos del tringulo
esfrico es mayor que 2d por ejemplo, en el tringulo limitado por un cuarto del ecuador y
por los arcos de dos meridianos (Figura 1) todos los tres ngulos son rectos
7
.

Figura 2

6
Advertiremos que en la geometra proyectiva falta la nocin de distancia entre dos puntos; en el caso de una
geometra de tal gnero la interpretacin de las nociones recta y plano" expuesta anteriormente, es inaplicable.
7
Se denomina ngulo entre dos lneas en el punto de su interseccin al ngulo entre las tangentes a stas en dicho
punto.

Es sabido que en la geografa, a la par con el globo, se utilizan mapas de la superficie
terrestre. Esto equivale al estudio de la geometra esfrica mediante el examen de los
mapas de la esfera, hecho posible si se indica de qu manera se hallan por medio de las
efigies de las lneas en el mapa sus longitudes reales y las magnitudes reales de los ngulos
entre ellas. La cosa consiste en que en el mapa se obtienen efigies desfiguradas y el carcter
de esta desfiguracin no es el mismo en todas partes. Por ejemplo, en el mapa de la
superficie terrestre ejecutado en la proyeccin de Mercator
8
(figura 2) a los meridianos les
corresponden lneas rectas paralelas a las que son perpendiculares otras lneas rectas,
equivalentes a los paralelos geogrficos y, al mismo tiempo, el segmento que representa 1
del paralelo tiene, independientemente de su latitud, una misma longitud, mientras que en
la realidad la longitud del grado de un paralelo es tanto menor cuanto ms elevada es su
latitud.

Figura 3

En vista de que la superficie tiene dos dimensiones se ha aceptado denominar bidimensional
a la geometra que estudia las figuras que se encuentran sobre una superficie determinada,
y denominar espacio bidimensional a la propia superficie. Desde hace mucho tiempo se
conocen dos variedades de la geometra bidimensional: la euclidiana (para el plano) y la

8
Gerardo Mercator (1512 - 1594), eminente cartgrafo flamenco. La proyeccin cartogrfica propuesta por l en el
ao 1569 obtuvo una divulgacin general y desde entonces, las cartas martimas se ejecutan en esta proyeccin.
esfrica. Al hecho de existir una geometra bidimensional no euclidiana los matemticos no
le daban gran importancia por la simple razn que la esfera se estudiaba en el espacio
euclidiano tridimensional, y esto obligaba a olvidar las propiedades no euclidianas de la
esfera como tal
Como resultado de las investigaciones de Lobachevski se puso en claro que no slo son
concebibles las superficies con propiedades no euclidianas, sino que tambin lo son los
espacios no euclidianos tridimensionales.
La introduccin del concepto de las geometras tridimensionales no euclidianas puede
provocar dudas si no se hacen las aclaraciones siguientes.
A veces es cmodo representar en forma geomtrica los resultados del estudio de una clase
determinada de fenmenos. Por ejemplo, los datos concernientes al incremento de la
productividad del trabajo frecuentemente se exponen en forma de grficas y diagramas.
Esto demuestra que mediante imgenes geomtricas se pueden describir diversos procesos
y estados reales que no tienen relacin directa con la geometra.
Si se considera la grfica como una lnea del plano euclidiano, es evidente que en el ejemplo
expuesto anteriormente se han empleado imgenes de la geometra euclidiana
bidimensional. En otros casos ms complicados se tiene que recurrir a las geometras
euclidianas y no euclidianas tridimensionales e, incluso, polidimensionales. De esto no se
debe deducir que todas ellas describen relaciones de extensin; stas son teoras que, en
sus formulaciones, utilizan trminos geomtricos a los que, hablando en general, se les
atribuye un contenido no ligado a las nociones espaciales. As, por ejemplo, al agregar el
tiempo a las tres dimensiones del espacio real en calidad de una cuarta dimensin,
introducimos el concepto de espacio cuatridimensional en el que el intervalo determinado de
tiempo se considera como un segmento de la recta. En la mayora de los casos semejante
enfoque crea solamente la apariencia de claridad, cosa que, hasta cierto grado, facilita el
anlisis del fenmeno que se estudia por este mtodo.
De tal modo, la construccin de las geometras no euclidianas se justifica por la posibilidad
de utilizar sus deducciones para objetos que en la realidad existen. La circunstancia de que
estas deducciones se formulan con trminos de la geometra no tiene importancia esencial:
las formulaciones geomtricas se pueden modificar fcilmente de tal manera que
correspondan a las propiedades de los objetos y fenmenos que se estudian.
Advertiremos que en las aplicaciones de la matemtica, en aquellos casos en los que la
teora presta servicio a objetos que se someten a unas mismas leyes matemticas aunque
cualitativamente son diferentes, se practica con frecuencia la sustitucin de unos conceptos
por otros
9
.
Se debe hablar especialmente de las geometras tridimensionales. Estas pueden
considerarse, independientemente de otras aplicaciones que tengan, como hiptesis que
pretenden a describir las propiedades del espacio real. La cuestin respecto a cul de estas
hiptesis est ms cerca de la realidad, solamente puede ser resuella mediante la
comprobacin experimental de sus tesis.
Sealaremos el hecho siguiente, muy importante para la exposicin ulterior; en el plano
euclidiano se puede construir (as como se hace para la esfera y, adems, no por un solo
procedimiento) la carta del plano de Lobachevski. El estudio de una de semejantes cartas se
admitir en nuestro libro como base para el estudio de la geometra hiperblica.
Es caracterstico que la geometra de Lobachevski obtuvo reconocimiento general en las
circunstancias siguientes. En el ao 1868 el matemtico italiano Eugenio Beltrami descubri
que en el espacio euclidiano existe una superficie que tiene las propiedades del plano de
Lobachevski, mejor dicho, de cierto pedazo de este plano (si se consideran como rectas en
esta superficie las lneas ms cortas). Este descubrimiento, que al poco tiempo condujo a la
construccin de diferentes cartas del plano de Lobachevski, convenci a los sabios de la
justeza de las ideas del gran gemetra ruso, sirvi de impulso para el estudio profundo de
sus obras y dio comienzo a numerosas investigaciones en la rama de las geometras no
euclidianas.
El descubrimiento de las geometras no euclidianas plante ante la fsica un problema
extraordinariamente complejo: aclarar si el espacio fsico real es euclidiano, como antes
pensaban, y si no lo es, a qu tipo de espacios no euclidianos pertenece
10
. Para la solucin
de este problema se requiere una comprobacin experimental de la justeza de los axiomas,
estando claro que con el perfeccionamiento de los instrumentos de medicin aumenta la
seguridad de los datos experimentales obtenidos y aparece la posibilidad de penetrar en
detalles que antes se escapaban de la atencin de los investigadores.
As pues Lobachevski retorn la geometra a la interpretacin materialista de los axiomas
como proposiciones que constatan las propiedades geomtricas fundamentales del espacio y
que fueron concebidos por el hombre como resultado del experimento.
Actualmente es imposible considerar resuelta hasta el fin la cuestin respecto a la estructura
geomtrica del espacio fsico real. No obstante, sealaremos que la teora contempornea de

9
Respecto al empleo prctico de este principio vase el artculo "Simulacin en el libro de V. G. Boltianski Qu es
el clculo diferencial? (serie de Lecciones populares de matemticas, Editorial Mir, Mosc).
10
Al examinar esta cuestin se debe tener en cuenta la posibilidad de que el espacio real sea heterogneo, es decir,
la circunstancia que su estructura geomtrica pueda resultar no ser igual en todas partes.

la relatividad, basndose en numerosos datos, considera que el espacio real no es euclidiano
y que adems, por sus propiedades geomtricas, es mucho ms complejo que el espacio de
Lobachevski. Uno de los golpes ms fuertes a la conviccin que la estructura del espacio real
era euclidiana le asest el descubrimiento de la ley fsica de acuerdo a la cual no existe
velocidad alguna que supere la velocidad de la luz.
Ahora podemos responder a una pregunta que con frecuencia omos: cul de las dos
geometras es la verdadera, la de Euclides o la de Lobachevski?
Semejante pregunta no surge respecto a las geometras bidimensionales euclidiana y
esfrica, es absolutamente obvio que ambas son verdaderas, pero cada una de ellas tiene su
campo de aplicacin: no pueden ser usadas las frmulas de la geometra esfrica para las
figuras planas, as como no pueden ser usadas las frmulas de la geometra bidimensional
euclidiana para las figuras en la esfera. Esto mismo es tambin justo respecto a las diversas
geometras tridimensionales cada una de ellas, siendo lgicamente no contradictoria,
encuentra empleo en una rama determinada, no siendo obligatorio que sta sea geomtrica;
no obstante, cada una de ellas se negar a servir si a sus principios se les atribuye un
carcter universal.
La cuestin referente a la estructura del espacio real, como ya sealbamos, pertenece a la
competencia de la fsica y no puede ser resuelta con las fuerzas de la geometra pura. Su
particularidad consiste, entre otras cosas, en que ninguna geometra refleja las relaciones de
extensin con exactitud absoluta; as, por ejemplo, debido a la estructura molecular de la
materia, no existen cuerpos accesibles a la apreciacin de sus dimensiones que posean las
propiedades geomtricas de la esfera ideal. Precisamente por esto, la aplicacin de reglas
geomtricas a la solucin de problemas concretos conduce inevitablemente a resultados
aproximados. De tal modo, nuestra nocin respecto a la estructura geomtrica del espacio
real se reduce de hecho a la conviccin cientficamente basada de que una geometra
determinada describe mejor que otras las relaciones reales de la extensin.
Por el hecho que en la teora de la relatividad se utilizan frmulas de la geometra no
euclidiana no se deduce todava la necesidad de entregar la geometra de Euclides al
archivo, tal y como ocurri con la astrologa, la alquimia y otras seudo ciencias semejantes.
Tanto una como otra geometra representan un instrumento para el estudio de las formas
espaciales, pero la primera permite efectuar investigaciones mas detalladas, mientras que la
segunda es suficiente para la solucin de la inmensa mayora de problemas prcticamente
importantes de muy elevado grado de exactitud y como, adems, se distingue por ser muy
simple, siempre le estar asegurada una amplia aplicacin.
Al terminar nuestro breve esbozo sealaremos aquello nuevo que aport Lobachevski en el
desarrollo de las ideas geomtricas.
Los mritos cientficos de este notable pensador no se agotan con el hecho de que haya
arrancado el velo del misterio milenario del axioma del paralelismo; la importancia de sus
investigaciones es inmensurablemente ms amplia.
Habiendo sometido a un anlisis critico uno de los axiomas euclidianos, Lobachevski dio
comienzo a la revisin de algunas posiciones iniciales del sistema de Euclides, hecho que
posteriormente condujo a la elaboracin de principios rigurosamente cientficos de
construccin axiomtica de la geometra y de otras ciencias matemticas.
El descubrimiento por Lobachevski de la geometra hiperblica sac a la ciencia concerniente
a las formas espaciales de los estrechos limites del sistema euclidiana La geometra de
Lobachevski encontr aplicacin directa en la teora de integrales definidas y en otras ramas
de la matemtica.
Lobachevski suscit la elaboracin de cuestiones que no podan surgir con el estado
precedente de la matemtica y, entre ellas, la cuestin respecto a la estructura geomtrica
del espacio real. Sin su descubrimiento no hubiera podido desarrollarse la teora de la
relatividad, uno de los mayores alcances de la fsica contempornea. Partiendo de las
investigaciones de Lobachevski los sabios construyeron una teora que permite efectuar el
clculo de los procesos que transcurren en el interior del ncleo atmico.
Para concluir sealaremos la importancia gnoseolgica
11
de las ideas del gran matemtico
ruso. Antes de Lobachevski, durante el transcurso de muchos siglos, reinaba en la geometra
el punto de vista idealista que remontaba a Platn, el filsofo de la Grecia antigua
atribuyendo a los axiomas del sistema euclidiano un carcter absoluto ste negaba su
procedencia experimental. Lobachevski rompi categricamente con este punto de vista y
retorn la geometra a las posiciones del materialismo.

11
Gnoseologa es la ciencia del conocimiento.
Captulo 3
INVERSIN

Supongamos que se ense una regla que permite pasar de cualquier figura dada a otra, de
tal manera que la segunda figura queda absolutamente determinada si se ha dado la
primera y viceversa. Dicho paso se denomina transformacin geomtrica. La inversin, a la
par con la traslacin paralela, la transformacin de similitud, el giro de la figura y la
proyeccin, pertenece tambin al nmero de transformaciones geomtricas ms usuales. Por
ejemplo, esta transformacin se utiliza ampliamente en la matemtica como mtodo para la
resolucin de problemas de construccin, en la teora de las funciones de variable compleja,
en el estudio de las cartas de la superficie de Lobachevski.
En el captulo presente damos la determinacin de la inversin y de las nociones
relacionadas con ella y examinamos una serie de sus propiedades fundamentales.
Supongamos que en el plano se da la circunferencia k con el radio r y el centro O y el
punto A diferente de O. Elijamos en la semirrecta OA el punto A, de tal manera que el
producto de los segmentos OA y OA sea igual al cuadrado del radio de la circunferencia k:

OA OA=r (1)

Convengamos decir que los puntos A y A son simtricos respecto a la circunferencia k.
Si uno de los puntos A, A se encuentra fuera de la circunferencia k, el otro se hallar en el
interior de sta, y viceversa; por ejemplo, de la desigualdad OA > r deducimos, tomando en
consideracin la condicin (1), que OA < r. Si el punto A o A se encuentra en la
circunferencia k, resultar que A y A coinciden.

Figura 3

Examinemos la figura 3 donde AB es la tangente a la circunferencia k y BA es la
perpendicular a OA. Puesto que OA es la proyeccin del cateto OB del tringulo rectngulo
OAB sobre la hipotenusa OA

OA OA = OB
2
= r
2

y, por consiguiente, los puntos A y A son simtricos respecto a k. De aqu que sea evidente
la construccin del punto A, si se ha dado el punto A, y la del punto A si se ha dado el punto
A.

Teorema 1. Si la circunferencia q pasa por dos puntos diferentes A y A, simtricos respecto
a la circunferencia k, resulta ser que las circunferencias k y q son ortogonales entre s.
Se denominan ortogonales dos circunferencias si stas se cortan en ngulo recto, es decir, si
las tangentes a ellas en el punto de interseccin (o, lo que es lo mismo, sus radios trazados
a este punto) son perpendiculares entre si.

Figura 4

Sea P uno de los puntos de interseccin de las circunferencias k y q (figura 4). Como OP es
el radio de la circunferencia k, la igualdad (1) adquiere el aspecto: OA OA = r
2
. Por otro
lado, el producto de los segmentos OA y OA' es igual al cuadrado de la tangente trazada
desde el punto O a la circunferencia q; entonces OP es la tangente a q. Por consiguiente, los
radios OP y QP de las circunferencias dadas son perpendiculares entre si y estas
circunferencias son ortogonales entre s.
Advertiremos que cualquier circunferencia que pasa por dos puntos diferentes, simtricos
respecto a una recta, corta a sta en ngulo recto. La analoga de esta propiedad con el caso
expuesto en el teorema 1 condicion el traslado del trmino simetra para el caso de dos
puntos situados de tal manera respecto a la circunferencia dada que cualquier circunferencia
que pasa por ellos es ortogonal respecto a la circunferencia dada.

Teorema 2. Si las circunferencias k y q son ortogonales entre si, resulta ser que la
circunferencia que pasa por el centro O de la circunferencia k, y que corta a la circunferencia
q, corta a sta en puntos simtricos respecto la circunferencia k.
Designemos por A y A los puntos de interseccin de esta recta con q y por P uno de los
puntos comunes de las circunferencias k y q (figura 4). Puesto que las circunferencias dadas
son ortogonales entre si, la recta OP es tangente a la circunferencia k y, por esto,

OA OA = OP
2

De aqu deducimos que los puntos A y A son simtricos respecto a la circunferencia k.

Teorema 3. Sea dado el tringulo 0AB, donde O es el centro de la circunferencia k, y los
puntos A y B, simtricos con A y B respecto a k. Entonces

OAB = OB'A' y
OBA = OA' B'

Examinemos la figura 5. De la igualdad

OA OA = OB OB

que se deduce de la condicin (1) obtenemos: OA : OB = OB : OA'. Por consiguiente, los
tringulos OAB y OB'A, que tienen comn el ngulo AOB, son semejantes. De aqu
deducimos que el teorema es justo.
Sealaremos que alrededor del cuadriltero ABBA puede ser circunscrita una circunferencia
de tal manera que AAB + ABB = 2d. Del teorema 1 se deduce que esta circunferencia
es ortogonal a la circunferencia k.
Examinemos ahora la transformacin del plano, que consiste en lo siguiente: cada dos
puntos de este plano, simtricos respecto a la circunferencia k intercambian de sitio.
Semejante transformacin se denomina inversin, la circunferencia k se denomina
circunferencia de inversin y su centro es el polo de la inversin. Si la inversin respecto a k
transforma la figura F en la figura F', se dice que F es simtrica con F, y que F es simtrica
con F' respecto a la circunferencia k.

Figura 5

Advertiremos que no existe punto alguno simtrico al polo de la inversin respecto a la
circunferencia de inversin.
No es difcil ver que los puntos que se encuentran fuera del crculo limitado por la
circunferencia de inversin se transforman en puntos de este circulo, a excepcin del polo de
inversin, y viceversa, los puntos de la circunferencia de inversin se pasan a si mismos; la
recta que pasa por el polo de inversin O se pasa a si misma, pero pierde con ello el punto
O.

Teorema 4. La inversin transforma la recta que no pasa por el polo de inversin en una
circunferencia que pasa por el polo de inversin.
Supongamos que A es la base de la perpendicular bajada desde el polo de inversin O sobre
la recia l, B es un punto cualquiera de la recia l y A y B son los puntos simtricos,
respectivamente, con A y B en relacin a la circunferencia de inversin k (figura 6).
Construyamos en el segmento OX, como en el dimetro, la circunferencia q. En virtud del
teorema 3, OB'A' = OAB y, por esto, OBA' = d por consiguiente, el punto B se encuentra
en la circunferencia q. Por otro lado, sea C cualquier otro punto diferente de O en la
circunferencia q; entonces la recta OC cortar l en cierto punto C que, como es fcil ver,
durante la inversin dada se convertir en el punto C'.

Figura 6

As pues, el teorema ha sido demostrado, pero es menester tener en cuenta que la recta l se
transforma en una figura compuesta por la circunferencia q, sin el punto O.
Advertiremos que el centro de la circunferencia q pertenece a la perpendicular bajada desde
O sobre l.
Si la recta l no tiene puntos comunes con la circunferencia de inversin k, entonces la
circunferencia q se encuentra en el interior de k.
Si l hace contacto con k en cierto punto, entonces q har contacto con k en el mismo punto.
Si l y k se cortan, entonces q pasar por el punto de su interseccin.

Teorema 5. La inversin transforma la circunferencia que pasa por el polo de inversin en
una recta que no pasa por el polo de inversin.

Supongamos que O (el polo de inversin), A y B son tres puntos diversos de la
circunferencia q, y .A y B son puntos simtricos con A y B respecto a la circunferencia de
inversin. En virtud del teorema 4 la recta AB se transforma en una circunferencia que pasa
por O, A y B, es decir, en la circunferencia q, y de aqu se deduce que q se transforma en la
recta AB.
Teorema 6. La inversin transforma la circunferencia que no pasa a travs del polo de
inversin en una circunferencia que tampoco pasa por el polo de inversin.

Sean k la circunferencia de inversin con el radio r y el centro O, y q, la circunferencia dada
que no pasa por O (figura 7).

Figura 7

Tomemos en q un punto cualquiera A y designemos por B el segundo punto de interseccin
de la recta OA con q, y designemos por A y B los puntos respectivamente simtricos con A
y B respecto a k. Entonces

OA OA = OB 0B = r
2
.

De aqu
OA/OB' = OB/OA' (2)

y
OA OB OA' OB' = r
4
El producto

OA OB = g,

en virtud de los conocidos teoremas de la geometra elemental, no vara al desplazar el
punto A por q. Por consiguiente, y es una magnitud constante que es positiva si O se
encuentra fuera de q, y que es negativa si O se encuentra en el interior de q (ya que en este
ltimo caso las direcciones de los segmentos OA y OB son opuestas).
De las dos igualdades ltimas hallamos: OA' OB' = r
4
/ g y por lo tanto

(OA / OB') (OB OA') = g
2
/ r
4

o. teniendo en cuenta la relacin (2),

(OA / OB') = g / r
2

(el signo est bien elegido pues los segmentos OB y OB tienen una misma direccin). De la
ltima igualdad se deduce que las figuras descritas por los puntos A y B son semejantes;
por consiguiente, el teorema est demostrado: el punto B describe una circunferencia (que
designaremos por q'.
El polo de inversin O ser el centro de similitud de las circunferencias q y q, y resultar ser
exterior si g> 0 e interior si g < 0. En el primer caso Q se encuentra fuera y en el segundo,
dentro de las circunferencias q y q.
Si la circunferencia q hace contacto con la circunferencia k en cierto punto, entonces q har
contacto con k en ese mismo punto.
Si las circunferencias k y q se cortan, entonces q pasar por el punto de su interseccin.
La circunferencia q es ortogonal a k y, durante la inversin, se transforma en s respecto a k
(q coincide con q), hecho que se deduce del teorema 2.
Si la lnea de los centros de las circunferencias k y q corta q en los puntos M y N (donde M' y
N son los puntos simtricos a M y N respecto a k), entonces el segmento M'N ser el
dimetro de la circunferencia q (figura 7). Al construir la circunferencia q se puede hacer
uso de esta observacin.
Sealaremos que los centros de las circunferencias q y q no son simtricos respecto a la
circunferencia de inversin k.

Teorema 7. Los puntos de interseccin de dos circunferencias p y q, ortogonales a la
circunferencia k, son simtricos respecto a k.

El teorema es obvio, ya que cada una de las circunferencias p y q. durante la inversin
respecto a k, se transforma en si y, por consiguiente, los puntos de su interseccin A y A
permutarn de lugar (figura 8).


Figura 8

Teorema 8. Si M y M son puntos simtricos respecto a la circunferencia k de dos lneas m y
m, que tambin son simtricas respecto a k, resulta ser que las tangentes a m y m en los
puntos M y M o bien son perpendiculares a la recta MM, o bien forman con sta un tringulo
issceles con base MM.

Tomemos en m el punto N, diferente de M y construyamos el punto N, simtrico a N
respecto a k (figura 9). Es evidente que N pertenece a m. Las rectas MM y NN pasan por
el centro O de la circunferencia k.

Figura 9

Construyamos las rectas MN y MN: sea as que stas se cortan en el punto P. Si

MON = , OMN =

en virtud del teorema 3. ONM = . Por esto, en el tringulo MMP

M = , M = + .

Supongamos que el ngulo O tiende a cero en la condicin de que el punto M es inmvil.
Entonces, en el lmite, las secantes MN y M'N' pasarn a ser tangentes a m y m' en los
puntos M y M', y el tringulo MMP se convertir en issceles. Efectivamente

De tal manera, el teorema queda demostrado.

Teorema 9. La inversin no vara la magnitud del ngulo.

Examinemos las lneas m y n, que se cortan en el punto A. Supongamos que m, n y A se
transforman en m', n' y A' durante la inversin respecto a la circunferencia k. Del teorema 8
se deduce que el ngulo entre las tangentes a m y n en el punto A es igual al ngulo entre
las tangentes a m' y n en el punto A, que es lo que se quera demostrar.
A la transformacin que no vara la magnitud de los ngulos se la denomina transformacin
conforme. De lo precedente se deduce que la inversin es una transformacin conforme.
Captulo 4
CARTA DEL PLANO DE LOBACHEVSKI

Examinemos el plano y, en l, la recta u, que divide a en los semiplanos y '.
Supongamos que el semiplano representa la carta de cierto espacio bidimensional H.
Vamos a diferenciar la longitud s de la lnea del espacio H y la longitud de la imagen de
esta lnea en la carta dada; a las magnitudes s y las denominaremos, respectivamente,
longitudes hiperblica y euclidiana.

Figura 10

Para la medicin de longitudes en la carta que examinamos pondremos como base los
principios siguientes.
1. La longitud hiperblica del segmento MN, que es paralelo a la recta u y que se
encuentra de sta a la distancia y, es igual a MN/y, es decir, es igual al cociente de la
divisin de la longitud euclidiana de este segmento por su distancia euclidiana de u.
2. Si es euclidiana, s es la longitud hiperblica del arco de la curva (o del segmento de
la recta no paralela a u), y e y son, respectivamente, las distancias euclidianas
mnima y mxima de sus puntos a u y, al mismo tiempo, y 0 (figura 10), resulta
ser que se cumple la desigualdad /y' < s < /y

Ms tarde nos convenceremos que el espacio H, cuya carta posee las propiedades citadas
ms arriba, es el plano de Lobachevski.
Partiendo de los principios 1 y 2 no es difcil indicar el procedimiento general de medicin de
las longitudes hiperblicas.
Hallaremos al principio la longitud hiperblica s del arco AB, que posee las propiedades
siguientes: si el punto se desplaza por este arco desde A hacia B, su distancia de la recta u
crece; la distancia del punto A a u no es igual a cero; el arco AB es suave, es decir, no tiene
inflexiones (figura 11).


Figura 11

Marquemos en el arco AB, siguiendo de A hacia B, los puntos

A, P
1
, P
2
,..., p
n-1
, B (*)

Supongamos que las magnitudes
y
0
, y
1
, y
2
, .... y
n-1
, y
n
1
,
2
, ....,
n

1
,
2
, ....,
n

designan, respectivamente, la distancia euclidiana de los puntos (*) respecto a la recta u;
las longitudes euclidianas de los arcos AP
1
, P
1
P
2
. ..., P
n-1
B, que son partes del arco AB; las
longitudes euclidianas de las cuerdas que comprenden estos arcos.
Formemos las sumas:

En virtud del 2 principio tendremos:

< s < ' (3)

ya que, de acuerdo a la condicin, 0 < y
0
< y
1
<... < y
n
. Examinemos la diferencia

( ) ( ) ( )
1
1
1 2
2 1
2
0 1
1 0
1
+ + + =
n n
n n
n
y y
y y
... y y
y y
y y
y y
'

El segundo miembro de esta igualdad aumentar si se sustituyen cada una de las
magnitudes
1
,
2
, ....,
n
por la mayor de ellas (que designaremos por ) y cada
denominador se sustituye por y
0
2
. Por consiguiente:

Si tiende a cero, de esta desigualdad se deduce que la diferencia - ' tambin se
aproxima a cero.
Transformemos ahora la suma Z hasta que adquiera el aspecto de

De aqu, designando por la menor y por la mayor de las relaciones

n
n
,... ,
2
2
1
1

obtenemos

< Z < (4)

Supongamos que el nmero aumenta ilimitadamente y supongamos que al mismo tiempo
cada una de las magnitudes
1
,
2
, ....,
n
, y, por consiguiente, la magnitud ' tienden a
cero. Entonces la diferencia - ' se aproximar, como demostramos anteriormente, a cero,
mientras que las magnitudes y tienden a la unidad
1
. Debido a esto, de las desigualdades
(3) y (4) se deduce que cada una de las sumas , ' y Z se aproximar a un mismo lmite y
que ste ser igual a la longitud hiperblica s del arco AB.
Lo ms cmodo es utilizar la suma Z, puesto que en ella figuran las longitudes de los
segmentos euclidianos y no las de los arcos, As pues

(5)

donde la transicin al lmite se efecta en las condiciones indicadas anteriormente.
Advertiremos que en la igualdad (5) por y
1
se puede admitir la distancia entre cualquier
punto del segmento AP
1
y la recta u, por y
2
se puede admitir la distancia entre cualquier
punto del segmento P
1
P
2
y u, etc. Con esto la suma Z puede cambiar su magnitud, pero su
lmite no variar.

Figura 12

Si el arco de cierta lnea se puede dividir en un nmero finito de partes que satisfagan las
condiciones expuestas ms arriba para el arco AB, resulta ser que la longitud hiperblica de
este arco representa la suma de las longitudes hiperblicas de dichas partes. Por ejemplo, el
arco AD, expuesto en la figura 12, lo dividimos en las partes AB, BC y CD, pero los puntos
de divisin los marcamos en el arco CD partiendo desde D haca C.

1
Es sabido que la relacin de la cuerda del arco que sta comprende tiende a la unidad cuando la longitud del arco
se aproxima a cero (aqu tenemos en cuenta un arco de una lnea suave)
Supongamos que los puntos del semiplano se desplazan de tal manera que la longitud
hiperblica de cualquier arco perteneciente a este semiplano es igual a la longitud
hiperblica de este mismo arco en su nueva posicin. Semejante desplazamiento de les
puntos lo denominaremos movimiento hiperblico. Este concepto es anlogo al concepto del
movimiento del plano euclidiano, por ejemplo, al giro del plano euclidiano en cierto ngulo
alrededor de cualquier punto de dicho plano.

Figuras 13 y 14

Si el movimiento hiperblico transforma la figura F en F
1
entonces las figuras F y F
1
se
denominan figuras hiperblicamente iguales.
Examinemos los tipos ms simples de movimientos hiperblicos:

1) Si se traspasa cada punto del semiplano en una misma distancia y en una misma
direccin paralelamente a la recta u resulta que cada figura se transforma en otra
hiperblicamente igual a ella, pues no varia ni su magnitud euclidiana, ni la distancia
de sus puntos a u. De aqu deducimos que el desplazamiento euclidiano del
semiplano a lo largo de la recta es un movimiento hiperblico.
2) Supongamos que la transformacin de similitud con centro en el punto arbitrario O de
la recta u y con coeficiente positivo de similitud transforma el segmento MN en el
segmento M
1
N
1
(figura 13). Designemos por y e y
1
, respectivamente, las distancias
de los puntos N y N
1
a la recta u. En virtud de la semejanza de los tringulos OMN y
OM
1
N
1
tendremos: MN/y = M
1
N
1
/y
1
. De aqu y de la igualdad (5) se deduce que
durante dicha transformacin no vara la longitud hiperblica de un arco determinado
de cualquier lnea. Por consiguiente, la transformacin de similitud con centro de
similitud en lo recta u y con coeficiente positivo de similitud es un movimiento
hiperblico. El coeficiente de similitud se elige positivo con el fin que el segmento
M
1
N
1
resulte estar en el semiplano y no en .
3) Examinemos la inversin respecto a la circunferencia k del radio arbitrario R con el
centro O en la recta u (figura 14). Supongamos que M y N son puntos
suficientemente cercanos entre s, M y N son los puntos simtricos a los dos
primeros respecto a la circunferencia k. Designemos por y e y' las distancias entre los
puntos de interseccin de la bisectriz del ngulo MON con los segmentos MN y M'N y
la recta u. Puesto que los tringulos OMN y ONM son semejantes, entonces MN/y =
M'N'/y'. De aqu y de la igualdad (5) deducimos que durante la transformacin dada
no vara la longitud hiperblica de un arco determinado de cualquier lnea. Por
consiguiente, la inversin respecto a una circunferencia de cualquier radio con centro
en la recta u es precisamente un movimiento hiperblico.
4) Y, por fin, no es difcil convencerse de que la transformacin de simetra respecto a
un eje perpendicular a la recta u es precisamente un movimiento hiperblico.

Sealaremos que cada uno de los movimientos hiperblicos examinados es una
transformacin conforme. Esto es evidente respecto a los desplazamientos del semiplano a
lo largo de la recta u, y tambin en lo que se refiere a las transformaciones de similitud y de
simetra en cuanto a la inversin, su conformidad qued demostrada en el Captulo 3.
Puesto que el movimiento hiperblico tiene la propiedad de pasar cualquier figura a otra
hiperblicamente igual, la transformacin que representa la secuencia de varios
movimientos hiperblicos, posee esa misma propiedad y, en virtud de ello, semejante
transformacin es tambin un movimiento hiperblico.
Anotaremos sin demostracin alguna que cualquier movimiento hiperblico puede ser
presentado en forma de secuencia de un nmero finito de movimientos hiperblicos
simplsimos que anteriormente examinamos.
Mostraremos ahora que en el semiplano con las regias de medicin de longitudes
establecidas para l, se cumplen las tesis de la geometra de Lobachevski.
Para ello tendremos que examinar en el semiplano ciertas figuras que se caracterizan por
las mismas propiedades que las respectivas figuras de la geometra de Euclides pero que,
posiblemente se diferencien de estas ltimas por su forma; para ellas conservaremos los
trminos de la geometra euclidiana con el prefijo hiperblico: por ejemplo,
denominaremos recta hiperblica a la lnea por la cual se mide la distancia hiperblica ms
corta entre cualesquiera dos puntos de ella; denominaremos circunferencia hiperblica al
lugar geomtrico de puntos que se encuentran a una misma distancia hiperblica del punto
dado,
Aclaremos cules lneas del semiplano son rectas hiperblicas.

Figuras 15 y 16

Ante todo sern rectas hiperblicas las semirrectas eucldeas perpendiculares a la recta u,
hecho que se deduce de las consideraciones siguientes.
Supongamos que los puntos A y B se encuentran en la perpendicular a la recta u (figura 15).
Unamos estos puntos con el segmento de la recta AmB y con cualquiera otra curva o lnea
quebrada AnB. Supongamos que dos recias arbitrarias a y b, bastante prximas entre s y
paralelas a u, cortan el segmento AmB en los puntos C y D y la lnea AnB, en los puntos E y
F. Puesto que la longitud euclidiana del segmento CD, hablando en general, es menor que la
longitud euclidiana del arco EF y sus longitudes hiperblicas pueden considerarse iguales a
CD/y y EF/y, donde y es la distancia entre el punto D (o F) y la recta u, la longitud
hiperblica del segmento CD, hablando tambin en general, es menor que la longitud
hiperblica del arco EF (estas longitudes hiperblicas sern iguales entre si solamente en la
condicin que el arco EF sea un segmento de la recta euclidiana perpendicular a u; es
evidente que esta condicin no se cumple siempre, ya que, de lo contrario, el arco AnB
coincidira con el segmento AmB). De aqu se deduce que la longitud hiperblica del
segmento AmB es menor que la longitud hiperblica del arco AnB, que es lo que se quera
demostrar.
Demostraremos ahora que la semicircunferencia de la circunferencia euclidiana k con el
centro en la recta u es tambin una recta hiperblica.
Supongamos que k corta la recta u en los puntos A y B (figura 16). Describamos la
circunferencia q con el centro en el punto A y admitamos a sta como circunferencia de
inversin. Supongamos que k y q se cortan en los puntos M y N. Durante la inversin
respecto a q la circunferencia k, que pasa por el polo de inversin, se transforma en la recta
MN (vase el Captulo 3). Ya que la inversin es un movimiento hiperblico y la recta MN es
perpendicular a u, se ve que la semicircunferencia k. mediante el movimiento hiperblico, se
transforma en una recta hiperblica. Por consiguiente, esta semicircunferencia es tambin
una recta hiperblica.
De esta manera las semirrectas eucldeas perpendiculares a la recta u y las
semicircunferencias euclidianas con el centro en la recta u sern las recias hiperblicas del
semiplano . A continuacin, examinando el axioma 1, nos convenceremos que no existen
otras rectas hiperblicas.

Figura 17

Levantemos en el semiplano una perpendicular a la recta u por cualquier punto arbitrario M
de sta (figura 17), elijamos en dicha perpendicular un punto A y construyamos los puntos
A
1
, A
2
, A
3
,... de tal manera que se cumplan las igualdades:

AA
1
= A
1
M, A
1
A
2
= A
2
M, A
2
A
3
A
3
M,..

Con otras palabras, A
1
es el centro del segmento AM, A
2
es el centro del segmento A
1
M...A
3

es el centro del segmento A
2
M, etc.
Examinemos la transformacin de similitud con centro de similitud M y coeficiente de
similitud 1/2. Esta transformacin es un movimiento hiperblico que traspasa los puntos A,
A
1
, A
2
..., respectivamente, a los puntos A
1
, A
2
, A
3
,... De aqu se deduce que las longitudes
hiperblicas de los segmentos AA
1
, A
1
A
2
,... son iguales entre si. De este mudo, la
construccin efectuada por nosotros se reduce a trazar en la recta hiperblica AM desde el
punto A. los segmentos AA
1
, A
1
A
2
, A
2
A
3
hiperblicamente iguales entre s, y como se ve en la
construccin, por muchos segmentos semejantes que construyamos, nunca alcanzaremos el
punto M. Por consiguiente, M es un punto de la recta hiperblica AM infinitamente alejado.
Como M es un punto arbitrario de la recta u de lo anterior se deduce que todo punto de la
recta u es un punto del semiplano infinitamente alejado.
El proceso del trazado de segmentos iguales entre s AB
1
, B
1
B
2
, B
2
B
3
..., en la recta
hiperblica AM (figura 17) puede ser efectuado tambin en la direccin opuesta a la
examinada ms arriba, y este proceso tambin ser infinito. De aqu se deduce que el punto
de la recta AM, alejado infinitamente en el sentido de la geometra euclidiana, ser al mismo
tiempo un punto de la recta hiperblica AM infinitamente alejado.
Cualquier punto de la recta hiperblica AM, a excepcin de los dos puntos indicados
anteriormente, se encontrar a una distancia finita hiperblica de A ya que, para un valor
finito suficientemente grande del nmero entero positivo n se encontrar o bien en el
segmento AA
n
, o bien en el segmento AB
n
.
As pues, la recta hiperblica AM, y por lo tanto toda recta hiperblica, tiene dos, y
solamente dos puntos infinitamente alejados.

Figura 18

Si la recta hiperblica se expone como una semicircunferencia euclidiana con centro en la
recta u, los puntos de interseccin con u sern sus puntos infinitamente alejados.
Sealaremos que la recta euclidiana tiene slo un punto infinitamente alejado: ste es el
punto comn de la recia dada y de todas las rectas paralelas a ella.
Ahora no es difcil convencerse que en el semiplano se cumplen todos los axiomas del
plano de la geometra de Lobachevski. Nos limitaremos a examinar dos axiomas.

Axioma 1. Por dos puntos diferentes puede ser trazada una, y solamente una recta
hiperblica.
Si los puntos dados A y B se encuentran en la perpendicular euclidiana a la recta u, esta
perpendicular ser la recta hiperblica que se busca. En caso contrario hallamos en la recta
u el punto N, equidistante de A y B, y describimos desde el centro N con radio NA una
semicircunferencia (figura 18); sta ser la recta hiperblica que buscamos.
Demostraremos que a travs de dos puntos diferentes A y B no pueden pasar dos rectas
hiperblicas diferentes l y l. Es suficiente suponer que A y B pertenecen a la perpendicular
euclidiana l a la recta u (figura 19), ya que cualquier otro caso se reduce a ste mediante el
correspondiente movimiento hiperblico. Para semejante disposicin de los puntos A y B la
distancia hiperblica ms corta entre ellos se mide, como se demostr anteriormente,
solamente por la recta euclidiana l, por lo que en el segmento AB coinciden l y l. Admitamos
ahora que el punto C, que se encuentra en l, no pertenece a l, y que adems B se encuentra
en l entre A y C.

Figura 19

Entonces el arco AC de la semicircunferencia euclidiana k con el centro en u pertenecer a
la recta hiperblica, que en el segmento AC no coincide con l', cosa que como acabamos de
ver, es imposible. As pues, l y l' coinciden por completo.
De aqu se deduce que no existen otras rectas hiperblicas que no sean las semirrectas
euclidianas perpendiculares a u y las semicircunferencias euclidianas con centros en u: por
cualesquiera dos puntos dados pasa una sola recta hiperblica que, adems, es de uno de
estos dos tipos.

Axioma 2. Por el punto P, que no pertenece a la recta hiperblica p, pueden ser trazadas
dos rectas hiperblicas paralelas a p
.
Dos rectas hiperblicas se llaman paralelas si tienen un punto comn alejado infinitamente.
En particular, las rectas hiperblicas expuestas en forma de perpendiculares euclidianas a u,
son paralelas; su punto comn, alejado infinitamente, es el mismo en el semiplano y que en
el plano euclidiano .

Figura 20

Designemos por A y B (figura 20) los puntos de la recia hiperblica p infinitamente alejados.
Tracemos a travs P y A la semicircunferencia euclidiana m con centro M en la recta u, y a
travs de P y B la semicircunferencia euclidiana n con centro N en u. Las semicircunferencias
euclidianas m y n sern las rectas hiperblicas que buscamos; stas sern paralelas a la
recta hiperblica p en sus diferentes direcciones: m, en la direccin de B hacia A y a, en la
direccin de A hacia B.
Por el punto P pasan rectas hiperblicas de tres gneros:
1) que cortan la recta p.
2) paralelas a p, y
3) que no cortan la recta p y no son paralelas a sta.

Existe una multitud infinita de rectas hiperblicas del primer gnero, multitud infinita de
rectas hiperblicas del tercer gnero, y slo dos del segundo gnero.
Para la construccin de una recta hiperblica del primer gnero es menester desde cualquier
punto arbitrario K del segmento MN, como desde el centro describir una semicircunferencia k
de radio KP (figura 21).


Figura 21

Si efectuamos esta misma construccin tomando por el centro de la semicircunferencia un
punto arbitrario L de la recta u, que se encuentre fuera del segmento MN, obtendremos la
recta hiperblica l del tercer gnero (la misma figura).
Ahora es obvio que el Axioma 2 es equivalente al axioma del paralelismo de Lobachevski
formulado en el Captulo 2.
Si dos rectas hiperblicas no se cortan y no son paralelas, se denominan divergentes. Por
ejemplo, las rectas p y l (Fig. 21) son divergentes.
De este modo, en el semiplano se cumplen los axiomas, y quiere decir que tambin los
teoremas, de la geometra de Lobachevski. Por esto el semiplano con las reglas de
medicin de longitudes que anteriormente se establecieron para l, representa el plano de
Lobachevski, o, hablando ms exactamente, la carta del plano de Lobachevski en el plano
euclidiano.
Es aleccionador el comparar esta carta con la carta de la superficie terrestre ejecutada en la
proyeccin de Mercator; en esta ltima los meridianos se exponen en forma de rectas
paralelas a las que son perpendiculares las rectas que representan los paralelos (vase
figura 2). Se deben considerar rectas en la esfera las circunferencias de los crculos
mayores y en particular, los meridianos. Los paralelos, a excepcin del ecuador, no son
rectas, pero en la carta se exponen en forma de rectas euclidianas. De manera anloga, en
el semiplano , de todas las rectas euclidianas perpendiculares a la recta u y paralelas a ella,
las primeras son rectas hiperblicas y las segundas no (en el Captulo 7 se hablar ms
detalladamente de stas).
Despus, la longitud del grado del paralelo es tanto menor cuanto mayor es su latitud, pero
en la carta de Mercator el segmento igual 1 del paralelo, independientemente de la latitud
del paralelo, tiene una misma longitud. Un cuadro anlogo se observa tambin en el
semiplano (vase principio L.
Es importante sealar que la carta es conforme, es decir, la magnitud euclidiana del ngulo
en esta carta es igual a su magnitud real en el plano de Lobachevski.
Primero demostraremos esto para el caso de un ngulo recto. Describamos la
semicircunferencia k con el centro en el punto M de la recta u y tracemos en M la
perpendicular p a la recta u (figura 22).

Figuras 22 y 23

Examinemos los ngulos 1, 2, 3, 4, formados por las rectas hiperblicas k y p. Existe un
movimiento hiperblico que transforma los ngulos 1 en 2 y 3 en 4 (simetra respecto a p),
y un movimiento hiperblico que transforma los ngulos 1 en 3 y 2 en 4 (inversin respecto
a k). De aqu se deduce que en el plano de Lobachevski (igual que en la carta ) 1 = 2 =
3 = 4 y, por consiguiente, cada uno de estos ngulos es recto. Aprovechando la
configuracin de la figura 22 designemos por A el punto de interseccin de las lneas k y p, y
por N, uno de los puntos de interseccin de las lneas k y u (figura 23). Describamos desde
el centro N la semicircunferencia euclidiana n del radio NA. Esta dividir el ngulo 1,
expuesto en la figura 22, en dos ngulos, 5 y 6, cuyas magnitudes euclidianas, como es fcil
convencerse, son iguales entre s. La inversin respecto a n transformar k en p y p en k y,
por consiguiente, los ngulos 5 y 6 cambiarn de sitio. De aqu se deduce que no slo son
iguales entre s las magnitudes reales (hiperblicas) de stos, es decir, en el plano de
Lobachevski (igual que en la carta ) cada uno de ellos es igual a la mitad de un ngulo
recto.
Designemos por L punto de interseccin de las lneas u y n, que se encuentra al mismo lado
del punto M que el punto N, y que es encuentra al mismo lado del punto M que el punto N, y
describamos desde el centro L la circunferencia l del radio LA (figura 23). Esta dividir el
ngulo 6 en los ngulos 7 y 8, No es difcil convencerse de que

8 = NAL = 1/4 d

y. como 6 = 1/2 d, 7 = 1/4 d y. por consiguiente, las magnitudes euclidianas de los
ngulos 7 y 8 son iguales entre s. Al mismo tiempo tambin son iguales entre si sus
magnitudes hiperblicas, pues durante la inversin respecto a la circunferencia l estos
ngulos permutan de sitio.
De manera anloga demostramos que los ngulos que en la carta tienen la magnitud
euclidiana de 1/8 d, 1/16 d,.... tienen tambin esta misma magnitud en el plano de
Lobachevski.
Puesto que todo ngulo puede ser figurado en forma de una suma de un nmero finito o
tambin en forma del lmite de la suma de un nmero ilimitadamente creciente de sumandos
tipo

d, 1/2 d, 1/4 d, 1/8 d, 1/16 d, ...

la conformidad de la carta queda demostrada.

Captulo 5
LA CIRCUNFERENCIA EN EL PLANO DE LOBACHEVSKI

Aclaremos cmo se expresa en la carta la circunferencia del plano de Lobachevski.
Tracemos a travs del punto M de la recta u la recta euclidiana p perpendicular a u, y
elijamos en ella en el semiplano dos puntos arbitrarios B y C (figura 24: MB > MC).
Construyamos en p el punto A de tal manera que se cumpla la igualdad

CM / AM = AM / BM

De esta igualdad deducimos que las longitudes hiperblicas de los segmentos CA y AB son
iguales. Efectivamente, la transformacin de similitud con centro de similitud M y coeficiente
CM pasa el segmento AB a CA
1
.
Designemos por O el centro euclidiano del segmento BC, describamos desde el centro O con
radio OB la circunferencia euclidiana q y construyamos el punto simtrico a A respecto a la
recta u.

Figura 24

1
BMCM/AM = BMAM/BM = AM y, por lo tanto B, pasa a ser A; AMCM/AM = CM, por consiguiente, A pasa a ser C
Como
OA = OM AM, OA
1
= OM + MA
1
= OM + AM,
resulta que
OA OA
1
= OM
2
- AM
2
. (7)
Luego,
OM = 1/2 (BM + CM).
y, en virtud de la igualdad (6),
AM
2
= BM CM.

Por consiguiente, a la igualdad (7) se le puede dar la forma
OAOA
1
= 1/4 (BM+ CM)
2
- BMCM=
= 1/4 (BM
2
+ 2BMCM + CM
2
- 4BM CM)
o
OA-OA
1
= 1/4 (BM - CM)
2
. (8)
Puesto que
1/2 (BM - CM) = OB,

de la igualdad (8) obtenemos

OA OA
1
= OB
2
.

De aqu vemos que los puntos A y A
1
son simtricos respecto a la circunferencia q.
Demostraremos que las distancias hiperblicas de todos los puntos de la lnea q respecto al
punto A son iguales entre s.
Tracemos a travs de A y A
1
una circunferencia euclidiana arbitraria n (figura 25). Su centro
N se encuentra en la recta u y, por consiguiente, su parte situada en el semiplano
representa en si una recta hiperblica.
Supongamos que a y q se cortan en los puntos D y E, y que n y u se cortan en los puntos F
y G. Describamos con el radio FA desde el centro F la circunferencia euclidiana f. Las
circunferencias q y f son mutuamente ortogonales, ya que f pasa por los puntos A y A
1
, que
son simtricos respecto a q (vase el Captulo 3); por esto la inversin respecto a f
transforma la circunferencia q en s misma.
Luego, esta misma inversin transforma la recta p, que no pasa por el polo de inversin F,
en una circunferencia que pasa por F y tambin por los puntos A y A
1
, que durante la
inversin dada permanecen inmviles, es decir, la transforma en la circunferencia n. Por otro
lado, la circunferencia n que pasa por el polo de inversin, se transforma en una recta que,
precisamente, es p ya que esta recta debe pasar por los puntos A y A
1
.

Figura 25

De aqu se deduce que los arcos AD y AE de la circunferencia u se transforman,
respectivamente, en los segmentos AB y AC de la recta p. Por consiguiente, las longitudes
hiperblicas de los segmentos AD y AE de la recta hiperblica n son iguales a las longitudes
hiperblicas de los segmentos AB y AC de la recta hiperblica p o, dicho con otras palabras,
las distancias hiperblicas entre los puntos B, C, D, E y el punto A son iguales. Esto
demuestra que la circunferencia hiperblica se expone en la carta en forma de una
circunferencia euclidiana que no tiene puntos comunes con la recta u; no obstante, la
imagen de su centro (A) no coincide con el centro (O) de la correspondiente circunferencia
euclidiana.
Para concluir sealaremos que toda recta hiperblica que pasa por A corta la circunferencia
q en un ngulo recto, hecho anlogo a la conocida propiedad de los dimetros de la
circunferencia euclidiana.
Captulo 6
LA EQUIDISTANTE

Supongamos que p y q son la perpendicular y la inclinada a la recta u en cierto punto de
sta M y que P
1
Q
1
y P
2
Q
2
son los arcos de las circunferencias euclidianas con un centro
comn M o, dicho de otra manera, son segmentos de dos rectas hiperblicas m
1
y m
2
(figura
26). Puesto que m
1
y m
2
cortan p en un ngulo recto, las longitudes hiperblicas de los
arcos P
1
Q
1
y P
2
Q
2
representan en si las distancias hiperblicas de los puntos Q
1
y Q
2
a la
recta hiperblica p. Estas distancias hiperblicas son iguales entre si, pues el arco P
1
Q
1

puede ser convertido en el arco P
2
Q
2
mediante la transformacin de similitud con centro en
M.

Figura 26

De aqu deducimos que la lnea q es el lugar geomtrico de los puntos las distancias
hiperblicas entre los cuales y la recta hiperblica p son iguales. Semejante lnea se
denomina equidistante y la recta hiperblica p es su base. La equidistante, como se ve de
los resultados del Captulo 4, no es una recta hiperblica.
La suposicin que el lugar geomtrico de los puntos que se encuentran a una misma
distancia de la recta dada y que se hallan a un mismo lado de sta contradice a la propiedad
sealada de la equidistante y, quiere decir, que contradice tambin al axioma del
paralelismo de Lobachevski; sta es equivalente al axioma del paralelismo de Euclides.
Advertiremos que las rectas hiperblicas perpendiculares a la base de la equidistante cortan
sta en un ngulo recto, lo que es evidente de la figura 26.
La inversin respecto a la circunferencia con centro en la recta u, distinto de M, transforma q
en una circunferencia euclidiana; sta, igual que la recta hiperblica, corta la recta u, pero
su centro no pertenece a u.
As pues, en la carta la equidistante se expresa o bien como una semirrecta euclidiana, que
corta la recta u en un ngulo agudo u obtuso, o bien como un arco de una circunferencia
euclidiana, que corta la recta u pero que tiene su centro fuera de u. Es fcil convencerse de
que no existe una equidistante de otro gnero
Captulo 7
LA LNEA LMITE

Tracemos el dimetro p de la circunferencia q, perpendicular a la recta u, y designemos por
C el punto de su interseccin con q, ms cercano a u (figura 27). Si se fija el punto C y se
aumenta ilimitadamente el radio de la circunferencia q de tal manera que su centro se
desplace por la recta p en la direccin indicada por la flecha resultar ser que, en el lmite, q
se convertir en la recta euclidiana h, paralela a u.

Figura 27

La lnea h no es una recta hiperblica y se denomina lnea lmite. De este modo, la forma
lmite de la circunferencia, uno de los puntos de la cual y la tangente en este punto estn
fijados y el radio de la cual crece ilimitadamente, es una lnea recta en la geometra de
Euclides y una lnea lmite en la geometra de Lobachevski. Su nombre se explica por esta
propiedad de la lnea lmite.
Examinemos el movimiento hiperblico que representa en s la inversin respecto a la
circunferencia n con el centro N en la recta u (figura 27). Este movimiento transforma la
lnea h en la circunferencia euclidiana h
1
, que pasa por N, con el centro en la perpendicular
comn NN
1
de las recias euclidianas u y h, de donde se deduce que h
1
hace contacto con la
recta u.
As pues, la lnea lmite se expone en la carta o en forma de una recta euclidiana, paralela
a u, o en forma de una circunferencia euclidiana que se toca con u.
Tracemos por N la circunferencia euclidiana l con el centro L en la recta u (figura. 27).
Puesto que los radios de las circunferencias euclidianas h
1
y l son perpendiculares entre s, la
recta hiperblica l corta la recta lmite h
1
en un ngulo recto. De aqu deducimos que todas
las rectas hiperblicas que pasan por un punto de recta lmite infinitamente alejado, y que
se denominan ejes de sta, cortan dicha lnea en un ngulo recto.

Figuras 28 y 29

Cualquier lmite h hiperblicamente es igual a cualquier lnea lmite h
1
, es decir, existe un
movimiento hiperblico que transforma h en h
1
. Semejante movimiento hiperblico ser: la
transformacin de similitud con el centro de similitud en la recia u, si h y h
1
son rectas
euclidianas paralelas a u o son circunferencias euclidianas de diferentes radios tangentes a u
(figuras 28 y 29); el desplazamiento del semiplano a lo largo de la recta u, si h y h
1
son
circunferencias euclidianas de un mismo radio tangentes a u; la inversin con el polo en u, si
una de las lneas h y h
1
es una recta euclidiana, paralela a u, y la otra es una circunferencia
euclidiana, tangente a u.

Captulo 8
ALGUNOS TEOREMAS DE LA GEOMETRA DE LOBACHEVSKI

Teorema 1. La suma de los ngulos de cualquier tringulo e menor de 2d.
Examinemos primeramente eL tringulo rectngulo ABC (figura 30). Sus lados a, b, c se
exponen, respectivamente, en forma de un segmento de la perpendicular euclidiana a la
recta u, de un arco de la circunferencia euclidiana con el centro M y de un arco de la
circunferencia euclidiana con el centro N. El ngulo C es recto. El ngulo A es igual al ngulo
entre las tangentes de las circunferencias b y c en el punto A o, lo que es lo mismo, al
ngulo entre los radios NA y MA de estas circunferencias. Por ltimo, B = BNM.

Figura 30

Construyamos en el segmento BM, como en el dimetro, la circunferencia euclidiana q; sta
tiene slo un punto comn B con la circunferencia c, pues su dimetro es el radio de dicha
circunferencia. Por esto el punto A se encuentra fuera del crculo limitado por la
circunferencia q y, por consiguiente,

A = MAN < MBN.

De aqu, en virtud de la igualdad MBN + B = d, tenemos:

A + B < d; (9)

por eso A + B + C < 2d, que es lo que se quera demostrar. Sealaremos que, con
ayuda del correspondiente movimiento hiperblico, cualquier tringulo rectngulo se puede
situar de tal manera que uno de sus catetos pertenezca a la perpendicular euclidiana a la
recta u; de esta manera, el mtodo de deduccin de la desigualdad (9) que utilizamos es
aplicable a cualquier tringulo rectngulo.
Si se trata de un tringulo oblicungulo, se divide ste mediante una de sus alturas en dos
tringulos rectngulos. La suma de los ngulos agudos de estos tringulos rectngulos es
igual a la suma de los ngulos del tringulo oblicungulo dado. De aqu, tomando en
consideracin la desigualdad (9), se deduce que el teorema es vlido para cualquier
tringulo.

Teorema 2. La suma de los ngulos del cuadriltero es menor de 4d.
Para la demostracin es suficiente dividir diagonalmente el cuadriltero en dos tringulos.

Teorema 3. Dos rectas divergentes tienen una, y solamente una, perpendicular comn
Supongamos que una de las rectas divergentes dadas se expone en la carta en forma de la
perpendicular euclidiana p a la recta u en el punto M, la otra se expone en forma de la
semicircunferencia euclidiana q con el centro en u y, adems, p y q no tienen puntos
comunes (figura 31).

Figura 31

Semejante disposicin de dos rectas hiperblicas divergentes en la carta siempre puede
ser alcanzada mediante el correspondiente movimiento hiperblico.
Tracemos desde M la tangente euclidiana MM a q y, con el radio MN, describamos desde el
centro M la semicircunferencia m. Es obvio que m es una recta hiperblica que corta tanto p
como q en un ngulo recto. Por consiguiente, m representa en la carta la perpendicular
comn a las rectas divergentes dadas, que es la que buscamos. Dos rectas divergentes no
pueden tener dos perpendiculares comunes pues, de lo contrario, existira un cuadriltero
con cuatro ngulos rectos, cosa que contradice al teorema 2.

Teorema 4. La proyeccin rectangular del lado de un ngulo agudo sobre el otro lado es un
segmento (y no una semirrecta como lo es en la geometra de Euclides).

Figura 32

La justeza del teorema es evidente de la figura 32, donde el segmento AB es la proyeccin
rectangular del lado AB del ngulo agudo BAC sobre su lado AC.
En esta misma figura, el arco DE de la circunferencia euclidiana con el centro en M es la
perpendicular a la recta hiperblica AC. Esta perpendicular no se corta con la oblicua AB. Por
lo tanto, la suposicin que la perpendicular y la oblicua a una misma recta siempre se cortan
contradice al axioma del paralelismo de Lobachevski, y es equivalente al axioma del
paralelismo de Euclides.

Teorema 5. Si los tres ngulos del tringulo ABC son iguales, respectivamente, a los tres
ngulos del tringulo A'B'C', dichos tringulos son iguales.
Admitamos lo contrario y tracemos respectivamente en los rayos AB y AC los segmentos AB
1

= A'B', AC
1
= A'C'. Es evidente que los tringulos AB
1
C
1
y A'B'C' son iguales por dos lados y
el ngulo comprendido entre ellos. El punto B
1
no coincide con B, el punto C
1
no coincide con
C, ya que en cualquier de estos casos tendra lugar la igualdad de los tringulos dados, cosa
que contradice a lo admitido.

Figuras 33 y 34

Examinemos las posibilidades siguientes.
a) El punto B
1
se encuentra entre A y B, y C
1
se encuentra entre A y C (figura 33; en
esta figura, y tambin en la siguiente, las recias hiperblicas se exponen
convencionalmente en forma de rectas euclidianas). No es difcil convencerse que la
suma de los ngulos del cuadriltero BCC
1
B
1
es igual a 4d, cosa imposible en virtud
del teorema 2.
b) El punto B
1
se encuentra entre A y B, y C se encuentra entre A y C
1
(figura 34).
Designemos por D el punto de interseccin de los segmentos BC y B
1
C
1
. Puesto que
C = C y C= C
1
, resulta que C = lo que es imposible, ya que el ngulo C es
externo respecto al tringulo CC
1
D
1

De manera anloga se enfocan tambin otros casos posibles.
El teorema ha sido demostrado pues la admisin que hicimos nos condujo a una
contradiccin.
Del teorema 5 se deduce que en la geometra de Lobachevski no existe un tringulo
semejante al tringulo dado que no sea igual a ste.

1
La demostracin del teorema "El ngulo externo de un tringulo es mayor que el interno no adyacente a l no
depende del axioma del paralelismo.

Captulo 9
OBSERVACIONES COMPLEMENTARIAS

Al examinar la carta puede hacerse una serie de deducciones importantes.
En primer lugar, todo teorema de la geometra de Lobachevski se lleva en la carta a cierto
teorema de la geometra de Euclides. Por eso, la existencia de una contradiccin en la
geometra de Lobachevski llevara tras de s otra contradiccin en la geometra euclidiana.
Por consiguiente, la geometra de Lobachevski no es contradictoria.
En segundo lugar, el conocimiento de la geometra de Lobachevski facilita
extraordinariamente la revelacin de errores en los intentos de demostrar el axioma del
paralelismo de Euclides que, en la mayora de los casos, se reduce a la admisin de una
suposicin equivalente a este axioma. Para convencerse de lo infundada que es dicha
suposicin es suficiente demostrar que sta contradice al axioma del paralelismo de
Lobachevski. As fue cmo procedimos en los tres ejemplos que examinamos anteriormente
(respecto del lugar geomtrico de los puntos equidistantes de una recta, as como de la
interseccin de la perpendicular y la oblicua a una recta dada, y tambin de la existencia de
tringulos semejantes pero no iguales).
Pondremos un ejemplo ms. El matemtico del siglo pasado Farkas Bolyai (el padre del
mencionado ms arriba Juan Bolyai) propuso una demostracin del axioma del paralelismo
de Euclides que se basaba en la suposicin que a travs de tres puntos que no pertenecen a
una recta siempre puede ser trazada una circunferencia, F. Bolyai consideraba este hecho
evidente, pero en la geometra de Lobachevski no tiene lugar, ya que a travs de tres
puntos del plano de Lobachevski que no se encuentran en una recta pasa o bien una
circunferencia, o bien la lnea limite, o bien la equidistante y. por consiguiente, a travs de
tales tres puntos no siempre puede ser trazada una circunferencia. De aqu vemos que la
suposicin de F. Bolyai es equivalente al axioma euclidiano del paralelismo, cosa que
atestigua cun infundada es su demostracin.
Lobachevski en sus investigaciones no haca uso del mtodo de construccin de cartas en el
plano hiperblico; este mtodo fue propuesto por primera vez por el matemtico italiano
Eugenio Beltrami (1835-1900) en una de sus obras editada en 1868, pasados 12 aos desde
la muerte del gran gemetra ruso.
La carta del plano de Lobachevski, que examinamos en nuestro libro y que se diferencia
considerablemente de la carta construida por Beltrami, fue introducida en la ciencia por el
cientfico francs Henri Poincar (1854-1912) (Ver detalles de Henri Poincar en
http://www.librosmaravillosos.com/grandesmatematicos/capitulo28.html)
Captulo 10
ACERCA DE LOS LOGARITMOS NATURALES Y FUNCIONES HIPERBLICAS

El material que a continuacin se expone se utilizar en los prrafos siguientes
1
.
Establezcamos previamente algunas correlaciones importantes. Introducimos las
designaciones:
(10)

donde n es un nmero entero positivo. Es evidente que

(11)

De las igualdades (10) y (11) obtenemos:
n
a
n n
a b
n
n
n n
=
|
.
|
\
|
+ =
1
1
1
(12)
1
1 1
1
1
1
1
1
+
+ +
|
.
|
\
|
+
+
+
=
n
n n
n n
a b (13)
y
1 1
1
1
1
1
1
1
+ +
|
.
|
\
|
+
+
|
.
|
\
|
+ =
n n
n n
n n
a b

Al descomponer el segundo miembro de la ltima igualdad en factores obtenemos

1
Los problemas que aqu se tratan estn interpretados ms detalladamente en los libros: A. I Markushevich reas
y logaritmos y V. G. Shervatov, Funciones hiperblicas (serie Lecciones populares de matemticas).

( )
(
(
(
|
.
|
\
|
+
+ +
|
.
|
\
|
+
+
|
.
|
\
|
+ +
+
|
.
|
\
|
+
+
|
.
|
\
|
+ +
|
.
|
\
|
+
+
n n
n n
n n n
...
...
n n n n n
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Sustituyendo en los corchetes cada uno de los factores
n 1
1
1
+
+ por
n
1
1+ aumentaremos
la expresin (14) lo que, despus de las simplificaciones, conducir a la desigualdad

n
n n
n n
a b
|
.
|
\
|
+ <
+
1
1
1
1

De aqu, en virtud de la igualdad (12) tendremos

b
n
- a
n+1
< b
n
- a
n

o

a
n+1
> a
n

Por consiguiente, la magnitud a
n
, crece con el incremento del nmero n.
Sustituyamos ahora en los corchetes de la expresin (14) cada uno de los factores
n
1
1+
(formula10-8) por
n 1
1
1
+
+ (formula10-7). Como resultado, la expresin (14) disminuir lo
que, despus de las simplificaciones, conducir a la desigualdad

n
n n
n n
a b
|
.
|
\
|
+
+ >
+
1
1
1
1
1
(15)

Es fcil convencerse que

1
1
1
1
1
1
1
1
1
1
+
|
.
|
\
|
+
+
+
>
|
.
|
\
|
+
+
n n
n n n n
(16)

efectivamente, despus de las simplificaciones, de aqu obtenemos:

( )
2
1
2 1
+
+
>
n
n
n

o
(n + 1)
2
> n(n + 2)

La justeza de la ltima desigualdad es evidente.
De (15), (16) y (13) obtenemos

b
n
- a
n+1
> b
n+1
- a
n+1

Por eso,
b
n
> b
n+1

As pues, la magnitud b
n
disminuye con el incremento del nmero n.
Puesto que a
1
= 2, b
1
= 4, de lo anterior deducimos que

2 a
n
< b
n
4.

De aqu y de (12) se deduce la desigualdad

b
n
-

a
n
< 4/n (17)

Como al crecer el nmero n crece tambin a
n
, disminuye b
n
, y la diferencia b
n
-

a
n
, tiende a
cero, lo que se deduce de (17), las magnitudes a
n
y b
n
, tienden a un mismo lmite que se ha
admitido designar con la letra e, y adems, la primera siempre es inferior y la segunda
superior que este lmite. As
1
1
1
1
1
+

|
.
|
\
|
+ =
|
.
|
\
|
+ =
n
n
n
n
n
lim
n
lim e (18)
y
1
1
1
1
1
+
|
.
|
\
|
+ < <
|
.
|
\
|
+
n n
n
e
n
(19)

En particular, cuando n = 1 tenemos

2 < e < 4 (20)

El nmero e es irracional y su valor aproximado es igual a 2,71828. De las desigualdades
(19) se deduce la igualdad aproximada

e
n
n
|
.
|
\
|
+
1
1 (21)

el error de esta es menor que la diferencia b
n
a
n
y, por lo tanto, es menor que 4/n.
Supongamos que x es una fraccin propia positiva racional, Demos al nmero entero
positivo n tales valores que el nmero nx = k sea entero. En virtud de las desigualdades
(19) obtenemos

x k
x
k
k
x
e
k
x
+
|
.
|
\
|
+ < <
|
.
|
\
|
+ 1 1

Por consiguiente, tendr lugar la igualdad aproximada
x
k
e
k
x
|
.
|
\
|
+ 1 )
El error de sta es menor que

k
xe
k
x
k
x
k
x
k
x
x
k k k x k
<
(
(
|
.
|
\
|
+
|
.
|
\
|
+ =
|
.
|
\
|
+
|
.
|
\
|
+
+
1 1 1 1 1 (23)

Luego, por la frmula del binomio de Newton, tenemos

( ) ( )( )
k
k
k
x
k
... x
k
k k k
x
k
k k
x
k
x 1
6
2 1
2
1
1 1
3
3
2
2
+ +

+
+ + =
|
.
|
\
|
+ (24)

De aqu se deduce la igualdad aproximada
x
k
x
k
+
|
.
|
\
|
+ 1 1 formula10-20 (25)

Designemos por el error de sta. Es obvio que

( )( )
( )
( ) x
x
... x x
x
x
k
... x
k
k k
k
k x
k
k
= + + + <
<
(
+ +

+
=

1 2
1
2
2
3
2 1 1
2
2
2
2
2
2
2
(26)

De (22), (25) y (26) deducimos que

e
x
1 + x (27)

y que el error de esta relacin no excede x
2
/ 2(1 - x), ya que el lmite de la expresin xe
x
/k
[vase (23)] es igual a cero cuando k crece ilimitadamente. Este error puede hacerse tan
pequeo como se quiera dando a la magnitud x valores suficientemente pequeos.
La frmula (27) es vlida en el caso cuando x < 1 es un nmero positivo irracional, de lo
que uno puede convencerse examinando sus valores racionales aproximados.
Sealaremos que la frmula (27) es vlida tambin para valores negativos de x que, por su
magnitud absoluta, son menores de la unidad; en este caso su error no excede x
2
/ 2(1 + x)
De (22) y (24) puede ser obtenida otra igualdad aproximada ms exacta que (27). Como k
, el limite del tercer trmino del segundo miembro de la igualdad (24) es igual a 1/2 x
2
.
Por consiguiente, se puede suponer que

e
x
1 + x + (1/2 x
2
) (28)

Utilizan esta frmula cuando x es tan pequea que se puede desatender de la magnitud x
3
.
No vamos a efectuar la valorizacin del error de la frmula (28).
Examinemos el sistema de logaritmos con base e. Semejantes logaritmos se llaman
naturales y juegan un papel muy importante en la matemtica superior.
El logaritmo natural del nmero x se designa as: ln (x). En virtud de las propiedades de los
logaritmos ya conocidas ln (1) = 0, ln (e) = 1.
Mediante la logaritmacin de ambos miembros de la relacin (27) obtenemos la igualdad
aproximada siguiente:

ln (1 + x) x (29)

puede hacerse uso de esta igualdad cuando x es suficientemente pequea.
Con ayuda del nmero e se calculan las funciones hiperblicas: el seno hiperblico y el
coseno hiperblico (sus designaciones son, respectivamente, senh y cosh), siendo

2 2
x x x x
e e
cosh ,
e e
senh

+
=
= (30)

Las dos otras funciones hiperblicas, la tangente hiperblica y la cotangente hiperblica (sus
designaciones son, respectivamente, tanh y ctanh), pueden calcularse as:

tanh = senh/cosh, ctanh= cosh/senh (31)

Las funciones hiperblicas tienen una serie de propiedades anlogas a las propiedades de las
funciones trigonomtricas homnimas. Por ms detalles remitimos al lector al libro de V. G.
Shervatov que anteriormente mencionamos.
Para valores de la magnitud x suficientemente pequeos obtenemos de (27), (30) y (31) las
igualdades aproximadas siguientes:

senh(x) x, cosh(x) = 1, tanh(x) x (32)

y de (28), (30) y (31) se obtienen las igualdades aproximadas:

senh(x) x, cosh(x) 1 + 1/2 x
2
, tanh(x) 2x/ (2 + x
2
) (33)
Captulo 11
MEDICIN DE SEGMENTOS DE LAS RECTAS HIPERBLICAS

En este prrafo se demostrar cmo se calculan las longitudes hiperblicas de los segmentos
de rectas hiperblicas.

Figura 35

Examinemos primeramente la semirrecta euclidiana del semiplano , perpendicular a la recta
u en su punto M (figura 35), y en ella los puntos A, B, C, D, dispuestos de tal manera que

MB / MA = MD / MC

o, lo que es igual,

MB / MD = MA / MC

Designando por cada una de las dos ltimas relaciones advertimos que la transformacin
de similitud con el centro M y coeficiente p traslada el segmento CD al segmento AB y por
consiguiente, las longitudes hiperblicas de estos segmentos son iguales entre si.
De lo dicho se deduce que la longitud hiperblica del segmento AB (que designaremos por
AB
h
) se caracteriza por la relacin MB / MA o, dicho de otro modo, es cierta funcin de esta
relacin. Demostraremos que por esta funcin puede ser admitido el logaritmo, es decir, se
puede poner

AB
h
= log (MB/MA) (34)

Supongamos que F es un punto del segmento AB. Entonces

MB/MA = (MF/MA) (MB/MF)

Mediante la logaritmacin de esta igualdad y en virtud de la frmula (34) obtenemos

AB
h
= AF
h
+ FB
h

lo que concuerda con la regla de la suma de segmentos.
Hablando en general. en la frmula (34) se puede coger el logaritmo con cualquier base
positiva (pero que sea la misma para todos los segmentos y diferente de 1); sin embargo,
para la concordancia de la regla deducida por nosotros con los dictmenes del Captulo 4, es
necesario optar por el logaritmo natural y. por lo tanto, escribir la frmula (34) en forma de

AB
h
= ln (MB/MA) (35)

Efectivamente, si el segmento AB es suficientemente pequeo en comparacin con el
segmento MA, de las relaciones

ln (MB/MA) = ln ((MA+AB)/MA) = ln (1 + AB/MA)

obtenemos en virtud de las frmulas (29) y (35)

AB
h
AB/MA

lo que concuerda con el principio admitido en el Captulo 4. Sealaremos que las longitudes
hiperblicas de los segmentos AB y BA, calculados por la frmula (35), son iguales por su
magnitud absoluta, pero se diferencian por el signo. Esto demuestra que cuando cambia la
direccin del segmento por la opuesta, su longitud hiperblica cambia de signo. Si la
direccin del segmento nos es indiferente, en el segundo miembro de la frmula (35) se
debe coger la magnitud absoluta del logaritmo.
Examinemos ahora la semicircunferencia euclidiana q con centro M en la recta q, que corta u
en los puntos N' y N, y la perpendicular euclidiana a u en el punto M, que corta q en el punto
A (figura 36).

Figura 36

Supongamos que B es un punto del arco AM. Tracemos la recta euclidiana NB y designemos
por B' su interseccin con MA. No es difcil convencerse de la igualdad de los segmentos AB
y AB de las rectas hiperblicas q y MA. Efectivamente, la inversin respecto a la
circunferencia q' de radio NA con el centro N transforma q en la recta euclidiana MA; con
esto el punto A se transforma en s mismo, y el punto B se transforma en B, ya que B y B
se encuentran en la recta euclidiana que pasa por el polo de inversin N. Por consiguiente,

AB
h
= AB
h
'
= ln (MB'/MA)

Designemos el ngulo NMB por ; entonces MNB = 90 - /2
y
MB' / MA = MB' / MN = tan (90 - /2) = ctan (/2)

De aqu
AB
h
= ln (ctan /2) (36)

Si C es un punto del arco BN (figura 36) y NMC = , entonces, como se deduce de (36),

AC
h
= ln(ctan /2), BC
h
= AC
h
- AB
h
= ln(ctan /2) - ln(ctan /2)

De aqu

BC
h
= ln(ctan /2 ctan /2) (37)

De tal modo, hemos obtenido frmulas tanto para el caso cuando la recta hiperblica, que
contiene el segmento dado, se expone en forma de una semirrecta euclidiana, como tambin
para el caso cuando sta se expone como una circunferencia euclidiana.
Captulo 12
FRMULAS FUNDAMENTALES DE LA TRIGONOMETRA HIPERBLICA

Examinemos en el semiplano el tringulo rectngulo ABC (figura 37). Su lado BC es un
segmento de la recta euclidiana OB (OBu), el lado CA es un arco de la circunferencia
euclidiana con el radio 1 y el centro O, el lado AB es un arco de la circunferencia euclidiana
con el radio 1 y el centro M, el C es recto, el A = y el B = .

Figura 37

Bajemos desde el punto A la perpendicular AN sobre la recta u e introduzcamos las
designaciones

OB = p, NA = q, MO = m, MN = n, NMA = , NOA =

Designemos las longitudes hiperblicas de los lados BC, CA y AB del tringulo dado,
respectivamente, por a, b y c. (Por el contrario, l, m, n, p y q son las longitudes
euclidianas.)
Advertiremos que
OAN = , OMB = ,

ya que las tangentes en el punto A a los lados del ngulo A son perpendiculares a los lados
del ngulo OAM, y las tangentes en el punto a los lados del ngulo B son perpendiculares a
los lados del ngulo OMB.
Estableceremos ahora una serie de dependencias entre las magnitudes que examinamos.
De los tringulos OBM y OAM tenemos;

p
2
= l
2
- m
2

1 = l
2
+ m
2
- 2mn (=OA
2
)

De aqu

p
2
-1 = 2m(n-m), p
2
+ 1 =2 (l
2
- mn) (38)

A continuacin, en virtud de la frmula (35)

= ln (p/1) = ln (p)

Por consiguiente,
( )
( )
p
p
p
p e e cosh
p
p
p
p e e senh
p
e , p e
2
1 1
2
1
2
1
2
1 1
2
1
2
1
1
2
2
+
=
+ = + =
= =
= =

De aqu, utilizando las igualdades (38). obtenemos:

( )
p
mn l
cosh ,
p
m n m
senh

=
=
2
(39)
Del tringulo OAN tenemos:
sen = q, cos = n-m (40)
Por lo tanto,

q
m n
sen
cos
tan
q
m n
sen
cos
tan c

=
=
+
=
+
=
1 1
2
1 1
2

Puesto que en virtud de (36)
b = ln (ctan /2)
resulta que

q
m n
tan e ,
q
m n
tan c e
b b
+
= =
+
= =

1
2
1
2

De aqu
senh b = (n - m) / q, cosh b = 1 / q (41)

A continuacin, de los tringulos OBM y OAN hallamos:

sen = q/l cos = n/l (42)
sen = p/l cos = m/l (43)

De esto se deduce que

ctan /2 = (1 + cos )/sen = (l + n) / q tan /2 = (1 - cos )/sen = (l + n) / q
tan /2 = (1 - cos )/sen = (l - m) / p ctan /2 = (1 + cos )/sen = (l + m) / p

Puesto que en virtud de (37)

c = (ln (ctan (/2) tan (/2 )))
resulta que

( )( )
( )( )
pq
mn lm ln l
pq
m l n l
tan c tan e
pq
mn lm ln l
pq
m l n l
tan tan c e
c
c
+
=
+
= =
+
=
+
= =
2
2
2 2
2 2

Por consiguiente,

senh (c) = l(n-m)/pq, cosh (c) = (l
2
-mn)/pq (44)

Y, por ltimo, del tringulo OAM obtenemos
= -

De aqu. tomando en consideracin (40) y (42), tendremos:

sen = sen cos - cos sen = (qn - q(n - m)) / l

cos = sen cos - cos sen = (n(n-m)+q
2
) / l = ( n(n - m) + l
2
- n
2
) / l
2

pues q
2
= l
2
. As
sen = q / m, cos = (l
2
- mn) /l (45)

De (39), (41). (43), (44) y (45) obtenemos:

tan = (m(n- m)) / (l
2
-mn) tanh b = n - m tanh c = (l(n-m))/ (l
2
-mn) (46)
tan = qm / (l
2
-mn) ctan = (l
2
-mn) / qm (47)
tan = p/m ctan = m/p (48)

Con ayuda de las igualdades (39), (41). (43) - (48) no es difcil comprobar la justeza de las
frmulas siguientes, que son fundamentales en la trigonometra hiperblica:

cosh c = cosh a cosh b (49)
senh a = senh c sen (50)
senh b = senh c sen (51)
tanh a = senh b tan (52)
tanh b = senh c cos (53)
tanh a = tanh c cos (54)
tanh b = tanh c cos (55)
cos = cosh a sen (56)
cos = cosh b sen (57)
cosh c = ctan ctan (58)

A las frmulas (49) - (58) se les puede dar un aspecto ms general si sustituimos en ellas
las magnitudes a, b y c, respectivamente, por a/r, b/r y c/r, que es equivalente a la
variacin de la escala de las longitudes hiperblicas. Aqu r es una constante, comn para
todos los segmentos.
Es caracterstico que, para valores de las magnitudes a, b y c suficientemente pequeos, de
las dependencias que obtuvimos entre los elementos del tringulo rectngulo se deducen
igualdades aproximadas, anlogas a las frmulas de la trigonometra euclidiana. As, por
ejemplo, utilizando las relaciones (32) y (33) obtendremos de (50), (52) y (54):

a = c sen
a = b tan
a = c cos

y a la frmula (49) le daremos el aspecto

+ +
2 2 2
2
1
1
2
1
1
2
1
1 b a c
2 2 2 2 2
4
1
2
1
2
1
2
1
b a b a c + +
despus de la simplificacin, desatendiendo del ltimo sumando del segundo miembro por
motivo de su insignificancia, obtendremos
c
2
a
2
+ b
2

De este modo, la frmula (49) concuerda con el teorema de Pitgoras de la geometra
euclidiana.
Captulo 13
LONGITUDES DE ALGUNAS CURVAS PLANAS DE LA GEOMETRA DE LOBACHEVSKI

Longitud del arco de la lnea lmite. En la figura 38 el arco ADB de la circunferencia
euclidiana con centro O en la recta u representa un segmento de la recta hiperblica, y el
segmento euclidiano AB, que es paralelo a u, representa un arco de la lnea lmite.

Figura 38

Designemos, respectivamente, sus longitudes hiperblicas por 2a y 2s.
Utilizando la frmula (36) obtendremos a = ln ctan /2, de aqu ctan /2 = e
a
. Luego la
utilizacin del principio 1 del Captulo 4, da:

( )
a a
e e tan tan c tan c
OC
AC
s

=
= = =
2
1
2 2 2
1

De aqu, en virtud de la determinacin del seno hiperblico, obtendremos
s = senh a (59)
por consiguiente, 2s = 2senh a. De esa manera, la longitud del arco de la lnea lmite es
igual al seno hiperblico duplicado de la mitad de la cuerda que tiende este arco.
Puesto que a < s resulta ser que de (59) tendremos

a = senh a (cuando a > 0) (60)

Longitud de la circunferencia. Previamente demostraremos dos proposiciones auxiliares.
a) Si a es una magnitud positiva suficientemente pequea resulta que tanh a < a
1
.
Efectivamente, de (33) tenemos

tanh a 2a /(2+a
2
) < a (cuando a > 0).

b) Teniendo presente que los permetros de los polgonos regulares de n lados, el inscrito y
el circunscrito en la circunferencia euclidiana de radio 1, al crecer n ilimitadamente tienden a
un mismo lmite igual a la longitud de esta circunferencia, obtendremos

2
2
2
2
2 = =

n
d
tan n lim
n
d
nsen lim
n n
(61)

Hallemos ahora la longitud s de la circunferencia hiperblica de radio R. (Aqu y en lo
sucesivo todas las designaciones se refieren a las longitudes hiperblicas). Supongamos que
AB y CD son los lados de los polgonos regulares de n lados uno de los cuales est inscrito y
el otro circunscrito en esta circunferencia
2
; designemos sus permetros por p y P y las
longitudes de los segmentos AC y EF por p y p (vase figura 39; en ella las figuras
hiperblicas se exponen convencionalmente en forma de figuras euclidianas).

Figura 39

1
Sealaremos sin demostracin alguna que esta desigualdad es vlida para cualquier valor positivo de la magnitud
a
2
Supongamos que A es un punto de la circunferencia hiperblica q con el centro O. Construyamos el ngulo AOM =
2d/M, donde m es el nmero entero positivo dado, y tracemos en el punto A una tangente a la circunferencia q.
Esta tangente y la semirrecta OM o bien se cortan en cierto punto B. o no se cortan. En el primero de los casos el
segmento AB ser la mitad del lado del polgono regular de m lados circunscrito en la circunferencia. En el segundo
caso en q no se puede circunscribir un polgono regular de n lados si el nmero entero n, que es mayor que m es
suficientemente grande.

De los tringulos rectngulos OAE y OCF, donde O es el centro de la circunferencia dada,
obtendremos en virtud de las frmulas (52) y (50):

tanh AE = senh OE tg 2d/n
senh CF = senh OC sen 2d/n
tanh p/2n = senh (R - p) tg 2d/n (62)
senh p/2n = senh (R + p) sen 2d/n (63)

Sea el nmero n tan grande que tanh p/2n < p/2n: puesto que en virtud de la desigualdad
(60) p/2n < senh p/2n, de las frmulas (62) y (63), multiplicando cada uno de sus trminos
por 2n, tendremos:

senh (R + p') 2n tg (2d/n) < p < s < p < senh (R + p) 2n sen 2d/n (64)

Tomando en consideracin la igualdad (61) y teniendo en cuenta que p y p' tienden a cero
cuando n crece ilimitadamente, llegamos a la conclusin que el primero y el ltimo de los
trminos de la sucesin de desigualdades (64) se aproxima a un mismo lmite 2senh R,
que coincide con la magnitud s:

s= 2senh R.

As pues, en la geometra de Lobachevski la longitud de la circunferencia es igual al seno
hiperblico de su radio multiplicado por 2a.

Longitud del arco de la equidistante. Supongamos que los puntos P
1
, P
2
,..., P
n-1
, que se
encuentran a las distancias euclidianas y
1
, y
2
,..., y
n-1
, de la recta u, dividen el segmento AB
en n partes eucldicamente iguales, y supongamos que las longitudes euclidianas de los
segmentos OB y AB son iguales, respectivamente, a y
y (figura 40; OBu). Examinemos

los arcos AA', P
1
P
1
',..., BB' de las circunferencias euclidianas con el centro comn O, que
representan perpendiculares trazadas desde las puntos de la equidistante OB sobre su base
OB. La longitud hiperblica h de cada una de estas perpendiculares se determina segn la
frmula (36) por la igualdad h =ln ctan /2
Designemos las longitudes hiperblicas del arco AB de la equidistante dada y el segmento
AB de su base por s y a. Como las distancias euclidianas entre los puntos P
1
, P
2
,..., B' y la
recta u son, respectivamente, iguales a y
1
sen , y
2
sen y,..., y
n
sen , y la longitud
euclidiana de cada una de las partes en las que estn divididos los segmentos AB y A'B es
igual a /n, en virtud de las deducciones del Captulo 4, tendremos:

Figura 40

' Z lim s
Z lim a
n
n

=
=

donde
+ + + =
+ + + =

sen y
...
sen y sen y n
' Z
y
...
y y n
Z
n
n
1 1 1
1 1 1
2 1
2 1

De aqu:
Z' / Z = 1 / sen
Puesto que la relacin de las magnitudes Z y Z conserva un mismo valor, este mismo valor
tendr tambin la relacin de sus lmites:

( ) h cosh e e tan c
sen a
s
h h
= + =
+ = =

2
1
2 2 2
1 1

Por consiguiente, s = cosh h.
De tal manera, la longitud de la equidistante es igual a la proyeccin rectangular de este
arco sobre la base de la equidistante. multiplicada por el coseno hiperblico de la distancia
entre sus puntos y la base.
CONCLUSIN

En los ltimos renglones de nuestro libro, sin aducir demostraciones, informaremos a
nuestro lector sobre algunas proposiciones de la geometra de Lobachevski que acentan su
originalidad.
Ante todo nos referiremos a una superficie del espacio euclidiano que mencionamos de paso
en el Captulo 2.

Figuras 41 y 42

En la figura 41 se expone un plano euclidiano y en l la recta a y la curva t (tractriz)
enlazada con a y que tiene la propiedad siguiente: el segmento de la tangente a t en
cualquier punto de sta, comprendido entre el punto de contacto y el punto de interseccin
de la tangente con la recta a, tiene una longitud constante que no depende de la eleccin del
punto de contacto.
Si hacemos girar la tractriz t alrededor de la recta a, la primera describir una superficie
denominada seudoesfera (figura 42).
La seudoesfera es precisamente aquella superficie que investig Beltrami demostrando que
sta se caracteriza por sus propiedades propias del pedazo del plano de Lobachevski (si se
consideran rectas las lneas ms cortas en l).
De manera semejante en el espacio de Lobachevski existe una superficie en la que se
cumplen (para la misma interpretacin de la nocin recta) las tesis superficiales de la
geometra euclidiana; sta es la llamada superficie lmite, que la describe la lnea lmite
girando alrededor de unos de sus ejes.
Alegaremos ahora las formulaciones de algunas de las tesis ms simples que son
caractersticas para la geometra de Lobachevski.

Figura 43

1. Dos rectas paralelas se aproximan asintticamente en la direccin de su paralelismo
(es decir, la distancia entre un punto de una de estas rectas y la otra recta puede
hacerse tan pequea como se quiera) y divergen ilimitadamente en la direccin
opuesta.
2. Supongamos que la recta c corta las rectas divergentes a y b en los puntos A y B. La
longitud del segmento AB ser la mnima si c coincide con la perpendicular comn a
ambas rectas divergentes. A ambos lados de su perpendicular comn las rectas a y b
divergen ilimitadamente.
3. El rea del tringulo ABC, el rea es igual a r
2
( - A - B - C) donde las
magnitudes de los ngulos se cogen en medida de radianes y r es la constante
comn para todos los tringulos, que ya mencionamos en el Captulo 12, El rea
mxima r
2
pertenecer al tringulo en el que todos los ngulos son iguales a cero
(en la figura 43 semejante tringulo est sombreado).
4. El ngulo inscrito en una circunferencia no siempre se mide por la mitad del arco en
el que se apoya. En particular, en el dimetro siempre se apoya un ngulo agudo (y
no recto, como en la geometra euclidiana).
5. Si est dado un nmero entero arbitrario n > 6 puede ser construida tal
circunferencia que el lado del polgono regular de n lados, inscrito en dicha
circunferencia, sea igual al radio de sta. El lado del hexgono regular inscrito en una
circunferencia siempre es mayor que el radio de sta.
6. En la geometra de Lobachevski, en ciertos casos, se puede efectuar la cuadratura del
crculo, es decir, utilizando la regla y el comps se puede construir un circulo y un
cuadrado equidimensionales (ms exactamente, un rombo equingulo, pues en el
plano hiperblico no existe un cuadriltero con cuatro ngulos rectos). En la
geometra euclidiana, como es sabido, no puede ser realizada la cuadratura del
crculo.

Los ejemplos examinados demuestran cun grande es a veces la divergencia entre las
deducciones de las geometras de Euclides y de Lobachevski.

* * *

En nuestro libro se han marcado solamente los primeros jalones del camino que conduce a
la penetracin en el fondo de la geometra hiperblica. Nos alegraremos si el lector, que por
nuestra narracin ha conocido los principios de esta ciencia maravillosa, se interese por ella
y desee estudiar los trabajos especiales dedicados a sta y, entre ellos, las obras de su
fundador N. I. Lobachevski.

Acerca de La Geometria de Lobachevski - A. S. Smogorzhevski

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Acerca de La Geometria de Lobachevski - A. S. Smogorzhevski

Uploaded by

Copyright:

Available Formats

Acerca de la Geometra de Lobachevski www.librosmaravillosos.com A. S.

y (figura 40; OBu). Examinemos

You might also like