De la misma forma que un arquitecto calcula los cimientos precisos para que la torre que desea construir sea lo más esbelta posible, así hacen los matemáticos cuando buscan los axiomas más convenientes para su teoría y, cuantos menos axiomas utilicen, más elegante será el resultado final.
Para convertir el 5º postulado en un teorema, era necesario obtener una demostración, y a ello se dedicaron sin éxito muchos matemáticos a lo largo de varios siglos. Fue a principios del siglo XIX cuando tres matemáticos, Lobachevski en Russia, Gauss en Alemania y Bolyai en Hungría, dieron con un resultado inesperado que arrojó una nueva luz sobre esta cuestión. Trabajaron independientemente unos de otros en la elaboración de modelos geométricos que mantenían los cuatro primeros postulados de Euclides a la vez que negaban el quinto. Esperaban que una geometría en la que se negara que "por un punto exterior a una recta pasa una única paralela", sería una geometría incoherente y llena de contradicciones.
Existen diversas propuestas y tipos de Geometrías no Euclidianas, algunos ejemplos son: Geometría Hiperbólica, Geometría Esférica. Las Geometrías no Euclidianas son muy importantes para el desarrollo de la Física, específicamente en la Astronomía. También es fundamental para conocer el Universo matemático, ampliar el Horizonte de dos y tres dimensiones a un posible Universo de n dimensiones.
Un triángulo en una superficie con forma de una silla de montar (un paraboloide hiperbólico), así como dos rectas paralelas divergentes. Fuente |