El quinto postulado de Euclides era un poco más complicado, decía algo así como:

angulos1“Si una recta al cortar a otras dos forma ángulos internos menores a un ángulo recto,
esas dos rectas prolongadas indefinidamente se cortan del lado en el que están los ángulos
menores que dos rectos.”

Que puede hacerse equivalente a una forma más sencilla:

“Por un punto exterior a una recta, se puede trazar una única paralela a la recta dada.”

A primera vista esto es evidente, pero durante siglos se mantuvo una pregunta en el aire: ¿era el
quinto postulado realmente una verdad evidente (un axioma) o podía ser deducido del resto de
postulados previos? Sin embargo a lo largo de los siglos los intentos de demostración no
tuvieron éxito.

Todo parecía indicar que el quinto postulado era un axioma no deducible de otros axiomas
euclideos. Un axioma es por definición indemostrable, es una verdad dada a priori a partir de la
cual construimos el resto del “castillo” matemático. Sin embargo, la indemostrabilidad del quinto
postulado no era tan fácil de aceptar. Parecía indicar la imposibilidad de demostrar que dos
rectas paralelas (según la definición del quinto postulado) no se cortarían nunca. Esto recuerda
al problema metafísico del infinito. ¿Cómo podemos demostrar que las rectas nunca se cortarán
en su prolongación infinita? Una cosa es la intuición que podamos tener y otra el problema de la
demostración matemática formal.

geosphere4El gran genio matemático Gauss le dio la vuelta al problema pensando que podrían
existir geometrías donde el quinto postulado no fuera cierto. Hasta aquella fecha, incluyendo la
época de Gauss, pensar en otro tipo de geometrías no tenía sentido. La geometría euclidea era
la unica verdadera. Se podían construir rectas paralelas a otras siguiendo la definición del quinto
postulado. Pero Gauss pensaba en la esfera (a la sazón trabajó como topógrafo) y en la
posibilidad de una geometría esférica que cumplía todos los axiomas euclideos menos el quinto
postulado.
La geometría esférica era consistente con los cuatro axiomas previos de Euclides, y sin embargo
no se podía crear ninguna recta paralela a otra (las rectas en este caso son las geodésicas). Gauss
no publicó sus resultados por ser demasiado extravagantes para la época según su propio
criterio.

geometriasEl salto definitivo se produjo en el siglo XIX con el desarrollo formal de las geometrías
no-euclideas que negaban el quinto postulado. De esta manera se generalizó el asunto con la
geometría elíptica desarrollada por Riemann, y la geometría hiperbólica desarrollada por
Lobachevsky (entre otros).