Anda di halaman 1dari 19

1

-,

ARTIGOS

ARQUIMEDES, 0 RIGOR E 0 METODO

Ger a l do Avita

1. Introdu,,;ao

A obra de Arquimedes, pelos muitos elementos de criativida de que cont~m, e pelo uso magistral dos recursos de inyenc~o e de! coberta, enseja reflexaes tao oportunas e enriquecedoras ao matemf tico de hoje como aos de muitas epocas passadas. Seus escritos, e~ tensos e variados, sao, no dizer de Heath ([9J, p. 20), "monumen tos de expo s t cao ma t ama t i c a", Segundo Eves ([6J, p . 143), as tra balhos de Arquimedes "muito se parecem com artigos especializados dos modernos pe r i o d t c o s ". Para Plutarco ([14J, p . 275) "na o e p01 sivel encontrar em toda a Geometria questaes mais dificeis e com pl i c ad a s , au expl i c a c de s rna is simpl es e 1 ii c i das". A propos i to do i~ teresse permanente de Arquimedes, cabe lembrar que suas obras, ju~ tamente com as de Euclides, ocupavam varios semestres de estudo no famoso Seminario de Matematica de Frankfurt nos anos vinte e trin ta, conforme nos conta Siegel [l7J.

A importancia e a real significado da obra de Arquimedes

so podem ser devidamente apreciados numa analise queleve em con-

ta a epoca em que ele viveu, a influencia que sabre ele

tiverem

seus predecessores e a que ele iria exercer no desenvolvimento da Matematica dezoito seculo apos sua morte. Procurando focalizar es ses varios aspectos, pretendemos expor no presente artigo algumas facetas interessantes da obra do grande geometra. 0 leitor intere~

sado em maiores detalhes deve consul tar os abalizados livros de

Heath Do] e Dijksterhuis [5J. Van der Waerden [l8] t amb sn faz

uma excelente exposi~ao sabre Arquimedes, concisa e bem equilibr~ da. Dutra obra muito recomendavel, com a vantagem de estar em PO! tugues, e a livro de Aabae [lJ. cujo capitulo 3 e todo ele d e d i c a do a Arquimedes.

28

2. Sobre a vida e os escritos de Arquimedes

,

Alguns fatos pitorescos sobre a vida de Arquimedes estao re latados ern U6], e tambem a este artigo remetemos 0 leitor. Ja na antiguidade varias historias for am escritas sobre Arquimedes, mas nem sempre e possivel verificar a veracidade de muitas delas. Tem-

-se como certo que ele morreu ern 212 a,C., fato este descrito ern

narrativas antigas, dentre as quais a de Plutarco (46-120), cujo livr~ de biografias Q4] contem urn capitulo dedicado a Marcelo, 0 general romano que comandou 0 saque de Siracusa ern 212 a,c, Nessa biografia Plutarco fala longamente de Arquimedes (pags. 268 a 280 da edi~ao brasileira; pags. 252 a 255 da edi~ao "Great Books"), r! latandc inclusive tr~s vers6es de sua morte no referido saque. Seu

nascimento ern 287 a.C. e a conclusao a que se chega por uma infor ma~ao de que ele teria vivido 75 anos. Isto vern de urn relato encon trado nos escritos de Joannes Tzetzes, um autor bizantino do secu 10 XII, portanto distante de Arquirnedes cerca de 1.400 anos! Decer to Tzetzes se baseou em algum documento fidedigno, mas disto nada sabemos.

Arquimedes viveu em Siracusa, mas acredita-se que ele tenha passado boa parte de sua vida em Alexandria, 0 mais importante ce~ tro de estudos da epoca, verdadeira capital do saber helen;stico. Ali ele teria estudado com Euclides ou seus sucessores, De fato, todos os seus escritos, pelos temas que tratam, pelo conteudo e p! 10 estilo, tern os tra~os caracteristicos de urn sabio de Alexandria. De resto, era seu costume enviar suas descobertas ao astronomo Co non ern Alexandria, a quem devotava grande admira~ao e amizade. Apcs a morte deste, Arquimedes passou a remeter seus trabalhos a Dositeo, disclpulo de Conan, e tambem a Eratostenes. Mais adiante reproduzimos trechos das cartas de Arquimedes a esses sabios,

Como aconteceu com muitas obras antigas, as de Arquimedes

tambem se perderam ao longo dos seculos au foram destruidas nos varios ataque que sofreu a biblioteca de Alexandria. (A proposito desse notivel centro do saber antigo, recomendamos 0 excelente artigo de Langer D3].} 0 que hoje possuimos da obra do grande ge~

~ I

29

Arquimedes, segundo poster feito na cidade de Si racusa, na rta1ia, par ocasiao de uma conferencia em homenagem ao geometra grego, rea1izada de 11 a 16 de abril de 1961, com a parttcipa9ao de matematicos, f;si cos e engenheiros de todo 0 mundo. -

L

30

metra deriva de manuscritos copiados uns dos outros ao longo dos s~eulos e eujos ancestrais ~ltimDs datam da ~poca~o imperador JU! tiniano no seeulo VI, portanto mais de 700 anos apcs a morte de A~ quimedes! Esses manuscritos for am minuciosamente estudados e edi-

tados no final do s~culo passado pelo eminente filOlogo dinarnar

ques J.L. Heilberg. Ern [lJ 0 leit~r encontrara uma rela~ao das

obras de Arquimedes que chegaram ate nos. No eome~o do presente s~culo 0 mesmo Heiberg faria uma descoberta sensacional de urn novo livro do grande geornetra, ate entao deseonhecido no mundo cientifi co. E sobre isto que falaremos em seguida.

3. Sobre 0 ilvro "0 Hetodo"

Os escritos de Arquimedes sao dotados de uma admiravel es

trutura logiea e que, por isso mesmo, nem sempre revelam os cami

nhos que guiaram 0 autor em suas deseobertas. No dizer do matemati co Wallis (1616-1703), citado por Heath, "e como se ele tivesse de liberadamente oeultado da posteridade 0 segredo de seu metodo de investiga9ao". Referindo-se a obra de Gauss (1777-1855), eujos es critos tamb~rn muitas vezes escondem os eaminhos da descoberta, Sar torius explieava que a obra acabada e como urn ediflcio, euja cons tru9ao requer os andaimes, mas que estes, uma vez retirados, nao deixam tra90s de como foi feito 0 ediflcio.

Arquimedes, no entanto, faz referencia a urn metodo meeanico de descoberta quando, no prefacio de seu livro "A Quadratura da Pa rabo1 a" el e di z a Dos iteo que va i "eomuni car-l he ( ... ) urn certo teorema geometricO C ••• ) que eu descobri prirneiro por meios mecan; cos". Esse "metodo mecanico" de Arquimedes na verdade sempre exi! tiu e nao fo; por ele escondido. mas expos to ern urn de seus livros. escrito ern forma de carta a Eratostenes, porem perdido para a PO! teridade. 0 leit~r pode, pois. imaginar 0 grande interesse e a cu riosidade corn que foi recebido 0 anuncio dessa descoberta no in; cio do nosso seculo pelo mesmo Heiberg que editara as obras de Ar quimedes. Tudo come90U quando Heiberg soube, pela leitura de urn artigo publicado em 1899, da existencia de urn palimpsesto descober

I t

31

to no Mosteiro do Santo Sepulcro em Jerusalem e levado para Cons

tantinop1a, 0 qual apresentava tragos de alguma e~crita

-,

ca. Ele teve logo a suspeita de que se tratava de algum

rna tema t i trabalho

de Arqutmedes, 0 que de fato ficou posteriormente comprovado pelos exames que fez do proprio pal;mpsesto em Constantinopla. Pelas des

cri ~oes de Heath [1 OJ , baseadas nas do p r dp r i 0 He; berg [lZ]. va

rios livros de Arquimedes haviam sido escritos em pergaminho, no

seculo X, totalizando perto de ZOO folhas em col una dup1a. Poste riormente, 0 material fora usado para nele se escrever urn livro de ora~oes. removendo-se primeiro, tanto quanto posslve1. a escrita original. Heiberg conseguiu ler quase toda a escrita subjacente, verificando que 0 palimpsesto continha, alern de obras conhecidas de Arqu;medes, 0 texto inedito e quase completo do livro a que ja

nos referimos, conhecido palo tltulo de "0 Metodo". comega assim:

Esse

livro

A~qu~mede6 ~ En~to4tene~1

Saudat;.o e6 .

Env~e~-ihe em outna oea6~aO ~igun~ teonem~6 de4eo bent06 po~ m~m, menamente o~ enune~ado~, de~xando-lhe a tane6a de de4eobn~n a4 demon~tna~oe4 entao om~t~dab.

( ••• J Vendo em voe~ um ded~cado e~tud~o~o, de eon~~de navel em~n~ne~~ em Hio~o6~~ e urn adrn~n~don da pe.bQuT ML matemiit~ca, juigue~ conven~ente e.bcltevefL-lhe p~na' expi~eafL a.b peeui~~~~dade.b de urn eeltto metoda peio qual e po.b.bZvei ~n~e6t~gan algun.b pltobiema.b de Materniit~e~ pan me~o.b mee~n~co.b. ( ... J Celtt~.b CO~.b~.b pfL~me~ItO .be tOltnafLarn ciafLa4 pana m~m peio metodo mecan~co, embon~ depo~.b t~ve.b.bem de belt demon.btltada.b ~eia Geometn~a., jii que .bUll. ~nVe.bt~ga.t;.ao peto lte6elt~do metodo nao conduz~4 .be a pltovll..b ll.ee~tiive~.b. Centll.mente e mll.~.b 6ac~t 6aze4 a~ demon6tfL~t;.oe6 quando temD4 pltev~amente adqu~lt~do, pe to metodo, ll.igum eonhee~mento da4 Que4toe4 do que 4ern e64e conhecimento. ( ..• J E4tou convencido de Que eie .belta vaiio6o palta a Matematica, pOi4 pne66into que ou tno.b ~nve4t~gadolte4 da ll.tualidll.de ou do nutuno de4eo bltiltiio, peiD metoda aqui de6efLito, outna.6 pltopo6it;.oe~ que nao me ocoltnenam.

32

Comentando 0 trecho final desta c t t ac ao , D.E. Smith D1] 0E. serva que "talvez em toda a H'i s tfir t a da Matematica,\nenhuma verdade profetica como essa jamais foi expressa em palavras, Parece ate c~

mo se Arquimedes visse, numa visao, os metodos de Galileu, Cava

lieri, Pascal, fiewton, e muitos outros grandes ma t.ama t t c o s da Re

nascen~a e da atualidade",

Vamos descrever, a seguir, apenas os dois primeiros probl~ mas tratados por Arquimedes com recursos mecanicos, pois eles sao suficientes para bern ilustrar a essencia de seu metodo.

4~ A a~ea da parabola

Ainda no prefacio (carta a Erat6stenes) do livr~ "0 Mitodo" Arquimedes escreve:

Enunei~4ei 0 pnirnei40 ~eo4em~ que de~eob4i P04 rne~odo~ meeanieo~, i~~o e: qu~tque4 segmen~o de p~4abota e qua xno te4~o~ do xniangu£o eom ~ rne~ma b~be e Lguat ~l XU4~.

Dada uma parabola ABC, com eixo e, seja D 0 ponto me dio do segmento AC e B a interse9ao da parabola com a reta paralela a e passando pelo ponto D. 0 que se pretende estabe lecer e que a area do segmento de parabola ABC e 4/3 d a area do

M

H

N

33

t r i anqu l o ABC. Para isto t r ac arno s a reta CF tangente a parabola em C. Par um ponto a rb i t rji r i a L da parabol a e "tambem por A tr~ c amo s respect; vamente as segmentos IX e AF para 1 el as ao eixo. Tr-ac anos t amb em , par C e B a segmento CH que encontra AF em G e tal que CG = GH. Par propriedade da parabola, DB = BE, de sor te que IJ = JK e AG = GF. Ainda par propriedade da parabola podemos escrever:

KI AC

XL AK'

Mas

AC _ GC GH

AX - CJ GJ'

de forma que

XI _ GH KL - OJ"

Esta pr-opor cao , que em forma moderna pode-se escrever XI.GJ KL·GH, nos d i z que se interpretarmos HJ como uma alavanca de ful era em G, entao a segmento KI no extremo J equilibra 0 segme~

to LK (= MN) no extremo H. (Isto e a lei da alavanca, obtida

pelo prfiprio Arquimedes ern seu livro "Sabre 0 Equilibria de Fig!

r a s Planas".) Variando 0 ponto L ao l onq o do area de parabola ALEC, obtemos 0 triangulo AFC como uniao de todos as segmentos do t i p o KI e a segmento de parabola como un t ao de todos os se£l. mentos do tipo KL. Agora vem a parte heurlstica do metodo: cons; derando 0 triangulo AFC e 0 segmento de parabola ABC como reu niao dos infinitos segmentos XI e XL respectivamen~e, presume-se que 0 segmento de parabola com seu centroide em H equtlibrara o t r t a nqu l o AFC o nd s ele s e encontra, com centroide x, GX=GC/3=GHj3. Sendo p a area do segmento de parabola ABC e a(AFC) a do t r t a n gulo AFe, teremos entao:

Mas a(AFC) sejado.

a(AFC) GH

P = GX = 3

4a(ABC) , logo p = 4a(ABC)/3. que e 0 resultado de

Arquimedes observa que esse argumento da urn born indicia de que a conclusao e verctadeira, Esta, porern. nas palavras do proprio

34

Arqutmedes, "requer demonstra~io geometrica, que eu mesmo bri e ja publiquei" (no livro "A Quadratura da Pai'ibola").

desco

5. 0 volume da esfera

Vejamos agora como Arqutmedes calculou pelo seu metodo meca nico, 0 volume da esfera. Na verdade, ele enuncia a seguinte (Pr£ posi~io 2):

1) 0 vol-ume de qual-que» ee f er a e quatix-o veses 0 do cone com

base iguaZ a um gT'ande c{pcul-o da esfera e aZ1;ura igual ao raio

da mesma esfera; e

2) a vol-ume do cil-indro com base iguaZ a urn grande airaul-o da esfeX'a e aZtuT'a igual- ao dtametX'o ell veses 0 vol-ume da es 2

fera.

Para estabelecer esses resultados. Arquimedes pro cede da

seguinte maneira: seja ABCD urn circul0 maximo da esfera, com dia metros perpendiculares AG e BD. Imaginemos urn outro circulo rna x imo no plano que passa por BD e e perpendicular a AG, Consideremos 0 cone dos segmentos de reta originando em A (virtice do c£ ne) e passando pel0 segundo cTrcul0 descrito acima, cone este te~ do como base 0 c Ir cu lode diametro FG e que jaz num pl ana perpendicular a AC. Finalmente seja EFGH 0 cilindro de base coinei dente com a do cone descrito e eixo AG. Feitas essas constru~oes,

seja MN uma reta do plano ABD, perpendicular a AC e que corta

o segmento AC no ponto Q. Teremos entao:

AQ.AC;

portanto,

AQ AC'

1

35
H M G

"
-,
I J
C'
A
K E

Isto mostra que soma das areas d o s circulos de diametros PR e OS e s tf para a area do c i r cu l o de diametro MIV a s s i m como AQ e s t a para AC.

Vamos agora estender CA ate G' de forma a termos AC=AG I e considerar CC' como alavanca de fulcra em A. Novamente, pela lei da alavanca, a rela~ao acima,

2 2

OP + qo

QM2

AQ AC' ,

significa que os circulos de diametros PR e OS, ridos para c', equilioram 0 circulo de diametro

quando transfe UN localizado

ern Q. Em seguida consideramos 0 cilindro como uniao dos circulos de diarnetro MN, Q vari ando de A ate C; e analogarnente para a esfera e 0 cone AFG, de sorte que concluimos que 0 cilindro, com centroide em T (AT = AC/2}, estara ern equilibrio com a esfe ra e 0 cone transferidos para c', como ilustra a figura, Desi~ nando por VE, Co e C{ o s vol umes da esfera, do cone e do ci 1 i n dro respectivamente. obtemos:

Co + VE AT

2'

AG'

ou seja,

36

A T

'\

Sabemos, par outr~ lado, que Ci 3eo; portanto. Co ~ 2VE. Mas como FG ~ 2BD, ob t emo s que Co ~ 8 vol. (cone ABD). Daqui e de

Co = 2VE sEgue-5E que

VE ~ 4 v o l , (cone ABD).

(E claro que isto significa precisamente que VE ~ 4or3/3, onde r e 0 raio da esfera.) fsto estaoelece a resultado 1). Par outro lado,

v o l v j c t l , IJKL)

2 v o l • (c i l , BDIK) 6 v c l , (cone ABD) 3

2

que e 0 resultado 2).

Vejamos agora 0 que diz Arquimedes logo ao final dessa "de monstra~ao":

Ve.6te te.olLema, he.gundo a quai a voiume daeh6e.lLa e quatlLo vezeh a do cone. .tendo pOlL ba.6e um cZlLc~io max1mo da e.66e.lLa e. al.tulLa iguai ao lLa10 da e..60e.lta, eu conce.b1 a 1deIa de. que. a ~upelL61cie da ehoe.lta e quatlto ve.zeh a de. urn de. .6e~h clltcuiOh m~ximo.6; p01h, a jufgan peto nato de que a alLea do clltcufo e iguat a do tltIinguto que. tem pOIt bahe a c1ILcun6eltencia e a£..tulta iguat ao naio, vejo que, do metmo modo, a vo fume da e.tne.lta e igual ao do cone com bate Iguat ~ tupe.lt6Zcie da etne.lta e ai.tuna 19uat ao Itaio.

Arquimedes revela al a notavel argucia de seu racioclnio.

No dizer de Aaboe CD]. p. 124). "este e 0 primeiro e um dos mais

prec;osos exemplos de ousada analogia na Hist6rta da Matem5tica", Arquimedes compara a esfera em rela~ao ao seu vol~e e sua area, com 0 circulo em rela~io a sua area e sua ctrcunfer~ncia; e do resultado ja obttdo para 0 crrculo (no tratado "A Medida de um eir culo"), com 0 resultado agora descoberto sobre a esfera, ele infe re que a area da esfera e quatro vezes a de urn de seus circulos maximos!

Pelo que se ve, ra para depois calcular ~ao acima significa que com

VE ...; 4

Arquimedes primeiro ob t em a volume da esfe
sua area AE' De fato, 0 final da cita
1
VE ~ 3" AET', donde se obtem, juntamente _ . _ ., f __ ._ _ M .",,.-,. ,

VUI.~LUHi::' n a u ]

4 I .. 2, _ - 3" \"L· )L·,

37

a formul a da area da e s f e r a : AE ~ 4TIr2, Mas como observa Heath [lOJ, p. 21 de "0 Metodo"), em seu livro "Sobre a Esfera e 0 Cilindro I", Arquimedes calcular primeiro a 5rea, na Prop, 33, depois 0 volume, na Prop, 34, 0 que mostra que "a ordem das proposi~oes na versao final dos tratados do geometra grego nao segue necessariamente a ordem de suas descobertas".

entre 0 muito que inventou parece-me que 0 que mais apreciava era a demonstra ~io da propor~ao que hi entre 0 cilindro e a esfera nele contida, pelo que pediu a seus parentes que, quando morresse, man dassem colocar sobre sua sepultura urn cT lindro contendo uma esfera com uma inscrT ~ao da propor~ao pela qual 0 contido ex cede 0 conteudo" (Plutarco). Cicero, quan do servia na Sicilia como questor, encon trou uma lipide com uma esfera inscri7 ta num cilindro, pelo que julgou haver des coberto 0 tumulo de Arquimedes. CuidoLi entao de restauri-lo, ji que ele se encon trava total mente abandonado. [Esta histo ria e devida ao proprio Cicero, citado oor Heath (DoJ, p. xviii).J

( 1 J "POll ftepe.t..ida.6 ad..ir;o e.6 a .61 m e.6 mo , pe£.o qual a maloJt de dua.6 aJtea.6 ex~ede de ex~edeft qualqueJt aJtea 61nl.ta dada.

a ex ~e.6-S 0 a me.noft pE._

38

6. 0 rigor das demonstra~oes

'\

Depois da exposi~ao que fizemos nas 5e~oes anteriores, pr~

curando mostrar como Arquimedes fazia descobertas utilizando seu

metoda mecanico, devemos agora expor a lado rigoroso da obra do

grande geometra. Tomamos, como exemplo, a calculo que ele fez da

area da parabola, objeto de seu livro "A Quadratura da Parabola", que assim se inicia:

Quando eu -soube que Conon, que 601 meu amlgo e.m v..ida, e.6.tava moft.to, ma.6 que V. efta ~onhecldo de Co non e. .tambem veft.6ado e.m Geome.tftla, enquan.to e.u de ploJtava a pe.ftda nao .60 de. urn amlgo ma.6 de. um admlfta ve.l matematl~o, de.~ldi comuni~aft a V., como eu de.6e java enviaft a Conon, urn ~e.ft.to teolLema geome.tftico que nao tinha .61do inve.6.tigado ante..6 ma.6 que 601 agoILa inve.6tlgado poJt mim, e que eu de.6~obfti pftlmeifto pOft me.todo.6 me~an..i~o.6 e exibi pOft melo.6 geometftico~. Ai gun6 geometfta.6 ten.taftam e..6tabele~eft a po.6.61b1f..ida de de achaJt a aJtea Jte.tilZnea igua£ a urn dado ~lftcu £.0 ( .•. J Ma6 des eo nhiu;» que qua£queJt de meu.6 pJtece ce..6.60Jte6 tenha tentado a quadftatuJta da paftCi.bo£a, cu ja .6olur;5.o e.u de6~o6Jt1 agoJta ... e que pJte.6.6upoe a .6eguin.te £ema:

Arquimedes e digno de muita admira~ao quando diz que outros geometras tentaram a quadratura do circulo, mas ntnguem, ao que ele saiba, tentou a quadratura da parabola. Isto e notavel: Nao e a parabola mais complicada que a clrculo? Nao seria entao de se esperar que sua quadratura fosse mats dificil que a daquele? Tal vez os geometras que tentavam e nao conseguiam quadrar 0 cTrculo imaginassem que fosse mats difTcil e portanto menos provivel qual quer sucesso na re501u~ao de quadraturas como a da parabola. Mas

I t

I

I

1.

39

nio Arqutmedes! Frequentemente, quando nio conseguimos resolver determinado problema, procuramos formular problem~ anilogo mais simples, que possa ser resolvido. Arquimedes parecefazer 0 contri ri o ...

A proposicio (1) acima i a forma original do conhecido "Po~ tulado de Arquimedes" (que aparece tambim no livro "Sobre a Esfera e 0 Cilindro I", onde ftgura como Postulado 5). Arquimedes obser va, logo apSs a enunc;ado desse "lema" (ass;m ele designa 0 refer; do postulado) que os geometras seus predecessores ji 0 usaram em outras demonstra~oes. De fato, a Def. V.4 que aparece em Euclides [8J i praticamente a mesma coisa, e com ela se demonstra a Propo. X.l (de Eucl;des) que diz:

(2) Dadas duas grandezas distintas. se da maior se subtrai mais que sua me t ade , e dores·tante mais que sua me t ade , e assim por diante. acabara restando uma grandeza menor que a menor das grand~ zas dadas.

Para a demonstra~ao que faremos a seguir, convim observar

tambem que a Def. V.4 acima refertda au 0 Postulado (1) podem ser expressos nas seguintes formas equivalentes:

(3) Dadas as grandezas- A e B ete-i s t:e um multip ~o de A que supera B. isto e. nA > B.

(4 )

Dadas as grandezas A e B. existe um submultiplo de A. ietoe. B<A.

n

B

menor que

Posto isto, vamos considerar agora a maneira como Arquim~

des demonstra rigorasamente 0 resultado da Sec. 4 acima. Ele utili za, como veremos, 0 chamadD "metodo de exaustao". argumentandD por "dupla reducao aD absurdo". Esse metodo consiste no seguinte: pelo ponto medi 0 D da base AC do segmento de p a rjib o l a ABC tra Camos a paralela ao eixo da paribola, que vai cortar a parabola em B. Repetimos a mesma .cons t.rue ao referente ao s segmentos AS e BG. obtendo os pontos E e F respectivamente, e assim por

40

diante. A ideia e aproximar a area da parabola pela soma das areas

dos trtangulos ABC. AEB. BFC, etc,

G

H

c

A

r propri edade da p ar-fib o l a que a tangente em B e para 1 el a a AC. donde segue-se que a area do triangulo ABC que removemos do segmento de parabola e maior que a metade deste, pois tal area, que

e igual a soma das areas dos triangulos ABG e ECH. supera as

areas dos segmentos restantes de parabola AEB e BFC, De igual

maneira. as areas dos triangulos ABE e BCF superam a metade das areas dos respectivos segmentos de parabola onde se inscrevem; e assim por diante. Isso va; permitir-nos utiTizar a Prop. (2) acl ma e concluir que. apos a retirada de um numero suficientemente grande de triangulos inscrttos, a area restante do segmento de p~ rabola sera menor que qualquer area dada de antemao.

Observamos agora que se prova. por propriedades da parabola. que as areas dos triangulos removidos em cada etapa somam 1/4 do total d a s areas dos trianguTos removidos na etapa imediatamente pr~ cedente. Assim, se designarmos com an as somas das areas dos trian gulos removi dos na n-es ima etapa (observe que ale a area do trian gulo ABC, a2 e a soma das areas dos triangulos ABE e BCF, etc.), teremos

S = a

n 1

a a a

1 1 1

+ ... + an = a1 + -4-- + 2 + ... + n'

4 4

+ a

2

Para lidar com esta soma Arquimedes prova que se a ela ad;

cionarmos 1/3 do ~ltimo termo a obtemos 0 n~mero 4a1/3, in

n

dependentemente de n, lsto se faz notando que

a

n-l -3-

I

41

Entao,

a

8 n-l

n-l + ---r

a

K

Estamos agora prontos para terminar a demo~stra~ao com a

dupla r educao ao absurdo, Queremos provar que a area Z do segme_!l

to de parabola ~ igual a te, que tanto a hipotese a absurdos.

K, 0 que faremos provando, separadame.!l Z > K como a hipotese Z < K conduzem

1) Hipotese Z > K. Pelo lema (2), dadas as grandezas Z e

Z-K, depois de um certo numero n de etapas de remo~oes de

triangulos. obteremos

Z - S < Z - K; logo, 8 > K,
11. n
a que ~ absurdo, pais S + an!3 = K,
n
2) Hipotese Z < K. Pela forma (4) do Postulado de Arquim!
des, dadas as grandezas a e K-Z podemos chegar a urn
11. K-Z. Entao,
a a1 /4 menor que
n K-8 n

a

311. < K-Z; logo 811. > Z.

Mas isto tambem e absurdo.

7. Par que tanto rigor

A demons t r ac a o que a c ab amo s de dar e bern t f p t ca do rigor que encontramos na obra de Arquirnedes. Para nos hoje, ou para qualquer ma t ema t t c o dos tempos rnodernos, a soma da serie de reduzidas Sac;

n -

rna pode ser facilmente o b t t da , tomando-se 0 limite com 11.+"'. (Alias,

cabe notar, de passagem, que este e 0 primeiro exernplo de ocorren cia de urna serie infinita no desenvolvimento da Maternatica.) Arqu! medes, entretanto, nao passa ao limite, preferindo urn procedimento menos simples, porem, perfeitamente rigoroso.

42

Para oem entender por que os matematicos gregos impuseram a sf tao altos padroes de rigor, ja ao tempo de Euciides, e mesmo urn pouco antes, devemos lembrar 0 debate ocorrido nos seculos pr~ cedentes em torno das teorias do atomismo e continuidade da materia O~. Embora 0 escapo dessas tdeias fosse primeiro 0 mundo f! sico, elas naturalmente aoarearam tamoem 0 domlnio matematico, o~ de as opinioes se dividiam e a polimica acaoou desembocando na cr!

se de fundamentos provocada pela descooerta dos (veja no s s os artigos [2J e [3J}.

incomensuraveis

Oatomismo originou-se com Leucipo e Democrito no seculo V a.C .• mas fot Democrito (460-3707) quem elaborou e divulgou as ideias ltgadas a essa teoria, segundo a qual a materia e constitul da de elementos indivisrveis, os atomos. Democrito foi tambem um ge5metra eminente, a quem Arquimedes, no prefacio do livro "0 Met~ do", atribu; a descooerta de que os volumes da piramide e do cone sao um tergo dos volumes do. prisma e do cilindro respectivamente, embora as demonstragoes desses resultados, ainda no dizer de Arqui medes, sejam devidas a Eudoxo. a atomismo em Geometria signific~ va, par exempl0, que um solido seria constituido de elementos indi vislveis. Mas 0 proprio Democrito apontava a dificuldade dessa co nc ep cjio com as seguintes co ns i d e r acde s ([15J, p. 83; [5J, p. 320): imagine urn cone cortado por urn plano paralelo a sua base, produzi! do dais clrculos, urn no cone menor resultante do corte e outro no tronco de cone logo abaixo. Pois bern, esses dois circulos sao iguais ou diferentes7 Se diferentes, entao, como 0 mesmo fenomeno deve ocorrer em cada corte, devemos concluir que a superfrcie 1a teral do cone nao e lisa, mas cooerta de indentagoes; par outro l~ do, se as circulos fossem iguais, entao seria sempre assim com to dos os cortes semelhantes e, portanto, 0 cone nao seria urn cone e sim um cilindro! Sehrodinger, na citagao aeima, sugere que racio ernios como este teriam levado Democrito a estabelecer uma clara distingao entre as conceitos geometrieos e suas imperfeitas reali zagoes no mundo material, uma clara antecipagao do idealismo de Platao.

J

43

Sao t arnbjim dessa epoca o s famosos paradoxos de Zeno ([4J, p , 55). cujos objetivos precisos nao siD conhecidosi\mas que tiveram o efeito de p6r is claras as dificuldades inerentes aD usa do infi nita nos argumentos matemiticos. As consequencias disso para 0 PO! terior desenvolvimento da nossa ciincia apresentam-se sob urn duplo aspecto. De urn lado, a Geometria encontra na teoria das propor~oes de Eudoxo 0 instrumento adequado para lidar com as grandezas inco mensuraveis; e de outro lado, 0 metoda de exaustao, tambem atribui do a Eudoxo, e 0 recurso eficaz para evitar 0 uso do infinito nas demonstra~6es. Assim, a Matematica se geometrtza e se reveste de impecavel rigor, exibindo nas obras de Arquimedes a expressao mais alta desse desenvolvimento.

8. Arquimedes e 0 futuro

o metodo de demonstra~ao indireta, corn dupla redu~io ao ab surdo, embora proporcione rigor preciso, exige conhecimento previo

do que se pretende demonstrar, portanto nao serve como instrumen

to de descoberta. 0 metodo mecanico de Arquimedes. ao contrario,

permite, como vimos, descobrir resultados novos. Como ficou ilus trado nos exemplos que exibimos nas Se~s. 4 e 5, esse metoda exi ge a decomposi~ao de figuras planas em segmentos retilineos ou de

volumes em areas. Ass;m, os corpos geometricos sao vistos agregados de elementos "indivislveis", como as segmentos

neos das figuras planas ou areas no caso dos s51idos. Mas

como r e t i l f essa

concep~ao atomlstica esbarrava nas dificuldades que

o infinito

trazia para a racioclnio matemitico. Se urn solido e urn agregado de figuras planas, poder-se-ia obter seu volume como a soma de uma

infinidade de ireas? au como a soma infinita de volumes infinita

mente pequenos? Sem responder a perguntas como essas, Arquimedes

utilizava seu metodo como instrumento util de descoberta e manifes ta-se convencido de sua eficacia nas maos de outros matematicos, de sua epoca ou do futuro. E aqui reside 0 que D. E. Smith consid~ ra uma verdade profetica. Mas era preciso que decorressem mais de

44

dezoito seculos para que a profecia se concretizasse. Como bern diz Harding ([fl. p. 148), dentre as raz6es por que A~quimedes nao te ve seguidores imediatos estao seus dotes muito superiores, 0 efei to esterilizante que a conquista romana teve sobre a ciencia grega em geral e a propria natureza do argumento tndireto de demonstra ~ao que, como ja dissemos, nao se presta a descobertas novas.

o seculo XVII veria brotar de novo 0 metodo dos

indivisi

vets nas obras de Kepler, Galileu, Cavalieri e muitos outros mate maticos, Nessa epoca pos-renascentista, quando em Matematica 0 es tudo das obras classicas adquir1a maior tntensidade, os escritos de Arquimedes voltavam a ser conhecidos, estudados e admirados, exercendo grande tnfluencia na investiga~ao matematica da epoca

na cria~ao da nova analise dos indivislveis - embora 0 metoda meca nico permanecesse desconhecido. 0 mesmo Wallis, que ja citamos an tes, observava que "era mats facil inventar uma nova Analise do

que redescobrir a antiga. tao bem escondida estava esta",

A

in

ven~ao desses novos metodos dos indivisiveis, sua evolu~ao para 0 moderno Calcu10 Diferencia1 e Integral e a expltca~ao de como tudo isso pode ocorrer sem a ajuda direta do metodo de Arqutmedes, e outra historia muito interessante. mas que ja nao cabe mais nos 1t mites deste artigo.

Referencias

[1J

A. Aaboe: Ep~~od~o~ da H~~to~ia Ant~ga da Matem~tiea, Public~ ~ao SSM (1984).

[~

G. ~vi1a: E~doxo,Vedek~nd, Name~o~ Rea~~ e En~lno de Matem~tl ea, Revista do Professor de Matematica, n9 7 (1985) 5-10. -

G. ~vila: G~andeza~ Incomen~u~~vel~ e Nume~o~ I~~aclonai~, Re vista do Professor de Matematica, n9 5 (1984) 6-11. -

C.B. Boyer: H~~to~~a da Matematlea, Editora Edgard Blucher, Sao Paulo (1974).

[3J

[~

[5J

E.J. Dijksterhuis: A4ch~mede~, Ejnar Munksgaard, Copenhagen (1956).

Instituto de Matematica, UNICAMP 13.100 Campinas, SP

[8J [9J DoJ [llJ

[l2J

D5J

[17J

D8]

45

[6J

H. Eves: An Int~oduc~;on to the HI~to~y 06 Mathematic6 ( rev i sed e d i t ion), Holt, R in e h a r d tan d Win s tp n (1 964 ) .

L. Garding: Encont~o com a Matematica, Editora Universidade de Brasilia.

[7J

T.L. Heath: EucL[d'~ E!.emen~~, 3 vo l s • , Dover Publications, T.L. Heath: G~e.e.fI Mathe.ma~ic-5, vol. II, Dover Publications. T.L. Heath: The WO~~6 06 A~chimedeJ, Dover Publications. J.L. Heiberg: Ge.omet~ical SolutionJ Ve.4Ived o4om Mechanic~, A Treatise of Archimedes with an Introduction by David

Eugene Smith, The Open Court Publishing Co., Chicago (l909).

J.L. Heiberg: He~e6 - ZeitJch4I6t 6u~ K£a~~i4che Philo£ogie., v o l , XLI I (1907) 235 seq., Wiesbaden.

[l3] R.E. Langer: Alexand~ia, 0 San~ua4io da Matematica, Revista Humanidades, Editora Universidade de Brasilia, vol. II,

n9 7 (1984) 57-70. (Este artigo ~ uma tradu9io de "Alexandria - Shrine of Mathematics, American Mathematical Monthly, v o l , 48 (1941) 109-125.)

Plutarco: AJ Vida~ dOJ Horne.n6 UUJ~4eJ, vo l , 3, Editora das Amiricas, sio Paulo. Edi9io em inglis na cole9io "Great Books of the Western World" da "Enciclopaedia Britannica Inc.", onde figura como vol. 14.

E. Schrodinger, Natu~e a.nd the G~ee.k~, Cambridge University Press (1954).

[l6J

Severino de Souza: A~quime.de6 e a Co~oa do Rei, Revista do Professor de Matematica. nQ 9 (1986).

C.L. Siegel: On the. Hi~t04y 06 the F~ank6ujLt Mathe.maticJ SeminCl4, The Mathematical Inte11igencer, v o l , 1 (1979) 223-230.

B.L. vand der Waerden: ScIence Awakening, vol. I, Noordhoff International Publishing, Leyden (1975).