Mecanica

Geometría euclidiana
La geometría euclidiana (o geometría parabólica)[1] es aquella que estudia las propiedades del plano y el espacio tridimensional. En ocasiones los matemáticos usan el término para englobar geometrías de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia, geometría euclidiana es sinónimo de geometría plana y de geometría clásica.

Fragmento de Loselementos de Euclides, escrito en papiro, hallado en el yacimiento de Oxirrinco (Egipto).
* Desde un punto de vista historiográfico, la geometría euclidiana es aquella geometría que postuló Euclides, en su libro Los elementos, dejando al margen las aportaciones que se hicieron posteriormente —desde Arquímedes hasta Jakob Steiner—.
* Según la contraposición entre método sintético y métodoalgebraico-analítico, la geometría euclidiana sería, precisamente, el estudio por métodos sintéticos de los invariantes de un espacio vectorial real de dimensión 3 dotado de un producto escalar muy concreto (el frecuentemente denominado «producto escalar habitual»).
* Según el programa de Erlangen, la geometría euclidiana sería el estudio de los invariantes de las isometrías en un espacioeuclidiano (espacio vectorial real de dimensión finita, dotado de un producto escalar).[2]
|
Axiomas

Portada de Los elementos de Euclides, publicada en 1570 por Sir Henry Billingsley.
La presentación tradicional de la geometría euclidiana se hace en un formato axiomático. Un sistema axiomático es aquél que, a partir de un cierto número de proposiciones que se presuponen «evidentes»(conocidas como axiomas) y mediante deducciones lógicas, genera nuevas proposiciones cuyo valor de verdad es también lógico.
Postulados
Artículo principal: Postulados de Euclides
Euclides planteó cinco postulados en su sistema:
1. Dados dos puntos se puede trazar una y solo una recta que los une.
2. Cualquier segmento puede prolongarse de manera continua en cualquier sentido.
3. Se puedetrazar una circunferencia con centro en cualquier punto y de cualquier radio.
4. Todos los ángulos rectos son congruentes.
5. Si una recta, al cortar a otras dos, forma ángulos internos menores a dos ángulos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado en el que están los ángulos menores que dos rectos.
Este último postulado, que es conocido como el postuladode 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 geómetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negándolo, surgieron dos nuevas geometrías: la elíptica, también llamadageometría 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 hiperbólica o de Lobachevsky (existen varias rectas paralelas que pasen por un punto exterior a una dada).
Limitaciones
Euclides asumió que todos sus postulados o axiomas eran autoevidentes y por tanto hechos que no requerían demostración. Sinembargo, resultó que el quinto postulado —si bien es compatible con los otro cuatro— en cierto modo es independiente. Es decir, tanto el quinto postulado como la negación del quinto postulado, son compatibles con los otros cuatro postulados. Las geometrías donde el quinto postulado no es válido se llaman geometrías no euclidianas.
Una limitación del trabajo de Euclides fue no reconocer laposibilidad de sistemas geométricos perfectamente consistentes donde el quinto axioma no era válido, es decir, para Euclides y los geómetras posteriores hasta el siglo XVIII pasó inadvertida la posibilidad de geometrías no euclidianas, hasta el trabajo de Nikolái Lobachevski, Gauss y Riemann.
Si bien durante el siglo XIX se consideró que las geometrías no euclidianas se consideraron un artefacto...