A veces, cuando me sumerjo en la oscuridad de la

noche, me pregunto: "Qu es la Matemtica?" Puede

resultar una pregunta algo pesada y borrosa pero
adentrmonos en ella, sumerjmonos en los mares de
teoremas y proposiciones que tanto la caracterizan.
Qu son los objetos de los que tanto habla? De
dnde vienen y adnde se dirigen?
Una vez, mientras dorma, me pareci or la
respuesta... Pero igual que vino, se desvaneci: fue un
susurro... Desde ese preciso instante la busco. Dnde
est el inicio? Hacia dnde nos lleva el infinito?
Hoy me apetece recordar el largo camino recorrido por
tantos matemticos a lo largo de la historia para intentar
explicar cmo es lo que nos rodea; qu caractersticas
tiene el mundo fsico y real. Hablemos de geometra.

1. De Euclides a Lobatchevsky
No han llegado a nuestras manos manuscritos del propio Euclides y ni siquiera se sabe
con certeza la fecha de su nacimiento, pero gracias a un prrafo del Comentario de Proclo
podemos afirmar que Euclides vivi y ense en Alejandra en torno al ao 300 a.C., aunque
es posible que se educara en la Academia de Platn. Si as fuera, el creador de los Elementos
estuvo estrechamente relacionado con la filosofa de ste ltimo, quien defenda la existencia
de unos moldes con los que se creaban todas las formas posibles en el mundo fsico. Esta
especie de patrones son los conocidos poliedros regulares.
Euclides tambin se vio motivado por el estudio del espacio fsico y escribi sus
Elementos, donde aparece una serie de definiciones, postulados, nociones comunes,
teoremas y propiedades de la que se llam con acierto geometra euclidiana.
Postulados de Euclides
1.
2.
3.
4.
5.

(Es posible) trazar una lnea recta desde

cualquier punto a cualquier otro.
(Es posible) prolongar continuamente en
lnea recta una recta dada.
(Es posible) trazar un crculo con cualquier
centro y distancia (radio).
Que todos los ngulos rectos sean iguales
entre s.
Que si una recta incide sobre otras dos
formando ngulos internos menores que dos
rectos, al prolongarlas indefinidamente se
encontrarn por el lado en que los ngulos
sean menores que dos rectos.

Definiciones
1.
2.
3.
4.
5.
6.
7.
8.

Un punto es lo que no tiene partes.

Una lnea es una longitud sin anchura.
Los extremos de una lnea son puntos.
Una lnea recta es aquella que yace por igual
sobre sus puntos.
Una superficie es lo que slo tiene longitud y
anchura.
Los extremos de una superficie son lneas.
Una superficie plana es la que yace por igual
sobre sus lneas rectas.
Rectas paralelas son aquellas que estando
en el mismo plano no se encuentran cuando
se prolongan indefinidamente en ambas
direcciones.

Hemos seleccionado las que ms nos ataen (y no hemos citado las nociones comunes), numeradas de
acuerdo con la edicin de Heath; T. L. Heath: The thirteen. Books of Euclid's Elements, Dover (reimpresin),
1956, en tres volmenes. Cit. en Kline (1992) p. 91, 92.

Observemos las definiciones 2 y 4: la palabra lnea significa curva y la lnea recta es lo

que llamamos ahora segmento. Hay que subrayar, no obstante, que no aparece la nocin de
recta como algo infinito sino como un segmento que se puede alargar indefinidamente.
As es como surge la problemtica que ha rodeado durante dos largos milenios al quinto
postulado de Euclides: no hay certeza absoluta de que podamos prolongar indefinidamente
las dos rectas y se siga verificando, pues tendramos que comprobarlo en toda su "infinita
extensin". Es as como este axioma ocupa un lugar especial incluso en la mente de Euclides,
puesto que prescindi de l hasta que no pudo continuar sin utilizarlo1.
Desde la antigedad del mundo griego hasta prcticamente los comienzos del s. XIX
ningn matemtico dudaba de la veracidad de la geometra de Euclides. Estaban convencidos
de que era la herramienta ideal para describir las propiedades del mundo fsico y las figuras
en ese espacio. Pero todos pensaban que dicho postulado estableca serias complicaciones.
Hubo dos intentos de solventar estas dificultades:
z

Reemplazar el axioma de las paralelas por un argumento ms autoevidente. John

Playfair (1748-1819) dio en 1795 la siguiente versin del postulado: "Por un punto dado
P que no est sobre una recta l existe una sola recta en el plano de P y l que no corta a
l". Legendre, tras cuarenta aos de duro trabajo sobre este tema, prob en un apndice
de sus Elementos de Geometra que el axioma es equivalente a "la suma de los
ngulos de un tringulo es igual a la suma de dos ngulos rectos". La versin con la
que ahora se trabaja en los manuales de texto es prcticamente la de Playfair: "Por un
punto exterior a una recta dada pasa una y slo una recta paralela a sta". Es por esto
por lo que el quinto postulado de Euclides de ha llamado "axioma de las paralelas".

Tratar de deducirlo de los otros cuatro axiomas. La deduccin podra ser directa o
indirecta. El mtodo indirecto consista en suponer que el postulado era falso y llegar a
una contradiccin dentro del nuevo cuerpo de teoremas deducidos. El pionero en este
razonamiento fue Saccheri (1667-1733), inspirado por los trabajos de Nasr Eddn y
Wallis, seguido por grandes matemticos como Lambert, Legendre, Schweibart,
Taurinus, Klgel, Gauss, Bolyai y otros muchos.

En 1697 el italiano Giolamo Saccheri abri un gran campo de posibilidades para la

resolucin del problema que nos atae. Se podra decir que dio el pistoletazo de salida en una
carrera con muchos obstculos pero con una meta abrumadora. La importancia de su trabajo
radica en la suposicin de que el quinto postulado de Euclides es falso e intentar llegar a una
contradiccin.
ADC es igual al ngulo BCD. Se hizo la siguiente
pregunta: son ngulos rectos? Supuso que no:
1. Hiptesis del ngulo obtuso: ADC y BCD
son mayores que un recto (es decir, mayores
que 90).
2. Hiptesis del ngulo agudo:
BCD
son menores que un recto (menores que 90).
deducir que
BCD son ngulos rectos, con
lo que se lleg a una contradiccin. De la hiptesis 2
obtuvo muchos teoremas y propiedades de una
geometra no-euclidiana que se consolidar unos
pocos aos despus, pero sin saber lo que estaba
haciendo realmente. Continu hasta llegar al siguiente
teorema: "Dado cualquier punto A y una recta b, con la
hiptesis del ngulo agudo existe en el haz (familia) de FIGURA 1: El Cuadriltero de Saccheri
rectas que pasan por A dos rectas p y q que dividen el
haz en dos partes. La primera de ellas consiste en las lneas que intersectan a b y la segunda
la forman las lneas (que forman un ngulo ) que tienen una perpendicular comn con b en
algn sitio a lo largo de b. Las rectas p y q son asintticas a b".
De este resultado y una cadena de razonamientos muy
extensa demostr que p y b tendran una perpendicular
comn en su punto comn, que est en el infinito. Otra vez
nos encontramos con el infinito! Saccheri afirm que este
descubrimiento era totalmente descabellado y, aun sin
llegar a una contradiccin, lo rechaz decidiendo que la
hiptesis del ngulo agudo era falsa.
As, slo quedaba suponer que ADC y BCD son
ngulos rectos. Saccheri ya haba demostrado que, en este
caso, la suma de los ngulos de cualquier tringulo es 180,
y esto implica la veracidad del quinto postulado.
FIGURA 2: Las rectas de Saccheri

Nuestro matemtico italiano qued sumamente

satisfecho de su logro, pero Klgel (1739-1812) observ en su disertacin de 1763 que los
resultados de Saccheri no conducan a una contradiccin sino a resultados que parecan estar
en contraposicin con la experiencia. Esto motiv a Lambert (1728-1777) a considerar un
cuadriltero con tres ngulos rectos y estudiar la posibilidad de que el cuarto fuera agudo u
obtuso. Dedujo que la hiptesis del ngulo obtuso originaba propiedades como las que se
obtenan para figuras sobre una esfera si se prescinda del absurdo que provocaba con
respecto al quinto postulado, y conjetur que los teoremas que se deducan bajo la hiptesis
del ngulo agudo se verificaban en figuras sobre una esfera de radio imaginario. Este
descubrimiento afirmaba que cualquier conjunto de hiptesis que no conduca a
contradicciones nos ofreca una geometra posible.
F. K. Schweikart (1780-1859), influido por los trabajos de Saccheri y Lambert, hizo una

distincin clara entre dos geometras: la de Euclides y aquella en la que se verificaba que la
suma de los ngulos de un tringulo es distinta a 180. A esta ltima la llam astral porque
caba la posibilidad de que se cumpliera en el espacio de las estrellas.
F. A. Taurinus (1794-1874), un sobrino de Schweikart y seguidor de sus avances en esta
materia, demostr la conjetura de Lambert acerca de la hiptesis del ngulo agudo. Afirmaba
que nicamente la geometra euclidiana poda ser verdadera para el espacio fsico
(incluyendo, por tanto, el de las estrellas) pero que la geometra astral era "lgicamente
consistente" (en el sentido de que no llevaba a ninguna contradiccin).
Con la obra de Lambert, Schweikart y Taurinus el mundo matemtico se convenci de
que el quinto postulado de Euclides no se poda demostrar a partir del resto de los axiomas,
es decir, que es independiente. Adems, cabe subrayar que tambin se demostr que bajo
hiptesis contradictorias se pueden deducir geometras tan consistentes como la de Euclides.
Llegados a este punto deberamos reparar en la problemtica que subyace en todos los
descubrimientos de este periodo determinado de la historia de las matemticas. Es posible
modelizar el espacio fsico con cualquiera de estas geometras? La evidencia de que la
geometra eucldea era perfectamente compatible reinaba en el pensamiento de la poca pero
tambin la consistencia de todas aquellas geometras que se originan a partir de hiptesis
contrarias a nuestra protagonista: al axioma de las paralelas.

FIGURA 3

Que las geometras sobre la esfera no respondan a las propiedades del mundo fsico
pese a su carcter no contradictorio segua siendo una creencia bastante arraigada en el seno
de la Matemtica, que todava era euclidiana. El propio D'Alembert llam al problema del
axioma de las paralelas "el escndalo de los elementos de la Geometra"2.
La primera persona que realmente lleg a comprender este problema fue Gauss (17771855). Comenz su trabajo con tan solo 15 aos y en 1813 todava no haba conseguido
grandes progresos, aunque segua empeado en reducir el axioma de los restantes. Escribi:
"En la teora de las paralelas ni siquiera ahora estamos mucho ms lejos que Euclides. sta
es una parte vergonzosa de las matemticas..."3.
En 1813 desarroll una nueva geometra. La llam geometra antieucldea, ms adelante
geometra astral y finalmente la bautiz geometra no eucldea. En 1817 Gauss se haba
convencido de que el quinto postulado era independiente y estudi las consecuencias que se
pudieran derivar de su geometra, a saber, aquella en la que se puede trazar ms de una lnea
paralela a una recta dada y que pasa por un punto exterior a sta. Lleg a la conclusin de
que era perfectamente aplicable al espacio fsico.
Todava es un misterio el hecho de que Gauss no publicara sus descubrimientos, aunque
en una de sus cartas lleg a decir que se deba a un miedo a ser malinterpretado. Quienes s
publicaron toda la construccin de esta nueva geometra fueron Lobatchevsky (1793-1856) y
Janos Bolyai (1802-1860), hijo de W. F. Bolyai. En el siguiente apartado hablaremos
nicamente de la solucin propuesta por Lobatchevsky, puesto que la de Bolyai es totalmente
anloga.

1:

El quinto postulado aparece por primera vez en los Elementos en la demostracin de la proposicin 29,
prescindiendo de l en las 28 primeras. Volver.
2: Cit. en Morris Kline: El pensamiento matemtico de la antigedad a nuestros das. Alianza Universidad.
Madrid, 1992, p. 1146. Volver.
3: O'Connor y E.F. Robertson, "Non-Euclidean geometry" The Mactutor History of Mathematics archive.
Universidad de San Andrews. Inglaterra, 1996. URL: http://www-history.mcs.stand.ac.uk/~history/HistTopics/Non-Euclidean_geometry.html. Volver.

2. La solucin de Lobatchevsky 4
Nikolai Ivanovich Lobatchevsky estudi en la
Universidad de Kazan. Public por primera vez su
teora sobre el axioma de las paralelas en su obra
Sobre los fundamentos de la geometra en el ao
1829-1830, pero no fue plenamente aceptada hasta
muchos aos despus. Su trabajo, tanto como el de
Bolyai, se ignor hasta aproximadamente 30 aos
despus. El tema atrajo la atencin gracias a que el
nombre de Gauss proporcion peso a las ideas
cuando se hizo pblica su correspondencia en 1855
despus de su muerte. Fue en 1868 cuando Beltrami
(1835-1900) obtuvo un modelo real donde se
verificaban parte de las propiedades de la geometra
de Lobatchevsky y la coloc en el mismo lugar que la
eucldea.
Lobatchevsky, como la mayora de sus
contemporneos, intent deducir el quinto postulado
de Euclides a partir de los restantes axiomas de esta geometra, al puro estilo de Saccheri.
La esencia de la solucin de este problema la expuso l mismo en su obra Nuevos
elementos de Geometra (1835): "Es bien sabido que, en geometra, la teora de las rectas
paralelas ha permanecido hasta ahora incompleta. Los intiles esfuerzos realizados desde los
tiempos de Euclides a lo largo de dos mil aos me han inducido a sospechar que los
conceptos no contienen la verdad que queramos probar, sino que, al igual que otras leyes
fsicas, solamente pueden ser verificados mediante experimentos, tales como observaciones
astronmicas. Convencido por fin de la verdad de mi conjetura y considerando que este difcil
problema est completamente resuelto, expuse mis argumentos en 1826"5.
Comenz sus investigaciones suponiendo que por un punto exterior a una recta no pasa
una, sino al menos dos rectas paralelas a la recta dada y desarroll una geometra totalmente
concebible que no lleva a contradiccin alguna. Se puede resumir la solucin de Lobatchevsky
al problema del quinto postulado como sigue:
1. El postulado no puede ser probado.
2. Aadiendo a las proposiciones bsicas de la geometra el axioma opuesto se puede
desarrollar una geometra extensa y lgicamente perfecta.
3. La verdad de los resultados de cualquier geometra lgicamente concebible debe ser
desarrollada no slo como un esquema lgico arbitrario, sino como una teora que abra
nuevos caminos y mtodos para las teoras fsicas.
Uno de los resultados ms sorprendentes es el siguiente:
Dada una recta AB y un punto C (ver
figura 4) todas las rectas que pasan por C
caen dentro de dos clases respecto a AB,
a saber: la clase de las rectas que cortan
a AB y la clase de las que no lo hacen. A
la ltima pertenecen las dos rectas p y q
que forman la frontera entre las dos
clases. Estas dos lneas frontera son
llamadas las rectas paralelas. El ngulo
(a) se llama ngulo de paralelismo. Las
otras rectas que no son paralelas y que
pasan por C y las que no cortan a AB son
llamadas rectas que no intersectan,

aunque en el sentido de Euclides stas

son paralelas a AB y as, en este sentido,
la geometra de Lobatchevsky contiene un
nmero infinito de paralelas que pasan por
C.
Tambin lleg a establecer la
trigonometra no euclidiana, resolucin de
tringulos y clculo de reas y volmenes.
Mostr identidades trigonomtricas para
tringulos que se mantenan en su
geometra, advirtiendo que a medida que
el tringulo se haca ms pequeo las
identidades tendan hacia las identidades
trigonomtricas usuales. Con esto y una
cadena de razonamientos y deducciones
FIGURA 4: Las rectas de Lobatchevsky
verdaderamente sorprendentes no slo
construy una geometra plena sino que
redujo a la geometra eucldea a un caso lmite y, por tanto, particular.
Todo el trabajo de Lobatchevsky, Bolyai y Gauss y su concepcin acerca de estas nuevas
teoras revolucion los fundamentos de la Matemtica. Aunque fuera lgicamente concebible,
no se poda aplicar al mundo fsico, por lo que esta nueva geometra se vio relegada a puro
juego y deduccin matemtica sin ninguna trascendencia ni real ni social.

4:

Texto extrado de A.D. Aleksandrov, A.N.Kolmogorov y otros: La matemtica: su contenido, mtodos y

significado. Alianza Universidad. Madrid, 1982. Volver.
5: Cit. en A. D. Aleksandrov, A. N. Kolmogorov, M. A. Laurentiev y otros: La matemtica: su contenido,
mtodos y significado. Alianza Universidad. Madrid, 1982. Volver.

3. El significado real de
la geometra de
Lobatchevsky
En 1868 el italiano Eugenio Beltrami public
Ensayo sobre la interpretacin de la Geometra no
eucldea, que proporcion un modelo para la
geometra no-euclidiana de Lobatchevsky dentro de
la geometra eucldea 3-dimensional. Consider una
curva llamada tractriz (ver figura 5). Una de las
propiedades de esta curva es que la longitud del
segmento de tangente comprendido entre el punto
de tangencia y el punto de corte con el eje OY es
constante. El eje OY es una asntota. Al girar la
curva alrededor de su asntota se engendra una
superficie llamada seudoesfera, representada en la
parte derecha de la figura 5.

FIGURA 5: Tractriz y seudoesfera

Beltrami hizo notar que la geometra intrnseca de la seudoesfera coincide con la

geometra sobre parte del plano de Lobatchevsky. De este modo, esta geometra no
euclidiana tiene un perfecto significado real: no es ms que una exposicin abstracta de la
geometra sobre la seudoesfera.
Pero, como hemos mencionado con anterioridad,
Beltrami slo estableci una correspondencia entre la
sudoesfera y parte del plano de Lobatchevsky. El problema
de dar una interpretacin real a todo el plano y el espacio
quedaba sin solventarse. La solucin fue dada ms tarde
por el matemtico alemn Felix Christian Klein (18491925).
Las ideas ms generales del modelo que propuso
Klein en 1870 para esta particular geometra son las
siguientes: En un plano usual tomamos el interior de un
crculo; un punto se considera como un punto; una recta,
como una cuerda (excluyendo los extremos); un
movimento se toma como una transformacin que

transforma el crculo en s mismo y las cuerdas en cuerdas; la situacin de los puntos (un
punto est sobre una recta; un punto est entre otros dos) se considera con el sentido usual.
La regla para medir longitudes y ngulos (y tambin reas) se deduce de la forma en que se
definen los movimientos; la igualdad de segmentos y ngulos (o de figuras arbitrarias) tambin
se define, y esta misma definicin es aplicables a la operacin de transportar un segmento a
lo largo de otro.
Con todas estas condiciones, a cada teorema de la geometra de Lobatchevsky en el
plano corresponde un hecho verdadero de la geometra de Euclides dento del crculo, y
viceversa: todo hecho de este tipo se puede reinterpretar en forma de un teroema de la
geometra de Lobatchevsky.
Pero an fue ms lejos: dise un modelo para el espacio de esta geometra.
Anlogamente al caso del plano, consider una el interior de una esfera (ver figura 6).
Una recta se interpreta como una cuerda, un plano como
un crculo cuya circunferencia est sobre la esfera; pero la
superficie de la esfera, y por tanto los puntos extremos de las
cuerdas y las circunferencias de esos crculos, se excluyen;
finalmente, un movimiento se define como una transformacin
de la esfera en s misma que transforma cuerdas en cuerdas.
Cuando se dio este modelo de la geometra de
Lobatchevsky se estableci al mismo tiempo que su geometra
tiene un significado real sencillo. La geometra de
Lobatchevsky es vlida porque se puede tomar como
exposicin concreta de la geometra en un crculo o en una
esfera. Al mismo tiempo se prob su carcter no contradictorio: FIGURA 6: La Esfera de Klein
sus resultados no pueden llevar a contradicciones porque cada
uno de ellos se puede trasladar al lenguaje de la geometra euclidiana ordinaria dentro del
crculo (o una esfera si se trata de la geometra de Lobatchevsky en el espacio).

4. Geometra Elptica
La historia de cmo la geometra de Lobatchevsky lleg a ser aceptada es compleja, y este
trabajo no es lugar para entrar en detalles, pero anotaremos los acontecimientos principales. En 1866,
tres aos despus de la muerte de Lobatchevsky, Hoel public una traduccin al francs del
Geometrische Untersuchungen de Lobatchevsky junto con parte de la correspondencia de Gauss
sobre geometra no-eucldea. Beltrami, en 1868, proporcion una realizacin concreta de la geometra
de Lobatchevsky. Weierstrass dio un seminario sobre la geometra de Lobatchevsky en 1870 al que
acudi Klein y dos aos ms adelante, despus de que Klein y Lie hubieran discutido estas nuevas
generalizaciones de la geometra en Pars, Klein dio su visin general de la geometra como las
propiedades invariantes bajo la accin de un grupo de transformaciones en su Erlanger Programm.
Poincar hizo otras dos contribuciones importantes a la geometra de Lobatchevsky en 1882 y 1887.
Tal vez fueran las que finalmente marcaron la aceptacin de las ideas de Lobatchevsky, que en su
momento se veran como pasos vitales a la hora de liberar el pensamiento de los matemticos para
que la teora de la relatividad tuviera un fundamento matemtico natural.
Pero la geometra de Lobatchevsky-Bolyai no fue la
nica que revolucion el campo de las matemticas. Georg
Friedrich Bernhard Riemann (1826-1866), que escribi su
tesis doctoral bajo la supervisin de Gauss, dio una clase
inaugural en la que reformul todo el concepto de la
geometra, que el vea como un espacio con la suficiente
estructura adicional para poder medir cosas como la longitud.
Esta leccin no se public hasta 1868, dos aos despus de
la muerte de Riemann, pero haba de tener una profunda
influencia en el desarrollo de las diferentes geometras.
Riemann trat brevemente una geometra 'esfrica' en la que
cada lnea que pasaba por un punto P exterior a una recta
AB se cruzaba con la recta AB. En esta geometra no
existan las paralelas.
La geometra esfrica fue estudiada por Menelao de
Alejandra alrededor del ao 100 d.C. y por los rabes
alrededor del 1000. Su teorema ms famoso (descubierto por
Albert Girard, un matemtico francs de principios del siglo XVII) afirma que los tres ngulos de un
tringulo esfrico (medidos en radianes) satisfacen la desigualdad A+B+C>, y que el rea de un
tringulo es A+B+C-. El paso gigantesco de extender esta geometra de dos a tres (o ms)
dimensiones lo dieron simultneamente (en la segunda mitad del siglo XIX) Schlfli en Suiza y
Bernhard Riemann en Alemania. Schlfli consider el espacio esfrico tridimensional como la
"superficie" de la "esfera" en el espacio eucldeo cuatridimensional, es decir, la hipersuperficie en la
que las cuatro coordenadas satisfacen la siguiente ecuacin:

Felix Klein, al comenzar el siglo XX, fue el primero en descubrir como se poda remediar la
extraa situacin de la geometra esfrica en la que dos lneas que pasen por un punto, al ser dos
crculos mayores de una esfera, se vuelven a encontrar en un punto antipodal (o el punto de la
superficie que est a la mxima distancia del primer punto). Se dio cuenta de que, al determinar cada
punto un punto antipodal, nada se perda y se ganaba mucho identificando abstractamente cada par
de puntos antipodales; es decir, cambiando el significado del trmino "punto" para llamar punto a cada
uno de esos pares. Otorg el nombre de geometra elptica a esta modificacin de la geometra
esfrica, y el de geometra hiperblica a la creada por Bolyai y Lobatchevsky.

5. Reflexin

La figura del margen izquierdo pretende hacer

comprender el significado real de cada una de las
geometras expuestas con anterioridad. No hay nada
ms intuitivo que un tringulo para observar las
diferencias que engloban estas teoras. Si el axioma
de las paralelas de Euclides es equivalente a que los
ngulos de un tringulo suman dos rectos (
radianes), sus hiptesis contrarias son que la suma
de dichos ngulos son mayores o menores que dos
rectos.

FIGURA 7

FIGURA 8

La figura 8 nos muestra cmo se ha llegado a lo largo de tantos aos a la construccin de

nuevas geometrias igual de consistentes que la euclidiana. Las lneas que unen cada nombre
indican una relacin entre ambos. A saber: Saccheri fue el primero que supuso la hiptesis
contraria al quinto postulado de Euclides. Tanto Lambert como Schweibart y su sobrino
Taurinus leyeron la obra de Saccheri y se vieron influidos por su innovadora metodologa.
Gauss, que ya haba ledo publicaciones de sus tres predecesores, comienza a construir una
geometra adicional y se convence de su trascendencia en el mundo real, en el sentido de que
es totalmente concebible fsica y lgicamente. Gauss mantena una estrecha relacin con dos
amigos suyos, W. Bolyai y M. Barlels, quienes eran padre y profesor en la Universidad de
Kazan de J. Bolyai y Lobatchevsky respectivamente. Adems, Gauss era tutor de la tesis
doctoral de Riemann en la Universidad de Gotinga acerca de su geometra diferencial.

Beltrami dio un modelo real de parte del plano de Lobatchevsky y Riemann estudi y
organiz toda la geometra esfrica al estilo de Lobatchevsky y Bolyai. Klein obtuvo una
fundamentacin fsica y terica de ambas geometras y fue quien les dio el nombre de
geometra hiperblica y elptica.

6. Bibliografa
Kline, M., "El pensamiento matemtico de la Antigedad a nuestros das". Alianza
Universidad. Madrid, 1992. Vol. I y III.
A.D. Aleksandrov, A.N. Kolmogorov, M.A. Laurentiev y otros, "La matemtica: su
contenido, mtodo y significado". Alianza Universidad. Madrid, 1982. Vol 3.
O'Connor y E.F. Robertson, "Non-Euclidean geometry". The Mactutor History of
Mathematics archive. Universidad de San Andrews. Inglaterra, 1996. URL: http://wwwhistory.mcs.st-and.ac.uk/~history/HistTopics/Non-Euclidean_geometry.html
School of Mathematics and Statistics "Posters Index" The Mactutor History of Mathematics
archive. Universidad de San Andrews. Inglaterra, 2000. URL: http://www-groups.dcs.stand.ac.uk/~history/Miscellaneous/Posters.html
O'Connor y E.F. Robertson, "Nikolai Ivanovich Lobachevsky" The Mactutor History of
Mathematics archive. Universidad de San Andrews. Inglaterra, 2000. URL: http://wwwhistory.mcs.st-and.ac.uk/~history/Mathematicians/Lobachevsky.html
Britanica.com Inc, "Non-Euclidean geometry". Enciclopedia Britnica. Inglaterra, 2001.
URL: http://www.britannica.com/eb/article?eu=120779&hook=586516#586516.hook
Britanica.com Inc, "Lobachevsky, Nikolay Ivanovich". Enciclopedia Britnica. Inglaterra,
2001. URL: http://www.britannica.com/eb/article?eu=49824