FACULTAD DE MATEMATICAS UNIVERSIDAD DE GUANAJUATO

XX ANIVERSARIO

EL V POSTULADO DE EUCLIDES : Un enfoque histrico o Jorge Albarrn a Universidad de Guanajuato Facultad de Matemticas a albarran@cimat.mx

Euclides (siglo 3 a.C.) Elementos Libro I, Postulados: 1. Una l nea recta puede ser dibujada de cualquier punto a cualquier otro punto. 2. Una l nea recta nita puede ser extendida continuamente en una l nea recta. 3. Un c rculo puede ser dibujado con cualquier centro y cualquier radio. 4. Todos los angulos rectos son iguales. 5. Si una l nea recta cayendo en dos l neas rectas hace los angulos interiores en el mismo lado menos que dos angulos rectos, las l neas rectas, si son extendidas indenidamente, se intersectan en el lado en el cual los angulos son menos que dos angulos rectos.

Elementos de Euclides. Libro I Denicin: Las l o neas rectas paralelas son l neas rectas, las cuales, estando en el mismo plano y siendo extendidas en ambas direcciones indenidamente, no se intersectan en ninguna direccin. o Proposicin 17. La suma de dos angulos en un o tringulo es menos que dos angulos rectos. a Proposicin 28. (En parte.) Si una l o nea recta cayendo en dos l neas rectas hace los angulos interi ores en el mismo lado igual a dos angulos rectos las l neas sern paralelas. a El quinto postulado es usado por primera vez en la proposicin 29 en el Libro I. o

Prculo (410 - 485) o Comentarios sobre el Primer Libro de Euclides. Redenicin de Posidonio: Dos l o neas son paralelas si son equidistantes, i.e. si la distancia de cada punto en la primera l nea a la segunda l nea es la misma. Problema: La denicin asume que existen las o l neas equidistantes. Cr tica de Prculo: Consideremos el ejemplo de o una hiprbola y su as e ntota. Debemos mostrar que no existen l neas rectas asintticas. o

La demostracin de Prculo o o Proposicin: Una l o nea recta que intersecta a una de dos l neas paralelas, intersecta tambin a la otra. e Postulado (Aristteles): La distancia entre dos o l neas que se intersectan puede hacerse tan grande como se quiera extendiendo las l neas lo suciente. (Demostrado por Saccheri, siguiendo los Postulados 1 - 4 de Euclides.)

Problema: Prculo introduce la suposicin de que o o la distancia entre dos l neas paralelas es acotada. Trabajo Arabe en el postulado de las paralelas Ibn al-Haytham (965-1041). Khayyam (siglo 12). ... y muchos muchos otros.
5

Trabajo Europeo en el postulado de las paralelas. Wallis (1616 - 1703). Usa el concepto de escalar guras en lugar del postulado de las paralelas.

F. Bolyai (1775 - 1856). Prueba la siguiente equivalencia al postulado de las paralelas: Cualesquiera tres puntos no colineales determinan un c rculo.

Saccheri (1667 - 1733). Euclides ab omni naevo vindicatus, 1697. Tres hiptesis del cuadriltero de Khayyam: o a 1. La hiptesis del Angulo Recto: o C = D = 1 angulo recto. 2. La hiptesis del Angulo Obtuso: o C = D > 1 angulo recto. 3. La hiptesis del Angulo Agudo: o C = D < 1 angulo recto.

Saccheri intenta demostrar el postulado de Euclides por contradiccin, demostrando que las hiptesis 2 y o o 3 son falsas.

Lambert (1728 - 1777). Theorie der Parallellinien, 1768. Usa el cuadriltero de Ibn al-Haytham con las misa mas hiptesis que Saccheri. o

NACE LA GEOMETRIA NO EUCLIDEANA C.F. Gauss (1777 - 1855). Cartas a sus colegas pero sin publicaciones.

N.I. Lobachevsky (1793 - 1856). On the Principles of Geometry, 1829. Imaginary Geometry, 1835.

J. Bolyai, (1802 - 1860). Correspondencia y resumen en 1825. Trabajo publicado como apndice de un texto de F. e Bolyai, enviado a Gauss, 1831 - 1832. Lobachevsky: Desarrollo de la geometr y anlisis a a de la esfera imaginaria. J. Bolyai: Dependencia del postulado de las paralelas, teoremas absolutos.

Vistas de una Supercie con Curvatura Constante Negativa (por Ana Laura Garc a)

10

FORMALIZACION DE LA GEOMETRIA NO EUCLIDIANA Beltrami (1835 - 1900). Attempt at an interpretation of non-Euclidian geometry, 1868.

Construccin del modelo del disco proyectivo, el primer o modelo de geometr no-Euclidiana en el plano Eua clidiano, el cual da una prueba rigurosa de la consistencia de la geometr de Lobachevsky. a Demostracin de que el plano no-Euclidiano tiene o curvatura constante negativa.

11

REVOLUCION DE LA GEOMETRIA MODERNA Riemann (1826 - 1878) et al.

Desarrollo de la geometr diferencial moderna y de a las suprecies de Riemann. Klein (1849 - 1925).

On the So-called Non-Euclidian Geometry, 1871. Realizacin de las geometr Euclidianas y no-Euclidianas o as como casos especiales de una supercie proyectiva.
12

Erlanger Programme, 1872. Un nuevo paradigma de la geometr Estudiar un esa: pacio geomtrico por medio de las transformaciones e que preservan su estructura geomtrica. e Poincar (1854 - 1912). e

La Thorie des Groupes Fuschiens, 1882. e Sur les Hypoth`ses Fondamentaux de la Gomtrie, e e e 1887. Construccin de los Modelos del Hiperboloide, del o Disco y del Semiplano del plano No-Eucldiano. Generalizacin de la geometr no-Euclidiana a dio a mensiones ms altas. a
13

Teselaciones Euclideanas

Teselaciones No-Euclideanas

(Cortes de M.C. Escher) a

14

LA GENERALIZACION DE LOS POSTULADOS DE LAS PARALELAS Plano Euclidiano (Curvatura Cero). Dada una l nea y un punto que no est en la l e nea, existe una unica l nea a travs del punto que es e paralela a la l nea dada. Esfera (Curvatura Positiva). Dada una l nea y un punto que no est en la l e nea, no existen l neas a travs del punto que sean pae ralelas a la l nea dada. Plano Hiperblico (Curvatura Negativa). o Dada una l nea y un punto que no est en la l e nea, existen innitas l neas a travs del punto, pae ralelas a la l nea dada.

15

Supercie de Curvatura Positiva

Supercie de Curvatura Cero

Supercie de Curvatura Negativa

Supercies de Curvaturas Distintas (por Ana Laura Garc a)

16

LEYES DE LOS SENOS Euclidiana: Sen Sen Sen = = a b c Esfrica: e Sen Sen Sen = = Sen a Sen b Sen c Hiperblica: o Sen Sen Sen = = Senh a Senh b Senh c Universal: Sen Sen Sen = = a b c r=Circunferencia del c rculo de radio r.

17