EL MTODO DE ARQUMEDES DIRIGIDO A ERATSTENES

PROPOSICIN I: Cuadratura del segmento parablico.

Sea ABC un segmento parablico comprendido entre la recta AC y la seccin ABC de
un cono rectngulo (parbola); divdase AC por la mitad en D y trcese la recta DBE
paralela al dimetro de la parbola, y uniendo B con A y B con C, trcense las rectas
AB y BC.
El segmento parablico ABC es cuatro tercios del tringulo ABC.

Trcense por los puntos A y C la recta AZ paralela a DBE y

la CZ tangente al segmento parablico en C; prolnguese CB hasta T 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 la subtangente relativa a un
punto de la parbola es doble de la abcisa de este punto, es decir: EB es igual a BD.
De la semejanza de los tringulos ZKC, MNC y EBC, as como KAC, NQC Y BDC se
deduce [Euclides VI.4] las igualdades de segmentos: MN = NQ y ZK = KA al ser EB=BD.
Aplicando una relacin conocida que Arqumedes haba demostrado en la Proposicin V
de Sobre la Cuadratura de la Parbola resulta que CA/AQ =MQ/QO, y siendo semejantes
los tringulos ACK y QCN se tiene: CA/AQ = CK/KN, pero al ser iguales los segmentos
CK y TK, resulta la igualdad de razones TK/KN = MQ/QO, relacin geomtrica bsica
para aplicar el mtodo mecnico de la palanca.
En efecto, puesto que el punto N es el centro de gravedad de la recta MQ, por ser MN igual
que NQ, si tomamos la recta VH igual a QO de manera que su centro de gravedad sea el
punto T, es decir, de modo que sea VT igual que TH, la recta VTH estar en equilibrio con
la recta MQ que permanece en su lugar, por estar TN dividida por el punto K en partes
que estn en razn inversa a los pesos VH y MQ [Sobre el Equilibrio de los Planos I.6], y
por lo tanto K es el centro de gravedad del conjunto de ambos pesos.
Anlogamente si en el tringulo AZC se trazan tantas paralelas como se quiera a ED, stas,
permaneciendo en su lugar, estarn en equilibrio con los segmentos determinados sobre
ellas por el segmento parablico 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 AZC componen el propio tringulo y los
segmentos rectilneos obtenidos en segmento parablico del mismo modo que OQ
componen el segmento parablico ABC; por lo tanto el tringulo AZC, permaneciendo
en su lugar, estar en equilibrio, respecto del punto K, con el segmento parablico
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 G de manera que sea CK sea el triple de KG, el punto G
ser entonces el centro de gravedad del tringulo AZC [Sobre el Equilibrio de los
Planos I.14], y puesto que el tringulo AZC, permaneciendo en su lugar est en
equilibrio, respecto del punto K, con el segmento parablico ABC, trasladado con centro de
gravedad en T, y que G es el centro de gravedad del tringulo AZC, se verifica, por
consiguiente, que la razn del tringulo AZC al segmento parablico ABC colocado
alrededor del centro T es igual a la razn de TK a KG. Ahora bien, siendo TK triple de KG,
el tringulo AZC ser triple del segmento parablico ABC. Adems, el tringulo AZC es
cudruple del tringulo ABC, ya que ZK es igual que KA y KA es doble de BD al ser AD
igual que DC, luego el segmento parablico ABC equivale a cuatro tercios del tringulo
ABC.

Resumen del desarrollo de Arqumedes:

El segmento parablico p(ABC) es cuatro tercios del tringulo t(ABC):

En efecto:
De la geometra de la figura resulta: TK/KN = MQ/QO, es decir: QO TK = MQ KN.
Se toma: VH=QO [VT=TH], luego: VH TK = MQ KN
Segn Equilibrio de los Planos I.6, resulta: VTH [= QO] est en equilibrio con MQ en la palanca TN con fulcro en
K.
Los segmentos MQ componen el tringulo t(AZC) y los segmentos QO componen el segmento parablico
p(ABC), por tanto: t(AZC) en su lugar equilibra respecto de K a p(ABC) trasladado con su centro de gravedad
(c.d.g.) a T, luego: t(AZC) KG = p(ABC) TK, siendo G el c.d.g. del tringulo t(ABC), que segn Equilibrio de los
Planos I.14, se obtiene tomando G tal que TK=KC=3KG, por tanto : t(AZC) = 3 p(ABC).
Ahora de ZK=KA =2BD, resulta: t(AZC) = 4 t(ABC)
Luego definitivamente se tiene: p(ABC) = (4/3) t(ABC). cqd.
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 de EL MTODO, basada en los postulados de la Esttica extrados del
tratado Sobre el Equilibrio de los Planos y previa a la geomtrica por exhaucin
(proposiciones 18-24), que desarrolla posteriormente en el mismo tratado y en la que el
sabio utiliza la suma de los trminos de una progresin geomtrica indefinida de razn al
demostrar un resultado geomtrico equivalente a la frmula

de donde obtiene finalmente el resultado principal: la equivalencia entre el segmento de

parbola y los cuatro tercios del tringulo inscrito con el mismo vrtice y altura que la
parbola. Se trata del primer ejemplo en la Historia de la Matemtica de la cuadratura de
una figura mixtilnea. 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.
Ya que el mtodo mecnico de investigacin de EL MTODO de Arqumedes apunta
histricamente hacia los indivisibles e infinitesimales de las tcnicas de cuadratura del siglo
XVII que condujeron al descubrimiento del Clculo Infinitesimal por Newton y Leibniz,
mientras que el mtodo demostrativo de exhaucinapunta hacia las tcnicas aritmticas de
los lmites que fundamentan el Anlisis moderno en el siglo XIX, la conjuncin de ambos
mtodos, uno heurstico y emprico y otro riguroso y apodctico, sitan a Arqumedes en las
races histricas 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 los
procedimientos y en la genialidad de los artificios no superados por los precursores del
siglo XVII.
Pero ms all de la Matemtica, la obra arquimediana, prdiga en asombrosos resultados y
modelo de exposicin rigurosa, al aplicar como hemos visto en la cuadratura del segmento
de parbola la Mecnica a la investigacin de los teoremas, desarrolla una concepcin
matemtico-experimental que est en la raz de una tradicin cientfica llamada
despus Filosofa Natural y mucho ms tarde Fsica Matemtica, que retomada por
Leonardo, Galileo y Newton, establece las bases de la Revolucin Cientfica del siglo
XVII, y en particular constituye un slido punto de partida tanto para la configuracin de la
nueva Fsica como para la invencin del Clculo Infinitesimal. Muy acertado es, pues, lo
que escribe en el siglo XVII Montucla en su famosa Historia de las Matemticas:
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.