Historia de la Geometra Euclidiana

La Geometra Euclidiana es aquella que estudia las propiedades del plano. En ocasiones los matemticos usan el trmino para englobar geometras de dimensiones superiores con propiedades similares. Sin embargo, geometra euclidiana es sinnimo de geometra plana.

 Desde un punto de vista historiogrfico, la geometra euclidiana es aquella geometra que postul Euclides, en su libro "Los elementos", dejando al margen las aportaciones que se hicieron posteriormente desde Arqumedes hasta Steiner.

Axiomas o Postulados
La presentacin tradicional de la geometra euclidiana se hace en un formato axiomtico. Un sistema de axiomas es aquel que, a partir de un cierto nmero de postulados que se presumen verdaderos (conocidos como axiomas) y a travs de operaciones lgicas, genera nuevos postulados cuyo valor de verdad es tambin positivo. Euclides plante cinco postulados en su sistema:

Dados dos puntos se puede trazar una y slo una recta que los une. Cualquier segmento puede prolongarse de forma continua en cualquier sentido. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. Todos los ngulos rectos son iguales.

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 estn los ngulos menores que dos rectos. Este ltimo postulado, que es conocido como el postulado de las paralelas, fue reformulado como: Por un punto exterior a una recta, se puede trazar una nica paralela a la recta dada.

 Este postulado parece menos obvio que los otros cuatro, y muchos gemetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negndolo, surgieron dos nuevas geometras: la elptica, tambin llamada geometra de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperblica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).

Omisiones de Euclides
Alguno de los errores de Euclides fue omitir al menos dos postulados ms: Dos circunferencias cuyos centros estn separados por una distancia menor a la suma de sus radios, se cortan en dos puntos (Euclides lo utiliza en su primera construccin) Dos tringulos con dos lados iguales y los ngulo comprendido tambin iguales, son congruentes (afirmacin equivalente al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explcitamente)