EL DESCUBRIMIENTO DE LOS INCONMENSURABLES

PRIMERA CRISIS DE FUNDAMENTOS EN LA HISTORIA DE LA MATEMTICA

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, p.141.

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.
ARISTTELES. Metafsica. Libro I, Cap.2, 983a.

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.

No es digno de llamarse hombre aquel que desconoce que la diagonal de un cuadrado es inconmensurable con el lado.
SOPHIE GERMAN. Mmoire sur les Vibrations des surfaces lastiques (1816).

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. 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 producen 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. 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 el efecto ms inmediato.

La primera crisis de fundamentos en la Historia de la Matemtica. Contextos matemticos de la inconmensurabilidad de 2 y 5 . Citas sobre los Inconmensurables. 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. Consecuencias sobre la naturaleza de la Geometra griega. Los inconmensurables en Los Elementos de Euclides. La influencia de los inconmensurables en el infinito de Aristteles. Bibliografa.

111

112

La primera crisis de fundamentos en la Historia de la Matemtica

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

113

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 2 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 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 trajo 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 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, 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 apareci hacia el ao 480 a.C. por el pitagrico Hipasos de Metaponto. El descubrimiento pudo tener lugar 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, como veremos ms adelante.

114

Contextos matemticos de la inconmensurabilidad de

2 y

Si el descubrimiento de la inconmensurabilidad hubiera sido a travs de la diagonal del cuadrado, 2 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, 5 . 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 2 y 5 .

La inconmensurabilidad de

2
2

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. La demostracin aritmtica de la inconmensurabilidad de 2 exhibida, equivalente segn el 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): [La demostracin aristotlica de la irracionalidad de 2 ] es un teorema simple, tanto 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.

115

Demostracin geomtrica de la inconmensurabilidad de B

2
F

D 1

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) C 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.

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.

A B

AC BC = BC AB

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 . As pues, es la solucin positiva de la ecuacin de la ecuacin: 2=1, es decir: = (1+ 5 )/2. Veamos, como en el caso de 2 , sendas orientaciones (aritmtica y geomtrica) de la inconmensurabilidad de 5 (Euclides XIII.6). La aritmtica es equivalente a la inconmensurabilidad del nmero de oro , y la geomtrica utiliza la geometra del Pentagrama 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

116

Demostracin aritmtica de la inconmensurabilidad de

5 5 )/2]

[Basta demostrar la inconmensurabilidad del nmero ureo: =(1+ Supongamos =p/q fraccin irreducible [mcd(p,q)=1]. es solucin de la ecuacin 2 = 1. 2 = 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, FB=DC=AB. EFHJ es un rombo, EF=FH. luego se verifica: luego se verifica:

E J

G H I

De las relaciones anteriores se obtiene: FH=EF=EBFB=EBAB, FG=EB2EF=EB2(EBAB)=2ABEB.

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). ABE GAB 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.

117

LA HIPTESIS DEL PENTGONO Y EL PENTAGRAMA EN EL DESCUBRIMIENTO PITAGRICO DE LA INCONMENSURABILIDAD

Kurt von Fritz. The discovery of incommensurability by Hippasus of Metapontum (Annals of Mathematics, 46, 242-64, 1945).

El descubrimiento de la inconmensurabilidad es uno de los ms asombrosos y trascendentales logros de la primitiva matemtica griega . (p. 242) Sabemos que los pitagricos usaban el pentagrama, es decir, el pentgono regular con los lados prolongados hasta el punto de interseccin, como smbolo de reconocimiento. (p. 256). Hipasos debi intentar encontrar nmeros y razones incorporados en el pentagrama y el pentgono regular [...] nicas figuras geomtricas en las que la inconmensurabilidad puede ser fcilmente probada. Haba un antiguo mtodo, conocido por los artesanos como regla emprica muchos siglos antes del comienzo de la filosofa y de la ciencia en Grecia, a saber, el mtodo de la sustraccin recproca, por el cual se halla la mayor medida comn. Naturalmente no es posible descubrir la inconmensurabilidad en la forma como lo practicaban los artesanos, pero s trazando todas las diagonales dentro del pentgono, que forman otro pentgono regular en el centro, con el que se puede practicar la misma operacin, y as hasta el infinito, y por tanto reiterar de forma indefinida el proceso de sustraccin recproca, de modo que no puede haber una medida comn de la diagonal y el lado del pentgono. As pues, es aparente casi a primera vista que la relacin entre la diagonal y el lado no puede ser expresada en nmeros enteros, por grandes que sean. [...]. (p. 257). En el curso de la sustraccin recproca podemos ver que la diferencia entre la diagonal y el lado del pentgono ms grande es igual a la diagonal del pentgono ms pequeo, y la diferencia entre el lado del pentgono ms grande y la diagonal del pentgono ms pequeo es igual al lado del pentgono ms pequeo, y a su vez la diferencia entre la diagonal del pentgono ms pequeo y su lado es igual a la diagonal del siguiente pentgono ms pequeo, y as sucesivamente hasta el infinito. Ya que cada nuevo pentgono regular se obtiene trazando diagonales, es evidente que el proceso de sustraccin recproca se puede seguir realizando indefinidamente, y por tanto no se puede encontrar ninguna medida comn de la diagonal y el lado del pentgono regular se puede encontrar. (p. 258) El descubrimiento de la inconmensurabilidad debi provocar una enorme impresin en los crculos pitagricos porque de golpe destrua la creencia de que todo poda ser expresado en trminos de nmeros enteros, lo que constitua la base de toda la Filosofa pitagrica. Esta impresin es claramente reflejada en algunas leyendas que aseguran que Hipasos fue castigado por los dioses por haber hecho pblico el terrible descubrimiento. (p. 260).

118

TESOROS DE LA GEOMETRA PITAGRICA RELACIONADOS CON LA INCONMENSURABILIDAD

El Teorema de Pitgoras (Euclides, I.47) y el Pentagrama mstico (Euclides, XIII.8) en los folios 26 recto y 66 recto del manuscrito -III-5 de El Escorial, uno de los ms antiguos que se conservan (siglo XI). 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.

1.

2.

La Geometra como una de las Artes Liberales del Quadrivium pitagrico representada en un mosaico del suelo de la Catedral de Colonia. La Geometra presenta una ilustracin del Teorema de Pitgoras queriendo dar a entender que se trata del Teorema ms importante y fascinante de toda la ciencia geomtrica. El Pentagrama mstico pitagrico en la Iglesia de San Juan de Castrogeriz (Burgos).

119

CITAS SOBRE LOS INCONMENSURABLES

1.

Pitgoras [...] investig los teoremas de un modo inmaterial e intelectual y descubri la dificultad de los nmeros irracionales. Proclo. Comentario al Libro I de los Elementos de
Euclides.

2.

El descubrimiento de la inconmensurabilidad por Pitgoras debi causar, en Geometra, un verdadero escndalo lgico, y, para superarlo, se tendi a restringir tanto como fuera posible el empleo del principio de semejanza, esperando que se llegara a establecer sobre una teora de la proporcionalidad independiente de la hiptesis de la conmensurabilidad [La Teora de la Proporcin del Eudoxo del Libro V de Los Elementos de Euclides]. P.Tannery. La
gomtrie grecque. Gauthier-Villars. Pars,1887. p.98.

3.

El descubrimiento de la inconmensurabilidad es uno de los ms asombrosos y trascendentales logros de la primitiva matemtica griega [...]. El hallazgo debi provocar una enorme impresin en los crculos pitagricos porque de golpe destrua la creencia de que todo poda ser expresado en trminos de nmeros enteros, lo que constitua la base de toda la Filosofa pitagrica. Esta impresin es claramente reflejada en algunas leyendas que aseguran que Hipasos fue castigado por los dioses por haber hecho pblico el terrible descubrimiento. K.von Fritz. The discovery of incommensurability by Hippasus of Metapontum.
Annals of Mathematics, 46, 242-64, 1945. pp.242, 260.

4.

Eudoxo est en la cumbre de las matemticas griegas por su Teora de las Proporciones. [...]. Eudoxo ha 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 estos problemas. E.Bell.
Les grands mathmaticiens. Payot. Pars, 1950, pp.3637.

5.

El descubrimiento pitagrico de los irracionales mostr su incompatibilidad con su metafsica [...]. La inconmensurabilidad de la diagonal y el lado de un cuadrado planteaba a los pitagricos una tremenda alternativa: de mantener su metafsica, mutilaban la geometra; de mantener la geometra anulaban su metafsica. Arqumedes: El Mtodo. Introd.
y notas de J. Babini. Eudeba, Buenos Aires, 1966, p.14.

6.

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. [...]. 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. H.Eves. Great Moments in Mathematics. The
math. Assoc. of America, 1977. Vol.1. Cap.6, p.53.

7.

Para los pitagricos, que fueron sus autores, el descubrimiento de las magnitudes irracionales debi de ser, si no un escndalo, s por lo menos una decepcin. Demostrar el carcter informulable (alogon) de magnitudes fciles de construir y cuya existencia espacial resultaba evidente, era poner fin a un gran sueo de Aritmtica universal. J.Itard. La Ciencia helnica: Platn (en Historia general de las Ciencias. Orbis. Barcelona, 1988, vol.1,
Lib.1, cap.3, p.279). R.Taton (compilador).

8.

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 la leyendas.
E.Colerus. Breve historia de las Matemticas. Doncel, Madrid, 1972. Vol.1, cap.1. pp 29, 30.

9.

La razn del escndalo desatado por la aparicin de las magnitudes inconmensurables est en que la matemtica pitagrica tena como principio que todo es nmero, o sea que el nmero es la esencia de todas las cosas que existen, donde nmero es slo nmero entero, por lo cual la imposibilidad de medicin numrica vena a hacer estremecer los cimientos filosficos de la doctrina pitagrica. C.Eggers. El nacimiento de la Matemtica en
Grecia. Eudeba, Buenos Aires, 1995. Cap. 5, p.128.

120

10. 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. W.Guthrie. Historia
de la Filosofa griega. 1990. Vol 5. p. 298.

11. Por desgracia para Pitgoras el teorema del tringulo rectngulo le condujo al descubrimiento de los inconmensurables, que pareca refutar toda su Filosofa. [...]. Esto convenci a los matemticos griegos que la Geometra deba establecerse independiente de la Aritmtica. B.Russell. Historia de la Filosofa occidental. Austral. Madrid,1995. Vol.1. Lib.1.
Cap.3. p.73 12. Para el alma antigua el principio de lo irracional, esto es, la destruccin de la serie estatuaria

de los nmeros enteros, representantes de un orden perfecto del mundo, fue como un criminal atentado a la divinidad misma. [...]. La transformacin de la serie discontinua de los nmeros en una serie continua, 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. 13. [La demostracin aristotlica de la irracionalidad de

2 ] es un teorema simple, tanto 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. G.H. Hardy. Apologa de un matemtico,
Nivola, Madrid, 1999. p.91

14. Segn la tradicin, el descubrimiento de la irracionalidad por los pitagricos, por lo menos

en cierto tiempo y en ciertos ambientes, fue considerado como un monstruoso conflicto entre las sugestiones de la experiencia y las de la deduccin lgica. Acenta tambin la tradicin que tal descubrimiento habra sido revelado a los no iniciados de la secta pitagrica por Hipasos de Metaponto, el cual por este crimen habra sido matado por los dioses o por sus compaeros. B.Levi. Leyendo a Euclides. Zorzal, Buenos Aires, 2001. Cap. 1.

pp7071. 15. El lado y La diagonal de un cuadrado no admiten ninguna medida comn. Si un nmero

representa al uno, ningn nmero puede representa al otro. Son inconmensurables. As pues, es imposible conocerlos numricamente juntos. Y sin embargo, ante nuestros ojos, juntos, se muestran. Lo real, aqu, no es discutible, y excede manifiestamente la capacidad numrica. [...]. Esas magnitudes geomtricas escapan a la numericidad. [...] Para reconstruir el edificio daado, los griegos desarrollaron una teora interna referente slo a las magnitudes geomtricas. Establecieron proporciones entre estas magnitudes, pero se negaron a llamarlas nmeros. [...]. Ser preciso aguardar casi dos milenios para que, por el camino real de una definicin, estos entes se integren en el imperio de los nmeros.
D.Guedj. El imperio de las cifras y los nmeros. B.S.A. Barcelona, 1988. Cap.V, p.85.

16. La supuesta conmensurabilidad de los segmentos era una cuestin crtica para los

pitagricos, no slo porque empleaban esta idea en sus demostraciones sobre figuras semejantes sino tambin porque pareca apoyar su visin filosfica del papel central de los nmeros enteros. [...]. El descubrimiento hizo trizas las demostraciones pitagricas basadas en la conmensurabilidad de todos los segmentos. Deberan transcurrir casi dos siglos hasta que el matemtico Eudoxo encontrara un modo de dirimir la cuestin de la semejanza mediante la conmensurabilidad. Adems, el descubrimiento supuso un impacto perturbador a la supremaca de los nmeros enteros, pues si no todas las cantidades eran conmensurables, los nmeros enteros eran inadecuados para representar las razones de todas las longitudes geomtricas. En consecuencia, el descubrimiento estableca firmemente la superioridad de la geometra respecto de la aritmtica en todas las Matemticas griegas a partir de entones. W.Dunham. Viaje a travs de los genios. Pirmide. Madrid, 1992. pp.31,32 aritmtica y la geometra, sino tambin quiebra en la ciencia y la filosofa. [...]. El descubrimiento por el pitagrico del irracional equivale para l a emergencia pura y simple de la sinrazn. [...]. La crisis abierta por el descubrimiento de la irracionalidad tuvo como consecuencia que la geometra fuera en parte privilegiada en detrimento de la aritmtica.
V.Gmez Pin. La tentacin pitagrica. Sntesis, Madrid, 1999. Cap. 2.3, pp.52,53,56.

17. La aparicin del inconmensurable deba forzosamente implicar no ya quiebra en la

121

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 todas 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 conduce a que haya que concebir al ente 2 geomtricamente inteligible, 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 irracional de 2 pona en entredicho las sagradas concepciones pitagricas.

1 1

El ente 2 es ininteligible en la Aritmtica racional pitagrica, porque su consideracin como fraccin de enteros conduce a una tremenda contradiccin aritmtica 2 resulta ser p/q con p y q enteros pares y primos entre s, as que la mnada pitagrica es incapaz de engendrar 2 , y ningn tipo de operacin aritmtica retorna 2 al origen, a la mnada. La entidad 2 se revela como irreductible al trato numrico pitagrico, pero es 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 un cuadrado, de modo que el temible 2 se obtiene como una mera construccin geomtrica de una gran sencillez, la diagonal de un cuadrado, conocido el lado. As pues la unidad aritmtica se revela impotente para medir la entidad 2 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.

122

LOS INCONMENSURABLES QUIEBRAN LA FILOSOFA PITAGRICA

Pitgoras. Museo Capitolino de Roma.

Portada de la Aritmtica de F.Calandri (Florencia, 1492) representando a Pitgoras como maestro de Aritmtica.

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 e inteligibles 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. Si el nmero es el instrumento radical de inteleccin del mundo el fsico y el espiritual, la aparicin del inconmensurable elemento que al est fuera de la inteligibilidad produce un disturbio radical en el orden numrico que resquebraja los cimientos aritmticos de la Filosofa pitagrica, 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. A este respecto son muy ilustrativas las reflexiones de V.Gmez Pin en su obra La tentacin pitagrica (Sntesis, Madrid, 1999, Cap. 2.3, pp. 5256):
El Pitagorismo afirma con radicalidad que los nmeros encierran 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. [...].(p. 52). El descubrimiento por el pitagrico del irracional raz cuadrada de dos equivale para l a emergencia pura y simple de la sinrazn. Y as el destino de ser ahogado que la leyenda evoca, no es el resultado de una condena por haber revelado el secreto, sino expresin de que, perdido el juicio, se sumerge por s mismo en el mar del devenir. [...]. (p. 53). Esta imposibilidad [de expresar raz cuadrada de dos en forma de fraccin] dej necesariamente atnito y acaso espantado al pitagrico. Pues no poda negar que 2 era un nmero, ya que entonces dejara de tener valor general el Teorema de Pitgoras , ni poda admitir que lo fuera, pues se trataba entonces de un nmero contradictorio. Entindase bien: lo contradictorio es que se trate de un nmero irracional, pues el pitagrico no conoca ms nmeros que los racionales y su explicacin del universo le impeda suponer que hubiera otros. [...]. (p. 55). La crisis abierta por el descubrimiento de la irracionalidad de raz cuadrada de dos tuvo como consecuencia que la geometra fuera en parte privilegiada en detrimento de la aritmtica. Pues irreductible a la aritmtica racional, 2 es, sin embargo, perfectamente designable o representable en el orden geomtrico [aplicando el Teorema de Pitgoras] sustentado en esa misma aritmtica racional. [...]. Cabra, pues, decir que donde el contar fracasa s triunfa la medida. (p. 56).

123

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.

B G H C

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 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 brillante y rigurosa, aunque provisional durante ms de dos mil aos, la antinomia radical entre finito e infinito.

124

La crisis de los inconmensurables en la Academia platnica

Uno 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 aparicin de la demostracin. Es absolutamente imposible constatar de forma perceptiva la inconmensurabilidad sobre una figura, es decir, la inconmensurabilidad no es comprobable de forma emprica sino de forma terica, a travs de un acto intelectual puro. Ninguna verificacin geomtricoemprica 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, es decir, implica la existencia 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 Matemtica 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 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 opina con una retrica exageracin (Leyes, 819e821a): [...] Se me ha revelado muy tardamente nuestra habitual deficiencia en este campo de cosas; me qued enormemente sorprendido y, viendo en ello [en la citada ocultacin] 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. [...] Son temas en los que la ignorancia es una deshonra, mientras que su conocimiento, como verdades elementales que son, no es ninguna proeza. [...] Son ciencias en las que deben aprender los jvenes, porque ellas no ofrecen ni inconvenientes ni dificultades [...]. Ser bueno que, por el momento, se incluyan como estudios obligatorios en nuestras leyes, a fin de que no haya en ellas lagunas [...]. 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. Como apuntan los Dilogos de Platn, y como veremos a continuacin, una de las principales contribuciones de la Academia platnica a la Matemtica nace de su profunda comprensin del problema de lo inconmensurable y su consiguiente sustitucin de las concepciones aritmticas del Pitagorismo original por presupuestos geomtricos.

125

PLATN Y L A ACADEMIA DE ATENAS MATEMTICAS Y FILOSOFA

La Academia de Atenas. Fragmento de un fresco de la Biblioteca de El Escorial de P.Tibaldi. 1586. No se conoce ninguna obra de Platn dedicada exclusivamente a la Matemtica, pero en muchos de sus Dilogos el Menn, las Leyes, el Teeteto y sobre todo la Repblica y el Timeo el filsofo desarrolla multitud de consideraciones extradas de la Matemtica, para establecer la aristocracia intelectual de esta ciencia. Platn ejerci un decisivo influjo en la Matemtica de su tiempo y no slo por sus elocuentes escritos, plagados de referencias matemticas, sino sobre todo por sus lecciones y reflexiones orales en la Academia. Con su fundacin en 387 a.C., Platn crea el centro ms importante de irradiacin matemtica y filosfica de la Antigedad, ejerciendo un magnfico mecenazgo de matemticos, en una institucin en la que la Matemtica fue siempre considerada como fundamento de todo el saber humano y por tanto como propedutica esencial para el estudio de la Filosofa. la Academia platnica reglament la aplicacin universal del Mtodo analtico, en la investigacin de problemas geomtricos. Con su inters por la metodologa del razonamiento y en general por los Fundamentos de la Matemtica, Platn sera el primero en sistematizar las reglas de la demostracin rigurosa y en comenzar una ordenacin de los teoremas segn una jerarqua lgica, iniciando un proceso de organizacin y estructuracin deductiva de la Matemtica que culminara Euclides con Los Elementos. No sabemos si Platn empez a establecer las bases axiomticas pero lo que si se sabe es que desde Platn la demostracin deductiva, a partir de los principios, se consider necesaria y consustancial con la propia naturaleza de la Matemtica, estableciendo un paradigma de actuacin en Matemtica que nunca ha sido relevado hasta ahora. Asimismo, La Academia de Platn se plante ya de forma clara la cuestin de si un problema dado tena solucin o no sobre las bases de las verdades conocidas y de las hiptesis admitidas. Entre los matemticos ms eminentes de La Academia debemos citar a Teeteto, Menecmo y Eudoxo. Teeteto realiz importantes contribuciones al estudio y construccin de los poliedros, los llamados Cuerpos platnicos, de modo que se le atribuye la paternidad de la mayor parte del Libro XIII de Los Elementos de Euclides. Menecmo, que fue durante un tiempo maestro de Aristteles y de Alejandro Magno, es el descubridor de las secciones cnicas en relacin con el problema de la Duplicacin del cubo. Eudoxo resolvi, mediante el Axioma de continuidad, la Teora de la Proporcin y el Mtodo de exhaucin, la primera crisis de fundamentos en la Historia de la Matemtica provocada por la aparicin de la inconmensurabilidad en el mundo pitagrico. Los Matemticos de la Academia tambin dieron diversas soluciones a los famosos problemas clsicos de la Duplicacin del cubo, la Triseccin del ngulo, la Cuadratura del crculo y la construccin de polgonos regulares, problemas seculares, cuya solucin definitiva hubo de esperar ms de dos mil aos despus de Platn.

126

LOS NMEROS Y LO IRRACIONAL EN LA FILOSOFA MATEMTICA DE SPENGLER

El sentido de los nmeros
(en La decadencia de Occidente. Cap.I.1). Austral, Madrid, 1998. pp.138155
En el numero, como signo de la total limitacin extensiva, reside, como lo comprendi Pitgoras, con la intima certidumbre de una sublime intuicin religiosa, la esencia de todo lo real, esto es de lo producido, de lo conocido y, al mismo tiempo, limitado. (p.138). Pitgoras concibi cientficamente el numero antiguo como principio de un orden universal de las cosas palpables, como medida o magnitud. (p.139). El circulo de los pitagricos, hacia el 540 a.C., lleg a la concepcin de que el nmero es la esencia de todas las cosas. Esto no solamente es un gran paso en el desarrollo de la matemtica. Es ms an: es propiamente el orto de una matemtica nueva, creada en las profundidades de la alma antigua, teora consciente de s misma, que ya se haba anunciado en problemas metafsicos y en tendencias de la forma artstica. (p.147). La afirmacin pitagrica de que el nmero es la esencia de todas las cosas aprehensibles por los sentidos sigue siendo la ms valiosa proposicin de la Matemtica antigua. En ella el nmero se define como medida, expresando as el sentimiento csmico de un alma apasionadamente entregada al ahora y al aqu. Medir, en este sentido significa medir algo prximo y corpreo. [...] El concepto pitagrico de la armona numrica aunque deducido acaso de un msica [...] es un sentimiento que trasladado al lo grande, es lo que crea el cosmos, en oposicin al caos, el mundo exterior del alma antigua, el orden armnico de todas las cosas singulares, de palpable presencia. La suma de esas cosas es justamente el mundo entero. Lo que media entre las cosas es el espacio csmico. (pp.148 149). Para el pensamiento antiguo, para el sentimiento csmico de los antiguos, la matemtica no poda ser ms que teora de las relaciones de magnitud, medida y figura entre cuerpos slidos. Cuando Pitgoras, movido por ese sentimiento, hall la formula decisiva, era para l el numero precisamente un smbolo ptico, no una forma en general o una forma abstracta; era el signo de la limitacin de las cosas que abarcamos con la mirada. Toda la matemtica de la antigedad, sin excepcin, concibi a los nmeros como unidades de medida, magnitudes, distancias, superficies. No poda representarse otra especie de extensin. La matemtica antigua es en ultima instancia estereometra. (pp.149150). Los nmeros pertenecen exclusivamente a la esfera de lo extenso. Pero hay tantas maneras posibles de representarse el orden de lo extenso como existen culturas. El numero antiguo no es el pensamiento de relaciones espaciales sino de unidades tangibles, limitadas para los ojos del cuerpo. La Antigedad por tanto no conoci ms que los nmeros naturalespositivos enteros. (p.150). Por eso la representacin de los nmeros irracionales, o como decimos nosotros fracciones decimales infinitas, ha sido siempre irrealizable para el espritu griego. Dice Euclides que las distancias inconmensurables no se comportan como nmeros. Y en realidad, si se analiza el concepto de nmero irracional, se ve que el concepto de nmero y el concepto de magnitud estn en l perfectamente separados, porque los

127

nmeros irracionales, por ejemplo , no pueden ser nunca exactamente limitados o representados por una distancia. De aqu se sigue que para el nmero antiguo, que es justamente lmite sensible, magnitud conclusa y nada ms, la representacin, por ejemplo, de la relacin del lado del cuadrado con la diagonal, entra en contacto con una idea numrica totalmente distinta, muy extraa al sentimiento antiguo del universo y por lo tanto intolerable, idea que parece prxima al descubrir el arcano de la propia existencia. Este sentimiento produce un extrao mito griego de poca posterior, segn el cual el primero que sac a la luz pblica la nocin de lo irracional perdi la vida en un naufragio porque lo inexpresable e inimaginable, debe siempre permanecer oculto. Quien sienta el terror que se manifiesta en este mito es el mismo terror que estremeca a los griegos de la poca ms floreciente ante la idea de ensanchar sus minsculos estado-ciudades, convirtindolos en territorios pblicamente organizados; ante las perspectivas de largas calles en lnea recta y avenidas interminables; [...] ante la idea de salir del Mediterrneo con rumbos que ya de antiguo haban descubierto las naves egipcias y fenicias; es la misma antigua metafsica que los atenazaba al pensar en la disolucin de lo tangible, lo sensible, lo presente, lo actual, con que la existencia antigua se haba construido como una cerca protectora, allende la cual yaca no sabemos qu cosa inquietante, una sima, elemento primario de ese cosmos, creado y mantenido en cierto modo artificialmente, quien comprenda ese sentimiento, ha comprendido tambin el sentido ms hondo del nmero antiguo, la medida opuesta a lo inmenso, y ha logrado compenetrarse con el superior ethos religioso de esa limitacin. (pp.150151). Para el alma antigua el principio de lo irracional, esto es, la destruccin de la serie estatuaria de los nmeros enteros, representantes de un orden perfecto del mundo, fue como un criminal atentado a la divinidad misma. Este sentimiento se percibe claramente en el Timeo de Platn. La transformacin de la serie discontinua de los nmeros en una serie continua, pone en cuestin no slo el concepto antiguo del nmero, sino hasta el concepto del mundo antiguo. Se comprende ahora que en la matemtica antigua no fuesen posibles, no ya el cero como nmero refinada creacin de admirable energa que aniquila toda representacin sensible y, para el alma india, que la concibi como base del sistema de posicin, constituye la clave para desentraar el sentido de la realidad, pero ni siquiera los nmeros negativos que nosotros nos representamos sin dificultad. (pp.152153). El sentir antiguo obedece a aquel terror ante lo irracional que les impidi concebir la nada como cero, como nmero, excluyendo de la contemplacin csmica las relaciones inconmensurables para conservar intacto el smbolo de la medida. (p.155). El concepto de los nmeros irracionales, de los nmero propiamente antihelnicos, deshace en su fundamento mismo la nocin de nmero concreto y determinado. A partir de ese momento, ya no forman esos nmeros una serie de magnitudes crecientes, discretas, plsticas, sino un continuo de una dimensin, en el cual cada corte en sentido de Dedekind representa un nmero, aunque ya en realidad no puede drsele ese nombre. Para el espritu antiguo no hay ms que un nmero entre el 1 y el 3; para el espritu occidental, hay una coleccin infinita. (p.170). El nmero antiguo, entero, material, busca involuntariamente una relacin que lo una con el nacimiento del hombre corpreo [...]. Desde ese punto de vista se comprende el mito, del criminal descubrimiento del nmero irracional. El irracional, o, segn nuestro modo de expresarnos, el uso de los decimales infinitos, viene a destruir el orden gentico, el orden corporeoorgnico, instituido por los dioses. (p.180).

128

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. Para conjurar la crisis de fundamentos haba que soslayar el concepto infinitesimal de nmero irracional. 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 EudoxoArqumedes 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. 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.

129

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. 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 rc = sd qhc = phd qc = pd

2.

Teorema de Euclides a = p a = pm ==m b = q b = qm Elementos, VII.30 c = p c = pn ==n d = qn b = q

Teorema de Euclides Elementos, VII.30

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 un apartado anterior: 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).

M Bm B3 B2 B C D E E2 E3

N En

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.

130

La Definicin V.5 de Los Elementos de Euclides en la edicin visual de Oliver Byrne (Londres, 1847)

La Definicin V.5 de igualdad de razones es el Principio Fundamental de la Teora de la Proporcin, introducido por Eudoxo para superar la crisis de fundamentos que trajo el descubrimiento pitagrico de las magnitudes inconmensurables. La definicin de Eudoxo de proporcin generaliza la nocin pitagrica de proporcionalidad de razones de enteros invalidada por la aparicin del irracional y es la base de los teoremas sobre figuras semejantes del Libro VI de Los Elementos de Euclides. La definicin de Eudoxo es tambin un antecedente histrico formal de las cortaduras que utiliz Dedekind en el siglo XIX para la fundamentacin del conjunto de los nmeros reales.

La Proposicin 6.1 de Los Elementos de Euclides: Los tringulos que tienen la misma altura, son entre s como sus bases, en la edicin visual de Oliver Byrne (Londres, 1847).

131

EUDOXO DE CNIDO, ENTRE PITGORAS Y EUCLIDES

ARTFICE DE LA SOLUCIN A LA CRISIS DE FUNDAMENTOS PRODUCIDA POR LA APARICIN DE LAS MAGNITUDES INCONMENSURABLES P.Tannery. La gomtrie grecque.
Gauthier-Villars, Pars,1887, pp.9598.
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. [...]. En su origen [en la Geometra griega] se fundaba la correlacin entre la Geometra y la Aritmtica sobre la proporcin geomtrica en la hiptesis de la conmensurabilidad de todas las magnitudes, hiptesis ciertamente tan natural como falsa [tras el descubrimiento de las magnitudes inconmensurables], y, que, en la poca en que Platn escriba las Leyes, estaba todava muy extendida. El descubrimiento de la inconmensurabilidad por Pitgoras debi causar, en Geometra, un verdadero escndalo lgico, y, para superarlo, se tendi a restringir tanto como fuera posible el empleo del principio de semejanza, esperando que se llegara a establecer sobre una teora de la proporcionalidad independiente de la hiptesis de la conmensurabildad [La Teora de la Proporcin del Eudoxo del Libro V de Los Elementos de Euclides]. Es a Eudoxo a quien pertenece la gloria de haber creado esta teora, objeto del Libro V de Los Elementos de Euclides; el rigor es incontestable, y, si lo embarazoso de su forma geomtrica ha sido uno de los motivos para abandonarla, sera fcil despejarse de ella [de la forma geomtrica], de modo que al hacerlo mantiene entonces sin ninguna desventaja la comparacin con las exposiciones modernas, a menudo tan defectuosas. Parece, por consiguiente que , entre Pitgoras y Euclides, La Geometra plana ha sufrido en su conjunto una revisin profunda, cuyo momento decisivo ha sido el trabajo de Eudoxo sobre las proporciones.

1. 2.

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. Tratado de las esferas de Eudoxo. Papiro egipcio del Siglo II d.C. Museo de Louvre. Pars.

132

El Mtodo de Exhaucin de Eudoxo

Prescindiendo del nmero irracional, Eudoxo 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. La importancia del axioma la ha remarcado Hilbert, en su obra Los principios fundamentales de la Geometra, donde le asigna un papel fundamental en la estructura de la Geometra. Arqumedes lo enuncia en el postulado V del Libro I de su obra Sobre la Esfera y el Cilindro. Dadas dos lneas, dos superficies o dos slidos desiguales, si el exceso de una de estas figuras sobre la otra se aade a s mismo un cierto nmero de veces, se puede superar una u otra de las figuras que se comparan entre s. Arqumedes repite el enunciado en la carta a Dositeo, que acompaa a su obra Sobre la Cuadratura de la Parbola: [...] Para demostrar este teorema he utilizado el siguiente lema: Si la diferencia entre dos magnitudes se aade sucesivamente a s misma, llegar a ser mayor que un rea dada. Los gemetras anteriores a m [Eudoxo, ...] 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, [...]. Vemos como Arqumedes, con gran sagacidad, 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. En la Geometra griega dada una figura curvilnea A, para determinar su rea a(A) se busca una sucesin de polgonos {P1,P2,...,Pn,...}, que aproximen progresivamente el rea de A. El mtodo de exhaucin se idear para sustituir con absoluto rigor en la demostracin de la magnitud de un rea o volumen a la idea intuitiva de que el rea de A es el lmite de las reas de los polgonos {P1,P2,...,Pn,...}. Se intenta demostrar que se puede encontrar un polgono en la sucesin {P1,P2,...,Pn,...} cuyo rea difiera del rea de la figura A en una cantidad menor que otra prefijada. 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 resta una magnitud mayor que su mitad y de lo que queda otra magnitud mayor que su mitad y se repite continuamente este proceso, quedar una magnitud menor que la menor de las magnitudes dadas. Este resultado que es conocido como Principio de Eudoxo abre las puertas al Mtodo de exhaucin, con el que Eudoxo demuestra rigurosamente los teoremas sobre el rea del crculo, as como sobre los volmenes de la pirmide y el cono, que haban sido enunciados por Hipcrates de Quos y Demcrito, respectivamente, y que aparecen en Los Elementos de Euclides (Proposiciones XII.2, XII.5 y XII.10).

133

Inscribiendo un cuadrado en un crculo, la diferencia entre ambos es menor que la mitad del rea del crculo. Considerando el octgono inscrito, se ve que la diferencia entre cada segmento circular y el tringulo issceles que determina dos lados del octgono, es menor que la mitad del segmento circular. inscribiendo un cuadrado en un crculo, la diferencia entre ambos es menor que la mitad del rea del crculo. Si ahora se considera el octgono inscrito, se puede ver que la diferencia entre cada segmento circular (determinado por el cuadrado y el crculo) y el tringulo issceles que determina dos lados del octgono, es menor que la mitad del segmento circular. Partiendo de un crculo y un cuadrado (por pequeo que sea), continuando el proceso anterior, se resta reiteradamente a una cantidad otra cantidad superior a su mitad (en primer lugar al crculo se le resta el cuadrado, en segundo lugar a los segmentos circulares resultantes los tringulos issceles que determinan el octgono, y as sucesivamente); aplicando el Principio de Eudoxo suficientemente, alcanzaremos un polgono inscrito, cuya diferencia con el crculo es menor que el cuadrado pequeo prefijado.

Aplicando el Principio de Eudoxo, alcanzaremos un polgono inscrito, cuya diferencia con el crculo es menor que un cuadrado pequeo prefijado. Simblicamente, dado un crculo C y un nmero >0 se puede encontrar un polgono regular P inscrito en C tal que a(C) a(P)< (Lema de exhaucin del crculo). Este resultado 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 C y D crculos de dimetros c y d; el teorema enuncia que a(C)/a(D)=c2/d2. La demostracin consiste en probar que cualquiera de las desigualdades: a(C)/a(D)<c2/d2, o a(C)/a(D)>c2/d2conduce a contradiccin. Supongamos que en vez de la igualdad se verifica a(C)/a(D)<c2/d2. Entonces a(D)>[a(C)d2]/c2=h. Sea =a(D) h. Segn el resultado anterior se puede encontrar un polgono Q inscrito en el crculo D tal que a(D) a(Q)< =a(D) h. Por tanto a(Q)>h. Sea P el polgono regular semejante a Q, inscrito en el crculo C. Ahora bien, segn la Proposicin XII.1 de Los Elementos: los polgonos semejantes inscritos en crculos son entre s como los cuadrados de los dimetros, a(P)/a(Q)= c2/d2=a(C)/h. Se tiene h/a(Q)=a(C)/a(P)>1. Por tanto h>a(Q) lo cual es una contradiccin. Luego no es cierto que a(C)/a(D)< c2/d2. Intercambiando los papeles entre los crculos se demuestra anlogamente que no es cierto que a(C)/a(D)>c2/d2. De donde concluimos que la igualdad es cierta. Aplicando tambin el lema de exhaucin del crculo mediante polgonos inscritos, se puede demostrar, asimismo, mediante una doble reduccin al absurdo, que al igual que para el prisma el volumen del cilindro es el producto del rea de su base por su altura.

134

EL PRINCIPIO DE EUDOXO Y EL MTODO DE EXHAUCIN

La Proposicin X.1 de Los Elementos de Euclides (edicin de I. Barrow, Londres, 1678). Esta cuidada edicin en latn fue publicada por vez primera en 1655 y reeditada en numerosas ocasiones. La Proposicin I del Libro X es una de las ms importantes de Los Elementos, ya que en ella se demuestra el Principio de Eudoxo, que es la base preliminar del Mtodo de Exhaucin instrumento fundamental de la Geometra griega para la resolucin a los problemas infinitesimales, que al emplear un sistema indirecto de prueba, no requiere un proceso explcito de paso al lmite. 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 de Los Elementos. Con el Mtodo de Exhaucin, tanto Euclides en el Libro XII de Los Elementos como Arqumedes en las obras Sobre la Cuadratura de la Parbola, Sobre la Esfera y el Cilindro, y otras pudieron alcanzar, con todo rigor, los mismos resultados sobre cuadraturas y cubaturas que cuando se efectan investigaciones propiamente infinitesimales. E.Bell, en su obra Les grands mathmaticiens (Payot. Pars, 1950, p.36) sita a Eudoxo por su Teora de las Proporciones en la cumbre de las matemticas griegas y sintetiza su labor como matemtico con estas palabras (p.37):
En el momento que abandonamos las figuras limitadas por lneas rectas o superficies planas, entramos de lleno en los problemas de la continuidad, los enigmas del infinito y los ddalos de los nmeros irracionales. Eudoxo ha encontrado el primer mtodo lgicamente satisfactorio, que Euclides ha reproducido en el Libro V de sus Elementos, para resolver estos problemas. En su mtodo de exhaucin, aplicado al clculo de reas y volmenes, Eudoxo ha mostrado que no tenemos necesidad de suponer la existencia de cantidades infinitamente pequeas. Basta, para los fines que persiguen las Matemticas, poder alcanzar una magnitud tan pequea como queramos gracias a la divisin continua de una magnitud dada.

La mayor aportacin de la Academia platnica a las cuestiones infinitesimales, y una de las ms importantes en la Matemtica en general, fue la brillante solucin que le dio Eudoxo el ms importante de sus matemticos a la correspondiente crisis de fundamentos, con la Teora de la Proporcin. Realmente el trabajo de Eudoxo ha sido uno de los ms influyentes en la Historia de la Matemtica. Por una parte, su definicin de igualdad de razones permiti salvaguardar el legado pitagrico mediante la reconstruccin de las pruebas de los teorema pitagricos que involucraban proporciones, y por otra, su Mtodo de Exhaucin se convirti en un instrumento fundamental en la Geometra griega para la resolucin a los problemas infinitesimales de cuadraturas y cubaturas.

135

Inconmensurables, Teora de la Proporcin y Mtodo de exhaucin

ARQUIMEDES: El Mtodo. Introduccin y notas de J. Babini.
Eudeba, Buenos Aires, 1966, pp.14-17.
A comienzo del siglo IV a.C. la matemtica tena mas de un siglo de existencia. Nacida a la sombra de la metafsica pitagrica fundada en la omnipresencia y omnipotencia del numero (el numero es la esencia de todas las cosas), ya haba andado mucho. Sin embargo, pronto mostr su incompatibilidad con aquella metafsica, pues se demostr que no haba numero (racional) para expresar la relacin entre elementos tan simples como la diagonal y el lado de un cuadrado, o el lado de un tringulo equiltero y el dimetro de su circunferencia circunscrita, y as sucesivamente. Este hecho planteaba a los pitagricos una tremenda alternativa: de mantener su metafsica, mutilaban la geometra; de mantener la geometra anulaban su metafsica. Mientras los pitagricos se debatan en esta cuestin, los matemticos encararon el problema desde el punto de vista tcnico, y uno de ellos, Eudoxo de Cnido, encuentra una escapatoria. La solucin de Eudoxo comprende una definicin, un principio y un mtodo. La definicin de Eudoxo evita la dificultad que haba presentado la razn entre cantidades inconmensurables, por carecer los griegos del concepto de nuestro numero irracional, definiendo, no esa razn, sino la igualdad de razones; es decir, la proporcin, de una manera tal de soslayar esa carencia. Para ello, mediante desigualdades y nmeros enteros, logra definir la proporcionalidad, sean conmensurables o no las cantidades proporcionales. Esta definicin de la proporcionalidad [Euclides V.5] es la que luego servir de base a la teora de la semejanza que aparece en los Elementos de Euclides [Libro VI]. El principio de Eudoxo establece la condicin para que dos cantidades tengan razn. Ese principio, que figura entre las definiciones del libro V de los Elementos [Euclides V.4], establece como tal condicin que existe razn entre dos cantidades cuando un mltiplo de la menor supera a la mayor, expresin en la que vuelven a aparecer nmeros enteros y una desigualdad. Ahora bien, en su libro de la Esfera y del Cilindro [y tambin en la carta a Dositeo que antecede a la obra Sobre la Cuadratura de la Parbola] Arqumedes incluye esa proporcin entre los postulados [Postulado I.5], ya que no obstante la gran evidencia que el principio revela, su perspicacia matemtica le advierte que no se trata de una definicin, sino de una proposicin de la cual debe partirse, es decir, de un postulado. La existencia de geometras no arquimedianas demostradas este siglo [en el siglo XX] que ni cumplen con ese postulado, muestran claramente cun acertada fue la ubicacin que Arqumedes asign a este principio. en la construccin geomtrica. Hoy, ese postulado es el importante Postulado de Continuidad, a veces llamado Postulado de Arqumedes o Postulado de EudoxoArqumedes, en vista de su origen. Tal postulado desempea un papel fundamental en el mtodo de exhaucin. Este mtodo ideado por Eudoxo y aplicado por ste por primera vez, es el que en la geometra griega suple los actuales mtodos infinitesimales. La primera observacin importante que se formula es que no se trata de un mtodo de descubrimiento sino de demostracin, es decir, que supone conocido de alguna manera el resultado y ofrece un procedimiento riguroso para demostrarlo. De paso observemos como, ya en la poca de Eudoxo, la matemtica reflejaba su caracterstica fundamental de poner el acento en el proceso deductivo, en la demostracin, y no en el resultado. Conocido, pues, de antemano el resultado, la demostracin por el mtodo de Eudoxo de que, por ejemplo, una cierta figura A es equivalente a una cierta figura B, consiste en una doble reduccin al absurdo, probando que los supuesto de ser A mayor o menor que B conducen a contradicciones, de manera que no queda otra alternativa que A sea equivalente a B. Y es en esta demostracin que juega su papel el postulado anterior, ya que la demostracin exige que se pueda descomponer la figura en partes tales que una de ellas sea inferior a una figura dada, y esto se logra precisamente en virtud el postulado. Esta descomposicin de la figura en partes cada vez ms pequea fue la causa por la cual un matemtico renacentista dio al mtodo el nombre de mtodo de exhaucin, aunque en verdad tal descomposicin no agota la figura, sino que solo llega la punto en que cierta figura es menor que una figura dada. El mtodo de exhaucin, aplicado por Euclides en los Elementos en la demostracin de unos pocos teoremas se convierte en manos de Arqumedes en el mtodo riguroso con el cual determina sus muchsimas cuadraturas y cubaturas que hoy se logran ms fcilmente mediante los mtodos infinitesimales. As como el Principio de Eudoxo, convertido por Arqumedes en postulado, es nuestro actual Postulado de Continuidad, indispensable en el Anlisis Infinitesimal, el mtodo de exhaucin es la traduccin geomtrica de la operacin de paso al lmite, caracterstica de los mtodos infinitesimales. As como en el mtodo de exhaucin se trata de llegar a una figura menor que una figura prefijada, la definicin de lmite exige precisar un valor menor que una cantidad prefijada.

136

Consecuencias sobre la naturaleza de la Geometra griega

La tempestad provocada por el descubrimiento pitagrico de los irracionales propici el horror al infinito, que caracteriza casi toda la Matemtica griega y paraliza parcialmente su imaginacin creadora, que pasara a segundo plano, a la sombra del supremo rigor lgico impuesto por la escuela platnica, cuyo exponente ms representativo es la figura de Euclides que estructura rgidamente la Matemtica griega elemental en su enciclopdica obra Los Elementos. La crisis trajo consigo un refinamiento geomtrico. Como reaccin al lenguaje ingenuo de los pitagricos, mezcla de brillantes ideas matemticas, actitudes msticas y aforismos religiosos, se impondr el severo rigor de Los Elementos. Pero el desarrollo de La Geometra al margen de la Aritmtica, la ausencia de un lgebra en sentido algortmico y simblico, y es ms, la conversin de toda la Matemtica en Geometra, con un estilo sinttico de exposicin que oculta la va heurstica del descubrimiento, fue el efecto ms inmediato. La solucin de la crisis de los irracionales con la Teora de la Proporcin de Eudoxo, que qued plasmada en el Libro V de Los Elementos de Euclides y constituy a partir de entonces la mdula de la Geometra griega, fue un magnfico xito cientfico, pero tom una forma geomtrico-deductiva 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 lgebra 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. Con gran habilidad en la prctica geomtrica, los griegos hicieron de su lgebra Geomtrica un poderoso instrumento para la resolucin de ecuaciones, mediante el mtodo de la Aplicacin de las reas, de ascendencia pitagrica. Una de las derivaciones ms importantes de la crisis de fundamentos que provoca la aparicin de los inconmensurables es de ndole metodolgico. La Filosofa platnica impone en la Matemtica griega un dominante rigor por encima de cualquier otro valor, lo que cristaliza en la sistematizacin axiomtico-deductiva de la geometra griega elemental en Los Elementos de Euclides, que establece un severo modelo de exposicin y demostracin en Matemticas, que presidir casi toda la produccin Matemtica posterior, o por lo menos la que nos ha llegado en los grandes tratados clsicos. Pero el respeto absoluto al paradigma estilstico eucldeo cercena considerablemente las posibilidades de expresin y oculta la va del descubrimiento el ars inveniendi, quedando de manifiesto en exclusiva la va apodctica el ars disserendi. Adems, 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.

137

LOS INCONMENSURABLES EN LOS ELEMENTOS DE EUCLIDES

Quinto libro degli Elementi dEuclide, ovvero scienza universale delle proporzioni spiegata colla dottrina del Galileo, ... Libro V de la edicin de Viviani de Los Elementos de Euclides (Florencia, 1690). Euclides. Fragmento de un fresco de la Biblioteca de El Escorial de P.Tibaldi. 1586. Los pitagricos haban elaborado un gran desarrollo geomtrico con multitud de teoremas en particular sobre semejanza de figuras que aplicaban proporciones, en la creencia de que dos magnitudes geomtricas eran siempre conmensurables es decir, haba un segmento comn que meda a ambas, y por tanto eran expresables su magnitud como cociente entre dos nmeros enteros. La aparicin de los inconmensurables en el horizonte geomtrico de la escuela pitagrica invalidaba las pruebas de todos los teoremas que utilizaban proporciones, de ah la terrible confusin lgica que introdujo este fenmeno en la Geometra griega, que lleg a producir una crisis de fundamentos, sin precedentes en la Historia de la Matemtica. Es precisamente la necesidad de reconstruir las pruebas geomtricas de los teoremas pitagricos, a base de fundamentarlas en un nuevo rigor, lo que produce, como reaccin ante la crisis, la aparicin de Los Elementos de Euclides, donde la Matemtica elemental de los griegos queda rgidamente estructurada con el severo rigor que impone el mtodo axiomtico. As pues, uno de los objetivos principales de Los Elementos de Euclides debi ser la plasmacin enciclopdica de la Geometra griega elemental en un Corpus geomtrico, organizado de forma lgico-deductiva, que deba normativizar la forma definitiva en que deba de quedar el conocimiento matemtico despus de la aparicin de los inconmensurables. En este sentido, el Libro V contendra el instrumento para llevar a cabo el programa eucldeo y por eso es uno de los ms importantes de esta Biblia matemtica. Pero la revisin de los fundamentos traer como secuela el desarrollo de la Geometra independiente de la Aritmtica, la ausencia de un lgebra en sentido algortmico y simblico y por tanto un enfoque exclusivamente geomtrico de toda la Matemtica griega La solucin de Eudoxo, de la Academia platnica, llamada Teora de la Proporcin que al ser de naturaleza geomtrica se aplica indistintamente a magnitudes conmensurables o inconmensurables como longitudes, reas y volmenes, no es plasmada por Euclides en Los Elementos hasta llegar al Libro V, lo que le obliga a remodelar de forma muy ingeniosa la doctrina geomtrica de los cuatro libros anteriores que es de origen pitagrico, sustituyendo las pruebas pitagricas por demostraciones independientes de la citada teora. El Libro V de Los Elementos proporcionara, pues, una base lgica firme a todo resultado que en la Geometra griega tuviera que ver con proporciones en particular las proposiciones pitagricas sobre figuras semejantes del Libro VI, es decir, teoremas relativos a razones y proporciones que se presentan en el estudio de tringulos, paralelogramos y otros polgonos semejantes. De esta forma pudo actualizarse con todo rigor y preservarse para la posteridad el legado geomtrico pitagrico.

138

La influencia de los inconmensurables en el infinito de Aristteles

La aparicin de lo inconmensurable inaugura en el mundo griego los problemas infinitesimales asociados a la continuidad de los entes geomtricos, que enfrenta la divisibilidad de los segmentos ad infinitum con la existencia atomstica de partes intrnsecamente indivisibles, objeto de polmica entre los filsofos de la Academia posteriores a Platn y los del Liceo de Aristteles, acerca de la constitucin de la materia y la estructura del continuo. Mientras la Academia platnica, dirigida por Xencrates, defenda los indivisibles fijos, el Liceo, dirigido por Aristteles, en sus especulaciones sobre la naturaleza del infinito, la existencia de indivisibles o infinitesimales y la divisibilidad de cantidades continuas, mantena la continua divisibilidad de los entes geomtricos (Fsica, Libro III, Cap.7, 207b): El continuo es infinitamente divisible. La polmica entre la Academia y el Liceo ha tenido una gran repercusin ulterior en el desarrollo conceptual de la Matemtica, inaugurando la dualidad InfinitesimalesIndivisibles, que establece la tradicin cinemtica representada por Arqumedes, Oresme, Galileo, Torricelli, Roberval, Barrow y Newton frente a la tradicin atomstica representada por Demcrito, Kepler, Cavalieri, Fermat, Pascal, Huygens y Leibniz. Arstteles considera toda magnitud finita, pero, como admite la infinita divisibilidad, rechaza el atomismo geomtrico. La antinomia entre rechazo o admisin del infinito es resuelta acuando los trminos actual y potencial. Un infinito en acto, es decir, un todo constituido de una infinidad actual de cosas dadas, no puede ser pensado como inteligible; sin embargo si se puede pensar en una magnitud creciente por encima en potencia de todo lmite, o en una serie de magnitudes cada vez ms pequeas que en potencia pueden hacerse ms pequeas que cualquier magnitud. Pero estas magnitudes, que no estn dadas como una infinidad acabada, siendo susceptibles de prolongacin tanto como se quiera, puede decirse que son infinitas en potencia. No obstante la doctrina aristotlica se hace confusa, por razones metafsicas, cuando se aplica al nmero, porque afirma el infinito extensivo del nmero, pero niega su divisibilidad indefinida. En efecto, hay un pasaje de la Fsica donde sintticamente Aristteles aplica la Teora de la potencia y el acto, pero donde manifiesta el confusionismo aludido (Fsica, Libro III, Cap.7, 207a): El nmero, en un proceso de disminucin hacia el mnimo, tiene un trmino; mientras, en un proceso de aumento, siempre se ve excedida cualquier cantidad que se tome. En las magnitudes, en cambio, ocurre todo lo contrario; pues en un proceso que tienda al mnimo, queda excedida negativamente toda magnitud; mientras que en un proceso de aumento no existe una magnitud infinita. La causa est en que el uno es un ser individual e indivisible, cualquiera que sea el ser uno, como por ejemplo, el hombre es un solo hombre y no muchos. Y el nmero es varias veces el uno y una cantidad determinada. De donde es necesario que se pare en el individuo. Pues el dos o el tres son parnimos, o nmeros derivados, y lo mismo cualquier otro nmero. En efecto, en un proceso hacia el ms, el nmero es siempre inteligible, ya que la magnitud se puede dividir indefinidamente por la mitad. Por esta razn existe el infinito en potencia, pero de ninguna manera en acto. Para Aristteles el infinito es como una ilusin del pensamiento que siempre puede traspasar potencialmente un lmite prefijado, pero distingue la cuestin del infinitamente grande y el infinitamente pequeo en las magnitudes y en los nmeros. En su exploracin del infinito parece que para Aristteles lo discreto y lo finito son objeto de la ciencia, reservando para la metafsica la virtualidad del continuo y del infinito. La aplicacin del infinito potencial a la divisin de un segmento de recta conducir a los Infinitesimales, mientras que la aplicacin de un infinito actual a la divisin de un segmento de recta en un nmero infinito de puntos introduce los Indivisibles, que sobre todo con Cavalieri se convirtieron en un poderoso soporte heurstico del Clculo infinitesimal.

139

LOS INCONMENSURABLES Y EL INFINITO EN LA FSICA DE ARISTTELES

La Teora de magnitudes mediante la que Eudoxo resuelve de forma provisional pero rigurosa la crisis de los inconmensurables, tiene una gran influencia en la concepcin que Aristteles y El Liceo tienen sobre el infinito. De hecho en la Fsica donde expone su concepcin sobre el infinito, la continuidad, la divisibilidad de magnitudes y el movimiento, Aristteles conjuga el Axioma de continuidad con el Principio de Eudoxo cuando indica que al adicionar continuamente a una cantidad finita se sobrepasar toda otra cantidad finita y al sustraer continuamente de una cantidad se llegar a una cantidad menor que cualquier otra (Fsica, Libro VIII, Cap.10, 266b) : Sumando siempre algo al finito, sobrepasaremos todo finito; igualmente restndole algo, vendremos a caer por debajo de todo finito. He aqu una descripcin del infinito potencial en la Matemtica, basado en la idea de tan grande o tan pequeo como se quiera del Mtodo de Exhaucin de Eudoxo, 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, 208a) : [...] 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 como se quiera [...]

Aristteles. Fragmento de la Escuela de Atenas de Rafael. Estancia de la Signatura. Vaticano.

Pgina del Libro VIII de la Fsica de Aristteles. Edicin salmantina de 1555. Biblioteca Central de Barcelona.

140

La incidencia histrica del descubrimiento pitagrico de los inconmensurables y de la solucin de Eudoxo, de la Academia platnica, a la consiguiente crisis de fundamentos de la Matemtica griega que se resuelve en Los Elementos de Euclides
Geometra al margen de la Aritmtica y del lgebra. Conversin de toda la Matemtica griega en Geometra. Limitacin operacional que impide asignar a las figuras geomtricas nmeros que midan sus longitudes, reas y volmenes. Compilacin de la Geometra griega elemental en Los Elementos de Euclides. Teora de la Proporcin de Eudoxo (Libros V, VI de Los Elementos de Euclides). Inauguracin en el mundo griego de los problemas infinitesimales. Aparicin de la idea de tan pequeo como se quiera del Mtodo de Exhaucin que produce resultados infinitesimales anlogos al ulterior clculo de lmites lgebra Geomtrica. Aplicacin de las reas (Libro II de Los Elementos de Euclides). Horror al infinito en la cultura griega. Teora de la Potencia el acto. Hilemorfismo de Aristteles. nfasis en el rigor como supremo valor de la Matemtica. Estilo sinttico-apodctico de exposicin (ars disserendi) que oculta la va heurstica del descubrimiento (ars inveniendi) alcanzado por va analtica o mecnica. El estilo axiomtico deductivo de Los Elementos de Euclides se convierte en paradigma cannico de exposicin y demostracin (Obras de Arqumedes, Cnicas de Apolonio, ...)

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

2.

141

Bibliografa
Bibliografa de Historia de la Ciencia y de la Matemtica
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. ARQUMEDES: El Mtodo. Introduccin de J.Babini. EUDEBA, Buenos Aires, 1966. Introduccin. BELL,E.T.: Les grands mathmaticiens. Payot. Pars, 1950. Cap.2. BELL,E.: Historia de las Matemticas. Fondo de Cultura Econmica, Mxico, 1985. Cap.1. BOYER,C: The History of the Calculus and its conceptual development. Dover, NY, 1949. Cap.2. BOYER,C.: Historia de las Matemticas. Alianza Universidad, Madrid, 1986. Caps. 4,5,6,7. BUNT, L.: The Historical Roots of Elementary Mathematics. Dover, New York, 1988. Cap. 3.10. COLERUS,E.: Breve historia de las Matemticas. Doncel, Madrid, 1972. Vol.1. Caps. 1,2. DUNHAM,W.: Viaje a travs de los genios. Ed. Pirmide. Madrid, 1992. Cap.1. DURN,A.: Historia de los conceptos del Clculo. Alianza Universidad. Madrid, 1996. Cap.2 EDWARDS,H.: The Historical Development of the Calculus. Springer-Verlag, New York, 1979. Caps. 1.3, 1.4, 1.5. EVES,H.: Great Moments in Mathematics. The math. Assoc. of America, 1977. Vol.1. Caps. 5, 6. EVES,H.: An Introduction to the History of Mathematics. CBS College Publishing, New York, 1983. Caps. 3.5, 3.7, 5.5. FRITZ,K.: The discovery of incommensurability by Hippasus of Metapontum. Annals of Mathematics, 46, 242-64, 1945. GARCA BACCA,J.D.: Textos clsicos para la Historia de las ciencias. Univer.C, Caracas, 1961. GUEDJ, D.: El imperio de las cifras y los nmeros. Ediciones B.S.A. Barcelona, 1988. Cap.V. GUTHRIE,W.: Pitgoras y los pitagricos (en Historia de la Filosofa griega). Vol.I. Gredos, Madrid, 1999. GONZLEZ URBANEJA,P.M.: Las races del Clculo Infinitesimal en el siglo XVII. Alianza Universidad, Madrid, 1992. Cap. 1.1.1. GONZLEZ URBANEJA, P.M; VAQU, J.: El mtodo relativo a los teoremas mecnicos de Arqumedes. Pub. Univ. Autn. Barcelona, Ed. Univ. Politc. Catalunya. Coleccin Clsicos de las Ciencias. Barcelona, 1993. Edicin crtica en Espaol de esta obra de Arqumedes. Apndice 1. GONZLEZ URBANEJA, P.M; y VAQU, J.: Mtode dArquimedes sobre els teoremes mecnics dedicat a Eratstenes. Fundaci Bernat Metge. Barcelona, 1997. Edici crtica en catal d'aquesta obra d'Arquimedes. Cap. II.1. GONZLEZ URBANEJA,P.M.: Matemticas y matemticos en el mundo griego (en El legado de las Matemticas: de Euclides a Newton). pp.24-75.Universidad de Sevilla, 2000. Cap.1. GONZLEZ URBANEJA,P.M.: La aparicin de los inconmensurables. Mundo Cientfico, 220, pp.56-63, Barcelona, 2001. GONZALEZ URBANEJA,P.M.: Legado y herencia de Pitgoras (en APUNTES DE CPR. N 10. pp. 16-21), Palencia, 2001. GONZALEZ URBANEJA,P.M.: Los orgenes de la Geometra Analtica. Fundacin Canaria Orotava de Historia de la Ciencia, Tenerife, 2003. Cap.2. HEAT, T.L.: A History of Greek Mathematics. Dover, New York, 1981. Vol.1. Caps. 3,5,9,10. KLINE, M.: El pensamiento matemtico de la Antigedad a nuestros das. Alianza Universidad, Madrid, 1992. Vol.1. Caps. 3,4. KNORR,W.: The evolution of the Euclidian Elements. D.R.P.Company. Londres, 1990. Caps. 1,2,3,4,6,7,8,9. LEVI.B.: Leyendo a Euclides. Zorzal, Buenos Aires, 2001. Cap.1 LORIA,G.: Histoire des sciences mathmatiques dans lantiquit hellnique. Gauthier-Villars, Pars, 1929. Cap.2. MAZA,C.: Las matemticas de la antigedad y su contexto histrico. Univ. Sevilla, 2000. Cap.6.3. MILLN,A.: Euclides, la fuerza del razonamiento matemtico. Nivola, Madrid, 2004 MONTESINOS,J. (Coordinador): Historia de la Geometra griega. Actas del Seminario Orotava de Historia de la Ciencia. Tenerife, 1992. Caps. 4, 5, 12. MONTESINOS,J.: Historia de la Matemtica en la Ense. Secund. Sntesis. Madrid, 2000. Cap.1. MONTUCLA,J.F.: Histoire des Mathmatiques.. Blanchard. Pars, 1968. Vol.1, Caps. 1.3.7, 1.3.9. NOLLA,R.: Estudis i activitats sobre problemes clau de la Histria de la Matemtica. Departament d'Ensenyament, Generalitat de Catalunya. Barcelona, 2001. Cap. 1.2.3. PREZ SANZ,A.: Serie de TVE EL UNIVERSO MATEMTICO. (Pitgoras: mucho ms que un teorema). La Aventura del Saber, 2000. REY,A.: El apogeo de la ciencia tcnica griega. UTEHA, Mxico 1962. Vol.2. Caps. 2, 3, 8. REY PASTOR,J.; BABINI,J: Historia de la Matemtica. Espasa-Calpe, B. Aires, 1951. Cap. 2.7.4. REY PASTOR,J.; BABINI,J: Historia de la Matemtica. Gedisa,. Barcelona, 1984. Vol.1. Cap. 3.3. ROUSE BALL,W: Histoire des Mathmatiques. Libr. scientifique A.Hermann, Pars, 1906. Cap.2. SMITH,D.E.: History of Mathematics. Dover. New York, 1958. Vol.2, cap. 4.4.

142

41. TANNERY,P.: La gomtrie grecque. Gauthier-Villars. Pars,1887. Caps. 5,6. 42. TATON,R.: (compilador): Historia general de las Ciencias. Orbis. Barna, 1988. Vol.1. Lib.1, Cap.3. 43. THE OPEN UNIVERSITY: La aparicin de la Matemtica griega (en Topics in History of Mathematics ). BBC, TV, Londres, 1987. 44. TOEPLITZ,O.: The Calculus, a Genetic Approach. University of Chicago Press, Chicago, 1963. Caps.1.1, 1.2, 1.3. 45. VERA,F: Breve Historia de la Geometra. Losada, Buenos Aires, 1963. Caps. 2,4. 46.WARUSFEL, A.: Los nmeros y sus misterios. Martnez Roca. Barcelona, 1968. Cap.5. 47. WUSSING,H.: Lecciones de Historia de las Matemticas. Siglo XXI, Madrid, 1989. Cap.3.2.5.

Bibliografa de Historia de la Filosofa y Filosofa de la Ciencia y de la Matemtica

ARISTTELES: Analtica Primera, Metafsica, Fsica (en Obras). Aguilar, Madrid, 1967. ARTMANN,B.: EuclidThe Creation of Mathematics. Springer, New York, 1996. Caps. 23,24. BECKER,O.: Magnitudes y lmites del pensamiento matemtico. Rialp, Madrid, 1996. Caps. 1,3. BRUNSCHVICG,L.: Les tapes de la Philosophie Mathmat. Blanchard, Pars, 1972. Caps. 3,4,5. CAN,C.: La Matemtica, creacin y descubrimiento. Un.Pont. Comillas. Madrid,1993. Cap.1.II. DANTZING,T.: El nmero, lenguaje de la ciencia. Hobbs sudamer., Buenos Aires, 1971. Cap. VII. DIVERSOS AUTORES: Historia del Pensamiento. Ediciones Orbis, Barcelona, 1983. Vol.1. EGGERS,C.: El nacimiento de la Matemtica en Grecia. EUDEBA, Buenos Aires, 1995. Cap.6. FOWLER,D.: The Mathematics of Platos Academia. Oxford U.P. New York, 1999. Caps. 2.2, 8.3. GARDIES,J.: LHritage pistmologique dEudoxe de Cnide. Librairie philosophique Vrin, Pars, 1988. Caps. 1,2,3,4. 58. GUTHRIE,W.: Pitgoras y los pitagricos (en Historia de la Filosofa griega. Vol.I. Cap.IV). Gredos, Madrid, 1984. 59. GMEZ PIN,V.: La tentacin pitagrica. Sntesis, Madrid, 1999. Cap. 2.3. 60. GONZALEZ URBANEJA,P.M.: Pitgoras, el filsofo del nmero. Nivola, Madrid,2001. Caps.3,5,6. 61. HARDY,G.: Apologa de un matemtico. Nivola. Madrid, 1999. 62. JMBLICO. Vida Pitagrica. Etnos, Madrid, 1991. Cap. XXXIV.246-247. 63. HILL,J.M.: The Theory of Proportion. The Mathematical Gazette, VI, 324332, 360368, 1912. 64. KNORR,J.M.: Archimedes and the preeuclidean proportion theory. Archives Internat. History. Sciences, 28, 183244,1978. 65. KNORR.W.: Aristotle and Incommensurability: Some Further Reflections. Archive for History of Exacts Sciences, 24, 1-9, 1981. 66. LORENZO,J.: Introduccin al estilo matemtico. Tecnos, Madrid, 1971. Cap.1. 67. MILHAUD,G.: Les Philosophes-Gomtres de la Grce. Arno Press. New York, 1976. Cap. 1.2. 68. MONDOLFO,R: El infinito en el pensamiento de la antigedad clsica. EUDEBA, Buenos Aires, 1971. Caps. 4, 5. 69. PLATN: Teeteto, Leyes, Menn (en Obras Completas). Aguilar, Madrid, 1969. 70. REALE,G.: Historia del Pensamiento filosfico y cientfico. Herder, Barna, 2001. Vol.1. Cap.II.2. 71. RUSSELL,B.: Historia de la filosofa occidental. Austral.Madrid,1995. Vol.1. Lib.1. Cap.3. 72. SERRES,M. (Compilador): El Saber griego. Akal, Madrid, 2000. Caps. 3.3, 3.11. 73. SPENGLER,O.: La decadencia de Occidente. Cap.I.1. Austral, Madrid, 1998. 74. SZAB,A.: Les dbuts des Mathmatiques grecques. Librairie Vrin, Pars, 1977. Cap.1. 75. THE OPEN UNIVERSITY: La aparicin de la Matemtica griega (en Topics in History of Mathematics ). BBC, TV, Londres, 1987. 76. VEGA REN,L.: La Trama de la Demostracin. Alianza Universidad, Madrid, 1990. Cap.1. 77. VERA,F: Fragmentos de textos y Comentarios sobre Pitgoras, Platn y Aristteles (en Cientficos griegos). Aguilar, Madrid, 1970. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57.

Ediciones de Los Elementos de Euclides

78. ENRIQUES,F.: Los Elementos de Euclides y la crtica antigua y moderna. Libros I-IV. Instituto Jorge Juan (CSIC). Madrid. 1954. 79. EUCLIDES: Los seis primeros libros de Los Elementos. Traduccin de Rodrigo amorano. Casa de Alonso de la Barrera. Sevilla, 1576. Nueva edicin de 1999 de Ed. Universidad de Salamanca. 80. EUCLIDES: Elementos. Introd. de L.Vega, traduc. y notas de M.L.Puertas. Gredos. Madrid, 1996. 81. EUCLIDES: Elementos. Trad. y notas J.D. Garca Bacca. Univers. Nac.l Autn. de Mxico, 1944. 82. HEAT,T.L.: The thirteen books of The Elements. 3 Vols. Dover. New York, 1956. 83. PEYRARD,F.: Les Oevres dEuclide. C.F.Patris, Pars, 1819. 84. VERA,F.: Los Elementos de Euclides (en Cientficos griegos). Aguilar, Madrid, 1970.

143