EL MTODO SOBRE LOS TEOREMAS

MECNICOS DE ARQUMEDES
Estoy convencido de que el mtodo mecnico no ser menos til para demostrar
los propios teoremas. Pues algunos de los que primero se me hicieron patentes
mecnicamente, recibieron luego demostracin geomtricamente [...] pues es ms
fcil, despus de haber adquirido por ese mtodo cierto conocimiento de las
cuestiones objeto de investigacin, dar luego la demostracin, que investigar sin
ningn conocimiento previo.
Arqumedes. El Mtodo. Prembulo dirigido a Eratstenes.
La imaginacin no acta menos en un gemetra que crea que en un poeta que
inventa. [...] De todos los grandes hombres de la antigedad, es acaso Arqumedes
el que ms merece figurar al lado de Homero.
D'Alembert. Discurso preliminar de la Enciclopedia. Orbis, Barcelona, 1984. p.63.
Arqumedes es el cientfico que ha llegado a la ms alta cima de la abstraccin, y,
segn Plutarco, la muerte le acechaba, en uno de sus momentos de xtasis.
F.Vera. Arqumedes (en Cientficos griegos). Aguilar, 1970. p.11.
Entre todos los trabajos que se refieren a las disciplinas matemticas, parece que
el primer lugar puede ser reivindicado por los descubrimientos de Arqumedes,
que confunden a las almas por el milagro de su sutilidad.
Torricelli. Opera Geometrica. Florencia, 1644. Proemio.

Introduccin: del mtodo mecnico de Arqumedes al Calculo Integral.

La originalidad y el estilo matemticos de Arqumedes.
La obra matemtica de Arqumedes.
Descubrimiento y demostracin en Arqumedes.
Citas memorables sobre Arqumedes.
El Mtodo sobre los Teoremas Mecnicos de Arqumedes (MTODO).
La naturaleza del MTODO como tratado matemtico.
Las vicisitudes histricas del MTODO y la reconstruccin de Heiberg.
El contenido matemtico del MTODO.
El Prembulo dirigido a Eratstenes y los Lemas del MTODO.
Las Proposiciones del MTODO.
La Cuadratura del segmento parablico.
La Cubatura de la esfera.
Anlisis crtico del mtodo mecnico de Arqumedes.
El mtodo de exhaucin en Arqumedes. La cuadratura de la espiral.
La influencia de Arqumedes en la gnesis del Calculo Integral.
El mtodo mecnico de Arqumedes y los Indivisibles de Cavalieri.
El mtodo de exhaucin en Arqumedes y los lmites.
Eplogo: los mtodos de Arqumedes y el Calculo Integral.
Bibliografa.

215

Introduccin: del Mtodo de Arqumedes al Clculo Integral

Arqumedes es reconocido, con sorprendente unanimidad, como el ms importante de los
matemticos de la antigedad, sus principales obras fueron impresas y traducidas al latn
por vez primera entre 1503 y 1588, ejerciendo una decisiva influencia sobre el pensamiento
de esa poca. El estudioso contemporneo, A.Koyr, llega a afirmar en su obra Estudios
de Historia del Pensamiento Cientfico que se podra resumir el trabajo cientfico del siglo
XVI en la admisin y comprensin gradual de la obra de Arqumedes. En la centuria
siguiente Benedetti, Stevin, Galileo, Cavalieri, Kepler, Torricelli y muchos otros reconocern
la inmensa deuda con el sobrehumano Arqumedes, cuya obra, prdiga en asombrosos
resultados y modelo de exposicin rigurosa, constituy un slido punto de partida tanto para
la configuracin de la nueva fsica como para la invencin del clculo infinitesimal.
Como veremos, con frecuencia, sin soporte en fuentes fidedignas y por tanto sin fundamento
histrico serio, a Arqumedes se le atribuyen desde la ms remota antigedad toda clase de
inventos, algunos de ellos comentados y reproducidos por Leonardo, de quien Arqumedes
sera digno antecesor. Esto quiere decir que la genialidad y la capacidad inventiva de
Arqumedes tambin en el campo de la Mecnica Aplicada forma parte de la tradicin. La
atribucin, ms o menos impropia, a Arqumedes, de algunos inventos puede provenir del
hecho de que desde antiguo el sabio tuvo la gloria de ver adjetivado su nombre en las
fuentes histricas y literarias, de modo que invento arquimdeo o arquimediano tanto podra
significar un artilugio diseado por el propio Arqumedes como un instrumento realizado con
el ingenio, el arte y la sutileza de Arqumedes. A ttulo de ejemplo mencionemos la clebre
Esfera de Arqumedes, una especie de planetario que reproduca de modo mecnico el
movimiento de los cuerpos celestes del sistema solar entonces conocido, a saber: el sol, la
luna y los cinco planetas, emulando, asimismo, la formacin de los eclipses y la descarga de
ciertos fenmenos atmosfricos, como el rayo y el trueno. Segn Pappus y Proclo, la
descripcin del ingenio habra sido hecha por Arqumedes en la obra Esferopea, ahora
perdida. Muchos escritores Ovidio, Sexto Emprico, Claudiano, Lactancio, Escoto,
Mirabella, Mazuchelli, Favaro, Cardano, ... han hablado de la famosa Esfera de
Arqumedes. Destaquemos entre todos a Cicern (Tusculanae disputationes, I.63):
Cuando Arqumedes fij en una Esfera los movimientos del sol, de la luna y de los
cinco planetas, realiz lo mismo que el Dios de Platn, que en el Timeo construy el
mundo de manera que una sola revolucin rigiese movimientos muy distintos,
combinando lentitud y celeridad. Y si esto en este mundo no se puede hacer sin Dios,
tampoco Arqumedes, ciertamente sin una inteligencia divina habra podido imitar en
una Esfera los mismos movimientos.
[...] Tuvo ms ingenio Arqumedes al imitar las rbitas de la Esfera, que la naturaleza
al concebirlas.
Vemos que la Literatura ha embellecido la figura de Arqumedes a quien se describe como
el sagaz ingeniero de la antigedad que pone su ingenio al servicio de la construccin de
increbles mquinas que multiplican hasta lo inverosmil el trabajo de los hombres, algunas
de las cuales destinar al servicio de la incansable defensa de su ciudad natal Siracusa ante
las embestidas de los ejrcitos romanos.
Pero ms all del romanticismo que las narraciones ms o menos fantsticas ha
impregnado a la figura de Arqumedes, interesa sobremanera a la Historia de la Ciencia y en
particular a la Historia de la Matemtica, su ingente contribucin al engrandecimiento del
patrimonio matemtico de su poca, en una triple vertiente, la de la propia ampliacin
considerable de los conocimientos matemticos eucldeos, la consolidacin del impecable
procedimiento demostrativo y lo que desde el punto de vista heurstico es todava ms
importante: la aplicacin de una metodologa nueva en el alumbramiento del descubrimiento
matemtico.
Sin descuidar los dos primeros aspectos, el tratado de Arqumedes que nos proponemos
estudiar El mtodo sobre los teoremas mecnicos, cuyo largo ttulo indicaremos por EL
MTODO, cubre la tercera cuestin, que desarrollaremos con amplitud, al ver cmo

217

Arqumedes aplica la famosa ley que rige la ms sencilla de sus mquinas La Ley de la
Palanca y da muestras de una agilidad mental y una ductilidad investigadora que combina
el rigor intelectual con la orientacin natural de la intuicin sensorial. Con ello, Arqumedes
es capaz de obviar e incluso de desafiar los presupuestos ideolgicos de la Filosofa
platnica de la Matemtica que desdeaba hasta la condena las aplicaciones prcticas de
la Matemtica para vincular la investigacin terica de la especulacin abstracta con las
realizaciones tcnicas, nacidas de la necesidad de resolver problemas concretos,
desarrollando una concepcin matemtico-experimental que inaugura una tradicin cientfica
llamada despus Filosofa Natural y mucho ms tarde Fsica Matemtica, que retomada
por Galileo, establece las bases de la Revolucin cientfica del siglo XVII.
Estamos ante una obra que nos despierta una gran inquietud cientfica, e incluso nos incita a
especular con fantasas ucrnicas. EL MTODO slo es conocido por la comunidad
cientfica internacional desde 1906, cuando el brillante helenista e historiador cientfico
J.L.Heiberg, lo descubre en novelescas circunstancias. Es, por lo tanto, una obra de
Arqumedes que no ha ejercido directamente influencia sobre la trayectoria conocida del
pensamiento cientfico, pero que, en cierto modo, ha estado presente como una especie de
variable oculta, al suscitarse a lo largo de la historia discusiones acerca de la posesin por
parte de Arqumedes de algn presunto mtodo de descubrimiento que el sabio haba
silenciado. Una vez conocido EL MTODO, la relectura de las otras obras de Arqumedes
nos obliga a plantearnos diversas cuestiones epistemolgicas acerca de la relacin entre
procesos de descubrimientoinvencin y mtodos de exposicindemostracin, reflexiones
que nos conducirn a interrogarnos acerca de las relaciones entre la dominante escuela
deductiva platnico-eucldea y la nebulosa y subordinada escuela inductiva de Demcrito.
De aqu a cuestionarse si es posible que EL MTODO haya sido conocido en alguna poca,
o a preguntarse cmo hubiera sido la Historia de la Ciencia si se hubiese conocido EL
MTODO desde el Renacimiento, slo hay un paso, que algn osado estudioso de la
ciencia griega se ha atrevido a dar.
El pensamiento y la obra de Arqumedes han ejercido siempre una irresistible atraccin, por
su genialidad y originalidad, que hacen de su legado un manantial de savia singular para
muchos caminos de la Ciencia y especialmente de la Matemtica, donde se le considera
uno de sus cultivadores ms grandes de todos los tiempos. En su penetrante conciencia del
rigor, Arqumedes comparta con los clsicos, en particular los de la escuela eucldea, la
potencia demostrativa, pero en la genialidad de la invencin super con creces a todos sus
coetneos y antecesores. Es precisamente de la conjuncin de ambas de donde
Arqumedes obtena su instrumental creativo. Al desmarcarse del idealismo matemtico
platnico coetneo, Arqumedes no descarta ningn procedimiento tcnico en su invencin,
sino que aprovecha cuanto haban desdeado o proscrito los que le precedieron, lo
mecnico, lo fsico, lo operativo, y todo lo que le ofrece la realidad, por irregular y corprea
que sea, como elementos de una investigacin objetiva precedente, a la que sigue, bajo un
espritu de rigor, la demostracin de todo cuanto en la fase inventiva anterior ha intuido.
Arqumedes lleva por tanto una doble actividad como matemtico, la inventiva y la
demostrativa, pero en sus grandes tratados clsicos slo da cuenta de la segunda,
produciendo una gran admiracin sus magnficos resultados matemticos, pero tambin una
gran perplejidad, ante la ocultacin del camino seguido en la investigacin. Slo en una
obra, El Mtodo sobre los teoremas mecnicos, Arqumedes comunica, de forma heurstica,
las vas y los procedimientos mecnicos que utilizaba en sus descubrimientos. Debido a que
la obra de Arqumedes permaneci ignorada durante siglos, hasta comienzos del siglo XX,
muchos matemticos estaban convencidos de una intuicin que gravitaba sobre su
creatividad, segn la cual Arqumedes haba utilizado un mtodo singularmente original en
su investigacin, que habra mantenido en secreto para la posteridad.
Tras esta introduccin donde se ha presentado a Arqumedes y al MTODO, vamos a
describir el estilo matemtico de Arqumedes de una excepcional originalidad; haremos una
sntesis de su inmensa aportacin matemtica y estudiaremos la cuestin epistemolgica de
cmo se interpenetran en la Matemtica de Arqumedes el descubrimiento y la
demostracin.

218

A continuacin, pasamos a estudiar ya propiamente EL MTODO de Arqumedes, su

estructura y naturaleza como tratado matemtico, que contiene los procedimientos
heursticos de tipo mecnico que Arqumedes utilizaba en sus extraordinarios
descubrimientos y en la preparacin de la demostracin de los resultados matemticos.
Sigue el relato de las vicisitudes histricas sufridas por este tratado de Arqumedes y la
encomiable labor de arqueologa matemtica realizada por J.L. Heiberg en su
reconstruccin. Se describe el contenido de todas las proposiciones del MTODO y se
estudia en profundidad las dos primeras proposiciones la Cuadratura del segmento
parablico y la Cubatura de la esfera, que adems de ser las ms sencillas y significativas,
desde el punto de vista didctico, para ilustrar el mtodo mecnico de Arqumedes, nos dan
un modelo de su aplicacin al clculo de reas y de volmenes. Tambin se hace un
Anlisis crtico del mtodo mecnico de Arqumedes, en el que, deliberadamente, de forma
anacrnica se compara la prctica arquimediana con los procedimientos del Clculo Integral,
para poder explicar por qu, con mtodos no ortodoxos del todo, pudo Arqumedes obtener
resultados absolutamente correctos.
Con ello entramos en la ltima parte, donde tras describir quiz el ejemplo ms
representativo de la aplicacin del mtodo demostrativo de exhaucin la Cuadratura de la
Espiral estudiamos la trascendente influencia de Arqumedes en la gnesis del Clculo
Integral, a travs de dos analogas manifiestas el mtodo mecnico de descubrimiento y
los Indivisibles del siglo XVII, por una parte, y el mtodo de demostracin por exhaucin y
los lmites de la aritmetizacin del Anlisis del siglo XIX, por otra.
A lo largo de la exposicin aparecen comentarios alusivos a las relaciones del MTODO con
las restantes obras de Arqumedes, as como referencias, ms o menos legendarias, a
algunos de sus inventos y a importantes episodios, a caballo entre la mitologa y la realidad,
de la vida del ms egregio cientfico del mundo clsico griego, de gran trascendencia en la
historia poltica y militar de su tiempo.
EL MTODO de Arqumedes es una obra fundamental en la moderna Historia de las
Ciencias, una pieza bsica y ejemplar porque su lectura conduce a interrogarnos acerca de
los resultados y de los procedimientos de investigacin que se utilizaban en una de las
pocas ms importantes en la historia de nuestra cultura. El tratado de Arqumedes tiene un
inters singular tanto desde el punto de vista del proceso heurstico, como por su
inconmensurable valor cientfico y como documento histrico.
Con este estudio sobre uno de los tratados ms importantes de la Matemtica griega
queremos rendir tributo a un pensamiento tico que reza: nuestra recompensa se
encuentra en el esfuerzo y no en el resultado que en otro mbito expresara que el
camino es lo ms importante del viaje, incluso ms que la meta, sentencias que aplicadas
al descubrimiento cientfico nos indican que el mtodo es al menos tan importante como el
resultado, pensamiento que mucho mejor expresado en palabras del eximio cientfico y
amigo de Napolen, Laplace (Oeuvres. Mcanique Cleste, Acadmie des Sciences, Pars,
1878, vol.3), dira:
El conocimiento del mtodo del hombre de genio no es menos til al progreso de la
ciencia e incluso a su propia gloria que sus descubrimientos.

219

La originalidad y el estilo matemticos de Arqumedes

Arqumedes es, sin duda, uno de los cientficos ms conocidos en la Historia de la Cultura,
ya no slo porque su nombre est asociado al clebre Principio de la Hidrosttica que lleva
su nombre, sino tambin por ser uno de los creadores de la Esttica, que es el primer
embrin de la Mecnica Racional. En el mbito de la Matemtica se le considera el ms
ilustre de los Matemticos griegos, por haber encontrado y demostrado muchas de las
frmulas geomtricas que no figuraban en Los Elementos de Euclides, como expresiones
equivalentes a la longitud y rea del crculo, superficie y volumen de la esfera, conos y
cilindros, as como volmenes de otras cudricas de revolucin.
Si Euclides es el gran maestro, Arqumedes es el investigador por antonomasia, que,
aunque se atiene al estndar geomtrico eucldeo establecido para la exposicin, a base de
fijar con antelacin las hiptesis que postula, previo a la demostracin cuidadosamente
rigurosa de las proposiciones que enuncia, tiene una actuacin matemtica que enlaza ms
directamente con el genio creador del siglo IV a.C. representado por Eudoxo, ya que el
propsito fundamental de Arqumedes no es de ndole metodolgica, como el caso de
Euclides, sino el aporte de nuevos resultados, la magnificacin del acervo matemtico. Por
eso sus escritos son verdaderas memorias cientficas originales en las que se da por sabido
todo lo descubierto con anterioridad.
Arqumedes era hijo del astrnomo Fidias y por tanto es probable que su primera formacin
proviniera de su padre; pero enseguida se traslada de Siracusa donde haba nacido el ao
287 a.C. a Alejandra, que por entonces era el ms importante centro de estudios del
Mediterrneo y el ncleo de la cultura helenstica, con sus dos instituciones, El Museo y La
Biblioteca.
Al llegar a Alejandra, Arqumedes debi encontrar un ambiente cientfico polarizado hacia
las Matemticas, que habiendo recibido un enorme impulso gracias a la figura de Euclides,
quedaron imbuidas del modelo de racionalidad geomtrica fundado por l, y mantenido por
sus discpulos, los cuales se lo transmitiran en sus enseanzas a Arqumedes.
Arqumedes estuvo algn tiempo en Alejandra completando su formacin. En este perodo
debi trabar amistad con ciertos cientficos (en particular Conn de Samos, Dositeo de
Pelusa y Eratstenes de Cirene), a quienes, de regreso a Siracusa, dirigir posteriormente
sus tratados. Sorprende que Arqumedes, con su vocacin estudiosa e investigadora, no
permaneciera en Alejandra, donde tena un emporio cientfico institucional a su disposicin.
Se puede conjeturar que fue la llamada de Hiern rey de Siracusa con el que Arqumedes
estaba emparentado, empeado en favorecer la cultura en su tierra natal, lo que le indujo a
regresar a su patria. A este respecto relata Plutarco (Vida de Marcelo, XIV):
[....]. Y le persuadi [el rey Hiern] a que convirtiese alguna parte de aquella ciencia
de las cosas intelectuales a las sensibles y que, aplicando sus conocimientos a los
usos de la vida, hiciese que le entrasen por los ojos a la muchedumbre.
Sin embargo los motivos que impelieron a Arqumedes a abandonar Alejandra pueden ser
de ndole ms profunda an que el propio patriotismo, enraizados en su propia personalidad
como cientfico. La ciencia alejandrina estaba muy mediatizada por la influencia ideolgica
del platonismo. Con casi la nica excepcin de la Medicina, la cultura helenstica desarroll
una ciencia sustancialmente terica y abstracta, que, complacida en su idealidad en los
mtodos y en los contenidos, permaneci ligada al modelo terico de la Matemtica pura,
que rechazaba las aplicaciones prcticas de la ciencia a la realidad corprea y sensible por
considerarlas objeto de oficios toscos y manuales e impropias de una actividad liberal que
deba dedicarse slo al estudio de la dimensin inteligible de la realidad bajo una Filosofa
de la actividad cientfica e intelectual que describe Plutarco en Vida de Marcelo, XIV.
Bajo esta filosofa del trabajo cientfico, el tcnico, como venda su obra, quedando as
rebajada a la categora de mercanca, no era un autntico cientfico. El verdadero cientfico
era el que, gracias a la proteccin oficial, basaba su prestigio en el saber terico, nico
digno de una posicin social eminente.

220

Es posible que fueran estos presupuestos ideolgicos los que indujeran a Arqumedes a
abandonar Alejandra, consciente de que all su espritu cientfico no iba a tener un mbito
adecuado. En efecto, la actividad investigadora de Arqumedes fue profundamente original y
diferente de la ciencia alejandrina, porque, fundiendo los aspectos cientficos con los
tcnicos, logr alcanzar una sntesis armnica que, elevndose a las ms altas cotas del
rigor, produjo extraordinarios resultados al complementar la investigacin terica con las
aplicaciones prcticas. Arqumedes se enfrent contra todos los prejuicios platnicos y en
aras de la realidad no dud en extraer de la Mecnica y de la Geometra del mundo sensible
en el que no hay puntos sin extensin ni lneas sin grosor y en el que todo es material, los
elementos y recursos fsicos que, contando, midiendo e incluso pesando y no haciendo
metafsica, como los platnicos epgonos de Euclides, conducen por abstraccin al
conocimiento lgico. As pues, el abismo que el idealismo de Platn haba establecido entre
la teora y la prctica fue salvado por Arqumedes con la aplicacin de la tcnica y de
instrumentos geomtricos ms all de la Geometra que permita la regla y el comps
platnicos; por ejemplo al prescindir de los cnones eucldeos e introducir una de las curvas
ms importantes de la Matemtica como la Espiral llamada de Arqumedes.
De ello es buena muestra su magnfica obra El Mtodo sobre los teoremas mecnicos
(EL MTODO), donde, de una forma totalmente diferente a los esquemas metodolgicos
alejandrinos, con una brillante conjuncin de la Mecnica y la Geometra, Arqumedes revela
el camino que segua para descubrir sus resultados matemticos. Arqumedes crea en dos
estadios de actividad cientfica, con dos mtodos diferentes que se complementan, el
primero intuitivo donde se descubre y se inventa, el segundo apodctico donde se convalida
lo intuido y se demuestra de forma rigurosamente deductiva siguiendo el modelo euclidiano.
A pesar de que Arqumedes desarroll su ingente labor investigadora lejos de Alejandra, no
permaneci totalmente aislado. Convencido de la importancia de sus descubrimientos, dej
que los doctos de Alejandra mantuviesen inclume el patrimonio eucldeo, pero se
comunicaba con ellos. Es posible que Arqumedes viera como una necesidad la aprobacin
por parte de los cientficos del Museo de sus resultados matemticos. Quiz por ello
tambin, despus de realizar sus descubrimientos con su original mtodo mecnico, como
obedeciendo a la ciencia oficial, Arqumedes realizaba una impecable demostracin
mediante el mtodo de exhaucin. No es probable que Arqumedes hiciera esto por la
persistencia en l de la influencia platnica; antes bien, parece que l mismo, como
manifiesta en el Prembulo del MTODO, senta necesario confirmar sus intuiciones
mecnicas con una demostracin rigurosa. As, por una parte, su obra queda perfectamente
engarzada en la rgida tradicin de la Geometra griega; y por otra, sus descubrimientos
pudieron ser conocidos y ponderados por el resto del mundo cientfico helnico y a travs
suyo permanecer para la posteridad.
Arqumedes supo partir de la realidad material, como fuente intuitiva del descubrimiento
matemtico, y, recprocamente, aplicar las Matemticas a la realidad, pero lo hizo con un
frreo apoyo en las slidas y firmes bases eucldeas, para trascender la tradicin y ampliar
de forma considerable los horizontes metodolgicos de la Matemtica de su tiempo y
ampliar el cumulo de conocimientos sobre todo con la ubrrima fecundidad del mtodo
mecnico del MTODO, en el que Arqumedes escribe al final del Prembulo:
[...] Estoy convencido de que [EL MTODO] puede representar una contribucin no
poco provechosa a la investigacin matemtica. Pues supongo que algunos
estudiosos, contemporneos o futuros, llegarn a encontrar, por el mtodo expuesto,
otros teoremas que a m no se me han ocurrido todava.
Estas palabras nos recuerdan la frase antolgica con la que termina el clebre ensayo
geomtrico que acompaa al El Discurso del Mtodo, La Geometra de Descartes:
[...] Y yo espero que nuestros descendientes me estarn agradecidos no slo por las cosas
que aqu he explicado, sino tambin por aquellas que he omitido voluntariamente a fin de
dejarles el placer de descubrirlas. (G.AT,VI, 485)

221

ARQUMEDES, UN SABIO DE LEYENDA

Por fortuna, Arqumedes es uno los pocos
personajes matemticos griegos de quien nos ha
llegado noticias de su vida, ya que han glosado
su figura los historiadores y escritores ms
eximios de la antigedad Tito Livio, Plutarco,
Polibio y Cicern, entre otros. Tal vez sean
stas las fuentes ms fiables, pero hay otras
muchas Valerio Mximo, Silio Itlico, Giorgio
Valla, Eutocio, Zonaras, Tzetzes que han visto
estimulada su fantasa por las asombrosas
invenciones tcnicas, que parecan subvertir las
propias leyes de la naturaleza, que la tradicin
ha atribuido a Arqumedes.
A pesar de las mltiples fuentes, lo nico que
podemos afirmar con certeza es que
Arqumedes muri en el ao 212 a.C. en la cada
de Siracusa en manos del cnsul romano,
Marcelo, durante la segunda guerra pnica, tras
un prolongado cerco de tres aos, en el que
Arqumedes habra participado brillantemente
como defensor, ingeniando espectaculares
artilugios militares, que causando el terror al
enemigo, prolongaran de forma considerable la
de otro modo inminente toma de la ciudad.

1.

Arqumedes pintado por Ribera en 1630. Museo

del Prado (Madrid)

2.

Sello de correo espaol de 24/3/1963 que

reproduce el cuadro de Ribera sobre Arqumedes.

Ribera representa a Arqumedes de una forma un

tanto irreverente exhibiendo una socarrona sonrisa, lo
que ha inducido a algunos crticos a aducir que tal
vez el personaje sera ms bien Demcrito

Para sus conciudadanos, Arqumedes fue un

personaje clebre, curioso y famoso por sus
mritos cientficos, por sus excentricidades, por
los originales inventos que le atribuyeron y por
su vinculacin con la familia real, que siempre
le tuvo en una gran estima, como manifiesta la
frase de Hiern II:
Mostradme un hombre que haga crecer dos
espigas de trigo donde hoy slo crece una, y
le conceder ms honores que al propio
Arqumedes.
La vida de Arqumedes se ha reconstruido
sobre la base de fragmentos de diversos autores,
sobre todo de los historiadores de las guerras
pnicas. Su figura histrica fue embellecida
hasta la hagiografa o deformada por la
imaginacin popular y por la tradicin
legendaria ulterior, que la revestira con
ancdotas muchas de ellas inverosmiles que
llegaban a impregnar al personaje de una
aureola casi sobrenatural
As por ejemplo Silio Itlico escribe sobre
Arqumedes en el poema dedicado a la segunda
guerra pnica (Punica, pp.341342):
Haba, pues, en Siracusa, un hombre que,
sin estar favorecido por una gran fortuna, se
elev por su genio por encima de la esfera de
la humanidad y de la gloria inmortal de esa
ciudad. Todos los secretos del universo le
eran conocidos. Saba cuando los oscuros
rayos del sol naciente presagiaban la
tempestad, si la tierra estaba fija o
suspendida por su eje, por qu el mar
extendido sobre el globo se mantena
encadenado a su superficie, cules eran las
causas de la agitacin de las olas y de las
diferentes fases de la luna, qu ley segua el
ocano en el flujo y reflujo de las mareas.
Fama tena de haber contado las arenas de
la tierra; l, que supo poner a flote una
galera con el esfuerzo de una sola mujer; l,
que hizo subir rocas amontonadas en contra
de la pendiente del terreno.

222

EL GENIO DE ARQUMEDES SEGN PLUTARCO

1.

Busto de Arqumedes. Museo Nacional de

Npoles. Es uno de los iconos ms conocidos
de Arqumedes.

2.

Sello de correo italiano de 2/5/1983 que

reproduce el mismo busto junto a un tornillo
hidrulico ideado por Arqumedes.

Es sobre todo Plutarco, en sus Vidas Paralelas, quien con ms detalle relata la genialidad terica y
prctica, as como ciertos episodios de la vida de Arqumedes, en su Vida de Marcelo, en relacin con la
intervencin del cientfico en la defensa de Siracusa.
Sobre el carcter especulativo en la invencin as como riguroso y claro en la demostracin, Plutarco
platoniza a Arqumedes escribiendo (Marcelo, XVII):
En cuanto a Arqumedes , fue tanto su juicio, tan grande su ingenio y tal su riqueza en teoremas, que
sobre aquellos objetos que le haban dado el nombre y gloria de una inteligencia sobrehumana, no
permiti dejar nada escrito; y es que tena por innoble y ministerial toda ocupacin en la mecnica y
todo arte aplicado a nuestros usos, y pona nicamente su deseo de sobresalir en aquellas cosas que
llevan consigo lo bello y excelente, sin mezcla de nada servil, diversas y separadas de los dems, pero
que hacen que se entable contienda entre la demostracin y la materia; de parte de la una, por lo
grande y lo bello, y de parte de la otra, por la exactitud y por el maravilloso poder; pues es imposible
encontrar en toda la Geometra cuestiones ms difciles y ms importantes explicadas con trminos
ms sencillos ni ms comprensibles; lo cual unos creen debe atribuirse a la sublimidad de su ingenio,
y otros, a un excesivo trabajo, [...].
Sobre ciertas actitudes excntricas de Arqumedes a las que le llevaran su actividad creativa, contina el
testimonio de Plutarco (Marcelo, XVII):
Halagado y entretenido de continuo por una sirena domstica y familiar, se olvidaba del alimento y
no cuidaba de su persona y llevado por la fuerza a ungirse y baarse, formaba figuras geomtricas en
el mismo hogar, y despus de ungido tiraba lneas con el dedo, estando verdaderamente fuera de s, y
como posedo de las musas, por el sumo placer que en estas ocupaciones hallaba.
A pesar de estas manifestaciones de Plutarco, muchos de los trabajos de Arqumedes estn vinculados a
la experiencia, de modo que muchas de sus investigaciones y descubrimientos resultan de la necesidad
de resolver problemas prcticos. De hecho a Arqumedes se le conoce como el fsico e ingeniero ms
famoso de la antigedad por la cantidad de mquinas que se le atribuyen. A ttulo de ejemplo
mencionemos el tornillo hidrulico de la imagen del sello, llamado tambin cclea, una ingeniosa
mquina construida por Arqumedes a la que Galileo calific como maravillosa y milagrosa, que
permite elevar el agua de forma rpida venciendo la resistencia gravitatoria. Fue utilizada para extraer
agua de los ros para convertir en frtiles tierras yermas, as como para desaguar las tierras ms bajas,
donde se originaban pestes por el estancamiento de las aguas. En el Renacimiento, Leonardo vuelve a
estudiar y reproducir el instrumento de Arqumedes, quien resulta ser un digno antecesor de aqul.
En su Naturalis Historia, Plinio el Viejo, que en su juventud haba sido administrador de las minas del
noroeste de Espaa, relata cmo se soltaba agua a presin desde la cima de las montaas aurferas de las
Mdulas, en el Bierzo leons, para proceder despus al lavado de las arenas. Se utilizara el tornillo de
Arqumedes para elevar el agua a las alturas? De esta forma se recogan veinte mil libras anuales de oro,
que surtan a todo el imperio romano.

223

EL FRAUDE DE LA CORONA DEL REY HIERN DE SIRACUSA

Y LOS PRINCIPIOS DE ARQUMEDES DE LA HIDROSTTICA

1.

Grabado tardomedieval en madera que reproduce el

episodio del fraude de la corona del rey Hiern de
Siracusa. Museo Municipal de Trieste.

2.

Portada de la obra crtica de Mazzuchelli sobre

Arqumedes publicada en Brescia, en 1737. Biblioteca
Municipal de Mantua.

Este tratado, de un gran valor histrico e iconogrfico, intenta

ordenar las mltiples informaciones, muchas de ellas
legendarias sobre los episodios ms o menos inverosmiles
de la vida de Arqumedes, en relacin con su brillante
actividad cientfica y tcnica. La propia portada ilustra la
escena urbana del Eureka de un Arqumedes pletrico de
alegra ante la intuicin del descubrimiento hidrosttico.
La ancdota ms conocida de Arqumedes es la de la corona de oro del rey Hiern, simplemente mencionada
por Plutarco, pero extensamente relatada por Vitrubio, para quien la forma de descubrir el fraude cometido
contra el rey, constituye la ms sutil y genial de las intuiciones de Arqumedes. Vitrubio en su De Architectura,
IX, Pref,910, refiere el episodio en estos trminos:
Arqumedes realiz un gran nmero de admirables descubrimientos, pero de entre todos, el que voy a
exponer manifiesta una sutileza increble. Reinando Hiern en Siracusa, debido a los xitos logrados en sus
empresas, se propuso ofrecer en un cierto templo una corona de oro a los dioses inmortales. Acord con un
artesano la confeccin de la obra mediante una buena suma de dinero y la entrega de la cantidad de oro en
peso. El artesano cumpli los plazos de entrega, encontrando el rey la corona perfectamente realizada. Pero
habiendo encontrado indicios de que el artesano haba sustituido parte del oro por plata, el rey, indignado
ante el presunto engao, pero no teniendo medios para demostrar el fraude del artesano, encarg a
Arqumedes que aplicara su inteligencia a dilucidar el asunto. Preocupado Arqumedes por el tema, y
habiendo entrado un da por azar en una casa de baos, advirti que cuanto ms se sumerga en el agua
mayor cantidad de ella sala de la tina. Esta observacin le dio la luz para resolver la cuestin; de modo que
loco de alegra por el descubrimiento, salt fuera de la baera, y tal como estaba, totalmente desnudo corri
hacia su casa clamando: Eureka, Eureka!
Vitrubio contina el relato explicando que Arqumedes introdujo sucesivamente pesos iguales de plata y oro en
un vaso lleno de agua y comprob los volmenes de agua desalojados en los dos casos; pes la corona, la
sumergi en agua y midi el lquido desalojado. De este modo, mediante un sencillo clculo, pudo determinar la
cantidad de oro y plata que se haba utilizado. De su experiencia Arqumedes concluy que era evidente el
fraude que haba cometido el orfebre, poniendo una parte de plata en la corona.
El sabio de Siracusa introduce el llamado Principio de Arqumedes de la Hidrosttica en su obra Sobre los
Cuerpos Flotantes :Todo cuerpo sumergido en un lquido experimenta un empuje hacia arriba igual al peso del
lquido desalojado. Con los desarrollos matemticos introducidos en este tratado, Arqumedes contribuy de
forma poderosa al ulterior desarrollo de la arquitectura naval.

224

La obra matemtica de Arqumedes

Arqumedes afrontaba y resolva problemas que iban ms all de la Geometra tradicional, y
lo haca sin el rigor suntuoso de sus colegas alejandrinos, aplicando a las cuestiones
geomtricas razonamientos anlogos a los empleados en las cuestiones mecnicas. En los
contenidos trascendi de forma considerable Los Elementos de Euclides. As, por ejemplo,
consigui obtener la primera cuadratura de la parbola, comunicando a los cientficos de
Alejandra el procedimiento mecnico del que se sirvi para descubrir el resultado, as como
la demostracin rigurosa, en su tratado Sobre la Cuadratura de la Parbola, en cuyo
prembulo dirigido a Dositeo, Arqumedes escribe:
[...] Pero ninguno de mis predecesores, que yo sepa, ha buscado la cuadratura del
segmento comprendido por una recta y una seccin de cono rectngulo, problema
cuya solucin he encontrado [...].
Efectivamente, tras la cuadratura de las lnulas de Hipcrates, la cuadratura de la parbola
es el primer ejemplo histrico de la obtencin de un rea limitada por curvas.
Anlogamente Arqumedes tiene conciencia de la originalidad e importancia de los
resultados sobre la esfera, el cilindro y el cono, en donde no slo considera los volmenes
de estas figuras, sino que va ms all del Libro XII de Los Elementos de Euclides, al
estudiar tambin las superficies, llegando a obtener la cuadratura de la esfera. En el
prembulo de su obra Sobre la Esfera y el Cilindro, Arqumedes dice:
[...] Aunque estas propiedades eran inherentes a las figuras a que acabo de referirme
[la esfera y el cilindro], no haban sido conocidas por quienes me han precedido en el
estudio de la Geometra [...].
En Sobre el Equilibrio de los Planos Arqumedes estudia las leyes del equilibrio de la
palanca. Esta obra de Matemtica aplicada, construida con el rigor habitual, nos permite
asegurar que desde un principio Arqumedes se inhibi de los escrpulos del idealismo y el
purismo platnicos, que censuraba toda aplicacin prctica de la Matemtica. Arqumedes,
al contrario, quiebra los esquemas ideolgicos vigentes del euclidianismo platnico que ligan
la ciencia exacta con la reflexin abstracta y trasciende los lmites de la teora pura al
vincular estrechamente la investigacin terica con sus aplicaciones prcticas.
Asimismo, en su tratado Sobre la Medida del Crculo, Arqumedes va mucho ms all de la
Geometra de Euclides, ya que no slo trata el rea del crculo que Euclides en la
Proposicin XII.2 de Los Elementos haba establecido con base en Eudoxo que era
proporcional al cuadrado del dimetro, sino que al considerar la circunferencia obtiene un
valor aproximado del nmero .
Tambin en Sobre las Espirales Arqumedes inventa, construye y estudia una nueva curva,
la espiral, que todava lleva su nombre, resolviendo entre otros el problema de cuadrar la
porcin limitada por las espiras de la curva.
Finalmente en Sobre Conoides y Esferoides, Arqumedes estudia slidos de revolucin, de
los que nadie se haba ocupado con anterioridad.
Los escritos de Arqumedes son densas memorias cientficas en las que se asumen, sin
mencionarlos explcitamente, todos los resultados matemticos concebidos anteriormente.
Todos los escritos de Arqumedes son originales y tienen la estructura eucldea de empezar
postulando las hiptesis, a las que siguen las proposiciones impecablemente demostradas,
con una ocultacin salvo precisamente en EL MTODO, que parece deliberada, del
proceso inventivo.

225

LAS PRINCIPALES OBRAS DE ARQUMEDES CON SUS

RESULTADOS MATEMTICOS MS IMPORTANTES
Exceptuando ciertas obras menores (El Stomachion, El Libro de los Lemas y El
Problema de los bueyes), en los restantes tratados Arqumedes demuestra
importantes resultados sobre la determinacin de reas, volmenes y centros de
gravedad, que actualmente se obtienen con el Clculo Integral.
La secuencia lgica y cronolgica de los escritos de Arqumedes no es fcil de
establecer. Enumeraremos y describiremos muy sucintamente las obras
referentes a los temas mencionados segn el orden propuesto por J.L.Heiberg.
1. Sobre la Esfera y el Cilindro: resultados sobre la esfera, el cono y el cilindro,
en particular la legendaria propiedad de la razn de 2 a 3 entre la esfera y el
cilindro circunscrito, tanto en superficie total como en volumen.
2. Sobre la Medida del Crculo: resultados sobre la equivalencia entre el crculo
y el tringulo de base la circunferencia del crculo y altura el radio (es decir,
reduccin de la cuadratura del crculo a la rectificacin de la circunferencia),
y clculo aproximado de la razn entre la circunferencia y el dimetro (valor
aproximado del nmero ).
3. Sobre Conoides y Esferoides: resultados sobre la razn entre segmentos de
elipsoides, paraboloides e hiperboloides de revolucin y los conos de igual
base y eje.
4. Sobre las Espirales: resultados sobre el rea encerrada por las espiras de La
Espiral de Arqumedes y rectificacin de un arco de la circunferencia
mediante esta curva.
5. Sobre el Equilibrio de los Planos: resultados sobre el centro de gravedad de
figuras poligonales, del segmento de parbola y del trapecio parablico.
Aunque es un tratado de Esttica, formalmente sigue la lnea eucldea con
definiciones, postulados y demostraciones en los que adems de conceptos
geomtricos se utilizan el peso y el centro de gravedad de figuras. En este
escrito Arqumedes formula la famosa Ley de la palanca.
6. Sobre la Cuadratura de la Parbola: resultados sobre la cuadratura de un
segmento de parbola, primero mediante recursos de esttica extrados de
Sobre el Equilibrio de los Planos y despus mediante consideraciones
geomtricas.
7. Sobre los Cuerpos Flotantes: resultados sobre la posicin de equilibrio de un
segmento de paraboloide de revolucin parcialmente sumergido en un
fluido. En este tratado, elaborado tambin a la manera eucldea, aparece el
famoso Principio de Arqumedes de la Hidrosttica.
8. El Mtodo sobre los teoremas mecnicos donde Arqumedes pone de
manifiesto el procedimiento heurstico seguido en el descubrimiento de
resultados.
226

LAS OBRAS DE ARQUMEDES

Archimedis Opera Omnia, Basilea, 1544. Ejemplar de la Universidad de Valladolid. Esta

edicin forma parte de la edicin princeps de las Obras de Arqumedes
Hasta el hallazgo de J.L.Heiberg del palimpsesto de Jerusaln en 1906, la fuente primigenia
de las Obras de Arqumedes era un manuscrito de Constantinopla del siglo IX que lleg a
Europa Occidental a travs de la corte normanda de Palermo, y que fue traducida al latn
por Guillermo de Moerbeke en 1269 la traduccin manuscrita forma parte de la Coleccin
vaticana, y por Jacobo de Cremona en 1450, siendo sta ltima revisada por Regiomontano.

227

ALGUNAS PGINAS DE OBRAS DE ARQUMEDES EN

ARQUMEDES OPERA OMNIA ( BASILEA, 1544).

1. Pgina de Sobre la Medida del Crculo.

2. Pgina de Sobre las Espirales.
3. Pgina de Sobre el Equilibrio de los Planos.
4. Pgina de Sobre la Cuadratura de la Parbola.

228

Descubrimiento y demostracin en Arqumedes

Arqumedes demuestra los resultados matemticos relacionados anteriormente mediante el
mtodo de exhaucin ideado por Eudoxo, el ms importante matemtico de la Academia
platnica. El mtodo de exhaucin confiere un rigor lgico impecable al argumento
matemtico, pero tiene ciertas servidumbres. En primer lugar suele resultar bastante
engorroso el establecimiento de las desigualdades bsicas que se necesitan para iniciar una
doble reduccin al absurdo, lo que hace onerosa la lectura de las obras de Arqumedes,
pero lo ms grave es que este mtodo obliga a conocer previamente el resultado a
demostrar, es decir carece de valor heurstico, no sirve para encontrar nuevas verdades sino
slo para demostrar aquellas de las cuales ya se tiene un conocimiento previo. El mtodo de
exhaucin es pues un mtodo de demostracin y no de descubrimiento, precisando ser
complementado a priori con otro mtodo, ya sea analtico o mecnico, para descubrir los
resultados.
Siendo esto as, surge de forma natural la pregunta acerca de cmo conoca y obtena
Arqumedes los magnficos resultados que luego demostraba con un rigor absoluto, porque
en ninguna de las obras citadas en el apartado anterior Arqumedes sugiere lo ms mnimo
al respecto. Cabe decir que en los casos sencillos, Arqumedes puede haber llegado
intuitivamente a los resultados por va inductiva. Por ejemplo, relacionando un polgono con
el cuadrado construido sobre el dimetro de su crculo circunscrito, sabiendo que las reas
de dos polgonos regulares de igual nmero de lados estn en razn como los cuadrados
correspondientes aludidos (Euclides, XII.1), razonando inductivamente resulta plausible que
la misma razn se mantenga para los propios crculos (Euclides, XII.2). As se aventurara
un resultado ya conocido por Hipcrates de Quos, que el mtodo de exhaucin aplicado
por Eudoxo confirmara plenamente a posteriori.
Pero el alcance de la intuicin tiene sus lmites:

Cmo se puede intuir que la superficie de la esfera es cuatro veces un crculo

mximo?

Cmo se puede inducir que el rea de la primera vuelta de la espiral es un tercio del
primer crculo?

Cmo se puede augurar que el rea de un segmento parablico es cuatro tercios del
rea del tringulo inscrito de la misma base y altura sobre el eje?

Cmo se puede vaticinar que el volumen del segmento de paraboloide de revolucin

es tres medios el del cono de igual base y altura?

Ante estos sorprendentes descubrimientos, no es extrao que muchos matemticos

creyeran que Arqumedes dispona de un mtodo milagroso que aplicaba en sus
investigaciones.
Cuando en el Renacimiento y siglos posteriores tiene lugar la recuperacin, reconstruccin y
divulgacin del legado clsico griego y en particular se difunde un entusiasta inters por las
obras de Arqumedes, todos los estudiosos, impresionados por estos trabajos, se formulan
las anteriores preguntas, sintetizadas en la formulacin de la siguiente:
Cmo haba alcanzado Arqumedes sus impresionantes resultados sobre cuadraturas y
cubaturas, que luego demostraba rigurosamente mediante el mtodo de exhaucin?
Como bien seal Galileo, en la prctica de la investigacin cientfica y en particular en la
investigacin matemtica siempre existe un dualismo metdico, dos momentos distintos y
consecutivos en el proceder, la fase de la invencin, intuitiva, no rigurosa y cargada de
hiptesis, sugerencias, analogas, argumentos plausibles y razonamientos informales, es el
ars inveniendi o va del descubrimiento; y la fase apodctica, donde se impone el rigor, el
ars disserendi o va de la demostracin. De ambas vas que son complementarias en la
investigacin cientfica, dnde est en Arqumedes el primer camino?
Ignorada por todos la forma en que Arqumedes haba alcanzado sus descubrimientos,
muchos matemticos albergaron la sospecha de que Arqumedes dispona de un mtodo

229

que deliberadamente haba mantenido en secreto, una va de descubrimiento que no surge

ante el lector de sus obras y que parece haber ocultado voluntariamente. As por ejemplo
Torricelli manifiesta:
Los gemetras antiguos empleaban en sus demostraciones un mtodo diferente al
seguido en la fase inventiva y procedan as, entre otras razones, para ocultar el
secreto del arte.
Tambin Wallis, que tuvo a su cuidado una edicin de las Obras de Arqumedes, publicada
en Oxford en 1676, escriba:
Al parecer Arqumedes ocult adrede las huellas de su investigacin, como si hubiera
sepultado para la posteridad el secreto de su mtodo de investigacin.
Asimismo, Barrow, que se encarg tambin de una edicin en latn de las Obras de
Arqumedes, que se public en Londres en 1675, se manifestaba en estos trminos:
Al no poder imaginar qu ingenio mortal pueda llegar a tanto mediante la virtud del
razonamiento, estoy seguro que Arqumedes se vio ayudado por el lgebra, a la que
conoca en secreto y que ocultaba de forma estudiada.
Efectivamente Arqumedes posea un mtodo de investigacin, que plasm en su obra EL
MTODO, en la que mediante procedimientos reconocidos por l mismo como no rigurosos,
descubra sus famosos teoremas matemticos. Pero fueron, como veremos, los avatares
histricos y no su voluntad, quien lo dej oculto para la posteridad. En palabras de E. Rufini
(en Il Metodo d'Archimede e le origine dell'analisi infinitesimale nell'antichit, Feltrinelli, 1926,
p.91):
[....] La obra escasamente estudiada y quiz poco comprendida por los propios
griegos, cay fatalmente en un completo olvido.

1. Cuadro titulado Arqumedes del

pintor italiano Domenico Fetti
(1589-1624). Gemldegalerie Alte
Meister (Dresde, Alemania).
2.

Sello de correo de la antigua

Alemania Oriental de 13/11/1973
ede 24/3/1963 que reproduce el
cuadro sobre Arqumedes de
D.Fetti

230

CITAS MEMORABLES SOBRE ARQUMEDES

1.

Considero que hubo en aquel siciliano [Arqumedes] ms inteligencia que la que parece que haya
podido producir la naturaleza humana. Cicern. De Republica, I,14.

2.

Es imposible encontrar en toda la Geometra cuestiones ms difciles y ms importantes

explicadas con trminos ms sencillos ni ms comprensibles que los teoremas de la inteligencia
sobrehumana de Arqumedes. Plutarco. Vidas paralelas. Marcelo, XVII.

3.

Marcelo, lleno de admiracin por ese genio extraordinario, dio orden de conservarle la vida,
siendo para l de tanta gloria la conservacin de Arqumedes como la toma de Siracusa [...] Pero
mientras Arqumedes con la vista y la atencin fijos en el suelo trazaba figuras, un soldado, le
cort la cabeza; y la sangre de Arqumedes se confundi con la labor de su ciencia. Valerio Mximo.

Facta et dicta memorabilia, VIII, 7,7.

4.

Podramos obtener demostraciones perfectas de los libros de Arqumedes, a nosotros no nos

repele la espinosa lectura de ellos. J.Kepler. Nova stereometria doliorum vinariorum. Praga, 1615.

5.

Entre todos los trabajos que se refieren a las disciplinas matemticas, parece que el primer lugar
puede ser reivindicado por los descubrimientos de Arqumedes, que confunden a las almas por el
milagro de su sutilidad. E.Torricelli. Opera geometrica. Florencia, 1644. Proemio.

6.

Al no poder imaginar qu ingenio mortal pueda llegar a tanto mediante la virtud del
razonamiento, estoy seguro que Arqumedes se vio ayudado por el lgebra, a la que conoca en
secreto y que ocultaba de forma estudiada. I.Barrow. Archimedis Opera. Londres, 1675.

7.

Haba ms imaginacin en la cabeza de Arqumedes que en la de Homero. Voltaire. Diccionario

8.

La imaginacin no acta menos en un gemetra que crea que en un poeta que inventa, aunque
operan de manera diferente sobre su objeto: el primero lo desnuda y analiza, el segundo lo
compone y embellece. [...]. De todos los grandes hombres de la antigedad, es acaso Arqumedes
el que ms merece figurar al lado de Homero. D'Alembert. Discurso preliminar de la Enciclopedia.

filosfico.

Orbis, Barcelona, 1984. p.63

9.

Arqumedes abri nuevas vas en la Geometra e hizo tan gran nmero de descubrimientos, que la
antigedad le ha concedido de comn acuerdo el primer lugar entre los gemetras. J.F.Montucla.
Histoire des Mathmatiques. Blanchard. Pars, 1968. Tomo I, Libro IV, Cap.V, p.223.

10. Arqumedes anticipa nuestro Clculo Integral, tanto en el tiempo como en la seguridad de los
procedimientos y en la genialidad de los artificios no superados por los precursores del siglo
XVII. E.Rufini. Il Metodo d'Archimede e le origine dell'analisi infinitesimale nell'antichit. Feltrinelli.
Miln, 1926. p.187.

11. Arqumedes es, acaso, el hombre de ciencia que ha llegado a la ms alta cima de la abstraccin, y,
segn Plutarco, la muerte le acechaba, en uno de sus momentos de xtasis. F.Vera. Arquimedes (en
Cientficos griegos. Aguilar, 1970. p.11).

12. Son la maduracin y la asimilacin de la obra de Arqumedes las que sirven de base a la
revolucin cientfica que se realizar en el siglo XVII. A.Koir. Estudios de Historia del Pensamiento
Cientfico. Siglo XXI. Madrid, 1971. p.44.

13. La carta a Eratstenes sobre el Mtodo, no hallada hasta 1906, es la clave de los principales
descubrimientos de Arqumedes. Gracias a ella podemos representarnos de forma aproximada el
proceso de pensamiento del sabio.[...]. Arqumedes no aplica, en general, las Matemticas a la
tcnica, sino que, muy al contrario, la tcnica es la inspiradora de sus trabajos tericos.[...].
Arqumedes logra completar su anlisis intuitivo con una sntesis rigurosa. Da airosamente ese
paso difcil, hecho en el cual se encierra una prueba de la magnitud de su genio. R.Taton. Historia
general de las Ciencias. Orbis. Barcelona, 1988. Vol.2. Libro II, Cap.II.2. pp.355, 356, 357.

14. Las matemticas griegas perduran ms incluso que la Literatura griega. Arqumedes ser recordado
cuando Esquilo haya sido olvidado, porque las lenguas mueren y las matemticas no. G.Hardy.
Apologa de un matemtico. Nivola. Madrid, 1999. p.82.

15. la revisin de las investigaciones de Arqumedes por Leonardo fue la oportunidad para actualizar
un mtodo geomtricomecnico de investigacin que transformara radicalmente la forma de
entender el conocimiento cientfico. C.Pedreti. Leonardo, Arte y Ciencia. Susaeta. Madrid, 2003. p.137.

231

El Mtodo sobre los Teoremas Mecnicos

La naturaleza del MTODO como tratado matemtico
Muchas de las obras de Arqumedes estn precedidas por ciertos prembulos dirigidos a
varios de sus amigos matemticos alejandrinos. Esto parece revelar que Arqumedes tena
la costumbre de enviar a Alejandra los enunciados de los teoremas que encontraba,
pidiendo a los matemticos que los demostraran. Como seguramente la peticin de
Arqumedes no deba ser satisfecha, l mismo enviaba ms tarde los resultados de sus
investigaciones, redactados y demostrados impecablemente, eliminando pasos intermedios
y alusiones a los teoremas en que se basaba. Al no mencionar el proceso heurstico seguido
en el descubrimiento, muchos de los teoremas resultaban realmente sorprendentes.
EL MTODO es una obra singular de Arqumedes, porque en ella se decide a revelar a la
comunidad matemtica alejandrina, en carta dirigida a Eratstenes, la va de investigacin
de cuestiones matemticas por medio de la mecnica, un mtodo que Arqumedes utilizaba
en sus descubrimientos y que haba omitido en todos los restantes escritos cientficos. La
combinacin de Geometra y Esttica que Arqumedes haba hecho en Sobre el Equilibrio de
los Planos y en Sobre los Cuerpos Flotantes para establecer rigurosamente ciertas
propiedades relacionadas con el equilibrio de ciertos cuerpos geomtricos, la realiza de
nuevo en EL MTODO para descubrir e investigar resultados, que, obtenidos de forma
mecnico-geomtrica, demostrar de forma rigurosa en sus tratados cientficos.
Los brillantes resultados de Arqumedes ponderados por todas las generaciones de
matemticos a partir del Renacimiento, pueden crear unas falsas expectativas acerca del
contenido real de la obra, al confiar en que Arqumedes nos revele en ella una va secreta y
segura del descubrimiento matemtico, la piedra filosofal del xito geomtrico. Ms vale no
esperar nada de esto. EL MTODO de Arqumedes es un magnfico informe cientfico sobre
un mtodo de investigacin y de argumentacin plausible en Geometra, ilustrado con
algunos ejemplos, unos conocidos y otros nuevos, donde Arqumedes da muestras de una
pericia y de una imaginacin terica inefables, as como de una intuicin que se mueve con
un increble instintivo olfato matemtico. Pero la lectura del MTODO no pone al lector
frente al proceso psicolgico revelador de la actividad creadora de Arqumedes, es decir, la
comunicacin de Arqumedes a Eratstenes no es una confidencia psicolgica que ponga
de manifiesto la psicognesis del pensamiento arquimediano. En realidad EL MTODO es
una memoria cientfica muy elaborada, bastante singular por su carcter metodolgico
dentro del conjunto de los grandes tratados de la Geometra griega, pero es fcil tomarlo por
un escrito ms de Arqumedes, estructurado con el mismo rigor. Claro est que el propio
Arqumedes lo desmiente cuando manifiesta a Eratstenes en el prembulo del MTODO:
[...] He credo oportuno exponerte por escrito y desarrollar en este mismo libro las
particularidades de un mtodo, por medio del cual te ser posible iniciar la
investigacin de ciertas cuestiones matemticas por medio de la mecnica. Estoy
convencido, adems, de que dicho mtodo no ser menos til para demostrar los
propios teoremas. Pues algunos de los que primero se me hicieron patentes
mecnicamente, recibieron luego demostracin geomtricamente, habida cuenta de
que la investigacin hecha por este mtodo no comporta demostracin; [...].
Es decir, EL MTODO, al utilizar consideraciones mecnicas, desarrolla sugerencias que
descubren resultados por analoga que ilustran el arte de la invencin con una
argumentacin cientfica informal que establece una pauta de discurso matemtico dirigida a
mostrar el carcter plausible de unas conclusiones que sern enseguida convalidadas en la
forma demostrativa vigente, es decir, mediante el mtodo de exhaucin. Pero no slo esto,
porque la propia confirmacin del resultado mediante rigurosa demostracin se ve tambin
favorecida por la forma de descubrirlo, pues como seala tambin Arqumedes:
[....] pues es ms fcil, despus de haber adquirido por ese mtodo cierto
conocimiento de las cuestiones objeto de investigacin, dar luego la demostracin, que
investigar sin ningn conocimiento previo.

232

Las vicisitudes histricas del Mtodo y la reconstruccin de Heiberg

Antes de su recuperacin en 1906, no se tenan ms que informaciones bastante vagas
sobre EL MTODO de Arqumedes. Suidas, un escritor que vivi en el siglo X, alude a la
obra, sosteniendo que Teodosio de Trpoli, autor de un tratado sobre la esfera Las Esfricas,
haba escrito un comentario al respecto. Tambin Hern, en el siglo I a.C., haba hablado de
ella haciendo alusin a tres proposiciones en su Mtrica, pero tambin este escrito se
perdi, y no fue redescubierto, segn Heath, hasta 1896 por H.Schne de Constantinopla
(aunque un fragmento de la Mtrica haba sido anteriormente recuperado en 1894 por
P.Tannery). Por todo ello sobre el real contenido de la obra de Arqumedes circularon las
ms variadas hiptesis, hasta que, como vamos a ver, la perspicacia del historiador de la
ciencia dans J.L.Heiberg, Profesor de la Universidad de Copenhague, editor de las obras
de Arqumedes y Apolonio y uno de los helenistas ms competentes de Europa, cerr con
xito el asunto.
Schne haba visto atrada su atencin por una cita efectuada en 1899 por el palegrafo
griego Papadopoulos Kerameus (autor de un voluminoso catlogo de los manuscritos del
Patriarcado griego de Jerusaln), de un palimpsesto conservado en la coleccin de
manuscritos de la biblioteca del monasterio de Saint-Savas en Palestina, donde se aludan a
la presencia de algunas conocidas obras de Arqumedes. Estas citas llegaron a los odos de
J.L.Heiberg, quien, confirmando que se trataba de pasajes conocidos de Arqumedes,
sospech que podra contener otros trabajos de Arqumedes. El intento de obtener el
palimpsesto por va diplomtica no dio resultado, lo que incit a J.L.Heiberg, en el verano de
1906, a trasladarse a Constantinopla, a donde, mientras tanto, haba sido trasladado el
manuscrito. J.L.Heiberg relatar poco ms tarde que Nikolaos Tsoukaladakis, el bibliotecario
del priorato del Phanar (el metochion del claustro del Santo Sepulcro de Jerusaln), tuvo la
amabilidad de facilitarle el acceso al manuscrito para estudiar el preciado documento e
intentar transcribirlo. En el examen J.L.Heiberg advirti que el palimpsesto, aunque muy
mutilado, era el ms completo de cuantos manuscritos se dispona sobre las obras de
Arqumedes y adems aparecan en l textos nuevos que exigan para su estudio mucho
ms tiempo del disponible, por lo que sin hacer ms estudios de momento, fotografi el
manuscrito para estudiarlo con tranquilidad.
El excepcional documento contena:
A. Partes considerables de algunos tratados de Arqumedes ya conocidos en su totalidad
(Sobre la Esfera y el Cilindro, Sobre la Medida del Crculo, Sobre las Espirales y Sobre el
Equilibrio de los Planos).
B. La mayor parte del texto griego del tratado Sobre los Cuerpos Flotantes del que no se
dispona ms que de una traduccin latina medieval realizada a travs del rabe.
C. El prefacio y dos proposiciones de un tratado completamente indito, el Stomachion, una
especie de puzzle geomtrico recreativo.
D. El texto igualmente indito del tratado El mtodo sobre los teoremas mecnicos.
No aparece en cambio ninguna huella de los tratados Sobre Conoides y Esferoides y Sobre
la Cuadratura de la Parbola.
J.L.Heiberg se propuso utilizar todos estos materiales para la nueva edicin de sus
Archimedis Opera Omnia, que tena en preparacin, pero en atencin a la impaciencia de
los estudiosos public en la revista Hermes (vol.XLII, Berln, 1907), utilizando las notas y las
fotografas que haba tomado, el texto griego del MTODO, junto con una reproduccin en
facsmil de uno de los folios del palimpsesto, acompaando notas y comentarios sobre las
vicisitudes en torno a la obtencin del palimpsesto, as como en torno a las caractersticas y
estado en que se encontraba el documento, con el ttulo: Eine neue Archimedeshandschrift
(Un nuevo manuscrito de Arqumedes).
De acuerdo con la descripcin de J.L.Heiberg, el palimpsesto consta de 185 hojas, de las
cuales 177 son de pergamino y las ltimas de la 178 a la 185 son de papel del siglo XVI. A
primera vista sobresale una escritura superior, que debe ser de los siglos XII-XIII (XIII-XIV
segn Kerameus), que se trata de un devocionario con oficios litrgicos o eucologio, escrito

233

sobre textos que reproducen algunos fragmentos de obras de Arqumedes, en una tinta
marrn claro. Es decir, el amanuense que escribi el eucologio aprovech un material
anterior, pero por fortuna no rasp la escritura original, sino que antes de escribir encima se
limit a lavarla. J.L.Heiberg, proveyndose de una potente lupa consigui leer las 177 hojas
de pergamino, de las que 29 (los folios 7-13, 23-26, 51-54, 73-80, 83-86, 151-152) haban
sido completamente lavadas, no conservando huella alguna de la escritura original, 14
tienen otro tipo de letra y en algunas haba palabras ilegibles. Contina J.L.Heiberg diciendo
que los escritos tienen letra bonita y minscula del siglo X, a dos columnas de 24,4 cms. de
altura por 6,8 cms. de anchura y alrededor de 35 lneas por columna; las letras iniciales de
cada fragmento son grandes y retiradas saliendo del borde; los titulares son maysculas; la
escritura no es regular en general y contiene muchas abreviaturas y expresiones
taquigrficas, de modo que el amanuense domina un sistema de abreviaturas y otro
taquigrfico, utilizando ambos de forma caprichosa. Falta con frecuencia la iota suscrita,
aunque los acentos y espritus constan en general; no as los signos de puntuacin que
suelen faltar. En el documento aparecen figuras geomtricas con letras, pero son dibujadas
a la ligera, nunca completadas y slo esbozadas. El folio 41r es el ms claro, por ello es el
nico que reproduce J.L.Heiberg en facsmil. El amanuense del escrito superior ha
cambiado el orden de los folios, ponindolos en una sucesin arbitraria; ha separado las
hojas de folio pequeo del manuscrito originario y las ha plegado en dos para pasar de folio
a cuartilla, perdiendo lneas y cambiando la direccin de las mismas.
Conociendo todos estos detalles es justo ponderar el mrito poco comn de la publicacin
de J.L.Heiberg. El sabio dans ha tenido que descifrar con la lupa, letra por letra, un texto
muy poco legible, reconstruir figuras semiborradas y restablecer el orden profundamente
variado de las hojas. Adems, J.L.Heiberg ha tenido que rectificar en concisas notas un gran
nmero de errores manifiestos introducidos por el copista, as como indicar sumariamente
en qu orden de ideas se pueden colmar las pequeas y grandes lagunas que aparecen en
el texto. A este respecto comenta J.L.Heiberg que el modo de pensar de Arqumedes est
tan claro que es posible rellenar las lagunas con seguridad casi absoluta y adems uno
puede, a travs de presunciones, completar demostraciones matemticas que se haban
perdido.
La publicacin de J.L.Heiberg comienza con una introduccin erudita y acaba con un
comentario, donde resalta el elevado inters cientfico, heurstico e histrico del nuevo
tratado, El mtodo sobre los teoremas mecnicos, pondera su importancia como obra
metodolgica, la sita cronolgicamente en la obra y en el pensamiento de Arqumedes y
aporta conclusiones muy interesantes de carcter histrico sobre la manera de trabajar de
Arqumedes y sus predecesores.
C.B.Boyer en su Historia de la Matemtica (Alianza Editorial, Madrid, 1986, p.186) termina
su captulo sobre Arqumedes describiendo enfticamente una realidad histrica paradjica,
con estas significativas palabras:
En cierto sentido el palimpsesto que contena el Mtodo es un fiel smbolo de la
contribucin de la Edad Media a la historia de la Matemtica. La ferviente
preocupacin por los asuntos religiosos estuvo a punto de borrar de la faz de la tierra
una de las obras ms importantes del matemtico ms grande de la antigedad; y, sin
embargo, a fin de cuentas fue la erudicin medieval la que, en parte de una manera
involuntaria, la conserv, as como muchas otras cosas que de otra forma se habran
perdido casi con toda seguridad.
La exhumacin de la obra perdida de Arqumedes El mtodo sobre los teoremas mecnicos,
fruto de la labor investigadora de J.L.Heiberg y comentadora de otros historiadores de la
ciencia (H.G.Zeuthen, T.Reinach, E.Rufini, P.Ver Eecke, F.Vera, J.Babini, ...,) es
probablemente el suceso y el descubrimiento ms importante de los ltimos tiempos para el
conocimiento de la Historia de la Geometra griega en general y del genio de Arqumedes en
particular.

234

LA RECONSTRUCCIN DEL MTODO DE ARQUMEDES POR HEIBERG

1.

Imagen venerable de Johan Ludving Heiberg (1854-1928).

2.

Pgina 41r del palimpsesto encontrado por Heiberg con la obra El Mtodo sobre los teoremas
mecnicos, donde Arqumedes describe la va heurstica de sus magnficos descubrimientos
matemticos.
El gran helenista e historiador de la Matemtica
J.L Heiberg exhum, en circunstancias casi
novelescas, en 1906, de un palimpsesto medieval
conservado en la biblioteca del Priorato del
Phanar del Patriarcado griego del Santo Sepulcro
de Jerusaln, en Constantinopla, la obra de
Arqumedes EL MTODO, reproduciendo en el
artculo Eine neue Archimedeshandschrift (en la
revista Hermes, vol.XLII, Berln, 1907) el folio 41r.

Priorato del Phanar del Patriarcado griego del

Santo Sepulcro de Jerusaln, en Constantinipla.

El documento era un eucologio de los siglos XII

al XIV con textos litrgicos escritos en un
manuscrito que contena fragmentos de Obras de
Arqumedes. Por fortuna, el amanuense no rasp
la escritura original sino que se limit a lavarla
escribiendo despus encima. Tras una titnica
labor de arqueologa matemtica, J.L.Heiberg
consigui transcribir, letra a letra, el contenido
del texto arquimediano, situado en la escritura
inferior, reconstruir figuras semiborradas y
restablecer el orden secuencial de las hojas que
haba sido muy alterado. El contenido del
palimpsesto que fue utilizado por J.L.Heiberg
para la edicin de sus Archimedis Opera Omnia,
de 1910-1913, es considerado por los historiadores
de la Matemtica Zeuthen, Reinach, E.Rufini,
Ver Eecke, Vera y Babini como el descubrimiento
ms importante de los tiempos modernos para el
conocimiento de la Historia de la Geometra
griega.

235

El contenido matemtico del Mtodo

EL MTODO de Arqumedes consta de tres partes: El Prembulo dirigido a Eratstenes,
ciertas asunciones previas o Lemas y los resultados propiamente dichos, recogidos en 16
proposiciones.
Arqumedes, en el Prembulo, dedica el tratado a su amigo alejandrino Eratstenes, a quien
desvela su mtodo mecnico como fuente de sus principales descubrimientos. Arqumedes
alude a la resolucin de numerosos problemas y menciona el que resolver en primer lugar
la cuadratura del segmento de parbola y sobre todo los dos problemas que en realidad
son el objetivo fundamental de la comunicacin de Arqumedes a Eratstenes: la cubatura
de la ua cilndrica slido obtenido seccionando un cilindro circular recto por un plano que
pasa por un dimetro de la base y la tangente paralela a la base opuesta y de la bveda
cilndrica -volumen comn a dos cilindros inscritos en un cubo que se cortan
ortogonalmente, resultados cuyos enunciados haba enviado con anterioridad para su
estudio. Arqumedes abunda sobre el carcter metodolgico que tiene el tratado como
fuente heurstica de sus investigaciones y pondera su valor a pesar de sus limitaciones
demostrativas.
A continuacin del prembulo, Arqumedes enuncia once lemas o asunciones previas, que
describen (salvo la ltima) propiedades de los centros de gravedad de diversas figuras
planas y slidas, algunas de los cuales figuran en la obra Sobre el Equilibrio de los Planos,
aunque otras, referentes a centros de gravedad de slidos, no figuran en ninguno de los
escritos que nos han llegado de Arqumedes, lo que avala la conjetura de que deban quiz
aparecer en los tratados Sobre la Palanca o Sobre los Centros de Gravedad, ambos
perdidos. Estos lemas son constantemente utilizados por Arqumedes, a veces sin mencin
explcita, en el curso de las proposiciones del MTODO.
Los resultados que Arqumedes obtiene en EL MTODO y que desarrolla en forma de
proposiciones son los siguientes :
I.- Determinacin por el mtodo mecnico de la cuadratura del segmento parablico,
obteniendo que el rea del mismo es cuatro tercios del tringulo de igual base y altura.
II.- Determinacin por el mtodo mecnico de la equivalencia de la esfera con el cudruple
del cono (resp. con los dos tercios del cilindro) de base el crculo mximo de la esfera y
de altura el radio (resp. el dimetro), de donde felizmente intuye que la superficie de la
esfera equivale a cuatro de sus crculos mximos, ya que, como todo crculo equivale al
tringulo cuya base es igual a la circunferencia y la altura es igual al radio, se debe
suponer que toda esfera equivale a un cono cuya base es equivalente a la superficie de
la esfera y cuya altura es igual al radio.
III.- Determinacin por el mtodo mecnico de anlogas equivalencias que en la Proposicin
II, entre un elipsoide de revolucin, un cono y un cilindro.
IV.- Determinacin por el mtodo mecnico de la equivalencia entre un segmento de
paraboloide de revolucin, de base perpendicular al eje, y los tres medios del cono de
igual base y eje que el segmento.
V.- Determinacin por el mtodo mecnico del centro de gravedad de un segmento de
paraboloide de revolucin.
VI.- Determinacin por el mtodo mecnico del centro de gravedad de un hemisferio.
VII.- Determinacin por el mtodo mecnico de la razn entre un segmento esfrico y el
cono de igual base y altura.
VIII.- Determinacin por el mtodo mecnico de la razn entre un segmento de elipsoide de
revolucin y el cono de igual base y altura.
IX.- Determinacin por el mtodo mecnico del centro de gravedad de un segmento
esfrico.
X.- Determinacin por el mtodo mecnico del centro de gravedad de un segmento de
elipsoide de revolucin.

236

XI.- Determinacin por el mtodo mecnico del volumen y centro de gravedad de un

segmento de hiperboloide de revolucin.
XII-XIII.- Determinacin por el mtodo mecnico de la equivalencia de la ua cilndrica y la
sexta parte de todo el prisma circunscrito al cilindro.
XIV.- Determinacin mecnico-geomtrica del volumen de la ua cilndrica.
XV.- Determinacin geomtrica (por el mtodo de exhaucin) del volumen de la ua
cilndrica.
XVI.- Determinacin mecnica de la equivalencia de la bveda cilndrica y los dos tercios del
cubo correspondiente.
Las cinco ltimas proposiciones (XII-XVI, relativas a la ua cilndrica y a la bveda cilndrica)
con las que finaliza la carta de Arqumedes a Eratstenes son en realidad el objeto esencial
de la misma. Como dice en el prembulo, Arqumedes se propone remitir la demostracin de
dos teoremas, cuyos enunciados sin demostracin haba enviado anteriormente, pero
indicando el mtodo mediante el cual los haba encontrado, mtodo que dice que no
implicaba una verdadera demostracin dando luego la demostracin rigurosa por medio del
mtodo de exhaucin. Es decir, mientras que en las primeras once proposiciones del
MTODO Arqumedes muestra simplemente el mtodo de descubrimiento, en las ltimas
realiza todo el ciclo de la investigacin cientfica desde descubrir los resultados hasta
demostrarlos de forma geomtrica por exhaucin .

Portada de la definitiva edicin

de J.L.Heiberg de las Obras de
Arqumedes, Archimedes Opera
Omnia (Leipzig, 1910-1913),
que incluye El Mtodo sobre
los teoremas mecnicos.

237

El Prembulo y los Lemas del Mtodo dirigido a Eratstenes

Arqumedes saluda a Eratstenes:
.......................................
Reconociendo tu celo y tu dominio de la filosofa, tan digno de mencin, adems de que sabes apreciar la
investigacin de cuestiones matemticas a medida que se van presentando, he credo oportuno exponerte
por escrito y desarrollar en este mismo libro las particularidades de un mtodo, por medio del cual te ser
posible iniciar la investigacin de ciertas cuestiones matemticas por medio de la mecnica. Estoy
convencido, adems, de que dicho mtodo no ser menos til para demostrar los propios teoremas. Pues
algunos de los que primero se me hicieron patentes mecnicamente, recibieron luego demostracin
geomtricamente, habida cuenta de que la investigacin hecha por este mtodo no comporta demostracin;
pues es ms fcil, despus de haber adquirido por ese mtodo cierto conocimiento de las cuestiones objeto de
investigacin, dar luego la demostracin, que investigar sin ningn conocimiento previo. Por esta razn,
asimismo en el caso de los teoremas referentes al cono y a la pirmide, cuya demostracin fue Eudoxo el
primero en encontrar, a saber: que el cono es la tercera parte del cilindro y la pirmide es la tercera parte del
prisma, con la misma base e igual altura, conviene atribuir un mrito no pequeo a Demcrito, el primero
que formul este enunciado sin demostracin acerca de dicha figura. Como quiera que el descubrimiento
del teorema que ahora doy a conocer, ha tenido lugar de modo semejante al de los anteriores, he querido
exponer por escrito y divulgar este mtodo, para que no den en pensar algunos que hablaba por hablar al
haberme referido a l anteriormente y, al mismo tiempo, porque estoy convencido de que puede representar
una contribucin no poco provechosa a la investigacin matemtica. Pues supongo que algunos estudiosos,
contemporneos o futuros, llegarn a encontrar, por el mtodo expuesto, otros teoremas que a m no se me
han ocurrido todava.
As pues, expongo en primer lugar el resultado que tambin fue el primero en manifestarse por va
mecnica, a saber: que todo segmento de una seccin de cono rectngulo es cuatro tercios del tringulo que
tiene la misma base e igual altura, y seguidamente uno por uno los resultados obtenidos con el mismo
mtodo. [...]

Sigue a este prembulo el enunciado los siguientes lemas:

1. Si de una magnitud se quita otra magnitud, y un mismo punto es el centro de gravedad de la magnitud
entera y de la que se ha quitado, el mismo punto es centro de gravedad tambin de la magnitud
restante.
2. Si de una magnitud se quita otra magnitud, y la magnitud entera y la que se ha quitado no tienen el
mismo centro de gravedad, el centro de gravedad de la magnitud restante se encuentra sobre la
prolongacin de la recta que une los centros de gravedad de la magnitud entera y la magnitud quitada,
situado a una distancia cuya razn con la recta que une dichos centros de gravedad es la misma que la
del peso de la magnitud quitada con el de la magnitud restante.
3. Si los centros de gravedad de tantas magnitudes como se quiera se encuentran sobre una misma recta,
el centro de gravedad de la magnitud compuesta de las magnitudes consideradas estar tambin sobre la
misma recta.
4. El centro de gravedad de una recta cualquiera es su punto medio.
5. El centro de gravedad de un tringulo cualquiera es el punto en que se cortan las rectas que unen los
ngulos del tringulo con los puntos medios de los lados.
6. El centro de gravedad de un paralelogramo cualquiera es el punto en el cual convergen las diagonales.
7. El centro de gravedad de un crculo es el mismo centro del crculo.
8. El centro de gravedad de un cilindro cualquiera es el punto medio del eje.
9. El centro de gravedad de un prisma cualquiera es el punto medio del eje.
10. El centro de gravedad de un cono cualquiera est sobre el eje, en un punto que lo divide de tal manera
que la parte hacia el vrtice es el triple de la restante.

A continuacin Arqumedes estudia las 16 proposiciones que hemos mencionado

anteriormente, de las cuales trataremos las dos primeras la cuadratura del segmento
parablico y la cubatura de la esfera que, adems, son las ms significativas.

238

Las Proposiciones del Mtodo

La Cuadratura del segmento parablico
PROPOSICION I 1
Sea ABC un segmento comprendido entre la recta AC y la seccin ABC de un cono rectngulo2;
divdase AC por la mitad en D y trcese la recta DBE paralela al dimetro3, y uniendo B con A y B
con C, trcense las rectas AB y BC.
U
T

Z
M

H
K
N
O
A

E
X

Digo que el segmento ABC es cuatro tercios del tringulo ABC.

Trcense por los puntos A y C la recta AZ paralela a DBE y la CZ tangente a la seccin en el
punto C; prolnguese CB hasta K y sea KT igual a CK. Considrese CT como una palanca,
siendo K su punto medio, y sea MQ una recta paralela a ED.
Puesto que CBA es una parbola y que CZ es tangente a ella, y CD es una ordenada4, EB es
igual a BD, como se demuestra en los Elementos 5 6. Por lo mismo y puesto que ZA y MQ son

En su tratado Sobre la Cuadratura de la Parbola Arqumedes haba dado ya una primera

demostracin mecnica de la cuadratura de la parbola (proposiciones 1-17), ms larga que la
presente, basada en los postulados de la Esttica y previa a la geomtrica por exhaucin
(proposiciones 18-24) que desarrolla posteriormente en el mismo tratado. Arqumedes distingue
segn que el dimetro sea perpendicular o no a la base del segmento (proposiciones 14 y 15), pero
en ambos casos la solucin es la misma.
2
Arqumedes utiliza la perfrasis seccin de cono rectngulo para referirse a una parbola.
3
Aqu Arqumedes entiende por dimetro el eje de la parbola
4
CD es la cuerda paralela a la tangente en el vrtice del segmento parablico.
5
Arqumedes no se refiere aqu a Los Elementos de Euclides sino a alguno de los tratados
elementales sobre las secciones cnicas, ahora perdidos, debidos tambin a Euclides o quiz a
Aristeo (vase LORIA,G.: Histoire des Sciences Mathmatiques dans l'antiquit hellnique.
Gauthiers-Villars. Pars, 1929. Cap.III), y que son reseados por Pappus en el Tesoro del Anlisis
del Libro VII de la Coleccin Matemtica.
La proposicin utilizada por Arqumedes que viene a decir que la subtangente relativa a un punto
de la parbola es doble de la abscisa de este punto, es tambin formulada sin demostracin
(aunque expresada en otros trminos) como Proposicin 2 en Sobre la Cuadratura de la Parbola.
Apolonio dara ms tarde una demostracin de este resultado en la Proposicin 2 del Libro II de Las
Cnicas.
6
En nuestro lenguaje este resultado es consecuencia de la expresin analtica de la tangente a la
parbola en un punto. En efecto, dada la parbola Y = 2pX, la tangente en el punto C de
coordenadas (x,y) es Yy = p(X+x), siendo p=y/2x, de donde al hacer la interseccin con el eje X
(Y=O), resulta: X = -x, es decir: E=(-x,o) y por tanto EB=BD.

239

paralelas a la recta ED, son iguales MN y NQ, as como ZK y KA 7. Y puesto que la razn
entre CA y AQ es igual que la razn entre MQ y QO, lo cual se expone en un lema 8, y la
razn entre CA y AQ es igual a la razn entre CK y KN 9, sucede que siendo tambin CT
igual que KT, la razn entre TK y KN ser igual a la razn entre MQ y QO. Ahora bien,
puesto que el punto N es el centro de gravedad de la recta MQ, por ser MN igual que NQ 10,
si tomamos la recta UH igual a QO de manera que su centro de gravedad sea el punto T, de
modo que sea UT igual que TH, la recta UTH estar en equilibrio con la recta MQ, que
permanece en su sitio, por estar TN dividida por el punto K en partes que estn en razn
inversa a los pesos UH y MQ, siendo la razn entre TK y KN igual a la razn entre MQ y
HU 11, y por lo tanto K es el centro de gravedad del conjunto de ambos pesos 12.
Anlogamente si en el tringulo ZAC se trazan tantas paralelas como se quiera a ED, stas,
permaneciendo en su lugar, estarn en equilibrio con los segmentos determinados sobre ellas
por la seccin y trasladados al punto T, de manera que el centro de gravedad de unas y otros
ser K.
Ahora bien, las rectas trazadas en el tringulo CZA componen el propio tringulo y los
segmentos rectilneos obtenidos en la seccin del mismo modo que OQ componen el
segmento ABC; por lo tanto el tringulo ZAC, permaneciendo en su lugar, estar en
equilibrio, respecto del punto K, con el segmento de la seccin trasladado hasta tener su
centro de gravedad en T, de manera que el centro de gravedad del conjunto de ambos ser el
punto K.
Divdase ahora CK por el punto X de manera que sea CK sea el triple de KX; por tanto el
punto X ser el centro de gravedad del tringulo AZC, como est demostrado en el libro
Sobre el Equilibrio 13. Y puesto que el tringulo ZAC, permaneciendo en su lugar, est en
7

De la semejanza de los tringulos MNC y EBC, as como QNC y DBC, resulta (Euclides, VI.4) :
EB/MN = BC/CN = BD/NQ, y de aqu: MN/NQ = EB/BD ,
de donde al ser EB=BD, se deduce que MN=NQ. Anlogamente se razona que ZK=KA.

Arqumedes se refiere aqu a la Proposicin 5 de Sobre la Cuadratura de la Parbola. La

demostracin en lenguaje actual sera la siguiente:
Sean BD=x, C=(x,y).
Sean asimismo: LB=x, QD=y, es decir O=(x,y).
Sea tambin ML=x, como LB=QD=y, se tendr M=(x,y).
Ahora, de la ecuacin de la tangente a la parbola en el punto C, al ser M un punto de esta
tangente, resulta: yy = (y/2x)(x+x).
De aqu obtenemos, despejando, una expresin para ML=x = (xy + 2yx)/y, que aadida a LQ=BD,
nos dar MQ. En efecto: MQ = ML+LQ = x+x = 2x(y+y)/y.
Los otros segmentos de la proporcin CA/AQ = MQ/QO, se obtienen fcilmente:
QO = BD-LO = xx, CA = AD+DC = 2y, AQ = ADQD = yy.
De la definicin de la parbola y al aplicar las propiedades de las proporciones, al ser los puntos C y
y 2 y '2 y 2 y '2
=
=
O de la parbola, se tiene:
x
x'
x x'
A partir de los resultados obtenidos, podemos comprobar definitivamente la validez de la proporcin.
MQ 2x(y + y ') 2x(y + y ') (y y ')
2x(y 2 y '2 )
2x y 2 1
2y
CA

=
=
=
=
=
=
.
En efecto :
QO
y(x x ')
y(x x ') (y y ') y(x x ')(y y ')
y x y y ' y y ' AQ

De la semejanza de los tringulos ACK y QCN.

Segn el lema 4.

10
11

Sobre el Equilibrio de los Planos, I.6.

Lema 3.
13
Sobre el Equilibrio de los Planos, I.14 y lema 5.
12

240

equilibrio, respecto del punto K, con el segmento BAC, trasladado con centro de gravedad en
T, y que X es el centro de gravedad del tringulo ZAC, se verifica, por consiguiente, que la
razn del tringulo AZC al segmento ABC colocado alrededor del centro T es igual a la
razn de TK a XK. Ahora bien, siendo TK triple de KX, el tringulo ZAC ser triple del
segmento ABC. Adems, el tringulo ZAC es cudruple del tringulo ABC, ya que ZK es
igual que KA y AD es igual que DC, luego el segmento ABC equivale a cuatro tercios del
tringulo ABC 14.
En realidad, la proposicin no queda demostrada por lo que hemos dicho ahora, pero da
una cierta idea de que la conclusin es verdadera. Por lo cual, nosotros, viendo que la
conclusin no est demostrada, pero sospechando que es verdadera, daremos la
demostracin geomtrica, que encontramos y publicamos anteriormente 15 16.

la aplicacin del mtodo mecnico de Arqumedes al clculo de la cuadratura de un segmento

parablico en Archimedis Opera Omnia de J.L. Heiberg.
14

Aqu Arqumedes aplica que tringulos de la misma base y altura tienen igual rea, as como la
semejanza de los tringulos ACK, DCB : AK/BD = AC/DC = 2,
de donde resulta: AK = 2BD, AKAC = 2ACBD.
Ahora se tiene: ZAC = 2KAC = AKAC = 2BDAC = 4ABC.

15

En el texto de J.L.Heiberg este ltimo prrafo aparece al comienzo de la proposicin siguiente.

Debido a su significado, como colofn de la proposicin sobre la cuadratura de la parbola, y de
acuerdo con la mayor parte de los autores, parece ms razonable ubicarlo aqu.

16

Arqumedes se refiere a la demostracin puramente geomtrica de la cuadratura del segmento

parablico ya publicada en la segunda parte del libro Sobre la Cuadratura de la Parbola. Aunque
aqu anuncia la reproduccin de esta demostracin, seguramente al final del tratado, sta no ha
aparecido en el palimpsesto de Jerusaln.

241

LA LEY DE LA PALANCA DE ARQUMEDES

Una ancdota muy conocida de Arqumedes tiene que ver con la famosa Ley de la Palanca que
Arqumedes aplica en su mtodo mecnico del MTODO para encontrar las cuadraturas y
cubaturas. Segn Pappus de Alejandra, Arqumedes habra pronunciado la clebre frase, tan
arrogante como retrica y absurda: Dadme un punto de apoyo y levantar el mundo, en conexin
con el problema de mover un peso dado, mediante una fuerza dada. Poco antes de narrar los
asedios de Siracusa por Marcelo, Plutarco describe as las palabras de Arqumedes (Marcelo, XIV):
Arqumedes escribi a Hiern que con una potencia dada, se puede mover un peso igualmente
dado; y jugando, como suele decirse con la fuerza de la demostracin, le asegur que si le dieran
otra tierra, movera sta despus de pasar a aqulla. Maravillado Hiern, y pidindole que
verificara con obras este problema e hiciese ostensible cmo se mova una gran mole con una
potencia pequea, compr un gran transporte de tres velas, que fue sacado a tierra con mucho
trabajo y a fuerza de gran nmero de brazos; le carg de gente y del resto que sola echrsele, y
sentados lejos de l, sin esfuerzo alguno y con slo mover con la mano el cabo de una mquina
de gran fuerza atractiva, lo llev as derecho y sin detencin, como si corriese por el mar.
Pasmse el rey, y convencido del poder del arte, encarg a Arqumedes que le construyese toda
especie de mquinas de sitio, bien fuese para defender o para atacar.

Grabados alusivos a la famosa frase presuntamente pronunciada por Arqumedes:Dadme un punto

de apoyo y levantar el mundo.
1.
2.

Ilustracin de la Estancia de la Matemtica en la Galera de los Uffizi de Florencia, pintada por

G. Parigi hacia 1600.
Ilustracin de Mechanics Magazine. Londres, 1824.

242

ARQUMEDES Y LA DEFENSA DE SIRACUSA

Grabados sobre la utilizacin de Arqumedes de los espejos ustorios en la defensa de Siracusa.

Siracusa era en tiempos de Arqumedes una fortaleza magnficamente fortificada, que ya en el pasado le haba
permitido resistir los asedios de atenienses y cartagineses. Los romanos que haban sido humillados por los
cartagineses de Anbal en Trebia (218 a.C.), Trasimeno (217) y sobre todo en Cannas (216) envan un ejrcito y una
flota contra Siracusa que, al mando del cnsul Marcelo, iniciarn un largo asedio. Y es aqu donde interviene, con
las oportunas concesiones a la fantasa pica, el increble despliegue de la ingeniera militar diseada por
Arqumedes: construcciones a base de palancas, poleas, catapultas, ruedas dentadas, sogas, garfios, etc., que
lanzando ingentes cantidades de piedras de enorme tamao, sometiendo al enemigo a un bombardeo
permanente de miles de flechas y elevando en el aire los barcos romanos, cual objetos ingrvidos y
destruyndolos como quien de cascanueces se sirviese, o dejndoles caer contra las rocas o hundindoles en el
mar, converta el asedio de Siracusa en un espectculo dantesco para los asaltantes romanos, segn describe
Plutarco (Marcelo XVXVIII) con todo lujo de detalles.
Segn la narracin pico-cientfica de Plutarco, Arqumedes tuvo en jaque al poderoso ejrcito romano, siendo el
artfice y el alma de la defensa de Siracusa, ya que la ciudad se vala exclusivamente de sus ingenios, tanto para
defenderse como para atacar. Los romanos llegaron a creer que luchaban contra dioses invisibles o gigantes de
cien manos. Marcelo, considerando ya vanos todos los intentos de ataque directo durante cerca de ocho meses,
suspende la accin armada y se acoge al tiempo que puedan soportar los siracusanos el bloqueo por tierra y por
mar, como nico aliado. De esta forma Arqumedes mantuvo invicta a su ciudad en el campo y en el mar.

243

LOS ESPEJOS USTORIOS DE ARQUMEDES

Grabado del siglo XVII sobre la utilizacin de Arqumedes de los espejos ustorios en la defensa de
Siracusa, durante la segunda guerra pnica.
La leyenda tambin atribuye a Arqumedes los terrorficos espejos ustorios, que reflejando los rayos
solares sobre las velas de los barcos romanos enemigos que asediaban Siracusa, les hacia arder. El
fundamento de estos incendiarios artefactos pticos estribara en las leyes minimales de la reflexin
de los rayos luminosos (los rayos de luz siempre buscan el camino ms corto) y en las propiedades
geomtricas de las cnicas en las que se basaran la forma de los espejos.
Las propiedades ustorias de la parbola se basan en su naturaleza geomtrica. Todos los rayos que
emanen del foco de la parbola formarn un haz de rayos paralelos despus de reflejarse en ella.
Recprocamente todos los rayos procedentes de una gran distancia, como los rayos del sol, pueden
considerarse paralelos, por tanto la parbola los har reflejarse a todos ellos y los concentrar en un
slo punto, el foco de la parbola. De este modo, un espejo parablico tendra una terrible propiedad
destructiva: concentrar en el foco todos los rayos provenientes del sol; cualquier objeto situado en el
foco, acabar rpidamente incinerado.
Las alusiones a los espejos ustorios de Arqumedes no tienen una gran fiabilidad. Los testimonios
sobre el evento defensivo son de poca muy posterior y adems las referencias contienen frases del
tipo se cree .... Los estudios de la investigacin histrica tienden casi con unanimidad a negar el
episodio de la intervencin de los espejos ustorios de Arqumedes en la defensa de Siracusa. Un
argumento decisivo es que no es citado por los historiadores ms fiables en la narracin de la
conquista de Siracusa: Plutarco, Tito Livio y Polibio; mientras que no escatiman imaginacin y
exageracin hiperblica en la descripcin del sorprendente despliegue de otros artilugios utilizados
por Arqumedes para desbaratar la accin militar de los soldados de Marcelo.
Se han intentado dar explicaciones a la atribucin que la tradicin ha hecho sobre Arqumedes de los
espejos ustorios. Quiz la ms plausible sea la que resulta de la conjuncin de dos informaciones,
segn las cuales, por una parte, Arqumedes se habra ocupado como afirma Apuleyo de espejos
ustorios, y por otra, algunas de las naves romanas que sitiaban Siracusa, habran sido incendiadas,
segn asegura Silio Itlico. La combinacin de ambas afirmaciones habran acuado para la
posteridad, sin fundamento histrico, la utilizacin por Arqumedes de espejos ustorios como
maquinaria blica en la defensa de Siracusa.
Ya en el Renacimiento y poco ms tarde, importantes cientficos se ocuparon del tema de los espejos
ustorios. Dignos de mencin son los estudios de Leonardo y Galileo, as como los de Kepler y
Descartes. De las investigaciones de los primeros no parece deducirse la hazaa ptica de
Arqumedes y las de los segundos resueltamente la desmienten. Tambin parecen desmentirlo los
estudios posteriores de A. Kircher, profesor Colegio Romano, en su obra Ars Magna Lucis et Umbrae
de 1646, as como las investigaciones experimentales de Buffon en su Histoire Naturelle de 1774 y un
comentario de Peyrard, apndice de su traduccin de 1807 de las obras de Arqumedes.

244

LA PICA MUERTE DE ARQUMEDES

La muerte de Arqumedes ha sido descrita en diversas narraciones por parte de numerosos
historiadores y literatos (Plutarco, Valerio Mximo, Tito Livio, Silio Itlico, Giorgio Valla, Zonars,
Tzetzes, Cicern, etc.) siempre rodeada de una atmsfera novelesca pica.
Mientras duraba el cerco romano sobre Siracusa, Marcelo conquist gran parte de Sicilia. Las
conversaciones entre sitiadores y sitiados para la liberacin de un rehn, permiti a Marcelo acercarse
a la ciudad y observar que sus formidables defensas tenan un punto dbil. Marcelo que era un sagaz
estratega, esper un momento propicio, cuando los siracusanos celebraban las fiestas en honor de
Artemisa, prdigas en ebriedad y disipacin, para penetrar en las defensas de la ciudad. Los sitiados,
que no estaban en condiciones de organizar la resistencia, se dieron a la fuga, y as en el 212 a.C.
Siracusa fue conquistada, perdiendo su secular y gloriosa independencia.
Se sabe que Marcelo, mientras era exaltado y glorificado por sus soldados, manifest llanto y dolor
ante la previsible ruina que amenazaba el saqueo de la ciudad, que el general romano no podra
impedir, ya que sus soldados estaban exasperados despus de tres aos de asedio. Pero lo que ms
afligi a Marcelo fue la desgraciada muerte de Arqumedes, a manos de un soldado romano, a pesar
de haber dado rdenes para que se respetara su vida. En su sincera condolencia Marcelo discrimin al
soldado ejecutor como un sacrlego y busc a los familiares de Arqumedes para poder honrarles.
Veamos el relato de Plutarco (Marcelo, XIX):
[...] Lo que principalmente afligi a Marcelo [tras la conquista de Siracusa] fue lo que ocurri con
Arqumedes: hallbase ste casualmente entregado al examen de cierta figura matemtica, y fijos
en ella su nimo y su vista, no sinti la invasin de los romanos ni la toma de la ciudad.
Presentsele repentinamente un soldado, dndole orden de que le siguiera a casa de Marcelo; pero
l no quiso antes de resolver el problema y llevarlo hasta la demostracin; con lo que, irritado el
soldado, desenvain la espada y le dio muerte. Otros dicen que ya el romano se le present con la
espada desenvainada en actitud de matarle, y que al verle le rog y suplic se esperara un poco,
para no dejar imperfecto y oscuro lo que estaba investigando; de lo que el soldado no hizo caso y
le pas con la espada. Todava hay acerca de esto otra relacin, dicindose que Arqumedes
llevaba a Marcelo algunos instrumentos matemticos, como cuadrantes, esferas y ngulos, con los
que manifestaba a la vista la magnitud del sol, y que dando con l los soldados, como creyesen
que dentro llevaba oro, le mataron. Fuese como fuese, lo que no puede dudarse es que Marcelo lo
sinti mucho, que al soldado que le mat de su propia mano le mand retirarse de su presencia
como abominable, y que habiendo hecho buscar a sus deudos, los trat con el mayor respeto y
distincin.
Una versin ligeramente distinta es la de Valerio Mximo (Facta et dicta memorabilia, VIII, 7,7):
Marcelo, dueo finalmente de Siracusa, no ignoraba que haban sido las mquinas de ese
gemetra las que haban demorado tanto tiempo la victoria. Sin embargo, lleno de admiracin por
ese genio extraordinario, dio orden de conservarle la vida, siendo para l de tanta gloria la
conservacin de Arqumedes como la toma de Siracusa. Pero mientras Arqumedes con la vista y
la atencin fijos en el suelo trazaba figuras, un soldado que haba penetrado en la casa para
saquearla, levant sobre l su espada preguntndole quien era. Arqumedes, totalmente dedicado
al problema cuya solucin buscaba, no atin a decirle su nombre, sino que mostrndole con las
manos las lneas dibujadas sobre la arena, le dijo: "Por favor, no borres eso". Y el soldado, viendo
en esta respuesta un insulto al poder de los vencedores, le cort la cabeza; y la sangre de
Arqumedes se confundi con la labor de su ciencia..
Otras narraciones de la muerte de Arqumedes son ms sucintas. Segn Tito Livio, Arqumedes fue
asesinado por un soldado que no le reconoci; Silio Itlico afirma que Arqumedes fue muerto por un
soldado que ignoraba su identidad, mientras meditaba sobre unas formas geomtricas dibujadas en al
arena, en nada alterado su nimo en medio de tan inmensa destruccin. Giorgio Valla sostiene que
Arqumedes le dijo al soldado que le amenazaba: la cabeza s, pero no el dibujo, queriendo
manifestar que le diera muerte, pero que no destruyera lo que haba dibujado. Zonars ofrece una
versin similar. Para Tzetzes, Arqumedes no advirti quien era aquel que le obligaba a acompaarle
mientras l estaba dedicado a trazar una figura mecnica, por lo que le rog que se alejase de ella. Pero
al volverse y ver que se trataba de un soldado romano comenz a gritar: Que alguien me d una de mis
mquinas. Entonces, el soldado romano, reconociendo al defensor genial de Siracusa, contraviniendo
la orden de Marcelo, lo mat inmediatamente, por lo que ms tarde sera ajusticiado.
La capacidad abstractiva de Arqumedes, absorto siempre en sus especulaciones geomtricas, le
inhibi la atencin sobre el evento ms dramtico que vivi su patria en toda su historia. Cualquiera
que sea la versin autntica, todos los historiadores coinciden en que Marcelo quera proteger a
Arqumedes, es decir que la admiracin del militar hacia el sabio, converta la hostilidad que deba
tener hacia su enemigo principal en magnanimidad. As desapareci el ms grande de todos los sabios
del mundo antiguo, vctima, como muchos, de la violencia que trae los desastres de la guerra.

245

ICONOGRAFA DE LA MUERTE DE ARQUMEDES

Recreacin libre, realizada por Pedro Lario, del grabado sobre la muerte de Arqumedes que
se conserva en la Biblioteca del Monasterio de San Lorenzo del Escorial. La figura geomtrica
corresponde a la utilizada por Arqumedes para la cuadratura de la esfera en EL MTODO.

Ilustracin sobre la muerte de Arqumedes de un texto ingls sobre la segunda guerra pnica.

246

ICONOGRAFA DE LA MUERTE DE ARQUMEDES

1.
2.
3.

Mosaico procedente de Pompeya que representa la muerte de Arqumedes.

Detalle del cuadro de Delacroix que representa la muerte de Arqumedes.
Ilustracin sobre la muerte de Arqumedes que acompaa al artculo de J.E. Ziga titulado
Arqumedes intelectual comprometido, publicado en el suplemento de libros Babelia del diario EL
PAS de 10/07/04. La personalidad excepcional de Arqumedes est siempre de permanente actualidad.
La biografa histrica y la literatura ha descrito la figura de Arqumedes como el paradigma del ingeniero
de la antigedad, que pone su genio y su ingenio, como tcnico, al servicio del patriotismo que exige la
difcil situacin poltica y militar de su tierra, con una actuacin pica que alcanza a dar la vida por la
patria. Tal vez por esto la Historia del Arte ha sido muy generoso con Arqumedes al tomar su figura y su
historia personal, en particular sus ltimos momentos, como tema artstico en los ms diversos estilos, lo
que se refleja en la abundante iconografa arquimediana. Aqu tal vez las dos imgenes de Arqumedes (1
y 3) ms alejadas en el tiempo.

247

La Cubatura de la esfera
PROPOSICION II
Toda esfera es cudruple del cono cuya base sea igual al crculo mximo de la esfera y
cuya altura sea igual al radio de la esfera 17; a su vez el cilindro cuya base sea igual al
crculo mximo de la esfera y cuya altura sea igual al dimetro de la esfera, es igual a vez y
media la esfera 18. Ambas proposiciones se ilustran del siguiente modo:
H

D
O

R
K

P
Q
F

Sea una esfera cuyo crculo mximo sea ABCD, siendo AC y BD dos dimetros
perpendiculares. Sea tambin en la esfera un crculo de dimetro BD, perpendicular al
crculo ABCD; y a partir de ese crculo constryase un cono que tenga por vrtice el punto A.
Prolongada la superficie del cono, crtese ste por un plano que pase por C y sea paralelo a
la base, que dar un crculo perpendicular a AC, cuyo dimetro ser la recta EZ. Constryase
despus a partir de este crculo un cilindro de eje igual a AC y sean EL y ZH generatrices del
mismo. Prolnguese CA y tmese en su prolongacin una recta AT igual a ella, y considrese
CT como una palanca cuyo punto medio sea A. Trcese una paralela cualquiera MN a BD,
que corte al crculo ABCD en Q y O, al dimetro AC en S, a la recta AE en P y a la recta AZ
en R. Levntese sobre la recta MN un plano perpendicular a AC, que cortar al cilindro
segn el crculo de dimetro MN, a la esfera ABCD segn el crculo de dimetro QO y al
cono AEZ segn el crculo de dimetro PR.
Puesto que el rectngulo determinado por CA y AS equivale al determinado por MS y SP, ya
que AC es igual a SM y AS es igual a SP, y el determinado por CA y AS equivale al cuadrado
de AQ, es decir a los cuadrados de QS y SP, resulta que el rectngulo determinado por MS y
SP equivale a los cuadrados de QS y SP 19.
17

La demostracin geomtrica de este resultado est en la proposicin I.34 del tratado Sobre la
Esfera y el Cilindro.

18

La demostracin geomtrica de este resultado est en el corolario de la proposicin I.34 del tratado
Sobre la Esfera y el Cilindro.

19

Arqumedes utiliza que en un crculo una cuerda es media proporcional entre el dimetro que pasa
por uno de sus extremos y la proyeccin de la cuerda sobre l, lo cual es consecuencia de
Euclides III.31 (uno de los famosos teoremas de Tales de Mileto), y de un corolario de Euclides
VI.8 (en un tringulo rectngulo un cateto es media proporcional entre la hipotenusa y su
proyeccin sobre ella. Mediante este resultado y el Teorema de Pitgoras (Euclides I.47)
Arqumedes va obteniendo:

248

Por ser la razn de CA a AS como la de MS a SP y ser CA igual a AT, la razn de AT a AS es

como la razn de MS a SP, es decir como la razn del cuadrado de lado MS al rectngulo
determinado por MS y SP. Y habindose demostrado que el rectngulo determinado por MS
y SP equivale a los cuadrados de QS y SP, la razn de AT a AS ser como la razn del
cuadrado de MS a los cuadrados de QS y SP 20. Y por ser la razn del cuadrado de MN a los
cuadrados de QO y PR como la razn del cuadrado de MS a los cuadrados de QS y SP y la
razn del crculo seccin del cilindro de dimetro MN a los crculos, secciones del cono y de
la esfera, de dimetros PR y QO respectivamente, como la razn del cuadrado de MN a los
cuadrados de PR y QO, resulta que la razn del crculo seccin del cilindro a los crculos
secciones del cono y la esfera, es como la de AT a AS 21. Luego, dado que la razn de AT a AS
es como la razn del crculo que est en el cilindro, permaneciendo en su lugar, a los crculos
cuyos dimetros son QO y PR, trasladados y colocados sobre el punto T, de tal manera que el
centro de gravedad de cada uno de ellos sea T, estos crculos estarn en equilibrio respecto
del punto A.
De la misma forma se puede ver que si se traza otra paralela a EZ en el paralelogramo LZ, y
sobre la recta as trazada se levanta un plano perpendicular a la recta AC, el crculo
determinado en el cilindro, permaneciendo en su lugar, estar en equilibrio, respecto del
punto A, con los dos crculos determinados, respectivamente, en la esfera y en el cono,
trasladados y colocados de tal modo sobre la palanca en el punto T, que el centro de
gravedad de cada uno de ellos sea el punto T. As pues llenados con tales crculos el cilindro,
la esfera y el cono, el cilindro, permaneciendo en su lugar, estar en equilibrio, respecto del
punto A, con la esfera y el cono juntos, trasladados y colocados sobre la palanca en el punto
T, de manera que el centro de gravedad de cada uno de ellos sea T.
As pues, dado que dichos slidos estn en equilibrio respecto del punto A, permaneciendo
el cilindro en torno al centro de gravedad K 22, y la esfera y el cono trasladados, como se ha
dicho, con el centro de gravedad en T, resultar que la razn del cilindro a la esfera y el cono
juntos, ser la misma que la razn de AT a AK 23, y como AT es doble de AK, el cilindro ser
doble de la esfera y el cono juntos, y siendo el cilindro triple del mismo cono 24, tres conos
equivalen a dos de los mismos conos y dos esferas. Sustriganse dos conos comunes y
resultar que el cono cuya seccin a travs del eje es el tringulo AEZ, equivale a las dos
esferas mencionadas. Ahora bien, el cono cuya seccin a travs del eje es el tringulo AEZ
equivale a ocho conos cuya seccin a travs del eje es el tringulo ABD, porque EZ es doble
de BD. Los ocho conos indicados equivalen, pues, a dos esferas. Por tanto la esfera cuyo

AQ = ACAS , AQ = QS + SP.
MSSP = ACAS = AQ = QS + SP.
20

A partir de la relacin deducida: MS/SP = AT/AS, si se multiplican los dos trminos de la primera
fraccin por MS y se tiene en cuenta la nota anterior resulta:
AT MSMS
MS2
=
=
.
AS MSSP QS2 + SP2

21

Arqumedes utiliza aqu que la razn entre crculos es igual a la razn entre los cuadrados de sus
dimetros (Euclides, XII.2), de modo que a partir de la igualdad de la nota anterior se obtiene:
AT
MS2
MN2
c(MN)
=
=
=
2
2
2
2
AS QS + SP
c(Q0) + c(PR)
Q0 + PR

siendo c(MN), c(QO), c(PR) los crculos de dimetro MN, QO, PR, respectivamente.
22

Lema 8.

23

Sobre el Equilibrio de los Planos I.6 y I.7.

24

Euclides, XII.10.

249

crculo mximo es ABCD, es cudruple del cono cuyo vrtice es el punto A y cuya base es el
crculo de dimetro BD perpendicular a AC 25.
Trcense ahora en el paralelogramo LZ por los puntos B y D las rectas FBX, IDU, paralelas a
AC; y considrese un cilindro cuyas bases sean los crculos de dimetros FI y XU, y cuyo eje
sea AC. Entonces, por ser el cilindro, cuya seccin a travs del eje es el paralelogramo FU,
doble del cilindro que tiene por seccin a travs del eje el paralelogramo FD 26, y siendo este
ltimo cilindro, segn Los Elementos 27, triple del cono cuya seccin a travs del eje es el
tringulo ABD, el cilindro es sxtuplo de este cono; y habindose demostrado que la esfera
de crculo mximo ABCD es cudruple de este cono, el cilindro es una vez y media la esfera,
que era lo que haba que demostrar 28.
Habindose visto que toda esfera es cudruple del cono que tiene por base un crculo
mximo y cuyo eje es igual al radio de la esfera, se me ocurri que la superficie de toda esfera
es cudruple del crculo mximo de la esfera 29; porque tena la intuicin de que, puesto que
todo crculo es equivalente al tringulo cuya base es igual a la circunferencia del crculo y
cuya altura es igual al radio 30, toda esfera es equivalente al cono cuya base es la superficie de
la esfera y cuya altura es igual al radio 31 32 33 .
25

Desarrollemos simblicamente los clculos que Arqumedes describe retricamente.

Sean:
e = esfera ABCD.
c = cilindro de dimetro EZ y generatrices EL, ZH.
a = cono cuya seccin es el tringulo AEZ.
b = cono cuya seccin es el tringulo ABD.
Aplicando el mtodo mecnico, Arqumedes muestra que c = 2(e+a) .
Pero como segn Euclides XII.10 se verifica que c = 3a, se tiene: a = 2e.
Ahora bien como los conos a y b son semejantes, la razn entre ellos ser el cubo de la razn
entre los dimetros de sus bases (Euclides XII.12,), por tanto se tiene: a = 8b .
Combinando los resultados se obtiene finalmente: e = 4b.

26

Euclides, XII.14.

27

Arqumedes se refiere a Euclides XII.10. Algunos autores, entre ellos el editor J.L.Heiberg,
sospechan que esta referencia explcita de Arqumedes a Los Elementos de Euclides, es una
interpolacin. En toda la obra de Arqumedes hay slo dos citas explcitas de Los Elementos de
Euclides, una en Sobre la Esfera y el Cilindro I.2 refirindose a Euclides, I.2 y otra tambin en
Sobre la Esfera y el Cilindro refirindose a Euclides XII.2.

28

Segn nota al pe de J.L.Heiberg esta solemne clusula (lo que haba que demostrar) es una
interpolacin. Como se ha visto tanto en el prembulo como al final de la Proposicin I,
Arqumedes manifiesta que el procedimiento del MTODO no constituye verdadera demostracin.
Tambin al final del primer prrafo de la Proposicin II, Arqumedes no utiliza el trmino demostrar
sino ilustrar.

29

La demostracin geomtrica de este resultado est en la proposicin I.33 del tratado Sobre la
Esfera y el Cilindro.

30

Sobre la Medida del Circulo, Proposicin 1.

31

La feliz intuicin de Arqumedes le lleva al resultado correcto. En efecto sean:

S = superficie de una esfera e de radio r.
s = rea de un crculo mximo de la esfera e.
C = cono de base S y altura r.
c = cono de base s y altura r.
Del resultado de Arqumedes: e = 4c .
De la intuicin de Arqumedes obtenida por analoga con la Proposicin 1 de Sobre la Medida del
Crculo, se tiene: e = C .
Por tanto C = 4c, de donde segn Euclides, XII.11 se deduce: S = 4s ,es decir la superficie de una
esfera es cuatro veces un crculo mximo.

250

LA CUBATURA DE LA ESFERA

La cubatura de la esfera en Archimedis Opera Omnia de J.L. Heiberg.

La cubatura de la esfera es, sin duda es el ejemplo ms ilustrativo de la aplicacin del mtodo
mecnico de Arqumedes al clculo de cuadraturas y cubaturas.

32

Arqumedes tiene claro que la argumentacin mecnica del MTODO, que tan fructfera era para
conocer reas de figuras planas y volmenes de slidos, no le serva para determinar reas de
superficies curvas, lo que le lleva a soslayar tal impedimento mediante un razonamiento por
analoga, comparando la situacin entre el volumen y superficie de la esfera con la situacin entre
el rea y el permetro de un crculo, cambiando cono por tringulo, es decir, como se verifica:
Area del crculo = tringulo de base la circunferencia y altura el crculo.
Anlogamente debe verificarse:
Volumen de la esfera = cono de base la superficie de la esfera y altura igual al radio.
Arqumedes da muestras de una intuicin genial, pero en este lugar no cabe duda de que ha tenido
una idea feliz, porque no siempre la analoga conduce a un resultado correcto. Por ejemplo, un
tringulo es igual a la mitad de un paralelogramo de igual base y altura, pero en cambio la pirmide
no es equivalente a la mitad del prisma de igual base y altura, sino a su tercera parte.

33

Observemos que Arqumedes, en EL MTODO, encuentra el volumen de una esfera antes que el
rea de la misma y deduce sta de aqul. No obstante, como hemos mencionado anteriormente,
Arqumedes demuestra el resultado del rea de la esfera, en la Proposicin 33 del Libro I de su
tratado Sobre la Esfera y el Cilindro, es decir antes y de forma independiente del volumen de la
esfera, que lo demuestra en la proposicin siguiente. Es por tanto interesante observar como en
Arqumedes, y as tambin en otros gemetras griegos, la secuencia de las proposiciones en los
grandes tratados clsicos no es la misma que la seguida en el proceso heurstico del
descubrimiento.

251

LA ESFERA Y EL CILINDRO
EN LA TUMBA DE ARQUMEDES EN SIRACUSA
la obra de Arqumedes Sobre la Esfera y el Cilindro se
considera la continuacin natural del Libro XII de
Los Elementos de Euclides. Ambas tratan de las
figuras esferas, cilindros y conos, pero Arqumedes
trasciende de forma considerable los resultados de
Euclides, al demostrar aqu, de forma impecable,
mediante el mtodo de exhaucin, nuevos y
fundamentales teoremas sobre el volumen y la
superficie de la esfera, que Arqumedes haba
obtenido mediante el Principio de la Palanca del
mtodo mecnico.
Euclides se haba limitado a dar la proporcionalidad
entre dos esferas y los cubos construidos sobre sus
dimetros (XII.18). Arqumedes no slo da las
razones entre la esfera, el segmento esfrico y el
sector esfrico y ciertos conos, sino tambin la razn
entre la superficie de la esfera y del casquete esfrico
y ciertos crculos.
Los trabajos geomtricos desarrollados por
Arqumedes en esta obra son probablemente
considerados los ms importantes por el cientfico,
hasta el punto que exhort a sus deudos a que se
grabara en su tumba las figuras de un cilindro
circunscrito a una esfera junto con un epigrama que
describiese la relacin que las vincula, que son
sencillas proporciones que debieron impresionar al
propio Arqumedes:

La esfera y el cilindro circunscrito a ella estn en la

relacin de 2 a 3, tanto en volumen como en superficie
total.

Primera pgina de la obra de Arqumedes

Sobre la Esfera y el Cilindro. Museo
Municipal de Trieste.

los volmenes de un cono, una semiesfera y un cilindro

de la misma altura y radio estn en la razn 1:2:3.

Figuras de la obra de Arqumedes Sobre la Esfera y el Cilindro que aparecen en la edicin crtica de
Mazzuchelli de 1737 de las Obras sobre Arqumedes

252

EL PRIMER EPITAFIO CIENTFICO DE LA HISTORIA

EN LA TUMBA DE ARQUMEDES EN SIRACUSA
La tumba de Arqumedes fue hallada
por Cicern como describe en sus
Tusculanorum disputationum gracias
a que, impresionado quiz por la
sencillez de un resultado, Arqumedes
manifest el deseo de que se grabara
en su tumba la figura de un cilindro
circunscrito a una esfera.
Efectivamente, segn referencia de
Plutarco (Marcelo, XVII):
[...] Habiendo sido autor de
muchos y excelentes inventos,
dcese haber encargado a sus
amigos y parientes que despus
de su muerte colocasen sobre su
sepulcro un cilindro con una
esfera inscrita, poniendo en la
inscripcin la cantidad en que en
esos dos slidos el continente
supera al contenido.

La llamada tradicionalmente tumba de Arqumedes,

situada en Siracusa, en las cercanas de Acradina.

Estos hechos que han contribuido a

mitificar la relacin obtenida por
Arqumedes entre la esfera y el
cilindro
circunscrito
fueron
ratificados por Cicern cuando fue a
Siracusa como cuestor de Sicilia.
Cicern se propuso encontrar la tumba
de Arqumedes, quien siglo y medio
despus
de
su
muerte
era
prcticamente ignorado por sus
conciudadanos, lo que consigui
gracias a la identificacin de la
inscripcin.

Cicern describe el hallazgo en sus Tusculanorum disputationum , V:

[...] Arqumedes, cuyo sepulcro ignorado por los siracusanos, rodeado de zarzas y espesos
matorrales, hasta el punto de haberse perdido todo rastro de l, yo descubr siendo cuestor de
Siracusa. Yo conoca ciertos versos senarios, que eran copia de los de un epigrama que haba
sido inscrito en su monumento, los cuales declaraban que haba en su sepulcro una esfera con
un cilindro.
Despus de la conquista, la ciudad de Siracusa entr en una decadencia irreversible, hasta el punto
de ignorar, como hemos visto en el relato de Cicern, al ms ilustre de su personajes.
Tras el hallazgo de Cicern, la tumba fue olvidada de nuevo, se perdi su localizacin y
desapareci toda huella que permita su reubicacin. Sin embargo, como recuerdo de la hazaa
arqueolgica de Cicern, existe en Siracusa, cerca de Acradina un lugar que llaman La tumba de
Arqumedes pero la atribucin tiene un valor simplemente simblico.
No obstante, hace unos aos un estudioso de Siracusa anuncio, que segn el relato de Cicern,
estaba seguro de haber encontrado la verdadera tumba de Arqumedes, incluso ofreci un informe
del presunto descubrimiento en un opsculo titulado precisamente La tumba de Arqumedes. El
evento suscit en su momento cierta polmica con trascendencia en la prensa, pero quiz al no ser
demasiado fiable, el tema ha vuelto a perder inters.
la inscripcin geomtrica en la tumba de Arqumedes constituye el primer epitafio cientfico en la
Historia de la Cultura.

253

Anlisis crtico del Mtodo Mecnico de Arqumedes

EL MTODO de Arqumedes es un tratado donde se resuelven unos cuantos problemas
geomtricos mediante consideraciones mecnicas, con importantes resultados obtenidos
por deducciones informales, que destilan un mtodo de descubrimiento al servicio de un
desarrollo sustancial del conocimiento matemtico.
Es interesante hacer un anlisis de la estructura interna del proceso discursivo de
Arqumedes en EL MTODO, a travs de un planteamiento abstracto de las diversas fases
del mtodo mecnico, a fin de que, aunque Arqumedes reconozca que:
[....] la investigacin hecha por este mtodo no comporta demostracin [....],
intentar dilucidar la cota de rigor que subyace en cada una de esas fases.
La esencia del mtodo mecnico se deduce de cualquiera de los problemas que
Arqumedes trata. Se pueden considerar tres fases. En una primera fase, puramente
geomtrica, seleccionados los objetos geomtricos pertinentes, se procede a la
comparacin de secciones del cuerpo cuyo volumen es objeto de investigacin, con otras
secciones de cuerpos ya conocidos. Sea determinar el volumen de un slido S, cuyas
secciones s, determinadas por un sistema de planos paralelos, son comparadas con las
secciones t, de un slido conocido T. Arqumedes fija la posicin de los extremos y punto de
apoyo de una palanca y obtiene, en virtud de las propiedades geomtricas conocidas de S y
T, una relacin geomtrica:
s/t = k/h ,
siendo h la distancia fija del extremo de la palanca al punto de apoyo y k la distancia de la
seccin t de su centro de gravedad al punto de apoyo.
A continuacin se entra en la segunda fase del mtodo, la fase mecnica, en la que
aplicando consideraciones estticas que Arqumedes haba desarrollado en su tratado
Sobre el Equilibrio de los Planos, establece que la seccin t del slido T, permaneciendo
en su lugar, equilibra, respecto del fulcro de la palanca, a la seccin s del slido S,
trasladada a una posicin de forma que su centro de gravedad sea un extremo de la
palanca.
Hasta aqu el desarrollo lgico e intuitivo seguido por Arqumedes es totalmente riguroso, ya
que es consecuencia lgica de los postulados admitidos y de los teoremas demostrados en
otros tratados. Pero Arqumedes entra ahora en una tercera fase en la que dice que las
secciones s y t llenan o componen, respectivamente, los slidos S y T, de manera que
repitiendo la operacin anterior para todas las secciones paralelas, el slido T
permaneciendo en su lugar, equilibrar, respecto del fulcro de la palanca, al slido S
trasladado a una posicin de forma que su centro de gravedad sea un extremo de la
palanca. Por tanto, conociendo el centro de gravedad de las figuras y el volumen de una de
ellas, su posicin de equilibrio permitir encontrar el volumen de la otra.
Si en lugar de slidos se consideran figuras planas, el proceso es similar considerando un
sistema de rectas paralelas, que determinan sobre las figuras unas cuerdas que llenan o
componen las figuras.
Est claro que la clave del mtodo mecnico de Arqumedes estriba en el proceso que tiene
lugar en la tercera fase y que l mismo llama con gran acierto composicin, mediante el
cual como buen griego soslaya y camufla la presencia del infinito.
Para el caso de la cubatura de slidos consideremos nuevamente los slidos anteriores S y
T. Consideremos el lado de la palanca en el que el slido T ha permanecido en su lugar,
Arqumedes dice que las secciones t de T llenan o componen T, pero esto, adems de no
tener ninguna base matemtica, ya que no se deduce de ningn postulado ni teorema, no
tiene base material alguna, pues las secciones t que son superficies no pueden componer ni
llenar de manera alguna ningn slido (por ejemplo los crculos no pueden llenar un
cilindro), pues ello violara la ley de la homogeneidad. No obstante, el error lgico de la

254

consideracin de Arqumedes se ve atemperado intuitivamente por el hecho de que el slido

T no se ha desplazado, est en su lugar. Sin embargo las secciones s que componen el
slido S, se han movido paralelamente a su posicin inicial hasta coincidir sus centros en el
otro extremo de la palanca, de manera que todas quedan colocadas en un mismo plano que
debera equilibrar a un slido, lo cual lgica e intuitivamente es absurdo.
Sin embargo Arqumedes, con un esfuerzo de intuicin ideal, imagina que las secciones s
del slido S, trasladadas, recomponen y reconstruyen el slido del cual eran sus
componentes, como si los elementos geomtricos que se desplazan no fueran en realidad
elementos planos, sino elementos slidos de cierto espesor capaces de recomponer el
slido del que proceden. Tratndose de una intuicin ideal que no casa con la intuicin
sensible de la experiencia y con el sentido comn, Arqumedes tiene muy en cuenta que
estos resultados slo tienen cierta apariencia de verdad y el mtodo no comporta
demostracin.
Aunque resulte anacrnico es interesante hacer un anlisis y valoracin del mtodo
mecnico de Arqumedes a la luz de nuestro Clculo Integral, sobre todo porque con ello se
comprende cmo con mtodos tan poco ortodoxos pudo Arqumedes obtener resultados
absolutamente correctos.
Considerando el caso plano, sean S y T dos figuras planas situadas a lo largo del mismo
intervalo de un eje horizontal L . Dada el rea a(T) y el centro de gravedad G de T, se quiere
hallar el rea a(S) de S.
x

S
h
s

T
H

t
G

Podemos interpretar las dos figuras planas como lminas de densidad unidad, compuestas
de un nmero infinitamente grande de elementos geomtricos elementales segmentos de
lnea o rectngulos de anchura infinitesimal, es decir indivisibles o infinitesimales,
respectivamente, que diran los matemticos del siglo XVII, perpendiculares al eje L.
Tomemos el eje L como una palanca con el punto de apoyo en A y supongamos que
podemos encontrar una constante h tal que cada lnea vertical, a una distancia x de A,
determina en las figuras S y T segmentos de lnea de longitudes s y t, respectivamente, tales
que se verifica:
s/t = x/h (1) .
La ley de la palanca implica entonces que el segmento desplazado al punto H, que est a
una distancia h de A, equilibra al segmento t, mantenido en su lugar. De ello deduce
Arqumedes que si la figura S se desplaza de forma que llegue a tener su centro de
gravedad en H, equilibrar a la figura T mantenida en su lugar, es decir que se tiene:
a(S)/g(T) = a(T)/h (2) ,
siendo g(T) la distancia del punto A al centro de gravedad G de T y asumiendo que cada

255

figura acta como una masa puntual situada en su centro de gravedad. Conocidos entonces
el rea a(T) y las distancias h y g(T), aplicando (2) se obtendr el rea a(S).
El punto crucial del desarrollo anterior estriba en el trnsito lgico de (1) a (2), es decir en la
forma de demostrar que (1) implica (2), deduccin que Arqumedes no realiza sino que lo
asume. El paso de (1) a (2) es resuelto fcilmente mediante Clculo Integral. En efecto,
sean s(x) y t(x) las secciones de las figuras S y T a la distancia x del fulcro de la palanca A;
tenemos para las reas S y T, y para el centro de gravedad de T, las siguientes expresiones:
a(S) =

s(x) dx , a(T) =

t(x) dx , g(T) =

1
a(T)

x t(x) dx .

Ahora bien, de la igualdad (1) se deduce: s(x)=xt(x)/h, de donde se obtiene:

a(S) =

s(x) dx =

1
h

x t(x) dx ,

es decir: a(S)= g(T)a(T)(1/h), expresin equivalente a (2).

As pues, en trminos de integrales, el efecto del mtodo mecnico del MTODO es
expresar una integral que hay que calcular para hallar el rea de una figura S, en trminos
de otras integrales, el rea y el centro de gravedad de otra figura conocida T.
J.Babini en su introduccin a su versin del MTODO, describe muy significativamente que

al pensar en el proceso discursivo que tiene lugar al realizar una integral definida, se puede
explicar la aparente paradoja de cmo Arqumedes pudo lograr con mtodo tan poco
riguroso un resultado correcto. Escribe J.Babini (Eudeba, 1996, p.24):
[...] El clculo actual de cuadraturas y cubaturas, as como la determinacin de
centros de gravedad, se realiza mediante el clculo de integrales definidas, que
pueden considerarse como lmites de sumas, cuyos sumandos son productos de dos
factores: la funcin integrando que en nuestro ejemplo est dada por la seccin, y un
incremento o diferencial que corresponder a la distancia entre dos secciones
consecutivas. Ahora bien, el resultado de la integral depende exclusivamente de la
forma y propiedades de la funcin integrando, no desempeando el otro factor sino el
papel pasivo destinado a mantener la homogeneidad; es pues, explicable que
Arqumedes, al despreciar en absoluto la homogeneidad y atender nicamente a las
propiedades de la seccin, expresada en su proporcin de equilibrio, logre resultados
correctos.
Parece pues que el mtodo mecnico del MTODO es una etapa intermedia entre el
momento realmente creador que Arqumedes oculta y la etapa final, rigurosamente
deductiva, en la que a mediante el Mtodo de Exhaucin Arqumedes demuestra sus
magnficos tratados geomtricos. Pero estas etapas estn ntimamente vinculadas, porque,
como bien seala Arqumedes en el Prembulo:
[...] Estoy convencido, adems, de que dicho mtodo no ser menos til para
demostrar los propios teoremas. Pues algunos de los que primero se me hicieron
patentes mecnicamente, recibieron luego demostracin geomtricamente [...] pues es
ms fcil, despus de haber adquirido por ese mtodo cierto conocimiento de las
cuestiones objeto de investigacin, dar luego la demostracin, que investigar sin
ningn conocimiento previo [...].
En definitiva el mtodo mecnico de Arqumedes es una genial combinacin de
consideraciones geomtricas y mecnicas, en las que en esencia subyacen ciertos
procedimientos de nuestro Clculo Integral.

256

Grabado annimo del siglo XVI que representa a Arqumedes planificando la defensa de
Siracusa. Biblioteca Nacional de Pars.
En el gorro del cientfico reza la leyenda en griego: Arqumedes gemetra

257

El mtodo de exhaucin en Arqumedes. La cuadratura de la espiral

El mtodo de exhaucin utilizado por Arqumedes en la demostracin de los resultados
obtenidos por va mecnica es aplicado de diversas formas que pueden clasificarse en dos
tipos fundamentales: el mtodo de compresin y el mtodo de aproximacin. Veamos el
aspecto formal del primer mtodo y una ilustracin prctica del mismo mediante un ejemplo:
el mtodo de compresin aplicado a la cuadratura de la espiral.
El mtodo de compresin de Arqumedes se aplica de la siguiente forma:
Dada una magnitud geomtrica A, ya sea longitud, rea o volumen, se quiere demostrar que
es igual a otra magnitud B conocida. Basndose en la geometra de la figura A, se
construyen dos sucesiones de figuras geomtricas: {In} montona creciente (inscritas en A) y
{Cn} montona decreciente (circunscritas a A) tales que:
In<A<Cn para todo n (1) ,
entonces se demuestra:
a. La diferencia CnIn se puede hacer tan pequea como se quiera para n suficientemente
grande, es decir, en nuestro lenguaje:
para todo e >0 existe N tal que para todo n>N, CnIn < (2)
b. Para todo n, In<B<Cn (3)
A partir de (1), (2) y (3) se demuestra fcilmente que A=B.
En efecto:
a. Supongamos A>B. Tomando =AB, podemos encontrar un n tal que CnIn < =AB,
pero segn (1) A<Cn, luego AIn<AB, por tanto se verificara B<In, lo que est en
contradiccin con (3).
b. Supongamos A<B. Tomando =BA, podemos encontrar un n tal que CnIn < =B-A,
pero segn (1) In<A, luego CnA<BA, por tanto se verificara Cn<B, lo que est en
contradiccin con (3).
En consecuencia, al no ser A<B ni B<A, debe ser A=B.
La aplicacin del mtodo de compresin no es uniforme, sino que difiere de un ejemplo a
otro dependiendo de la magnitud conocida B, con la que se compara la desconocida A y no
hay ninguna regla general vlida en todo caso. No obstante, una vez que se han
demostrado las desigualdades (1) y (3), el proceso demostrativo subsiguiente es automtico;
sin embargo, Arqumedes realiza el proceso para cada caso particular basndose en la
geometra de las figuras.
Arqumedes aplica el mtodo de compresin en las proposiciones 1 de Sobre la Medida del
Crculo; 22, 26, 28, 30 de Sobre Conoides y Esferoides; 24, 25 de Sobre las Espirales; 16 de
Sobre la Cuadratura de la Parbola y 15 de El mtodo sobre a los teoremas mecnicos.
Uno de los ejemplos mas significativos de la aplicacin del mtodo de compresin es la
cuadratura de la primera vuelta de la espiral que Arqumedes consigue en la Proposicin 24
de Sobre las Espirales.
Arqumedes dedica toda una obra, Sobre las Espirales, al estudio de la curva que lleva su
nombre. La introduce, en la Definicin I, en trminos de composicin de movimientos:
Si una lnea recta trazada en un plano gira un nmero cualquiera de veces con
movimiento uniforme, permaneciendo fijo uno de sus extremos, y vuelve a la posicin
inicial, mientras que, sobre la lnea en rotacin, un punto se mueve uniformemente
como ella a partir del extremo fijo, el punto describir una espiral en el plano.
A lo largo del tratado Sobre las Espirales, Arqumedes va obteniendo las cuadraturas de

258

diversas reas relacionadas con la espiral.

En las definiciones 4, 5 y 7, respectivamente,
Arqumedes define respecto de la primera vuelta
de la espiral, la primera recta que une el punto
inicial con el final, el primer rea E la regin
determinada por la curva y la primera recta y el
primer crculo C con centro en el origen de la
espiral y radio la primera recta. Tras diversas
proposiciones y corolarios, Arqumedes acaba
demostrando el siguiente resultado fundamental:

PROPOSICION 24
El rea comprendida entre la espiral descrita en la primera vuelta y la primera de las
rectas en posicin inicial de giro, es equivalente a un tercio del primer crculo.

Es decir, se tiene: a(E) = (1/3)a(C) (4).

En la prueba de (4) Arqumedes utiliza

resultados previos a las definiciones, que
obtiene en la proposicin 10, y que son
equivalentes a las habituales frmulas
para la suma de enteros consecutivos y
sus cuadrados, que a la postre le llevarn
a ciertas desigualdades necesarias para
emprender la exhaucin. Transcribamos la
Proposicin 10:

PROPOSICION 10
Si varias lneas en nmero cualquiera que sucesivamente se superan unas a otras en
una misma magnitud se colocan unas a continuacin de las otras, siendo el exceso
igual a la ms pequea, y se dispone del mismo nmero de otras lneas iguales a la
mayor de las anteriores, los cuadrados construidos sobre estas ultimas, juntamente
con el cuadrado de la mayor y el rectngulo delimitado por la menor y una lnea
formada por todas las que se superan igualmente, valen el triple de todos los
cuadrados construidos sobre stas.
Despojando esta proposicin de su carcter geomtrico y traduciendo el lenguaje retrico a
expresin algebraica, se encuentra una progresin geomtrica: a, 2a,3a, ... , na, para la cual
Arqumedes demuestra la relacin:
(a2n2+a2n2+ +a2n2) + a2n2 + a(a+2a+ +na) = 3[a2+(2a)2+ +(na)2]
resultado equivalente a la frmula para la suma de los n primeros cuadrados de enteros
12+22+ +n2 =

n(n + 1)(2n + 1)
(5) .
6

Prosigue Arqumedes con el Corolario de la Proposicin 10:

259

COROLARIO
De aqu resulta que la suma de los cuadrados construidos sobre las lneas iguales a
la mayor es menor que el triple de los construidos sobre las lneas que se superan
sucesivamente en la misma magnitud, porque la primera suma sera triple de la
segunda si se le aadiese la primera de esas magnitudes y mayor que el triple de la
segunda si se resta de sta el triple del cuadrado de la lnea mayor, porque lo
aumentado a la primera suma es mayor que el triple del cuadrado de la lnea
mayor. Por consiguiente, si se construyen figuras semejantes sobre las lneas que se
superan unas a otras en la misma magnitud, y sobre las iguales a la mayor, la suma
de las figuras construidas sobre stas ser menor que el triple de las construidas
sobre las lneas desiguales, y la primera suma ser mayor que el triple de la segunda
si se resta de sta el triple de la figura construida sobre la lnea mayor, porque estas
figuras por ser semejantes tienen la misma razn que los cuadrados de los que con
anterioridad hemos hablado [Euclides, VI.20].
Nuevamente al despojar el Corolario de Arqumedes de su ganga geomtrica, y expresarlo
en lenguaje algebraico, se puede escribir:
n3
12+22+ +(n1)2 <
< 12+22+ +n2 (6) ,
3
resultado que se podra obtener al expresar (5) en la forma:
12+22+ +n2 =

n3 n 2 n
+
+ .
3
2 6

A partir de aqu, Arqumedes prepara el terreno para resolver el problema considerando las
habituales figuras en este caso sectores circulares inscritas y circunscritas, y lo hace en la
Proposicin 21 y siguientes, y finalmente en la Proposicin 24 aplica impecablemente el
mtodo de exhaucin para obtener con todo rigor el resultado.
Interpretando el razonamiento de Arqumedes en lenguaje aritmtico se tendr:
Con referencia a la figura siguiente (similar a la figura contigua, utilizada por Arqumedes en
la Proposicin 21 de Sobre las Espirales), se divide el crculo C en n sectores, que
intersecan a la espiral en los puntos O, A1 , A2, ... An.

Escribiendo OA1 = c, resulta:

OA1=c, OA2=2c, ... OAn=nc.
Se tiene, entonces, que la regin espiral E contiene una regin P, formada por sectores
circulares inscritos Pi, de radios o, c, ... , (n1)c, y est contenida en una regin Q, formada
por sectores circulares circunscritos Qi, de radios c, 2c, ... , nc.
Trivialmente las reas de P, E, Q, verifican: a(P) < a(E) < a(Q).
Adems, la cantidad a(Q)a(P) es igual al rea de un sector circular y por tanto puede

260

hacerse tan pequea como se quiera tomando n suficientemente grande, de modo que,
conociendo previamente el resultado (4) de la cuadratura, ste se demostrar con todo rigor
mediante la doble reduccin al absurdo del mtodo de exhaucin.
En efecto, supongamos a(E) < (1/3)a(C), escojamos n suficientemente grande para que se
verifique:
a(Q) a(P) < (1/3) a(C) a(E),
como a(P) es menor que a(E), se tiene:
a(Q) < (1/3)a(C) (7) .
Ahora bien, la razn de las reas de sectores circulares semejantes es igual a la razn de
los cuadrados de sus radios (Euclides, XII.2), es decir:
a(Q) (ic)2
=
a(C) (nc)2

i = 1,2, ...,n

(8)

donde C son los sectores del crculo C circunscrito a la espiral. A partir de (8) aplicando las
propiedades de la suma de proporciones (Euclides, 5.12) se obtiene:
a(Q) c 2 + (2c)2 + +(nc)2 12 + 22 + +n2 1
=
=
>
a(C)
3
n(nc)2
n3

(9) ,

la ltima desigualdad siendo consecuencia de (6).

A partir de (9) se obtiene el resultado a(Q) > (1/3)a(C), contradictorio con (7), luego no
puede suceder que a(E) sea menor que un tercio de a(C).
De forma anloga se aborda el supuesto a(E) > (1/3)a(C).
Pgina de Sobre las Espirales en Archimedis Opera
Omnia (Basilea, 1544).
Este tratado est dedicado al estudio de una curva
llamada Espiral de Arqumedes, que el cientfico de
Siracusa define de forma cinemtica. Est catalogado
como la obra ms importante de Arqumedes sobre
Geometra Plana. No es una obra fcil de entender y de
hecho no es bien interpretada hasta despus del
Renacimiento. Quiz el primero en hacerlo con certeza
es Cavalieri, quien por sus importantes estudios sobre
la curva arquimediana fue considerado por Galileo
como un mulo de Arqumedes.
La cuadratura de la espiral de Arqumedes constituye
uno de los ejemplos ms representativos de la
aplicacin del mtodo de exhaucin de los griegos a los
problemas de cuadraturas. Adems, este trabajo de
Arqumedes tuvo una influencia decisiva en los
mtodos de cuadratura aritmtica del siglo XVII.
Puede decirse, en cierto modo, que esta memoria es el
tratado ms antiguo sobre Clculo Diferencial, ya que
Arqumedes presta atencin a la determinacin de las
tangentes, y ello desde el mismo prlogo:
Si una recta es tangente a la espiral en su
extremo obtenido en ltimo lugar, y si, sobre la
recta que ha girado y vuelto a su lugar, se alza en
su extremo fijo una perpendicular hasta que se
encuentre con la tangente, digo que la recta as
llevada hasta ese encuentro es igual a la
circunferencia del [primer] crculo.
Como vemos Sobre las Espirales tiene que ver tambin
con las investigaciones tericas de Arqumedes sobre
la rectificacin de la circunferencia del crculo.

261

El mtodo de exhaucin en Arqumedes segn J.Babini

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 que ni cumplen con ese postulado,
muestran claramente cuan 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 pequeas 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 slo llega al 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.
De ah que no ha de extraar que se advierta en los escritos de Arqumedes una estrecha analoga con
los mtodos infinitesimales de hoy, que permiten calcular las cuadraturas y las cubaturas de
Arqumedes mediante integrales definidas. Estas integrales que los recursos del Calculo Integral
proporcionan fcilmente, comportan por su definicin el concepto de lmite aplicado a ciertas sumas.
Ahora bien, estas sumas aparecen en sus escritos como material previo a la determinacin de las
cuadraturas o las cubaturas.

262

La influencia de Arqumedes en la gnesis del Clculo Integral

A partir del Renacimiento la Matemtica empieza a presentar una inflexin respecto a la clsica
griega. El paradigma formal y demostrativo que impuso la filosofa platnica en Los Elementos
de Euclides y dems obras clsicas evoluciona bajo el principio de que lo que importa es la
consecucin de nuevos resultados, aunque sea sin expresin rigurosa. Se impone el lema
primero inventar, despus demostrar. Bajo el nuevo enfoque se trata de crear y descubrir y no
de expresar axiomtica y apodcticamente.
Tras la recuperacin y reconstruccin del legado clsico, la Matemtica griega es ponderada por
su alto grado de rigor y es la fuente de formacin intelectual y de inspiracin de los matemticos,
pero se abandonan y critican sus mtodos porque no son heursticos. En efecto el camuflaje
permanente del infinito convierte a casi toda la Matemtica griega en Geometra y el tratamiento
absolutamente riguroso de los problemas infinitesimales requiere un subterfugio, el mtodo de
exhaucin de EudoxoArqumedes, que obliga a tratar cada problema de forma particular,
dependiendo de su estructura geomtrica concreta, adems de precisar un mtodo
complementario para prever los resultados. Por eso ya en el siglo XVII, una vez recuperada gran
parte de la Matemtica griega, era general el deseo de encontrar nuevos mtodos para resolver
rpidamente los problemas, mtodos que permitieran obtener de forma directa los resultados,
aunque hubiera que relajar el rigor.
En particular respecto del Clculo Integral se abre al comienzo del siglo XVII una etapa emprica,
que cubre los dos primeros tercios de este siglo, en los que manejando unos elementos con un
estatuto ontolgico no muy bien definido indivisibles, infinitamente pequeos,
incrementos evanescentes, cantidades despreciables, etc., se desarrollan multitud de
tcnicas y mtodos infinitesimales, que contribuyeron a resolver de forma sorprendente antiguos
y nuevos problemas, bajo la accin de profundas intuiciones, que, supliendo la falta de rigor,
evitaban las contradicciones y el absurdo adonde poda haber llevado tanto desenfreno
conceptual, y que condujeron bajo una perspectiva de generalizacin y unificacin, a la
destilacin de un algoritmo universal, al descubrimiento simultneo del Clculo Infinitesimal por
parte de Newton y Leibniz.
Bajo esta perspectiva resulta que los matemticos que desarrollaron el germen del Clculo
Integral, habiendo bebido en las fuentes de los grandes tratados conocidos de Arqumedes, que
ahora tenan a su disposicin, donde el mtodo de exhaucin presida todo el desarrollo con un
frreo rigor, al intentar soslayar la rigidez de la exhaucin mediante artificios geomtricos que les
condujeran a procedimientos heursticos de rpido descubrimiento, se aproximan de forma
sorprendente a la tcnica del mtodo mecnico del MTODO de Arqumedes. Esto es
particularmente cierto en el caso de B.Pascal que aplica ingeniosamente su mtodo de la
balanza, llamada balanza de Arqumedes en los famosos problemas sobre la cicloide, y
sobre todo en el caso de Cavalieri con sus Indivisibles. Evidentemente en este asunto no se
puede hablar de la influencia directa de Arqumedes, toda vez que el siglo XVII no dispuso del
MTODO, sino de analogas, pero hace an ms comprensible el que muchos matemticos de
esta poca estuvieran convencidos, como se coment con anterioridad, de que Arqumedes
dispona de un mtodo especial de descubrimiento.
En los albores del siglo XVII muchos mtodos infinitesimales aparecen como modificaciones y
simplificaciones de los mtodos de Arqumedes, intentando metodizar las tcnicas
arquimedianas obviando la necesidad de la doble reduccin al absurdo de la exhaucin,
resintindose el rigor en las demostraciones con el uso de los indivisibles y los infinitamente
pequeos y apareciendo de forma latente consideraciones sobre lmites basadas en la incipiente
Teora de Nmeros.
El excesivo abuso de la intuicin inmediata de las magnitudes geomtricas y la violacin del
principio de homogeneidad espacial dimensional con los indivisibles, provocaba que no hubiera
en el ambiente matemtico un consenso acerca del valor demostrativo de los mtodos utilizados.
Algunos conceban el mtodo como simplemente heurstico y crean necesaria una demostracin
por exhaucin punto de vista arquimediano. En general se consideraba que los resultados
obtenidos mediante indivisibles podan justificarse fcilmente con la exhaucin, pero no era
necesario porque conceban el nuevo mtodo inventivo, no ms que como un lenguaje diferente,
un estilo distinto de expresar unos mismos conceptos. Saben que los resultados son correctos,
porque saben y pueden probarlos rigurosamente mediante los mtodos de Arqumedes. En el
cuadro siguiente reproducimos algunas frases representativas de lo que se acaba de exponer:

263

LOS MTODOS DE ARQUMEDES Y

LOS DE LOS MATEMTICOS DEL SIGLO XVII
J.KEPLER (Nova stereometria doliorum vinariorum de 1615):
[....] Podramos obtener demostraciones perfectas de los libros de Arqumedes, a
nosotros no nos repele la espinosa lectura de ellos.
B.CAVALIERI (Geometra Indivisibilibus continuorum ... de 1635):
[...] Se podra demostrar todo esto [cuadraturas y cubaturas] utilizando las
tcnicas arquimedianas, pero supondra un gran esfuerzo.
P.FERMAT (De aequationum localium ... in quadrandis infinitis parabolis et
hiperbolis [Tratado sobre cuadratura] de 1658):
[...] Basta hacer esta observacin [sobre las condiciones para poder aplicar el
mtodo de Arqumedes] una vez para no obligarse a recordar y a insistir
constantemente sobre un artificio bien conocido de todos los gemetras. [...]. As
alcanzamos la conclusin, que podra ser fcilmente confirmada por una ms
prolija prueba llevada a cabo a la manera de Arqumedes.
B.PASCAL (Lettre Carcavi de 1659):
[...] He querido hacer esta advertencia para mostrar que todo lo que est
demostrado por las verdaderas reglas de los indivisibles se demostrar tambin con
el rigor y a la manera de los antiguos [como Arqumedes] y que as ambos
mtodos no difieren ms que en la manera de hablar.
I.BARROW (Lectiones Geometricae de 1670):
[...] Se podra alargar mediante un discurso apaggico [mediante la doble
reduccin al absurdo del mtodo de exhaucin de Arqumedes].
J.WALLIS (Arithmetica infinitorum de 1656):
[...] Este procedimiento es altamente heterodoxo, pero puede verificarse mediante el
bien conocido mtodo apaggico [arquimediano] de figuras inscritas y
circunscritas, lo que es superfluo, porque la frecuente iteracin produce nusea en el
lector. Cualquiera ducho en Matemticas puede realizar tal prueba.
C.HUYGENS (Horologium oscillatorium de 1673):
[...] No es de gran inters el que demos una demostracin absoluta, despus de haber
visto que una perfecta demostracin puede ser dada. Concedo que debera aparecer
en una forma clara, ingeniosa y elegante, como en todos los trabajos de
Arqumedes. Pero lo primero y ms importante es el mtodo de descubrimiento
mismo.
Las frases transcritas son muy significativas para comprender la enorme influencia
de los tratados conocidos de Arqumedes sobre los artfices del Clculo
Infinitesimal, pero tambin nos sirven para mostrar la analoga entre la
argumentacin heurstica de los matemticos del siglo XVII y el discurso informal y
sugerente del mtodo mecnico del MTODO de Arqumedes que acta de forma
ascendiente como una variable oculta.

264

El mtodo mecnico de Arqumedes y los Indivisibles de Cavalieri

El cmulo de analogas entre los procedimientos heursticos del Clculo del siglo XVII y el
mtodo mecnico del MTODO de Arqumedes tiene su ms clara representacin en los
Indivisibles de Cavalieri. En 1635 Cavalieri publica su famosa obra Geometra Indivisibilibus
continuorum .... (Geometra de los continuos por indivisibles presentada por mtodos
nuevos). Tambin sobre Indivisibles publica en 1653 Exercitationes geometricae sex (seis
ejercicios geomtricos).
El concepto fundamental de la teora de Cavalieri es el de Omnes lineae (todas las
lneas o coleccin de lneas de una figura dada), que es introducido en la definicin II.1
de la Geometria Indivisibilibus:

O(F,l)

Dada una figura plana, se consideran dos planos perpendiculares al plano de la

figura, entre los que sta est exactamente contenida. Si uno de los dos planos se
mueve paralelamente hacia el otro hasta coincidir con l, entonces las lneas que
durante el movimiento forma la interseccin entre el plano mvil y la figura dada,
consideradas en conjunto, se llaman Omnes lineae [Todas las lneas] de la figura,
tomada una de ellas como regula [directriz].
Es decir, dada la figura plana F=ABC, la recta BC determina una direccin que tomaremos
como regula. Todas las lneas o Indivisibles de la figura ABC, O(F,l) respecto de la
regula BC, representa el conjunto de cuerdas de la figura ABC, paralelas a BC.
El propsito de Cavalieri introduciendo su mtodo de Indivisibles era proporcionar unos
medios de obtener cuadraturas y cubaturas, que superaran la pesadez e insuficiencia del
mtodo de exhaucin de Arqumedes, es decir, que consiguieran los resultados y las
pruebas al mismo tiempo, fundiendo en un solo acto lo heurstico y lo apodctico. El mtodo
de Cavalieri sera nuevo, pero las ideas bsicas de lo que debe entenderse por cuadratura o
cubatura descansan completamente en la teora griega clsica de magnitudes, que se
describe en el Libro V de Los Elementos de Euclides.
Cavalieri no slo asumi la doctrina griega clsica de magnitudes, sino que se propuso
ampliar el conjunto de magnitudes, extendiendo la teora de magnitudes de Eudoxo, para
incluir en ella cada conjunto de Todas las lneas de una figura dada, creando as una
nueva categora de magnitudes que le permite realizar los clculos a los que le conducen
sus cuadraturas, directamente con sus propias nuevas magnitudes, es decir, con Todas las
lneas de una figura dada. Por eso Cavalieri dedica una buena parte del Libro II de la
Geometria Indivisibilibus a intentar justificar que efectivamente Todas las lneas pueden
ser tratadas como cualquier otra magnitud geomtrica; en particular debe demostrar que la
razn entre dos colecciones de lneas existe, es decir que las nuevas magnitudes cumplen
el Axioma de Eudoxo-Arqumedes (definicin V.4 de Los Elementos). A partir de aqu

265

Cavalieri ya puede plantearse establecer la relacin entre las cuadraturas y las colecciones
de lneas, lo que hace en uno de los teoremas fundamentales de la Geometria Indivisibilibus,
el II.3:
La razn entre dos figuras es igual a la razn entre sus colecciones de lneas,
tomadas respecto de la misma regula.
El Teorema II.3 encierra la idea bsica y central de toda la teora de Cavalieri. Por medio de
este resultado, reduce el problema de obtener la razn entre dos reas a hallar la razn
entre sus colecciones de lneas. Con gran ingenio Cavalieri calcular estas ltimas razones,
para lo que utiliza como uno de sus instrumentos ms tiles lo que se conoce como el
Principio de Cavalieri, el Teorema II.4:
Si dos figuras planas tienen la misma altura y si las secciones determinadas por
lneas paralelas a las bases y a igual distancia de ellas estn siempre en la misma
razn, entonces las figuras planas tambin estn en esta misma razn.
Cavalieri ilustra su teorema con una figura similar a la siguiente:

Si dos figuras planas ACM y MCE, cumplen que para cada lnea BD paralela a la base AE
(regula), las secciones BR y RD que llama lneas correspondientes por estar a igual
distancia de la base, verifican la relacin:
BR/RD = AM/ME ,
entonces se cumple:
ACM/MCE = AM/ME .

Figura utilizada por Cavalieri para ilustrar su teorema en el Libro I de las Exercitationes.

Cavalieri generaliza a dimensin tres los resultados que haba obtenido para figuras planas,
de modo que se podr enunciar un teorema anlogo al II.4:

266

Si dos slidos tienen la misma altura y si las secciones determinadas por planos
paralelos a las bases y a igual distancia de ellas estn siempre en la misma razn,
entonces los volmenes de los slidos estn en esa misma razn.
Las figuras siguientes proporcionan ilustraciones sencillas del Teorema de Cavalieri en el
caso particular de secciones iguales.

El Teorema de Cavalieri permite calcular por ejemplo el rea de la elipse a partir del rea del
crculo y el volumen de un cono a partir del volumen de una pirmide.
Sea una elipse E de semiejes a y b (a>b). Sea C un
crculo concntrico con la elipse y radio la longitud
del eje mayor a de la elipse Tomando como
regula la direccin del eje de ordenadas,
comparando los indivisibles de la elipse con los del
crculo, obtenemos de las ecuaciones de las curvas:
RP/RQ = b/a ,
de donde resulta segn el Principio de Cavalieri:
a(E)/a(C) = b/a ,
por tanto:
a(E) = (b/a)a(C) = ab .

Si dos pirmides tienen la misma base y la misma altura, por razones de semejanza las
secciones situadas a la misma altura tienen el mismo rea; as que, de acuerdo con el
Principio de Cavalieri, las dos pirmides tienen el mismo volumen. Los griegos utilizaron
este resultado para demostrar que el volumen de la pirmide es un tercio de la base por la
altura (Euclides, XII.7). Segn se vio en el prembulo del MTODO, Arqumedes atribuye el
descubrimiento a Demcrito y la demostracin a Eudoxo.
A partir del volumen de la pirmide se puede obtener fcilmente el volumen del cono, por
aplicacin del Principio de Cavalieri .
En efecto, sea un cono C con radio de la base r y altura h. Comparemos el cono C con una

267

pirmide P con base el cuadrado unidad y altura h. Sean Cx, Px, las secciones respectivas
del cono y pirmide a una distancia x del vrtice.

Por semejanza resulta:

L /1 = x/h = r'/r,
de donde se obtiene:
a(Cx) = rx/h , a(Px) = x/h ,
es decir:
a(Cx) = ra(Px) ,
por tanto del Principio de Cavalieri se obtiene:
v(C) = r v(P) = rh/3 .
Como se ve, sorprende la estrecha analoga entre la aplicacin del Principio de Cavalieri y
el mtodo mecnico del MTODO de Arqumedes. Ambos participan de puntos de vista muy
prximos sobre los indivisibles en la composicin de las figuras planas o slidas para la
bsqueda de los resultados de su cuadratura o cubatura. La analoga est en las primeras
fases, pues desde luego Cavalieri ya no necesita recurrir al recurso de la palanca para
sumar sus indivisibles; el lgebra le facilita esta operacin y adems le da unas
posibilidades de generalizacin imposibles de lograr en la Geometra arquimediana.
El Principio de Cavalieri tiene como efecto prctico ocultar el papel que juega en los
clculos de reas y volmenes el proceso del paso al lmite. Es decir al igual que
Arqumedes con la composicin de su mtodo mecnico, Cavalieri con su Principio evita
los problemas del infinito, soslayando, como Arqumedes, las dificultades lgicas del paso al
lmite, que substituye por la intuicin geomtrica.
Cavalieri al igual que Arqumedes se cuida muy bien de no explicar claramente la naturaleza
del elemento infinitesimal que utiliza en su mtodo, el indivisible. En efecto, con su atomismo
matemtico parece convencerse a s mismo de que su mtodo es independiente de las
doctrinas sobre la naturaleza del continuo. De hecho, considera pragmticamente que como
la nocin de infinito no aparece en las conclusiones no necesita aclarar su naturaleza. Y en
efecto, igual que en Arqumedes, el infinito en la forma en que es camuflado, no participa
explcitamente en el discurso de Cavalieri, porque su argumentacin est centrada en la
comparacin o correspondencia entre los indivisibles de dos configuraciones, como bien
queda de manifiesto en lo que todava hoy llamamos Principio de Cavalieri, lo que le lleva a
obtener, como a los griegos, razones ms que valores concretos de un rea o
volumen. Pero como los otros matemticos del siglo XVII, Cavalieri considera su mtodo
simplemente como un instrumento geomtrico para evitar el mtodo de exhaucin, de modo
que el rigor no le preocupa demasiado. Cavalieri, como Arqumedes, no estuvo
especialmente interesado en las cuestiones metafsicas acerca de la naturaleza del
continuo, hasta el punto de aseverar de forma reiterada que el rigor es un asunto de los
filsofos ms que de los matemticos.

268

LOS INDIVISIBLES DE CAVALIERI

Y LA COMPOSICIN DE ARQUMEDES

Portada de la primera edicin de Geometra Indivisibilibus Continuorum de Cavalieri (Bolonia, 1635).

Cavalieri introduce para cada figura el indivisible de una dimensin menor, que excluye lo infinitamente
pequeo y permite soslayar las dificultades lgicas del paso al lmite, que substituye por la intuicin geomtrica,
mientras se acerca, gracias a la incipiente lgebra, a las ventajas de los mtodos infinitesimales, de simplicidad y
mayor generalidad frente a la complejidad y particularidad del mtodo de exhaucin de Arqumedes.
Con los Indivisibles, Cavalieri introduce una especie de atomismo geomtrico que le aleja del infinito potencial
de Aristteles y le acerca a las bases metodolgicas del Mtodo Mecnico de Arqumedes. De forma similar a cmo
Arqumedes llena sus figuras, Cavalieri considera las reas formadas por la yuxtaposicin de segmentos, que al
considerarlos en conjunto, los llama Omnes lineae y demuestra que a estas colecciones de lneas les puede
asignar la categora de magnitudes de acuerdo con la Teora de la Proporcin de Eudoxo del Libro V de Los
Elementos de Euclides. En este sentido Cavalieri se mantiene todava prximo a los procedimientos sintticos de
la Geometra griega incapaces debido al insuficiente desarrollo algortmico del lgebra simblica de asignar a las
figuras nmeros que midieran sus reas o sus volmenes, por tanto Cavalieri, como los griegos, todava tena que
calcular directamente con las figuras, que se trataban como magnitudes.
Cavalieri compara el rea de dos figuras por ejemplo el rea de un crculo y una elipse a base de comparar los
correspondientes conjuntos de Todas las lneas tal como, por ejemplo, haba comparado Arqumedes el rea
del segmento parablico con el rea de un tringulo, y lo hace mediante el famoso el Principio de Cavalieri: La
razn entre dos figuras es igual a la razn entre sus colecciones de lneas, tomadas respecto de la misma regula,
artificio de sorprendente parecido con el Mtodo mecnico de Arqumedes, con el que de forma ingeniosa
Cavalieri reduce el problema de obtener la razn entre dos reas a hallar la razn entre sus colecciones de lneas.
Cavalieri extiende sus conceptos al clculo de volmenes de slidos desarrollando una Teora de Indivisibles con
el objetivo de evitar la presencia ostensible del infinito que queda ocultado a travs de la correspondencia entre
los indivisibles de las figuras que compara. Pero un anlisis a conciencia de sus mtodos nos advierten de la
presencia subrepticia del infinito actual, de ah que adolezcan de rigor.
De hecho la pretensin de Cavalieri con su mtodo de Indivisibles parece ser acercar el descubrimiento y la
demostracin, hasta fundirlos en un slo acto matemtico que encuentra los resultados y prueba su validez. Por
eso en su propsito, Cavalieri se acerca a la heurstica del Mtodo Mecnico de Arqumedes pero se aleja de la
apodctica de su Mtodo de exhaucin, nico argumento, hasta ese momento histrico, que permite convalidar
demostrativamente con todo rigor los resultados geomtricos descubiertos por las diversas vas y
procedimientos.
La influencia de Cavalieri ha sido decisiva en la elaboracin de los diversos conceptos y tcnicas del Clculo del
siglo XVII, durante el cual es el autor ms citado despus de Arqumedes. Cavalieri consigui la cuadratura de
parbolas generales y=xn que constituye el primer teorema general del Clculo Infinitesimal y la piedra de toque
para la eclosin de multitud de mtodos infinitesimales. La cuadratura bsica de Cavalieri x n dx , resuma
muchos resultados clsicos y resolva otros muchos desconocidos; por ello se considera que es el primer eslabn
importante, despus de Arqumedes, en la cadena que condujo desde el mtodo mecnico del MTODO, al
algoritmo infinitesimal que descubrieron Newton y Leibniz.
A pesar del insuficiente rigor de la vaguedad geomtrica del fluir de los indivisibles, estos entes infinitesimales
no slo llegaran a influir en la concepcin de Newton sobre momentos y fluxiones y en la nocin de diferencial
de Leibniz, sino que han sobrevivido a la creacin del Clculo por ambos.

269

El mtodo de exhaucin en Arqumedes y los lmites

El mtodo de exhaucin aplicado por Arqumedes para demostrar con todo rigor el resultado
de sus cuadraturas se llama a veces, mtodo indirecto del proceso infinito e incluso
mtodo indirecto del paso al lmite.
Como vimos en el estudio del problema de la cuadratura de la espiral, Arqumedes obtiene
geomtricamente, de forma previa, resultados equivalentes a la suma de los cuadrados de
enteros:
12+22+ +n2 =

n(n + 1)(2n + 1)
(1) .
6

Mediante esta frmula, Arqumedes logra un resultado equivalente a nuestra integral:

x 2 dx =

x3
,
3

la cual hoy se puede establecer mediante el lmite:

Lm
n

12 + 22 + +n2
n3

1
,
3

que se deduce de la frmula (1).

Arqumedes deduce, a partir de (1), de forma geomtrica, la desigualdad:
12+22+ +(n1)2 <

n3
< 12+22+ +n2 (2) ,
3

de donde considerando las regiones P y Q formadas respectivamente por sectores

circulares inscritos y circunscritos al crculo C asociado a la regin E determinada por la
primera vuelta de espiral obtiene:
a(P) 12 + 22 + +(n 1)2 1 12 + 22 + +n2 a(Q)
.
=
< <
=
a(C)
3
a(C)
n3
n3
Al llegar a este punto es una autntica tentacin el tomar lmite a ambos extremos de las
desigualdades. De esta forma obtendramos directamente el resultado demostrado por
Arqumedes:
a(E)=(1/3)a(C).
Pero Arqumedes no establece el resultado de esta forma; en lugar de tomar el lmite,
cuestin fuera de lugar para l, carente del desarrollo aritmtico necesario para realizar esta
operacin, aplica los resultados geomtricos equivalentes a las desigualdades para, habida
cuenta de que la diferencia a(Q)a(P) se puede hacer tan pequea como se quiera,
deducir, mediante una doble reduccin al absurdo, que a(E) no puede ser ni mayor ni menor
que (1/3)a(C), es decir obtener el resultado de la cuadratura de la espiral aplicando el
mtodo de exhaucin por compresin. Ciertamente que la similitud entre el clculo del lmite
y la exhaucin es manifiesta, pero Arqumedes no aplica exactamente la argumentacin
inherente al concepto de lmite.
La cuadratura de Arqumedes de la espiral fue el modelo en que se basaron muchos
matemticos del siglo XVII en particular Fermat y Pascal para obtener sus cuadraturas

270

aritmticas. A base de generalizar las desigualdades (2) para cualquier entero n, se

consegua cuadrar las espirales generalizadas r=k, de donde tras un simple
cambio, aparecan las ideas para cuadrar las parbolas generalizadas y=xk, k=1, 2, ..., es
decir obtener resultados equivalentes a la cuadratura general:

x k dx =

x k +1
.
k +1

Los resultados sobre cuadraturas de Fermat y Pascal descansan en frmulas recurrentes

para la suma de potencias de enteros. Mediante su aplicacin se consegua obtener la
desigualdad:
1k+2k+ +(n-1)k <

nk +1
< 1k+2k+ +nk
k +1

de la que mediante consideraciones implcitamente vinculadas al lmite:

Lm
n

1k + 2k + +nk
nk +1

1
k +1

se obtenan el resultado de la cuadratura general.

No obstante estas pruebas sobre cuadraturas adolecan de falta de rigor, porque para
soslayar la rigidez del mtodo de exhaucin, de forma intuitiva, se aplicaban
subrepticiamente ideas de aproximacin mediante lmites, sustituyendo al argumento
intuitivo de los indivisibles. Estos matemticos saben que la doble reduccin al absurdo es lo
nico que puede concluir con rigor el argumento, pero ninguno sigue fielmente todos los
pasos que en rigor hay que dar, como haca Arqumedes, sino que se quedan en el umbral
de la exhaucin, comentando que es de dominio pblico el camino a seguir.

El modelo Arquimediano de la cuadratura de la espiral es utilizado por Fermat y Pascal para

realizar sus cuadraturas aritmticas, obteniendo un resultado equivalente a la cuadratura bsica
a
ak+1
k
0 x dx = k + 1 , a base de extender las desigualdades que Arqumedes utiliz para aplicar el
mtodo de exhaucin por compresin. La base para estos desarrollos son las frmulas recurrentes
para la suma de potencias de enteros, fundamentadas, en el caso de Fermat, en las propiedades de
los nmeros poligonales, que obtiene inspirndose en los apndices de La Aritmtica de
Diofanto, y en el caso de Pascal en las propiedades del Tringulo aritmtico de Tartaglia.

271

LA EXHAUCIN ARQUIMEDIANA Y LOS LMITES

1.
2.

Fragmento de la obra de Arqumedes Sobre las Espirales con los segmentos circulares inscritos y circunscritos
a la curva espiral para aplicar el mtodo de exhaucin. Arqumedes Opera Omnia, Basilea, 1544.
Arqumedes gemetra con vestimenta oriental. Coleccin Municipal de la imprenta Bertarelli de Miln.

En manos de Arqumedes el mtodo de exhaucin, combinado con su heurstico mtodo mecnico de

descubrimiento se convierte en un poderoso instrumento rigurosamente lgico que le permite alumbrar
intuitivamente y convalidar apodcticamente numerosos resultados sobre cuadraturas y cubaturas, que hoy
obtenemos con nuestros perfeccionados y rigurosos algoritmos infinitesimales, y con los que Arqumedes,
trasciende Los Elementos de Euclides y ampla de forma considerable el patrimonio matemtico de su
poca.
Para demostrar un resultado geomtrico mediante el mtodo de exhaucin, Arqumedes considera una
magnitud como el lmite en sentido geomtrico al cual se aproximan cada vez ms una serie de figuras
inscritas y circunscritas en ella, y construidas ad hoc, aumentando de forma continua el nmero de ellas el
nmero de lados si se trata de polgonos inscritos y circunscritos, de manera que la diferencia se agote,
es decir, se haga ms pequea que cualquier magnitud dada a priori, de modo que mediante una rigurosa
doble reduccin al absurdo se demuestra la igualdad de una magnitud geomtrica desconocida con una
conocida.
Con su argumentacin basada en la estructura geomtrica particular de cada problema, Arqumedes se sita
en el umbral de la moderna Teora de lmites, pero carente de aparato aritmtico, el mtodo de exhaucin
evita el paso al lmite y excluye toda consideracin infinitesimal directa.
Sobre el nombre de Mtodo de Exhaucin conviene observar que es bastante inapropiado porque nunca se
llega a agotar, con los entes geomtricos que van aproximando, la figura cuya magnitud se quiere estudiar.
Es ms, la exhaucin paradjicamente pretende resolver rigurosamente el problema de la inexhaustividad
del infinito. De hecho el nombre del mtodo no lo utilizaron los griegos, sino que es una desafortunada
acuacin introducida en el siglo XVII por G. de Saint Vincent, pero su uso se ha hecho habitual en la
literatura matemtica, aunque alguno de los ms importantes estudiosos de Arqumedes, como
E.J.Dijksterhuis se resisten a llamarlo as y prefieren denominarle el mtodo indirecto del proceso infinito.
As pues, aunque el trmino exhaucin sugiere una aproximacin indefinida hasta alcanzar el resultado de
forma equivalente a la aplicacin de un lmite, no es realmente as, sino que, como vimos en la cuadratura
de la espiral, Arqumedes aplica un proceso indirecto de prueba que evita el empleo de lmites. Es ms esa
es la principal virtualidad del mtodo de exhaucin con el que Euclides y Arqumedes obtuvieron con todo
rigor los mismos resultados que cuando se efectan investigaciones propiamente infinitesimales mediante
el uso aritmtico de los lmites.
Hasta que tenga lugar el proceso de la aritmetizacin del Anlisis a lo largo del siglo XIX no se pueden
realizar con rigor las operaciones de paso al lmite. Los lmites y la exhaucin estn naturalmente
interrelacionados y en consecuencia dan idnticos resultados, pero los puntos de vista de la cuestin
infinitesimal son diferentes en uno y otro. Por tanto en un sentido estrictamente correcto no se debiera
afirmar categricamente que los procedimientos geomtricos de Arqumedes constituyen un paso al lmite,
porque entre la exhaucin arquimediana y los lmites hay una gran analoga pero no una identificacin.
Una imagen de las diferencias entre la exhaucin y los lmites lo dara la consideracin de las curvas como
polgonos de infinitos lados. Contrariamente a lo que se interpreta a veces, nunca los griegos pudieron
hacer tal consideracin, que atentara en su Geometra contra todo rigor, nacido del fantasma del infinito
convertido en tab. Para la Matemtica moderna la imagen descrita no repugna a la razn si aplicamos el
concepto aritmtico de lmite que simplifica de forma muy considerable las antiguas demostraciones. De
esta forma se pasa del mtodo de exhaucin al mtodo infinitesimal.
272

Eplogo: los mtodos de Arqumedes y el calculo integral

Mediante su brillante mtodo mecnico, Arqumedes realiza una investigacin preliminar que
ratifica con absoluto rigor mediante el mtodo de exhaucin. Con ello anticipa infinidad de
resultados sobre cuadraturas, cubaturas y centros de gravedad, que forman parte de la
doctrina de nuestro Clculo Integral, y que actualmente obtenemos mediante los recursos
analticos del clculo algebraico y de la aplicacin de los lmites, que descubren y
demuestran simultneamente. Pero las rigurosas demostraciones de Arqumedes deben
implicar bajo una forma estrictamente geomtrica la del Algebra Geomtrica de los Libros II
y VI de Los Elementos de Euclides todos esos medios infinitesimales modernos. Todo ello
ubica a Arqumedes en antesala histrica del Clculo Integral. Por eso como afirma E.Rufini
(Il Metodo d'Archimede e le origine dell'analisi infinitesimale nell'antichit, p.187):
Arqumedes anticipa nuestro Clculo Integral, tanto en el tiempo como en la
seguridad de los procedimientos y en la genialidad de los artificios no superados por
los precursores del siglo XVII.
A veces se dice de forma entusiasta que Arqumedes es el artfice del Clculo Integral,
queriendo indicar que por primera vez en la historia, Arqumedes realiza una verdadera
integracin. La integral definida se concibe en el Anlisis Infinitesimal como lmite de una
sucesin infinita y no como una suma infinita de puntos, lneas o superficies. En un sentido
amplio los procedimientos de Arqumedes son en la prctica integraciones, pero, en puridad,
no podemos asegurar que Arqumedes realiza una autntica integracin en el sentido
genuino de calcular el lmite de una suma cuando el nmero de sumandos crece
indefinidamente mientras se hacen infinitamente pequeos, porque Arqumedes soslaya el
paso al lmite con la doble reduccin al absurdo del mtodo de exhaucin.
Las afirmaciones categricas como la de J.L.Heiberg que manifestaba que el mtodo de
Arqumedes se identifica con el Calculo Integral deben ser ecunimemente aquilatadas.
Sera quiz ms exacto y ajustado manifestar que el mtodo de Arqumedes constituye un
mtodo de integracin.
Por otra parte, la propia naturaleza del mtodo de exhaucin obliga a Arqumedes a tratar
cada problema de forma particular, atendiendo a la estructura geomtrica intrnseca de la
figura, es decir, no puede haber una formulacin de procedimientos generales para resolver
problemas anlogos, no hay ni un esbozo de clasificacin de los problemas, sino que, como
consecuencia de no manejar Algebra simblica sino geomtrica, el tratamiento de cada
problema depende de la estructura geomtrica particular del mismo.
A lo largo del desarrollo del Clculo Infinitesimal en el siglo XVII se contempla cmo se van
abriendo paso lentamente las cuestiones de la clasificacin de los problemas (advirtiendo
los lazos de parentesco entre los diversos problemas tratados, relaciones que nosotros
expresaramos diciendo que la misma integral aparece en muchos lugares bajo aspectos
geomtricos diferentes), as como de la aplicacin subrepticia de lmites, mediante la
introduccin de la incipiente Teora de Nmeros, mientras que la fundamentacin de la
nocin de lmite permitir realizar, tras su aritmetizacin, la reconstruccin, a lo largo del
siglo XIX, del Anlisis con todo rigor.
Con su capacidad inventiva y su ductilidad investigadora, Arqumedes aventuraba los
resultados que despus demostraba rigurosamente, desarrollando su actividad creativa en
tres fases: una fase inicial basada en la pura intuicin de la simplicidad de las leyes
geomtricas, una fase intermedia de comprobacin mediante el mtodo mecnico de las
hiptesis intuitivas y una fase final, en la que el mtodo de exhaucin confirmaba la validez
de lo augurado en la fase inventiva. As podemos sintetizar el proceso creador de la
actividad cientfica de Arqumedes, despus de tener a nuestra disposicin EL MTODO.
Por eso el valor de esta obra es incalculable, ya no slo desde el punto de vista cientfico o
como documento histrico, sino sobre todo porque pone de manifiesto el proceso heurstico
de los magnficos descubrimientos de Arqumedes, lo cual le da un carcter radicalmente
singular en todo el mbito de la Geometra griega.

273

ARQUMEDES ANTECEDENTE DEL CLCULO INTEGRAL

Arqumedes representado como gemetra.

Coleccin municipal de Miln.

Edicin de Maurlico de 1685 de las obras de

Arqumedes. Biblioteca de la Universidad de Pava.

Arqumedes comparta con Euclides la potencia demostrativa, pero en la genialidad de la invencin super con
creces a todos sus coetneos y antecesores, magnificando de forma muy considerable el patrimonio matemtico
griego. Arqumedes crea en dos estadios de actividad cientfica, con dos mtodos diferentes que se
complementan, el primero intuitivo donde se descubre y se inventa, el segundo apodctico donde se convalida lo
intuido demostrndolo de forma rigurosamente deductiva segn el modelo euclidiano. Arqumedes desarrolla,
pues, una doble actividad como matemtico, la inventiva y la demostrativa, pero en sus grandes tratados clsicos
slo da cuenta de la segunda, produciendo una gran admiracin sus magnficos resultados matemticos, pero
tambin una gran perplejidad, ante la ocultacin del camino seguido en la investigacin. Slo en una obra, El
Mtodo relativo a los teoremas mecnicos, Arqumedes comunica, de forma heurstica, las vas y los
procedimientos mecnicos que utilizaba en sus descubrimientos. Desgraciadamente la obra de Arqumedes
desapareci, siendo recuperada por J.L.Heiberg en 1906, de modo que aunque se intua que Arqumedes
utilizaba un mtodo singularmente original en su investigacin, permaneci oculto durante siglos.
R.Taton escribe sobre Arqumedes en su Historia general de las Ciencias (Orbis. Barcelona, 1988. Vol.2. Libro II,
Cap.II.2. p.355357):
Arqumedes fue clebre por sus trabajos matemticos, por sus invenciones mecnicas y por la sabia defensa
de su patria.
[...] La carta a Eratstenes sobre el Mtodo, no hallada hasta 1906, es la clave de los principales
descubrimientos de Arqumedes. Gracias a ella y al orden de las memorias, establecido utilizando los
prefacios, podemos conocer de forma aproximada el proceso de pensamiento del sabio. [...] Arqumedes no
aplica, en general, las Matemticas a la tcnica, sino que, muy al contrario, la tcnica es la inspiradora de
sus trabajos tericos. [...] Dos hechos hay que observar en esta induccin [de la Fsica y la Tcnica sobre la
Matemtica] que Arqumedes utiliza [en EL MTODO] para una gran cantidad de cuadraturas y cubaturas.
El primero es el empleo de la esttica para conseguir descubrimientos geomtricos; Arqumedes no tiene
ningn prejuicio de purista, y aprovecha toda analoga fecunda entre dos dominios cientficos distintos. El
segundo hecho es la asimilacin de un rea a una suma de segmentos rectilneos; la de un volumen, a una
suma de secciones planas, y la de un continuo en general, a la suma de una infinidad de indivisibles. Cuando
Cavalieri vuelve a tomar, en el siglo XVII, este mismo camino, el mtodo no resultar menos fecundo. Pero el
sutil italiano ser siempre, hasta cierto punto, prisionero de su propia conquista, y no lograr completar su
anlisis intuitivo con una sntesis rigurosa. Su predecesor griego haba dado airosamente ese paso difcil,
echo en el cual se encierra una prueba de la magnitud de su genio.
En suma, la influencia de Arqumedes ha sido decisiva en la gnesis del Clculo Infinitesimal. Los
impresionantes problemas de cuadraturas y cubaturas, resueltos mediante el mtodo mecnico son el
antecedente directo aunque oculto de los indivisibles e infinitesimales del siglo XVII que anticipan el Calculo
Integral, mientras que el mtodo demostrativo de exhaucin es el antecedente directo de los lmites de la
aritmetizacin del Anlisis del siglo XIX.

274

Como conclusin de este estudio histrico sobre una de las figuras ms universales de la
Ciencia y en particular sobre una de las obras ms singulares de Arqumedes y de la
Geometra griega en general, EL MTODO, podemos decir que Arqumedes comenz los
cimientos del slido edificio que hoy constituye el Clculo Integral. Y lo hizo con una sabia
conjuncin de la tcnica del descubrimiento y la demostracin, movindose con la ms
amplia libertad en aqul y exigindose el ms absoluto rigor lgico para sta.
Partiendo de bases eucldeas, pero trascendiendo la tradicin geomtrica, teniendo en su
haber todo el bagaje matemtico clsico, Arqumedes ampli considerablemente los
horizontes metodolgicos de la ciencia de su tiempo y con su capacidad para conjugar
consideraciones tericas e invenciones prcticas cre un estilo, que si no tuvo eco en sus
das por la especial estructura social del mundo helenstico y grecorromano, emergi en el
Renacimiento para constituir la esencia de la ciencia moderna.
Despus del descubrimiento y divulgacin del METODO, sabemos, como hemos ido viendo
anteriormente, que quienes en el siglo XVII buscaban con ansiedad nuevos mtodos ms
heursticos de rpido descubrimiento, nuevos caminos en la Matemtica, se hallaban, muchos de
ellos sin saberlo, ms cerca de Arqumedes de lo que nunca hubieran imaginado. En toda la
parafernalia de tcnicas y mtodos infinitesimales, con indivisibles o infinitamente pequeos, se
recorren nuevamente los caminos abiertos por Arqumedes y no slo en cuanto a los elementos
infinitesimales utilizados, sino que tambin se redescubre el procedimiento inventivo. Tambin,
cuando tras el proceso de aritmetizacin del Anlisis se fundamenta el Clculo Infinitesimal a
travs del concepto de lmite, los matemticos encuentran modelos de rigor impecable en los
procedimientos arquimedianos de los mtodos de exhaucin. He aqu una doble analoga
histrica entre los desarrollos del mtodo mecnico y los resultados obtenidos mediante
indivisibles, as como entre el riguroso mtodo de exhaucin y la fundamentacin rigurosa del
Anlisis mediante los lmites que nos da una idea de la trascendental ascendencia de
Arqumedes en la gnesis de las races del Calculo Integral.

A este respecto escribe J.Babini (EL MTODO de Arqumedes, p.27):

Aunque los matemticos del Renacimiento no conocieron EL MTODO, conocieron la
Geometra griega, el mtodo de exhaucin y el carcter riguroso que este mtodo confera
a las demostraciones. Pero otros eran los recursos y los problemas matemticos, y otra
era la atmsfera que los envolva. El lgebra permita una generalizacin imposible de
lograr con la Geometra griega, mientras que en los problemas mecnicos, que se
presentan en primer plano y exigen recursos infinitesimales, el mtodo de exhaucin es
inaplicable. Por qu entonces la Matemtica demor un par de siglos en dar con un
recurso analtico que sustituyera con igual rigor el mtodo de exhaucin? Por qu los
matemticos de los siglos XVII y XVIII no sintieron aquella exigencia de rigor de los
gemetras griegos y de los analistas del siglo XIX? Quiz la respuesta resida en la
diferente concepcin del saber en la Antigedad y en la Edad Moderna; esa diferencia
entre el griego, contemplativo y terico, ms interesado en el proceso que en el producto,
ms en la demostracin que en el resultado; y el hombre moderno, activo y prctico, que
ve en el resultado correcto la garanta de la validez de la demostracin.

Pero ms all del aspecto apodctico de las densas memorias de Arqumedes, el ancestro
de los grandes creadores del Clculo Integral hay que buscarlo en la magnfica obra de
Arqumedes EL MTODO, un documento histrico de un valor cientfico inconmensurable,
cuyo descubrimiento constituye uno de los sucesos mas importantes que han tenido lugar
para el estudio y conocimiento de la Geometra griega. Tras su lectura, nos podemos
explicar el profundo misterio que rodeaba la actividad investigadora de Arqumedes,
plasmada en todas sus tratados cientficos conocidos y desmentir a Descartes cuando
manifiesta en la Regla IV de Las Reglas para la direccin del espritu la insatisfaccin de
la curiosidad frustrada por la ocultacin con audacia perniciosa de los mtodos de
descubrimiento de la Geometra griega. Como se dijo en la Introduccin, aunque
EL MTODO no fue conocido hasta 1906, ha estado presente de forma subrepticia en la
Historia de la Matemtica como una variable oculta de la funcin generadora de los
resultados del Calculo Integral.

275

Bibliografa
Obres originales sobre Arqumedes y el MTODO
1. ARCHIMDE: Les Oeuvres compltes d'Archimde. Introduccin y notas de P.Ver Eecke,
Vaillant-Carmanne. Lige, 1960.
2. ARCHIMEDES: Arquimedis Opera Omnia. Edicin de J. L. Heiberg. Leipzig, 1910-1913.
3. ARQUIMEDES: El Mtodo. Introduccin y notas de J. Babini. Eudeba, Buenos Aires, 1966.
4. ARQUIMEDES: El Mtodo. Introduccin y notas de L. Vega. Alianza Editorial, Madrid, 1986.
5. ARQUIMEDES (en Cientficos Griegos. Antologa. Recopilacin, estudio preliminar, prembulo y
notas de F. Vera). Aguilar, 1970.
6. GONZLEZ URBANEJA, P.M; VAQU, J.: El mtodo relativo a los teoremas mecnicos de
Arqumedes. Pub. Univ. Autnoma de Barcelona, Ed. Univ. Politcnica de Catalunya. Coleccin
Clsicos de las Ciencias. Barcelona, 1993. Edicin crtica en Espaol de esta obra de Arqumedes.
7. 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.
8. HEATH,T.: The Method of Archimedes recently discovered by Heiberg (A supplement to the works
of Archimedes, 1897). Cambridge University Press, 1912.
9. HEIBERG,J.: Eine neue Archimedeshandschrift, Hermes, vol. XLII, pgs. 234-303, Berln, 1907.
10. HEIBERG, J. L.; ZEUTHEN, H. G.: Eine neue Schrift des Archimedes, Bibliotheca Mathematica
de Teubner, pgs. 321-363, Vol. VII3, Leipzig, juny, 19O7.
11. REINACH,T.: Un trait de Gomtrie indit d'Archimde. Restitution d'aprs un manuscrit
rcemment dcouvert. Revue gnral des Sciences pures et appliques, nos de 30/11/1907,
15/12/1907, XVIII, Pars, 1907.
12. RUFINI,E.: Il Metodo d'Archimede e le origine dell'analisi infinitesimale nell'antichit, Casa Editrice
Alberto Stock, Roma, 1926. Nueva edicin de Feltrinelli, Miln, 1961.

Obras monogrficas sobre Arqumedes

13. BABINI,J.: Arqumedes. Espasa-Calpe, Buenos Aires, 1948.
14. CLAGETT,M.: Archimedes (en Dictionary of Scientific Biography), Charles Scribners sons, New
York, 1970. Vol. I, pp. 213-231.
15. DIJKSTERHUIS,E.: Archimedes, Princeton University Press, 1987.
16. HEATH, T. L.: The Works of Archimedes. Dover, New York, 2002.
17. TORIJA,R.: Arqumedes. Alrededor del crculo. Nivola, Madrid, 1999.
18. VARIOS AUTORES: ARQUMEDES, Editorial Debate/Itaca, Madrid, 1954.

Obras generales sobre Historia del Clculo Infinitesimal

19. BARON, M. E.: The Origins of the Infinitesimal Calculus, London, Pergamon, 1969. Caps 1,2.
20. BOYER, C. B.: The History of the Calculus and its conceptual development, Dover, New York,
1949. Caps. II, IV.
21. CASTELNUOVO,G.: Le Origini del Calcolo Infinitesimale nell'ra moderna. Zanichelli. Bologna,
1938. Cap. I.
22. EDWARDS, C. H.: The Historical Development of the Calculus, Springer-Verlag, New York, 1979.
Caps. 1, 2, 4.
23. GONZALEZ URBANEJA, P. M.: Las races del Clculo Infinitesimal en el siglo XVII, Alianza
Universidad, Madrid, 1992. Caps. 1, 2.
24. GONZLEZ URBANEJA,P.M.: La aparicin de los inconmensurables. Mundo Cientfico, 220,
pp.56-63. Barcelona, 2000.
25. GONZLEZ URBANEJA,P.M.: De la cuadratura de la espiral a la cuadratura de parbolas. La
integracin de xk (en Resolucin de problemas en los albores del siglo XXI, pp.39-79). Editora
Andaluza, Huelva, 2000.
26. GRATTAN-GUINNESS,I.: Del Clculo a la Teora de Conjuntos, Alianza Universidad, Madrid,
1984. Cap. 1.
27. NATANSON, I. P.: Suma de cantidades infinitamente pequeas, MIR, Mosc, 1973.
28. TOEPLITZ, O.: The Calculus, a Genetic Approach, Univ. Chicago Press, 1963. Caps. 1, 2.

276

Obras generales sobre Historia y Filosofa de la Ciencia y de las Matemticas

29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.

BELL,E.T.: Les grands mathmaticiens. Payot. Pars, 1950. CapII.

BERNAL, J. D.: Historia Social de la Ciencia. Pennsula, Barcelona, 1979. Vol.1, Cap.4.7.
BOYER, C. B.: Historia de las Matemticas. Alianza Universidad, Madrid, 1986. Cap. 7.
BRUNSCHVICG, L.: Les tapes de la Philosophie Mathmatique, Blanchard, Pars, 1972. Libro
III, cap.9.
COLERUS, E.: Breve historia de las Matemticas, Doncel, Madrid, 1972. Vol. 1, Cap. 3.
DEDRON,P.: Mathmatiques et Mathmaticiens. Magnard, Pars, 1959. Cap.IV.2.
DIVERSOS AUTORS: Dictionary of Scientific Biography, Scribners sons, New York, 1970.
DUNHAM,W.: Viaje a travs de los genios. Pirmide. Madrid, 1992. Cap.4.
EUCLID: Elements. Edicin de T.Heath, Dover, New York, 1956.
EUCLIDES: Elementos. Edicin de F. Enriques, C.S.I.C., Madrid, 1954.
EUCLIDES: Elementos. Traduccin y notas de M.L.Puertas. Gredos, Madrid, 1996.
EVES,H.: An Introduction to the History of Mathematics, CBS Coll. Publ. N. York, 1983. Cap. 11.
EVES, H.: Great Moments in Mathematics. The Mat. Assoc. of America, 1977. Vol. 1, Caps. 9,22.
GARCIA BACCA, D.: Textos clsicos para la historia de las ciencias, Univ. Central, Caracas, 1961.
GARCA FONT,J.: Historia de la Ciencia. Barcelona, 1980. Cap. 7.
GONZLEZ URBANEJA,P.M.: Matemticas y matemticos en el mundo griego (en El legado de
las Matemticas: de Euclides a Newton). Universidad de Sevilla, 2000, Cap.1.
HEATH, T. L.: A History of Greek Mathematics. Vol.2, Cap.XIII.
KLINE,M.: El pensamiento matemtico de la Antigedad a nuestros das. Alianza Universidad,
Madrid, 1992. Cap.5.3.
KOYR, A.: Estudios de Historia del Pensamiento Cientfico, Siglo XXI, Madrid, 1971.
LORIA, G.: Histoire des Sciences Mathmatiques dans l'antiquit hellnique, Gauthiers-Villars,
Pars, 1929. Cap. III.
MONTESINOS,J. (Coordinador): Historia de la Geometra griega. Actas del Seminario Orotava de
Historia de la Ciencia. Tenerife, 1992. Cap. 22.
MONTESINOS,J.: Historia de las Matemticas en la Enseanza Secundaria. Sntesis. Madrid.2000.
Caps. 3,4.
MONTUCLA,J.: Histoire des Mathmatiques. Blanchard. Pars, 1968. Tomo I, Libro IV, Cap.V
NICOLAU,F.: La Matemtica i els matemtics. Claret, Barcelona, 2000. Cap.10.
PLUTARCO: Vidas paralelas , Vida de Marcelo, XIVXIX, pp.339343 (en de Bigrafos griegos).
Aguilar, Madrid, 1970
REY, A.: El apogeo de la ciencia tcnica griega, UTEHA, Mxico, 1962. Libro V.
REY PASTOR,J.: BABINI, J: , 1951.: Historia de la Matemtica, Espasa-Calpe, Buenos Aires,
1951. Cap. III.17.
REY PASTOR,J. ; BABINI,J: Historia de la Matemtica. Gedisa, Barcelona, 1984, Vol.1, Cap.IV.3.
TATON,R.: (compilador): Historia general de las Ciencias. Orbis. Barcelona, 1988. Vol.2. Libro II,
Cap.II.2.
VARIOS AUTORES: Historia del Pensamiento. Ediciones Orbis. Barcelona, 1983. Vol.1.
VERA,F.: Breve Historia de la Geometra. Losada. Buenos Aires. 1963. Cap. IV.

Artculos de revistes cientficas

60. ANDERSEN, K.: Cavalieri's Method of Indivisibles. Archive for History of Exact Sciences, 291-367,
febrero, 1984.
61. BRUSOTTI, L.: I metodi di esaustione nella storia della matematica, Periodico di Matematiche,
Serie IV, Vol. XXX, n 5, 1952.
62. CASSINA, U.: Storia dal concetto di limite. Periodico di Matematiche, Serie IV, Vol. XVI, 1-19,
82-1O3, 144-167, 1936.
63. DIVERSOS AUTORS: Sur le nombre , Revue "Le petit Archimde", n. 64-65, Pars, 5/1980.
64. GOULD, S. H.: The Method of Archimedes. American Mathematical Monthly, LXII, 473-476, 1955.
65. HEATH, T. L.: Greek Geometry with Special Reference to Infinitemals, The Mathematical Gazette,
XI, 248-59, 1922-23.
66. HILL, J. M.: The Theory of Proportion, The Mathematical Gazette, VI, 324-32, 36O-368, 1912.
67. KNORR, W. R.: Archimedes and the pre-euclidean proportion theory, Archives Internat. Hist.
Sciences, 28, 183-244, 1978.
68. KNORR, W. R.: Archimedes and the Elements, Proposal for a Revised Chronological Ordering of
the Archimedean Corpus. Archive for History of Exact Sciences, 19, 211-29O, 1978.
69. RAEDER, HANS: Johan Ludving Heiberg, Isis, Vol. 11, 367-74, 1928.
70. WHITESIDE,D.: Patterns of mathematical thought in the later 17th century. Archive for History of
Exact Sciences, 1, 1960-62, 179-388, 1983.

277