GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

GEOMETRAS NO EUCLIDIANAS
RESPECTO AL ORIGEN DE LOS AXIOMAS Y SU PAPEL EN LA GEOMETRA
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.
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

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 aquel lado en el que esta
suma es inferior de dos ngulos rectos1) .
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 estos se comenzaron a interpretar como
verdades evidentes de por s, independientemente de cualquiera que fuera el
experimento2). Semejante punto de vista engendr la seguridad de 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 a
los investigadores sus secretos. 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 pueden 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 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 solamente 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 quedan en vigor.
1)

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 son 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.
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
2)

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 resultado ms inmediatos o ms lejanos,
conducir a una contradiccin. Entre tanto, analizando los nuevos y nuevos resultados
de la admisin hecha por l, paradjicos desde el punto de vista de la geometra
euclidiana, Lobachevski se persuada de 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 Lobachevski1).
No obstante, quedaba no 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
incontrariedad 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 incontrariedad de la
geometra de Lobachvski.
Las investigaciones de Lovachevski 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 2). No nos asombra tal actitud respecto a la idea genial que
demola las nociones de aquella poca. Con la misma 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.
___________________________________
Posteriormente se puso en claro que, adems de la geometra descubierta por
Lobachevski , se pueden construir otras muchas geometras no eucldeas.
1)

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
Lobachevsky, y Bolyai, viendo que sus propias investigaciones de la geometra no
euclideana ( 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.
2)

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 otras ramas de la ciencia.
En toda ciencia los conceptos simplsimos tiene 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, resultar ser que todos los puntos restantes de la misma recta tambin
pertenecen a dicha superficie. Por ejemplo, en la geometra esfrica, se denomina
plano y rectas , respectivamente, a la esfera y a las circunferencias de sus crculos
grandes. 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 euclidiano1).
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 dos rectos; por ejemplo, en el tringulo limitado
por un cuarto del ecuador y por los arcos de dos meridianos ( fig. 1 ) todos los tres
ngulos son rectos2).
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 esfrica. Al hecho de existir una geometra
bidimensional no euclidiana los matemticos no le daban gran importancia por la
simple razn de 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.
_______________________________________
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.
1)

Se denomina ngulo entre dos lneas en el punto de su interseccin al ngulo entre

las tangentes a stas en dicho punto.
2)

Se debe hablar especialmente de las geometras tridimensionales. Estas pueden

considerarse, independientemente de otras aplicaciones que tengan, como hiptesis
que pretenden describir las propiedades del espacio real. La cuestin respecto a cul

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

de estas hiptesis est ms cerca de la realidad solamente puede ser resuelta

mediante la comprobacin experimental de sus tesis.
Sealaremos el hecho siguiente, muy importante para la exposicin ulterior: en el
plano euclidiano su 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 aqu 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 que tipo de espacios no euclidianos pertenece 1). Para
la solucin de este problema se requiere una comprobacin experimental de la justeza
de los axiomas, 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 resulta hasta el fin la cuestin respecto a la
estructura geomtrica del espacio fsico real.
No obstante, sealaremos que la teora contempornea de 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.
Ahora podemos responder a una pregunta que con frecuencia omos : cul de las dos
geometras se 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.
_______________________________
Al examinar esta cuestin se debe tener en cuenta la posibilidad de que el espacio
real sea heterogneo, es decir, la circunstancia de que su estructura geomtrica pueda
resultar no ser igual en todas partes.
1)

Esto mismo es tambin justo respecto a las diversas geometras tridimensionales: cada
una de ellas, siendo lgicamente incontradictoria, 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

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 de 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 pseudociencias
semejantes.
Tanto una como otra geometra representan un instrumento para el estudio de las
formas espaciales, pero la primera permite efectuar investigaciones ms 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.
Los meritos cientficos de Lobachevski 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 crtico 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 lmites del sistema euclidiano. La
geometra de Lobachevski encontr aplicacin directa en la teora de integrales
definidas y en otras ramas de la matemtica.
Lovachevski 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 1) 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.
___________________________________
1)
Gnoseologa es la ciencia del conocimiento
. Lobachevski rompi categricamente con este punto de vista y retorn la geometra a
las posiciones del materialismo.
Independientemente, Gauss y Bolyai tambin obtuvieron resultados similares a los
obtenidos por Lobachevski . Hoy en da y en trminos modernos se conoce como
espacio de dos dimensiones de curvatura constante negativa.
Por primera vez, Gauss distingui las propiedades intrnsicas de una superficie, esto es,
la geometra experimentada por pequeos seres planos viviendo en la superficie, de
sus propiedades externas, esto es, su inmersin en un espacio de dimensin mayor, y

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

se dio cuenta que es las propiedades intrnsicas de las superficies las que deben ser
exploradas por los gemetras.

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 lo que sigue damos la determinacin de la inversin y de las nociones relacionadas
con ella, as mismo, 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 2

DEFINICIN 1.Decimos que los puntos A y

circunferencia k si satisfacen la relacin ( 1 ).

(1)

A' son simtricos respecto a la

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 1

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Examinemos la figura 1 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 la circunferencia k
y q son ortogonales entre si.
DEFINICIN 2. Dos circunferencias son ortogonales si stas se cortan en ngulos
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.
Sea P uno de los puntos de interseccin de las circunferencias k y q ( figura 2 ).
Como OP es el radio de la circunferencia k , la igualdad (1) adquiere el aspecto
OA . OA' OP 2

Figura 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 si.

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 la circunferencias k y q son ortogonales entre s, resulta ser
que la recta que pasa por el centro O de la circunferencia k y que corta la
circunferencia q , corta a sta en puntos simtricos respecto a 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 2 ). Puesto que las
circunferencias dadas son ortogonales entre s la recta OP es tangente a la
circunferencia q 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 OAB , 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 3. 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 ABB ' A' puede ser circunscrita una
circunferencia de tal manera que A' AB A' B ' B 2d . Del teorema 1 se deduce
que esta circunferencia es ortogonal a la circunferencia k .

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 3
DEFINICIN 3. A la transformacin del plano que consiste en que cada
dos puntos de este plano, simtricos respecto a la circunferencia k ,
intercambian de sitio
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 .
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 crculo, a excepcin del
polo de inversin, y viceversa; los puntos de la circunferencia de inversin se pasan as
mismos; la recta que pasa por el polo de inversin O se pasa as 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.
DEMOSTRACIN
Supongamos que A es la base de la perpendicular bajada desde el polo de inversin
O sobre la recta l , B es un punto cualquiera de la recta l y A' y B ' son los
puntos simtricos, respectivamente, con A y B en relacin a la circunferencia de
inversin k ( figura 4 ). Construyamos en el segmento OA' , como en el dimetro, la
circunferencia q . En virtud del teorema 3 OB ' A' OAB y, por esto, OB ' A' 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 ' . 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 .

10

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 4
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.
DEMOSTRACIN
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 A' B ' 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 A' B ' .
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.
DEMOSTRACIN

11

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 5

Sean k la circunferencia de inversin con el radio

y el centro O , y q , la
circunferencia dada que no pasa por O ( figura 5 ). 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 . OB ' r 2

De aqu

OA
OB

OB '
OA'
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, g 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 '

OA OB
g2
.

OB ' OA'
r4

12

r4
y, por lo tanto,
g

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

o, teniendo en cuenta la relacin (2),

OA
g

OB ' 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 O 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 si
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 5).
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
a la circunferencia k , son simtricos respecto a k .

p y q , ortogonales

TEOREMA 8. La inversin no vara la magnitud del ngulo.

CARTA DEL PLANO DE LOBACHEVSKY

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

13

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 6
de esta lnea en la carta dada; a las magnitudes s y las denominaremos,
respectivamente, longitudes hiperblica y euclidiana.
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
MN
se encuentra de sta a la distancia y , es igual a
, es decir, es igual al
y
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 6 ), resulta ser que se cumple la desigualdad

s
y'
y
Ms tarde nos convenceremos de 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 7 ).

14

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 7
Marquemos en el arco

AB , siguiendo de A hacia B , los puntos

A , P1 , P2 , ... , Pn 1 , B

(*)

Supongamos que las magnitudes

y0 , y1 , y2 , ... , yn 1 , yn , 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 AP1 , P1P2 ,..., Pn1B, que son
partes del arco AB ; las longitudes euclidianas de las cuerdas que comprenden estos
arcos.
Formemos las sumas:

1 2 ... n
y1 y2
yn

' 1 2 ... n
y0 y1
yn 1

Z 1 2 ... n
y1 y 2
yn
En virtud del 2 o principio tendremos:

s '

(3)

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

15

GEOMETRA MODERNA

'

LA GEOMETRA DE LOBACHEVSKI

n
( y1 y0 ) 2 ( y2 y1 ) ...
( yn yn 1 )
y0 y1
y1 y2
yn 1 yn

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 y0 2 . Por consiguiente,

'

'
y0

( y1 y0 y2 y1 ... yn yn 1)

'
y0 2

( yn y0 )

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

Z 1 . 1 2 . 2 ... n . n
y1 1 y2 2
yn n
De aqu, designando por

la menor y por

la mayor de las relaciones

1 2

,
,..., n
1 2
n
obtenemos

(4)

Supongamos que el nmero n aumenta ilimitadamente y supongamos que al mismo

tiempo cada una de las magnitudes 1, 2 , ... , n y, por consiguiente, la magnitud

' tiende a cero. Entonces

la diferencia

'

se aproximar,
como
demostramos anteriormente, a
cero, mientras que las magnitudes , tienden a la unidad 1) . Debido a esto de las
desigualdades ( 3 ) y ( 4 ) se deduce que cada una de las sumas , ' , 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

s lmZ lm ( 1 2 ... n )
y1 y2
yn

(5)

donde la transicin al lmite se efecta en las condiciones indicadas anteriormente.

y1 se puede admitir la distancia entre

cualquier punto del segmento AP 1 y la recta u , por y 2 se puede admitir la
Advertiremos que en la igualdad ( 5 ) por

16

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

distancia entre cualquier punto del segmento P 1P 2 y

puede cambiar su magnitud, pero su lmite no variar.

u,

etc. Con esto la suma

Figura 8
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 8 , lo dividimos en las partes
AB, BC y CD , pero los puntos de divisin lo marcamos en el arco CD partiendo
desde D hacia C .
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 los 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.
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 vara 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 9 ). Designemos por y e y1 , respectivamente, las
distancias de los

17

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 9

N y N1 a la recta
OMN y OM1N1 tendremos :

puntos

u.

En virtud de la semejanza de los tringulos

MN M1N1

y
y1
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 la recta u y
con coeficiente positivo de similitud es un movimiento hiperblico.
El coeficiente de similitud se elige positivo con el fin de que el segmento M 1 N 1
resulte estar en el semiplano , y no en ' .
3) Examinemos la inversin respecto a la circunferencia k de radio arbitrario R con
el centro O en la recta u ( Figura 10 ).

Figura 10

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

18

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

del ngulo MON con los segmentos MN y M ' N ' y la recta

tringulos OMN y ON ' M ' son semejantes, entonces

u.

Puesto que los

MN
M 'N'

y
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.
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
simples que anteriormente examinamos.
Mostraremos ahora que en el semiplano , con las reglas 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. 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
( Figura 11)

19

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 11
Unamos estos puntos con el segmento de la recta AmB y con cualquier otra curva o
quebrada AnB . Supongamos que dos rectas arbitrarias a y b , bastante prximas
entre si 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
CD
EF
y
longitudes hiperblicas pueden considerarse iguales a
, donde y es la
y
y
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 s solamente en la condicin de 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.
Demostremos 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 12 ). 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 . 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.

20

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 12
De esta manera las semirrectas eucldeas perpendiculares a la recta u y las
semicircunferencias euclidianas con el centro en la recta u sern las rectas
hiperblicas del semiplano . A continuacin, examinando el axioma 1, nos
convenceremos de que no existen otras rectas hiperblicas.
Levantemos en el semiplano una perpendicular a la recta u por cualquier punto
arbitrario M de sta ( Figura 13 ), elijamos en dicha perpendicular un punto A y
construyamos los puntos A1 , A2 , A3 ,... de tal manera que se cumplan las
igualdades:
AA1 A 1M ,

A 1A 2 A 2 M ,

A 2 A 3 A 3 M , ...

Figura 13

21

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

A 2 es el centro del
Con otras palabras, A 1 es el centro del segmento AM ,
segmento A 1M , 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 . Esta transformacin es un movimiento hiperblico que traspasa los puntos
A , A 1 , A 2 ,.... respectivamente, a los puntos A1 , A2 , A3 ,... . De aqu se deduce
que las longitudes hiperblicas de los segmentos AA1 , A1 A2 , A2 A3 ,... son iguales
entre si. De este modo, la construccin efectuada por nosotros se reduce a trazar en la
recta hiperblica AM , desde el punto A , los segmentos AA1 , A1 A2 , A2 A3 ,...,
hiperblicamente iguales entre si, 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 si AB1 , B1B2 , B2 B3 ,... en la
recta hiperblica AM ( Figura 13) 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 AAn , o bien en el segmento ABn .
Asi pues, la recta hiperblica AM , y por lo tanto toda recta hiperblica, tiene dos, y
solamente dos, puntos infinitamente alejados.
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 recta dada y de todas las rectas paralelas a ella.
Ahora no es difcil convencerse de 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 14); 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 15), 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

22

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

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 . 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 ' ,
l y l ' coinciden por
cosa que, como acabamos de ver, es imposible. Asi pues,
completo.

Figura 14

Figura 15
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
pueden ser trazadas dos rectas hiperblicas paralelas a p .

23

p,

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

DEFINCIN 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 que en el plano euclidiano .
Designemos por A y B ( figura 16 ) los puntos de la recta hiperblica p infinitamente
alejados. Tracemos a travs de 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 n , 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
3) que no cortan la recta

p y no son paralelas a sta.

Figura 16
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 17 ). 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 II.
Si dos rectas hiperblicas no se cortan y no son paralelas, se denominan divergentes.
Por ejemplo, las rectas p y l ( Figura 17 ) son divergentes.

24

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

Figura 17
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.
VIDA Y ACTIVIDAD DE N. I. LOBACHEVSKI
Nicoli Ivnovich Lobachevski naci el 20 de noviembre (01 de diciembre segn el
estilo nuevo) de 1792 en la familia de un funcionario pobre. Nicoli 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 hasta 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 si ciclos de conferencias no slo de
asignaturas de serie matemtica, sino tambin de mecnica, fsica, astronoma,
geodsica y 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 Lovachevski 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 fsicomatemticas 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

25

GEOMETRA MODERNA

LA GEOMETRA DE LOBACHEVSKI

de Lobachevski Sobre los fundamentos de la Geometra, publicada en los aos 18291830 en la revista Boletn de Kazn .
El invento de Lobachevski no fue concebida 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 de que dichas ideas se ganaran
el reconocimiento comn que vino solamente despus de la muerte de Lobachevski.
_______________________________________
) Otra de sus denominaciones, la de geometra hiperblica, est vinculada al hecho de
que en sta la lnea recta, igual que la hiprbola en la geometra euclidiana, tiene dos
puntos alejados infinitamente.
1

Lobachevski no fue disuadido de la justeza de sus deducciones por los ataques de la

crtica y, con la energa e insistencia que le caraterizaban, 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 edificio de la
universidad de Kazn, fue erigido un monumento al eminente sabio.

26