Está en la página 1de 30

LA SOLUCIN DE EUDOXO A LA CRISIS DE LOS INCONMENSURABLES.

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.

(**) Catedrtico de Matemticas del IES Sant Josep de Calassan. Barcelona.

Diciembre 2008 2008ko Abendua

101

SIGMA 33

Pedro Miguel Gonzlez Urbaneja

LA INCONMENSURABILIDAD Y EL PENTAGRAMA MSTICO PITAGRICO PITAGRICO

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

2. LA APARICIN DE LOS INCONMENSURABLES


La grandeza sublime del Teorema de Pitgoras y la mgica belleza del Pentagrama mstico pitagrico generador de la seccin urea como razn entre la diagonal y el lado del pentgono regular fueron dos de los tpicos ms relevantes de la escuela pitagrica, pero se convirtieron en dos caballos de Troya para la geometra griega, porque llevaban en su interior el germen de la profunda crisis de la comunidad pitagrica donde aparecieron. Los Dilogos de Platn informan que la comunidad matemtica griega se vio gravemente sofocada por un descubrimiento que prcticamente demola la base de la fe pitagrica en los nmeros enteros. Los pitagricos, que, como filsofos presocrticos, haban considerado como ncleo dogmtico de su filosofa que "los nmeros son la esencia del universo", encuentran que las consecuencias de su principal teorema llamado de Pitgoras atentan contra los fundamentos de su doctrina, que les haba llevado a establecer un paralelismo entre el concepto numrico y la representacin geomtrica. En efecto, el cuadrado que es una de las figuras geomtricas ms simples, proporciona un terrible ente geomtrico, en el que hay un segmento, la diagonal, que no es conmensurable con otro segmento, el lado no hay un submltiplo de ambos, la diagonal y el lado, que pueda tomarse como unidad, para medir a ambos segmentos. Igualmente sucede en el pentgono regular tan emblemtico para los pitagricos la diagonal y el lado del pentgono son segmentos que no pueden ser medidos por una unidad comn. La creencia de que los nmeros podan medirlo todo era una simple ilusin. As quedaba eliminada de la geometra la posibilidad de medir siempre con exactitud. Se haba descubierto la magnitud inconmensurable, lo irracional no expresable mediante razones, "el alogon", que provocara una crisis sin precedentes en la Historia de la Matemtica. La sacudida que la aparicin del nuevo ente provoc en la matemtica griega puede calibrarse por la leyenda que relata un viejo escolio (atribuido al filsofo neo platonico Proclo) del Libro X de Los Elementos de Euclides: "Es fama que el primero en dar al dominio pblico la teora de los irracionales, perecera en un naufragio, y ello porque lo inexpresable e inimaginable debera siempre haber

Diciembre 2008 2008ko Abendua

103

Pedro Miguel Gonzlez Urbaneja

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

3. CONTEXTOS MATEMTICOS DE LA INCONMENSURABILIDAD DE Y


Si el descubrimiento de la inconmensurabilidad hubiera sido a travs de la diagonal del cuadrado, sera la primigenia magnitud inconmensurable de la historia, mientras que, si hubiera sido a travs de la seccin urea entre diagonal y lado del pentgono regular habra sido, como veremos, . Veamos en un lenguaje actual una aproximacin tcnica matemtica a lo que pudieron ser las primeras demostraciones de inconmensurabilidad del Pitagorismo, con base en el cuadrado y el pentgono regular, equivalentes, respectivamente, a la irracionalidad de las races y .

Diciembre 2008 2008ko Abendua

105

Pedro Miguel Gonzlez Urbaneja

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

Diciembre 2008 2008ko Abendua

107

Pedro Miguel Gonzlez Urbaneja

Tesoros de la Geometra pitagrica realcionados con la inconmensurabilidad

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

4. CONSIDERACIONES FILOSFICAS SOBRE LA INCONMENSURABILIDAD


Para los pitagricos el gran sistema del mundo, el ser, la forma y la accin de todas las cosas son una consecuencia natural de los nmeros. Estos determinan el nexo de unin de todos los entes y la mecnica del universo entero, son la base del espritu y el nico medio por el cual se manifiesta la realidad. Esta doctrina pitagrica se llama misticismo numrico, porque atribuye a los nmeros, no slo un carcter sagrado, sino tambin una realidad sustancial descriptiva tanto de los aspectos cualitativos como de los aspectos fsicos de las cosas. Los pitagricos vivieron imbuidos de un efervescente entusiasmo mstico hacia los nmeros, hasta el punto de que Filolao de Metaponto el pitagrico favorito de Aristteles y uno de los ms influyentes sobre Platn lleg a afirmar: "Todo lo cognoscible tiene un nmero, pues no es posible que sin nmero nada pueda ser concebido ni conocido." Pues bien, al nmero uno le conciben como el principio y la causa de todo. Es la verdadera esencia de todas las cosas y el fundamento de cuanto existe. Smbolo del Dios nico, expresado en latn por Solus de donde deriva la palabra Sol. Smbolo de la razn suprema, asociada al concepto de Dios Creador, supremo paradigma del Bien y la Belleza. Generador de todos los nmeros y de todas las dimensiones. Para Filolao "el uno es el Padre de los Seres, Demiurgo del mundo, artfice de la permanencia de las cosas". Para los pitagricos todo proceda de la unidad y a ella se poda reconducir todo. De ello dependa la inteligibilidad de las cosas. El orden pitagrico se basaba en la finitud. Toda pluralidad como fruto de la unidad es finita, est formada de nmeros enteros y tambin toda fragmentacin o divisin de la unidad un medio [1/2], un tercio [1/3],... procede de ellos y por tanto de la unidad, y a ella revierten ya que dos veces un medio es igual a uno, tres veces un tercio es igual a uno, etc. De forma anloga a cualquier racional p/q se le puede hacer retornar a la unidad pitagrica mediante operaciones de fragmentacin y adicin. Era natural, pues, la terrible inquietud que introduce en el mundo pitagrico la emergencia del inconmensurable como ser que se escapa al dominio de la unidad ya que ninguna operacin entera con l es capaz de retornarle al origen de todo que es la unidad o mnada pitagrica. El inconmensurable se le llama irracional porque no se puede expresar como razn de dos enteros, pero sobre todo porque como algo ininteligible, est fuera del Logos, es alogon, es decir, representa la sinrazn. La consideracin del cuadrado de lado la unidad y su diagonal geomtricamente inteconduce a que haya que concebir al ente ligible, de lo contrario habra que poner en entredicho el Teorema de Pitgoras que es la base de multitud de teoremas geomtricos. Pero los pitagricos no conocan ms nmeros que los enteros y racionales, que tan bien explicaban su cosmologa, lo que les impeda concebir otro tipo de nmero. Por tanto la naturaleza pona en entredicho las sagradas concepciones irracional de pitagricas. es ininteligible en la aritmtica racional pitagrica, porque su consideracin como El ente fraccin de enteros conduce a una tremenda contradiccin aritmtica, as que la mnada pitaal origen, grica es incapaz de engendrar , y ningn tipo de operacin aritmtica retorna se revela como irreductible al trato numrico pitagrico, pero es a la mnada. La entidad perfectamente representable e inteligible en el orden geomtrico ya que tomando de forma convencional un determinado segmento de recta como unidad, cuatro de ellos se vinculan en se obtiene como una mera construccin geomtrica un cuadrado, de modo que el temible de una gran sencillez, la diagonal de un cuadrado, conocido el lado.

Diciembre 2008 2008ko Abendua

109

Pedro Miguel Gonzlez Urbaneja

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.

Los inconmesurables quiebran la filosofa pitagrica

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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".

5. LA DEFINICIN PITAGRICA DE PROPORCIN


En la Matemtica actual las razones inconmensurables se expresan mediante nmeros irracionales. Los babilonios y los egipcios haban trabajado con tales nmeros, a base de aproximaciones, aunque sin la conciencia de la falta de exactitud, es decir, sin la constancia de la diferencia radical entre razones conmensurables e inconmensurables. En cambio para los griegos la palabra nmero significa "nmero entero positivo"; una fraccin a/b indicara no un nmero racional sino una relacin entre los nmeros enteros a y b, "la razn" entre a y b. En sentido actual sera un par ordenado de nmeros. Para los pitagricos dos razones a/b, c/d, se dice que son "proporcionales": a/b = c/d, cuando existen enteros p,q,m,n, tales que a = mp, b = mq, c = np, d = nq; por ejemplo: 12/15 = 16/20, porque 12 contiene cuatro de las cinco partes de 15, al igual que 16 contiene cuatro de las cinco partes de 20. A partir de esta base se desarroll inicialmente la teora pitagrica de la proporcionalidad. La visin de nmero como tamao se aplic a las magnitudes geomtricas: longitudes, reas y volmenes, en la creencia de que dos segmentos de lnea eran siempre conmensurables, es decir que exista una unidad comn de la que ambos seran mltiplos. De esta forma la doctrina de razones enteras y proporciones se poda extender a longitudes, reas y volmenes de figuras simples como segmentos, rectngulos y paraleleppedos. Con el descubrimiento de los inconmensurables quedaban afectadas y deban ser reconstruidas todas las pruebas pitagricas de los teoremas que utilizaran proporciones. Por ejemplo para demostrar la Proposicin VI.1 de Los Elementos de Euclides: "Los tringulos que tienen la misma altura, son entre s como sus bases", los primeros pitagricos actuaran de la siguiente manera: Sean los tringulos ABC y ADE, con bases BC y DE sobre la recta MN. BC y DE tendrn alguna unidad comn de medida; sea GH contenido p veces en BC y q veces en DE. Marquemos los puntos de divisin sobre BC y DE y unmoslos con el vrtice A. Los tringulos ABC y ADE quedan divididos respectivamente en p y q tringulos menores, que segn la Proposicin I.38 de Los Elementos ("los tringulos que tienen igual base y altura son equivalentes") tienen el mismo rea. Por tanto la razn de los tringulos ABC/ADE = p/q = BC/DE, como se quera probar.

Diciembre 2008 2008ko Abendua

111

Pedro Miguel Gonzlez Urbaneja

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.

6. LA CRISIS DE LOS INCONMENSURABLES EN LA ACADEMIA PLATNICA


Segn W.Guthrie [Historia de la Filosofa griega. Gredos, Madrid, 1990. Vol 5. p. 298; nueva edicin: RBA, Barcelona, 2005, Vol 5. p. 298]: "La principal contribucin de Platn a la ciencia, en opinin de Popper, nace de su profunda comprensin del problema de los irracionales y su consiguiente sustitucin de las concepciones aritmticas del Pitagorismo por una concepcin geomtrica". De hecho, una de las cuestiones ms interesantes de la Historia de las Matemticas, aparecida en el horizonte pitagrico medio y que de forma definitiva se consolida en la Academia platnica es el problema de la inconmensurabilidad como origen de la demostracin. Es imposible constatar de forma perceptiva la inconmensurabilidad sobre una figura, es decir, no es comprobable de forma emprica sino de forma terica, a travs de un acto intelectual puro. Ninguna verificacin geomtrico-emprica inductiva puede convencer de que no siempre dos segmentos tienen una parte alcuota comn. La inconmensurabilidad es un fenmeno que slo puede concernir a los entes matemticos ideales y slo puede ser objeto de demostracin a diferencia de otros resultados como el Teorema de Pitgoras, para el que hay cientos de pruebas visuales que "muestran" su validez. Por extrapolacin a toda la matemtica del fenmeno de la inconmensurabilidad, intrnsecamente vinculado, como vemos, a la demostracin, sta ser a partir de entonces quien dar carta de naturaleza a la matemtica. As pues, a partir del descubrimiento de los inconmensurables, la demostracin deductiva, con base en los principios, se consider necesaria y consustancial con la propia naturaleza de la matemtica, que renuncia a la experiencia fsica y a los datos aportados por los sentidos como base del conocimiento y establece un paradigma de actuacin en esta ciencia que nunca ha sido sustituido hasta ahora. En Los Dilogos de Platn se advierte la influencia del descubrimiento de los irracionales sobre la educacin y la filosofa platnica de la ciencia. Teodoro de Cirene (discpulo de Protgoras) a quien Platn reconoce como maestro, demuestra la irracionalidad de las races cuadradas de los nmeros naturales que no son cuadrados perfectos desde el 3 al 17, ambos incluidos (dilogo entre Scrates y Teeteto, en Platn, Teeteto, 147d). En este Dilogo de Platn, Teeteto, adems de ponderar a Teodoro como "gemetra, astrnomo, calculador, msico y maestro en todo lo relativo a la educacin" da unas orientaciones hacia la continuacin de su trabajo

112

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

7. LA FUNDAMENTACIN DE EUDOXO. LA TEORA DE LA PROPORCIN


El descubrimiento de magnitudes inconmensurables exiga una revisin de ciertos fundamentos de la matemtica pitagrica, ya que a partir de entonces las magnitudes geomtricas no podan ser medidas mediante nmeros. El inevitable carcter continuo que tienen impide que se puedan someter a las manipulaciones algebraicas como a los nmeros. De modo que los griegos del siglo IV a.C. eran conscientes de la existencia de magnitudes geomtricas que nosotros llamamos irracionales, pero no las conceban como nmeros. Eudoxo de Cnido es uno de los matemticos ms importantes de la Academia platnica, que al Introducir la idea de "tan pequeo como se quiera", antecedente de nuestro proceso de "paso al lmite", encuentra una escapatoria a los problemas planteados por el infinito y lo inconmensurable, mediante un recurso genial que desarrolla en tres estadios: 1. Una definicin: igualdad de razones, Euclides, Definicin V.5. 2. Un axioma: axioma de Eudoxo-Arqumedes o axioma de continuidad, Euclides, Definicin V.4. 3. Un mtodo: el Mtodo de Exhaucin, Euclides, Proposicin X.1. Como lo inexpresable era la razn entre dos cantidades inconmensurables, Eudoxo elimina la dificultad definiendo no la razn misma, sino la igualdad de razones de la siguiente forma (Definicin V.5 de Los Elementos de Euclides): "Se dice que una primera magnitud guarda la misma razn con una segunda magnitud, que una tercera magnitud con una cuarta magnitud, cuando cualesquiera equimltiplos de la primera y la tercera exceden a la par, sean iguales a la par o sean inferiores a la par, que cualesquiera equimltiplos de la segunda y la cuarta, respectivamente y tomados en el orden correspondiente".

Diciembre 2008 2008ko Abendua

113

Pedro Miguel Gonzlez Urbaneja

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 =>

Teorema de Euclides => Elementos, VII.30

=> a = b = m =>

rc = sd => qhc = phd => qc = pd =>

Teorema de Euclides => Elementos, VII.30

=> x = d = n =>

Por tanto se ha demostrado que a/b = c/d en sentido pitagrico

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

Teora de la Proporcin y de la semejanza de Eudoxo

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.

Diciembre 2008 2008ko Abendua

115

Pedro Miguel Gonzlez Urbaneja

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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

Diciembre 2008 2008ko Abendua

117

Pedro Miguel Gonzlez Urbaneja

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.

8. EL MTODO DE EXHAUCIN DE EUDOXO. EL REA DEL CRCULO


Los limitados conceptos numricos de los griegos no permitan asignar a las figuras geomtricas nmeros que midieran sus reas o sus volmenes y por tanto tenan que calcular directamente con las figuras, que se trataban como magnitudes. Para llevar a cabo la cuadratura o cubatura de una figura, Eudoxo, Euclides y Arqumedes deban encontrar su razn con otra figura previamente conocida. Es por ello por lo que, como se ha visto, los griegos desarrollaron una sofisticada teora de magnitudes y proporciones, sobre todo por parte de Eudoxo. En la geometra griega se considera que las figuras curvilneas como crculos o segmentos de parbola tienen reas que son magnitudes geomtricas del mismo tipo que las figuras poligonales. Dada una figura curvilnea A, para determinar su rea a(A) se buscar una sucesin de polgonos {P1, P2,..., Pn,...}, que aproximen progresivamente el rea de A. Pues bien, es el padre de la Teora de la Proporcin, el egregio matemtico platnico, Eudoxo, quien idear tambin el Mtodo de Exhaucin para sustituir, con absoluto rigor, en la demostracin de la magnitud de un rea o volumen a la idea vaga e intuitiva de que el rea de A es "el lmite" de las reas de los polgonos {P1, P2,..., Pn,...}. El horror al infinito de la cultura griega soslaya el

118

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

Diciembre 2008 2008ko Abendua

119

Pedro Miguel Gonzlez Urbaneja

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.

El principio de Eudoxo y el Mtodo de Exhaucin

La Proposicin X.1 de Los Elementos de Euclides, conocida como Principio de Eudoxo (edicin de I. Barrow, Londres, 1678).

120

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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:

Diciembre 2008 2008ko Abendua

121

Pedro Miguel Gonzlez Urbaneja

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.

Eudoxo en la historia de la matemtica


Eudoxo es, sin duda, el ms importante de los matemticos griegos despus de Pitgoras, Euclides y Arqumedes. Las ideas introducidas por Eudoxo se han juzgado como algunas de las ms influyentes a lo largo de toda la Historia de la Matemtica, sobre todo en los aspectos infinitesimales. Reconocido por Platn como uno de los grandes matemticos de la poca, Eudoxo inici sus investigaciones en la propia Academia, pero posibles desavenencias o quiz la orientacin mstica de la matemtica platnica, impelieron al gran matemtico a abandonar Atenas y fundar su propia escuela en Cyzico, donde adems alcanz un gran prestigio como mdico, astrnomo y legislador.
Imagen atribuida a la efigie de Eudoxo, aunque no es seguro que sea tal porque tambin se atribuye a Ptolomeo. La confusin puede provenir de la importante dedicacin de ambos matemticos a la Astronoma.

122

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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".

9. CONSECUENCIAS SOBRE LA NATURALEZA DE LA GEOMETRA GRIEGA


La tempestad provocada por el descubrimiento pitagrico de los irracionales inaugura en el mundo griego los problemas infinitesimales, instaura "el horror al infinito" que caracteriza casi toda la matemtica griega y enfatiza el supremo rigor lgico impuesto por la escuela platnica, cuyo exponente ms representativo es la figura de Euclides, que bajo la lnea programtica de Eudoxo estructura rgidamente la matemtica griega elemental en su enciclopdica obra Los Elementos. Como reaccin al lenguaje ingenuo de los pitagricos, miscelnea de brillantes ideas matemticas, actitudes msticas y aforismos religiosos, se remachar de forma inexorable

Diciembre 2008 2008ko Abendua

123

Pedro Miguel Gonzlez Urbaneja

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

Los inconmesurables en Los Elementos de Euclides

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.

Diciembre 2008 2008ko Abendua

125

Pedro Miguel Gonzlez Urbaneja

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

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

Diciembre 2008 2008ko Abendua

127

Pedro Miguel Gonzlez Urbaneja

Bibliografa de Historia de la Filosofa y Filosofa de la Matemtica


43. Artmann, B., 1996: EuclidThe Creation of Mathematics. Springer, New York. Caps. 23, 24. 44. Becker, O., 1996: Magnitudes y lmites del pensamiento matemtico. Rialp, Madrid. Caps. 1, 3. 45. Brunschvicg, L., 1972: Les tapes de la Philosophie Mathmat. Blanchard, Pars. Caps. 3,4,5. 46. Can, C., 1993: La Matemtica, creacin y descubrimiento. Univ. Comillas. Madrid. Cap.1.II. 47. Dantzing, T., 1971: El nmero, lenguaje de la ciencia. Hobbs sudamer., Buenos Aires. Cap. VII. 48. Eggers, C., 1995: El nacimiento de la Matemtica en Grecia. EUDEBA, Buenos Aires. Cap.6. 49. Fowler, D., 1999: The Mathematics of Platos Academia. Oxford U.P. New York. Caps. 2.2, 8.3. 50. Gardies, J., 1988: LHritage pistmologique dEudoxe. Libr. Philos. Vrin, Pars. Caps. 1-4. 51. Guthrie, W., 1984: Historia de la Filosofa griega. Vol.I. Gredos, Madrid. Cap.IV. 52. Guthrie, W., 2005: Historia de la Filosofa griega. Gredos, Madrid, 1990. Vol 5. Cap. IV; nueva edicin: RBA, Barcelona. 53. Gmez Pin, V., 1999: La tentacin pitagrica. Sntesis, Madrid. Cap. 2.3. 54. Gonzalez Urbaneja, P. M., 2001: Pitgoras, el filsofo del nmero. Nivola, Madrid. Caps.3,5,6. 55. Gonzalez Urbaneja, P. M., 2006: Platn y la Academia de Atenas. Nivola, Madrid. Caps.15,16, 17, 18,19. 56. Hardy, G., 1999: Apologa de un matemtico. Nivola. Madrid. 57. Jmblico, 1991: Vida Pitagrica. Etnos, Madrid. Cap. XXXIV.246-247. 33. Hilbert, D., 1966: Fundamentos de la Geometra. CSIC. Madrid. Cap. 2.12. 58. Hill, J. M., 1912: The Theory of Proportion. The Mathematical Gazette, VI, 324332, 360368. 59. Klein, F., 1931: Matemtica elemental desde un punto de vista superior. Vol. II. Geometra Biblioteca Matemtica. Dtor J.Rey Pastor. Madrid. Cap. III.II.3. 60. Knorr, J. M., 1978: Archimedes and the preeuclidean proportion theory. Archives Internat. History. Sciences, 28, 183244. 61. Knorr. W., 1981: Aristotle and Incommensurability: Some Further Reflections. Archive for History of Exacts Sciences, 24, 1-9. 62. Lorenzo, J., 1971: Introduccin al estilo matemtico. Tecnos, Madrid. Cap.1. 63. Milhaud, G., 1976: Les Philosophes-Gomtres de la Grce. Arno Press. New York. Cap. 1.2.

128

SIGMA N 33 SIGMA 33 zk.

La solucin de Eudoxo a la crisis de los inconmensurables La Teora de la Proporcin y el Mtodo de Exhaucin

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.

Ediciones de obras originales de la matemtica y la Filosofa griega


72. Aristteles, 1967: Analtica Primera, Metafsica, Fsica (en Obras). Aguilar, Madrid. 73. Arqumedes, 1966: El Mtodo. Introduccin de J.Babini. EUDEBA, Buenos Aires. 74. Euclides, 1576: Los seis primeros libros de Los Elementos. Traduccin de Rodrigo amorano. Casa de Alonso de la Barrera. Sevilla. Nueva edicin de 1999 de Ed. Universidad de Salamanca. 75. Euclides, 1996: Elementos. Introd. de L.Vega, traduc. y notas de M. L. Puertas. Gredos. Madrid. 76. Euclid, 1956: The thirteen books of The Elements. Traslated whith introduction and commentary by T. L. Heath. 3 Vols. Dover. New York. 77. Gonzlez Urbaneja, P. M. & Vaqu, J., 1993: El mtodo relativo a los teoremas mecnicos de Arqumedes. Pub. Univ. Autn. Barcelona, Ed. Univ. Politc. Catalunya. Coleccin Clsicos de las Ciencias. Barcelona. Edicin crtica en espaol de esta obra de Arqumedes. Apndice 1. 78. Gonzlez Urbaneja, P. M. & Vaqu, J., 1997: Mtode dArquimedes sobre els teoremes mecnics dedicat a Eratstenes. Fundaci Bernat Metge. Barcelona. Edici crtica en catal daquesta obra dArquimedes. Cap. II.1. 79. Platn, 1969: Teeteto, Leyes, Menn (en Obras Completas). Aguilar, Madrid. 80. Proclus de Lycie, 1948: Les commentaires sur le premier livre des lments dEuclide. Introduction et notes par P. Ver Eecke, Descle de Brouwer, Bruges. 81. Ver Eecke, P., 1960: Les oeuvres compltes dArchimde, Vaillant-Carmanne. Lieja. 82. Vera, F., 1970: Arqumedes (en Cientficos Griegos). Aguilar, Madrid. 83. Vera, F.:, 1970 Los Elementos de Euclides (en Cientficos griegos). Aguilar, Madrid.

Diciembre 2008 2008ko Abendua

129