EUCLIDES

ALBERTO DOU MASDEXEXAS *

0.

Introduccin.

Euclides floreci hacia el ao 300 a.de C , que es aproximadamente el ao en que apareci el texto de los Elementos. Fue profesor en el Museo de Alejandra, que gracias al inters de los primeros Ptolomeos era entonces, sin duda, el centro cultural ms importante del mundo. 0.1. Thaes de Mileto (625545) en Jonia y Pitgoras de Samos (siglo VI a. de C.) en el sur de Italia crearon sendas escuelas, en las que parece que por primera vez se elaboraron demostraciones tpicamente matemticas; sus discpulos se extendieron por toda Grecia. En el siglo de Pericles (V.a.de C.) surgen numerosos e importantes matemticos que con los escasos recursos de una ciencia incipiente resuelven nuevos e interesantes problemas y plantean otros muy importantes. As, por ejemplo, el de la cuadratura del crculo, planteado por Anaxgoras de Clazomene (muere el 428) mientras estaba en prisin, y estudiado con xito por Hipcrates de Quos (fl. aprox. 430). Asimismo el problema de la duplicacin del cubo, iniciado tambin por Anaxgoras; el de la triseccin del ngulo, resuelto mediante la trisectriz por el polifactico Hipias de Elis (nace aprox. 460); el del clculo con magnitudes inconmensurables y el del tratamiento de los infinitesimales. Este periodo con razn ha recibido el nombre de Edad Heroica de las Matemticas [ Vase Boyer ] . Sigue a sta la Edad de Platn (428-348) y Aristteles (384-322) con otro grupo de importantes matemticos entre los que descuellan Teeteto de Atenas (m. 368) y Eudoxo de Cnido (aprox. 400-aprox. 355). A continuacin, en el siglo III a.de C , la Edad de Oro de las Matemticas, stas alcanzan su mximo esplendor principalmente gracias a tres grandes figuras: Euclides de Alejandra (fl. aprx. 300), Arqumedes de Siracusa (287-212) y Apolonio de Perga (262?-190?).

* Numerario de esta Real Academia. * Catedrtico de la Universidad Autnoma de Barcelona.

Este resumen permite ya conjeturar una conclusin importante y cierta, a saber, que los Elementos de Euclides no tanto son una obra de creacin que abra nuevos e importantes problemas u horizontes, cuanto una obra de compilacin de los resultados ms importantes obtenidos durante ms de tres siglos de profunda y continuada actividad matemtica. Sabemos adems, que, en efecto, antes de Euclides, ya Hipcrates y despus Len (siglo IV a.de C.) y despus Teudio de Magnesia (miembro de la Academia de Platn) compusieron Elementos de Geometra. El compendio de este ltimo fue como un libro de texto en la Academia y parece que fue el punto de partida de Euclides para la composicin de sus Elementos [ Vase Heath, 1956; 1,116 sg.]. 0. 2. Sabemos que Euclides escribi unas doce obras algunas de las cuales se han perdido y las conocemos nicamente por referencias. Se conservan en textos griegos los Elementos, de los que nos ocuparemos casi exclusivamente en esta leccin, y los Datos, que probablemente era un texto auxiliar para los estudiantes de los Elementos. Algo parecido puede decirse de la obra Sobre la divisin de figuras, aunque slo se conserva en textos rabes. Escribi tambin la obra Fenmenos, que es un texto de geometra esfrica para uso de astrnomos, una Optica y una Catptrica, aunque de sta se duda que sea de Euclides. Estas cinco o seis obras son las nicas que se conservan de Euclides. Entre las que se han perdido figura una titulada Cnicas, otra sobre Superficies, otra sobre Paralogismos (o Falacias) y finalmente una un tanto enigmtica titulada Porismas. Esta ltima ha sido valorada muy diversamente y quizs fue un libro creativo abriendo perspectivas y nuevas lneas de investigacin; con todo no me parece que su importancia pueda compararse con la de los Elementos. [Vanse Boyer y Ortiz de Urbina]. 0. 3. Los Elementos son la obra que, despus de la Biblia, ms ediciones ha tenido; se calcula que ms de mil ediciones. Es tambin la obra, exceptuando la Biblia y otros textos anlogos, que mayor influencia cultural ha ejercido a lo largo de la Historia. Ha sido libro de texto en todas las Universidades durante muchos siglos, hasta el pasado siglo e incluso hasta el presente. Sabemos que influy extraordinariamente en Galileo, Newton, Kant y otros muchos cientficos y filsofos, que han creado la Ciencia moderna y la han analizado filosficamente con profundidad. La raz de este xito hay que buscarla en que se trata de la cristalizacin de tres siglos de profundo y apasionado trabajo de investigacin cientfica en los albores mismos del fenmeno cultural que llamamos ciencia. Los Elementos han sido hasta el siglo XIX el paradigma indiscutido e indiscutible del pensamiento riguroso. Merece tambin mencionarse que los Elementos no son una obra de recopilacin indiscriminada de elementos o resultados no calificados que pertenezcan simplemente a un conjunto sino que Euclides recogi en su obra solamente aquellos resultados que tienen un carcter fundamental o de aplicacin mltiple para el desarrollo de la ciencia [Vase Heath 1956, I, 114sgs.]. Finalmente, la importancia de los Elementos se pone de manifiesto en un texto de

63
Procio de Bizancio (410485), del que extractamos estos dos fragmentos: "Son de admirar especialmente sus [de Euclides] Elementos de Geometra por el orden que reina en ellos, por la eleccin de los teoremas y problemas como fundamentales, puesto que no ha incluido todos aqullos que estaba en condiciones de dar, sino nicamente aqullos capaces de funcionar como elementos y tambin por la variedad de los raciocinios que son conducidos de todas las maneras posibles...". " Y qu diremos del mtodo de investigacin, de la economa y del orden entre las distintas partes y del rigor con que cada punto queda fijado?. Si pretendieras agregar o quitar algo reconoceras de inmediato que te alejas de la ciencia y te acercas hacia el error y la ignorancia. Pues, en verdad, muchas cosas poseen la apariencia de ser verdaderas y de surgir de los principios de la ciencia, mientras en cambio se alejan de estos principios y engaan a los espritus superficiales". [Tomado de Rey Pastor, p. 48]. 0. 4. Dividir esta exposicin en dos partes. En la primera me ocupar de la epistemologa de los Elementos. En la segunda y ltima dar una idea, necesariamente muy restringida y breve por razn del tiempo, del contenido de los Elementos.

1.

Epistemologa de los Elementos.

En esta parte me propongo estudiar por qu las proposiciones de los Elementos son verdaderas. Me parece que por lo menos hasta principios del Renacimiento era opinin comn que la obra Elementos de Euclides realizaba el "ideal de sistematizacin deductiva" [Vase Losee, cap. 3]. En una primera seccin (1.1 ) describir la estructura material de los Elementos. En una segunda seccin (1.2) sealar algunos de los puntos ms importantes de la Filosofa de la Ciencia de Aristteles, pues estimo que la estructura epistemolgica de los Elementos corresponde efectivamente a la epistemologa de la ciencia elaborada en el Liceo. Finalmente en una tercera seccin (1.3) tratar de justificar esta correspondencia. 1.1. La obra Elementos est dividida en trece libros. El libro I empieza con una lista de 23 definiciones (opoi). Las cuatro primeras son: "1. 2. 3. 4. Un punto es aquello que no tiene partes. Una lnea es una longitud sin anchura. Las extremidades de una lnea son puntos. Una recta es una lnea que yace por igual respecto de todos sus puntos."

Siguen definiciones de superficie, plano, ngulo y sus clases, crculos, tringulos y cuadrilteros y sus clases y finalmente la ltima del libro primero:

64
"23. Rectas paralelas son aqullas que, estando en un mismo plano, por ms que se las prolongue en ambos sentidos nunca se encuentran.'

Al comienzo del libro V las definiciones tercera y cuarta dicen: '3. Una razn es una relacin de tamao entre dos magnitudes de una misma clase." Se dice que dos magnitudes forman razn cuando cada una admite un mltiplo que es mayor que la otra."

"4.

Al comienzo del Libro X se dan cuatro definiciones que introducen los trminos de "conmensurable" e "inconmensurable", y los de "racional" e "irracional", tanto para segmentos rectilneos como para cuadrados. Al comienzo del Libro XI estn las 28 ltimas definiciones de los Elementos y las cuatro finales definen el cubo, el octaedro, el icosaedro y el dodecaedro. Hay una lista de definiciones al comienzo de cada uno de los seis primeros libros. Los tres libros VilIX forman una unidad, pues contienen la Aritmtica de los Elementos y en ellos hay slo una lista de 22 definiciones al empezar el libro V i l . El complicado libro X adems de la lista inicial, contiene otras dos listas de proposiciones intercaladas en el texto. Finalmente los libros X I - X I I I forman un bloque conteniendo toda la geometra del espacio y en ellos hay una nica lista de 28 proposiciones al comenzar el libro X I . La obra contiene un total de 131 definiciones. Para la epistemologa de los Elementos, ms importante an que las definiciones son los postulados {oii'irixaTa ) y las nociones comunes {KOIVOL emoiai ) o axiomas. Euclides incluye slo cinco postulados en los Elementos, todos en el primer libro inmediatamente despus de las 23 definiciones. A continuacin pone los cinco nicos axiomas de toda la obra. Aparte de los cinco axiomas, de los cinco postulados y de las 131 definiciones, de cuyo papel nos ocuparemos en la tercera seccin, el resto de los Elementos est constituido por 465 proposiciones distribuidas entre los trece libros. Cada proposicin comienza estableciendo un enunciado, en el que presuponiendo de un modo suficientemente explcito unos datos, se establece un resultado que ha de ser demostrado. A continuacin del enunciado y apelando a un diagrama o dibujo, que es una interpretacin o instancia geomtrica de los conceptos y relaciones del enunciado, se repite el contenido del enunciado. A continuacin se procede a la demostracin, apelando al diagrama en la que tambin se han dibujado o construido las lneas auxiliares que representan los conceptos y relaciones pertinentes a la demostracin. La demostracin es un raciocinio estrictamente formal que deduce la conclusin de los datos. Repetida la conclusin de forma que coincida con el resultado establecido en el enunciado, se concluye ge-

65 neralmente con las palabras "como queramos demostrar". Es importante observar que en la deduccin de la conclusin a partir de los datos slo pueden emplearse las definiciones, los postulados, los axiomas y los resultados de las proposiciones ya demostradas, pero no se puede apelar a otras propiedades que puedan verificarse en el diagrama. Esta apelacin incorrecta al diagrama constituye un verdadero peligro, a veces muy sutil; pero en general queda compensado por la grande ayuda que el diagrama presta a la argumentacin. En la segunda parte daremos una brevsima idea del contenido de algunas de estas 465 proposiciones. 1. 2. Sin duda Aristteles conoci en la Academia el texto de Geometra de Teudio, y asimismo en el Liceo su escuela contribuy eficazmente a la elaboracin de la epistemologa de los Elementos. El texto aristotlico ms relevante para nuestro tema es el del captulo 1 10 de los Segundos Analticos. En l se encuentran estos prrafos. ^ " 3. Entre los principios de que nos servimos en las ciencias demostrativas, unos son especiales y otros son comunes". Por ejemplo, son principios especiales las definiciones de la lnea y de la lnea recta; mientras que el principio: si de cosas iguales se quitan cosas iguales los restos sern guales, es un principio comn". " 4. Tambin se llaman principios propios, cuya existencia se admite sin demostracin, aqullas cosas en que la ciencia encuentra las propiedades esenciales que ella estudia. As, la aritmtica admite sin demostracin las unidades, y la geometra los puntos y las lneas: porque ambas admiten sin demostracin la existencia y la definicin de estas cosas. Adems, respecto de las modificaciones esenciales de estas cosas se admiten igualmente sin demostracin los nombres de cada una de ellas. Por ejemplo: la aritmtica admite tambin el sentido de las palabras par o impar, cuadrado, cubo, etc.; y la geometra, el de los trminos inconmensurable, quebrada, oblicua, etc. Pero en cuanto a la existencia de estas propiedades, se la demuestra por medio de principios comunes y de proposiciones ya demostradas. El mismo mtodo tiene lugar en astronoma. " 5. En efecto, toda ciencia adquirida por demostracin se refiere a tres cosas: primera, a todo aquello cuya existencia se admite sin demostracin, es decir, al gnero mismo cuyas modificaciones esenciales estudia la ciencia; segunda, a aquellos principios comunes que llamamos axiomas, de donde salen primitivamente las demostraciones; y por ltimo y en tercer lugar, a las modificaciones de este mismo gnero, el nombre de cada una de las cuales es preciso admitir tambin sin demostracin. '' 6. Por lo dems, puede muy bien suceder, que ciertas ciencias prescindan de algunas de estas tres cosas''. A saber, cuando resultan evidentes. *'Sln embargo, puede decirse siempre, que naturalmente se dan estas tres cosas: aquello de lo que se demuestra algo lo que se demuestra, y aquello mediante lo cual se demuestra'**. [Seg.Anal. 76 a 3 7 76 b 23 ] .

66
En este texto se distinguen los trminos primitivos de una ciencia (en la 1^ de las tres cosas); los trminos derivados, propiedades y predicados (en la 3^); y los axiomas, o sea los principios especiales (o axiomas propios) y los principios comunes (o axiomas lgicos). Aristteles incluye entre los principios tanto los conceptos del sujeto (materia u objeto) de la ciencia, como los axiomas. Obsrvese que de los conceptos primitivos de una ciencia hay que admitir sin demostracin tanto su significado como su existencia; mientras que de las propiedades, slo hay que admitir sin demostracin su significado, pero es necesario demostrar su existencia. Obsrvese tambin que para Aristteles estas consideraciones valen no slo para la Aritmtica y Geometra, sino igualmente para la Astronoma, y al parecer para todas las ciencias En los mismos Segundos Analticos, en el ltimo captulo, Aristteles explica cmo partiendo del conocimiento sensitivo y mediante una cierta induccin, la razn aprehende intuitivamente los primeros principios. En cuanto a la cuestin de la inferencia lgica, Aristteles trata exclusivamente del tema del silogismo con gran originalidad y exactitud en los Primeros Analticos. 1.3. Si ahora volvemos a la consideracin de las definiciones, postulados y nociones comunes de los Elementos, vemos que muchas cuestiones quedan enmarcadas en la epistemologa que acabamos de describir, aunque no sin dificultades. Entre las definiciones distinguimos las de trminos primitivos y las de trminos derivados. Por ejemplo, las definiciones de punto (1,1), de recta (1,4) y de razn (V,3) de dos magnitudes lo son de trminos primitivos. Mientras que la definicin de paralelas (I 23) y la de cuadrado (I, 22) como cuadriltero de lados iguales y ngulos rectos lo son de trminos derivados. Hemos de admitir que entendemos lo que significan punto, recta y razn, y admitir tambin su existencia. En cambio, hemos de entender lo que significan rectas paralelas y cuadrado, pero su existencia ha de ser demostrada. La definicin de razn de dos magnitudes (V,4) en el contexto de los Elementos debe ser considerada como definicin de un trmino primitivo, y en realidad es equivalente a un postulado (el de Arqumedes), del que quizs pueda decirse que se impone al lector [Vase Seg. Anal. I. 10, 76 b 2334]. Hay una obvia diferencia entre esta ltima definicin y las de punto recta y razn. Estas ltimas son meramente descriptivas y necesariamente vagas; en cambio la definicin de razn de dos magnitudes equivale a un postulado preciso y es consiguientemente muy operativa. M. Pasch (1843-1930) [ Vase Becker, 200 sgs.] y D. Hilbert (1862-1943) [ Vase Hilbert ] han mostrado cmo prescindir de las definiciones primitivas meramente descriptivas, sustituyndolas por definiciones implcitas mediante postulados (o axiomas propios). Pero entonces, la geometra se convierte en una pura teora o ciencia exclusivamen-

67 te formal y no es posible saber de qu trata. Las definiciones primitivas descriptivas son representaciones o ilustraciones, algo as como los diagramas geomtricos [ Vase Sag. AnaL I 10 77 a 14] que dibujamos, que nos permiten conectar los lenguajes ordinario y cientfico Es obvio que en los Elementos los trminos tienen una referencia, inmediata o mediata en el mundo de lo real. Los cinco postulados de los Elementos son: " 1 2 Se puede trazar una recta desde cualquier punto a cualquier punto. Una lnea recta delimitada puede prolongarse continuamente permaneciendo recta.

3. Se puede trazar un crculo con cualquier centro y radio. 4. Todos los ngulos rectos son iguales entre s. 5. Si una secante corta a dos rectas formando a un lado ngulos interiores menores que dos rectos, las dos rectas indefinidamente prolongadas se cortan en este mismo lado." Me parece claro que los cinco postulados son "principios especiales" en el sentido de Aristteles es decir, son propios de la Geometra. Me parece que no hay una distincin clara entre estos postulados, en particular el 4 y el 5 , y el postulado implcito al que equivale una definicin como la de razn de dos magnitudes (V, 4). Las cinco nociones comunes de los Elementos son: " 1 Cosas iguales a una tercera son tambin iguales entre s.

2. Si a cosas iguales se aaden cosas iguales, los totales son guales. 3. Si de cosas iguales se substraen cosas iguales, los restos son iguales 4. 5. Las cosas que son congruentes entre s, son iguales El todo es mayor que la parte".

Todos son principios comunes en el sentido de Aristteles. Segn Euclidesy suponiendo que concuerda con Aristteles, los conocemos infaliblemente por la intuicin. Me parece que lo mismo hay que decir de los cinco postulados, a saber que, segn Euclides, los conocemos tambin infaliblemente por la intuicin, incluso el 5^. Se supone, en efecto que la ciencia es de lo necesario y que todas las proposiciones de los Elementos son verdaderas. Y slo la intuicin permite conocer infaliblemente todos los primeros princi pios tanto los comunes, como los especiales de cada ciencia: ya que por ser principios son indemostrables y no hay otro medio de conocimiento.

68
2 . Contenido de los Elementos.

En primer lugar har una descripcin general muy sucinta de los trece libros de los Elementos (2 . 1 ). A continuacin expondr cuatro de los ms interesantes resultados que contienen (2. 2).

2.11. Cada uno de los trece libros que componen el texto de los Elementos tiene un contenido que substancialmente es lineal y progresivo, de modo que cada libro posee una gran unidad. Pero no se puede decir lo mismo de los Elementos en su conjunto; ms bien, por razones histricas, forman un conglomerado de Geometra, la parte ms importante, de Aritmtica (o Teora de Nmeros) y de algo que ahora llamamos Algebra. Segn su contenido los trece Libros, se clasifican as: Tratan de Geometra los Libros I, III, IV; X I , XII y X I I I ; de los cuales los tres primeros y parte del XII son de Geometra Plana, y el resto de Geometra del Espacio. Los Libros II, V, VI y X son de Algebra. Y los Libros Vil, VIII y IX son de Aritmtica. Segn su procedencia se clasifican as: Los cuatro primeros. IIV, son debidos substancialmente a los pitagricos aunque Hipcrates tiene una importante contribucin en los III y IV. Los Libros V y VI son debidos a Eudoxo. Los VilIX son tambin de los pitagricos. El X es debido a Teeteto. El Libro XI procede substancialmente de la Escuela jnica. El XII tiene varios precursores, pero el mtodo de exhaucin que es el que permite demostraciones rigurosas, es de Eudoxo. Finalmente el Libro XIII es debido a Teeteto. 2. 12. El Libro primero es uno de los ms importantes por el extremado cuidado de su elaboracin y dado su carcter fundamental. En la Proposicin 16 demuestra, suponiendo tcitamente que la recta es de longitud infinita, que el ngulo exterior de un tringulo es mayor que cualquiera de los interiores opuestos. Con ello establece la existencia y unicidad de la paralela por un punto dado a una recta dada. Demuestra numerosos teoremas de nuestra Geometra elemental y concluye con el teorema de Pitgoras (Prop. 47) para el tringulo rectngulo y su recproco (Prop. 48). En el Libro II, se demuestran, empleando segmentos, varias identidades algebraicas. Por ejemplo^ en la Prop. 10, que

(2a + b)'+b^

^a'+(a+b)'^

69
A continuacin resuelve un problema equivalente al de cortar un segmento en media y extrema razn, lo que le permitir construir el pentgono regular. Los Libros III y IV contienen los teoremas elementales de la Geometra del crculo. En la ltima Proposicin se demuestra cmo inscribir el polgono regular de quince lados en el crculo. El Libro V es de gran importancia terica. En l, Eudoxo trasciende la limitacin a los segmentos conmensurables, y establece los teoremas del Libro 1! tambin para magnitudes inconmensurables. En realidad se trata substancialmente de una Teora de Magnitudes; y ms en concreto de las magnitudes que forman razn, o sea que satisfagan el postulado de Arqumedes o de Eudoxo. Este postulado se define y postula implcitamente en la Definicin V,4. En el Libro VI se prosigue el desarrollo del Algebra, con ropaje geomtrico, y en particular se resuelve rigurosamente la ecuacin de segundo grado. Los Libros VIIIX son de Aritmtica o de Toera de Nmeros Consideran exclusivamente nmeros naturales y contienen el algoritmo de Euclides para hallar el mximo comn divisor y demuestra que la sucesin de los nmeros primos es infinita. En la ltima Proposicin del libro IX (Prop. 36) se demuestra que si S es primo, siendo o n-i S =1+2+2 +-4-2 n entonces el nmero 2
n-i

.S

es un nmero perfecto o sea que es igual a la suma de sus divisores. Como por ejemplo el nmero 28. El Libro X empieza con un teorema de corte moderno. Es el ms largo de los Libros con 115 proposiciones, de las que la 111 tiene un corolario en el que cataloga 13 clases disjuntas de irracionales. Segn A.De Morgan en este Libro "Euclides investiga las posibles variedades de segmentos que pueden ser representados [ en Algebra moderna] por donde a y b representan dos segmentos conmensurables".[ Citado por M. Kline p. 80]: Este Libro ha sido llamado "La cruz de los matemticos". Segn W. Knorr (pgs. 1-2) la dea esencial del Libro se manifiesta cuando se lo considera en funcin de la construccin de las figuras regulares planas y slidas. Me parece que para evaluar este Libro y en general para evaluar toda la obra de los Elementos comparada por ejemplo con los Fundamentos de la Geometra de Hilbert, es importante tener en cuenta que los griegos desconocieron los nmeros reales, lo que hace su tarea mucho ms difcil.

70 El Libro XI contiene lo que ahora se estudia en un primer curso elemental de Geometra del Espacio. El Libro XH consta de 18 proposiciones sobre el clculo de reas y volmenes elementales, pero que para su demostracin rigurosa fue necesario el mtodo de exhaucin de Eudoxo El Libro XIII est dedicado a la construccin de los cinco poliedros regulares y a su inscripcin en la esfera. Un corolario y un Lema despus de la Proposicin 18 y ltima de toda la obra., demuestran fcilmente que no hay ningn otro poliedro regular aparte de estos cinco cuerpos csmicos o platnicos. El conjunto de los Elementos es de una profundidad y belleza incomparables, y el Libro XIII es un digno final de la obra, como sin duda le pareci a Kepler.

2. 2. Voy a exponer con un poco ms de detalle cuatro de los muchos resultados importantes que contienen los Elementos.

2.21. Ya las tres primeras Proposiciones del primer libro ofrecen una sorpresa. En la Proposicin 1,1 se demuestra cmo construir un tringulo equiltero sobre un segmento dado AB. Demostracin: Basta con centros en A y B (Diag.1 ) y radio AB trazar (Postulado 3) dos crculos y su interseccin C da el tercer vrtice de un tringulo equiltero ABC como se quera construir.

La Proposicin 1,2 demuestra cmo construir un segmento que tenga un extremo en un punto dado A y que sea igual a un segmento dado BC. Demostracin: (Diag. 2). Se construye el tringulo equiltero ABD (Prop. 1,1 ). Con centro en B se traza un crculo de radio BC y se obtiene G. Luego con centro en D se traza un crculo de radio DG. El segmento AE tiene un extremo en A y es igual al BC, como se quera construir.

71 En la Prop. 1,3 se demuestra cmo dados dos segmentos desiguales AB y C, se corta del mayor AB un segmento igual al menor C. Demostracin: Se construye AD (DIag. 3) con un extremo en A e igual a C. Se traza con centro en A el crculo de radio AD. El segmento EB es el resultado de cortar de AB un segmento igual al C, como se quera hacer.

El resultado final de estas tres Proposiciones y su objetivo es demostrar que, dados AB y C, el segmento C se puede trasladar a AE. El postulado 111,1 (el primero del grupo de los de congruencia) de Hilbert postula precisamente la posibilidad de transportar un segmento C a AE. Teniendo una regla y un comps, cuanto ms fcil no sera emplear la regla y, haciendo seales en ella, transportar segmentos o abrir el comps con la distancia C y trasladarlo a AE ?. Pero para Euclides, segn sus Postulados I, 13, la regla es slo para trazar rectas y el comps para trazar crculos. El comps de los Elementos es "colapsable": mientras tiene un pie en el papel pueden trazar crculos o arcos pero en cuanto se levantan los dos pies el comps colapsa. No puede emplearse para transportar segmentos ni es necesario suponerlo segn demuestran estas tres Proposiciones I, 13. Hay que asumir como postulado estrictamente aqullo que sea indemostrable. Naturalmente, Euclides deja todo este comentario a la sagacidad del lector, pues no hay en los Elementos ninguna referencia al objetivo de estas tres primeras Proposiciones ni a la colapsabilidad de los compases.

2. 22. Vamos a ver ahora cmo se resuelve en los Elementos la ecuacin de segundo grado. El problema no lo plantea Euclides en estos trminos sino bajo el nombre tcnico de "aplicacin de reas". Es de suponer que los griegos del siglo IV a.de C. conocan la tcnica de resolucin numrica de las ecuaciones de segundo grado que empleaban los babilonios. Estos, desde haca siglos, saban hallar dos nmeros tales que su producto y su suma (o diferencia) fueran dos nmeros racionales dados, lo que es equivalente a resolver la ecuacin de segundo grado. Pero en el caso general la solucin era solo aproximada, pues vena siempre dada por un nmero racional; aparte de que ignoramos si tenan un mtodo general, pues slo casos concretos, algunos complicados han llegado hasta nosotros. Veremos ahora cmo los griegos, mediante la tcnica de la aplicacin de reas^ resuelven un problema geomtrico equivalente al de la resolucin exacta de la ecuacin de segundo grado.

72 Los pitagricos no conocan otros nmeros que los naturales, y de alguna manera operaban tambin con los racionales; las proporciones pitagricas son de cantidades conmensurables. El descubrimiento por alguno de los pitagricos (entre 415 y 365) de que la diagonal del pentgono regular es inconmensurable con su lado, y la diagonal del cuadrado con el suyo, hizo increblemente difcil el estudio de la Geometra mediante nmeros. En particular, era patente que el problema equivalente a la resolucin de la ecuacin X = 2, no poda tener solucin, si sta haba de ser un nmero, a menos que se crease un nuevo conjunto de nmeros. No ha sido hasta finales del siglo XIX que se ha creado el conjunto de los nmeros reales, haciendo siempre posible la extraccin de races cuadradas, pero esta creacin era mucho ms difcil que lo que requera la solucin del problema algebraico planteado. Eudoxo en el siglo IV a.de C. fue quien resolvi la crisis, introduciendo unas nuevas entidades matemticas que no llam nmeros, sino magnitudes. El Libro V de los Elementos es una Teora de Magnitudes, y mediante ellas resuelve en el Libro VI un problema de aplicacin de reas, que ofrece en particular y de una manera equivalente la solucin de la ecuacin de segundo grado. Las magnitudes del Libro V son magnitudes geomtricas, en cuanto que se refieren a entidades geomtricas. Las magnitudes que aqu interesan son las de segmentos de rectas, de ngulos y de figuras planas. Segun Def. 1.14 "una figura es aquello contenido dentro de uno o varios contornos"; contornos elementales, pues necesariamente son un nmero finito de segmentos (de recta) o arcos (de crculo). Podemos decir que en el Libro VI de los Elementos una magnitud es una medida (no numrica, sino sui generis) de segmentos, ngulos o figuras planas, que Euclides designa respectivamente por segmento (equivalente a longitud), ngulo (equivalente hoy a valor del ngulo), y por rea (como hoy) o por la misma palabra que designa la figura (tringulo, paralelogramo (Vase Prop. I, 34), polgono, etc. ...). Pero, obsrvese, que actualmente el rea de una figura plana es un nmero real, mientras que para Eudoxo y Euclides es una magnitud Cuan cerca est la estructura del conjunto de magnitudes de la del cuerpo ordenado de nmeros reales es una cuestin que se discute; son relevantes para esta discusin los artculos de Krull y las observaciones de Kline[ pp. 72 sg.]. La primera vez que Euclides menciona la aplicacin de reas es en la Prop. 44 del Libro I (debido a los pitagricos). El enunciado dice as: "Aplicar sobre un segmento dado AB y segn un ngulo rectilneo dado D, un paralelogramo igual a un tringulo dado C". (Hemos aadido las letras para mayor claridad y no tener que repetir).

73 La solucin viene dada por el paralelogramo LB, o sea LABM. Se empieza construyendo el ngulo EBG = ngulo D; luego se toma BG igual a la mitad de la base del tringulo C y se traza el paralelogramo FB de modo que tenga la misma altura que el tringulo C. Despus se halla la interseccin K de FE y HB, se concluye la construccin trazando KML El paralelogramo BL es igual al BF y por tanto igual a C, como se quera demostrar. Obsrvese el doble sentido de la palabra "igual". Cuando se dice que dos tringulos son iguales es que las figuras son congruentes y las dos figuras son iguales. En el enunciado anterior, el paraleloramo LB es "igual" al tringulo C, es decir que tienen la misma magnitud (o sea la misma rea o medida). El enunciado de la Prop. V I , 29 dice: "Sobre una recta dada AB aplicar un paralelogramo AO igual a una figura rectilnea dada C y que exceda por una figura paral el ogrmica BPOQ semejante a una dada D".

Q O

Es decir, se trata de hallar el punto O, tal que el paralelogramo AO tenga la misma rea que el polgono dado C; y tal que el paralelogramo BPOQ, cuya base BP es lo que la base AP "excede" de AB dado, sea semejante al paralelogramo dado O. Para ello, sea E el punto medio de AB y trcese sobre EB el paralelogramo EBLF semejante al D dado. Trcese aparte (como se ha demostrado en la Prop. V I , 25) el paralelogramo GH semejante a O e igual a la suma de BF y C. Tmese FM igual a KH, y FN igual a KG, y compltense los paralelogramos NM y BO. Entonces, el "gnomon" NEBLMON es igual a C; y en este mismo gnomon el paralelogramo LP es igual (en rea) al EQ, y ste a su vez es igual al AN. Por tanto, AO es igual a C y BO es semejante a D, como se quera demostrar. Para ver que la resolucin de este problema equivale a la resolucin de una ecuacin de segundo grado, supngase que el paralelogramo dado D sea un cuadrado. Pngase

74 AB = 2a, C = b .El paralelogramo BO es un cuadrado y el problema es el de determinar el punto O, o sea, el de hallar QO = OP = x, tal que el rectngulo AO sea igual a b , o sea tal que x ( 2 a + x) = b ^ La construccin de Euclides permite en efecto calcular exactamente OP = x. Euclides da tambin la solucin completa (VI, 28) de la ecuacin X (2a-x) = b^ slo y cuando sea b < a . Observemos finalmente que las reas (en el sentido de Eudoxo) de las figuras planas son los valores de una aplicacin definida sobre el conjunto de figuras planas y que toma valores en el conjunto de magnitudes; stas, de acuerdo con la Definicin V, 4, forman razn, es decir, son arquimedianas. Puesto que cualquier figura plana es igual (en rea) a un rectngulo con uno de los lados constante, es obvio que las magnitudes forman un semigrupo abeliano totalmente ordenado y arquimediano [ Krull, 1960, p. 87 ] .

2.23.

He aquT el enunciado de la primera proposicin del Libro X:

"Dadas dos magnitudes desiguales, si de la mayor se substrae una magnitud mayor que su mitad, y del resto una magnitud mayor que su mitad, y asf sucesivamente, quedar una magnitud que ser menor que la menor de las magnitudes dadas". Para demostrar esta proposicin es necesario el postulado de Arqufmedes, o sea suponer que las magnitudes forman razn u otra relacin equivalente. Euclides aplica la definicin V, 4 y la demostracin es fcil, y el mismo resultado bastante obvio. En trminos modernos, tenemos que ei primer resto ha de ser menor que

(1-1).a,
suponiendo que a y b son las longitudes de los segmentos dados (o los valores de las magnitudes dadas) y que a > b. El segundo resto ser menor que 2

75 y al cabo de n veces, el resto que se obtenga ser menor que (1--) a= ^ . 2 2" Aplicando el postulado de Arqui'medes, resulta inmediato que existe n tal, que se tenga \ < como se quera demostrar. Se objeta a esta definicin que es incorrecta [ Vase Kline, p. 81 ] cuando se aplica la Definicin V, 4, o sea, cuando se aplica el postulado de Arqumedes. Segn las definiciones V ,3 y 4 (Vase la seccin 1.1) parece que puede haber magnitudes que no formen razn, y en este caso la aplicacin de la Definicin V, 4 sera en efecto incorrecta. Para poderlo apiicar, habra que demostrar que las magnitudes forman razn, y tal demostracin no se da. Pero, las Definiciones V, 3 y 4 son definiciones de trminos primitivos, ms an de trminos primitivos geomtricos, pues se trata de Geometra. De hecho, las nicas magnitudes que Euclides estudia o menciona explcitamente son las relativas a segmentos^ ngulos, figuras planas limitadas por rectas o crculos, y figuras slidas limitadas por planos o esferas o cilindros o conos, es decir, todas muy elementales desde el punto de vista moder-. no. Ahora bien, Euclides ignora los nmeros reales, y por tanto a l el que los segmentos formen razn, le ha de parecer necesariamente indemostrable. Si ahora recordamos lo dicho en la seccin 1.3, parece que debe entenderse que Euclides supone tcitamente que el lector entiende lo que significan las Definiciones V, 3 y 4, y que acepta que existen tales magnitudes; o sea, que equivalentemente acepte que los segmentos de recta (se subentienden las magnitudes de los segmentos de recta), y lo mismo las figuras planas y slidas que menciona, forman en efecto razn, o sea que satisfacen el postulado de Arqumedes. El cual, por cierto, es actualmente evidente, pues identificamos la recta euclidiana con la recta real, y suponemos que la recta real es consistente. Parece, pues, que debemos concluir que los Libros V y VI no son una Teora de Magnitudes general, sino solamente una Teora de Magnitudes Arquimedianas Y parece tambin, que lo ms que se puede criticar de Euclides es que no formule explcitamente el postulado de que los segmentos son magnitudes que forman razn, como por ejemplo postula explcitamente que existe una recta que pase por dos puntos dados. Obsrvese, sin pretender que esta observacin tenga otro valor que el de ilustrar, que cuando hoy se dice: '* A es B, cuando A tiene tal propiedad", nadie entiende que tal propiedad sea condicin necesaria, sino slo suficiente. Pero si se dice: "Definicin: Un espacio topolgico es un espacio de Hausdorff cuando tiene tal propiedad", normalmente se entiende actualb

76
mente que tal propiedad no slo es suficiente, sino que es tambin necesaria. 2. 24. Para terminar esta leccin expondr la Prop. X I I , 2, en la que el mtodo de exhaucin, debido a Eudoxo, es empleado por primera vez en los Elementos y probablemente en toda la historia del pensamiento. La Prop. Xl, 1 demuestra que las reas de dos polgonos semejantes inscritos en sendos crculos son entre s como los cuadrados de sus dimetros. La demostracin no ofrece especial dificultad y es incluso corta, pues se apoya en los resultados anlogos del Libro VI La Proposicin X I I , 2 establece: ''Crculos son entre s como los cuadrados sobre sus dimetros". La demostracin de esta proposicin ha sido cuidadosamente preparada de antemano, con la Proposicin X I I , 1 precedente, y sobre todo con la Proposicin X,1, que acabamos de exponer en el apartado 2.23. En la demostracin se suponen implcitamente que las magnitudes o reas de las figuras planas poligonales (y tambin las limitadas por arcos de crculo), que como hemos visto en el apartado 2.22 forman un semigrupo abeliano, totalmente ordenado y arquimediano, satisfacen tambin el postulado de monotona: "si una figura est contenida en otra, su rea es menor", y el de aditividad: "si dos figuras son dlsjuntas, el rea de su unin es la suma de sus reas". Supongamos que se dan dos crculos, C y C , con sus respectivos dimetros d y d'. La Proposicin establece: Area de C Area de C* - d d'^

Supongamos que no sea verdad, dice Euclides. Entonces existir una rea S tal que Area de C d^ d-^ '

siendo S < pongamos

Area de C o S > Area de C . Supongamos que tiene lugar lo primero, y

Area de C* S = E,

77 o sea que E es la diferencia entre el rea de C y el rea S. Se trata ahora de demostrar que esta diferencia E lleva a una contradiccin, y para ello Euclides se valdr de la Prop. XI,1 de la X,1, y de la construccin de una sucesin de polgonos regulares inscritos en C y que "exhausten", o sea, agotan o llenan el rea de C. El primer polgono regular de la sucesin es, siguiendo a Euclides,un cuadrado inscrito en C el cual tiene un rea mayor que la mitad del rea de C. El segundo polgono es el octgono regular que tiene cuatro vrtices comunes con el cuadrado; Euclides demuestra fcilmente que el rea de este octgono excede el rea del cuadrado en una rea mayor que la mitad del exceso del rea de C sobre el cuadrado. El siguiente polgono es el regular de 16 lados, que tiene ocho vrtices comunes con los del octgono, y cuya rea excede la de ste en una rea, mayor que la mitad del exceso del rea de C sobre el octgono. Y as sucesivamente. Aplicando ahora la Prop. X,1, Euclides concluye la existencia de un polgono, sea P', inscrito en C* y tal que su rea difiere del rea de S en menos de E, o sea Area de C Area de P' < E = Area de CS. De aqu se deduce que el Area de P' es mayor que S. Sea ahora P el polgono semejante al P' e inscrito en C. Aplicando la Prop. XI 1,1 se tiene Area de P Area de P'
j 2

d'^

Ahora bien, las dos proporciones obtenidas arrojan Area de C S Area de P Area de C -, o sea Area de P' Area de P

Area de P'

Puesto que el polgono P est contenido en el crculo C, el rea de P es menor que el rea de C y por tanto tambin el rea de P' ha de ser menor que S. Pero se ha visto que por su construccin el rea de P' es mayor que S. Luego hemos llegado a una contradiccin y es imposible que S sea menor que el rea de C. Igualmente se demuestra que S tampoco puede ser mayor que el rea de C*. Por consiguiente ha de ser igual, como se quera demostrar. Esta doble reduccin al absurdo resulta mucho ms clara que el paso al lmite. As como Galileo debi de pasar muchas horas analizando la Teora de Proporciones del Libro V, Newton las pas estudiando el mtodo de exhaucin.

78 BIBLIOGRAFA

ARISTTELES. Ediciones de W.D. Ross, Vol. I; Loeb Classical Library, N^391. Traduccin Castellana de F. Larroyo, Mxico, 1982 (7^ d.). BECKER, Oskar, GrundIagen der Mathematik, Freiburg, 1964. BOYER, Cari B., A History of Mathematics, Wiley, Nueva York, 1968. DOU, Alberto, 1970, Fundamentos de la Matemtica, Labor, Barcelona, 1974 (2^ d.). EUCLIDES. XTOLX^IXX (Elementos); edicin crtica y traduccin al latn por I. L.

HEIBERG, Teubner, Leipzig, 1883. Traduccin inglesa por T.L. Heath, Dover, Nueva York, 1956 (2^ d.). HILBERT, David, Fundamentos de la Geometra; traduccin del alemn por Francisco Cebrin. CSIC, Madrid, 1953. KNORR, Wilbur, "La croix des Mathmaticiens: The Euclidean Theory of irrational Lines'*, Bulletin of The Am. Math. Soc. 9(1983), 41 - 6 9 . KRULL, Wolfang, 1960, "Ueber die Eudomorphismen von total geordneten Archimedischen Abelschen Gruppen", Mathem. Zeitschrift, 74 (1960), 81-90. KRULL, Wolfang, 1962, "Automorphismen und Spiegelungen eudoxischer Halbgruppen" Mathem. Zeitschrift, 79(1962), 53-68. KLINE, Morris, Mathematical Thought from Ancient to Modern Times, Oxford Univ. Press. Nueva York, 1972. LOSEE, John, 1972, Introduccin histrica a la filosofa de la Ciencia; traduccin del alemn por A. Montesinos; Alianza Editorial, Madrid, 1972. ORTIZ DE URBINA, Ricardo S., "Algunos aspectos del lenguaje de la matemtica griega (en torno a los porismas)". Ponencia en el III Congreso de Teora y Metodologa de las Ciencias, Gijn, 1985. En curso de publicacin (Cedida amablemente por el autor). REY PASTOR, Julio, y J. BABINI, Historia de la Matemtica, Espasa-Calpe, Buenos Aires, 1951.