LA GEOMETRA EUCLIDIANA

Se reconoce generalmente que la geometra como ciencia fue originada y desarrollada por los griegos, entre las contribuciones ms importantes a su desarrollo se cuentan las de los matemticos Pitgoras y Euclides. Pero los primeros gemetras, probablemente de Egipto, Sumeria y

Babilonia, observaron la realidad que los rodeaba, desarrollando conocimiento que les permitiera realizar efectivamente sus tareas, tal vez muy relacionadas con la arquitectura, de dar forma a construcciones humanas.

La geometra griega antes de Euclides

Es razonable pensar que los primeros orgenes de la geometra se encuentran en los primeros orgenes de la humanidad, pues seguramente el hombre primitivo clasificaba, an de manera inconsciente, los objetos que le rodeaban segn su forma. En la abstraccin de estas formas comienza el primer acercamiento, informal e intuitivo, a la geometra.

Las primeras civilizaciones mediterrneas adquieren poco a poco ciertos conocimientos geomtricos de carcter muy prctico. Estos son esencialmente

algunas frmulas, o mejor dicho algoritmos expresados en forma de receta, para calcular reas y longitudes. La finalidad era prctica, pues se pretenda con ello calcular la produccin proporcional de las parcelas de tierra para determinar los impuestos, o reconstruir las parcelas de tierra despus de las inundaciones. 1

Siempre se ha dicho que los egipcios tenan una alta formacin matemtica, y se ha llegado a insinuar que tuvieran un acervo de conocimientos secretos o que se hubieran perdido con el paso de los tiempos. Estas hiptesis nunca han sido confirmadas, y los documentos existentes tienden a echarlas por tierra.

La

historia nos hace pensar que el conocimiento que esta civilizacin, as sobre geometra pas

como los de las culturas mesopotmicas, tuviera

ntegramente a la cultura griega a travs de Thales, los pitagricos y esencialmente de Euclides.

Geometra se deriva de la palabra griega eletqia que significa medida de la tierra. La palabra fue usada por el historiador griego Herodoto en el siglo V a.C. en su gran pica sobre las guerras persas en donde escribe que en el antiguo Egipto fue usada "geometra" para las necesidades de los agrimensores egipcios para redistribuir las tierras del Valle del Nilo despus de cada peridica crecida.

Posteriormente, Thales de Mileto, quien permaneci en Egipto una larga temporada de su vida, aprendiendo de los sacerdotes y escribas egipcios todo lo referente a sus conocimientos en general, y estos quedaron asombrados cuando fue capaz de medir la altura de la Pirmide de Keops y de predecir un eclipse solar, iniciando una geometra demostrativa. Las demostraciones pasan a ser fundamentales y son la base de la lgica como leyes del razonamiento. 2

La geometra griega fue la primera en ser formal. Parte de los conocimientos concretos y prcticos de las civilizaciones egipcia y mesopotmicas, y da un paso de abstraccin al considerar los objetos como entes ideales, un cuadrado cualquiera, en lugar de una pared cuadrada concreta, un crculo en lugar del ojo de un pozo, entre otros, que pueden ser manipulados mentalmente, con la sola ayuda de la regla y el comps.

Aparece por primera vez la demostracin como justificacin de la veracidad de un conocimiento, aunque en un primer momento fueran ms justificaciones intuitivas que verdaderas demostraciones formales. Con su estudio sobre la

semejanza de tringulos, Pitgoras, con su inmortal proposicin sobre la relacin mtrica entre los lados de un tringulo rectngulo, contribuyen a la consolidacin de la geometra.

La figura de Pitgoras y de la secta por l creada, los pitagricos, tiene un papel central, pues eleva a la categora del elemento primigenio el concepto de nmero, filosofa que da forma ms explcita o ms implcita, siempre ha estado dentro de la Matemtica y de la Fsica, arrastrando a la geometra al centro de su doctrina, en este momento inicial de la historia de la Matemtica an no hay una distincin clara entre geometra y aritmtica, y asienta definitivamente el concepto de demostracin, ste ya s coincide con el concepto de demostracin formal, como nica va de establecimiento de la verdad en geometra. Desde aquel perodo temprano debemos, sin embargo, sealar en particular a Eudoxio (alrededor del 391- 338 a.C.), quien es conocido por una teora de las 3

proporciones y el llamado mtodo de exhaustin, aportaciones que hicieron posible determinar reas y volmenes rigurosamente.

Esta actitud permiti, an fuera de la secta la medicin de la tierra por Eratstenes, as como la medicin de la distancia a la luna, y la invencin de la palanca por Arqumedes, varios siglos despus.

En el seno de la secta de los pitagricos surge la primera crisis de la Matemtica: la aparicin de los inconmensurables, pero esta crisis es de carcter ms aritmtico que geomtrico.

Surge entonces un pequeo problema a nivel lgico, que consiste en lo siguiente: una demostracin parte de una o varias hiptesis para obtener un resultado denominado tesis. La veracidad de la tesis depender de la validez del razonamiento con el que se ha extrado, esto ser estudiado por Aristteles al crear la Lgica, y de la veracidad de las hiptesis.

Y Platn con su teora de lugares geomtricos, no hacen ms que ratificar la unin de la geometra con la experimentacin.

Euclides, vinculado al Museo de Alejandra y a su Biblioteca, zanja la cuestin al proponer un sistema de estudio en el que se da por sentado la veracidad de ciertas proposiciones por ser intuitivamente claras, y deducir de ellas todos los dems resultados. 4

En el siglo III a. de J.C., durante el reinado del faran helenista Tolomeo I quien, deseando modernizar los tratados de geometra existentes, encomend a Euclides escribir una compilacin o refundicin completa de los conocimientos geomtricos.

Euclides sistematiz todos los conocimientos geomtricos hasta esa poca en Los Elementos, y Arqumedes estableci la relacin entre la longitud de la circunferencia y el radio de la misma, as como el clculo de las reas y volmenes de los cuerpos esfricos, pudindosele considerar como el precursor del clculo infinitesimal gracias al uso del mtodo de exhaustividad para el clculo de las reas y volmenes.

Euclides escribe sus clebres Elementos, modelo de sistema axiomticodeductivo, libro que representa la suma global de los conocimientos geomtricos adquiridos hasta esa poca, parte de verdades intuitivas que debemos aceptar, este ha sido durante muchos siglos el eje del estudio de las Matemticas. Euclides, usando un razonamiento deductivo parte de conceptos bsicos primarios no demostrables tales como punto, recta, plano y espacio, que son el punto de partida de sus definiciones, axiomas y postulados.

Demuestra teoremas y a su vez, stos servirn para demostrar otros teoremas. Crea nuevos conocimientos a partir de otros ya existentes por medio de cadenas deductivas de razonamiento lgico.

Axiomas en la geometra euclidiana

La presentacin tradicional de la geometra euclidiana se hace en un formato axiomtico. A partir de ellos, y mediante razonamientos lgicos que no hagan contradecir un axioma con otro, constituye toda una teora.

Un sistema axiomtico es aquel que, a partir de un cierto nmero de postulados que se asumen verdaderos, conocidos como axiomas, y a travs de operaciones lgicas, genera nuevos postulados cuyo valor de verdad es tambin positivo.

Todo se reduce a partir de cinco axiomas y cinco postulados, cuya verdad se considera evidente. Es importante conocer que un axioma, es un principio o propiedad que se admite como cierta por ser evidente; son proposiciones, o afirmaciones, que relacionan conceptos. Excepto el punto, la recta y el plano, todo otro y a

concepto que se enuncie debe ser definido en funcin de los primeros; partir del cual se deduce todo lo dems. Axiomas bsicos: 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. 6

Se distinguen cuatro grupos de axiomas, aunque a veces se incluye un quinto grupo con un solo axioma de paralelismo, que son: Existencia e incidencia, son aquellos que aseguran las condiciones de existencia de los puntos, rectas y planos, adems indican cmo inciden unos conceptos en los otros. Existen infinitos puntos, planos, y rectas. Para determinar una recta, son necesarios solo dos puntos; para determinar un plano son necesarios tres. Ordenacin, estos axiomas ayudan a que la recta quede determinada como lo que se conoce. Axioma de Ordenacin: dados tres puntos, uno est entre los otros dos. Asegura que todo segmento sea divisible. Si se selecciona un punto

cualquiera en una recta el resto de los puntos de la recta quedan divididos en dos clases, los que estn de un lado y los que estn del otro. Axioma de Pasch: dado un tringulo y una recta que no pasa por sus vrtices, o la recta es externa al tringulo, o pasa por dos de los lados. Este axioma garantiza que una recta divide a los puntos del plano en dos categoras, los que estn de un lado se considera un movimiento. Slo existe un movimiento que transforma una semirrecta en otra y un semiplano determinado por la misma en otro determinado por la otra. Congruencia, se definen los conceptos de segmento (una recta y dos

puntos sobre ella), ngulo (un punto y un par de semirrectas que parten de l). Con ello se postula la existencia de una relacin de congruencia, que es el equivalente axiomtico a los movimientos. Bsicamente dados dos segmentos o dos ngulos, aceptamos que existe algn mtodo que nos permite decir si son 7

congruentes o no. Sea cual sea el mtodo, se exigen los siguientes postulados: todo segmento es congruente consigo mismo; si un segmento es congruente con uno dado, ste es congruente con el primero; si dos segmentos son congruentes con un tercero son congruentes entre ellos; dados dos segmentos formando un ngulo, congruentes con otros dos que forman un ngulo congruente, al unir los extremos sueltos para formar dos tringulos, los tres lados y los tres ngulos sern congruentes, se postula que un tringulo queda definido por dos lados y un ngulo Continuidad Axioma de Arqumedes: se impone que un segmento pueda dividirse en dos indefinidamente. Axioma de la plenitud: se impone que el conjunto de puntos de una lnea no puede ser ampliado mediante cierres, lmites de sucesiones.

Se puede ver que en los anteriores axiomas todo es aceptable, excepto el detalle que no se defini la semirrecta, el semiplano y el movimiento, lo cual, por simplicidad se ha omitido.

Euclides y Los Postulados Como se mencion, los conceptos bsicos primarios punto, recta, plano y espacio no se definen sino que se captan a travs de los sentidos. Puede darse modelos fsicos para cada uno de ellos.

Por ejemplo: Un punto puede estar representado por la huella que deja sobre un papel, la presin de la punta de un alfiler o por una estrella en el firmamento. Una recta est sugerida por un hilo a plomo.

Un plano est sugerido por la superficie de un lago quieto o bien por la superficie de un espejo. El espacio euclidiano puede considerarse constituido por todos los puntos existentes, o sea, el espacio en que nos movemos. La geometra euclidiana puede dividirse en geometra plana y en geometra del espacio o estereometra. La plana estudia las figuras contenidas en un plano. La del espacio estudia figuras que no estn contenidas en un mismo plano.

Euclides plante cinco postulados en su sistema: 1. Dados dos puntos se puede trazar una y slo una recta que los une. 2. Cualquier segmento puede prolongarse de forma continua en cualquier sentido. 3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. Se obtiene de una experimentacin con un comps. 4. Todos los ngulos rectos son iguales. Es tal vez menos obvio y ms

abstracto, pero se deduce de la experiencia de medir ngulos con un transportados, donde la suma de ngulos suplementarios es 180, tal que 9

ngulos suplementarios son congruentes entre s. Esta nocin se refiere a la superposicin de figuras y es geomtrica en su carcter. 5. Si una recta al cortar a otras dos, forma ngulos internos menores a un ngulo recto, esas dos rectas prolongadas indefinidamente se cortan del lado en el que estn los ngulos menores que dos rectos. Este es diferente

porque no se pude verificar empricamente si dos rectas se corta, ya que solo podemos trazar segmentos y no las rectas completas. Podemos extender los segmentos cada vez ms lejos para ver si se cortan en algn punto, pero no se pueden extender infinitamente.

Este ltimo postulado, que es conocido como el postulado de las paralelas, puede expresarse en forma equivalente: Por un punto exterior a una recta, se puede trazar una nica paralela.

Este postulado parece menos obvio que los otros cuatro, y muchos gemetras han intentado deducirlo o demostrarlo a partir de los otros cuatro y de los cinco axiomas, sin conseguirlo. Los Elementos de Euclides tuvieron una influencia enorme sobre los matemticos rabes y occidentales, prcticamente hasta nuestros das. Al construirse la geometra hiperblica se demostr que esto no era posible ya que en este tipo de espacios, se demuestra que el quinto postulado es falso mientras el resto se sostiene. Tambin se not que el conjunto de axiomas escogido por Euclides es incompleto. Euclides utiliza hechos no demostrados ni postulados en sus teoremas2 10

desde el primero, aunque son cosas tan sutiles que pasaron inadvertidas durante mucho tiempo.

Para que el sistema de Euclides fuera completo habra que aadir al menos dos postulados ms:

Dos circunferencias separadas menos de 2R se cortan en dos puntos (Euclides lo utiliza en su primera construccin) Dos tringulos con dos lados iguales y su ngulo igual son iguales (equivale al concepto de movimiento, que Euclides usa para su teorema cuarto sin definir explcitamente)

Euclides y Los Elementos Los Elementos es una verdadera reflexin terica de y sobre matemticas, consta de 465 proposiciones, 93 problemas y 372 teoremas, no aparecen nmeros; adems, escribi sobre msica y ptica, tiene una obra titulada Sofismas que, dice Proclo, sirve para ejercitar la inteligencia. Se cuenta que Ptolomeo pregunt 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. Con este juego de

palabras, Euclides le vino a decir al rey que no existen privilegios en la geometra.

En otra ocasin, uno de sus estudiantes pregunt a Euclides qu ganaba con lo que haba aprendido de la Geometra: el maestro orden a su esclavo que le 11

entregase una moneda a aquel estudiante, para que ganara algo con lo que aprenda de Geometra, dando a entender que aquel muchacho no haba entendido nada de la grandeza de la geometra y de lo desinteresado de sta.

La geometra es parte de la riqueza de la matemtica, y Los Elementos, en trece volmenes, son la esencia de la geometra, a los que posteriormente se aadieron dos ms, atribuidos a Hipsicles de Alejandra.

Esta obra de Euclides es importante, no por la originalidad de sus contenidos, sino por la sistematizacin, el orden y la argumentacin con la que est constituida. Euclides recopila, ordena y argumenta los conocimientos geomtrico-matemticos de su poca.

Los Elementos ha tenido ms de 1000 ediciones desde su primera publicacin, en imprenta en 1482. Se puede afirmar, que Euclides es el matemtico ms ledo en la historia, Los Elementos consta de XIII libros sobre geometra y aritmtica:

El libro I de Los Elementos trata sobre rectas paralelas, perpendiculares, y las propiedades de los lados y ngulos de los tringulos, incluye postulados. El II desarrolla el lgebra geomtrica. El III estudia las propiedades del crculo y de la circunferencia. El IV los polgonos regulares inscritos y circunscritos. El V la teora de las proporciones de Eudoxio, aplicable tanto a las cantidades conmensurables, racionales, como las inconmensurables, irracionales. 12

 En el VI aplica dicha teora a la semejanza de tringulos y otros problemas, es una aplicacin de la teora a la geometra plana. Los libros VII, VIII, y IX estn dedicados a la aritmtica, tratan de la teora de los nmeros, se discuten relaciones como: nmeros primos, (Euclides prueba ya en un teorema que no hay una cantidad finita de nmeros primos), mnimo comn mltiplo, progresiones geomtricas, etc. El X libro trata de los segmentos irracionales, es decir, de aquellos que pueden representarse por raz cuadrada. A partir de este libro se enfoca en la Geometra Espacial. 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, la medida de los crculos, esferas, etc. 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.

La geometra despus de Euclides Euclides casi cierra definitivamente la geometra griega, y por extensin la del 13

mundo antiguo y medieval, a excepcin de las figuras de Arqumedes y Apolonio.

Arqumedes estudi ampliamente las secciones cnicas, introduciendo en la geometra las primeras curvas que no eran ni rectas ni circunferencias, aparte de su famoso clculo del volumen de la esfera, basado en los del cilindro y el cono. Se lleg a la segunda cumbre en la geometra clsica griega alrededor de los 200 a.C. con el trabajo sobre las secciones cnicas de Apolonio desde un inters puramente matemtico, las secciones cnicas han evolucionado hasta su utilidad en muchos y varios contextos.

La geometra en la Edad Media Durante los siguientes siglos la Matemtica comienza nuevos caminos, lgebra y Trigonometra, de la mano de indios y rabes, y la Geometra apenas tiene nuevas aportaciones, excepto algunos teoremas de carcter ms bien anecdtico. En Occidente, a pesar de que la geometra es una de las siete artes liberales, encuadrada concretamente en el Quadrivium, las escuelas y universidades se limitan a ensear Los Elementos, y no hay aportaciones, excepto tal vez en la investigacin sobre la disputa del quinto postulado.

Si bien no se lleg a dilucidar en este perodo si era o no independiente de los otros cuatro, s se llegaron a dar nuevas formulaciones equivalentes de este postulado.

14

La geometra en la Edad Moderna La Geometra Proyectiva, es en el Renacimiento cuando las nuevas necesidades de representacin del arte y de la tcnica empujan a ciertos humanistas a estudiar propiedades geomtricas para obtener nuevos instrumentos que les permitan representar la realidad. Aqu se enmarca la figura del matemtico y arquitecto Luca Pacioli, de Leonardo da Vinci, de Alberto Durero, de Leone Battista Alberti, de Piero della Francesca, por citar algunos.

Todos ellos, al descubrir la perspectiva y la seccin crean la necesidad de sentar las bases formales en la que se asiente la nueva forma de Geometra que sta implica: la Geometra Proyectiva, cuyos principios fundamentales aparecen de la mano de Desargues en el siglo XVII.

Esta nueva geometra de Desargues fue estudiada ampliamente ya por Pascal, o por de la Hire, pero debido al inters suscitado por la Geometra Castesiana y sus mtodos, no alcanz tanta difusin como mereca hasta la llegada a principios de Gaspard Monge en primer lugar y sobretodo de Poncelet.

La Geometra Cartesiana, pero es sin duda la aparicin de esta geometra lo que marca la geometra en la Edad Moderna. Descartes propone un nuevo mtodo de resolver problemas geomtricos, y por extensin, de investigar en geometra.

Lo decisivo para la historia del pensamiento fue que los matemticos de las 15

pocas posteriores asumieron los postulados y los axiomas como verdades incuestionables. Y como los teoremas y proposiciones de esa geometra eran

derivados de los axiomas y postulados, la Geometra Euclidiana describa el mundo, durante ms de dos mil aos.

Sin embargo, aunque nadie dudaba de su verdad, el quinto postulado no pareca ser tan autoevidente como los dems.

La Geometra Moderna es una gama de interacciones con las otras principales tcnicas matemticas: Anlisis, lgebra, todas las Topologas, el Anlisis Matemtico, inclusive las Estadsticas.

16