Você está na página 1de 14

O MTODO DE EXAUSTO E SUA CONTRIBUIO PARA O

DESENVOLVIMENTO DO CONHECIMENTO MATEMTICO

Mauro Lopes Alvarenga


Licenciando em Matemtica
Universidade Catlica de Braslia

RESUMO
Este trabalho vem nos dar uma plida idia sobre a vida e a obra de um dos maiores matemticos de todos os
tempos, Arquimedes de Siracusa. Dentro de seus feitios, Arquimedes aprimorou um mtodo, atribudo a Eudoxo,
chamado de mtodo de exausto, muito utilizado para se determinar reas e volumes de figuras geomtricas.
Devido ao rigor que Arquimedes impunha em suas demonstraes utilizando o mtodo de exausto, daremos
aqui uma mera introduo deste mtodo e suas aplicaes feitas em: A Quadratura da Parbola, Medida do
Crculo e Mtodo de Equilbrio; Sendo que, neste ltimo, o mtodo de exausto utilizado para se provar o
resultado obtido na etapa anterior (aplicao de O Mtodo de Equilbrio).

1. INTRODUO
O nosso interesse principal no ramo da matemtica grega reside no trabalho de Arquimedes, a
quem de acordo com a maioria dos historiadores, deve-se a antecipao (ou mesmo a
inveno) do clculo integral. Em relao s suas obras, destacaremos algumas, seu mais
famoso mtodo demonstrao: o mtodo de exausto; alm de seus efeitos, seus fundamentos
e suas contribuies para o desenvolvimento do conhecimento matemtico, e um mtodo
particular para chegar aos resultados: o mtodo do equilbrio. Arquimedes quase sempre
chegava a concluses pelo mtodo do equilbrio (mtodo do prprio Arquimedes) e depois
demonstrava estas concluses pelo mtodo de exausto (creditado a Eudoxo).

2. HISTRICO
Arquimedes de Siracusa (287 212 a.C.) considerado consensualmente o maior matemtico
da antiguidade. Superou todos os outros pela quantidade e dificuldade dos problemas que
tratou, pela originalidade de seus mtodos e pelo rigor de suas demonstraes. Interessava-se
tanto pela matemtica pura quanto pela aplicada e criou dois ramos da fsica (esttica e
hidrodinmica). Tornou-se famoso por suas invenes mecnicas, algumas delas utilizadas na
defesa da cidade de Siracusa contra o ataque das tropas romanas comandadas pelo general
Marcelo durante a segunda guerra Pnica (218 201 a.C.). Segundo a lenda, Arquimedes foi
morto por um soldado romano durante a tomada da cidade enquanto estudava um diagrama
geomtrico na areia. Mas o episdio da morte de Arquimedes cheio de informaes
desencontradas, cada um relatando um tipo de situao. O certo que sua morte muito afligiu
Marcelo; e que Marcelo sempre considerou quem o matou como assassino; e que ele procurou
os parentes de Arquimedes e os honrou com muitos favores.

Em seu trabalho, desenvolveu tambm o mtodo de exausto, creditado a


Eudoxo, pelo qual se aproxima a quantidade desejada pelas somas parciais de
uma srie ou pelos termos de uma seqncia. Obteve aproximaes da rea de um
crculo comparando-a com as reas de polgonos regulares inscritos e
circunscritos. (Boyer, 1995).
A mais notvel das contribuies feitas matemtica se traduz no desenvolvimento inicial de
alguns dos mtodos de clculo integral.

Segundo Dieguez (2003):

Arquimedes foi o primeiro a deduzir a lei das alavancas e das roldanas e a


descobrir porque os barcos flutuam. Gostava de mquinas e inventou um grande
nmero de engenhos teis e extremamente eficientes, como um aparelho de
bombear gua denominado Parafuso de Arquimedes, que at hoje usado em
algumas partes do mundo, e terrveis catapultas de guerra, com os quais se
podiam lanar pedras de um quarto de tonelada a um (1) quilmetro de distncia.
Seu prestgio era to grande, que se atribua a ele at faanhas improvveis, como
a de ter montado um jogo de espelhos capaz de concentrar a luz solar e incendiar
navios de guerra no mar.

As contribuies de Arquimedes na matemtica foram bastante significativas, como na


determinao de reas de figuras cilndricas, parablicas e elpticas. Determinou tambm
volumes do cone e da esfera utilizando para isso mtodos bastante rigorosos.

O mtodo de exausto o fundamento de um dos processos essenciais do clculo


infinitesimal. No entanto, enquanto no clculo se soma um nmero infinito de parcelas,
Arquimedes nunca considerou que as somas tivessem uma infinidade de termos. Para poder
definir uma soma de uma srie infinita seria necessrio desenvolver o conceito de nmero real
que os gregos no possuam. No , pois, correto falar do mtodo de exausto como um
processo geomtrico de passagem para ao limite. A noo de limite pressupe a considerao
do infinito que esteve sempre excluda da matemtica grega, mesmo em Arquimedes. Mas, no
entanto, o seu trabalho foi, provavelmente, o mais forte incentivo para o desenvolvimento
posterior da idias de limite e de infinito no sculo XIX. De fato, os trabalhos de Arquimedes
constituem a principal fonte de inspirao para a geometria de sculo XVII que desempenhou
um papel importante no desenvolvimento do clculo infinitesimal.

Apesar da grande originalidade dos trabalhos de Arquimedes, ele no teve discpulos diretos
na Grcia. Mas os matemticos rabes interessaram-se pelo mtodo da exausto desde o
sculo IX.

Conforme Boyer (1995):

Para achar reas e volumes, o verstil Arquimedes usou sua prpria verso
primitiva do clculo integral, que, de alguma maneira, muito semelhante, quanto
ao esprito, ao clculo atual. Numa carta a Eratstenes, Arquimedes exps seu
mtodo da alavanca para descobrir frmulas de reas e volumes. Mas, quando
publicava provas para essas frmulas, ele utilizava o mtodo de exausto para se
ajustar aos padres de rigor da poca.

Deve-se notar que a frase mtodo de exausto no era usada pelos gregos antigos, sendo
uma inveno moderna; mas est to firmemente estabelecida na histria da matemtica que
continuamos a fazer uso dela.

2
Ainda, conforme Boyer (1996):

Segundo Arquimedes, foi Eudoxo (408 355 a. C.) que forneceu o axioma que
hoje tem o nome de Arquimedes, s vezes, chamado axioma de Arquimedes e que
serviu de base para o mtodo de exausto, o equivalente grego de clculo integral.
O axioma diz que: dadas duas grandezas que tm uma razo (isto , nenhuma
delas sendo zero), pode-se achar um mltiplo de qualquer delas que seja maior
que a outra. Esse enunciado eliminava um nebuloso argumento sobre segmentos
de reta indivisveis, ou infinitsimos fixos, que s vezes aparecia. (Boyer, 1996).

Do axioma de Eudoxo (ou Arquimedes) fcil, por uma reduo ao absurdo, provar uma
proposio que formava a base de mtodo de exausto dos gregos:

Proposio: Se de uma grandeza qualquer se subtrai uma parte no menor que sua metade e
do resto novamente subtrai-se uma parte no menor que sua metade, e assim por diante, se
chegar por fim a uma grandeza menor que qualquer outra predeterminada da mesma
espcie.

Demonstrao: em linguagem matemtica moderna, temos: seja M uma grandeza qualquer;


1
uma grandeza prefixada e r < 1 . Fazendo M Mr = M1 , segue que M1 = M (1 r ) ,
2
mas M 1 M 1 r = M 2 M 2 = M 1 (1 r ) M 2 = M (1 r ).(1 r ) M 2 = M (1 r ) 2 , sabe-se
que M 2 M 2r = M 3 M 3 = M 2 (1 r ) M 3 = M (1 r ) 2 .(1 r ) M 3 = M (1 r ) 3 ...
1
Repetindo sucessivamente chegamos a M N = M (1 r ) N . Como 0 < 1 r , temos que
2
N
(1 r) tende a zero com o crescimento de N . Da, encontra-se N , tal que
M N = M (1 r ) N < , qualquer que seja o valor dado para .

Esta proposio que chamaremos de propriedade de exausto equivale


seguinte formulao moderna: se M uma grandeza dada, uma grandeza
1
prefixada de mesma espcie e r uma razo tal que r < 1 , ento podemos
2
achar um inteiro N tal que: M (1 r ) < , para todo n > N . Isto , a
N

propriedade de exausto equivale a dizer que lim M (1 r ) n = 0 . Ainda mais, os


n
gregos usaram essa propriedade para provar teoremas sobre as reas e volumes de
figuras curvilneas. (Boyer, op cit).

Neste contexto, Arquimedes fez aplicaes muito importantes do chamado mtodo de


exausto, as quais contriburam para marcar a importncia deste mtodo na matemtica
antiga e para o desenvolvimento de grande parte da matemtica como concebemos hoje. No
entanto, nem Arquimedes nem qualquer outro matemtico grego apresentam o mtodo de
exausto sob a forma de um resultado geral aplicvel a todas as figuras (ou pelo menos a mais
de um caso). Dada a figura, observava-a e tentava formar figuras circunscritas e/ou inscritas,
valendo-se das propriedades daquela figura particular. Era este, ao menos, o procedimento

3
empregado nas primeiras obras. Isto quer dizer que o mtodo era particular (usado de forma
diferente) para cada problema

Este mtodo, que se tornou o modelo grego nas demonstraes de clculos de reas e
volumes, era muito rigoroso, no entanto, tinha um grande seno: o resultado para ser provado,
tinha de ser conhecido a priori. Arquimedes, sem dvida, calculava integrais, mas como no
as conhecia e pela semelhana com a idia de clculo integral dos tempos modernos, foi
atribudo a esse processo o nome de mtodo de exausto. De onde conclumos que
Arquimedes foi o precursor da integrao.

Arquimedes era um estudioso da matemtica e autor de vrios trabalhos dos quais muitos
foram perdidos. Das obras que foram preservadas, destacam-se as seguintes em ordem
cronolgica:
Sobre o Equilbrio das Figuras Planas I;
A Quadratura da Parbola;
Sobre o Equilbrio de Figuras Planas II;
Sobre a Esfera e o Cilindro;
Sobre as Espirais;
Sobre os Cones e os Esferides;
Sobre os Corpos Flutuantes;
A Medida de um Crculo;
O Contador dos Gros de Areia.

Dessas obras citadas, iremos mostrar a aplicao do mtodo da exausto em duas delas: A
Quadratura da Parbola, A Medida de um Crculo. A terceira aplicao ser da obra O
Mtodo, perdida at 1906. Nesta aplicao, mostraremos o mtodo de equilbrio de
Arquimedes. Ainda existem outros textos perdidos ou incompletos (corrompidos por
tradues) como o Livro dos Lemas.

3. APLICAES DO MTODO

3.1 A Quadratura da Parbola


Dos tratados onde houve aplicao do mtodo de exausto, o mais popular era a Quadratura
da Parbola. Sabe-se que, na matemtica grega, a determinao de reas e volumes fazia-se
por comparao com reas conhecidas, como, por exemplo, a rea do quadrado. Quadratura
(ou quadrar) era o nome que se dava a essa determinao. Medir uma figura geomtrica, para
os gemetras gregos, no era encontrar um nmero, mas sim uma figura conhecida com o
mesmo comprimento, rea ou volume da primeira. Nessa perspectiva, o que se coloca no o
problema de calcular a medida de uma rea, mas o problema de determinar a relao entre
duas reas: a rea que se quer conhecer e uma rea j conhecida, comparando-as. As seces
cnicas eram conhecidas havia mais de um sculo quando Arquimedes escreveu, mas nenhum
progresso fora feito no clculo de suas reas. A prova pelo mtodo de Exausto longa e
elaborada, mas Arquimedes provou rigorosamente que a rea K de um segmento parablico
quatro teros da rea de um tringulo T tendo a mesma base e a mesma altura do segmento
parablico.

4
nesse tratado que encontramos o hoje usualmente chamado axioma de Arquimedes: Que o
excesso pelo qual a maior de duas reas diferentes excede a menor pode, sendo somada a si
mesma, vir a exceder qualquer rea finita dada. Isto elimina o infinitsimo ou indivisvel
fixo j discutido no tempo de Plato e basicamente o mesmo axioma da exausto que
Arquimedes admitiu que um lema semelhante a esse j era usado por gemetras de antes,
pois por seu uso que demonstraram que crculos esto para si na razo dupla de seus
dimetros, e que esferas esto entre si na razo tripla de seus dimetros; e ainda que toda
pirmide um tero do prisma de mesma base que a pirmide e mesma altura; tambm, que
todo cone um tero do cilindro de mesma base que o cone e mesma altura. (Boyer, 1996)

Para demonstrar esse resultado, que depende de muita intuio, Arquimedes usa o mtodo de
exausto. Inscreve no segmento parablico um tringulo de mesma base e altura. A seguir, em
cada um dos segmentos parablicos resultantes, inscreve igualmente um tringulo, e continua
a inscrever tringulos nos segmentos parablicos resultantes em cada etapa. Prova ento que
para cada tringulo os dois tringulos construdos sobre seus lados tm uma rea total que
1 4 da rea do tringulo dado. Dessa forma ele exaure o segmento parablico, removendo
sucessivamente esses tringulos inscritos. A rea total pode ser aproximada por uma soma de
reas que, agrupadas adequadamente, levam a uma progresso geomtrica em que cada termo,
salvo o primeiro, 1 4 do anterior. A soma de tal progresso geomtrica 4 3 do primeiro
termo. Cuidadosamente, Arquimedes mostra que a rea do segmento parablico no pode
exceder 4 3 da rea do primeiro tringulo inscrito e, da mesma forma, que no pode ser
menor que esse valor. Assim ele chega concluso desejada e, evitando a armadilha dos
infinitsimos e das operaes com limites, atinge um nvel de rigor insuperado at o sculo
XVIII.

Arquimedes define o que significa base, altura e vrtice de um segmento de parbola: a base
a reta que interrompe a parbola, a altura a perpendicular mxima que pode ser traada da
curva at a base e o vrtice o ponto a partir do qual a altura traada. As outras alturas dos
outros tringulos traados so obtidas por intersees da curva (parbola) com retas paralelas
altura mxima da parbola. Essas retas so traadas tendo como referncia de partida, os
respectivos pontos mdios em que foi divida a base da parbola (ver figura 1).

Esclarecido como formar o polgono inscrito na parbola, este polgono se aproxima da


parbola, isto , pode ser inscrito nesta um polgono de tal forma que os segmentos restantes
sejam menores do que qualquer grandeza determinada.

Explicando melhor, Arquimedes inscreve sucessivos tringulos no segmento de parbola,


calcula a rea desses tringulos e vai obtendo valores cada vez mais prximos do pretendido,
somando as reas dos sucessivos tringulos. Assim, demonstra que a rea do segmento de
parbola igual a 4 3 da rea do tringulo com a mesma base e altura do segmento. No
entanto, Arquimedes no prolonga as somas at o infinito. Ele deduz o seu valor
demonstrando que no pode ser nem maior, nem menor que esses 4 3 . Pois bem, nomeando
as partes resultantes do processo de quadratura da parbola temos: seja P o segmento de
parbola e T0 o tringulo inscrito (ver figura 1); nos dois segmentos restantes so escritos
outros dois tringulos, t01 e t02 , de mesma base e altura. Seja a soma destes T1 . Nos quatro
segmentos de parbola formados so inscritos os tringulos t11 , t12 , t13 , e t14 , cuja soma T2 .

5
T0 T
Precisamos demonstrar, mediante as propriedades da parbola, que T1 = , T2 = 1 e assim
4 4
por diante, isto , os pedaos que so acrescidos ao tringulo no s se tornam cada vez
menores, mas cada um igual a 1 4 do anterior.

Figura 1
Fonte: Scientific American Brasil n 7, 2005.

Para isso, considere a figura 2. Por meio de convenientes rotaes e translaes podemos
supor que qualquer parbola assume a forma y = ax 2 , com a > 0 . Suponha o segmento
1
parablico limitado pela reta y = b , b > 0 . Mostremos que T1 = T0 (os demais tringulos
4
2b b
a
seguem os mesmos clculos): da figura 2 segue facilmente que T0 = = b b . Em D
2 a
2
1 b 1 b b 1 b b
temos x = e y= , ou y = . Da, D , . A reta r passando pelos
2 a 2 a 4 2 a 4
b b
pontos A e C da forma r : y = mx , onde ( A a origem) m = = a = ab .
b b
a
Assim, r : y = ab x .

6
Figura 2

1
Seja s a reta perpendicular a r passando por D . Temos que s : y = x + k , ou seja,
m
1 b

x b 2 a
s: y = + k . Como D ponto da reta, segue que = + k , donde segue que
ab 4 ab
2 + ab x 2 + ab
k= . Assim, s : y = + .
4a ab 4a

x 2 + ab
O ponto F a interseo das retas r e s . Isto significa que ab x = + , ou
ab 4a

x=
(2 + ab ) ab . Agora, y = ab x = ab
(2 + ab ) ab =
b(2 + ab )
. Portanto temos
4a(1 + ab ) 4a (1 + ab ) 4(1 + ab )

F
(2 + ab ) ab , b(2 + ab ) .
4a(1 + ab ) 4(1 + ab )

7
Para calcular a rea do tringulo t 01 temos que achar a sua altura h , que a distncia do
2
(2 + ab ) ab 1 b(2 + ab ) b
2
b
ponto D a F : h = d ( D, F ) = + . Com clculos
4a (1 + ab ) 2 a 4(1 + ab ) 4
b
simples chegamos a h= . A base do mesmo tringulo
4 1 + ab
2
b b + ab 2
d ( A, C ) = + b2 = . Assim, a rea do tringulo t 01 :
a a

1 b + ab 2 b
At01 = . Da, a rea dos tringulos t 01 e t 02 somadas T1 , onde
2 a 4 1 + ab
b + ab 2 b b b T0
T1 = = = . O processo essencialmente o mesmo para provar
a 4 1 + ab 4 a 4
T
que T2 = 1 e os demais.
4

Voltando ao clculo da rea do segmento parablico, basta perceber que o polgono


construdo (ver figura 1) se aproxima efetivamente do segmento da parbola e que T0 + T1 +
4 T T T T 4
T2 + T4 + ...+ Tn + ...= T0 , ou melhor, T0 + 0 + 20 + 30 + + n0 + T0 .
3 4 4 4 4 3

Em linguagem atual, pensando em repetir o processo infinitamente, teramos



1 1 1 1 4 1 4
T0 1 + + + ... + n + ... = T0 n
= T0 , pois a srie n
converge para , j que ela
4 16 4 n =0 4 3 n=0 4 3
1
a soma de uma progresso geomtrica infinita de razo . Sendo assim, a soma de seus
4
1 1 4
termos dada por: = = .
1 3 3
1
4 4

O elegante observar que mesmo no pensando no infinito (soma de infinitos termos),


Arquimedes encontra a soma exata da srie.

3.2 A Medida de um Crculo


Em A Medida de um Crculo, obra composta por apenas trs proposies, Arquimedes
demonstra primeiro que a rea A de um crculo de raio r igual a de um tringulo cuja base
rC
igual circunferncia C do crculo e cuja altura r , ou seja, A = . Resulta disso que a
2
razo da rea do crculo pelo quadrado de seu raio igual razo da sua circunferncia por
seu dimetro. Esta razo comum o que chamamos hoje de . J se tinha em mente, naquela
poca, um valor aproximado para de 3,16 descoberto pelos egpcios no sculo XV a.C.,
aproximadamente. Eles partiram de um quadrado inscrito e outro circunscrito circunferncia

8
e, em seguida, dobrando-se os lados dos respectivos quadrilteros, obtendo-se com isso dois
polgonos de oito lados, calcularam a razo entre os permetros dos octgonos inscritos e
circunscritos e o dimetro da circunferncia. Arquimedes tambm quis descobrir a razo
entre o comprimento de uma circunferncia e o seu dimetro. A diferena e que Arquimedes
partiu de um hexgono regular inscrito e outro circunscrito circunferncia e calculou os
permetros dos polgonos obtidos dobrando sucessivamente o nmero de lados at chegar a
um polgono de 96 lados. O resultado obtido por Arquimedes descrito na matemtica atual
10 1
equivale a considerar que 3 < < 3 , que, em decimais, teramos o seguinte intervalo:
71 7
3,14084 < < 3,142858 .

Arquimedes calculou a rea de um crculo descobrindo os limites entre os quais essa rea se
estende e depois estreitando pouco a pouco esses limites at mais ou menos a rea real. Para
isso, inscreveu dentro do crculo um polgono regular e depois circunscreveu o crculo com
um polgono similar.

Figura 3

O processo utilizado por Arquimedes consistia na utilizao de dois hexgonos e, atravs da


duplicao de seus lados e da repetio do processo, Arquimedes, finalmente, chaga a um
polgono de 96 lados. Em seguida, calculou a rea do polgono interno que estabelecia o
limite inferior da rea do crculo. Feito isso, calculou-se tambm a rea do polgono externo,

9
que fixava o limite superior. E assim, atravs desse processo, chegou-se a um valor
aproximado para a rea do crculo a qual figurava, rigorosamente, entre esse dois limites.

Bastante contribuio teve para a matemtica ao utilizar essa inovao de fazer uso da
aproximao no lugar da igualdade precisa. Arquimedes percebeu que com freqncia bastava
fazer duas aproximaes comparativamente fceis de uma resposta que propusesse um limite
inferior e um outro superior entre os quais residiria a resposta. Quanto maior a exatido
exigida, mais estreitos os limites. Por exemplo, no diagrama anterior, os lados de um polgono
podiam ser aumentados indefinidamente, reduzindo assim a diferena entre os limites superior
e inferior at um resultado infinitesimalmente pequeno. Assim teve incio o clculo, embora
outros 2.000 anos ainda fossem necessrios antes que algum desenvolvesse essa idia. Isso
s aconteceu a partir de 1666, quando Newton formulou os elementos essenciais do clculo
diferencial.

Utilizando os recursos da matemtica moderna, refinada e tendo a figura 3 como apoio,


vamos mostrar a aproximao feita para , partindo de dois polgonos de 96 lados, um
inscrito e outro circunscrito circunferncia, assim como Arquimedes considerou. Considere,
tambm, o raio da circunferncia igual a 1.

360 1 360 360


Temos = e = , ou seja, = . Das relaes trigonomtricas em um
96 2 96 192
l
l l 360
tringulo retngulo, temos sen = 2 = , mas = sen , o que nos d aproximadamente
1 2 2 192
l = 0,0654381656 , sendo l o lado do polgono inscrito.

2
l l2
Sendo a o aptema do polgono inscrito, por Pitgoras temos: a 2 = 1 = 1 , ou
2 4
l2
a = 1 = 0,9994645875 . Agora, calculando a rea At de um dos 96 tringulos do
4
l a
polgono inscrito (ver figura 3) temos: At = . Resulta que a rea do polgono inscrito
2
l a
Ap = 96 At = 96 = 48 l a , onde 48 l = p , semi-permetro do polgono inscrito. Disso
2
resulta que encontramos: Ap = 48 l a , ou Ap = 3,1393502030 , aproximadamente.

Considerando agora o tringulo maior, do polgono circunscrito, formando o mesmo ngulo


L
L
, temos: tg = 2 . Ento = tg , ou L = 0,0654732008 , aproximadamente. Como o
1 2
aptema do polgono circunscrito o raio r = 1 da circunferncia, podemos calcular a rea
L 1 L
AT de um dos 96 tringulos do polgono circunscrito. Assim, AT = = e a rea do
2 2

10
L
polgono circunscrito ser (polgono grande): AP = 96 AT = 96
= 48 L (ou o
2
semipermetro do polgono circunscrito). Temos, AG = 48.L = 48.0,065463008 , resultando
AG = 3,1427145996 , aproximadamente.

Portanto, de nossos clculos, com valores bem prximos aos de Arquimedes, temos:
Ap AC AG , onde AC = r 2 a rea do crculo. Como r = 1 , segue que

3,1393502030 3,1427145996 .

3.3 O Mtodo de Equilbrio de Arquimedes: o volume da esfera


O mtodo de exausto rigoroso, mas estril. Em outras palavras, uma vez conhecida uma
frmula, o mtodo de exausto pode se constituir num elegante instrumento para prov-la,
mas o mtodo, por si s, no se presta para a descoberta inicial do resultado. Quanto a esse
aspecto, o mtodo de exausto assemelha-se muito ao princpio de induo matemtica, ou
seja, ser que esta propriedade vale sempre, para qualquer situao? Como, ento,
Arquimedes descobriu as frmulas que to elegantemente demonstrava pelo mtodo de
exausto?

Com a descoberta feita em 1906 por J. L. Heiberg, na biblioteca de um mosteiro em


Constantinopla, a questo teve, finalmente, esclarecimento. Atravs de uma cpia de um
tratado escrito por Arquimedes, cujo nome ficou conhecido como O mtodo e que se
encontrava perdido desde os primeiros sculos de nossa era. Esse texto foi escrito por volta do
sculo X num pergaminho e, depois, por volta do sculo XIII, foi raspado para em seu lugar
ser escrito um texto religioso. Com o tempo, o texto apagado voltou a ficar visvel em alguns
trechos. Felizmente, foi possvel restaurar a maior parte do texto original.

Para descobrir, ento, suas frmulas, Arquimedes usou o Mtodo de Equilbrio ou lei das
alavancas. Considere a figura 4 abaixo: teremos equilbrio se o produto do peso X pela
distncia x entre o ponto de suspenso de X e o fulcro for igual ao produto do peso Y por
sua distncia y ao fulcro (esses produtos so, por vezes, chamados de momento).

Figura 4

Para Eves (1997):

Esse mtodo diz que para determinar uma rea ou um volume, corte a regio
correspondente num nmero muito grande de tiras planas ou de fatias paralelas

11
finas e (mentalmente) pendure esses pedaos numa das extremidades de uma
alavanca dada, de tal maneira a estabelecer o equilbrio com uma figura de rea ou
volume e centride (centro de massa) conhecidos. Arquimedes no se satisfazia
com esse procedimento, da porque ele recorria ao mtodo de exausto para
fornecer uma demonstrao mais rigorosa em casos como o que acabamos de
focalizar. Pelo Mtodo de Equilbrio pode-se ver a fertilidade da idia que
consiste em considerar toda grandeza como sendo formada de um nmero muito
grande de pores atmicas, embora essa idia no tenha uma fundamentao
precisa.

A aplicabilidade do mtodo ser ilustrada aqui com a segunda proposio de O Mtodo,


segundo o qual o volume da esfera 4 vezes o volume de um cone com base igual ao crculo
maior da esfera e altura igual ao raio. (Anteriormente Demcrito tinha conhecimento de que o
volume de um cone 1 3 do volume do cilindro de mesma altura e mesmo raio). Arquimedes
descobriu esse teorema atravs de uma engenhosa condio de equilbrio entre as sees
circulares de uma esfera e um cone, de um lado, e os elementos circulares de um cilindro de
outro, como mostra a figura 5.

Figura 5
Fonte: Eves (1983)

Seja r o raio da esfera. Coloque a esfera com seu dimetro polar ao longo de um eixo
horizontal x com o plo norte N na origem. Construa o cilindro e o cone de revoluo

12
obtidos girando o retngulo NABS e o tringulo NCS (que um tringulo retngulo
issceles com lados de comprimento 2r) sobre o eixo x . Agora corte nos trs slidos finas
fatias verticais ( assumindo que eles so cilindros achatados) distncia x de N e de espessura
x . Os volumes destas fatias so aproximadamente:

esfera : x(2r x)x,


cilindro : r 2 x,
cone : x 2 x
Tome fatias correspondentes da esfera e do cone e os pendure pelos seus centros em T onde
TN = 2r. O momento (o momento de um volume sobre um ponto o produto do volume pela
distncia do ponto ao centride do volume) combinado destas duas fatias sobre N :

[x(2r x)x + x 2 x]2r = 4r 2 xx .

Isto, podemos ver, quatro vezes o momento da fatia cortada do cilindro quando aquela fatia
pendurada onde est. Somando um nmero grande destas fatias acharemos:

2r[volume da esfera + volume do cone] = 4r[volume do cilindro], ou


8r
2r[volume da esfera ] = 8r 4 , ou
3
4r
volume da esfera = .
3
Isto, que nos narrado em O Mtodo, foi o modo como Arquimedes descobriu frmula do
volume de uma esfera. Mas a conscincia matemtica dele no lhe permitia aceitar o tal
mtodo como uma prova, da Arquimedes forneceu uma demonstrao rigorosa por meio do
mtodo de exausto.

Se a imprensa fosse inveno dos tempos antigos, certamente O Mtodo de Arquimedes teria
um significado maior no desenvolvimento do clculo. Durante quase dois milnios, o trabalho
permaneceu essencialmente desconhecido j que foram feitas poucas cpias. A redescoberta
de O Mtodo de Arquimedes foi um feito memorvel.

DISCUSSO E CONCLUSO
Sabemos que hoje em dia o Clculo Integral largamente usado em diversas reas do
conhecimento humano e aplicado para a soluo de problemas no s de matemtica, mas de
Fsica, Qumica, Astronomia, Economia, por exemplo. Mas para se chegar a mtodos
refinados, como os de agora, o conhecimento matemtico passou por diversas lapidaes e
contradies que duraram sculos para se resolverem.

Arquimedes, pelas obras produzidas, pelo grau de rigor que se auto-exigia em suas
demonstraes e pelo seu fabuloso raciocnio geomtrico parecia ser um matemtico que no
condizia com o tempo em que vivia, pois, de longe, pensava muito alm dos demais
matemticos contemporneos, principalmente quando se falava em geometria. Sem dvida
alguma, a matemtica arquimediana contribuiu bastante para o surgimento da matemtica

13
moderna, j que, partindo de seus postulados foi-se capaz de se chegar a resultados mais
convincentes e elaborados e que no exigiam todo aquele rigor presente nos trabalhos de
Arquimedes.

Com relao ao mtodo de exausto, que j sabemos que foi criado por Eudoxo, Arquimedes
foi quem o aplicou de maneira mais elegante, aproximando-se da atual e verdadeira
integrao. O que podemos concluir com isso, a sua influencia no desenvolvimento do
conhecimento matemtico. O interessante que nenhum matemtico clssico dizia: vamos
recorrer ao mtodo de exausto para encontrarmos a soluo do problema. De fato, esse
termo (mtodo de exausto) uma inveno tardia, por volta do sculo XVII.

Mas, entender o mtodo de exausto e suas aplicaes e resultados no nada trivial. O que
iremos encontrar nos livros referentes ao assunto so algumas poucas e repetidas informaes,
alm de rigorosas demonstraes nada fcil de se interpretar e tirar concluses. Isso vem a
mostrar que grande parte das obras e dos manuscritos feitos por Arquimedes foram perdidos e
o que se tem hoje em dia fruto de espinhosas tradues e interpretaes muitas vezes
contraditrias. Conclui-se, assim, que no se pode dar uma idia de sua obra traduzindo os
resultados para a nossa linguagem, j que uma traduo desse tipo transformaria nosso texto
em um fraco elenco de resultados facilmente dedutveis mediante as tcnicas refinadas que
conhecemos atualmente. Ento, para estudar e reconstruir as contribuies de Arquimedes
preciso mergulhar na sua rigorosa matemtica da idade antiga.

REFERNCIAS BIBLIOGRFICAS

AABOE, Asger. Episdios da matemtica antiga (coleo fundamentos da matemtica elementar).


Rio de Janeiro: SBM, 1984.
ALVES, Jos Afonso Rodrigues. Lio de clculo diferencial e integral. Goinia-Go: Universa,
2004.
BORN, Margareth E. Curso de histria da matemtica: origens e desenvolvimento do clculo.
Braslia: Universidade de Braslia.
BOYER, Carl B. Clculo - tpicos de histria da matemtica para uso em sala de aula. So Paulo:
Atual Editora Ltda, 1995. v. 6.
______. Histria da matemtica. 2. ed. So Paulo: Edgard Blcher Ltda, 1996.
EVES, Howard. Great moments in mathematcs. Dolciani Mathematical Exposition n 5, USA: The
Mathematical Assiciation of American, 1983.
______. Introduo histria da matemtica. 2. ed. So Paulo: Unicamp, 1997.
REVISTA GALILEU. Especial Eureca: Eureca A matemtica divertida e emocionante. 94p. Edio
Especial (2003).
SCIENTIFIC AMERICAN BRASIL. Coleo Gnios da Cincia: Arquimedes, pioneiro da
matemtica. N 7. 98p. Edio Especial (2005).
STRATHERN, Paul. Arquimedes e a alavanca em 90 minutos (coleo 90 minutos). Rio de Janeiro:
Jorge Zahar Ed., 1998.
Mauro Lopes Alvarenga (maurolopes.mat@gmail.com)
Curso de Matemtica, Universidade Catlica de Braslia
EPCT QS 07 Lote 01 guas Claras Taguatinga CEP.: 72966-700

14