Beruflich Dokumente
Kultur Dokumente
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
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 La existencia de estos modelos es una prueba
francs construy un de la independencia lgica de los axiomas, es
original modelo para Rectas del
decir, el V Postulado no puede demostrarse a
la Geometra Hiperbli- Modelo de
partir de los otros. Esto no quiere decir que el
ca del plano llamado Poincar
espacio que nos rodea no sea eucldeo, sino
Modelo de Poincar. Si slo que, desde el punto de vista lgico,
consideramos una cir- tiene igual coherencia la Geometra
JULES HENRI cunferencia C, los pun- Eucldea que la No-Eucldea.
POINCAR tos de ese plano seran Nuestra vida cotidiana es
todos los puntos interio- eucldea
1854 - 1912 res a dicha circunferen- pero el
cia sin considerar el bor- espacio
de. Las rectas de dicho plano son los arcos relati-
interiores de las circunferencias que cortan perpen- vista no.
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.
Infografa y textos: Lolita Brain - www.lolitabrain.com