UNIVERSIDAD NACIONAL DE PIURA ESCUELA DE POSTGRADO DOCTORADO EN TECNOLOGAS DE LA INFORMACIN Y COMUNICACIN

TEOREMA DE SACCHERI-LEGENDRE
DIANA J. QUINTANA SNCHEZ LUIS V. MEJA ALEMN JUSTO R. ROSILLO VALLADARES MARY E. GARCA PASCO DOUGLAS ALVARADO PAIVA JOS V. ESPINOZA DOMENACK

EUDOXO 408-355 aC

ARQUMIDES 287 212 aC

SACCHERI 1667-1733

LEGENDRE 1752-1833

ARQUMIDES
Con frecuencia considerado en la actualidad como la inteligencia ms aguda de la antigedad, puesto al mismo nivel de Newton, Gauss y Einstein, y situado entre los ms dotados entre los fsicosmatemticos, Arqumides (250 -212 a.C), ya era una leyenda para los comentaristas antiguos. El proyecto fundamental de Arqumides en Geometra se inscribe en la continuidad de los trabajos de Eudoxo: la determinacin de las figuras geomtricas con ayuda del mtodo de exhaucin. Siguiendo el modelo del teorema de Eudoxo sobre el crculo, Arqumides mostr que la superficie de todo crculo es igual a la mitad del producto de su radio por su circunferencia, y que la relacin de la circunferencia con el dimetro de un crculo es ms pequea que 3 1 7 10 pero ms grande que 3 71 .

Del mismo modo, Arqumides muestra que el rea de un segmento de parbola es igual a los 4/3 del tringulo que tiene las mismas altura y base de este segmento (cuadratura sobre la parbola). Como seala el propio Arqumides, este resultado es especialmente interesante en la medida que exhibe por primera vez una figura curva, de la categora del crculo o de las secciones cnicas igual a una figura poligonal.

Para esta demostracin Arqumides enunci un Principio de continuidad especfico que rellena una laguna, encontrada en las demostraciones de Eudoxo: Toda magnitud finita puede, por bisecciones sucesivas, hacerse ms pequea que toda magnitud finita de la misma especie dada previamente.

TEOREMA DE SACCHERI-LEGENDRE LEGENDRE (1752-1833) adopt el enfoque seguido por SACCHERI (1667-1733). Sus intentos de demostracin del quinto postulado, fueron publicados en sucesivas ediciones de su texto de geometra. En la geometra eucldea se demuestra que la suma de los ngulos de cualquier tringulo es igual a dos rectos. La demostracin tradicional emplea el quinto postulado.

Recprocamente, tomando como base tal teorema eucldeo, se puede demostrar el quinto postulado. Es decir, son proposiciones equivalentes desde un punto de vista lgico. Uno delos intentos ms interesantes de LEGENDRE consisti en demostrar la imposibilidad de las hiptesis del ngulo obtuso y del ngulo agudo. Como en el caso de SACCHERI, se requiere del auxilio del principio de continuidad de ARQUMIDES y de la posibilidad de construir un segmento de recta de longitud arbitrariamente grande.

Veamos cmo se descarta la hiptesis del ngulo obtuso: TEOREMA DE SACCHERI-LEGENDRE El objetivo de la demostracin de este teorema es probar que la suma de dos ngulos internos de cualquier tringulo es menor o igual a 180. Este resultado debe estar demostrado en el libro Los Elementos de Saccheri que en verdad estaba tratando de encontrar una igualdad. Proposicin 1: Sea ABC un tringulo. Existe un tringulo AEC tal que la suma de sus ngulos es la misma suma de los ngulos del tringulo ABC y AEC posee un ngulo cuya medida es menor o igual a la mitad de uno de los ngulos del tringulo ABC.

Proposicin 2. La suma de dos ngulos internos de un tringulo es menor que 180

De esta proposicin obtenemos el siguiente resultado. Corolario 1. Todo tringulo posee por lo menos dos ngulos internos agudos. En efecto, caso contrario existira un tringulo con por lo menos dos ngulos obtusos cuya suma sera mayor que 180 Teorema 1. (Saccheri-Legendre) La suma de sus ngulos internos de un tringulo es menor o igual a 180. Demostracin