Geometra.

1. Introduccin
2. Resea histrica.
3. Geometra
4. Euclides
5. Los Elementos de Euclides
6. Resea Histrica de la Evolucin de las Geometras no Euclideanas
7. Geometra de Lobatchevsky
8. El significado Real de la Geometra de Lobatchevsky
9. Conclusin
10. Anexos
11. Bibliografa

Introduccin
La geometra fue, primero, la ciencia de la medida de las extensiones (geo = tierra; metrn =
medida). Lo que se aprendi a medir (con los gemetras griegos) fue la extensin de una lnea,
recta o curva; de una superficie limitada por lneas y de un volumen limitado por superficies. Pero
rpidamente la expresin medir adquiri entre los griegos un sentido muy general de "establecer
relaciones". Estas relaciones eran de dos clases:
Relaciones de posicin que se enuncian por proposiciones tales como " La recta D es
paralela a la recta D", " la recta D es tangente al crculo C", etc.
Relaciones mtricas, tales como "el segmento AB es triple del segmento AC", "la relacin
entre la longitud de la circunferencia y su dimetro es un nmero que ninguna fraccin
puede definir", etc.
Para establecer estas relaciones tan numerosas y variadas, los gemetras de la antigedad
pusieron a punto un mtodo que se convertira ms adelante en el mtodo matemtico por
excelencia: la demostracin.
Todo el arte de los gemetras griegos consisti en reunir un conjunto importante de
teoremas enlazados mediante largas cadenas de razones - como dijo Descartes- a algunos
principios primeros. Este "corpus" es la geometra euclidiana.
Precisamente, el valor esttico de la construccin eucldea y la trascendencia intelectual de
su programa consiste en haberse propuesto eslabonar el conjunto de axiomas, definiciones y
razonamientos con arte y perfeccin. En vez del confuso montn de intuiciones y demostraciones
de los gemetras anteriores, Euclides seleccionaba unos pocos conceptos fundamentales y unas
pocas relaciones entre estos conceptos, enunciadas explcitamente, para, desde aqu, pasar a la
creacin de nuevos conceptos y al descubrimiento de nuevas relaciones entre ellos.
La geometra de Euclides, la geometra de Descartes, la geometra de Riemann o la de
Lovachevski, etc., son unas teoras deductivas. Los entes de los cuales tratan se llaman figuras y
podemos dar de ellas diversas imgenes que nos permiten comunicar con nuestros semejantes.
Estas imgenes pueden ser smbolos figurativos, ecuaciones, etc.
La Geometra no eucldea: Geometra para la que no es vlido el axioma de paralelismo de
Euclides (quinto postulados de Euclides).
La Geometra hiperblica: Geometra no eucldea en la cual el postulado de las paralelas
se sustituye por otro segn el cual desde un punto exterior a una recta se pueden trazar al
menos dos paralelas a ella, las cuales separan a todas las rectas que pasan por el punto
en dos clases. Una, la de las que cortan a la recta dada y otra, la de las que no tienen
puntos comunes con esa recta.
La Geometra elptica: Geometra no eucldea en la cual el quinto se sustituye por otro el
cual desde un punto exterior a una recta no se puede trazar ninguna recta paralela a ella.
La Geometra proyectiva: Geometra cuyos objetos son los espacios proyectivos y sus
aplicaciones propias, las proyectividades.

1
Resea histrica.
Es importante, antes de emprender un estudio de la geometra Euclidiana, revisar algunos
antecedentes histricos que nos permita tener una visin general de su desarrollo. Tanto Proclos,
como Herodoto, consignan en sus escritos que la geometra tuvo sus orgenes en Egipto con la
medicin de reas, ya que el ro Nlo, al desbordarse, borraba las seales que limitaban los
terrenos de los agricultores. Segn resea el historiador Herodoto, en tiempos de Ramses II (1300
A. C.) la tierra del valle del Nilo se distribua en terrenos rectangulares iguales por los cuales se
deba pagar un impuesto anual, pero cuando el ro invada los terrenos, el agricultor tena que
avisar al rey lo sucedido, enviando ste a su vez a un supervisor que meda la parte en que se
haba reducido el terreno para que pagara sobre lo que quedaba, en proporcin a impuesto que se
haba fijado. Precisamente, la palabra Geometra significa medicin de tierra. Afirma Herodto
que habindose originado la geometra en Egipto, pas despus a Grecia. Hay evidencias
histricas, tambin, de aplicaciones, geomtricas, algunos miles de aos antes de nuestra era en
regiones tales como Mesopotamia, (comprendida entre los ros Tgris y Eufrates) y algunas
regiones del centro, sur y este de Asia, en las cuales se desarrollaron grandes obras de ingeniera
en la construccin de edificios y sistemas de canalizacin y drenaje. Los babilonios (Mesopotamia),
haban desarrollado la aritmtica a muy buen nivel, permitindoles hacer clculos astronmicos y
mercantiles. Conocan reglas (2000 - 1600 A. C.) para calcular el rea de tringulos, rectngulos,
trapezoides, volumen de paraleleppedos rectangulares, volumen de prisma recto, volumen de
cilindro circular recto, del rea del crculo (con aproximacin 71= 3). Hay vestigios de que en esa
poca era tambin conocido el teorema de Pitgoras. La geometra babilnica y egipcia, como
podemos apreciar era eminentemente prctica. Se le utilizaba para resolver una serie de
problemas de la vida cotidiana y no como una disciplina especial, metdica. A La matemtica
prehelnica se, le vea como una coleccin de reglas para hacer clculos que les permita
obtener resultados satisfactorios para las necesidades de la poca. Alcanzaron un gran
desarrollo de, la habilidad operatoria, pero sin que se presentara un slo caso de razonamiento
deductivo, como se present posteriormente en la etapa griega. Las relaciones matemticas de los
babilonios y egipcios fueron esencialmente formuladas, mediante el mtodo de experimentacin y
error, de manera emprica, de ah que muchas de ellas eran definitivamente errneas.
Cualquiera que sea la conexin entre las matemticas griegas y las de oriente, los griegos
trasformaron la geometra en algo muy diferente del conjunto de conclusiones empricas que
usaron sus predecesores. Los griegos, propusieron que los hechos matemticos deben ser
establecidos por razonamientos deductivos. Las conclusiones matemticas deben ser confirmadas
mediante una demostracin lgica, no por experimentacin. No se sabe con certeza por qu los
griegos decidieron alrededor de 600 A. C. abandonar el mtodo emprico de obtener conocimientos
matemticos y adoptar el de razonamiento deductivo. Tal vez una de las causas sea su estructura
social, pues los filsofos, artistas y matemticos pertenecan a una clase social privilegiada que
desdeaban los trabajos manuales y las ocupaciones prcticas que eran desempeadas por las
clase ms bajas, lo cual permita a las clases privilegiadas dedicar tiempo a pensar, pues por aquel
tiempo los griegos eran muy dados a hacer grandes teoras para explicar el mundo. De hecho no
existen fuentes para el estudio de la geometra griega antigua, la nica fuente de que se dispone,
de tal poca, es la obra de Proclo, conocida con el nombre de sumario de Eudemo, escrita en el
siglo V D. C., y en la cual se esboza de manera muy breve el desarrollo de la geometra, desde la
antigedad hasta Euclides. El sumario de Eudemo debe su nombre a que est basado en una serie
de trabajos escritos por Eudemo, discpulo de Aristteles. Segn lo relaciona el sumario de
Eudemo, la geometra demostrativa se inicia en 600 a. c. con Tales de Mileto, comerciante
originario de Mileto, en la costa de Asia Menor. Conocido como uno de los siete hombres sabios
de la antigedad, tambin se dedico a la filosofa, matemtica, astronoma y poltica,
frecuentemente se le llama el padre de la geometra demostrativa, pues aplic a sus trabajos los
procedimientos del razonamiento deductivo. A Tales se le acreditan los siguientes resultados,
geomtricos:
Un dimetro biseca un crculo.
Los ngulos a la base de un tringulo issceles son iguales.

2
 Los ngulos opuestos formados por dos rectas que se intersecan son iguales.
Dos tringulos son congruentes si tienen un lado y dos ngulos iguales.
El ngulo inscrito en un semicrculo es ngulo recto (los babilonios conocan esto 1400 a
los antes).
El siguiente matemtico griego famoso en el sumario de Eudemo es Pitgoras, nacido
aproximadamente en el ao 572 a. c. en la isla de Samos, isla del mar Egeo, cercano a la ciudad
de Mileto. Pitgoras, 50 aos ms joven que tales, razn por la cual se cree que fue discpulo de
ste, es famoso no solo por el teorema que lleva su nombre, sino por sus estudios de msica y
sobre todo por haber fundado en el puerto de Crotona, al sur de Italia, la famosa escuela Pitagrica
para el estudio de la filosofa, la msica, la matemtica y las ciencias naturales y a la cual se le
atribuye la prctica de ritos secretos. Parece ser que con el transcurso del tiempo, sus estudios
derivaron tambin hacia la poltica, lo cual, hizo que finalmente se desbandaran. La contribucin de
los pitagricos a la geometra fue, entre otras, el teorema que demuestra que la suma de los
ngulos interiores de un tringulo es igual a dos ngulos rectos, al cual se lleg a travs de los
conocimientos que obtuvieron de las paralelas; propiedad de las figuras semejantes, as como una
serie de estudios sobre reas y volmenes. Los pitagricos proporcionaron a la geometra, sobre
todo, un gran avance en el aspecto del desarrollo deductivo de la matemtica. Muchos de los
conocimientos geomtricos los plantearon como una cadena de proposiciones sucesivas basadas
en unas cuantas suposiciones iniciales y unos cuantos axiomas.
Platn (427-347 a. c.), filsofo, fue otro de los personajes que influyeron en el desarrollo de la
matemtica en Grecia, no por sus descubrimientos matemticos, sino porque en su escuela era de
primordial importancia que sus alumnos estudiaran geometra, ya que estaba convencido que la
geometra era un campo de entrenamiento muy importante para la mente, debido a sus elementos
gicos y a la ms pura actitud mental que crea su estudio. A la entrada de la academia coloc un
letrero que deca: que nadie entre si no sabe geometra. Durante el siglo IV a. c., el rey Felipe de
Macedonia emprendi la conquista de Persia, enemigos de los griegos. Felipe fue muerto y
sucedido por Alejandro El Magno. A la muerte de Alejandro El Magno, Egipto qued bajo el mando
de Ptolomeo I, un antiguo general de Alejandro. En ese tiempo, el ao 331 a. c., la capital de Egipto
se estableci en Alejandra y Ptolomeo la concibi como el centro de la gran cultura griega. Fund
en 300 a. c. la Universidad de Alejandra a la cual atrajo, pagando muy buenos salarios, a los ms
notables artistas, filsofos, historiadores, poetas, astrnomos, etc., de la poca que se
desenvolvan en un, ambiente fsico ptimo: atractivo edificio con grandes jardines, laboratorio,
salas de lectura, as como una gran biblioteca con una coleccin de ms de 600,000 obras. El
matemtico ms notable en esa universidad fue Euclides, quin fund precisamente la escuela de
matemticas de Alejandra. No se sabe cual es su fecha de nacimiento y se cree que se educ en
la Escuela Pitagrica de Atenas. Euclides escribi sobre astronoma, msica, ptica y otras
materias, sin embargo, la obra que le di fama universal fueron Los Elementos, trabajo cuya
mayor parte es una coleccin de los trabajos de sus predecesores, resumido en 13 libros o
captulos que incluyen 465 proposiciones, muchas de las cuales no son de geometra sino de
teora de nmeros y de lgebra, escrita como una sola cadena deductiva y que por cientos de
generaciones se ha conservado como un ejemplo de lgica. El Libro I contiene los conceptos
iniciales, as como los teoremas de congruencia, lneas paralelas y figuras, rectilneas. El Libro II
es dedicado al lgebra, el Libro III, al crculo y el IV a la construccin de polgonos regulares. El
Libro V y VI contiene la teora de las proporciones y sus aplicaciones a la geometra. Los Libros VII,
VIII y IX contienen teora de nmeros. El Libro X es dedicado a la teora de los irracionales y los
ltimos tres a la geometras liba, Ningn tratado ha causado un impacto tan grande sobre las
matemticas como Los Elementos, es la obra cientfica que ms se ha editado, analizado,
traducido y estudiado en el mundo. Uno de sus mximos mritos es la seleccin y disposicin
sistemtica de los teoremas en un orden meticulosamente lgico, procediendo paso a paso,
teorema por teorema, desde las proposiciones ms simples, hasta las ms complejas,
establecindose como un modelo de razonamiento, llamado razonamiento deductivo. Es lgico
pensar que no todos los trabajos eran ajenos, Euclides tuvo que hacer un buen nmero de
demostraciones y perfeccionar otras para dar a la obra una secuencia tal, que se viera como un

3
todo. Es lgico pensar que no todos los trabajos eran ajenos, Euclides tuvo que hacer un buen
nmero de demostraciones y perfeccionar otras para dar a la obra una secuencia, que se viera
como un todo. Despus de Euclides, el matemtico de ms renombre fue Arqumedes de Siracusa
(287 - 212 a. c.). Despus de estudiar en Alejandra, regres a Sicilia lugar donde escribi tres
obras sobre geometra plana: Medidas de una circunferencia, Cuadratura de la parbola y
Sobre espirales, que son ejemplos de rigor en las demostraciones. Tambin dej escritos sobre
la esfera, el cilindro, conos, as como estudios sobre mecnica y aritmtica. El tercer matemtico
de la antigedad fue Apolonio, quin naci en el ao 262 a. c., en Perga, al sur de Asia Menor; 25
ms joven que Arqumedes, estudi en Alejandra, donde muri alrededor del ao 200 a. c.,
Apolonio adquiri reputacin entre sus contemporneos como el ms grande gemetra debido a
su magnfica obra Secciones cnicas, el ltimo de los trabajos de la matemtica griega
considerada como una obra maestra. Escrita en ocho libros, contiene el estudio ms acabado
sobre el tema. La poca de oro de la matemtica griega llega a su fin con la muerte de Apolonio.
Pocas contribuciones geomtricas se hicieron despus de estos grandes matemticos. Hern (125
d. c.) calcul el rea del tringulo en funcin de sus lados.
Menelao (98 d. c.) y Claudio Ptolomeo (168 d. c.) pusieron las bases de la trigonometra.
Ptolomeo aplic la trigonometra a la astronoma, su obra mxima es Almagesto, una obra que
es a la astronoma lo que Los elementos es a la geometra. Pappus (s IV) calcula las superficies
generadas por una lnea que gira alrededor de un eje situado en un plano y de volmenes que se
generan cuando se hace girar una superficie alrededor de un plano. La gran civilizacin griega que
se haba desarrollado en, Mesopotamia, en Egipto y en Grecia, fue paulatinamente destruida al ser
conquistada por lo\ romanos, primeramente Grecia en el ao 146 a. c. y finalmente Egipto en el
ao 30 a. c. El ltimo aliento de la civilizacin griega se extingui con la conquista de Egipto por los
rabes, comandados por Omar en el ao 640 d. c. iniciando as la cada del imperio romano y el
inicio de una poca conocida como la edad del oscurantismo de Europa, por su decadencia de
productividad cientfica y cultural, que dur hasta el siglo XII d. c. Desde el ao 200 hasta el ao
1200 d. c. los hindes, influenciados de alguna manera por los griegos, haban hecho varias
contribuciones a la aritmtica y al lgebra. Los rabes, que a estas alturas haban extendido sus
dominios sobre todas las tierras que bordean el Mediterrneo y sobre el Cercano Este agrupaban
muchas razas unidas por la religin mahometana, absorbieron los conocimientos griegos e
hindes. Fue muy importante para la conservacin de la cultura del mundo que los rabes
asimilaran y resguardaran sus conocimientos. Numerosos trabajos hindes y griegos referentes a
astronoma, medicina y matemtica, fueron diligentemente traducidos a la lengua rabe y as se
salvaron hasta que posteriormente los escolares Europeos pudieron traducirlos al latn y a otros
idiomas. En el ao 1482 se imprimi la primera versin de la obra de Euclides. En el ao 1533 se
tradujo el Libro I de Comentarios sobre Euclides, de Proclo. En 1572, se tradujo Los elementos de
Euclides del griego, que sirvi como base para muchas otras traducciones siguientes. Despus del
perodo del renacimiento, inici el perodo que corre hasta nuestros das y que se conoce con el
nombre, de era moderna. Durante esta poca y debido a efervescencia que causaron tantas obras
de los grandes gemetras griegos, los matemticos de la era moderna descubrieron una gran
cantidad de proposiciones, a partir de las sealadas en Los elementos, dando lugar este cmulo de
conocimientos a lo que hoy se conoce como Geometra Moderna.

Geometra
La geometra es la parte de las matemticas que estudia las propiedades y las medidas de las
figuras en el plano o en el espacio.
En el mbito de las matemticas, se distinguen varias clases de geometra:
Geometra algortmica:
Aplicacin del lgebra a la geometra para resolver por medio del clculo ciertos problemas de
la extensin.
Geometra analtica:
Estudio de figuras que utiliza un sistema de coordenadas y los mtodos del anlisis
matemtico.
Geometra del espacio:

4
 Parte de la geometra que considera las figuras cuyos puntos no estn todos en un mismo
plano.
Geometra descriptiva:
Parte de las matemticas que tiene por objeto resolver los problemas de la geometra del
espacio por medio de operaciones efectuadas en un plano y representar en l las figuras de los
slidos.
Geometra plana:
Parte de la geometra que considera las figuras cuyos puntos estn todos en un plano.
Geometra proyectiva:
Rama de la geometra que trata de las proyecciones de las figuras sobre un plano.

Euclides

Biografa
Euclides (en griego , Eukleides) es un matemtico griego, que vivi alrededor del
ao 300 a.C, ~(325 adC) - (265 adC) Escribi los Elementos, una de las obras ms conocidas de la
literatura mundial. En ella se presenta de manera formal, partiendo nicamente de cinco
postulados, el estudio de las propiedades de lneas y planos, crculos y esferas, tringulos y conos,
etc.; es decir, de las formas regulares. Los teoremas que nos ensea Euclides son los que
generalmente aprendemos en la escuela. Por citar algunos de los ms conocidos:

Retrato de Euclides en una estampilla

5
 La suma de los ngulos de cualquier tringulo es 180.
En un tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los
cuadrados de los catetos, que es el famoso teorema de Pitgoras.
La geometra de Euclides, adems de ser un poderoso instrumento de razonamiento deductivo
ha sido extremadamente til en muchos campos del conocimiento, por ejemplo en la fsica, la
astronoma, la qumica y diversas ingenieras. Desde luego es muy til en las matemticas.
Inspirados por la armona de la presentacin de Euclides, en el siglo II se formul la teora
ptolemaica del Universo, segn la cual la Tierra es el centro del Universo, y los planetas, la Luna y
el Sol dan vueltas a su alrededor en lneas perfectas, o sea crculos y combinaciones de crculos.
Sin embargo, las ideas de Euclides constituyen una considerable abstraccin de la realidad. Por
ejemplo, supone que un punto no tiene tamao; que una lnea es un conjunto de puntos que no
tienen ni ancho ni grueso, solamente longitud; que una superficie no tiene ancho, etctera. En vista
de que el punto, de acuerdo con Euclides, no tiene tamao, se le asigna una dimensin nula o de
cero. Una lnea tiene solamente longitud, por lo que adquiere una dimensin igual a uno. Una
superficie no tiene ancho, por lo que tiene dimensin dos. Finalmente, un cuerpo slido, como un
cubo, tiene dimensin tres. De hecho, en la geometra euclidiana las nicas dimensiones posibles
son las que corresponden a los nmeros enteros: 0, 1, 2 y 3.

Los Elementos de Euclides

Los Elementos de Euclides se utilizaron como texto durante 2.000 aos, e incluso hoy, una
versin modificada de sus primeros libros constituye la base de la enseanza de la geometra
plana en las escuelas secundarias. La primera edicin impresa de las obras de Euclides que
apareci en Venecia en 1482, fue una traduccin del rabe al latn.
Durante el reinado del faran helenista Tolomeo I Soter (323-285 a. C.) quien, deseando
modernizar los tratados de geometra existentes, encomend a Euclides escribir una compilacin o
refundicin completa. El resultado fue los "Elementos", en trece volmenes, a los que
posteriormente se aadieron dos ms, atribuidos a Hipsicles de Alejandra. Se cuenta que
Ptolomeo pregunto a Euclides si no hay una manera ms simple de aprender Geometra que
estudiar los "Elementos", a lo que el autor respondi " No existe un camino real hacia la
Geometra".
Al comienzo de cada uno de los libros que componen los Elementos, Euclides presenta unas
definiciones y unas Nociones Comunes relativas a los temas desarrollados.
Tomos de los Elementos
El libro I de los "Elementos" trata sobre rectas paralelas, perpendiculares, y las
propiedades de los lados y ngulos de los tringulos.
El II desarrolla el lgebra geomtrica.
El III estudia las propiedades del crculo y de la circunferencia.
El IV los polgonos inscritos y circunscritos.
El V la teora de las proporciones de Eudoxio.
En el VI aplica dicha teora a la semejanza de tringulos y otros problemas. Los libros VII,
VIII. IX y X estn dedicados a la aritmtica.
El XI estudia la perpendicularidad y el paralelismo de rectas y planos, ngulos diedros y
poliedros, etc.
El XII aplica el mtodo exhaustivo de Eudoxio a diversos problemas geomtricos, como la
equivalencia de pirmides y la semejanza de conos y cilindros.
El XIII estudia los poliedros regulares.
La obra de Euclides no es totalmente original, pues muchos de sus libros estn basados en
gemetras anteriores. Sin embargo, sistematiz todos los conocimientos de su poca, orden las
enseanzas a su manera y demostr los teoremas requeridos por su nueva ordenacin lgica,
basada en el mtodo axiomtico; todo se deduce a partir de cinco axiomas y cinco postulados,
cuya verdad se considera evidente.
Los axiomas son:

6
 Dos cosas iguales a una tercera son iguales entre s.
Si cantidades iguales se suman a cantidades iguales, las sumas son iguales.
Si cantidades iguales se restan de cantidades iguales, las diferencias son iguales.
Dos figuras que coinciden son iguales entre s.
El todo es mayor que cualquiera de sus partes.
Los postulados son:
Es posible trazar una lnea recta entre dos puntos cualesquiera.
Todo segmento puede extenderse indefinidamente en lnea recta.
Un crculo puede tener cualquier centro y cualquier radio.
Todos los ngulos rectos son iguales.
Si una lnea recta corta a otras dos, de tal manera que la suma de los dos ngulos
interiores del mismo lado sea menor que dos rectos, las otras dos rectas se cortan, al
prolongarlas, por ese lado.
Otra forma equivalente, ms conocida de expresar el quinto postulado es: "Por un punto exterior
a una recta no puede trazarse ms que una paralela a ella"
Algunas proposiciones equivalentes al postulado de las paralelas (postulado 5) son:
Playfair: Por un punto exterior a una recta se puede trazar una paralela y slo una.
Proclo: Dos rectas paralelas estn entre si a una distancia finita.
Legendre: Existe un tringulo en el cual la suma de sus tres ngulos vale dos rectos.
Saccheri y Laplace: Existen dos tringulos no congruentes, con los ngulos de uno
respectivamente iguales a los del otro.
Legendre y Lorente: Por un punto cualquiera interior a un ngulo menor que dos tercios de
rectos pasa una recta que corta a ambos lados del ngulo.
Gauss1: Si k es un entero cualquiera, siempre existe un tringulo cuya rea es mayor que
k.
Bolilla: Por tres puntos no alineados pasa siempre una circunferencia.
Entre otros.
Durante mucho tiempo, los gemetras lucharon por demostrarlo a partir de los otros cuatro y de
los cinco axiomas, sin conseguirlo. A partir del siglo XIX surgieron nuevas geometras no
euclidianas que niegan este postulado y lo sustituyen por otros diferentes. Los "Elementos" de
Euclides tuvieron una influencia enorme sobre los matemticos rabes y occidentales,
prcticamente hasta nuestros das. Tambin se le atribuyen otras obras como "ptica", "Datos"
"Sobre las divisiones" "Fenmenos" (sobre Geometra esfrica) y "Elementos de la Msica".

Resea Histrica de la Evolucin de las Geometras no Euclideanas

En 1697 el italiano Giolamo Saccheri 2 abri un gran campo de posibilidades para la resolucin del
problema sobre el quinto postulado. Se podra decir que dio el pistoletazo de salida en una carrera
con muchos obstculos pero con una meta abrumadora. La importancia de su trabajo radica en la
suposicin de que el quinto postulado de Euclides es falso e intentar llegar a una contradiccin.

1
Ver Anexos
2
Ver Anexos

7
 FIGURA 1: El Cuadriltero de Saccheri

Con la FIGURA 1, Saccheri prueba que el ngulo ADC es igual al ngulo BCD. Se hizo la
siguiente pregunta: son ngulos rectos? Supuso que no:
Hiptesis del ngulo obtuso: ADC y BCD son mayores que un recto (es decir, mayores que
90).
Hiptesis del ngulo agudo: ADC y BCD son menores que un recto (menores que 90).
De la hiptesis 1 y del resto de los axiomas pudo deducir que ADC y BCD son ngulos
rectos, con lo que se lleg a una contradiccin. De la hiptesis 2 obtuvo muchos teoremas y
propiedades de una geometra no-euclidiana que se consolidar unos pocos aos despus, pero
sin saber lo que estaba haciendo realmente. Continu hasta llegar al siguiente teorema: "Dado
cualquier punto A y una recta b, con la hiptesis del ngulo agudo existe en el haz (familia) de
rectas que pasan por A dos rectas p y q que dividen el haz en dos partes. La primera de ellas
consiste en las lneas que intersecan a b y la segunda la forman las lneas (que forman un ngulo
) que tienen una perpendicular comn con b en algn sitio a lo largo de b. Las rectas p y q son
asintticas a b".

FIGURA 2: Las rectas de Saccheri

8
De este resultado y una cadena de razonamientos muy extensa demostr que p y b tendran una
perpendicular comn en su punto comn, que est en el infinito. Otra vez nos encontramos con el
infinito! Saccheri afirm que este descubrimiento era totalmente descabellado y, aun sin llegar a
una contradiccin, lo rechaz decidiendo que la hiptesis del ngulo agudo era falsa.
As, slo quedaba suponer que ADC y BCD son ngulos rectos. Saccheri ya haba
demostrado que, en este caso, la suma de los ngulos de cualquier tringulo es 180, y esto
implica la veracidad del quinto postulado.
Nuestro matemtico italiano qued sumamente satisfecho de su logro, pero Klgel (1739-
1812) observ en su disertacin de 1763 que los resultados de Saccheri no conducan a una
contradiccin sino a resultados que parecan estar en contraposicin con la experiencia. Esto
motiv a Lambert (1728-1777) a considerar un cuadriltero con tres ngulos rectos y estudiar la
posibilidad de que el cuarto fuera agudo u obtuso. Dedujo que la hiptesis del ngulo obtuso
originaba propiedades como las que se obtenan para figuras sobre una esfera si se prescinda del
absurdo que provocaba con respecto al quinto postulado, y conjetur que los teoremas que se
deducan bajo la hiptesis del ngulo agudo se verificaban en figuras sobre una esfera de radio
imaginario. Este descubrimiento afirmaba que cualquier conjunto de hiptesis que no conduca a
contradicciones nos ofreca una geometra posible.
F. K. Schweikart (1780-1859), influido por los trabajos de Saccheri y Lambert, hizo una
distincin clara entre dos geometras: la de Euclides y aquella en la que se verificaba que la suma
de los ngulos de un tringulo es distinta a 180. A esta ltima la llam astral porque caba la
posibilidad de que se cumpliera en el espacio de las estrellas.
F. A. Taurinus (1794-1874), un sobrino de Schweikart y seguidor de sus avances en esta
materia, demostr la conjetura de Lambert acerca de la hiptesis del ngulo agudo. Afirmaba que
nicamente la geometra euclidiana poda ser verdadera para el espacio fsico (incluyendo, por
tanto, el de las estrellas) pero que la geometra astral era "lgicamente consistente" (en el sentido
de que no llevaba a ninguna contradiccin).
Con la obra de Lambert, Schweikart y Taurinus el mundo matemtico se convenci de que el
quinto postulado de Euclides no se poda demostrar a partir del resto de los axiomas, es decir, que
es independiente. Adems, cabe subrayar que tambin se demostr que bajo hiptesis
contradictorias se pueden deducir geometras tan consistentes como la de Euclides. Llegados a
este punto deberamos reparar en la problemtica que subyace en todos los descubrimientos de
este periodo determinado de la historia de las matemticas. Es posible modelizar el espacio fsico
con cualquiera de estas geometras? La evidencia de que la geometra eucldea era perfectamente
compatible reinaba en el pensamiento de la poca pero tambin la consistencia de todas aquellas
geometras que se originan a partir de hiptesis contrarias a nuestra protagonista: al axioma de las
paralelas.

FIGURA 3: Resumen de las hiptesis de las geometras

9
 Que las geometras sobre la esfera no respondan a las propiedades del mundo fsico pese a
su carcter no contradictorio segua siendo una creencia bastante arraigada en el seno de la
Matemtica, que todava era euclidiana. El propio D'Alembert llam al problema del axioma de las
paralelas "el escndalo de los elementos de la Geometra".
La primera persona que realmente lleg a comprender este problema fue Gauss (1777-1855).
Comenz su trabajo con tan solo 15 aos y en 1813 todava no haba conseguido grandes
progresos, aunque segua empeado en reducir el axioma de los restantes. Escribi: "En la teora
de las paralelas ni siquiera ahora estamos mucho ms lejos que Euclides. sta es una parte
vergonzosa de las matemticas...".
En 1813 desarroll una nueva geometra. La llam geometra antieucldea, ms adelante
geometra astral y finalmente la bautiz geometra no eucldea. En 1817 Gauss se haba
convencido de que el quinto postulado era independiente y estudi las consecuencias que se
pudieran derivar de su geometra, a saber, aquella en la que se puede trazar ms de una lnea
paralela a una recta dada y que pasa por un punto exterior a sta. Lleg a la conclusin de que era
perfectamente aplicable al espacio fsico.
Todava es un misterio el hecho de que Gauss no publicara sus descubrimientos, aunque en
una de sus cartas lleg a decir que se deba a un miedo a ser malinterpretado. Quienes s
publicaron toda la construccin de esta nueva geometra fueron Lobatchevsky (1793-1856) y Janos
Bolyai3 (1802-1860), hijo de W. F. Bolyai. En el siguiente apartado hablaremos nicamente de la
solucin propuesta por Lobatchevsky, puesto que la de Bolyai es totalmente anloga.

Geometra de Lobatchevsky

Biografa
Nikolai Ivanovich Lobatchevsky estudi en la
Universidad de Kazan. Public por primera vez su
teora sobre el axioma de las paralelas en su obra
Sobre los fundamentos de la geometra en el ao 1829-
1830, pero no fue plenamente aceptada hasta muchos
aos despus. Su trabajo, tanto como el de Bolyai, se ignor hasta aproximadamente 30 aos
despus. El tema atrajo la atencin gracias a que el nombre de Gauss proporcion peso a las
ideas cuando se hizo pblica su correspondencia en 1855 despus de su muerte. Fue en 1868
cuando Beltrami (1835-1900) obtuvo un modelo real donde se verificaban parte de las propiedades
de la geometra de Lobatchevsky y la coloc en el mismo lugar que la eucldea.

3
Ver Anexos

10
 FIGURA 4: Las rectas de Lobatchevsky

Lobatchevsky, como la mayora de sus contemporneos, intent deducir el quinto postulado de

Euclides a partir de los restantes axiomas de esta geometra, al puro estilo de Saccheri.
La esencia de la solucin de este problema la expuso l mismo en su obra Nuevos elementos
de Geometra (1835): "Es bien sabido que, en geometra, la teora de las rectas paralelas ha
permanecido hasta ahora incompleta. Los intiles esfuerzos realizados desde los tiempos de
Euclides a lo largo de dos mil aos me han inducido a sospechar que los conceptos no contienen
la verdad que queramos probar, sino que, al igual que otras leyes fsicas, solamente pueden ser
verificados mediante experimentos, tales como observaciones astronmicas. Convencido por fin de
la verdad de mi conjetura y considerando que este difcil problema est completamente resuelto,
expuse mis argumentos en 1826".
Comenz sus investigaciones suponiendo que por un punto exterior a una recta no pasa una,
sino al menos dos rectas paralelas a la recta dada y desarroll una geometra totalmente
concebible que no lleva a contradiccin alguna. Se puede resumir la solucin de Lobatchevsky al
problema del quinto postulado como sigue: El postulado no puede ser probado.
Obra
Aadiendo a las proposiciones bsicas de la geometra el axioma opuesto se puede
desarrollar una geometra extensa y lgicamente perfecta. La verdad de los resultados de cualquier
geometra lgicamente concebible debe ser desarrollada no slo como un esquema lgico
arbitrario, sino como una teora que abra nuevos caminos y mtodos para las teoras fsicas.
Uno de los resultados ms sorprendentes es el siguiente:

11
 Dada una recta AB y un punto C (ver
FIGURA 4: Las rectas de Lobatchevsky FIGURA 4) todas las rectas que pasan por
C caen dentro de dos clases respecto a
AB, a saber: la clase de las rectas que cortan a AB y la clase de las que no lo hacen. A la ltima
pertenecen las dos rectas p y q que forman la frontera entre las dos clases. Estas dos lneas
fronteras son llamadas las rectas paralelas. El ngulo (a) se llama ngulo de paralelismo. Las
otras rectas que no son paralelas y que pasan por C y las que no cortan a AB son llamadas rectas
que no intersecan, aunque en el sentido de Euclides stas son paralelas a AB y as, en este
sentido, la geometra de Lobatchevsky contiene un nmero infinito de paralelas que pasan por C.
Tambin lleg a establecer la trigonometra no euclidiana, resolucin de tringulos y clculo
de reas y volmenes. Mostr identidades trigonomtricas para tringulos que se mantenan en su
geometra, advirtiendo que a medida que el tringulo se haca ms pequeo las identidades
tendan hacia las identidades trigonomtricas usuales. Con esto y una cadena de razonamientos y
deducciones verdaderamente sorprendentes no slo construy una geometra plena sino que
redujo a la geometra eucldea a un caso lmite y, por tanto, particular.
Todo el trabajo de Lobatchevsky, Bolyai y Gauss y su concepcin acerca de estas nuevas
teoras revolucion los fundamentos de la Matemtica. Aunque fuera lgicamente concebible, no se
poda aplicar al mundo fsico, por lo que esta nueva geometra se vio relegada a puro juego y
deduccin matemtica sin ninguna trascendencia ni real ni social.

12
 El significado Real de la Geometra de Lobatchevsky
Eugenio Beltrami
Biografa
En 1868 el italiano Eugenio Beltrami public Ensayo sobre la interpretacin de la Geometra no
eucldea, que proporcion un modelo para la geometra no-euclidiana de Lobatchevsky dentro de la
geometra eucldea 3-dimensional.

Fotografa de Beltrami
Obra
Consider una curva llamada tractriz (ver FIGURA 5). Una de las propiedades de esta curva es
que la longitud del segmento de tangente comprendido entre el punto de tangencia y el punto de
corte con el eje OY es constante. El eje OY es una asntota. Al girar la curva alrededor de su
asntota se engendra una superficie llamada seudoesfera, representada en la parte derecha de la
FIGURA 5.

FIGURA 5: Tractriz y seudoesfera

Beltrami hizo notar que la geometra intrnseca de la seudoesfera coincide con la geometra sobre
parte del plano de Lobatchevsky. De este modo, esta geometra no euclidiana tiene un perfecto
significado real: no es ms que una exposicin abstracta de la geometra sobre la seudoesfera.
Pero, como hemos mencionado con anterioridad, Beltrami slo estableci una
correspondencia entre la seudoesfera y parte del plano de Lobatchevsky. El problema de dar una
interpretacin real a todo el plano y el espacio quedaba sin solventarse. La solucin fue dada ms
tarde por el matemtico alemn Klein (1849-1925).

13
 Las ideas ms generales del modelo que propuso Klein en 1870 para esta particular
geometra son las siguientes: En un plano usual tomamos el interior de un crculo; un punto se
considera como un punto; una recta, como una cuerda (excluyendo los extremos); un movimiento
se toma como una transformacin que transforma el crculo en s mismo y las cuerdas en cuerdas;
la situacin de los puntos (un punto est sobre una recta; un punto est entre otros dos) se
considera con el sentido usual. La regla para medir longitudes y ngulos (y tambin reas) se
deduce de la forma en que se definen los movimientos; la igualdad de segmentos y ngulos (o de
figuras arbitrarias) tambin se define, y esta misma definicin es aplicable a la operacin de
transportar un segmento a lo largo de otro.
Con todas estas condiciones, a cada teorema de la geometra de Lobatchevsky en el plano
corresponde un hecho verdadero de la geometra de Euclides
dentro del crculo, y viceversa: todo hecho de este tipo se puede
reinterpretar en forma de un teorema de la geometra de
Lobatchevsky.
Pero an fue ms lejos: dise un modelo para el espacio
de esta geometra. Anlogamente al caso del plano, consider
una el interior de una esfera (ver FIGURA 6).
Una recta se interpreta como una cuerda, un plano como un
crculo cuya circunferencia est sobre la esfera; pero la superficie
de la esfera, y por tanto los puntos extremos de las cuerdas y las
circunferencias de esos crculos, se excluyen; finalmente, un
movimiento se define como una transformacin de la esfera en s
misma que transforma cuerdas en cuerdas. FIGURA 6: La Esfera de Klein
Cuando se dio este modelo de la geometra de
Lobatchevsky se estableci al mismo tiempo que su geometra tiene un significado real sencillo. La
geometra de Lobatchevsky es vlida porque se puede tomar como exposicin concreta de la
geometra en un crculo o en una esfera. Al mismo tiempo se prob su carcter no contradictorio:
sus resultados no pueden llevar a contradicciones porque cada uno de ellos se puede trasladar al
lenguaje de la geometra euclidiana ordinaria dentro del crculo (o una esfera si se trata de la
geometra de Lobatchevsky en el espacio).

14
 Geometra de Riemann.

Biografa
Riemann (1826-1866) Naci: 17 de Septiembre 1826 en Breselenz, Hannover (Ahora
Alemania), Falleci: 20 de Julio 1866 en Selasca, Italia escribi su tesis doctoral bajo la
supervisin de Gauss, dio una clase inaugural en la que reformul todo el concepto de la
geometra, que el vea como un espacio con la suficiente estructura adicional para poder medir
cosas como la longitud. Esta leccin no se public hasta 1868, dos aos despus de la muerte
de Riemann, pero haba de tener una profunda influencia en el desarrollo de las diferentes
geometras. Riemann trat brevemente una geometra 'esfrica' en la que cada lnea que
pasaba por un punto P exterior a una recta AB se cruzaba con la recta AB. En esta geometra
no existan las paralelas.

Obra
Tal vez su ms conocida aportacin fue su geometra no euclidiana, basada en una axiomtica
distinta de la propuesta por Euclides, y expuesta detalladamente en su clebre memoria Sobre
las hiptesis que sirven de fundamento a la geometra. Esta geometra se sigue si se considera
la superficie de una esfera y se restringen las figuras a esa superficie. Medio siglo ms tarde,
Einstein demostr, en virtud de su modelo de espacio-tiempo relativista, que la geometra de
Riemann ofrece una representacin ms exacta del universo que la de Euclides. Muri de
tuberculosis antes de cumplir los cuarenta aos.

15
Conclusin
Gracias a la realizacin de este trabajo pudimos comprender un poco mejor lo que es la geometra
Eucldea; las repercusiones que sta tuvo en pensamiento del mundo antiguo.
Adems de conocer las diferencias que existen entre los distintos tipos de geometra, y de los
pensadores responsables de sus fundaciones, es muy interesante reconocer y estudiar estas
diferencias, ya que nos muestran las diversas formas de pensamiento de la mente humana.
El estudio formal de la geometra euclidiana y de las dems geometras nos permite
organizarlas de forma tal que podemos conocer y entender sus estructuras conceptuales,
facilitando as su estudio futuro.
El estudio de los Elementos de Euclides es muy importante ya que es la recopilacin de todos
sus pensamientos e ideales, adems de contar con todos sus axiomas, postulados y teoremas, los
cuales son de gran utilidad para entender y poder aplicar su concepto de geometra.

16
Estructura conceptual de la Geometra.

17
 Anexos

GAUSS, Carl F. (1777-1855): Matemtico alemn nacido en Brunswick y fallecido en

Gotinga. Gauss fue un nio prodigio en matemticas y continu sindolo toda su vida. Hay quien le
considera uno de los tres mayores matemticos de la historia junto a Arqumedes y Newton. Su
inteligencia superdotada llam la atencin del duque de Brunswick, quien decidi costearle todos
sus estudios, entrando en 1795 en la universidad de Gotinga. Antes de cumplir los veinte aos hizo
algunos descubrimientos importantes, entre los que se incluye el mtodo de los mnimos
cuadrados. Gauss hall un mtodo para construir un polgono equiltero de 17 lados con ayuda de
regla y comps, e incluso fue ms all, demostrando que slo ciertos polgonos equilteros se
podan construir con ayuda de regla y comps. Hizo una labor importante en la Teora de Nmeros.
Tambin construy una geometra no eucldea, basada en axiomas distintos a los de Euclides, pero
se neg a publicarla. Lovachevski y Bolyai ostentan el honor de su descubrimiento al publicarla
algo ms tarde. En 1799 Gauss demostr el teorema fundamental del lgebra. Tambin demostr
que los nmeros se podan representar mediante puntos en un plano. El 1801 demostr el teorema
fundamental de la aritmtica. Se levant una estatua en su honor en su ciudad natal, que descansa
sobre un pedestal en forma de estrella de 17 puntas, en celebracin de su descubrimiento de la
construccin del polgono de 17 lados. Le llamaban Prncipe de las Matemticas.
BOLYAI, Janos (1802-1860): Matemtico hngaro nacido en Kolozsvar y fallecido en
Marosvsrheli, ambas en Hungra. Su padre haba sido gran amigo de Gauss, llegando incluso a
intentar demostrar el quinto axioma de Euclides. En 1825 pona en prctica los mismos proyectos
que Lovachevski sobre la geometra no euclideana, publicando en 1831 un apndice en un libro de
su padre sobre matemticas. En l explic su geometra, que Lovachevski haba publicado tres
aos antes.
SACCHERI, Giovanni Girolamo (1667-1733): Naci y muri en San Remo, Gnova
(ahora Italia). Se uni a la Orden de los Jesuitas en 1865. Cinco aos despus march a Miln,
donde estudi filosofa y teologa en el Colegio Jesuita. All, Tommaso Ceva le anim a estudiar
matemticas. En 1694 fue ordenado sacerdote y se dedic a ensear en colegios jesuitas. Fue
catedrtico de matemticas en Pavia desde 1699 hasta su muerte

18
Esquema de la evolucin de la Geometra no Euclidianas

19
 Bibliografa

Dowmns, Moise. Geometra Moderna. Addison-Wesley Iberoamericana

Wentworth, J., Smith, D. E. Geometra Plana y del Espacio. Editorial Porra
Landaverde, J. Curso de Geometra. Editorial Progreso.
Thompson, A. Geometra al alcance de todos. Editorial UTHEA.
Fetisov, A. I. Acerca de la demostracin. Editorial MIR.
Piaget, J., Inhelder, B. and Szeminska, A. The Child's conception of geometry. Prentice
Hall.
http://es.geocities.com/eucliteam/ fecha(13/08/04)
http://centros5.pntic.mec.es/ies.ortega.y.rubio/Mathis/Euclides/euclides.htm fecha(13/08/04)
http://www.terra.es/personal/jftjft/Historia/Biografias/Euclides.htm fecha(13/08/04)
http://euler.ciens.ucv.ve/matematicos/euclides.html fecha(13/08/04)
http://www.arrakis.es/~mcj/euclides.htm fecha(13/08/04)
http://www.xtec.es/~jdomen28/indiceeuclides.htm fecha(13/08/04)
http://www.oya-es.net/reportajes/euclides.htm fecha(13/08/04)
http://www.mat.usach.cl/histmat/html/alexandr.html fecha(13/08/04)
http://www.biografiasyvidas.com/biografia/e/euclides.htm fecha(13/08/04)
http://mural.uv.es/beaco/tr4.htm fecha(11/09/04)
http://www.domos.cl/geomatem.htm fecha(11/09/04)
http://mural.uv.es/beaco/tr2.htm fecha(11/09/04)
http://mural.uv.es/beaco/tr1.htm fecha(11/09/04)

Elaborado por:
Carlos A. Albenda Sols.
Jorge Sanabria Hernndez.
jsanabria123@costarricense.cr

Cartago, Costa Rica. 2004

20
21