ARQUMEDES Y LA MEDIDA DEL CRCULO

Jos Luis Montesinos Sirera I.E.S. Villalba Hervs La Orotava

1. INTRODUCCIN En el panorama de la Ciencia griega del siglo ID a.e. destaca sobremanera la figura de ARQUMEDES (287-212). Sus aportaciones, fundamentales, a la Geometra y a la Aritmtica, a la Mecnica y a la Hidrosttica le confieren una importancia singular en la Historia de la Ciencia. Junto con Euclides (c. 300) y Apolonio (270190), constituye la llamada Edad de Oro de la Matemtica griega. Manteniendo el rigor eucldeo, Arqumedes imprimi a sus obras una clara intencin de calcular y medir. Quizs ello se debiera a sus orgenes -era hijo de Fidias el astrnomo- y a los signos de su tiempo -fue contemporneo de Aristarco de Samos (310-230), el matemtico y astrnomo, autor de un libro Sobre los tamaos y distancias del Sol y la Luna, y de Eratstenes, astrnomo y bibliotecario de Alejandra, autor de Sobre la medida de la Tierra, en el que nos lega su famoso clculo del radio de la Tierra-. En ese contexto, escribi Arqumedes su libro sobre la Medida del Crculo. En el Teorema I de esa obra Arqumedes nos ofrece una bella "cuadratura" del crculo con su mtodo de exhaucin; y en el Teorema III obtiene la famossima aproximacin del nmero p (la relacin entre la longitud de una circunferencia y su dimetro!), la fraccin 2217. La enorme influencia que la obra arquimediana ejerci sobre la comunidad cientfica a lo largo de la Edad Media rabe y latina, as como en el Renacimiento italiano, tuvo en la Medida del crculo el representante ms eficaz 339

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

e inicitico, tanto por la fascinacin de lo circular, como por la sencillez de los enunciados de sus teoremas y el magistral desarrollo de sus demostraciones. 2. DATOS BIOGRFICOS Arqumedes naci en Siracusa (Sicilia) en el ao 287 a.e. Debi interesarse tempranamente por la Geometra y la Astronoma ya en el hogar paterno. En su juventud vaj a Egipto. En Alejandra estudi con discpulos de Euclides. All conocera a Conn de Samas, admirado matemtico y amigo, a quien dirigi los valiosos -para el historiador- prlogos de algunas de sus obras. A la muerte de Conn, Arqumedes continuara enviando sus obras a Dositeo, alumno de aquel. En Egipto conoci tambin a Eratstenes, director por entonces de la Biblioteca de Alejandra, matemtico, fillogo y astrnomo. A l le dirigir Arqumedes el prlogo de su libro el Mtodo mecnico, obra fundamental para descubrir la manera en que el siracusano desarrollaba sus teoremas. De vuelta a su tierra natal pasara una vida plcida dedicada a la investigacin matemtica bajo los reinados de Hiern y de su hijo Geln. Arqumedes muri en el ao 212 a.e. durante el saqueo de Siracusa por parte de los romanos. Plutarco en el libro de sus Vidas paralelas dedicado al cnsul y general romano Marcelo[18] detalla varias ancdotas y comentarios sobre las habilidades mecnicas de Arqumedes, puestas al servicio de la defensa de Siracusa. 3. LAS OBRAS DE ARQUMEDES El fillogo dans J. L. Heiberg public a finales del siglo XIX (traducidas de una copia del siglo XV de un manuscrito griego) las obras hasta entonces conocidas:
- Sobre la esfera y el cilindro, en dos libros (quiz su s.a obra). - La medida del crculo (la 9. a ). - Sobre conoides y esferoides (7. a ). - Sobre las espirales (6. a ). - Sobre el equilibrio de los planos, en 2 libros (1. a y 3. a ). - El arenario (lO. a). - La cuadratura de la parbola (2. a ). - Sobre los cuerpos flotantes, en dos libros (8. a ).

El propio Heiberg en 1906 descubrira en un palimpsesto encontrado en Constantinopla una obra de Arqumedes perdida hasta entonces, el Mtodo mecnico (su 4. a obra), que tanta luz haba de arrojar sobre sus tcnicas heursticas. Sobre la cronologa de la obra arquimediana se ha escrito mucho. El gran especialista de la Matemtica griega de nuestro siglo, Thomas Heath, propone el 340

ARQUMEDES y LA MEDIDA DEL CRCULO

orden (indicado por los nmeros entre parntesis en la relacin a~rior). Segn Heath, los propios comentarios de Arqumedes en los prefacios dF algunas de sus obras y el uso de ciertos resultados obtenidos en otros de sus libros determinaran el orden propuesto[8]. As pues, segn ese orden, nuestra Medida del crculo y el Arenario seran, a pesar de sus contenidos ms sencillos y del uso de tcnicas menos elaboradas, obras de madurez, las ltimas que Arqumedes habra compuesto. Wilbur R. Knorr, prestigioso investigador de la Historia de la Matemtica griega recientemente fallecido, se opone a la tesis de Heath y en un extenso artculo[ll] propone una revisin del orden cronolgico de la obra arquimediana, en la que precisamente la Medida del crculo y el Arenario encabezaran el grupo de las obras de "juventud", caracterizadas por el uso de tcnicas eucldeas.

4. LA METODOLOGA ARQUIMEDIANA
4.1. El mtodo de exhaucin La mayor parte de los trabajos de Arqumedes se refieren a la determinacin de reas de superficies curvas y volmenes de slidos, que se obtienen a travs de la comparacin con reas y volmenes de tringulos, rectngulos y cubos. Su tcnica demostrativa ms poderosa es la combinacin de un procedimiento de demostracin por reduccin al absurdo con el llamado mtodo de exhaucin[3]. Segn Dijksterhuis[2], Arqumedes aplicaba el mtodo de exhaucin de tres formas distintas:

4.1.1. Por aproximacin, en la que una sucesin de polgonos regulares se inscribe en la figura curva en cuestin y se establece que la diferencia de reas entre la figura curva y los polgonos es menor que una cantidad dada para un nmero suficientemente grande de lados del polgono regular. Normalmente cada polgono se obtiene del anterior doblando el nmero de sus lados. 4.1.2. Por compresin-diferencia, en la que se encierra la figura curvilnea mediante sucesiones de polgonos regulares inscritos y circunscritos, tales que la diferencia entre ellos (el circunscrito menos el inscrito) puede hacerse menor que cualquier cantidad dada por pequea que esta sea. De ese modo, la diferencia entre la curva dada y los trminos de ambas secuencias, con mayor razn, ser menor que la cantidad dada. 4.1.3. Por compresin-divisin, procedimiento semejante el anterior, salvo en que la razn (divisin) de las reas de los polgonos se acerca a la unidad ms que cualquier razn preasignada.
341

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

Hay que observar que la exhaucin por "aproximacin" (cuya invencin se atribuye, como hemos dicho, a Eudoxo) es la usada por Euclides en el libro XII de los Elementos. Las otras dos formas de exhaucin, en cambio, son originales de Arqumedes. Una vez conseguida la exhaucin de la figura estudiada, mediante una doble reduccin al absurdo se demuestra que el rea de la figura curva es igual a un valor dado propuesto de antemano (veremos ms adelante una ilustracin del mtodo en la demostracin del Teorema 1). Pero cmo se averigua ese valor, esa frmula que nos proporciona el rea y que el mtodo de exhaucin confirma slo mediante la reduccin al absurdo?

4.2. La va del descubrimiento Durante mucho tiempo se pens que Arqumedes, al igual que otros matemticos griegos, esconda la manera de conseguir los resultados que luego probaba con el mtodo de exhaucin. En el siglo XVII Wallis, Descartes, Torricelli y otros matemticos estaban convencidos de que Arqumedes posea un mtodo heurstico con el que descubra nuevos teoremas y que deliberadamente ocultaba. Cuando en 1906 Heiberg descubri el Mtodo mecnico qued confirmada la existencia de tcnicas heursticas, no legtimas desde el punto de vista del rigor griego, pero plenas de intuicin, con las que se conseguan los resultados que despus se probaban con todas las de la ley[71y[ 201. El mtodo mecnico de Arqumedes consista en "pesar" el rea o volumen de una figura en uno de los platos de una "balanza", mientras que en el otro se pona una figura de rea o volumen conocidos. Entonces, conociendo las distancias de los respectivos centros de gravedad de las figuras al "fulcro" de la balanza y aplicando las leyes de la palanca se consegua averiguar el rea o volumen deseados. Una cuestin bsica en este mtodo era el considerar un rea como una suma infinita de segmentos o un volumen como una suma infinita de secciones planas. Arqumedes era muy consciente de que ese mtodo no era riguroso, especialmente en lo que concerna a las sumas infinitas, y as lo hizo saber en su prlogo dedicado a Eratstenes. Por otra parte, hay que notar que Arqumedes insista en que un "descubrimiento" no poda darse por vlido, si no llevaba aparejado una rigurosa demostracin. Eso queda patente en el prlogo a Sobre las espirales, dirigido a Dositeo. En l hace referencia a una serie de teoremas que en el pasado haba enviado a su amigo Conn, dos de los cuales, relativos a la esfera, eran falsos (con resultados aparentemente ciertos pero contradictorios con teoremas ya demostrados), lo que debera prevenir, segn Arqumedes, a aquellos que daban resultados como ciertos sin su correspondiente demostracin.
342

ARQUMEDES y LA MEDIDA DEL CRCULO

Casi dos mil aos ms tarde, Galileo, ferviente admirador y asiduo lector de Arqumedes, no dar su aprobacin a los resultados que su alumno Cavalieri le enviaba y que se haban obtenido por tcnicas infinitesimales de dudosa ortodoxia, (similares a las tcnicas heursticas arquimedianas, pero no acompaadas de la demostracin por el mtodo de exhaucin). Digamos que ni el uno ni el otro conocan el Mtodo mecnico, recuperado en 1906. 4.3. Arqumedes y el infinito Como hace notar J. L. Gardies[6], a lo largo de la obra de Arqumedes slo dos veces se nombra la palabra "infinito" (peiros), y ello sucede al comienzo del Arenario, cuando Arqumedes trata de refutar la tesis de que el nmero de granos de arena existentes en el mundo es infinito. Esta decidida voluntad de ocultamiento nominal de un concepto que juega un papel tan destacado en la obra arquimediana (no por casualidad se considera a Arqumedes precursor del clculo infinitesimal) responde a exigencias "acadmicas" alejandrinas, eucldeas, que junto a contenidos estrictamente tericos y rigurosos obligaban a evitar el infinito, declarado por Aristteles, el innombrable[16]. Eudoxo fue el gran matemtico griego que supo esquivar y, en cierta forma dominar, el infinito actual[l3]. Suya es la idea de apartar de las consideraciones matemticas las cantidades "infinitamente pequeas" e "infinitamente grandes", y ello lo consigue con el enunciado que Euclides di como definicin:

DEF. 4 del Libro V de los Elementos: Se dice que dos magnitudes tienen razn, si cualquiera de ellas tiene mltiplos mayores que la otra.
Es decir si a y b son magnitudes que tienen razn, existen nmeros naturales m y n tales que ma > b y nb > a. Pero la proposicin o lema con la que Euclides opera a lo largo del Libro XII para obtener sus resultados sobre reas y volmenes mediante la exhaucin, es una consecuencia inmediata de esta definicin; es la

PROP. 1 del Libro X: Dadas dos magnitudes desiguales, si de la mayor sustraemos una magnitud mayor que su mitad, de la que queda sustraemos una magnitud mayor que su mitad y, si repetimos este proceso continuamente, llegaremos a una magnitud que ser menor que la ms pequea de las magnitudes iniciales.
Arqumedes eleva al rango de axioma la idea de Eudoxo, modificando algo su enunciado y situndolo al comienzo de muchos de sus libros, 343

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

Axioma de Eudoxo-Arqumedes: De dos magnitudes desiguales, lneas, superficies o slidos, la diferencia entre la mayor y la menor, aadida a s misma un nmero suficiente de veces, puede sobrepasar cualquier magnitud dada (del mismo tipo que las comparadas)>>.

5. EL CRCULO, FIGURA EMBLEMTICA DE LA MATEMTICA GRIEGA

Desde mucho antes de que se desarrollase la Geometra terica, la Cultura griega mostr gran inters por las figuras geomtricas y especialmente por los crculos. En el siglo V a.c., Enpides de Quos habra, segn Heath y Szab entre otros estudiosos del tema, establecido el uso de la regla y comps como el idneo en las construcciones geomtricas, adjudicando as el rango de figuras elementales, de elementos bsicos, a la recta y al crculo. Platn dara el refrendo metafsico a esta eleccin en el Timeo, al hacer que el Demiurgo forjase el alma del mundo con rectas y crculos como elementos fundamentales. Euclides hara lo propio en matemticas al situar entre los cinco postulados de sus Elementos, la posibilidad de trazar la recta que une dos puntos, y su prolongacin, y la posibilidad de trazar crculos (Post. 1,2 Y3), como nicos postulados constructivos[9]. Muy pronto se hara famoso el problema de la cuadratura del crculo (a Anaxgoras, muerto en el 428 a.c., se le atribuye ya un intento de cuadratura), esto es, la construccin con regla y comps de un cuadrado que tenga la misma rea que un crculo dado. Hipcrates de Quos (contemporneo de Enpides) haba cuadrado, ciertas lnulas, figuras de contorno curvo, lo que hizo concebir esperanzas de una pronta resolucin del problema. Hipcrates haba partido de la proposicin fundamental: crculos son como los cuadrados de sus dimetros, que es la Prop. 2 del Libro XII de los Elementos, aunque se est de acuerdo en que la demostracin de este teorema por parte de Hipcrates no sera la eucldea por el mtodo de exhaucin (el primer usuario del mtodo, como hemos dicho[15], sera Eudoxo), sino una aceptacin para el caso de crculos de la misma proposicin que para polgonos semejantes inscritos en circunferencias (que s se demuestra fcilmente por sencillos razonamientos de semejanza de tringulos). Hipcrates habra dado el paso, de manera intuitiva, de lo recto a lo curvo, de lo finito a lo infinito, considerando el crculo como lmite de polgonos de infinitos lados. Antifonte, el sofista, contemporneo de los anteriores, "cuadr" el crculo simplemente negando que fuese necesario el paso de lo finito a lo infinito: en su geometra, una geometra emprica, el crculo coincidira con un polgono inscrito de un nmero suficientemente grande de lados y el problema estara resuel344

ARQUMEDES y LA MEDIDA DEL CRCULO

too Esta "cuadratura" levant las iras de Aristteles, muy interesado en el tema, que no se dign siquiera a refutarla. Sin embargo, la idea de Antifonte es fructfera, si de lo que se trata es de "aproximarse a la circularidad". As lo entendi Arqumedes, como veremos ms adelante, para conseguir una excelente aproximacin del nmero p. Por otra parte, muchas son las referencias y relaciones culturales entre el crculo y la idea de infinito; por ejemplo en Homero: As pues vi, tras haber subido a una cumbre escarpada, una isla, en torno a la cual el mar infinito formaba corona. Dice Mondolfo en El infinito en el pensamiento de la antigedad c!sica[l4]: f. .. } pero indudablemente la idea de la infinitud asuma mayor vigor y carcter de necesidad lgica al ser representada en una forma geomtrica que por s misma hiciese contradictoria e inadmisible la determinacin de un lmite inicial o final f. .. } y esta era precisamente el crculo f. .. }, la representacin de una especie de crculo como la que hay en el movimiento del cielo y de cada uno de los astros, por la cual llegamos a establecer una serie ordenada de manera tal que retorna nuevamente al principio y lo hace sin cesar y se comporta siempre del mismo modo [... }. 6. LA MEDIDA DEL CRCULO De todos los tratados arquimedianos que se conservan, este es uno de los ms conocidos. No va precedido de un prlogo y consta de tres teoremas, el segundo de los cuales es irrelevante. Los estudiosos de la obra de Arqumedes estn bastante de acuerdo en que se trata de un fragmento de una obra ms extensa. En cualquier caso, junto a Sobre la esfera y el cilindro, es la obra ms citada en la antigedad y una de las cinco arquimedianas que llegaron a las manos de Eutocio, un comentarista del siglo VI. Fue conocida y estudiada por los matemticos medievales, rabes y latinos.

6.1. El teorema I de la Medida del crculo El rea de un crculo es igual a la de un tringulo rectngulo cuyos catetos son el radio y la longitud de la circunferencia del propio crculo[17].
Sea ABCD el crculo dado y K el tringulo descrito. Entonces, si el crculo no es igual a K, ser mayor o menor . 1. Supongamos, si ello es posible, que el crculo sea mayor que K. Inscribamos un cuadrado ABCD y construyamos los puntos medios de los arcos
345

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

AB,BC,CD,DA. Continuemos este proceso de biseccin (si es necesario) hasta que los lados del polgono inscrito cuyos vrtices son los puntos de divisin subtiendan segmentos circulares cuya suma sea menor que el exceso del rea del crculo sobre K (1). Por tanto, el rea del polgono as obtenido es mayor que K. Sea AE un lado de ste y ON la perpendicular a AE desde el centro O. Entonces ON es menor que el radio del crculo y, por tanto, menor que uno de los catetos del tringulo K. Tambin el permetro del polgono es menor que la circunferencia del crculo (2), esto es, menor que el otro cateto. Consecuentemente, el rea del polgono es menor que K; lo que se contradice con la hiptesis. Por tanto, el rea del crculo no es mayor que K. Dejaremos a un lado la segunda parte del teorema, esto es, la demostraci!1 de que el rea del crculo no es menor que K (para la que Arqumedes usa los polgonos circunscritos), y daremos paso a una serie de consideraciones:

6.1.1. Comentarios al teorema 1 Arqumedes omite las demostraciones de (1) y (2), pero ambas han sido justificadas en Sobre la esfera y el cilindro, la primera remitiendo a la Prop. 2 del libro XII de los Elementos, y la segunda como inmediato corolario a un postulado colocado al inicio de la obra. Para Heath, esto probara que la Medida del crculo sera posterior a Sobre la esfera y el cilindro. Para KnOIT, al contrario, esto indicara nicamente que Arqumedes en una primera etapa de su produccin aceptara resultados evidentes sin demostracin.

Pero cul ha sido la va del descubrimiento del teorema, oculta bajo la impecable demostracin por exhaucin? Pensarnos que Arqumedes pudo llegar al resultado mediante el uso heurstico de tcnicas infinitesimales, sumando los infinitos tringulos issceles de lados iguales al radio del crculo y de base 346

ARQUMEDES y LA MEDIDA DEL CIRCULO

un segmento infinitesimal que se confundira con un arco infinitesimal de la circunferencia. Entonces el rea sera igual a

Arqumedes, situando este teorema al inicio de su tratado, hace un guio al tema de la cuadratura del crculo. Al conseguir la equivalencia entre un crculo y un tringulo (que ciertamente es una figura cuadrable!) parecera resuelto el problema; pero el tringulo K no es construible con regla y comps, pues uno de los catetos es justamente la longitud de la circunferencia. Arqumedes ha conseguido reducir el problema de la cuadratura del crculo al de la rectificacin de la circunferencia, esto es, a la construccin con regla y comps del nmero p. En la Prop.18 de Sobre las espirales obtiene una rectificacin de la circunferencia a travs de la curva espiral por l inventada, curva de naturaleza mecnica y no construible con regla y comps. Cabe pues, inscribir el nombre de Arqumedes entre los que cuadraron el crculo por medios no ortodoxos; pero es muy posible que l intuyese la imposibilidad de hacerlo con regla y comps, as como la condicin de irracional del nmero p y ello explicara el clculo aproximado de ste con el que cerrara su tratado sobre el crculo. 6.1.2. El teorema III de la Medida del crculo
La razn entre la circunferencia de cualquier crculo y su dimetro es

menor que 3+10170, pero mayor que 3+10171.

e ,'__ ,
Al
I

,,

,,
\

Arqumedes se limita, como ya hemos indicado anteriormente, a calcular la razn entre los permetros de polgonos inscritos y circunscritos a la circunferencia y el dimetro de sta. Considera un hexgono regular y luego ir doblando el nmero de lados hasta llegar al polgono regular de 96 lados.
347

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

Supongamos que AB sea la mitad del lado de un hexgono regular circunscrito en el crculo de radio AO y tracemos la bisectriz OC del ngulo AOB. Entonces el segmento AC es la mitad del lado del dodecgono regular circunscrito (repitiendo el mismo proceso, conseguiramos la mitad del lado del polgono regular de 24 lados circunscrito, etc.). Conociendo la razn AB :OA entre la mitad del lado del hexgono y el radio, esto es, la misma que entre el lado del hexgono y el dimetro, se puede conocer la razn AC:OA entre el lado del dodecgono y el dimetro. De esta manera y repitiendo el procedimiento llegaremos a saber la razn entre el lado del polgono regular de 96 lados y el dimetro de la circunferencia; bastar entonces multiplicar por 96 para encontrar la razn entre el permetro del polgono de 96 lados circunscrito a la circunferencia y el dimetro de sta: habremos obtenido as un valor aproximado por exceso del nmero p. Conociendo la razn AB:OA, calcularemos la AC:OA aplicando el teorema de la bisectriz:

En un tringulo la bisectriz de un ngulo divide aliado opuesto en partes proporcionales a los otros dos lados,
B

c~

F ======;;;;;=;;==~ A

------

en nuestro caso BC:AC=OB:OA. De aqu se deduce AB:AC=(OB+OA):OA y permutando los extremos, OA:AC=OB:AB + OA:AB Pero el ngulo AOB es de 30 y OB:AB=2, ya que el lado de un hexgono regular inscrito en un crculo es igual a su radio, esto es, a OB. Entonces, tendremos:

Llegado a este punto, Arqumedes introduce una aproximacin por defecto de './3 :'./3 > 2+ 265:153 (cmo consigue Arqumedes esta aproximacin? Este es un tema interesante y muy debatido[8J.
y se tiene: OA:AC > 2+ 265:153 = 571:153.

348

ARQUMEDES y LA MEDIDA DEL CRCULO

Aplicando el teorema de Pitgoras, se tiene: (OC:AC)2 = OA2+AC2 :AC2 = 1+(OA:AC)2> 1+(571 :153)2= 349450 :153 2 y, por tanto, OC:AC> V 349450: 153>(591 +~): 153 Laboriosamente contina Arqumedes con sus clculos y consigue la siguiente aproximacin por defecto de AO:AF > (4673+112):153; o lo que es lo mismo (doblando numerador y denominador): D:L> (4763+112): 153,donde D = dimetro del crculo y L = Lado del polgono regular de 96 lados inscrito en la circunferencia. Si multiplicamos los denominadores por 96, tendremos D:P > (4673+112):14688 y la relacin buscada sera P:D < 14688:(4673+112). Pero 14688 es tres veces 4673+1/2 y le sobran 667+112. Por tanto: P:D < 3+(667+112):(4673+112). con la suerte de que 4673+112 es un nmero bastante cercano a siete veces 667+112 (en realidad, multiplicando 667+112 por 7, se obtiene 4672+112). Por consiguiente, con mayor razn pondremos P:D < 3+1/7. Finalmente, afortiori, C:D < 3+1/7 = 22/7. Para conseguir la aproximacin por defecto de C:D, Arqumedes recurre a un proceso similar con los polgonos inscritos, obteniendo C:D > 3+10/71. 6.1.3. Comentarios al teorema 111 En el Papyrus Rhind, conservado en el British Museum de Londres, se encuentra una medida de <J[ atribuida al egipcio Ahmos (2000 a.c.). En l se considera como lado del cuadrado de igual rea que un crculo de radio uno al dimetro del crculo disminuido en 2/9. Esto es: 1t = (2-2/9)2 = (16/9)2 = 3,16049382 Los matemticos griegos anteriores a Arqumedes no se interesaron por el clculo de 1t. Especialmente significativa es la ausencia del mismo en los Elementos de Euclides. Las aproximaciones por defecto y por exceso conseguidas por Arqumedes (3,14084507>1t = 3,14159265...>3,14285714) serviran cumplidamente a las necesidades prcticas del clculo durante muchos siglos. La irracionalidad de 1t, esto es, el hecho de que la longitud de una circunferencia sea inconmensurable con su dimetro, fue demostrada en 1768 por Lambert, mientras que para la demostracin de la trascendencia de 1t (la no existencia de un polinomio algebraico con coeficientes enteros del cual1t fuese raz) habra que esperar an hasta von Lindeman en 1862. 349

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

7. CONCLUSIONES En la Medida del crculo estn ilustradas las dos facetas de la produccin cientfica arquimediana: por una parte, el Teorema 1, en el que Arqumedes conjuga la intuicin del descubrimiento con el virtuosismo euclidiano de la demostracin, obteniendo as un resultado pleno de consecuencias: - Dejaba abierta otra posibilidad de cuadrar el crculo con regla y comps mediante la rectificacin de la circunferencia. - Es una admirable confmnacin de que las constantes que ligaban la longitud de la circunferencia con el dimetro, y el rea del crculo con el cuadrado del radio, eran la misma (el nmero n!). - Es el embrin de otro maravilloso resultado: el rea de la superficie esfrica es cuatro veces el de uno de sus crculos mximos. Arqumedes explica en el prlogo al Mtodo Mecnico cmo por un razonamiento anlogo al del resultado del Teorema I llega a la conclusin de que el volumen de la esfera es igual al de un cono de rea de la base igual al de la superficie esfrica y de altura el radio de la esfera; lo cual, unido al teorema 34 de Sobre la esfera y el cilindro (<<el volumen de una esfera es cuatro veces el de un cono de base un crculo mximo y de altura el radio de la esfera[17J), conduce al sorprendente resultado anterior. Arqumedes es claramente platnico al afmnar que este descubrimiento del rea de la superficie esfrica era naturalmente inherente a la esfera, pero que haba permanecido oculto a aquellos que antes que yo se haban dedicado al estudio de la geometra. Resultados como ste le hicieron merecer el sobrenombre con el que se le conoci hasta la poca de Galileo: el divino Arqumedes. Ms humano, o al menos ms cercano a los intereses mundanos, es su Teorema 111, es decir, en la aproximacin del nmero n, que se seguira usndose -inmejorada- durante ms de un milenio (resultado tambin admirable por la destreza en el manejo de los nmeros y porque su aritmtica calculatoria con fines prcticos estaba muy lejos de los intereses platnico-eucldeos de la Academia). Este teorema, para algunos el ms relevante de la contribucin arquimediana a la futura Ciencia, puede representar la otra faceta --original dentro del espritu de la matemtica griega-, la del acercamiento de la Matemtica a la Realidad socio-cultural, puesta al servicio de la Tcnica. Los portentosos artilugios mecnicos ideados por Arqumedes para la defensa de su patria siracusana, magnificados por escritores como Plutarco, potenciaron en la imaginacin popular a lo largo de los siglos una visin de las matemticas como disciplina capaz de controlar los fenmenos de la Naturaleza: el mtodo fsico-matemtico galileano deber mucho a la genial obra de Arqumedes.
350

ARQuMEDES y LA MEDIDA DEL CRCULO

----

..e

En cuanto a la ubicacin de la Medida del crculo en la cronologa arquimediana, todas las especulaciones son posibles. Sabemos por los prlogos de algunas de sus obras que Arqumedes dejaba pasar tiempo entre sus trabajos de investigacin y su "publicacin", esto es, hasta el envo de esos resultados a algn miembro de la comunidad matemtica alejandrina. Es muy posible que el Teorema l, por su sencillez y por el uso de tcnicas euclidianas, fuese un logro de juventud; pero pensamos que el resultado del Teorema III, independientemente de la poca de su obtencin, fue hecho pblico por un Arqumedes maduro al final de su carrera, cuando seguramente la experiencia acumulada y su penetrante intuicin le hacen sospechar la realidad del nmero 1t, al que slo podemos acceder de manera aproximada. Y ah se reconoce la grandeza y miseria de nuestras limitaciones.

351

SEMINARIO OROTAVA DE HISTORIA DE LA CIENCIA -

Ao VII

[1] Clagett, M., Greek Science in Antiquity, Collier Books, 1976. [2] Dijksterhuis, E. J., Archimedes, Princeton Paperbacks, 1987. [3] Delgado, A., "Mtodo de Exhauscin", en Historia de la Geometra Griega.

Actas ao 1. Seminario Orotava de Ha. de la Ciencia, Tenerife 1992. [4] Dollo, c., Archimede: Mito, Tradizione, Scienza (Convegno di Siracusa, 1989), Leo S. Olschki, 1992. [5] Frajese, A., Attraaverso la storia della matematica, Le Monnier, 1977. [6] Gardies, J. L., Pascal: entre Eudoxe et Cantor, Librairie Philosophique J. Vrin, 1984. [7] Gonzlez-Urbaneja, P., Arqumedes, El mtodo relativo a los teoremas mecnicos. Universidad Autnoma de Barcelona, Barcelona 1993.
[8] Heath, T., A History of Greek Mathematics, Tomos I-U. Dover, 1981. [9] Heath, T., The Thirteen Books of the Elements (Euclid) Tomos I-U-Iii.

Dover, 1956. [10] Heath, T., Aristarchus of Samo, Dover, (1981). [11] Knorr, W. R., "Archimedes and the ElementS: Proposal for a revised chronological ordering of the archimedean corpus" en Archive for History ofExact Sciences XIX, 1978, pp. 211-218. [12] Maracchia S., " La matematica greca e le costruzioni con "riga e compasso" en prensa, 1997. [13] Mederos, c., " Eudoxo y la Matemtica", ponencia ao Vii Seminario Orotava de Historia de la Ciencia, Tenerife 1997. [14] Modolfo, R., El infinito en el pensamiento de la antigedad clsica, Ediciones Imn, Buenos Aires, 1952. [15] Montesinos, J., "La cuadratura de la lnulas de Hipcrates", ponencia del Seminario Orotava, ao VI, Tenerife, 1997. [16] Montesinos, 1., " El continuo y el infinito en la Matemtica Griega" en Historia de la Geometra Griega, actas ao I Seminario Orotava, Tenerife, 1991. [17] Mortimer , J. Adler ( ...), Euclid, Archimedes, Nicomachus, Encyclopedia Britannica, Chicago 1993 (=1952). [18] Plutarco, Vidas paralelas, Planeta, Barcelona, 1991. [19] Rufini, E., Il "Metodo" di Archimede, Feltrinelli, 1961. [20] Vega, L., Arqumedes, El Mtodo (introduccin), Alianza Editorial, Madrid, 1986. [21] Vega, L., " El sentido del Mtodo de Arqumedes" en Historia de la Geometra Griega Actas ao I, Seminario Orotava, Tenerife, 1991.

352