La Geometra Euclidiana

La geometra Euclidiana es la rama de la matemtica que estudia idealizaciones del

espacio: puntos, rectas, planos, polgonos, poliedros, curvas, superficies, etc., que se
denominan trminos indefinidos o trminos primitivos. Son los postulados o axiomas
los que determinan las relaciones que se tienen entre estos trminos indefinidos y, con
esta informacin se hace geometra, demostrando teoremas, proposiciones, etctera.
En relacin a los postulados ahora podemos decir que no existe a priori un conjunto de
postulados que sea mejor o ms evidente que otro, as como tampoco es mejor
considerar a R como espacio vectorial sobre R que como grupo o campo. Algunos
estudiantes de matemticas razonan sobre la naturaleza de las estructuras de algunos
espacios conocidos, pensando si existe una estructura primitiva. Si en el estudio que
nos proponemos, utilizamos una determinada estructura de R, debemos prefijar como
axiomas sobre los trminos indefinidos que se seleccionan.

Historia
En el principio, la geometra era una coleccin de reglas de uso comn para medir y
construir casas y ciudades. Fue hasta el ao 300 AC que Euclides de Alejandra, en
sus Elementos, ordena y escribe todo ese saber, imprimindole el sello de rigor lgico
que caracteriza y distingue a las matemticas. Se da cuenta de que todo razonamiento
riguroso (o demostracin) debe basarse sobre ciertos principios previamente
establecidos ya sea, a su vez, por demostracin o bien por convencin. Pero a final de
cuentas, este mtodo conduce a la necesidad ineludible de convenir en que ciertos
principios bsicos (postulados o axiomas) son vlidos sin necesidad de demostrarlos,
que estn dados y son incontrovertibles para poder construir sobre ellos el resto de la
teora. Lo que hoy se conoce como Geometra Euclidiana, y hasta hace dos siglos
simplemente como Geometra, est basada sobre los cinco postulados de Euclides:

I Por cualesquiera dos puntos, se puede trazar el segmento de recta que los

une.
II Dados un punto y una distancia, se puede trazar el crculo de centro el punto

y radio la distancia.
III Un segmento de recta, se puede extender en ambas direcciones

indefinidamente.
IV Todos los ngulos rectos son iguales.

V Dadas dos rectas y una tercera que las corta, si los ngulos internos de un
lado suman menos de dos ngulos rectos, entonces las dos rectas se cortan y
lo hacen de ese lado.

Obsrvese que en estos postulados se describe el comportamiento y la relacin entre

ciertos elementos bsicos de la geometra, como son punto, trazar, segmento,
distancia, etc. De alguna manera, se le d la vuelta a su definicin haciendo uso de
la nocin intuitiva que se tiene de ellos y haciendo explicitas ciertas relaciones bsicas
que deben cumplir.
De estos postulados o axiomas, el quinto es el ms famoso pues se crea que podra
deducirse de los otros. Es ms sofisticado, y entonces se pens que deba ser un
Teorema, es decir, ser demostrable. De hecho, un problema muy famoso fu ese:
demostrar el quinto postulado usando unicamente a los otros cuatro. Y muchsimas
generaciones de matemticos lo atacaron sin exito. No es sino hasta el siglo XIX, y
para la sorpresa de todos, que se demuestra que no se puede demostrar; que
efectivamente hay que suponerlo como axioma, pues negaciones de l dan origen a
nuevas geometras, tan lgicas y bien fundamentadas como la euclidiana.

Nociones Comunes de Euclides

Euclides presenta las siguientes propiedades, a las cuales llama nociones comunes.

Cosas iguales a la misma cosa son tambin iguales entre s.

Si cosas iguales se aaden a cosas iguales, los totales son iguales tambin.
Si iguales se restan de iguales, los restos son iguales.
Cosas que coinciden con una tercera son iguales entre s.
El todo es mayor que cualquiera de sus partes.

Es importante mencionar que en algunos contextos la nocin comn 5 no se cumple,

por ejemplo:
Galileo (Pisa, 15 de febrero de 1564 - Florencia, 8 de enero de 1642) se percat de
que de todos los nmeros naturales N = {1, 2, 3, . . .}, algunos tienen la propiedad de
ser un cuadrado perfecto {1, 4, 9, . . .} mientras que otros no lo son.
Por ello, el conjunto de todos los nmeros en N, incluyendotanto a los cuadrados como
a los no cuadrados, debera sermayor que el conjunto de los cuadrados. Sin embargo,
por cada cuadrado hay exactamente un nmero natural que es su raz cuadrada, y por

cada nmero natural hay exactamente un cuadrado. As pues, no puede haber ms de

un tipo que de otro. En cuanto a nmero de elementos, N y {1, 4, 9, . . .} son iguales.
Ntese que se trata de conjuntos infinitos.

Postulados
Empezaremos por recalcar que el que los postulados de Euclides estuvieran
incompletos y que algunas demostraciones estuvieran incorrectas no demerita el
trabajo realizado por este gran matemtico griego. Adems, en los textos modernos ya
no se hace diferencia entre las nociones de Axioma y Postulado; ambos se consideran
sinnimos.
Los 5 postulados o axiomas de Euclides resultan muy conocidos, y cumplen las
propiedades que ahora se sabe debe cumplir cualquier sistema axiomtico. El proceso
histrico de reconocimiento de la independencia en particular del V Postulado dur 22
siglos. Fue hasta el siglo XIX cuando con los trabajos de los distinguidos matemticos
Bolyai, Gauss y Lobachevsky, finalmente se demostr que el V postulado, tambin
conocido como Postulado de las Paralelas, es independiente de los 4 primeros
postulados.
Despus de estos descubrimientos, Hilbert realiz una reformulacin de la geometra
euclidiana, completando los axiomas y cambiando algunas demostraciones que
estaban incorrectas. Posteriormente Birkhoff dio una formulacin en trminos de
mtrica que parece ser ms natural para los estudiantes de esta poca.