UNA REVOLUCIN

Como vimos la semana pasada, todos los intentos de demostrar el controvertido V Pos-
tulado de Euclides resultaron fallidos hasta finales del siglo XVIII. Pero en el siguien-
te siglo la matemtica asistir a una de sus primeras revoluciones. Tras ms de
2.000 aos y por primera vez, la indiscutible verdad geomtrica de Euclides dejar paso
a un sistema geomtrico tambin axiomtico, lgicamente impecable pero intuitiva-

MATEMTICA mente difcil de asimilar. El hombre, no sin esfuerzos, tuvo que aceptar que hay otros
mundos posibles y que como dijo Gauss la necesidad fsica de nuestra Geometra Eu-
cldea no puede ser demostrada al menos para la razn humana.
por Lolita Brain

LA INTUICIN DE UN GENIO Y NACI UNA NUEVA GEOMETRA

C C
arl F. Gauss (1777 -1855) no omo en muchas otras
public ningn trabajo definiti- situaciones, la respues-
vo sobre sus ideas acerca de ta definitiva a las inquie-
la Geometra No-Eucldea por tudes de Gauss vinieron
miedo al ridculo, como l mismo simultneamente de dos
dijo. Sin embargo, con slo 17 personas que no tuvieron
aos, le dijo a su amigo Schuma- contacto. Un hngaro,
cher que pensaba que poda Jnos Bolyai, hijo de Wol-
existir una geometra lgica en la fang Bolyai, amigo perso-
que el postulado de las paralelas nal de Gauss, public en
de Euclides no se cumpliera. 1832 el ensayo de 26 pgi-
Pero l continu intentando nas La ciencia del espacio
encontrar una demostracin del absoluto como apndice
famoso postulado que hiciera JNOS BOLYAI de un libro de su padre, en
compatible lo que l entenda 1802 - 1860 el que present lo que l
como la geometra de nuestro llam Geometra Absoluta.
mundo fsico, la eucldea. Desde Lobachevsky, un oficial ruso y rector de la universidad
1799 se tom en serio la imposi- de Kazan, present sus puntos de vista en 1826 al
bilidad de demostrar el V Postulado, y comenz a desarrollar lo que l llam Geometra Antieucldea o departamento de su universidad, pero no fue tomado
Astral. Su conclusin fue que era lgicamente posible esta otra geometra, aun cuando equipado con un realmente en serio. En
teodolito se march a medir los ngulos del tringulo formado por los picos Brocken, Hohehagen e Insel- 1829 public el artculo
o
berg, buscando medidas que confirmaran que en efecto la suma de los ngulos de un tringulo es de 180 . Sobre los fundamentos de
o
Su suma excedi en 14 este valor, pero el propio error del instrumento le impidi concluir nada. la geometra en una revista
de Kazan, por lo que no
tuvieron mucha difusin
hasta que en 1840 public
LA NECESIDAD DE UN MODELO LA PSEUDOESFERA su libro en alemn Investi-
gaciones sobre la teora de
las paralelas. Llam a su

E B
s importante destacar eltrami encontr el modelo en una
que ni Bolyai ni Loba- superficie de dos dimensiones inmer- geometra Geometra Ima-
chevsky probaron que sa en un espacio tridimensional eucl- ginaria. Ambos autores
su nueva geometra era deo. La superficie que cumpla los axio- suponen que el V Postula-
consistente, es decir, que mas era la pseudoesfera. Esta do es falso y, buscando
no contena ninguna con- superficie se obtiene por la rotacin de la una contradiccin que no NIKOLAI IVANOVICH
tradiccin lgica. Pero lo curva tractrix de la que ya te hemos existe, se convencen de
que una nueva teora es
LOBACHEVSKY
cierto es que tampoco hablado. Es una superficie de cur-
nadie hizo lo propio con la vatura constante, como la esfe- posible. 1792 - 1856
teora de Euclides. Los ra, pero negativa, es decir,
cientos de aos de utiliza- se curva hacia dentro.
cin de la geometra del
alejandrino dejaban fuera
QU HAY DE NUEVO EN ESTA GEOMETRA?
de toda sospecha la posi- EUGENIO BELTRAMI

L
a Geometra No-Eucldea coincide comple-
bilidad de que fuera 1835 - 1900
tamente en sus fundamentos con la de Eucli-
inconsistente. La primera
des, excepto en el V Postulado. La hiperbli-
persona que puso en paridad ambas teoras fue el ita-
ca sostiene que por un punto exterior a una
liano Beltrami, quien en 1868 encontr un modelo en
recta se pueden trazar infinitas rectas paralelas.
el que los axiomas de Bolyai-Lobachevsky se satisfa-
Todos los teoremas de Euclides en los que este
can. Encontrado un modelo, la consistencia estaba
quinto axioma no interviene siguen siendo vli-
garantizada. Su modelo fue posteriormente com-
dos en la geometra hiperblica. En cambio, las
pletado por Felix Klein.
proposiciones de Euclides en las que interviene
este postulado no son verdaderas en la geometra
hiperblica. Por ejemplo, ahora los ngulos de un
EL MODELO o
tringulo no miden 180 , el rea de un cuadrado no
es su lado al cuadrado, y un crculo no tiene de
DE POINCAR superficie PI por el cuadrado de su radio.

E
l matemtico y fsico
francs construy un
original modelo para
la Geometra Hiperbli- Modelo de
ca del plano llamado
Modelo de Poincar. Si
consideramos una cir-
JULES HENRI cunferencia C, los pun-
POINCAR tos de ese plano seran
todos los puntos interio-
1854 - 1912 res a dicha circunferen-
cia sin considerar el bor-
de. Las rectas de dicho plano son los arcos
interiores de las circunferencias que cortan perpen-
dicularmente a la circunferencia C y los dimetros
de C. Observa que en este modelo las rectas no son
rectas sino arcos. Pero en l se pueden trazar trin-
gulos, paralelas, hacer simetras, etc. Es un modelo
artificial de geometra en el que no se cumple el V
Postulado de Euclides.
La existencia de estos modelos es una prueba
de la independencia lgica de los axiomas, es
Rectas del
decir, el V Postulado no puede demostrarse a
partir de los otros. Esto no quiere decir que el
Poincar
espacio que nos rodea no sea eucldeo, sino
slo que, desde el punto de vista lgico,
tiene igual coherencia la Geometra
Eucldea que la No-Eucldea.
Nuestra vida cotidiana es
eucldea
pero el
espacio
relati-
vista no.
Infografa y textos: Lolita Brain - www.lolitabrain.com