Documentos de Académico
Documentos de Profesional
Documentos de Cultura
8 Solucion Eudoxo 33
8 Solucion Eudoxo 33
LA TEORA DE LA PROPORCIN Y EL MTODO DE EXHAUCIN (*) Pedro Miguel Gonzlez Urbaneja (**)
Dicen que la divinidad se enoj contra quien divulg la doctrina de Pitgoras, pereciendo como un impo en el mar por sacrlego, al haber revelado la doctrina de los nmeros irracionales y la inconmensurabilidad. JMBLICO. Vida Pitagrica. XXXIV, 247. Etnos, Madrid, 1991, p.141. Para el alma antigua el principio de lo irracional fue como un criminal atentado a la divinidad misma que pone en cuestin no slo el concepto antiguo del nmero, sino hasta el concepto del mundo antiguo. O. SPENGLER. El sentido de los nmeros (en La decadencia de Occidente. Cap.I.1). Austral, Madrid, 1998. p.152. Eudoxo es el artfice de los principios que durante toda la antigedad han tenido el papel que juega en la actualidad el recurso de los lmites. [] Eudoxo ha sido el autntico antecedente de Arqumedes en el clculo de cuadraturas y cubaturas. P. TANNERY. La Gomtrie grecque. Gauthier-Villars, Pars, 1887, p.96. Eudoxo est en la cumbre de las matemticas griegas por haber encontrado el primer mtodo lgicamente satisfactorio, que Euclides ha reproducido en el Libro V de sus Elementos, para resolver los problemas de la continuidad, los enigmas del infinito y los ddalos de los nmeros irracionales. E. BELL. Les grands mathematicians. Payot, Pars, 1950, pp. 36-37 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Introduccin. La aparicin de los inconmensurables. Contextos matemticos de la inconmensurabilidad de y . Consideraciones filosficas sobre la inconmensurabilidad. La definicin pitagrica de Proporcin. La crisis de los inconmensurables en la Academia platnica. La fundamentacin de Eudoxo. La Teora de la Proporcin. El Mtodo de Exhaucin de Eudoxo. El rea del crculo. Consecuencias sobre la naturaleza de la geometra griega. Los Elementos de Euclides Bibliografa.
(*)
Este es el primero de una serie de cuatro artculos, donde estudiamos los problemas infinitesimales en la cultura griega. Si aqu describimos la formidable crisis de fundamentos que produjo la aparicin pitagrica de las magnitudes inconmensurables y la sagaz solucin que le dio Eudoxo de Cnido, con la Teora de la Proporcin y el Mtodo de Exhaucin, en el segundo expondremos la aplicacin que hace Euclides de los mtodos de Eudoxo a las cubaturas de algunas figuras en el Libro XII de Los Elementos. En los artculos tercero y cuarto veremos la magnifica ampliacin por parte de Arqumedes del patrimonio infinitesimal eucldeo, tanto en el mbito del descubrimiento con el mtodo mecnico como en el de la demostracin con diversas variantes del Mtodo de Exhaucin de Eudoxo.
101
SIGMA 33
El Pentagrama mstico pitagrico en la Proposicin XIII.8 de Los Elementos de Euclides en el folio 66 recto del manuscrito f-III-5 de El Escorial, uno de los ms antiguos que se conservan (siglo XI). En la Proposicin XIII.8 Euclides demuestra que las diagonales de un pentgono se cortan en razn urea, un resultado pitagrico de trascendencia crucial sobre el descubrimiento de los inconmensurables.
Pentagrama mstico pitagrico en un rosetn mudjar de la iglesia de San Andrs de Calatayud (Zaragoza)
1. INTRODUCCIN
La idea de que dos magnitudes, y ms concretamente dos segmentos, tienen siempre una parte alcuota comn, es decir que son conmensurables, es sin duda una etapa primigenia inevitable en el desarrollo del pensamiento intuitivo matemtico tanto en el horizonte histrico como en el escolar, y por supuesto en el mbito artesanal, por necesidades de la medida siempre aproximada de longitudes.
102
La aparicin de las magnitudes inconmensurables marc una inflexin radical en la evolucin histrica de la geometra griega, ya que puso fin al sueo filosfico pitagrico acerca del nmero como esencia del universo, elimin de la geometra la posibilidad de medir siempre con exactitud y fue lo que imprimi a la matemtica griega una orientacin geomtrico-deductiva plasmada en la compilacin enciclopdica de Los Elementos de Euclides. Los inconmensurables conducen a un trastorno lgico que estremece los cimientos de la geometra griega, ya que al invalidar todas las pruebas pitagricas de los teoremas que utilizaban proporciones acarrean la primera crisis de fundamentos en la Historia de la Matemtica. El sagaz matemtico de la Academia platnica, Eudoxo de Cnido, resuelve de forma brillante y rigurosa, aunque provisional durante dos mil aos, la antinomia radical entre finito e infinito, mediante su Teora de la Proporcin plasmada en el Libro V de Los Elementos de Euclides y el Mtodo de Exhaucin aplicado en el Libro XII Los Elementos , antecedente de las rigurosas cuadraturas de Arqumedes y del recurso moderno de los lmites. Pero el desarrollo de la geometra al margen y en detrimento de la aritmtica, la ausencia de un lgebra simblica, y es ms, la conversin de toda la matemtica en geometra, con un apodctico estilo sinttico de exposicin que oculta la va heurstica del descubrimiento, fue una consecuencia inevitable.
103
permanecido oculto. En consecuencia, el culpable, que fortuitamente toc y revel este aspecto de las cosas vivientes, fue trasladado a su lugar de origen, donde es flagelado a perpetuidad por las olas". En el mismo tono apocalptico escribe Jmblico, como hemos visto en la primera cita, a cuyo texto precede el siguiente (Jmblico, Vida Pitagrica. XXXIV, 246247, p.141): "Se dice que primero que revel la naturaleza de la conmensurabilidad e inconmensurabilidad a los indignos de participar de tales conocimientos fue aborrecido [por la comunidad pitagrica] hasta el punto de que no slo lo expulsaron de la vida y de la vivienda en comn, sino que incluso le erigieron una tumba como si l, que haba sido una vez compaero, hubiese abandonado la vida entre los hombres. [...] Otros afirman que la divinidad se enoj contra quien divulg la doctrina de Pitgoras, pereciendo como un impo en el mar por sacrlego al haber revelado la doctrina de los nmeros irracionales y la inconmensurabilidad". La lectura de los pasajes de Proclo y Jmblico, por muy legendarios que sean como casi todo lo concerniente a lo pitagrico, producen un escalofro mstico: la divulgacin del fenmeno de la inconmensurabilidad se consideraba un pecado contra lo ms sagrado un grave sacrilegio, un delito de lesa geometra, acreedor al ms terrible castigo divino: ser conducido al lugar de origen, es decir, a la nada, ser desposedo del ser. El descubrimiento de la inconmensurabilidad marca un hito en la Historia de la Geometra, porque no es algo emprico, sino puramente terico. Su aparicin seal el momento ms dramtico no slo de la geometra pitagrica sino de toda la geometra griega, y fue con seguridad lo que imprimi a la matemtica griega un cambio de rumbo que la convertira en la obra de ingeniera geomtrico-deductiva plasmada en Los Elementos de Euclides. El gran historiador de la Matemtica Howard Eves, en su obra en dos volmenes Great Moments in Mathematics (The math. Assoc. of America, Maine,1977) dedica al tema de los inconmensurables dos captulos que titula Lecture Five. Precipitation of the first crisis y Lecture six. Resolution of the first crisis. H.Eves escribe (vol.1, p.53): "El descubrimiento de nmeros irracionales y magnitudes inconmensurables provoc una considerable consternacin en las filas pitagricas al dar un golpe mortal a su Filosofa que dependa de los nmeros enteros. [...] Cmo puede ser que el nmero dependa de nmeros enteros y no pueda expresarse como razn de dos de ellos? El sentido comn y la intuicin resultan contrariados por la contrapartida geomtrica del hallazgo: existen segmentos que no pueden ser medidos por una unidad comn. Pero toda la Teora de la Proporcin pitagrica y de figuras semejantes se basaba en esta presunta obvia asuncin, de modo que una extensa parte de la geometra pitagrica quedaba invalidada de repente. Se precipit una seria crisis de fundamentos en la Matemtica. Tan grave fue el escndalo lgico que se desplegaron enormes esfuerzos por mantener el asunto en secreto y una terrible leyenda emergi sobre el que lo revel a los extraos, el pitagrico Hipasos de Metaponto, que, segn unos, pereci en el mar por impiedad, y, segn otros, fue desterrado de la comunidad pitagrica y se le erigi una tumba como si hubiera muerto". La imposibilidad de calcular de forma aritmtica exacta la diagonal del cuadrado en funcin del lado, es decir la imposibilidad emprica y numrica de resolver el problema de la "duplicacin del cuadrado" (dilogo de Platn el Menn, 82d83e) implicara que haba que hacer algo distinto. El espritu griego no se arredrar ante la dificultad y pasar al ataque. Renunciando a la exactitud aritmtica y trascendiendo lo emprico replantear el problema
104
soslayando la presencia temible e inexorable del infinito mediante la construccin geomtrica. La incalculabilidad aritmtica de ciertas medidas, pronto de la casi generalidad de las medidas, ya que los inconmensurables aparecan en otros muchos campos de la geometra, por ejemplo, en la relacin entre lado y altura del tringulo equiltero o entre la circunferencia y el dimetro, desencaden la primera crisis de fundamentos en la Historia de la Matemtica, pero fue la cuna de la geometra griega a travs de la emergencia de la demostracin, uno de los componentes esenciales del milagro griego en Matemticas. La inconmensurabilidad entre la circunferencia y el dimetro es comentada por Aristteles con estas palabras (Metafsica. Libro I, Cap.2, 983a): "Sobre la inconmensurabilidad del dimetro respecto de la circunferencia a todos nos parece admirable que una cosa no sea medible por medio de otra que es divisible an en partes muy pequeas, [...]. Nada causara ms asombro a un gemetra que el ver que la relacin del dimetro a la circunferencia resultaba conmensurable". Las circunstancias concretas que rodearon el primer reconocimiento de la existencia de los inconmensurables son tan desconocidas como la fecha en que tuvo lugar el descubrimiento. Los anlisis de las escasas fuentes histricas primigenias de la geometra griega dieron lugar en la antigedad a leyendas como las relatadas por Proclo y Jmblico, y en el pasado siglo los historiadores P. Tannery, H. G. Zeuthen, T. Heath, B. L. van der Waerden, S. Maracchia, W. Knorr, C. Eggers, J. Babini, R. Mondolfo, K. von Fritz, C. Boyer, y otros, han establecido diversas teoras polmicas y cronologas al respecto. Aunque Proclo en sus Comentarios al Libro I de Los Elementos de Euclides, atribuye al propio Pitgoras la cuestin inconmensurable cuando escribe que este filsofo "descubri la dificultad de los nmeros irracionales", suele admitirse que el hallazgo tuvo lugar hacia el ao 480 a.C. por el pitagrico Hipasos de Metaponto. El descubrimiento pudo aparecer al intentar reiteradamente de forma emprica encontrar una unidad que permitiera medir, de manera exacta, simultneamente la diagonal y el lado del cuadrado equivalentemente la hipotenusa y un cateto de un tringulo rectngulo issceles o bien la diagonal y el lado de un pentgono regular. Tras la publicacin del artculo de Kurt von FRITZ, The discovery of incommensurability by Hippasus of Metapontum (Annals of Mathematics, 46, 242-64, 1945), parece imponerse la hiptesis del pentgono.
105
La inconmensurabilidad de
Demostracin aritmtica de la inconmensurabilidad de Sea p/q una fraccin irreducible tal que (p/q)2 = 2. Se verifica: p2/q2 = 2; p2 = 2q2, de modo que p2 (y por tanto p) es un nmero par; es decir: p = 2s, de donde 2q2 = p2 = (2s)2 = 4s2. As pues: q2 = 2s2, de modo que q2 (y por tanto q) es un nmero par; es decir: p = 2r. El carcter par de p y q contradice la hiptesis de que p/q es una fraccin irreducible. En consecuencia no puede existir ningn segmento cuyo cuadrado sea 2.
El mtodo indirecto por reduccin al absurdo de esta demostracin, hace improbable que sta fuera la base del descubrimiento pitagrico original de los inconmensurables. exhibida, equivalente segn el La demostracin aritmtica de la inconmensurabilidad de Teorema de Pitgoras a la inconmensurabilidad de la diagonal de un cuadrado con respecto al lado que debe ser medida por un segmento cuyo cuadrado sea 2, se ha interpolado en los textos apcrifos de Los Elementos de Euclides como proposicin X.117. La demostracin esta basada en la distincin entre lo par y lo impar y ya haba sido aludida por Aristteles (Lgica. Analtica Primera. Libro I, Cap. 23, 41a): "Se demuestra que la diagonal del cuadrado es inconmensurable con los lados, mostrando que si se supone que es conmensurable, los nmeros pares sern igual a los nmeros impares". El eminente matemtico ingles G.H. Hardy escribe un autntico panegrico de esta demostracin en su conocida obra Apologa de un matemtico, donde describe su concepcin de la Matemtica (Nivola, Madrid, 1999. p.91): ] es un teorema simple, tanto "[La demostracin aristotlica de la irracionalidad de en su idea como en su ejecucin, pero no hay duda de que es un teorema de la mayor categora. Conserva la frescura y el significado del momento de su descubrimiento; y los ms de 2000 aos transcurridos no lo han desgastado un pice".
Demostracin geomtrica de la inconmensurabilidad de Supongamos que existe un segmento HK que divide a los segmentos AB (cateto) y a BC (hipotenusa), es decir: HK|AB, HK|BC. De la geometra de la figura se deduce: AB = FB [radios] FD = AD [tangentes] FC = BCAB (1) FD = FC [(FDC) issceles (<D=<B=<C)] DC = ACAD = ACFD = ACFC (2) De (1) y (2) se deduce: HK|FC, HK|DC Este proceso se puede reiterar indefinidamente, con el resultado de que se van obteniendo tringulos issceles que pueden llegar a ser "tan pequeos como se quiera", en los que el segmento fijo HK divide simultneamente al cateto y a la hipotenusa, lo cual es manifiestamente imposible. Esto lleva a la conclusin de que no puede haber una unidad de longitud que mida simultneamente el cateto y la hipotenusa del tringulo, es decir, estos dos segmentos no son conmensurables.
106
La inconmensurabilidad de
Hay otros caminos geomtricos, quiz ms acordes con los usos pitagricos, por los que pudo llegar a desvelarse el fenmeno de la inconmensurabilidad. Es probable que la cuestin se suscitara con la consideracin de la seccin urea y del pentagrama mstico pitagrico. Euclides introduce la nocin de seccin urea en la Definicin VI.3 de Los Elementos: "Se dice que un segmento est dividido en media y extrema razn cuando el segmento total es a la parte mayor como la parte mayor es a la menor".
Tomando AB = 1, BC = x, la razn urea se escribir: (x+1)/x = x/1. Al nmero x se le llama el "nmero de oro". Tradicionalmente se le representa por la letra griega f. As pues, f es la solucin positiva de la ecuacin: f2 f = 1, es decir: f = (1+ )/2. Veamos, como en el caso de , sendas orientaciones (aritmtica y geomtrica) de la incon(Euclides XIII.6). La aritmtica es equivalente a la inconmensurabilidad mensurabilidad de del nmero de oro f, y la geomtrica utiliza la geometra del pentagrama mstico pitagrico. Como se sabe, si trazamos las cinco diagonales de un pentgono regular, estas diagonales determinan un segundo pentgono regular ms pequeo, y a su vez las diagonales de este segundo pentgono forman un tercer pentgono regular que es ms pequeo an. Este proceso puede repetirse indefinidamente, con el resultado de que se van obteniendo pentgonos que pueden llegar a ser "tan pequeos como se quiera".
Demostracin aritmtica de la inconmensurabilidad de [Basta demostrar la inconmensurabilidad del nmero ureo: f = (1+ )/2] Supongamos f = p/q fraccin irreducible [mcd(p,q) = 1]. f es solucin de la ecuacin f2 f = 1. f2 f = 1 , por tanto se verifica: (p/q)2 (p/q) = 1 , de donde resulta: p2 pq = q2. Luego p(pq) = q2 , es decir: p divide a q2. Por tanto segn un Teorema de Euclides (Elementos, VII.30) p tambin divide a q. El ltimo resultado contradice la hiptesis.
Demostracin geomtrica de la inconmensurabilidad de Supongamos que existe un segmento PQ que divide a la diagonal EB y al lado AB del primer pentgono, es decir: PQ|EB, PQ|AB. De la geometra de los pentgonos resulta: FBCD es un rombo, luego se verifica: FB = DC = AB. EFHJ es un rombo, luego se verifica: EF = FH. De las relaciones anteriores se obtiene: FH = EF = EB FB = EB AB, FG = EB 2EF = EB 2(EBAB) = 2AB EB. Luego PQ|FH, PQ|FG. De modo que si un segmento fijo PQ divide a la diagonal y al lado del primer pentgono, tambin divide a la diagonal y al lado del segundo pentgono. Este proceso se puede reiterar indefinidamente, obtenindose pentgonos que pueden llegar a ser "tan pequeos como se quiera", en los que el segmento fijo PQ divide simultneamente a la diagonal y al lado, lo cual es manifiestamente imposible. As pues, no puede haber una unidad de longitud que mida la diagonal y el lado de un pentgono, es decir, estos dos segmentos son inconmensurables. Adems resulta: "Las diagonales de un pentgono se cortan en proporcin urea siendo el segmento mayor igual al lado de pentgono" (Euclides, XIII.8). DABE DGAB => EB/AB = AB/BG [Euclides VI.4]. AB = EG => EB/EG = EG/GB. Segn algunos historiadores de la matemtica sta debi ser la primera aproximacin histrica al fenmeno de la inconmensurabilidad.
107
Fragmentos de las Proposiciones I.47 (I.46) y XIII.8 (XIII.11) de Los Elementos de Euclides. Edicin de Ratdolt, Venecia, 1482. Ejemplar de la Biblioteca del Monasterio de San Milln de Yuso. En esta edicin las Proposiciones I.47 y XIII.8 son las I.46 y XIII.11, respectivamente. La celebre frase del Mysterium Cosmographicum (1596) de Kepler: "La Geometra tiene dos grandes tesoros, uno es el Teorema de Pitgoras y el otro es la Seccin urea; si el primero es una joya de oro, el segundo viene a ser una piedra preciosa", se convierte en emblemtica al ser ambos tesoros los consignatarios histricos de la inconmensurabilidad. Segn E.Colerus [Breve historia de las Matemticas. Doncel, Madrid, 1972. Vol.1, cap.1. pp. 29, 30]: "El sensacional e indeseado descubrimiento de los irracionales, que pareca obra de espritus malignos destinada a destruir un sueo aritmtico maravilloso, abrira ms tarde el camino de vertiginosos descubrimientos matemticos. [...]. El presunto castigo divino para quien divulg el secreto de los irracionales es la ms especficamente helnica de las leyendas". Para J. Babini [El Mtodo de Arqumedes. Eudeba, Buenos Aires, 1966, p.14]. "El descubrimiento pitagrico de los irracionales mostr su incompatibilidad con su metafsica y planteaba a los pitagricos una tremenda alternativa: de mantener su metafsica, mutilaban la geometra; de mantener la geometra anulaban su metafsica".
108
109
As pues la unidad aritmtica se revela impotente para medir la entidad y debe ser la unidad geomtrica el segmento unidad quien cumpla la funcin de medicin; el contar aritmtico cede por incapacidad ante la medida geomtrica. El abismo entre lo discreto y lo continuo, entre finito e infinito, que ha creado la aparicin del inconmensurable obliga a renunciar a medir siempre con exactitud y privilegiar la geometra sobre la aritmtica.
La Arcadia pitagrica, una atmsfera mstica impregnada de simbologa matemtica, donde se desarrollaba la pasin por el conocimiento mediante especulaciones filosficas y matemticas que condujeron al descubrimiento de las magnitudes inconmensurables.
La cosmovisin pitagrica estableca que toda la naturaleza estaba regida por un orden matemtico y acuaba el trmino Cosmos para describir un universo armonioso y ordenado por unas leyes cognoscibles, inteligible por el hombre a travs de nmero, germen elemental que como "esencia de todas las cosas" era el principio generador en el macrocosmos y el microcosmos. Como elemento de inteleccin del mundo, el fsico y el espiritual, los nmeros eran lo sagrado ntimamente vinculado a la razn. Con estos presupuestos filosficos, se puede entender la magnitud de la convulsin que debi suponer para el Pitagorismo la aparicin del inconmensurable como elemento que al estar fuera de la inteligibilidad produce un disturbio radical en el orden numrico, ya que no slo fractura lo inmediato, es decir, la aritmtica y la geometra el Pitagorismo haba establecido una exacta identificacin entre nmero y magnitud, entre el pensamiento aritmtico y la realidad concreta, sino tambin la ciencia en general y la filosofa, al resquebrajarse sus cimientos aritmticos que eran principios racionales basados en el nmero entero. El descubrimiento de los inconmensurables es un desafo lanzado por la naturaleza a la aritmtica que refuta la creencia pitagrica en la omnipotencia de los nmeros.
110
En palabras de V. Gmez Pin [La tentacin pitagrica, Sntesis, Madrid, 1999, cap. 2.3, p. 52]: "El Pitagorismo afirma con radicalidad que los nmeros encierran la respuesta a todos los interrogantes relativos tanto al orden y disposicin de las cosas naturales como al orden y disposicin del espritu. [Para los pitagricos] los nmeros vienen a ser lo sagrado ntimamente vinculado a la razn, lo sagrado para quien no escinde confrontacin al origen y deseo de saber: los nmeros son lo sagrado porque sagrado es para el pitagrico lo que explica y los nmeros se le aparecen muy poderosos como elemento de explicacin. Se entiende as la conmocin que supondra el descubrimiento de fragmentos cuantitativos que no tenan sentido en el orden numrico conocido por los pitagricos. La aparicin de tales entidades deba forzosamente implicar no ya quiebra en la aritmtica y la geometra, sino tambin quiebra en la ciencia y la filosofa como tales, en la confianza de que hubiera realmente orden natural y orden ciudadano sostenidos en principios racionales".
111
Es evidente que la aparicin de magnitudes inconmensurables invalida la prueba geomtrica exhibida en esta proposicin y en todas las pruebas pitagricas en las que haya que comparar razones de magnitudes geomtricas. Se explica, pues, el consiguiente secretismo de los pitagricos sobre la cuestin irracional y la leyenda del castigo por su divulgacin ante la amenaza apocalptica que se cerna sobre la matemtica y la filosofa pitagricas. La aparicin de la inconmensurabilidad someti el pensamiento pitagrico a un doble desafo, uno filosfico ya que la irracionalidad atentaba contra el sincretismo aritmtico-fsico que estableca la preeminencia del nmero como esencia del Cosmos y otro matemtico ya que a partir de entonces en geometra era imposible medir siempre con exactitud. Leyendas apocalpticas y conjeturas aparte, se comprende que el descubrimiento de las magnitudes inconmensurables produjera un escndalo lgico en todo el mbito pitagrico, ya que exiga una revisin a fondo de los fundamentos de su matemtica y su filosofa. A esta titnica empresa se enfocar la importante labor de Eudoxo de Cnido de la Academia platnica, que resolver de forma genial y rigurosa, aunque transitoria durante ms de dos milenios, la antinomia radical entre finito e infinito.
112
matemtico relativo a los inconmensurables. Por eso se atribuye a Teeteto segn Proclo y Pappus gran parte del contenido del Libro X de Los Elementos de Euclides que trata la clasificacin y estudio en forma geomtrica de las propiedades de cierto grupo de expresiones irracionales cuadrticas. En el Libro VII de Las Leyes Platn censura en boca de un ateniense que dialoga con el extranjero Clinias la ocultacin a los jvenes griegos, en su educacin, de la distincin entre magnitudes conmensurables e inconmensurables tachndola de "ignorancia vergonzosa y ridcula". Platn escribe con una retrica exageracin (Leyes, 819e821a): "Se me ha revelado muy tardamente nuestra habitual deficiencia en este campo [el de los inconmensurables]; me qued enormemente sorprendido y, viendo en ello menos una debilidad humana que una necedad propia de puercos de cra, sent vergenza no slo de m mismo, sino de toda la raza helena". Tambin en el Menn (82b-85b) insiste Platn sobre el tema a propsito del problema de la duplicacin del cuadrado. Curiosamente Platn utiliza el problema para sustentar la doctrina de la reminiscencia. Scrates y un esclavo mantienen una conversacin, en la que mediante una concatenacin de preguntas de aqul, entrelazadas heursticamente con las respuestas de ste, se resuelve el problema. Las primeras respuestas del esclavo, son de ndole aritmtica, pero resultando la imaginacin aritmtica inexacta, Scrates reconducir el dilogo induciendo un tratamiento exclusivamente geomtrico.
113
Es decir si a,b son dos magnitudes geomtricas del mismo tipo y c,d son tambin del mismo tipo (aunque no necesariamente del mismo tipo que a y b), Eudoxo define que las razones: a/b y c/d son proporcionales: a/b = c/d, cuando para cualquier par de enteros positivos n y m, se tiene: na>mb y nc>md na = mb y nc = md, na<mb y nc<md Como podemos apreciar, sorprende la similitud de la definicin de Eudoxo de igualdad de razones con las cortaduras que utiliz Dedekind en el siglo XIX para la fundamentacin del conjunto de los nmeros reales. Con base en esta definicin, Eudoxo disea una nueva Teora de la Proporcin que ser muy alabada por G.H. Hardy en la citada obra Apologa de un matemtico (pp.9899): "Eudoxo construy una profunda teora que aparece descrita en el Libro V de Los Elementos de Euclides, y que es considerada por muchos matemticos modernos como el logro ms depurado de las Matemticas griegas. Esta teora es sorprendentemente moderna en espritu, y puede ser considerada como el principio de la moderna teora de nmeros irracionales, que ha revolucionado el Anlisis Matemtico y ha tenido mucha influencia en la filosofa reciente."
La definicin de Eudoxo de proporcin generaliza la nocin pitagrica de proporcionalidad de razones de enteros 1. Si a/b = c/d en sentido pitagrico, existen enteros p,q,m,n positivos, tales que a = mp, b = mq, c = np, d = nq. Sean h, k, enteros positivos cualesquiera. Se tiene: ha (>, =,<) kb => hmp (>, =, <) kmq => hp (>, =, <) kq => hnp (>, =, <) knq => hc (>, =, <) kd. Por tanto se ha demostrado que a/b = c/d sentido de Eudoxo. 2. Si a/b = c/d en sentido de Eudoxo, donde a,b,c,d, son enteros positivos. Existen enteros, r,s, tales que: ra = sb, y por tanto: rc = sd. Sea h=mcd(r,s), entonces: r = qh, s = ph, donde mcd (q,p) = 1. Ahora se verifica: ra = sb => qha = phb => qa = pb =>
=> a = b = m =>
=> x = d = n =>
Veamos con esta nueva definicin de proporcionalidad la demostracin rigurosa de la Proposicin VI.1 de Los Elementos de Euclides: "Los tringulos que tienen la misma altura, son entre s como sus bases", que se cit en el apartado 5:
114
Sobre la recta CB, tracemos a partir de B, m-1 segmentos iguales a CB y unamos los puntos de divisin B2,B3,...,Bm con el vrtice A. De forma similar tracemos a partir de E n-1 segmentos iguales a DE y unamos los puntos de divisin E2,E3,...,En con el vrtice A. Se tiene BmC = m(BC), ABmC = m(ABC), EnD = n(ED), AEnD = n(AED). Ahora segn la Proposicin I.38 de Los Elementos y su consecuencia: "de tringulos que tienen la misma altura tiene mayor rea el que tiene mayor base", se deduce que el tringulo ABmC es mayor, igual o menor que el tringulo AEnD segn que m(BC) sea mayor, igual o menor que n(DE), por tanto segn la definicin de Eudoxo de proporcin se tiene la tesis de la proposicin ABC/ADE = BC/DE. Se observa que no se menciona la naturaleza conmensurable o inconmensurable de las magnitudes geomtricas; la definicin de Eudoxo se aplica a ambos casos. Esta prueba de la Proposicin VI.1 de Los Elementos es una buena muestra de cmo a partir de la definicin de Eudoxo las magnitudes geomtricas pueden compararse a travs de razones; y es sobre esta base que Eudoxo procedi a la demostracin rigurosa de los resultados pitagricos sobre proporciones del Libro VI de Los Elementos de Euclides, as como de los teoremas de Hipcrates y Demcrito sobre reas de crculos y volmenes de pirmides y conos que aparecen en el Libro XII de Los Elementos de Euclides.
La Definicin V.5 de Los Elementos de Euclides (edicin visual de O.Byrne, Londres, 1847), que introduce la Igualdad de razones. Es el Principio Fundamental de la Teora de la Proporcin, ideado por Eudoxo de Cnido para superar la crisis de fundamentos sobrevenida por el descubrimiento pitagrico de los inconmensurables. La definicin de Eudoxo generaliza la nocin pitagrica de proporcin invalidada por la aparicin del irracional y es la base de los teoremas sobre figuras semejantes del Libro VI de Los Elementos de Euclides.
115
Fragmento de la Proposicin VI.1 de Los Elementos de Euclides (en la misma edicin visual de O.Byrne). El Libro VI de Los Elementos es la aplicacin geomtrica de la Teora de la Proporcin de Eudoxo a los fundamentos del concepto de semejanza. Euclides aplica la Teora de la Proporcin del Libro V en el Libro VI para reconstruir las proposiciones pitagricas sobre figuras semejantes cuya prueba apodctica haba quedado revocada por los inconmensurables, es decir, para demostrar teoremas relativos a razones y proporciones que se presentan en el estudio de tringulos, paralelogramos y otros polgonos semejantes, y lo hace sin hacer distincin entre magnitudes conmensurables e inconmensurables. De acuerdo con el Libro V, sus argumentos son vlidos en ambos casos.
La edicin de O. Byrne de Los Elementos es una versin muy peculiar de los seis primeros libros de Euclides, es decir, la geometra plana elemental, en la que el matemtico Byrne, reduce al mnimo el texto aclaratorio de las proposiciones y teoremas eucldeos, siendo reemplazado por un despliegue inusitado de preciosas ilustraciones en color que son magnficos diagramas descriptivos de las construcciones de Euclides, que "entran por los ojos", y en los que la fuerza sensorial de la percepcin visual de las figuras refuerza la inteleccin de los teoremas y problemas geomtricos. Por ejemplo, la igualdad de ciertas magnitudes se prueba mediante la identidad de forma y color, de modo que, como escribe Byrne en su larga introduccin explicativa, la verdad se pone de manifiesto con la "demostracin ocular", en la que juega un papel fundamental no slo la forma sino sobre todo el color. La edicin de Byrne es un sacrilegio para el idealismo platnico que presida Los Elementos de Euclides, pero tiene un alto valor didctico, casi de Geometra emprica. Eudoxo prescinde del nmero irracional y opera con magnitudes que se pueden hacer menores que otras arbitrariamente prefijadas para lo que introduce lo que hoy llamamos el "axioma de Eudoxo-Arqumedes" o "axioma de continuidad", que aparece inocuamente como una definicin en Los Elementos de Euclides (Definicin V.4): "Se dice que dos magnitudes tienen razn cuando se puede multiplicar una de ellas de modo que supere a la otra". La asuncin de Euclides fue considerada por Arqumedes como un principio o postulado, de ah el nombre con el que ha pasado a la literatura matemtica. Arqumedes lo enuncia en el postulado 5 del Libro I de su obra Sobre la Esfera y el Cilindro [Ver Eecke. Les Oeuvres compltes dArchimde, I, 1960, p.6]: "Dadas dos lneas, dos superficies o dos slidos desiguales, la mayor de estas figuras excede a la menor en una magnitud tal que, aadida a s misma, es capaz de exceder cualquier magnitud propuesta de las que decimos que guardan razn".
116
Vemos cmo Arqumedes advirti que el principio no debe ser una definicin ni un teorema, sino un axioma, en el que, al igual que l mismo, se habra apoyado Eudoxo para abordar las cuestiones infinitesimales. El axioma de continuidad asumido por Arqumedes en el postulado 5, lo repite, con la categora de lema en la carta nuncupatoria a Dositeo de Sobre la Cuadratura de la Parbola, en estos trminos [Ver Eecke. Les Oeuvres compltes dArchimde, II, 1960, p.378]: " [...] Para demostrar este teorema [se refiere a la cuadratura de la parbola] he utilizado el siguiente lema: el exceso por el que la mayor de dos reas desiguales sobrepasa a la inferior, puede, si se aade a s mismo, sobrepasar a toda rea finita dada. Los gemetras anteriores a m tambin se han apoyado en este lema para demostrar que los crculos son entre s como la razn duplicada [el cuadrado] de sus dimetros y las esferas como la razn triplicada [el cubo]; que una pirmide equivale a un tercio de un prisma de la misma base y altura que la pirmide y un cono igual al tercio del cilindro de igual base y altura que el cono, [...]". Arqumedes asegura, como vemos en este texto, que el principio ya fue utilizado por los gemetras anteriores Hipcrates, Demcrito y Eudoxo para demostrar los teoremas del Libro XII de Los Elementos de Euclides sobre crculos, esferas, cilindros, pirmides y conos. Casi en los mismos trminos que en Sobre la Cuadratura de la Parbola, Arqumedes vuelve a enunciar el postulado al final de la carta a Dositeo que precede al tratado Sobre las Espirales [Ver Eecke, Les Oeuvres compltes dArchimde, I, 1960, p.243]. Observamos que la asuncin y el lema de Arqumedes hacen referencia a la adicin, mientras que Euclides es decir, Eudoxo adems de operar en trminos de bisecciones, se atiene a la sustraccin, bajo la lnea programtica del llamado proceso de antiphresis, basado en la sustraccin sucesiva, similar al algoritmo aritmtico eucldeo para el clculo del mximo comn divisor de la Proposicin VII.2 de Los Elementos. La existencia de "geometras no arquimedianas", introducidas en el siglo XX, que no cumplen el axioma de Eudoxo-Arqumedes, muestra claramente cun perspicaz fue la ubicacin que Arqumedes asign a este "principio" en la construccin geomtrica. La importancia del axioma la ha remarcado Klein, en su famosa obra Matemtica elemental desde un punto de vista superior y Hilbert, en Fundamentos de la geometra, donde le asigna un papel fundamental en la estructura de la geometra. El axioma de Eudoxo-Arqumedes juega un papel crucial en la Teora de la Proporcin de Eudoxo del Libro V de Los Elementos de Euclides, en el estudio del clculo con igualdades entre razones, es decir, en la teora geomtrica de todas las posibles transformaciones algebraicas de la ecuacin a/b = c/d. La Teora de la Proporcin, forjada por Eudoxo, permiti a la matemtica griega manejar razones de magnitudes geomtricas de la misma forma y con la misma finalidad con que la matemtica actual opera con todo tipo de nmeros reales. Sobre la base establecida, Eudoxo procedi a establecer pruebas geomtricas rigurosas de los resultados pitagricos sobre figuras semejantes que pasaron al Libro VI de Los Elementos de Euclides. El axioma de continuidad arquimediano tiene la misin de suponer la existencia de magnitudes "tan grandes o tan pequeas como se quiera" que destierra la existencia de infinitesimales actuales en sentido aristotlico para conjurar la temible presencia del infinito incompatible con la matemtica griega y ante el cual la cultura helnica experimentaba una especie de supersticin e incluso un sagrado terror csmico. De ah el gran acierto de Eudoxo, muestra de una inefable perspicacia, en la Definicin V.4 de razn (logos) de dos magnitudes geomtricas homogneas, equivalente a la nocin general de nmero, que se ha convertido en uno de los ms importantes
117
postulados de continuidad en las modernas investigaciones sobre fundamentos de la geometra [Klein, Matemtica elemental desde un punto de vista superior, 1931, pp. 273274]: "[] Coincide con este axioma el postulado que se da en la fundamentacin de la geometra, que dice que por repeticin de un segmento de una semirrecta se puede alcanzar o pasar cualquier punto de ella. []. Euclides y Arqumedes al adoptar tal sistema de magnitudes geomtricas, excluyen completamente la consideracin de infinitamente pequeos o infinitamente grandes actuales, exclusin imprescindible para su teora de las proporciones, ya que sta no es otra cosa, que una forma de la moderna teora de nmeros irracionales. Euclides (o bien Eudoxo), procede y esto es lo ms admirable del mismo modo que se ha procedido en las investigaciones modernas sobre la nocin de nmero". Las ltimas palabras del postulado de Arqumedes: "cualquier magnitud de las que decimos que guardan razn" han sido entendidas de muy diversas formas, hasta el punto de que Dijksterhuis muestra [Archimedes, 1987, p.146] grandes diferencias entre las diversas traducciones de diversas ediciones de la obra arquimediana (la edicin Princeps, Heiberg, Heath, Ver Eecke). La discusin se zanja [Dijksterhuis, 1987, pp.147-149] con la interpretacin habitual acerca de que el Postulado de Arqumedes es una extensin del principio atribuido a Eudoxo y conviene interpretarlo en el sentido siguiente [Dijksterhuis, 1987, p.148]: "Si dos magnitudes satisfacen el axioma de Eudoxo una respecto a la otra, tambin su diferencia satisfacen ese postulado respecto a cualquier magnitud de la misma especie homognea con ambas". Dijksterhuis insiste en que la misin del postulado es excluir de la geometra griega la existencia de infinitesimales actuales, y tendra la importante funcin de discriminar la rigurosa aplicacin de lo que debera ser el "estricto, estndar y oficial" Mtodo de Exhaucin de la prctica de otros mtodos muy tiles y frtiles como herramientas heursticas, pero poco rigurosos geomtricamente, tales como los mtodos de los indivisibles, ya presentidos y casi pergeados en el atomismo geomtrico de Demcrito, utilizados, asimismo, por el propio Arqumedes de una forma tan eficiente y segura en su mtodo mecnico de investigacin y que aplicados por Cavalieri, Torricelli, Pascal, Fermat y dems eximios matemticos del siglo XVII, produjeron la ubrrima eclosin de multitud de tcnicas infinitesimales que inundaron el panorama cientfico y condujeron al inexorable alumbramiento del clculo infinitesimal de Newton y Leibniz.
118
pensamiento infinitesimal en trminos de lmites. En vez de ello se intenta demostrar que se puede encontrar un polgono en la sucesin {P1, P2,..., Pn,...} cuya rea difiera del rea de la figura A en una cantidad menor que otra prefijada, es decir, que la diferencia puede hacerse "tan pequea como se quiera". Simblicamente: "Dado >0 se debe encontrar un polgono Pn tal que la diferencia a(A) a(Pn) sea menor que para n suficientemente grande". A este respecto cumple un papel fundamental la Proposicin X.1 de Los Elementos que Euclides demuestra aplicando el axioma de Eudoxo-Arqumedes: "Dadas dos magnitudes desiguales, si de la mayor se quita una magnitud mayor que su mitad y, de la que queda, una magnitud mayor que su mitad y as sucesivamente, quedar una magnitud que ser menor que la magnitud menor dada". La operativa tcnica de la aplicacin de este trascendental teorema tiene lugar de la siguiente forma: Sean Ro y las dos magnitudes dadas a priori. Si {R1, R2, R3, } es una sucesin de magnitudes que cumple:
podemos concluir que se puede encontrar un natural n para el que Rn < . En efecto: segn el axioma de EudoxoArqumedes (Def. V.4 de Los Elementos de Euclides) podemos hallar un entero positivo N tal que (N+1) > Ro. Entonces se tiene: Anlogamente: . .
Procediendo sucesivamente, se llega en N pasos a la desigualdad deseada: Rn < . Este enunciado de la Proposicin X.1, que es conocido por algunos historiadores como "Principio de Eudoxo", abre las puertas al "Mtodo de Exhaucin", con el que Eudoxo demuestra rigurosamente los teoremas sobre el crculo, as como sobre la pirmide y el cono, que haban sido enunciados por Hipcrates y Demcrito, respectivamente, y que aparecern en Los Elementos de Euclides en las Proposiciones XII.2, XII.7, XII.10. Es fcil ver que, inscribiendo un cuadrado en un crculo, la diferencia entre ambos es menor que la mitad del rea del crculo, ya que el cuadrado inscrito es la mitad del cuadrado circunscrito, el cual es mayor que el crculo.
119
Ahora, sobre cada lado del cuadrado se construye un tringulo issceles obtenido al bisecar el arco cuya cuerda es el lado del cuadrado, lo que proporciona un octgono regular inscrito en el crculo. Se puede ver que la diferencia entre cada segmento circular (determinado por el lado del cuadrado y el crculo) y el tringulo issceles descrito anteriormente que determina dos lados del octgono, es menor que la mitad del segmento circular. La operacin de biseccin se puede reiterar de forma que se obtiene en cada proceso un polgono regular inscrito en el crculo y con doble nmero de lados que el precedente. Partiendo de un crculo se contina el proceso anterior. Se resta reiteradamente a una cantidad otra cantidad superior a su mitad (primero, al crculo se le resta el cuadrado inscrito, en segundo lugar, a los segmentos circulares resultantes se les restan los tringulos issceles que determinan el octgono, y as sucesivamente); aplicando el Principio de Eudoxo, alcanzaremos un polgono inscrito, cuya diferencia con el crculo "es tan pequea como se quiera". De esta manera, se obtiene el "Lema de exhaucin del crculo", que simblicamente se expresa en la forma: "Dado un crculo C y un nmero >0, se puede encontrar un polgono regular P inscrito en C de tal modo que: a(C) a(P) < . En efecto: se inscribe el cuadrado P0 = ABDE en el crculo C. Sea R0 = a(C) a(P0). Duplicando el nmero de lados, como se ha explicado, se obtiene un octgono regular P1 inscrito en C. Al continuar el proceso de duplicacin se obtiene una sucesin de polgonos inscritos en el crculo: {P0, P1, P2,..., Pn,...}, donde el polgono Pn tiene 2n+2 lados. Sea Rn = a(C)a(Pn). Se ha de comprobar que: o su equivalente:
Se tiene: R0 R1 = a(P1) a(P2) = 4a(ABF) = 2a(nABBA) > 2a(arco AFB) = (1/2)[a(C) - a(P0)] > (1/2) R0 Y en general: Rn Rn+1 = a(Pn+1) a(Pn) > (1/2)[a(C) - a(Pn)] = (1/2) Rn donde a(C) a(Pn) es la suma de las reas de los 2n+1 segmentos circulares determinados sobre el crculo por los lados del polgono inscrito Pn.
La Proposicin X.1 de Los Elementos de Euclides, conocida como Principio de Eudoxo (edicin de I. Barrow, Londres, 1678).
120
Esta Proposicin es una de las ms importantes de las 465 de Los Elementos de Euclides. Con ella Eudoxo crea la base preliminar del Mtodo de Exhaucin, instrumento fundamental de la geometra griega para la resolucin rigurosa de los problemas infinitesimales de cuadraturas y cubaturas, que al emplear una forma indirecta de prueba, evita el clculo explcito de un lmite. As lo hicieron, tanto Euclides como Arqumedes, para alcanzar, con todo rigor, resultados equivalentes a los obtenidos con las modernas tcnicas infinitesimales. El Mtodo de Exhaucin preside la obtencin de los resultados eucldeos del Libro XII sobre crculos, esferas, pirmides, cilindros y conos. Arqumedes atribuy la obtencin de muchos de estos resultados a Demcrito y las demostraciones rigurosas de los correspondientes teoremas a Eudoxo, de quien Euclides adaptara el material para la redaccin del Libro XII de Los Elementos. Arqumedes aplicara de forma impecable el Mtodo de Exhaucin, con sagaz pericia, en gran parte de sus obras (Sobre la Cuadratura de la Parbola, Sobre la Esfera y el Cilindro, Sobre la Medida del Crculo, Sobre las Espirales, Sobre Conoides y Esferoides, Sobre la Cuadratura de la Parbola,), para demostrar sus famosas cuadraturas y cubaturas que haba descubierto mediante su original y heurstico mtodo mecnico. Segn P.Tannery [La Gomtrie grecque. Gauthier-Villars, 1887, pp.95, 96]: "Se debe considerar a Eudoxo como el verdadero artfice de los principios que durante toda la antigedad han tenido el papel que juega en la actualidad el recurso de los lmites. Eudoxo ha mostrado la fecundidad de las aplicaciones de estos principios y ha sido el autntico antecedente de Arqumedes en el clculo de cuadraturas y cubaturas. [] Despojado de su indumentaria geomtrica la teora de Eudoxo mantiene sin ninguna desventaja la comparacin con las exposiciones modernas, a menudo tan defectuosas". El Lema de exhaucin del crculo permite demostrar rigurosamente mediante el tpico argumento de la doble reduccin al absurdo el ya aludido Teorema de Hipcrates (Elementos, XII.2): "Los crculos son entre s como los cuadrados de sus dimetros". En efecto: sean C1 y C2 crculos de radios r1 y r2; el teorema enuncia:
La demostracin consiste en probar que cualquiera de las desigualdades conduce a contradiccin. Supongamos que en vez de la igualdad se verifica:
Sea = a(C2) D. Segn el resultado anterior se puede encontrar un polgono P2 inscrito en el crculo C2 tal que a(C2) a(P2)< = a(C2) D. Por tanto a(P2)>D. Sea P1 el polgono regular semejante a P2, inscrito en el crculo C1. Segn la Proposicin XII.1 de Los Elementos ("los polgonos semejantes inscritos en crculos son entre s como los cuadrados de los dimetros"), se tiene:
121
Luego se verifica:
Por tanto D>a(P2), lo que contradice el resultado anterior: a(P2)>D. As pues, no es cierto que Intercambiando los papeles entre los crculos, se demuestra, anlogamente, que no es cierto que De donde concluimos que la igualdad es cierta.
En esta proposicin Euclides aplica por primera vez en Los Elementos el Mtodo de Exhaucin de Eudoxo para demostrar que todo crculo guarda la misma razn con el cuadrado construido sobre el dimetro. Este resultado geomtrico introduce una constante universal vinculada a todos los crculos que da carta de naturaleza al nmero . La trascendental relevancia de este hecho ser enfatizada por Arqumedes, que se aplicar con denuedo a la cuantificacin del nmero , en uno de sus ms famosos tratados, Sobre la Medida del Crculo, dedicado monogrficamente a esta cuestin. Los inconmensurables de la matemtica griega convierten el infinito en tab y lo encubren, tras el trabajo de Eudoxo, mediante el axioma de continuidad, el Principio de Eudoxo y el Mtodo de Exhaucin, procedimientos que juegan el papel geomtrico de la futura operacin aritmtica de paso al lmite. Al aceptar el axioma de continuidad, los griegos ya no tendrn que recurrir en cada construccin a una nueva evidencia intuitiva. El Mtodo de Exhaucin de Eudoxo proporciona al desarrollo matemtico una consistencia lgica absoluta, transformando en rigurosos los argumentos infinitesimales simplemente inductivos de sus antecesores.
122
Con la Teora de la Proporcin del Libro V de Los Elementos de Euclides, Eudoxo es el artfice de la solucin platnica a la primera crisis de de fundamentos que provoc la emergencia de los inconmensurables en la escuela pitagrica. Eudoxo resuelve las cuestiones pitagricas sobre fundamentos, pergea buena parte del contenido de algunos de los libros ms importantes de Los Elementos (V, VI, X, XI, XII), y crea el principal instrumento demostrativo de Arqumedes, el Mtodo de Exhaucin. Adems implica decisivamente a la filosofa fsica de Aristteles. Segn P.Tannery [La Gomtrie grecque. Gauthier-Villars, 1887, pp.95, 98]: "Por su contribucin de una importancia capital a la constitucin de Los Elementos de Euclides [...] debemos conceder a Eudoxo de Cnido un rango entre los primeros genios de la antigedad. [...]. Entre Pitgoras y Euclides, La geometra plana ha sufrido en su conjunto una revisin profunda, cuyo momento decisivo ha sido el trabajo de Eudoxo ". La Teora de la Proporcin, forjada por Eudoxo como independiente de la hiptesis pitagrica de la conmensurabildad, permiti a la matemtica griega manejar razones de magnitudes geomtricas de la misma forma y con la misma finalidad con que la matemtica actual opera con nmeros reales. Sobre la base establecida, Eudoxo procedi a reconstruir el legado pitagrico a base de establecer nuevas pruebas geomtricas rigurosas de los resultados pitagricos sobre figuras semejantes del Libro VI de Los Elementos de Euclides que haban quedado invalidadas por la aparicin de los inconmensurables salvando de esta forma la crisis de fundamentos. Eudoxo es, adems, el padre del Mtodo de Exhaucin que tan magistralmente aplicaron Euclides y Arqumedes para justificar los problemas infinitesimales de las cuadraturas y cubaturas, en particular los resultados sobre reas de crculos y volmenes de esferas, pirmides y conos del Libro XII, que Hipcrates y Demcrito haban vislumbrado antes de Euclides. Y ello con el mismo rigor que en el siglo XIX proporcionarn los lmites. De hecho en cierta manera el Mtodo de Exhaucin es la antesala helnica de los lmites. A La proposicin X.1 de Los Elementos de Euclides (conocida como Principio de Eudoxo) fundamento geomtrico del Mtodo de Exhaucin, junto a la Definicin V.4 el axioma de Eudoxo-Arqumedes o de continuidad, se les ha atribuido la misin de excluir la existencia de infinitsimos en la geometra griega con la finalidad de prevenir, entre otras muchas patologas matemticas, las paradojas de la escuela eletica de Zenn sobre el infinito, mediante la consideracin de la idea de "tan grande o tan pequeo como se quiera", que destierra el infinito actual de la matemtica y que servir ulteriormente de base a la nocin de lmite del clculo infinitesimal. En palabras de Aristteles (Fsica, Libro III, cap.7, 207b): "Los matemticos actualmente no precisan del infinito en sus estudios, ni lo emplean en ellos, sino que conciben la existencia de una magnitud finita tan grande o tan pequea como se quiera".
123
el severo rigor de Los Elementos, con un desarrollo de la geometra al margen de la aritmtica, la inexistencia de un lgebra en sentido algortmico y simblico, y en realidad la conversin de toda la matemtica en geometra, con un estilo sinttico de exposicin que oculta la va heurstica del descubrimiento matemtico. La solucin de la crisis de los irracionales con la Teora de la Proporcin de Eudoxo, plasmada en el Libro V de Los Elementos de Euclides, constituy a partir de entonces la mdula de la geometra griega, fue un magnfico xito cientfico, pero tom una forma geomtricodeductiva de acuerdo con la filosofa platnica. Cierto que en ese momento la crisis no poda solventarse con la definicin de nmero irracional, ya que ello hubiera precisado un desarrollo considerable de las tcnicas de la aritmtica de la computacin, lo que no poda darse en un ambiente cientfico dominado por el idealismo platnico, que despreciando el estudio de la dimensin sensible de la realidad, rechazaba de forma elitista las aplicaciones prcticas por considerarlas corruptoras y degradantes. Si los cientficos griegos no idearon un sistema de numeracin manejable, mal podan prestar atencin a las cuestiones calculsticas, que, adems, eran objeto de una actividad, que llamaban logstica, de rango intelectual inferior a la aritmtica, de modo anlogo que una actividad inferior que llamaban geodesia se ocupaba de las aplicaciones prcticas de la geometra. Como consecuencia de la aparicin de las magnitudes inconmensurables, los griegos no podan reconocer la existencia de nmeros irracionales, lo que les dificultaba el tratamiento numrico de longitudes, reas, volmenes y ngulos. Esta limitacin operacional junto a un deficiente sistema de numeracin que utilizaba las letras del alfabeto para representar los nmeros enteros, con la consiguiente dificultad para realizar las operaciones, impeda asignar a las figuras geomtricas nmeros que midieran sus longitudes, reas y volmenes y por tanto los griegos tenan que calcular directamente con las figuras, que se trataban como magnitudes. El abismo infranqueable que se haba abierto entre nmero y magnitud continua impeda someter las magnitudes geomtricas a manipulaciones algebraicas, como se hace con los nmeros, lo que determin la transformacin del algebra oriental que los pitagricos haban heredado de los babilonios en el lgebra geomtrica del Libro II de Los Elementos de Euclides, en la que los nmeros son sustituidos por segmentos de recta y las operaciones entre ellos se llevan a cabo mediante construcciones geomtricas. El severo, impecable y riguroso estilo de Los Elementos de Euclides, que oculta la va heurstica del descubrimiento alcanzado por va analtica tal como haba descrito por Platn en la Repblica (510c, 511a) y en el Menn (86e-87a), y por Pappus en el Tesoro del Anlisis del Libro VII de la Coleccin Matemtica o por va mecnica (desarrollado por Arqumedes en el ms importante de sus tratados matemticos El Mtodo sobre los teoremas mecnicos, se impondr como paradigma normativo en la redaccin de los ms importantes tratados de la matemtica griega, en particular Las Cnicas de Apolonio y restantes Obras de Arqumedes sobre cuadraturas y cubaturas, que tienen un estilo inconfundiblemente eucldeo. Pero el respeto absoluto al paradigma estilstico eucldeo cercena considerablemente las posibilidades de expresin y ante el camuflaje del camino que sigue la investigacin el ars inveniendi, se pone slo de manifiesto la va apodctica el ars disserendi. As sucede, por ejemplo, con el Mtodo de Exhaucin de Eudoxo que es slo un mtodo de demostracin de lo que se ha descubierto a priori mediante los diversos procedimientos inventivos, en particular el operativo mtodo mecnico con el que Arqumedes obtena sus famosas cuadraturas y cubaturas. Como consecuencia es de advertir y lamentar que la rigidez de los cnones impuestos por esta forma de expresin provocara el que, seguramente, una amplia y valiosa tradicin matemtica griega quedara fuera de las grandes obras clsicas.
124
1. Portada de la primera edicin en idioma castellano de Los Elementos de Euclides (Rodrigo amorano, Sevilla, 1576). En 1997 con motivo de la celebracin en Salamanca de las VIII Jornadas de Enseanza y Aprendizaje de las Matemticas, se hizo una edicin facsimilar de esta edicin. De ella proceden las ilustraciones. 2. Portada del Libro V de la edicin de R.amorano. Contiene las primeras definiciones de la Teora de la Proporcin de Eudoxo, que resuelve la crisis del inconmensurable, pero como otras ediciones coetneas, interpola entre la 3 y la 4 la siguiente : "4. Proporcin es la semejanza de las razones", que est sacada de las obras de Aritmtica, aunque Aristteles ya haba definido proporcin, referida a nmeros, como "igualdad de las relaciones entre trminos en nmero de cuatro por lo menos", es decir: "igualdad de razones" (tica a Nicmaco, LibroV, cap.3, 1131a). De esta forma las importantes definiciones V.4 (axioma de continuidad de EudoxoArqumedes) y V.5 (igualdad de razones) quedan desplazadas al quinto y sexto lugar, respectivamente.
Los Elementos tienen el ambicioso propsito de plasmar en un cuerpo de doctrina geomtrico, la forma definitiva que deba estructurar toda la matemtica griega elemental, a base de normativizar la estructura lgico-deductiva como paradigma de exposicin en que deba de quedar el conocimiento matemtico, despus de la solucin que dio la Academia platnica a la tremenda crisis de fundamentos que produjo la aparicin pitagrica de las magnitudes inconmensurables. En este sentido, la Teora de la Proporcin del Libro V de Los Elementos de Euclides contendra el instrumento para llevar a cabo el programa eucldeo y por eso este libro es uno de los ms importantes de esta biblia matemtica. Construidos bajo la lnea programtica del idealismo platnico, Los Elementos de Euclides es la obra matemtica griega que ha ejercido mayor influencia en toda poca, ya que ha constituido la fuente principal del conocimiento matemtico determinando el orden lgico secuencial y por tanto la ordenacin curricular de los diversos captulos de los libros de texto de la matemtica elemental, el cuerpo de doctrina central de las ciencias matemticas del que se puede derivar el resto, el principal vehculo de la transmisin del saber matemtico bsico a lo largo de los siglos.
125
10. BIBLIOGRAFA
Bibliografa de Historia de la Matemtica
1. Bell, E., 1950: Les grands mathmaticiens. Payot. Pars. Cap.2. 2. Bell, E., 1985: Historia de las Matemticas. Fondo de Cultura Econmica, Mxico. Cap.1. 3. Boyer, C., 1949: The History of the Calculus and its conceptual development. Dover, NY. Cap.2. 4. Boyer, C., 1986: Historia de las Matemticas. Alianza Universidad, Madrid. Caps. 4, 5, 6, 7, 8. 5. Bunt, L., 1988: The Historical Roots of Elementary Mathematics. Dover, New York. Cap. 3.10. 6. Colerus, E., 1972: Breve historia de las Matemticas. Doncel, Madrid. Vol.1. Caps. 1, 2. 7. Dijksterhuis, 1987: E. Archimedes. Princeton University Press. 8. Dunham, W., 1992: Viaje a travs de los genios. Pirmide. Madrid. Cap.1. 9. Durn, A., 1996: Historia de los conceptos del Clculo. Alianza Universidad. Madrid. Cap. 2.4. 10. Edwards, H., 1979: The Historical Development of the Calculus. Springer-Verlag, New York. Caps. 1.3, 1.4, 1.5. 11. Eves, H., 1977: Great Moments in Mathematics. The math. Assoc. of America. Vol.1. Caps. 5, 6. 12. Eves, H., 1983: An Introduction to the History of Mathematics. CBS College Publishing, New York. Caps. 3.5, 3.7, 5.5. 13. Fritz, K., 1945: The discovery of incommensurability by Hippasus of Metapontum. Annals of Mathematics, 46, 242-64. 14. Guedj, D., 1988: El imperio de las cifras y los nmeros. Ediciones B.S.A. Barcelona. Cap.V. 15. Gonzlez Urbaneja, P. M., 1992: Las races del Clculo Infinitesimal en el siglo XVII. Alianza Universidad, Madrid. Cap. 1.1.1. 16. Gonzlez Urbaneja, P. M., 2000: Matemticas y matemticos en el mundo griego (en El legado de las Matemticas: de Euclides a Newton). pp.24-75.Universidad de Sevilla. Cap.1. 17. Gonzlez Urbaneja, P. M., 2001: "La aparicin de los inconmensurables". Mundo Cientfico, 220, pp.56-63, Barcelona. 18. Gonzlez Urbaneja, P. M.: "Legado y herencia de Pitgoras" (en APUNTES DE CPR. N 10. pp. 16-21), Palencia. 19. Gonzlez Urbaneja, P. M., 2003: Los orgenes de la Geometra Analtica. Fundacin Canaria Orotava de Historia de la Ciencia, Tenerife. Cap.2. 20. Gonzlez Urbaneja, P. M., 2008: Arqumedes y los orgenes del Clculo Integral. Nivola (Coleccin Los orgenes de las matemticas), Madrid. Cap. 1.1, 1.6, 1.8.
126
21. Heat, T. L., 1981: A History of Greek Mathematics. Dover, New York. Vol.1. Caps. 3, 5, 9,10. 22. Kline, M., 1992: El pensamiento matemtico de la Antigedad a nuestros das. Alianza Universidad, Madrid. Vol.1. Caps. 3, 4. 23. Knorr, W., 1990: The evolution of the Euclidian Elements. D.R.P.Company. Londres. 24. Levi. B., 2001: Leyendo a Euclides. Zorzal, Buenos Aires. Cap.1 25. Loria,G., 1929: Histoire des sciences mathmatiques dans lantiquit hellnique. Gauthier-Villars, Pars. Cap.2. 26. Maza, C., 2000: Las matemticas de la antigedad y su contexto histrico. Univ. Sevilla. Cap.6.3. 27. Milln, A., 2004: Euclides, la fuerza del razonamiento matemtico. Nivola, Madrid. 28. Montesinos, J. (Coordinador), 1992: Historia de la geometra griega. Actas del Seminario Orotava de Historia de la Ciencia. Tenerife. Caps. 4, 5, 12. 29. Montesinos, J., 2000: Historia de la Matemtica en la Ense. Secund. Sntesis. Madrid. Cap.1. 30. Montucla, J.F., 1968: Histoire des Mathmatiques.. Blanchard. Pars. Vol.1, Caps. 1.3.7, 1.3.9. 31. Nolla, R., 2001: Estudis i activitats sobre problemes clau de la Histria de la Matemtica. Departament dEnsenyament, Generalitat de Catalunya. Barcelona. Cap. 1.2.3. 32. Rey, A., 1962: El apogeo de la ciencia tcnica griega. UTEHA, Mxico. Vol.2. Caps. 2, 3, 8. 33. Rey Pastor, J. & Babini, J., 1951: Historia de la Matemtica. Espasa Calpe, B. Aires. Cap. 2.7.4. 34. Rey Pastor, J. & Babini, J., 1984: Historia de la Matemtica. Gedisa,. Barcelona. Vol.1. Cap. 3.3. 35. Rouse Ball, W., 1906: Histoire des Mathmatiques. Libr. scientifique A.Hermann, Pars. Cap.2. 36. Smith, D. E., 1958: History of Mathematics. Dover. New York. Vol.2, cap. 4.4. 37. Tannery, P., 1887: La gomtrie grecque. Gauthier-Villars. Pars. Caps. 5, 6. 38. Taton, R., 1988: (compilador): Historia general de las Ciencias. Orbis. Barna. Vol.1. Lib.1, Cap.3. 39. Toeplitz, O., 1963: The Calculus, a Genetic Approach. Univ. Chicago Press, Chicago. Cap. I. 40. Vera, F., 1963: Breve Historia de la Geometra. Losada, Buenos Aires. Caps. 2,4. 41. Warusfel, A., 1968: Los nmeros y sus misterios. Martnez Roca. Barcelona. Cap.5. 42. Wussing, H., 1989: Lecciones de Historia de las Matemticas. Siglo XXI, Madrid. Cap.3.2.5.
127
128
64. Mondolfo, R., 1971: El infinito en el pensamiento de la antigedad clsica. EUDEBA, Buenos Aires. Caps. 4, 5. 65. Reale, G., 2001: Historia del Pensamiento filosfico y cientfico. Herder, Barna. Vol.1. Cap.II.2. 66. Russell, B., 1995: Historia de la filosofa occidental. Austral. Madrid. Vol.1. Lib.1. Cap.3. 67. Serres, M., 2000: (Compilador): El Saber griego. Akal, Madrid. Caps. 3.3, 3.11. 68. Spengler, O., 1998: La decadencia de Occidente. Cap.I.1. Austral, Madrid. 69. Szab, A., 1977: Les dbuts des Mathmatiques grecques. Librairie Vrin, Pars. Cap.1. 70. Vega Ren, L., 1990: La Trama de la Demostracin. Alianza Universidad, Madrid. Cap.1. 71. Vera, F., 1970: Fragmentos de textos y comentarios sobre Pitgoras, Platn, Aristteles y Proclo (en Cientficos griegos). Aguilar, Madrid.
129