Quinto postulado de Euclides

Quinto postulado de Euclides

En geometra, el postulado de las paralelas o quinto postulado de Euclides es el postulado nmero cinco del libro Los Elementos (300 a.C.), del matemtico griego Euclides. La geometra euclidiana es el estudio de la geometra que satisface todos los axiomas de Euclides, incluyendo el V postulado, siendo por su importancia, su proposicin distintiva. Una geometra en la que el V postulado no se satisface, recibe el nombre de geometra no euclidiana. La geometra que es independiente del V postulado (i.e. asume los primeros cuatro) es conocida como geometra absoluta.

Enunciado
V postulado de Euclides Postlese... Y que si una recta al incidir sobre dos rectas hace los ngulos internos del mismo lado menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en el que estn los [[ngulos]] menores que dos rectos. Euclides

Formulaciones equivalentes al V postulado

1. La suma de [las medidas de] los ngulos de cualquier tringulo es igual a [la suma de las medidas de] dos ngulos rectos. Elementos, I, 32. (Proposicin ya conocida en tiempos de Aristteles, siglo IVa.C.) 2. Las rectas paralelas son equidistantes (atribuido a Posidonio, siglos I-IIa.C.) 3. Por un punto exterior a una recta Quinto postulado de Euclides: Las rectas, al prolongarse, se intersecan. dada slo cabe trazar una paralela. Esta formulacin es la ms conocida y es debida al matemtico griego Proclo. Se la conoce tambin como postulado de las paralelas (o axioma de Playfair[1]). 4. Dos rectas paralelas guardan entre s una distancia finita. 5. Las rectas no equidistantes convergen en una direccin y divergen en la opuesta (Thbit ibn Qurra, h. 826-901). 6. Todos los puntos equidistantes de una lnea recta, situados a un lado determinado de ella, constituyen una lnea recta (Clavio, 1574). 7. Sobre una recta finita siempre se puede construir un tringulo semejante a un tringulo dado (Wallis, 1663). 8. Existe un par de tringulos no congruentes, pero semejantes (Saccheri, 1733). 9. En todo cuadriltero que contenga tres ngulos rectos, el cuarto ngulo tambin es recto. (Clairaut, 1741). 10. Se puede construir un tringulo cuya rea sea mayor que cualquier rea dada (Gauss, 1799). 11. Dados tres puntos no alineados, siempre ser posible construir un crculo que pase por todos ellos (Legendre, 1824). 12. No hay patrn mtrico absoluto de longitud (Gauss, 1816).

Quinto postulado de Euclides

Axioma o teorema?
Euclides presenta el anunciado como un axioma: su quinto postulado. 1. 2. 3. 4. 5. Postlese el trazar una lnea recta desde un punto cualquiera hasta un punto cualquiera. Y el prolongar continuamente una recta finita en lnea recta. Y el describir un crculo con cualquier centro y distancia. Y el ser todos los ngulos rectos iguales entre s. Y que si una recta al incidir sobre dos rectas hace que la suma de los ngulos internos del mismo lado menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarn en el lado en el que estn los menores que dos rectos.

Al leerlo tal y como lo escribi Euclides y dentro de su contexto, se observa que el V postulado es mucho ms complicado en su formulacin que los otros cuatro. Euclides mismo no se sirve de l en sus primeras 28 proposiciones, como si intuyera o esquivara la problemtica de fondo. El problema es pues si realmente el V postulado es independiente de los otros cuatro, o bien puede deducirse de ellos (junto con las nociones comunes y las definiciones). Durante ms de dos milenios, numerosos gemetras pensaron que esta propiedad debera poder deducirse lgicamente de las otras cuatro, y se dieron a la tarea de tratar de demostrar el axioma de Euclides. [...] la afirmacin de que como convergen ms y ms a medida que se prolongan, llegarn alguna vez a encontrarse, es una afirmacin verosmil pero no es necesaria a falta de un argumento que pruebe que esto es verdad acerca de las lneas rectas. Pues el hecho de que haya algunas lneas que se aproximan indefinidamente pero permanecen sin tocarse, por ms improbable y paradjico que parezca, tambin es cierto y est completamente comprobado en relacin con lneas de otro tipo. Por qu en el caso de las rectas no es posible lo mismo que ocurre con las lneas mentadas? Proclo, Comentarios a los Elementos.

La independencia del V postulado y las geometras no eucldeas

Unos 22 siglos despus de que se escribieran los Elementos por fin se llega a una conclusin: el V postulado es independiente de los otros cuatro. Y se llega a esta respuesta mediante un camino sorprendente. La prueba de la independencia del V postulado lleva implcita la posibilidad de que existan geometras en los que no se cumple este postulado. Dicho de otro modo: desde el punto de vista lgico no hay contradiccin ninguna en suponer que por un punto exterior a una recta puedan pasar ms de una paralela a la recta, o incluso ninguna. Parece difcil comprender esta afirmacin, puesto que en la experiencia comn sabemos que (excepto errores de dibujo), el V postulado es cierto. Para comprenderlo debemos hacer un esfuerzo de abstraccin por intentar olvidar nuestro significado intuitivo de qu es una recta y acudir nicamente a las definiciones de Euclides. Una lnea es una longitud sin ancho (Elementos, Libro I, Definiciones, 2); Una lnea recta es aquella que yace por igual respecto de los puntos que estn en ella (Elementos, Libro I, Definiciones, 4); Una superficie es lo que slo tiene longitud y anchura (Elementos, Libro I, Definiciones, 5); Unas superficie plana es aquella que yace por igual respecto de las lneas que estn en ellas (Elementos, Libro I, Definiciones, 7); Son rectas paralelas las que estando en el mismo plano y siendo prolongadas indefinidamente en ambos sentidos, no se encuentran una a otra en ninguno de ellos (Elementos, Libro I, Definiciones, 23); Postlese el trazar una lnea recta desde un punto cualquiera hasta un punto cualquiera (Elementos, Libro I, Postulados, 1). De todas formas, dado que es ms sencillo para nuestro propsito, consideraremos la definicin dada por Arqumedes en "Sobre la esfera y el cilindro": la recta es la ms corta de todas las lneas que tienen los mismos

Quinto postulado de Euclides extremos. Ahora bien, excepto porque tenemos una nocin de recta y de plano que nos permiten comprobar que esas nociones encajan en las definiciones dadas, stas son demasiado difusas desde el punto de vista lgico como para considerar que no puedan ser vlidas otras interpretaciones. Por ejemplo, si consideramos una superficie esfrica y le damos la denominacin de plano, encaja perfectamente en las definiciones de plano. En este caso, una recta debera de ser (en virtud de lo dicho, en especial de la propiedad de ser la lnea ms corta) el trozo de circunferencia mxima (es decir, una circunferencia que pasa por dos puntos diametralmente opuestos de la superficie esfrica) que pasa por dos puntos dados. En tal situacin, por un punto exterior a una recta no pasara ninguna recta paralela a la dada.

La aparicin de las geometras no eucldeas

En el siglo XIX se da conclusin al problema de la independencia del V postulado. Lo hacen de manera independiente Bolyai y Lobachevsky, aunque Gauss ya haba resuelto el problema con anterioridad (eso s, no haba publicado sus resultados, y la paternidad del descubrimiento fue para los otros dos gemetras). La idea es muy simple: en Matemtica no est permitido llegar a una contradiccin, es decir, obtener un resultado que sea exactamente la negacin de otro resultado. No puede obtenerse que partiendo de las mismas hiptesis sea cierto, a la vez, que (por ejemplo) dos rectas se corten y que esas dos mismas rectas no se corten. Se llegara a la conclusin de que (de no haber cometido errores de razonamiento, claro) alguna de las hiptesis ha de ser falsa. La idea que dio solucin al problema es la siguiente: si el V postulado depende de los otros cuatro, es que no nos hace falta incluirlo entre nuestras hiptesis (postulados). As que en el desarrollo de la teora, tarde o temprano, aparecer en forma de teorema. Ahora bien, si eliminamos dicho postulado y le aadimos su negacin, de ser cierto que el postulado V depende de los otros, llegaremos a demostrarlo, y con ello tendremos que tanto una proposicin (el V postulado) como su contraria (la negacin del V postulado que ahora lo sustituye) son ciertas. Habremos pues llegado a una contradiccin, algo que no es admisible. Alguna de las hiptesis tiene que ser falsa, y esta ha de ser la nueva que se ha introducido, pues es la nica que choca contra nuestra intuicin (las dems sabemos que son ciertas porque ya lo eran en la geometra de Euclides). En contra de lo que pudiera pensarse, con este mtodo no se lleg a contradiccin alguna. Es ms, se lleg a demostrar que las geometras as obtenidas por Bolyai y por Lobachevsky eran consistentes (lo que quiere decir que no contenan contradiccin lgica ninguna). Adems hay diferentes formas de negar el V postulado (por un punto exterior a una recta no pasa una nica recta paralela a la misma) y as diferentes geometras no eucldeas: por ejemplo, si decimos que no pasa ninguna recta, se obtiene la geometra esfrica, que ya hemos presentado, y si decimos que pasan infinitas se obtiene la geometra hiperblica, la de Lobachevsky.

El V postulado y la investigacin geomtrica actual

En la actualidad, la Geometra utiliza mtodos distintos al sinttico (establecer una serie de axiomas y deducir de ellos las propiedades geomtricas del objeto a estudiar), que han sido sustituidos por mtodos topolgicos, analticos y algebraicos. Cuando se estudia un espacio, ya no resulta "interesante" saber, si cumple, o no, el V postulado de Euclides (aunque normalmente es un resultado que se obtiene fcilmente como consecuencia del estudio de otras propiedades ms interesantes en la actualidad, como es la de calcular el tensor curvatura del espacio en cuestin -indirectamente esto nos confirmar, o no, si el espacio cumple con el V postulado). La cuestin sobre el V postulado qued relegada a un problema histrico, que contribuy enormemente al desarrollo de la Geometra, pero que actualmente parece ya no seguir contribuyendo en ese sentido, y es tomado como un tema introductorio en el estudio de la geometra.

Quinto postulado de Euclides

Notas y referencias
[1] Euclid's Parallel Postulate and Playfair's Axiom (http:/ / aleph0. clarku. edu/ ~djoyce/ java/ elements/ bookI/ propI30. html)

Weisstein, Eric W. de Euclides.html EuclidsPostulates (http://mathworld.wolfram.com/Postulados) (en ingls). MathWorld. Wolfram Research.

Enlaces externos
Elementos (http://www.euclides.org/menu/elements_esp/indiceeuclides.htm) de Euclides.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Quinto postulado de Euclides Fuente: http://es.wikipedia.org/w/index.php?oldid=70023904 Contribuyentes: 3coma14, Acratta, Alvarogonzalezsotillo, David0811, Diegusjaimes, Eanur, Farisori, Federico Uicich, Gerkijel, GermanX, Gerwoman, Gorpik, Heliocrono, JMCC1, Jerowiki, Jorge c2010, Juan Mayordomo, Julin Sanz Pascual, Luis Felipe Schenone, Maldoror, Pablotll, Pino, Plux, Tano4595, Tirithel, Wewe, Wikisilki, 44 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:V postulato di euclide anim.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:V_postulato_di_euclide_anim.gif Licencia: GNU Free Documentation License Contribuyentes: Win Original uploader was Win at it.wikipedia

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/