GEOMETRAS NO EUCLIDIANAS

Por Silvia Sokolovsky [http://soko.com.ar/matem/geom_no_eu.htm]

Extractado y corregido por Roberto Biraghi

Los conceptos primitivos geomtricos (punto, recta, plano) han surgido a partir de la
necesidad de medir distancias, superficies y volmenes.
En civilizaciones antiguas (como las de Egipto, Asiria, India, etc.) ya se conocan las
principales figuras geomtricas y la nocin de ngulo. Pero fue en la antigua Grecia
(siglos VI y III a.C. principalmente) donde tuvo su principal desarrollo. En Alejandra, entre
los aos 325 y 265 a.C., vivi un hombre que sistematiz y ampli los conocimientos
geomtricos hasta entonces conocidos. Si bien en su poca pas desapercibido (junto a
su obra) estableci, bajo la forma axiomtica, las relaciones entre los conceptos primitivos
y sus principales propiedades. De l hoy conocemos slo su nombre, Euclides, y que
escribi en trece libros denominados Stoikheia (elementos), los axiomas y los teoremas
deducidos de ellos. Desgraciadamente no ha llegado hasta nosotros toda esta
bibliografa, sabemos de la existencia de ellos a travs de los comentarios que se han
hecho posteriormente.
En el primer libro de Euclides se enuncian los postulados que relacionan a los conceptos
primitivos entre s y sus principales propiedades. De ellos, slo nos interesan los cinco
primeros:
I)

Trazar una recta de un punto cualquiera a otro (lo que equivale a decir, por dos
puntos slo pasa una recta).

II) Prolongar por continuidad en lnea recta una lnea limitada.

III) Describir el crculo con centro y radio dado.
IV) Todos los ngulos rectos son iguales.
V) Si una recta al intersecar a dos rectas en un plano, forman ngulos internos sobre
un mismo lado (ngulos conjugados internos) cuya suma sea menor que dos
rectos; entonces las rectas, si se prolongan indefinidamente, se encontrarn del
lado sobre el cual la suma sea menor que la de dos rectos.

LA NEGACIN DEL QUINTO POSTULADO

De los cinco postulados del sistema euclidiano, los cuatro primeros son ms o menos
evidentes, pero el quinto llama la atencin por su mayor complejidad y por carecer de la
evidencia intuitiva de que gozan los dems.
Este postulado fue motivo de discusin casi desde su formulacin. Probablemente al
propio Euclides le molestara esta deficiencia por lo que evita utilizarlo lo ms posible.
1

Este esfuerzo de Euclides por evitar su uso y construir su geometra casi con
independencia del mismo justifica la muy repetida frase de que Euclides fue el primer
gemetra no euclidiano.
La primera idea que prevaleci por ms de veinte siglos fue la de querer demostrar este
postulado en base a los otros. Los sucesivos ensayos fallidos de demostracin no dieron
otro resultado que llevarlo a formas equivalentes aunque, en ciertos casos, con
apariencia muy distinta a la versin original.

CUANDO EL PARALELISMO EQUIVALE AL QUINTO POSTULADO

Una tendencia que aflor repetidas veces fue la de modificar la definicin de rectas
paralelas. Para Euclides eran aquellas que "no se encuentran por ms que se las
prolongue" (def. XXIII, libro I). As el quinto postulado puede enunciarse tambin como:
V1) Si una recta encuentra a una de dos paralelas, encuentra necesariamente a la otra.
V2) Dos rectas paralelas a una tercera son paralelas entre s.
V3) Por un punto exterior a una recta pasa una y slo una paralela a dicha recta.
Esta ltima aseveracin es la ms conocida, la ms comnmente utilizada en la
actualidad en los textos de geometra y se la atribuye usualmente a J. Playfair,
matemtico y gelogo ingls de principios del siglo XIX. Otra orientacin que propone un
nuevo aspecto en la incidencia del postulado es la del jesuita G. Saccheri segn la cual
se demuestra que dicho axioma es equivalente a afirmar que:
V4) La suma de los ngulos interiores de un tringulo es igual a dos rectos.

LAS DISTINTAS GEOMETRAS

Existen tres tipos de geometras que surgen a partir del quinto postulado:
Si se lo acepta:
1) Por un punto exterior a una recta pasa una y slo una recta paralela a ella.
Estamos frente a la geometra euclidiana, la que aprendemos en la escuela (la que
se desarrolla sobre un plano).
Si se lo niega, quedan dos opciones:
2) Por un punto exterior a una recta pasan infinitas rectas paralelas a ella.
Estamos frente a la geometra no euclidiana llamada hiperblica (por ejemplo, la que
se desarrolla sobre un paraboloide hiperblico o silla de montar).
3) Por un punto exterior a una recta no pasa ninguna recta paralela a ella.
Estamos frente a la geometra no euclidiana llamada elptica donde sus rectas son
rectas cerradas llamadas geodsicas (por ejemplo, la que se desarrolla sobre un
elipsoide o globo terrqueo).
Una forma de comprender las diferencias entre las tres geometras se encuentra en la
demostracin de la proposicin segn la cual "la suma de los ngulos interiores de un
tringulo es igual a dos rectos", vlida nicamente en la geometra euclidiana por ser
equivalente al quinto postulado de Euclides. En la geometra elptica la suma de los
ngulos interiores de un tringulo es mayor que dos rectos, mientras que en la geometra
hiperblica es menor.

(a) geometra elptica

(b) geometra euclidiana

(c) geometra hiperblica

LA GUERRA DE LA GEOMETRA
Los clebres Elementos de Euclides, fue el primer intento decisivo de organizar
axiomticamente esta disciplina (y entre las pruebas de su genio, ninguna ms llamativa
que la comprensin de que su notorio quinto postulado no era un teorema sino un axioma
y como tal, era preciso aceptarlo sin demostracin).
A principios del siglo XIX, crecieron los esfuerzos por demostrar el postulado de las
paralelas, adquiriendo un carcter de mana.
El matemtico alemn K. Gauss (1777-1855) fue probablemente quien creyera por
primera vez en la independencia del quinto postulado al aceptar la posibilidad lgica de
que existiera una geometra en la cual se negara al quinto postulado. Pero, por temor a la
incomprensin, no public nada al respecto y sus reflexiones sobre el tema se conocieron
slo a travs de su correspondencia con otros matemticos de la poca.
En 1829 se public el primer trabajo sobre geometra no euclidiana, fue escrito por el
matemtico ruso N. Lobachevsky (1793-1856), pero el desconocimiento del idioma ruso
fuera de la propia Rusia, impidieron que su trabajo llamara particularmente la atencin.
El hngaro Farkas Bolyai (1775-1856) derroch gran parte de su vida tratando de
demostrar el quinto postulado y en su juventud lo analiz no pocas veces con su amigo
alemn K. Gauss. Janos Bolyai (1802-1860), hijo de Farkas, lleg a convencerse muy
pronto de que el quinto postulado, adems de ser indemostrable, era independiente de
los restantes y de su negacin poda crearse un sistema diferente geomtricamente
coherente. La breve obra maestra de Janos apareci como apndice en el libro de su
padre tres aos despus de la publicacin del matemtico ruso.
En ciertos aspectos, la historia del jesuita italiano G. Saccheri (1667-1733) es ms triste
que la anterior. G. Saccheri lleg a construir ambos tipos de geometras, pero sin darse
cuenta: en su intento de encontrar una demostracin para el quinto postulado, lleg
involuntariamente a mostrar su independencia y con esto la existencia de otras
geometras igualmente verdaderas. No obstante, se neg a aceptarlo (quizs por temor,
en una poca donde este tipo de contradicciones se pagaban con la vida)
N. Lobachevsky y Janos Bolyai construyeron una geometra donde, dada una recta
(infinita) y un punto exterior a ella, haba infinitas rectas que pasaban por el punto pero no
cortaban a la recta, o sea, eran paralelas. Haban establecido la negacin del quinto
postulado y su geometra se llamara hiperblica. Un momento importante en la historia
de estas geometras ocurri en 1854 cuando G. Riemann (1826-1866), basndose en los
trabajos de K. Gauss fundament una geometra basada en el concepto de la curvatura.
Las geometras pasarn posteriormente a describirse como casos especiales de la
geometra de Riemann.

APLICACIONES DE LAS GEOMETRAS NO EUCLIDIANAS

Es curioso observar como los creadores de la geometra no euclidiana de la primera
mitad del siglo XIX, a pesar de su obra capital, parecieran alejarse del concepto platnico
que preside los Elementos de Euclides y, retrocediendo, vuelven a considerar la
geometra como una ciencia destinada a medir las cosas de la tierra. En efecto, al
vislumbrar la posibilidad de geometras distintas de la euclidiana, en lugar de adquirir el
convencimiento de que el quinto postulado es indemostrable, y que en consecuencia,
existen otras geometras igualmente verdaderas, mostraron una constante preocupacin
por averiguar, por va experimental, cual era la verdadera geometra, es decir, cual era
la geometra vlida para la naturaleza.
Descripciones no euclidianas del mundo fsico, utilizadas por ejemplo en la teora de la
relatividad y en las investigaciones sobre fenmenos pticos y sobre la propagacin de
ondas, se revelaron bastante adecuadas. Las nuevas geometras colaboraron as mismo
en la interpretacin de modelos representativos de conceptos abstractos muy utilizados
hoy en da en fsica y otras reas de la ciencia, como por ejemplo la estadstica.
Actualmente las geometras no euclidianas aparecen vinculadas a trabajos de
investigacin concernientes a los ms diversos campos de inters de la matemtica, as
por ejemplo: a los sistemas dinmicos, funciones automorfas y la teora de los nmeros.
Su utilidad es muy destacada en el estudio de variedades (superficies) tridimensionales.

BIBLIOGRAFA
SANTAL, Luis; Geometra no euclidiana; Ed. EUDEBA.
BONOLA, Roberto; Geometra no euclidiana, exposicin crtico-histrica de su
desarrollo Ed. Espasa-Calpe Argentina.
DOU, Alberto; Fundamento de la matemtica; Ed. Labor.
RODRIGUEZ COSTA, Sueli y SANTOS, Sandra; Geometra no euclidiana; Revista:
Ciencia Hoy, Vol. 3, N 15, Set-Nov. 1991, pg.34.
THIBAULD, Damour; Relatividad general, el renacimiento; Revista: Mundo
Cientfico, Vol. 7, N 72.
GARDNER, Martn; Juegos Matemgicos: El clebre postulado eucldeo de las
paralelas y sus modernos herederos; Revista: Investigacin y Ciencia, N 63, Dic.
1981, Pg. 122.
DATRI, Edgardo; Geometra y realidad fsica; Ed. Educo; Feb. 1999.