Escolar Documentos
Profissional Documentos
Cultura Documentos
Campinas,Maio de 2011
2
3
Agradecimentos
Queremos aqui agradecer a todas as pessoas que tornaram possvel a realizao deste trabalho.
Ao Professor Andr K. Torres de Assis o nosso reconhecimento especial no somente pela ideia
que nos conduziu atravs deste caminho, mas tambm pela sua dedicao e orientao durante
todo o perodo de realizao.
Agradecemos aos respeitados Professores Fernando Jorge da Paixo Filho, Sandro Guedes
de Oliveira, Varlei Rodrigues, Mrcio A. A. Pudenzi, Adolfo Maia Jr. e Domingos S. d. L.
Soares por seus valiosos comentrios relativos tese. Agradecemos a Daniel Robson Pinto pela
assistncia na elaborao das figuras e a Joo Paulo Martins de Castro Chaib pelas sugestes
sobre a apresentao da tese. Agradecemos especialmente ao Professor Flvio Ribeiro que, com
seus ensinamentos, nos permitiu voltar a apreciar a beleza da lngua de Arquimedes.
4
Resumo
5
Abstract
We present the main aspects of the life and works of Archimedes. We include some important
topics in the history of his work The Method of Mechanical Theorems, addressed to Eratostenes,
from the period in which Archimedes wrote it up to the modern times. We emphasize the physical
aspects contained in his book including the center of gravity and the law of the lever. We present
the mathematical topics which are required in order to follow Archimedess demonstrations:
geometric algebra, application of areas, theory of proportions and conic sections (parabola, ellipse
and hyperbola). We discuss at length the physical essence of Archimedess method. To this end
we include the physical demonstrations of his theorems in which he utilized levers in equilibrium
under the gravitational action of the Earth. We make a complete Portuguese translation from the
Greek of his book The Method of Mechanical Theorems. We include comments, some technical
and mathematical Appendices, together with a large Bibliography at the end of the thesis.
6
Sumrio
Ficha Catalogrfica 2
Agradecimentos 4
Resumo 5
Abstract 6
Sumrio 7
1 Introduo 10
2 Objetivos da Tese 13
3 A Vida de Arquimedes 15
4 As Obras de Arquimedes 18
7
8.3 Equaes Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
8.3.1 Parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
8.3.2 Elipse e Hiprbole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
8
10.15[Teorema] XII. [Volume da Unha Cilndrica. Determinao Mecnica.] . . . . . . . 129
10.16[Teorema] XIII. [Volume da Unha Cilndrica. Determinao Mecnica Conti-
nuao.] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
10.17[Teorema] XIV. [Uma Outra Determinao do Volume da Unha Cilndrica.] . . . . 132
10.18[Teorema] XV. [Demonstrao Geomtrica do Teorema XII.] . . . . . . . . . . . . 134
11 Concluso 139
Apndices 140
B A Parbola 152
B.1 A Parbola em Coordenadas Cartesianas . . . . . . . . . . . . . . . . . . . . . . . 152
B.2 A Subtangente Consideraes de Arquimedes . . . . . . . . . . . . . . . . . . . 153
B.3 A Subtangente Uma Deduo Moderna . . . . . . . . . . . . . . . . . . . . . . 154
9
Captulo 1
Introduo
O padre Ioannes Mironas terminou seu trabalho em 14 de abril de 1229 ... Naquele
ano, 14 de abril foi vspera do domingo de Pscoa. Por tradio, nesse dia as pessoas
faziam doaes a instituies religiosas para a salvao de suas almas. Que doao
extraordinria fez Ioannes ...
No dia do aniversrio da ressurreio de Cristo, Ioannes Myronas deu ao mundo seu
mais importante palimpsesto e salvou os segredos de Arquimedes.
Com essas frases Reviel Netz e William Noel terminam de descrever no seu livro Cdex
Arquimedes a histria do famoso palimpsesto de Arquimedes.1
No sculo XIII, poca de Ioannes Mironas, o papel ainda no era difundido no Ocidente e os
livros eram escritos em pergaminhos. O pergaminho era (e ainda ) obtido a partir de uma pele
animal submetida a um processo qumico, usualmente com cal, e a uma raspagem para permitir
uma boa adeso da tinta sua superfcie. Portanto, natural que, sendo obtidos por um processo
razoavelmente complexo, no houvesse uma grande abundncia de pergaminhos.
Por esse motivo tornou-se muito comum a tcnica do palimpsesto, que nada mais do que a
reciclagem dos pergaminhos. O termo palimpsesto deriva de duas palavras gregas: (palin
= de novo) e (pseo = esfregar, raspar). O seu significado indica que o pergaminho usado
como suporte do texto foi raspado mais de uma vez.
Ao comear a escrever o seu livro de oraes, o padre Ioannes Mironas no tinha os per-
gaminhos necessrios e teve que se socorrer da tcnica do palimpsesto. Para isso reciclou os
materiais disponveis, entre eles alguns pergaminhos antigos contendo textos gregos de matem-
tica que certamente no tinham muita utilidade para os monges. Feita a raspagem, ele escreveu
no palimpsesto as suas oraes, que foram lidas pelos monges durante algumas centenas de
anos. Felizmente a raspagem no foi muito bem sucedida e o texto matemtico original no foi
totalmente eliminado.
Em 1899 foi feito um catlogo das obras existentes no Metochion,2 biblioteca do Santo Se-
pulcro de Jerusalm, em Constantinopla. No catlogo foi identificado um manuscrito de oraes
contendo, parcialmente apagado, um texto grego de matemtica. Tratava-se do livro escrito por
Ioannes Mironas 670 anos antes.
Em 1906 o professor Johan Ludwig Heiberg (1854-1928), Figura 1.1, da Universidade de
Copenhague tomou conhecimento da existncia em Constantinopla, de um palimpsesto contendo
textos gregos de matemtica. Ele foi um estudioso excepcional e pesquisador infatigvel dos
clssicos gregos de matemtica aos quais dedicou grande parte da sua vida.
1
[1, pgs. 287-288]
2
Ver Cdex Arquimedes, pg. 138.
10
Figura 1.1: J. L. Heiberg.
Entre as suas inmeras publicaes podemos citar a edio de obras de diversos autores
importantes:
Neste trecho de sua longa e peripattica existncia o manuscrito viajou de uma bi-
blioteca monstica na Terra Sagrada para o Metochion - casa-filha - da Igreja do
Santo Sepulcro de Jerusalm, em Constantinopla. E l, durante o vero de 1906,
3
[2] e [3].
4
[1, pgs. 284-286].
5
[4, pgs. 103-104].
11
foi examinado pelo Professor Johan Ludvig Heiberg, o principal fillogo do mundo,
que havia viajado com pressa de Copenhague para ler o velho documento. Com sua
barba bblica e olhar fixo, a prpria presena de Heiberg lanou a biblioteca em uma
confluncia entre o mundo antigo e o moderno.
6
[2].
12
Captulo 2
Objetivos da Tese
Inicialmente desejamos apresentar uma traduo completa para o portugus da obra Mtodo
sobre os Teoremas Mecnicos. Isto feito no Captulo 10. Depois que Heiberg publicou este
trabalho tanto no original em grego quanto traduzido para o alemo,1 foram feitas tradues
para diversos idiomas: italiano,2 espanhol,3 francs,4 ingls5 e portugus.6 Resolvemos
fazer uma nova traduo partindo do original em grego e comparando nosso trabalho com
as outras tradues j publicadas.
Alm da nova traduo em portugus, nossa principal contribuio nesta tese est contida
no Captulo 9, A Essncia do Mtodo de Arquimedes. Nosso objetivo aqui foi o de apresen-
tar os principais argumentos fsicos que ele utilizou para chegar em resultados puramente
geomtricos ou matemticos (clculos de reas, de volumes e de centros de gravidade de
algumas figuras). Em sua obra Arquimedes utiliza apenas uma figura para cada teorema.
Esta figura em geral apresenta objetos tridimensionais vistos de lado. No fcil visu-
alizar o que ele tinha em mente. O tempo todo ele fala de alavancas em equilbrio em
1
[2] e [3].
2
[5].
3
[6] e [7].
4
[8].
5
[9], [10], [11] e [12].
6
[13].
7
[14], [15], [16], [17], [18], [19], [20] e [21].
13
diversas situaes, mas nenhuma figura contendo alavancas encontrada em O Mtodo.
Alm disso, as demonstraes matemticas so feitas apenas em palavras, sem mencio-
nar explicitamente os postulados ou resultados anteriores que esto sendo empregados em
cada passagem. Foi para superar estas limitaes e para apresentar ao leitor a essncia
do mtodo fsico utilizado por Arquimedes que preparamos este Captulo 9. Este Captulo
apresenta figuras de todas as alavancas em equilbrio consideradas ao longo de cada uma
das demonstraes, alm de chamar a ateno para todos os postulados e resultados pr-
vios que so necessrios ao longo das demonstraes de cada teorema. Esperamos que aps
acompanhar este Captulo o leitor possa seguir com mais proveito a traduo da obra de
Arquimedes e com isto perceber a profundidade e beleza do seu raciocnio.
Inclumos uma ampla bibliografia que possa permitir ao leitor se aprofundar em qualquer
tema discutido nesta tese.
Ao divulgar no meio cientfico nacional este livro de Arquimedes que ficou desconhecido
por mais de 2000 anos, queremos salientar uma metodologia que o prprio autor considerou
muito importante e alguns aspectos da mesma que continuam atuais at hoje.
Encontramos nesse livro um dos embries da fsica terica e experimental pelo uso da lei
da alavanca na obteno de informaes sobre grandezas geomtricas (clculos de reas,
volumes e centros de gravidade).
Tambm podemos apontar neste trabalho as ideias bsicas do clculo integral que somente
foram desenvolvidas e estruturadas depois de 1800 anos.
Finalmente as concluses de alguns de seus teoremas foram colocadas em prtica em obras
de engenharia que podemos admirar ainda hoje depois de 1500 anos da sua construo.
Escolhemos enriquecer o texto com comentrios acompanhados de figuras. Estas figuras
s vezes apresentam corpos tridimensionais vistos em perspectiva. Outras vezes apresen-
tam explicitamente alavancas em equilbrio com corpos dependurados em seus braos a
certas distncias especficas do fulcro da alavanca, sempre seguindo as especificaes de
Arquimedes. Acreditamos que muitas passagens de aparncia complexa possam ser com-
preendidas de modo mais intuitivo atravs das figuras que usamos para ilustrar O Mtodo
de Arquimedes.
14
Captulo 3
A Vida de Arquimedes
A vida e a obra de Arquimedes so bem conhecidas, desde a sua poca. Mas hoje, 2.300 anos
depois, torna-se difcil separar o que a lenda do que foi a realidade. Costuma-se dizer que tenha
vivido entre 287 e 212 a.C. na cidade de Siracusa, na Siclia, onde passou a maior parte de sua
vida. Na realidade temos alguma certeza sobre o ano de sua morte, 212 a.C., pois sabe-se que
est ligada a fatos histricos importantes que foram relatados por vrios historiadores, entre os
quais existe uma boa concordncia. Mas o que podemos dizer quanto data de seu nascimento?
Tudo o que sabemos a respeito disso que Arquimedes morreu idade de 75 anos e da foi
deduzida a data de seu nascimento. Acontece que esta ltima informao nos chegou atravs de
um nico historiador que viveu quase 1500 anos depois de Arquimedes, Johannes Tzetzes!1
Hoje temos quase certeza que, durante sua vida, Arquimedes passou algum tempo no Egito.
Provavelmente at tenha estudado na cidade de Alexandria, que era ento o centro cientfico e
cultural do mundo e era sede da famosa biblioteca. Euclides, autor de Os Elementos,2 a pedido
do rei Ptolomeu, ensinou por muitos anos na Academia desta cidade. Muitas das cartas de
Arquimedes foram endereadas a cientistas que trabalharam em Alexandria: Cnon de Samos,
Dositeu de Pelsium e Eratstenes.
Talvez este seja um dos principais motivos pelos quais muitas das obras de Arquimedes
chegaram at ns, pois era na biblioteca de Alexandria, anexa ao famoso templo dedicado s
Musas, Museu, que os tratados considerados importantes eram muitas vezes copiados e as cpias
eram conservadas at em um lugar diferente.3 Arquimedes devia conhecer bem a importncia e
o funcionamento da biblioteca de Alexandria. Quando escreve a Eratstenes em O Mtodo, ele
comenta: ... entendo que alguns dos meus contemporneos ou sucessores encontraro, por meio
do mtodo demonstrado, outros teoremas que ainda no me ocorreram. Ou seja, ele acreditava
que seus trabalhos fossem destinados posteridade.
Por outro lado, no h indcios de que ele tenha escrito algo referente aos seus trabalhos de
natureza mais prtica, ou quilo que hoje poderamos chamar de obras de engenharia. Este
um dos motivos pelos quais muitos historiadores acreditam que ele no teria dado importncia a
esta parte de sua atividade. Este fato tambm pode ter levado outros historiadores a acreditarem
que muitos dos feitos a ele atribudos pela tradio, sejam somente ideias que no tenham sido
realizadas, ou tenham sido mesmo realizaes concretas, mas que o passar do tempo se encarregou
de engrandecer.
1
[1, pg. 41] e [22, pg. 55].
2
[23] e [24].
3
As cpias de obras importantes eram conservadas no Templo de Serpis, ver o Captulo 5.
15
Citamos aqui apenas alguns dos feitos atribudos a Arquimedes por Plutarco.4 Ele foi o his-
toriador que viveu mais prximo poca de Arquimedes e que relatou fatos histricos correlatos
vida do mesmo. Em particular, mencionou diversos feitos atribudos a Arquimedes quando
descreveu o stio da cidade de Siracusa, que foi tomada pelos romanos sob o comando do general
Marcus Claudius Marcellus em 212 a.C.
Segundo Plutarco e outros historiadores da poca,5 Arquimedes participou ativamente da
defesa de sua cidade contra o stio da frota romana, durante a Segunda Guerra Pnica, por meio
de vrias das suas invenes. Entre estas invenes so mencionadas as catapultas. Embora j
fossem conhecidas e usadas anteriormente, as de Siracusa tinham alcance regulvel de modo a
evitar pontos cegos e dificultar o avano do exrcito inimigo. Ser que podemos supor aqui a
interveno do conhecimento de Arquimedes sobre as parbolas e algum tipo de observao sobre
o movimento dos projteis 1800 anos antes de Galileu? Simultaneamente, para deter o ataque
da frota romana, eram usados grandes braos mecnicos para verter acima dos muros e sobre os
navios inimigos enormes pedras, ao mesmo tempo que mos de ferro eram jogadas para agarrar
as proas dos barcos levantando-as e deixando-as cair sobre a popa dos mesmos, afundando-os.6
Certamente a descrio fantasiosa destes artefatos blicos um reconhecimento do historiador
genialidade de Arquimedes.7 Com seus conhecimentos de mecnica, Arquimedes conseguiu
parar um exrcito inteiro que o cercava por terra e por mar, durante vrios anos.
Outros trabalhos de Arquimedes ligados de alguma forma engenharia despertaram a
ateno de escritores com interesse em reas especficas. Vitruvio no seu livro De Architectura
cita trabalhos de Arquimedes em vrias ocasies.8 Por exemplo, o problema da coroa, cuja
soluo teria sido encontrada por Arquimedes, determinando a concentrao de ouro e prata
em uma coroa do rei Heron,9 com base nas leis da hidrosttica por ele descobertas.10 Vitruvio
tambm fornece uma descrio detalhada de um mecanismo de levantamento de gua, at hoje
conhecido como cclea (caracol), ou parafuso de Arquimedes, que parece ter sido usado nas minas
e na irrigao dos campos.
Outros escritores11 mencionam a construo, por parte de Arquimedes, de um planetrio, no
qual o movimento dos corpos celestes era obtido por meio de mecanismos hidrulicos. Outros
ainda falam que tenha construdo um rgo hidrulico no qual o ar dentro dos tubos era
comprimido sobre gua. Durante a defesa de Siracusa tambm ficou famosa a histria da queima
dos navios romanos por espelhos capazes de concentrar os raios do sol. Esta tcnica foi atribuda
a Arquimedes por vrios autores,12 mas foi posta em dvida devido inexistncia, naquela poca,
de tecnologias adequadas sua construo.
A conquista de Siracusa pelos romanos somente foi possvel em 212 a.C., aps um cerco que
durou quase trs anos. O cnsul Marcelo, que durante todo esse tempo de luta havia adquirido
um grande respeito pelo velho homem, ordenou que a vida de Arquimedes fosse poupada.
Apesar disso, segundo a tradio,13 Arquimedes acabou sendo morto por um soldado enquanto
4
Plutarco (45-125 d.C.), [25, pgs. 356-358].
5
Polbio (203-118 a.C.) e Livio (59 a.C. - 17 d.C.), ver [14, pg. 27].
6
Tito Livio (59 a.C. - 17 d.C.), [26, XXIV, 34]: ... eminente ferrea manus firmae catenae inligata cum iniecta
prorae...; uma mo de ferro saindo (dos muros) ligada a uma forte corrente lanada sobre a proa...
7
Tito Livio (59 a.C. - 17 d.C.), [26, XXIV, 34], Arquimedes... inventor e construtor de mquinas de guerra.
8
Vitruvio (70 a.C. - 15 d.C.), [27, Livro IX, Prefcio, 9].
9
Tambm escrito como Hero, Hiero e Hero.
10
Para uma discusso deste problema ver tambm os comentrios de Heath, [15, Captulo I e as pgs. 259-261].
11
Cicero (106-43 a.C.), [28, Livro I, 21].
12
Luciano de Samosata (125-181 d.C.), [29, pg. 41].
13
Tito Livio, [26, Livro XXV, 31].
16
estava concentrado nas suas figuras.
Mesmo a ascendncia de Arquimedes est condicionada a muitas dvidas. Aquilo que co-
nhecemos est contido em um trecho da obra Contador de Areia do prprio Arquimedes. Este
trabalho nos chegou atravs de repetidas cpias. A existncia destas e de muitas outras dvidas
ligadas fatalmente ao tempo, nos faz perceber a importncia do descobrimento de um manuscrito
contendo, junto com outras obras, uma cpia do Mtodo sobre os Teoremas Mecnicos.
Esta obra de Arquimedes estava perdida e no se conhecia seu contedo. O manuscrito que
foi encontrado uma cpia na lngua original de uma carta escrita pelo prprio Arquimedes,
endereada ao amigo Eratstenes, curador da biblioteca de Alexandria.
atravs desta e das outras obras que chegaram at nossos dias, que podemos conhecer e
compreender o pensamento deste gnio, mesmo que sejam lendas muitas das histrias ou das
invenes a ele atribudas.
17
Captulo 4
As Obras de Arquimedes
Quadratura da Parbola.
Sobre as Espirais.
Medida do Crculo.
O Contador de Areia.
Alm destes trabalhos, sabe-se ainda que Arquimedes escreveu outras obras que atualmente
existem apenas em fragmentos, em alguns casos existem apenas menes escritas por outros
autores. Estas obras so as seguintes (ttulos ou assuntos de que tratam):
O Problema Bovino.
Livro de Lemas.
Poliedros Semi-Regulares.
1
[30, Seo 2.1].
2
[15, pgs. xxxii-xxxiii].
3
[31].
4
Traduo para o portugus em [32] e [33].
5
Traduo para o portugus em [34].
6
Traduo para o portugus em [35].
18
Stomachion.
rea do Tringulo.
Elementos de Mecnica.
19
Captulo 5
No tempo de Arquimedes, a cidade de Alexandria tinha poucos anos de vida, pois foi fundada
por Alexandre o Grande em 331 a.C. e foi governada a partir do ano 305 por Ptolomeu I Ster
(367-283 a.C.). Ptolomeu I foi general e amigo de Alexandre. Ele fundou a dinastia que reinou
sobre o Egito at os tempos de Clepatra. Sob o reinado de Ptolomeu I e de seus descendentes,
a cidade de Alexandria conheceu um perodo de grande esplendor e tornou-se no somente a
capital do Egito, mas tambm o centro da cultura grega. Foram construdos o Templo das
Musas (Museu), o Templo de Serpis, uma nova divindade criada para estimular o sincretismo
religioso entre a religio egpcia e a grega, e muitos outros monumentos tpicos de uma cidade
jovem em pleno florescimento.
Foi aqui, na Biblioteca de Alexandria, sob o comando de Ptolomeu I e de seu filho, que
comeou a ser feito sistematicamente o registro de todo o conhecimento humano, comprando ou
copiando as obras produzidas em todo o mundo ento conhecido. Aqui chegaram a ser arquivados
de 400.000 a 1.000.000 de rolos de papiro.
Eratstenes (285-194 a.C.), matemtico e astrnomo grego, amigo de Arquimedes, foi curador
da Biblioteca de Alexandria durante grande parte de sua vida.
Arquimedes para Eratstenes, saudaes... Assim comea a carta enviada por Arquimedes
ao amigo matemtico e que contm o Mtodo sobre os Teoremas Mecnicos. Sabemos que o
papiro contendo a carta de Arquimedes para Eratstenes chegou em Alexandria porque temos
provas de que nesta cidade ela foi lida e copiada. No sculo I d.C., Heron de Alexandria escreveu
um tratado chamado Mtrica onde diz que:1
Heron parecia interessado na construo de uma cpula com o formato de dois cilindros
entrelaados. O seu relato confirma as palavras de Arquimedes na carta para Eratstenes, de
que seus trabalhos seriam teis para a posteridade.
Mas a tecnologia do papiro, onde estavam registradas as cartas de Arquimedes, acabou en-
tre o I e o IV sculo, sendo substituda pelo pergaminho como suporte da escrita comum. O
pergaminho tem seu nome ligado cidade de Prgamo na sia Menor, onde aparentemente foi
desenvolvido e obtido de peles de animais tratadas por um processo qumico. Alm de ter
1
[1, pgs. 77-78] e [22, pg. 105].
20
maior resistncia mecnica e ao tempo que o papiro, o pergaminho tem uma vantagem adicional:
por ser muito mais flexvel ele pode ser dobrado.
Descobriu-se assim a tcnica de juntar quatro pergaminhos dobrados, um dentro do outro,
formando o chamado quaternum (constituindo, portanto, um conjunto de oito folhas) que,
colocados um sobre o outro, vieram a constituir o cdice. O cdice (ou cdex) como era
chamado na poca, e o quaternum (caderno) ainda constituem a estrutura fsica dos livros de
hoje, simplesmente substituindo o pergaminho pelo papel. Os antigos papiros que no passaram
para uma transcrio em pergaminho esto quase todos desaparecidos.
O fato de Arquimedes ter sido famoso j na sua poca, no garantiria a sobrevivncia de
sua obra nesta passagem, pois a prioridade era certamente mais voltada para os clssicos como
Homero, Aristteles ou Euclides, cujos trabalhos tinham interesse mais amplo.
Uma das pessoas que garantiu a chegada das obras de Arquimedes at nossos dias foi Eu-
tcio. Sabemos bem pouco sobre a vida de Eutcio, exceto que nasceu em 480 d.C. na cidade
de Ascalona e que passou algum tempo em Alexandria, onde teve contato com os trabalhos
de Arquimedes. Seu interesse pela obra do matemtico grego foi to grande que ele iniciou
uma empreitada para procurar, reunir e comentar todo o material que conseguisse encontrar de
Arquimedes. Eutcio conseguiu editar vrios tratados de Arquimedes junto com seus prprios
comentrios, usando a nova tecnologia do pergaminho, garantindo assim a sobrevivncia das
ideias de Arquimedes.
Foi pelo interesse de Eutcio, assim como de seus amigos Antmio de Trales (474-534 d.C.) e
Isidoro de Mileto (480-540 d.C.), que as obras de Arquimedes chegaram at nossos dias a partir
de Constantinopla (hoje Istambul).
A antiga cidade de Bizncio foi designada pelo imperador Constantino para ser capital do
Imprio Romano do Oriente e, posteriormente, foi chamada de Constantinopla. Ela viveu um
perodo de crescimento e esplendor durante mais de 400 anos. Seus imperadores demonstraram
interesse no somente pelo aspecto militar, mas tambm pela religio e pela cultura.
Foi assim que o imperador Justiniano determinou a construo da igreja de Santa Sofia (532-
537 d.C.) aos arquitetos Antmio de Trales e Isidoro de Mileto: o resultado uma obra que
ainda hoje considerada uma das grandes maravilhas do mundo. Antmio, Isidoro e Eutcio,
alm de terem tido os mesmos mestres em Alexandria,2 tambm tinham em comum a grande
admirao por Arquimedes que transmitiram a seus discpulos, permitindo assim a continuidade
do conhecimento do grande mestre, seja nas questes tericas, seja nos aspectos prticos.
por esse motivo que o interesse nas obras de Arquimedes em Constantinopla permaneceu
por muito tempo. As suas cartas foram reunidas e copiadas vrias vezes at o sculo IX, dando
origem aos chamados Cdice A, Cdice B e Cdice C.
O Cdice A continha a maior parte dos tratados de Arquimedes, os Comentrios de Eutcio
e a obra Sobre as Medidas de Heron de Alexandria. Ele desapareceu no sculo XVI. Por sorte,
antes de desaparecer, foram feitas vrias cpias e tradues, de modo que o seu contedo chegou
at nossos dias. O Cdice A no continha nem o tratado Sobre os Corpos Flutuantes, nem O
Mtodo.3
As pistas do Cdice B tambm se perderam na idade mdia. Porm, antes de seu desapa-
recimento, foi feita uma traduo em latim por Guilherme de Mrbeke em 1269, da qual ainda
existem cpias. O Cdice B contm, alm dos Comentrios de Eutcio, as seguintes obras de
Arquimedes:
2
[20, pg. 1].
3
[17, pg. xxiv].
21
Sobre as Espirais.
Sobre o Equilbrio dos Planos.
Quadratura da Parbola.
Medida do Crculo.
Sobre a Esfera e o Cilindro.
Sobre Conoides e Esferoides.
Sobre os Corpos Flutuantes.
Mas a extraordinria importncia deste documento que representa a nica fonte em grego de:
22
completa das obras de Arquimedes em grego e latim, a partir da qual foram feitas tradues em
diversas lnguas.7
A grande importncia dada carta de Arquimedes para Eratstenes reside no fato de que
um dos poucos tratados (talvez at mesmo o nico) em que algum cientista da antiguidade
revela o seu mtodo de induo fsica-matemtica usado para chegar a determinadas concluses.
Por suas obras Arquimedes considerado por muitos como o pai da fsica matemtica. Em
seu trabalho O Mtodo, perdido por tanto tempo, ele mostra o ntimo relacionamento entre essas
duas cincias e como extrair dele o melhor aproveitamento.
7
[38].
23
Captulo 6
A linguagem de Arquimedes no tem nada de simples. Para conseguir uma melhor compreenso
da mesma necessrio ter presente alguns conceitos e leis da fsica por ele descobertos, que
ainda hoje usamos como base do nosso conhecimento de mecnica e hidrosttica. Apresentamos
inicialmente o conceito do centro de gravidade (CG) e a lei da alavanca.
O centro de gravidade de um corpo rgido um ponto tal que, se for concebido que o
corpo est suspenso por este ponto, tendo liberdade para girar em todos os sentidos
ao redor deste ponto, o corpo assim sustentado permanece em repouso e preserva sua
posio original, qualquer que seja sua orientao inicial em relao Terra.
Todo corpo, suspenso por qualquer ponto, assume um estado de equilbrio quando o
ponto de suspenso e o centro de gravidade do corpo esto ao longo de uma mesma
linha vertical; pois esta proposio j foi demonstrada.
1
[16, pgs. 24, 301, 350-351 e 430], [14, pgs. 17, 47-48, 289-304, 315-316, 321-322 e 435-436], [15, pgs.
clxxxi-clxxxii] e [30, pgs. 90-91 e Captulo 6, pgs. 121-132].
2
[18, pg. 171] e [30, pg. 122].
24
Infelizmente a prova desta afirmao no chegou at ns. De qualquer forma, esta Proposio
fornece um procedimento experimental para se encontrar o centro de gravidade de um corpo
rgido. Inicialmente suspende-se o corpo por um ponto P1 tal que o corpo tenha liberdade para
girar ao redor deste ponto. Ele solto do repouso em uma orientao arbitrria em relao ao
solo, ficando sob a ao gravitacional terrestre. Aguarda-se que o corpo atinja o equilbrio, ou
seja, que fique em repouso em relao ao solo. Com o auxlio de um fio de prumo traada uma
vertical passando por P1 at a extremidade E1 do corpo, Figura 6.1.
P1
E1
Figura 6.1: Utiliza-se um fio de prumo para traar a vertical ligando um ponto de suspenso P1
at a extremidade E1 do corpo.
Suspende-se o corpo por um outro ponto P2 que no esteja ao longo desta primeira vertical
P1 E1 . Ele novamente solto do repouso em uma orientao arbitrria. Aguarda-se que o corpo
atinja o equilbrio. Com o auxlio do fio de prumo traa-se uma segunda vertical passando por
P2 at a extremidade E2 do corpo. O cruzamento das duas verticais o centro de gravidade do
corpo, Figura 6.2.
E1 P2
CG
P1
E2
1. Princpios de simetria.
25
3. O mtodo sobre os teoremas mecnicos.
Ou seja, se temos uma alavanca com dois corpos de mesmo peso apoiados sobre os pontos A
e B da alavanca, ela vai ficar em equilbrio com o fulcro localizado sobre um ponto C da alavanca
tal que AC = CB.
O significado deste postulado foi esclarecido por Vailati, Toeplitz, Stein e Dijksterhuis.6 O
ponto principal, que concorda com a maneira implcita com que Arquimedes utiliza este postulado
em suas demonstraes, que por grandezas equivalentes, ele quer dizer grandezas de mesmo
peso. E por grandezas a certas distncias, ele quer dizer grandezas cujos centros de gravidade
esto s mesmas distncias do fulcro da alavanca.
Em particular, vamos supor que temos vrios corpos em equilbrio sobre uma alavanca. Vamos
chamar um destes corpos de A. Este postulado afirma que se pode substituir este corpo A por um
outro corpo B, sem afetar o equilbrio da alavanca, desde que duas condies sejam satisfeitas:
(I) O peso de B tem de ser igual ao peso de A. (II) A distncia do centro de gravidade de B
at o fulcro da alavanca tem de ser igual distncia que havia entre este fulcro e o centro de
gravidade de A.
Em seu trabalho Sobre o Equilbrio dos Planos Arquimedes usa este postulado para demons-
trar, entre outras coisas, a lei da alavanca e para obter o centro de gravidade de um tringulo.7
Este postulado tambm utilizado implicitamente por Arquimedes na demonstrao de vrios
teoremas de O Mtodo, como discutiremos no Captulo 9.
Princpio 3. Este princpio corresponde ao prprio mtodo de Arquimedes, o qual ser expli-
cado e ilustrado detalhadamente ao longo desta tese. o mtodo que ele utilizou para calcular
a rea, o volume e o centro de gravidade de algumas figuras geomtricas. Nas Sees 9.2, 9.3 e
9.6, por exemplo, discutimos a aplicao deste mtodo para a obteno da rea de um segmento
parablico, do volume de uma esfera e do centro de gravidade de um segmento de paraboloide
de revoluo.
4
[33, pg. 222].
5
[33, pg. 223].
6
Ver uma discusso detalhada e as referncias relevantes em [33, Subseo 9.7.1].
7
Ver uma discusso detalhada destes pontos em [30, Seo 9.7: A Demonstrao da Lei da Alavanca Apresen-
tada por Arquimedes e o Clculo do Centro de Gravidade de um Tringulo].
26
6.2 A Lei da Alavanca
Ao falar sobre alavancas conveniente lembrar alguns conceitos e definies:8
A alavanca consiste em um corpo rgido, geralmente linear e horizontal, capaz de girar ao redor
de um eixo horizontal fixo em relao Terra. Este eixo de rotao normalmente ortogonal
barra da alavanca. O ponto em que o eixo toca a alavanca chamado de fulcro da alavanca.
Este tambm o ponto de sustentao da alavanca. Uma alavanca est em equilbrio quando sua
haste ou travesso fica em repouso em relao Terra, na horizontal. Chamamos de brao da
alavanca distncia horizontal entre o ponto de apoio de um corpo sobre o travesso e o plano
vertical passando pelo fulcro.
Vamos supor que temos dois corpos ligados aos braos opostos de uma alavanca. O equilbrio
ocorre de acordo com a chamada lei da alavanca, que aqui lembramos nas palavras do prprio
Arquimedes:9
Ou seja, vamos supor que os corpos de pesos PA e PB esto em equilbrio sobre uma alavanca,
suspensos por seus centros de gravidade a distncias dA e dB do fulcro F , Figura 6.3.
dA dB
F
A
B
Esta lei pode ser expressa matematicamente, tanto para grandezas comensurveis quanto
incomensurveis, da seguinte forma:
dA PB
= . (6.1)
dB PA
8
[30, pg. 165].
9
Sobre o Equilbrio dos Planos, Proposies VI e VII, [33, pgs. 227 e 229].
27
Captulo 7
PROPOSIO I - Caso existam duas retas, e uma delas seja cortada em segmentos,
quantos quer que sejam, o retngulo contido pelas duas retas igual aos retngulos
contidos tanto pela no cortada quanto por cada um dos segmentos.2
Uma ilustrao desta Proposio encontra-se na Figura 7.1. O lado BG do retngulo tem
comprimento a, enquanto que o lado BC do retngulo est dividido por segmentos ortogonais a
este lado em trs partes cujos comprimentos so b, c e d.
Euclides demonstra geometricamente que a rea do retngulo grande, a(b+c+d), equivalente
soma da rea dos trs retngulos menores, a saber, ab + ac + ad.
1
[14, pgs. 51-54], [1, pg. 49], [22, pg. 67] e [15, pgs. xl-xlvii].
2
[24, pg. 135].
28
B b D c E d C
G K L H
PROPOSIO II - Caso uma linha reta seja cortada, ao acaso, o retngulo contido
pela reta toda e cada um dos segmentos igual ao quadrado sobre a reta toda.3
Uma ilustrao desta Proposio encontra-se na Figura 7.2. Euclides demonstra geometrica-
mente que a rea do retngulo de lados a e a + b, juntamente com a rea do retngulo de lados
b e a + b, equivalente rea do quadrado de lado a + b.
A a C b B
a+b
D F E
PROPOSIO III - Caso uma linha reta seja cortada, ao acaso, o retngulo contido
pela reta toda e por um dos segmentos igual a ambos, o retngulo contido pelos
segmentos e o quadrado sobre o predito segmento.4
Uma ilustrao desta Proposio encontra-se na Figura 7.3. Euclides demonstra geometrica-
mente que a rea do retngulo de lados b e a + b equivalente rea do retngulo de lados a e
b, somada com a rea do quadrado de lado b.
Esta Proposio III pode ser colocada de forma algbrica da seguinte maneira:
(a + b)b = ab + b2 . (7.3)
3
[24, pg. 136].
4
[24, pg. 137].
29
A a C b B
F D E
PROPOSIO IV - Caso uma linha reta seja cortada, ao acaso, o quadrado sobre a
reta toda igual aos quadrados sobre os segmentos e tambm duas vezes o retngulo
contido pelos segmentos.5
Uma ilustrao desta Proposio encontra-se na Figura 7.4. Euclides demonstra geometrica-
mente que a rea do quadrado de lado a + b equivalente soma de quatro reas, a saber, o
quadrado de lado a, o quadrado de lado b, e duas vezes o retngulo de lados a e b.
A a C b B
b
H K
G
D F E
30
fornecendo aos matemticos gregos os recursos necessrios para resolver, por meio da geometria,
alguns tipos de equaes que hoje tratamos por via algbrica.
O chamado mtodo de aplicao das reas consiste na comparao de reas de figuras geo-
mtricas que possuem formatos diferentes. O verbo grego (paraballo) usualmente
traduzido por aplicar quando usado neste sentido. Contudo, para explicar a operao aqui rea-
lizada, achamos que o verbo comparar, que um outro sentido de paraballo, pode ser mais til
na compreenso da ideia que existe por detrs desta palavra.
Neste mtodo inicialmente compara-se um lado de um paralelogramo (geralmente um retn-
gulo), com um segmento de reta dado. Primeiro junta-se uma extremidade do lado do parale-
logramo com uma extremidade do segmento dado e verifica-se em que ponto termina o lado do
paralelogramo. Se o vrtice livre do retngulo cai antes da extremidade do segmento de reta
considerado, temos um caso de falta ou lleipsis em grego. Se h uma coincidncia exata das
duas extremidades, temos uma aplicao propriamente dita, ou parabol. Caso exista um
excesso do lado do retngulo em relao ao segmento dado, temos um caso de hiperbol. Estes
trs casos esto ilustrados na Figura 7.5.
(a)
(b)
(c)
Figura 7.5: Os casos de aplicao das reas. Comparao do lado superior de um retngulo com
um segmento de reta dado, segmento este entre os dois retngulos superiores. (a) Aplicao com
falta ou lleipsis. (b) Aplicao exata ou parabol. (c) Aplicao com excesso ou hiperbol.
Com esta introduo podemos agora compreender a origem das denominaes de elipse,
parbola e hiprbole dadas por Apolnio de Perga (aproximadamente 262-190 a.C.) s curvas
cnicas que conhecemos hoje. Com efeito, na sua deduo da equao da parbola, Apolnio,
na interpretao de Heath, chega seguinte concluso:6
Segue-se que o quadrado de qualquer ordenada [y] em relao a um certo dimetro
determinado P M igual ao retngulo aplicado ( ) linha reta deter-
minada PL [p] traada em ngulo reto com P M [o dimetro] e com altura igual
abscissa correspondente P V [x ]. Portanto, esta curva chamada de PARBOLA.
Analogamente,7 Apolnio deduz as equaes da elipse (falta rea na aplicao) e da hiprbole
(excesso de rea na aplicao). Seus resultados, em notao moderna, so apresentados pelas
expresses seguintes nas quais p e d so constantes.8
6
Ver [39, Proposio 1, pg. 9].
7
Ver [39, Proposies 2 e 3, pgs. 9-12].
8
Ver [23, Volume 1, pg. 345].
31
No caso da parbola:
y 2 = px . (7.5)
No caso da elipse:
p
y 2 = px x2 . (7.6)
d
No caso da hiprbole:
p
y 2 = px + x2 . (7.7)
d
Um exemplo do mtodo de aplicao das reas pode ser considerado a seguir:9 Dado um
tringulo com rea de 12 m2 e uma linha reta cujo comprimento 4 m, dizemos que aplicamos
linha reta uma rea igual quela do tringulo, se tomamos o comprimento total de 4 m e en-
contramos quantos metros de largura deve ter o paralelogramo para ser equivalente ao tringulo.
Neste caso a largura do retngulo deve ser de 3 m, tal que sua rea seja de 12 m2 , igual rea
dada do tringulo.
Outros exemplos so encontrados em vrias Proposies de Os Elementos de Euclides. A
Proposio 44 do Livro I, por exemplo, afirma que:10
Sem entrar nos detalhes da demonstrao geomtrica que pode ser encontrada nas referncias
citadas, percebemos que com essa Proposio os matemticos gregos podiam resolver equaes
lineares. Com efeito, vamos considerar o paralelogramo como sendo um retngulo, o segmento de
reta dado como tendo um comprimento a dado, e a rea do tringulo (ou qualquer outra figura
delimitada por linhas retas) como sendo dada por . Vamos ainda indicar por x largura que
deve ter o retngulo para solucionar o problema, ou seja, tal que a rea dada do tringulo seja
igual rea do retngulo de comprimento dado. Podemos ento escrever, em termos algbricos:
ax = . (7.8)
Ou seja:
. x= (7.9)
a
Como a Proposio 44 do Livro I de Os Elementos de Euclides permite determinar geometri-
camente o valor da varivel x, podemos entender como os matemticos gregos encontraram uma
maneira de resolver equaes de primeiro grau.
Similarmente, na Proposio 29, Livro VI, de Os Elementos, Euclides mostra como:11
A uma dada linha reta aplicar um paralelogramo igual a uma dada figura retilnea,12
e excedente por um paralelogramo semelhante a um (paralelogramo) dado.
9
Ver [23, Volume 1, pg. 343].
10
Ver Os Elementos de Euclides, Livro I, Proposio 44, [24, pg. 130].
11
[23, Volume 2, pg. 262].
12
O significado de figura retilnea ou ngulo retilneo corresponde a delimitado por linhas retas.
32
Neste caso tambm no vamos detalhar a demonstrao geomtrica dessa Proposio, mas
podemos ver como ela pode ser transformada em uma apresentao algbrica familiar, da seguinte
maneira:
Sejam dados um segmento de reta com comprimento a e uma figura de rea . Consideramos
por simplicidade que o paralelogramo a ser aplicado a este segmento de reta de comprimento
a seja um retngulo de lado x e que o excedente seja um quadrado de lado x. Devemos ento
determinar a largura x de um retngulo de modo que a soma das reas do retngulo (ax) e do
quadrado (xx) seja igual rea da figura dada. Ento:
ax + x2 = . (7.10)
Ou seja:
x2 + ax = 0 . (7.11)
Como a Proposio 29 do Livro VI de Os Elementos de Euclides permite determinar geo-
metricamente o valor da varivel x, percebemos como os matemticos gregos encontraram uma
maneira de resolver equaes de segundo grau.
Pelo que foi exposto at aqui, podemos entender melhor as seguintes bases usadas pelos
matemticos gregos e por Arquimedes:13
Qualquer superfcie delimitada por linhas retas pode ser subdividida em tringulos.
A combinao desses trs princpios permite concluir que podemos medir qualquer rea delimi-
tada por linhas retas como uma soma de quadrados. Foi neste ponto que pararam os matemticos
gregos antes de Arquimedes.
Arquimedes foi um dos primeiros matemticos a demonstrar a equivalncia entre uma super-
fcie delimitada por linhas curvas e uma outra superfcie delimitada por linhas retas (tringulo,
quadrado, retngulo ou outro polgono). Veremos exemplos disto a seguir, na traduo e comen-
trios sobre O Mtodo. Na primeira Proposio deste trabalho, por exemplo, ele obtm a rea
de um segmento parablico em termos da rea de um tringulo inscrito na parbola.
33
7.3.1 Conceitos Fundamentais
Vamos lidar aqui com grandezas homogneas A, B, C, ... Diz-se que duas grandezas A e B so
homogneas quando satisfazem ao axioma de Eudoxo (aproximadamente 408-355 a.C.), isto ,
quando existem nmeros naturais m e n tais que mA > B e nB > A.
Razo dupla
Sendo
A B
= , (7.12)
B C
ento temos:
A A2
= 2 . (7.13)
C B
Razo tripla
Sendo
A B C
= = , (7.14)
B C D
ento temos:
A A3
= 3 . (7.15)
D B
Razo composta
Sendo
A M
= , (7.16)
B N
e
B P
= , (7.17)
C Q
ento temos:
A M P
= . (7.18)
C N Q
34
7.3.2 Operaes Principais
Apresentamos em seguida as principais operaes da teoria das propores usadas nesse livro:15
A partir da proporo
A C
= , (7.19)
B D
podem ser obtidas outras propores conhecidas pelos nomes dados a seguir.
Permutando:
A B
= . (7.20)
C D
Invertendo:
B D
= . (7.21)
A C
Componendo:
A+B C +D
= . (7.22)
B D
Separando:
AB C D
= , (7.23)
B D
desde que A > B e C > D.
Convertendo:
A C
= , (7.24)
AB C D
desde que A > B e C > D.
15
[14, pgs. 52-54].
35
Captulo 8
8.1 Introduo
Conta a lenda que o povo de Atenas mandou uma delegao ao orculo de Delos para perguntar
como poderia ser combatida uma epidemia de peste que dizimava a cidade. O orculo respondeu
que o altar do deus Apolo deveria ser duplicado. Acontece que o altar em questo tinha a forma
de um cubo e os atenienses ento construram um outro altar de forma cbica cujo lado era o
dobro do primeiro... E a epidemia de Atenas continuou!
O problema de Delos como ficou conhecido o problema proposto pelo orculo, consiste na
determinao do lado de um cubo cujo volume seja o dobro de um cubo dado. A soluo deste
problema, por via geomtrica, manteve os matemticos gregos ocupados por muito tempo.
Atribui-se a descoberta das curvas cnicas ao matemtico Menecmo (aproximadamente 380-
320 a.C.) que, para encontrar uma soluo do problema de Delos, abriu para a humanidade
esta rea da geometria que se demonstrou to rica desde os seus primrdios.1
Depois de Menecmo os matemticos gregos dedicaram-se intensivamente ao estudo destas
curvas, at sua sistematizao geral por parte de Apolnio, que desenvolveu uma abordagem to
completa do assunto que permaneceu praticamente inalterada at a era moderna. Com efeito,
o seu livro As Cnicas, que chegou at nossos dias quase completo,2 constitui a base de tudo o
que conhecemos sobre o assunto.
Devemos porm observar que a viso que hoje temos das curvas cnicas difere profundamente
da viso dos gregos. Os gregos no as consideravam como lugares geomtricos, mas como sees
de algum tipo de cone obtidas por planos definidos, sendo esta a origem do nome sees cnicas.
Mesmo entre os gregos antigos, porm, as curvas cnicas eram obtidas de maneira diferente,
dependendo do tipo de cone usado para a sua gerao. Antes de Apolnio, os cones eram
considerados como slidos geomtricos de uma s folha gerados pela rotao de um tringulo
retngulo em torno de um de seus catetos. Os cones eram classificados de acordo com o tipo de
ngulo no vrtice do cone, delimitado pelas geratrizes, em um corte por um plano contendo o
eixo do cone.3 Podemos ter cones com trs tipos de ngulo no vrtice, a saber, agudo, reto ou
1
Ver Comentrios de Eutcio de Ascalona ao Primeiro Livro do Tratado de Arquimedes: Sobre a Esfera e o
Cilindro, [20, pgs. 90-97].
2
[39].
3
Ver [14, pgs. 56-60]. A geratriz e o eixo de uma superfcie de revoluo podem ser definidos nas seguintes
palavras, [40, pg. 181]: Uma superfcie de revoluo uma superfcie que pode ser obtida pela rotao de uma
curva plana, chamada geratriz, em torno de uma reta fixa, chamada eixo (de revoluo), no plano da referida
curva.
36
obtuso. claro que com esse tipo de construo podemos obter somente cones circulares retos
como mostrado na Figura 8.1.
A partir destes cones, sempre cortando uma das geratrizes com um plano perpendicular a ela,
eram obtidas as curvas cnicas. Estas cnicas recebiam as seguintes denominaes dependendo
do tipo de cone utilizado:
Os termos elipse, parbola e hiprbole, como costumamos chamar hoje estas curvas, foram
atribudos a elas, posteriormente, por Apolnio, que as obteve da mesma maneira, mas com um
procedimento diferente. Com efeito, Apolnio usava cones de base circular, mas os seus planos de
corte apresentavam diferentes inclinaes em relao s geratrizes. Quando o corte era feito com
um plano paralelo a uma geratriz obtnhamos uma parbola. Cortando o cone com um plano
que encontrava duas geratrizes, obtnhamos uma elipse. E quando o plano de corte encontrava
uma geratriz e o prolongamento de outra, obtnhamos ento uma hiprbole.
No queremos fazer aqui uma anlise mais profunda das diferenas entre estas duas maneiras
de obteno das curvas cnicas, pois isso foge aos objetivos desse trabalho, e tambm porque
temos vrios motivos para acreditar4 que a viso que Arquimedes tinha das curvas cnicas fosse
correspondente quela de Menecmo.
interessante porm citar aqui dois argumentos para consolidar este ponto de vista, que
podem ser considerados entre os mais importantes:
As denominaes das curvas cnicas usadas por Arquimedes correspondem quelas de Me-
necmo, e no s denominaes de Apolnio (que so as denominaes modernas). Ou seja,
Arquimedes utilizava seo de cone de ngulo agudo no lugar de elipse, seo de cone de
ngulo reto no lugar de parbola, e seo de cone de ngulo obtuso no lugar de hiprbole.
As equaes das curvas usadas por Arquimedes no so as equaes de Apolnio, mesmo
que em alguns casos haja coincidncia.
4
Ver [14, pg. 63 - 65].
37
8.2 Definies
Nesta Seo apresentamos algumas definies da matemtica grega,5 relacionadas com O Mtodo.
O eixo de um cone a linha reta traada do vrtice ao centro da base circular. O eixo de
um cilindro a linha reta traada ligando os centros das bases circulares opostas.
A corda o segmento de reta que inicia e finda em dois pontos de uma curva.
O segmento no plano definido por Arquimedes como a rea delimitada por uma curva e
uma corda.
O segmento no espao definido por Arquimedes como o volume delimitado por uma
superfcie de revoluo e um plano.
O sintoma de uma curva era o nome dado pelos matemticos gregos equao caracterstica
da curva.
A parbola definida por Arquimedes (da mesma maneira que Menecmo) como a seo de
um cone reto de base circular, com ngulo no vrtice tambm reto, obtida com um plano
perpendicular a uma geratriz, Figura 8.2.
B
F W
A D G
O vrtice de uma parbola o ponto de encontro do dimetro com a curva, Figura 8.2.
38
A abscissa associada a uma ordenada o segmento de reta ao longo do dimetro entre o
vrtice e o ponto em que a ordenada encontra o dimetro, Figura 8.2.8
O parmetro das ordenadas de uma parbola (ou de outra cnica) o segmento de reta ao
qual aplicado um retngulo de largura igual abscissa para obter uma rea equivalente
rea do quadrado contido pela ordenada.9
Os eixos que chamamos de eixo maior e eixo menor de uma elipse eram chamados por
Arquimedes de dimetro maior e dimetro menor, respectivamente. Qualquer um destes
dimetros ou eixos era chamado de conjugado do outro.
F Y
W
A D G
Seja uma parbola AB e uma tangente E ao ponto , Figura 8.3. Neste caso a subtan-
gente dada pelo segmento E.
39
8.3.1 Parbola
Vamos usar a Figura 8.4 para deduzir a equao de uma parbola, tal como foi usada por
Arquimedes nos seus livros. A parbola corresponde ao corte de um cone de ngulo reto no
vrtice T, por um plano passando por A perpendicularmente geratriz T do cone.
T T
E Z A E Z A
D G D Q G
K
B B
(a) (b)
Figura 8.4: Construo de uma parbola de acordo com Menecmo. (a) Viso lateral. (b) Viso
em perspectiva.
Na Figura 8.4 (a) o plano do papel contm as geratrizes do cone, T e T, assim como o
eixo do cone, TB. O ngulo T reto. Consideramos ento um plano perpendicular a uma das
geratrizes T do cone, cortando-a no ponto A. A curva determinada por este plano na superfcie
do cone uma parbola, ou seo de cone de ngulo reto de acordo com Arquimedes, Figura 8.4
(b). O ponto A chamado de vrtice da parbola e o segmento AB ligando este vrtice at o
eixo do cone o chamado dimetro da parbola, que coincide com seu eixo de simetria. Temos
que por construo AB perpendicular geratriz T.
Para determinar a equao caracterstica desta curva, consideramos um ponto qualquer K
sobre a mesma. Logo este ponto estar na superfcie do cone. Por este ponto K traamos um
plano paralelo base do cone, como mostrado na Figura 8.4. A interseo deste plano com o
cone ser ento um crculo cujo dimetro e cujo ponto K est na circunferncia, Figura 8.5.
D Q G
Figura 8.5: Vista superior do crculo paralelo base do cone e passando por K.
40
A Proposio 8 do Livro VI de Os Elementos de Euclides afirma que:10
A partir disto claro que, se em um tringulo retngulo, for traada uma perpen-
dicular a partir do ngulo reto para a base, a linha reta assim traada uma mdia
proporcional entre os segmentos da base.
K K = . (8.2)
Pelo vrtice A passamos um outro plano paralelo base, cortando o lado T no ponto E.
Seja Z o ponto mdio do segmento EA. Os pontos EA formam um paralelogramo. Portanto,
= EA , (8.3)
por serem lados opostos do mesmo paralelogramo. Por definio temos tambm que
EA = 2AZ . (8.4)
Ento:
Na Figura 8.4 temos dois tringulos retngulos, issceles e semelhantes, a saber, A e TAZ.
Os lados e ZA so paralelos, os lados TA e A so colineares, enquanto que so retos os
ngulos TZA e A. Logo, os lados correspondentes destes dois tringulos so e TA, A e
ZA, assim como A e ZT. De acordo com a Proposio 4 de Os Elementos de Euclides podemos
ento escrever a seguinte proporo:
10
[24, pg. 240].
11
Ver Os Elementos de Euclides, Livro VI, Proposio 8, [23, Volume 2, pg. 211].
12
Ver Os Elementos de Euclides, Livro VI, Proposio 4: [23, Volume 2, pg. 200].
41
TA
= . (8.6)
A AZ
A partir desta Equao obtemos:
y = K , (8.11)
x = A , (8.12)
e
p = 2T A . (8.13)
Com isto a Equao da parbola fica dada por:
y 2 = px . (8.14)
42
T
E M A
D Q I G
K
B H
43
H IA
= . (8.19)
B BA
Consideramos agora o tringulo AEI, cortado pela reta T paralela ao lado EI. Temos ento,
de acordo com a Proposio 2 do Livro VI de Os Elementos de Euclides:15
Caso alguma reta seja traada paralela a um dos lados de um tringulo, corta os
lados do tringulo em proporo; e, caso os lados do tringulo sejam cortados em
proporo, a reta, sendo ligada dos pontos de seco, ser paralela ao lado restante
do tringulo.
AI = 2A . (8.21)
Multiplicando o numerador e o denominador do primeiro membro da Equao (8.19) por A
obtm-se:
(A)(H) AI 2A
= = . (8.22)
(A)(B) BA BA
De acordo com a Equao (8.17) obtemos ento que:
Q(K) 2A
= , (8.23)
R(A, B) BA
onde as grandezas AB e A so caractersticas de um determinada curva. Portanto, o segundo
membro da Equao acima uma constante para cada curva.
A Equao (8.23) usada por Arquimedes para definir as propriedades de uma elipse ou de
uma hiprbole, como ser visto em vrios teoremas de O Mtodo.
15
Ver Os Elementos de Euclides, Livro VI, Proposio 2: [24, pg. 233].
44
Captulo 9
2. Atribui-se um peso s figuras geomtricas, supondo-se que ele est distribudo homoge-
neamente nas figuras. Ou seja, Arquimedes vai considerar que os segmentos lineares, as
reas, e os volumes possuem pesos proporcionais a estes comprimentos, reas e volumes,
respectivamente.
5. Pelo equilbrio da alavanca e por sua lei, Equao (6.1), pode-se determinar uma grandeza
desconhecida a partir de outras grandezas conhecidas. Esta grandeza desconhecida pode
ser uma rea, um volume, ou o centro de gravidade de um objeto.
45
Os princpios aqui citados so usualmente conhecidos como:1
Mtodo do baricentro
Mtodo dos indivisveis.
importante observar que o prprio Arquimedes no considera que este mtodo seja uma
demonstrao verdadeira. J no primeiro teorema do Mtodo ele deixa claro que a verdadeira
demonstrao aquela obtida por via geomtrica. Porm, como ele prprio afirma, mais fcil
obter uma demonstrao sabendo de antemo qual o resultado que queremos alcanar. Seu
mtodo lhe permitiu descobrir os resultados finais almejados. Em geral ele complementava as
demonstraes mecnicas utilizando este mtodo com outras demonstraes puramente geom-
tricas.
A partir da prxima Seo comearemos a ver como Arquimedes utiliza vrias alavancas em
equilbrio para obter resultados puramente geomtricos. Embora o trabalho desta tese seja essen-
cialmente terico, achamos importante enfatizar aqui que podem ser construdas balanas reais
contendo corpos em equilbrio sobre ela, satisfazendo s condies estabelecidas por Arquimedes.2
46
F
B
R H G
A D G H G
a) b)
Figura 9.2: (a) Corda A perpendicular ao dimetro. (b) Corda A inclinada em relao ao
dimetro.
Apresentamos agora os passos principais utilizados por Arquimedes para chegar no resultado
expresso pela Equao (9.1).
dada uma parbola AB circunscrita ao tringulo AB. O ponto divide a base A em
duas partes iguais. O segmento de reta E a tangente parbola no ponto . Os segmentos
ZA, M e E so paralelos ao dimetro da parbola, estando M a uma distncia arbitrria de
ZA. Alm disso, escolhe-se o ponto no prolongamento de B tal que seja dividida ao meio
no ponto K que est ao longo de ZA. Arquimedes mostra que os pontos K, N e B dividem ao
meio os segmentos ZA, M e E, respectivamente.
A partir da geometria da Figura 9.3 Arquimedes prova que:5
M K
= . (9.2)
O KN
Arquimedes ento considera os segmentos M e O como tendo pesos proporcionais aos seus
comprimentos. Supe ento uma alavanca horizontal colocada ao longo de com seu fulcro no
ponto mdio K. A partir da lei da alavanca, Equao (6.1), juntamente com a Equao (9.2), vem
que ela permanecer em equilbrio se o segmento pesado M permanecer em seu lugar apoiado
5
Uma demonstrao desta Equao encontra-se na Seo A.1 do Apndice.
47
T
Q
H
K
E
N C
O B
A
X
D
G
Figura 9.3: Construo geomtrica do Teorema I no caso geral. O segmento de reta tracejada
o dimetro ou eixo de simetria da parbola.
por seu centro N, enquanto que, simultaneamente, o segmento O for deslocado para TH com
seu centro colocado em . Esta condio de equilbrio est representada na Figura 9.4.
M
T K G
Q
H N
X
48
Z
Q K G
C
B
A
A
Figura 9.5: Esta alavanca horizontal fica em equilbrio ao redor do fulcro K com a rea
parablica AB apoiada sobre , enquanto que o tringulo AZ fica distribudo ao longo do
segmento K.
de ficar distribudo ao longo do brao, ele vai ser apoiado apenas por um ponto que coincide com
o centro de gravidade do tringulo. Nas Proposies 13 e 14 de Sobre o Equilbrio dos Planos
ele tambm havia provado que:6
Em todo tringulo, o centro de gravidade est situado sobre a reta ligando um vrtice
ao ponto mdio do lado oposto.
Em todo tringulo o centro de gravidade o ponto de encontro das linhas retas
ligando os vrtices do tringulo aos pontos mdios dos lados.
No caso do tringulo AZ da Figura 9.5 temos que K liga o vrtice ao ponto mdio K do
segmento AZ. O centro de gravidade deste tringulo est sobre o ponto X de K que divide este
segmento tal que
K 3
= . (9.4)
KX 1
Logo, a alavanca vai continuar em equilbrio na situao da Figura 9.6.
Pela lei da alavanca, Equao (6.1), juntamente com a proporcionalidade entre os pesos e
as reas, alm da Equao (9.4), vem que a situao de equilbrio representada pela Figura 9.6
pode ser escrita como:
area parabolica AB KX 1
= = . (9.5)
area do triangulo AZ K 3
A partir das proporcionalidades entre os segmentos da Figura 9.3 fcil demonstrar que:
49
Q K C G
Z
B
G
A
D
G A
Figura 9.6: A alavanca horizontal fica em equilbrio ao redor do fulcro K com a rea parablica
AB apoiada sobre , enquanto que o tringulo AZ fica apoiado sobre X. Temos KX = K/3.
Utilizando as Equaes (9.5) e (9.6) obtm-se finalmente a relao entre a rea do segmento
parablico e a rea do tringulo inscrito na parbola:
area parabolica AB 4
= . (9.7)
area do triangulo AB 3
Este o resultado obtido pela primeira vez por Arquimedes, a saber, a quadratura da par-
bola. Ele foi obtido combinando resultados geomtricos com a lei da alavanca.
O prprio Arquimedes menciona na carta endereada a Eratstenes que este foi o primeiro
teorema geomtrico que lhe foi revelado pela mecnica.8 Ou seja, no casual o fato deste
teorema aparecer em primeiro lugar em seu trabalho O Mtodo. Ele o apresentou na frente
dos outros teoremas por ter sido a primeira aplicao do mtodo.
Existem duas coisas muito importantes a serem enfatizadas a partir desta citao. A pri-
meira que foi o prprio Arquimedes o primeiro a obter a quadratura da parbola. Ou seja,
ningum antes dele havia sequer enunciado este resultado, quanto menos apresentado uma
demonstrao. A segunda que o resultado foi inicialmente obtido pela mecnica. Apenas
depois que j sabia o resultado que Arquimedes conseguiu elaborar uma demonstrao
8
Palavras textuais de Arquimedes, como veremos na pg. 106 desta tese: Portanto, descrevo inicialmente o
primeiro [teorema] que me foi revelado pela mecnica.
9
[15, Quadrature of the Parabola, pgs. 233-252].
50
geomtrica do teorema. Com a descoberta de O Mtodo ficamos finalmente sabendo como
ele havia chegado a este teorema por meio da mecnica. Em particular, Arquimedes con-
siderou uma alavanca em equilbrio sob a ao gravitacional terrestre, com uma parbola
e um tringulo apoiados sobre os braos da alavanca em distncias especficas do fulcro,
como indicado pela Figura 9.6. Conhecendo o centro de gravidade do tringulo, ou seja,
que KX 1/3 de K, o equilbrio desta alavanca permite que se obtenha a rea da parbola
em termos da rea do tringulo, sendo este seu objetivo.
Com este teorema Arquimedes conseguiu obter a rea delimitada por uma curva, a pa-
rbola, em termos da rea de um certo polgono, o tringulo inscrito na parbola. Os
gregos sabiam que a diagonal de um paralelogramo o divide em dois tringulos semelhan-
tes possuindo a metade da rea do paralelogramo. Alm disso, conseguiram construir
geometricamente um quadrado que tinha a mesma rea de um dado paralelogramo. Como
todo polgono pode ser decomposto em tringulos, isto significa que conseguiam obter ge-
ometricamente um quadrado que tinha a mesma rea que qualquer polgono dado. Com
este teorema Arquimedes conseguiu ento obter a quadratura da parbola, ou seja, cons-
truir geometricamente um quadrado que tivesse a mesma rea que um dado segmento de
parbola.
Este um resultado extremamente importante, j que um dos primeiros exemplos na
geometria em que se consegue obter a rea de uma figura curva em termos da rea de um
certo quadrado.
Anteriormente o prprio Arquimedes havia demonstrado em a Medida do Crculo a equi-
valncia entre um crculo e um tringulo:10
r r
p p
Figura 9.7: Arquimedes provou que este crculo e este tringulo retngulo possuem a mesma
rea.
p
=, (9.8)
2r
ou,
p = 2r . (9.9)
10
Ver Medida do Crculo, Proposio 1, [17, pg. 138].
51
O resultado expresso em palavras por Arquimedes em a Medida do Crculo apresentado
hoje em dia pela seguinte frmula:
pr 2r r
AC = AT = = = r 2 . (9.10)
2 2
Toda esfera o qudruplo do cone que tem sua base igual ao crculo mximo da esfera
e uma altura igual ao raio da esfera.
H N Z H N Z
Y D W D
Y W
O
R
Q A S K Q A K G
G
P
X
F C F C
B B
L M E L M E
(a) (b)
Figura 9.8: (a) Viso lateral. (b) Viso em perspectiva. Esfera AB, cone AZE, cilindro X
e cilindro HZE.
Na Figura 9.8 (a) temos uma viso lateral de quatro corpos volumtricos, a saber, a esfera
AB, o cone AZE tendo como base o crculo de dimetro EZ, o cilindro X circunscrito
esfera e tendo como bases os crculos de dimetros e X, e o cilindro HZE tendo como
bases os crculos de dimetros H e ZE. Estes corpos so vistos em perspectiva na Figura 9.8
(b), no apresentada por Arquimedes. O centro da esfera K, sendo seus dimetros ortogonais
A e B. Escolhe-se um ponto ao longo do prolongamento de A tal que A = A. O crculo
de dimetro MN paralelo s bases circulares dos cilindros, cortando a esfera em um crculo de
dimetro O e o cone em um crculo de dimetro P, todos com centros em .
A partir da geometria da Figura 9.8 Arquimedes prova que:11
MN MN A
= . (9.11)
O O + P P A
11
Uma deduo desta Equao encontra-se na Seo A.2 do Apndice.
52
A Proposio 2 do Livro XII de Os Elementos de Euclides afirma que:12
R
Q A S G
Figura 9.9: A alavanca horizontal fica em equilbrio ao redor do fulcro A quando o crculo
NM est apoiado sobre enquanto que os crculos O e P esto apoiados sobre .
Na Figura 9.10 representamos a mesma situao de equilbrio da Figura 9.9 mas agora com
os trs crculos vistos de lado e dependurados por fios de peso desprezvel. Nesta situao a
alavanca permanece em equilbrio.
A relao matemtica indicada nas Figuras 9.9 e 9.10 pode ser expressa pela Equao (9.12).
Arquimedes faz o mesmo procedimento para todos os crculos MN entre H e ZE. Os crculos
O de H at ZE vo formar a esfera AB apoiada sobre . Os crculos P de H at ZE
vo formar o cone AZE apoiado sobre . J os crculos MN de H at ZE vo formar o cilindro
HZE com seu eixo apoiado ao longo segmento A. Ficamos ento com uma alavanca em
equilbrio ao redor do fulcro A com trs figuras sobre ela, como representado na Figura 9.11.
Pelo sexto postulado de seu trabalho anterior Sobre o Equilbrio dos Planos, citado na Subse-
o 6.1.3, pgina 26 desta tese, vem que esta alavanca ainda permanecer em equilbrio ao redor
do fulcro A colocando todo o cilindro HZE apoiado apenas por seu centro de gravidade.
No oitavo lema de O Mtodo Arquimedes afirma que:
O centro de gravidade de todo cilindro o ponto que divide o eixo em duas partes
iguais.
12
[24, pg. 528].
53
Q A S G
Figura 9.10: A alavanca horizontal fica em equilbrio ao redor do fulcro A quando o crculo
NM est apoiado sobre enquanto que os crculos O e P esto apoiados sobre .
H Z
Q A G
A
B D
L E
G
E Z
Figura 9.11: Esta alavanca fica em equilbrio ao redor do fulcro A com a esfera AB e o
cone AZE apoiados sobre , enquanto que o cilindro HZE fica com seu eixo apoiado ao longo
do segmento A.
O ponto K divide o segmento A ao meio, sendo este segmento o eixo do cilindro HZE.
Portanto, este cilindro pode ser apoiado apenas pelo ponto K que ainda assim a alavanca per-
manecer em equilbrio ao redor do fulcro A, Figura 9.12.
Pela lei da alavanca, Equao (6.1), juntamente com a proporcionalidade entre os pesos e os
volumes, vem que a situao de equilbrio representada pela Figura 9.12 pode ser escrita como:
cilindroHZE A 2
= = . (9.13)
esferaAB + coneAZE AK 1
A Proposio 10 do Livro XII de Os Elementos de Euclides afirma que:13
Todo cone uma tera parte do cilindro que tem a mesma base que ele e altura igual.
13
[24, pg. 543].
54
Q A K G
A
B D
G L H
A
E Z
E Z
Figura 9.12: A alavanca continua em equilbrio ao redor de A com a esfera e o cone apoiados
sobre , enquanto que o cilindro fica apoiado apenas sobre seu centro de gravidade K.
O cilindro que tem uma base igual ao crculo mximo de uma esfera e uma altura
igual ao dimetro da esfera equivalente a trs meios da esfera.
55
9.3.1 Importncia do Teorema II
Ressaltamos aqui os pontos mais relevantes deste segundo Teorema.
O aspecto mais importante deste Teorema que Arquimedes conseguiu obter pela primeira
vez na histria o volume de uma esfera. Seja VE o volume de uma esfera de raio r. Este
volume expresso hoje em dia pela seguinte frmula:
4
VE = r 3 . (9.20)
3
Para ver como este resultado equivalente quele apresentado por Arquimedes, comeamos
apresentando com suas palavras a segunda parte do teorema:
O cilindro que tem uma base igual ao crculo mximo de uma esfera e uma altura
igual ao dimetro da esfera equivalente a trs meios da esfera.
Figura 9.13: Esfera inscrita em um cilindro que tem uma base igual ao crculo mximo da esfera
e uma altura igual ao dimetro da esfera.
Vamos agora ver como o resultado obtido pela primeira vez por Arquimedes equivalente
frmula moderna. Chamando o volume do cilindro circunscrito esfera de VC e o volume
da esfera de VE , o teorema de Arquimedes pode ser expresso matematicamente da seguinte
maneira:
3
VC = VE . (9.21)
2
O volume do cilindro dado pela sua altura multiplicada por sua base. Sua altura o
dimetro da esfera de raio r, ou seja, 2r. Sua base o crculo mximo da esfera. Pela
Equao (9.10) vem que Arquimedes conhecia esta rea, que expressa hoje em dia por
r 2 . A partir da Equao (9.21) vem ento que o volume da esfera dado por:
2 2 4
VE = VC = 2r (r 2 ) = r 3 . (9.22)
3 3 3
Este resultado a conhecida frmula dada pela Equao (9.20).
56
Poucos estudantes sabem hoje em dia que o volume da esfera foi obtido pela primeira vez
por Arquimedes (como visto no item anterior, embora a frmula dada pela Equao (9.20)
seja moderna, ela equivalente ao resultado expresso em palavras por Arquimedes). Apesar
disto, os especialistas em Arquimedes sabiam que este resultado era devido a ele, j que se
conhecia seu trabalho Sobre a Esfera e o Cilindro no qual apresentou uma demonstrao
geomtrica deste teorema.14 Mas foi apenas com a descoberta de O Mtodo que se tornou
conhecido como ele obteve este resultado pela primeira vez, ou seja, utilizando propores
entre reas e supondo uma alavanca em equilbrio sob a ao gravitacional terrestre. Uti-
lizando este mtodo concluiu que a alavanca da Figura 9.12 fica em equilbrio com AK
sendo a metade de A. Desde Demcrito j se sabia que o volume de um cone vale um
tero do volume do cilindro de mesma base e mesma altura, sendo isto demonstrado pela
primeira vez por Eudoxo. Em Os Elementos de Euclides encontra-se uma demonstrao
deste teorema. Combinando este resultado com a lei da alavanca e a situao de equilbrio
representada pela Figura 9.12, Arquimedes conseguiu ento relacionar o volume da esfera
com o volume do cone inscrito na esfera (primeira parte deste segundo Teorema), ou ento
relaciona o volume da esfera com o volume do cilindro circunscrito na esfera (segunda parte
deste segundo Teorema).
Depois que chegou ao volume da esfera por meio da mecnica, conseguiu obter tambm
uma demonstrao geomtrica.
Tambm poucos estudantes sabem hoje em dia que a rea de uma esfera foi obtida pela
primeira vez por Arquimedes. Seja AE a rea de uma esfera de raio r. A frmula moderna
que representa esta rea dada por:
AE = 4r 2 . (9.23)
AE = 4AC = 4r 2 . (9.24)
Acontece que em sua obra Sobre a Esfera e o Cilindro este resultado aparece como o Teo-
rema 33, sendo que o volume da esfera aparece como o Teorema 34. Logo todos pensavam
que inicialmente Arquimedes havia calculado a rea da esfera, para s ento deduzir seu
volume. Foi apenas com a descoberta de O Mtodo que se ficou sabendo que Arquimedes
inicialmente obteve o volume da esfera utilizando a lei da alavanca. Aps isto que foi
levado concluso de que a rea da esfera era o qudruplo de seu crculo mximo.
14
[15, Proposio 34, pgs. 41-44].
15
[15, Proposio 33, pgs. 39-41].
57
Apresentamos aqui o trecho importante de O Mtodo contendo esta revelao:16
Demonstrado isto, [a saber,] que toda esfera o qudruplo do cone que tem como
base o crculo mximo e como altura o raio da esfera, surgiu a ideia de que a
superfcie de toda esfera fosse o qudruplo de seu crculo mximo. Com efeito,
supus que, posto que todo crculo equivalente a um tringulo tendo por base
a circunferncia do crculo e por altura o raio do crculo, toda esfera tambm
equivalente a um cone tendo como base a superfcie e como altura o raio da
esfera.
Podemos inferir que a descoberta da razo entre os volumes da esfera e do cilindro cir-
cunscrito a ela foi considerada por Arquimedes como sendo seu maior feito, motivo pelo
qual desejou preservar esta grande descoberta em seu tmulo. fascinante perceber em
O Mtodo que esta razo puramente geomtrica foi obtida originalmente pela mecnica
utilizando uma alavanca em equilbrio.
16
ver a pg. 112 desta tese.
17
Ccero, Tusculanae Disputationes, [42, V, 23]: ... procurei o tmulo... encontrei uma pequena coluna
aparecendo sobre os arbustos, na qual estava a figura de uma esfera e de um cilindro.
58
9.4 Demonstrao Fsica do Teorema III: Volume do Elip-
soide de Revoluo
No terceiro teorema de O Mtodo Arquimedes prova o seguinte:18
H N Z
D
Y W
O
Q A R
S G
K
P
X
F C
B
L M E
59
A Q(M )
= . (9.25)
A Q( ) + Q( )
Esta a relao matemtica bsica que vai ser utilizada por Arquimedes, juntamente com a
lei da alavanca, para demonstrar o terceiro teorema de O Mtodo.
Apresentamos agora a demonstrao fsica deste teorema.
Como nos teoremas anteriores, Arquimedes observa que uma proporo entre os quadrados
de segmentos a mesma proporo que existe entre as reas ou os pesos dos crculos homogneos
cujos dimetros so estes mesmos segmentos. Portanto, utilizando a Figura 9.15 vem que a
Equao (9.25) pode ser escrita como:
A crculo de diametro MN
= . (9.26)
A (crculo de diametro O) + (crculo de di ametro P)
Sempre considerando os crculos como objetos homogneos com peso distribudo uniforme-
mente, a Equao (9.26) representa a lei da alavanca, considerando o ponto A como fulcro. Ou
seja, esta alavanca fica em equilbrio com os crculos de dimetro O e P colocados no ponto
e com seus centros de gravidade em , juntamente com o crculo de dimetro MN permanecendo
no seu lugar. Isto est representado na Figura 9.16 com os crculos dependurados por cordas
cujas projees passam por seus centros de gravidade.
Q A S G
Figura 9.16: Representao do equilbrio das sees circulares sobre uma alavanca com fulcro em
A.
O mesmo ocorre com qualquer reta MN traada entre A e e o plano correspondente paralelo
a EZ. Ou seja, todos os crculos assim determinados estaro em equilbrio em relao ao ponto A,
com todos aqueles de dimetro MN permanecendo em seus lugares, enquanto que todos aqueles
de dimetro O e P so transportados com seus centros de gravidade atuando sobre .
Mas o elipsoide, o cone e o cilindro so constitudos por todos os crculos a eles corresponden-
tes. Portanto, eles tambm estaro em equilbrio em relao ao ponto A, o cilindro permanecendo
no seu lugar, mas o cone e o elipsoide sendo transportados para o ponto e com seus centros
de gravidade em , como mostrado na Figura 9.17.
Pelo Lema 8 de O Mtodo,21 o ponto K o centro de gravidade do cilindro, enquanto que
o centro de gravidade comum do elipsoide e do cone. Pelo Postulado 6 de Sobre o Equilbrio
21
Citado na Seo 9.3, pgina 53 desta tese.
60
H Z
Q A K G
L E
E Z
dos Planos 22 vem ento que a alavanca vai continuar em equilbrio quando o cilindro atua sobre
ela apenas por seu centro de gravidade passando por K, como est representado na Figura 9.18.
Q A K G
L H
E Z
E Z
Figura 9.18: O equilbrio com os corpos atuando sobre a alavanca atravs de seus centros de
gravidade.
O equilbrio representado pela Figura 9.18 pode ser expresso matematicamente da seguinte
forma:
A cilindro
= . (9.27)
AK elipsoide + cone AEZ
Mas:
22
Citado na Subseo 6.1.3, pgina 26 desta tese, ver ainda [33, pgs. 215 a 220 e 226].
61
A = 2AK . (9.28)
Isto significa que temos tambm o seguinte resultado:
Proposio 10: Todo cone uma tera parte do cilindro que tem a mesma base que
ele e altura igual.
Proposio 11: Os cones e cilindros que esto sob a mesma altura esto entre si como
as bases.
Proposio 12: Os cones e cilindros semelhantes esto entre si em uma razo tripla
da [razo] dos dimetros das bases.
Proposio 13: Caso um cilindro seja cortado por um plano que paralelo aos planos
opostos, como o cilindro estar para o cilindro, assim o eixo para o eixo.
Proposio 14: Os cones e cilindros que esto sobre bases iguais esto entre si como
as alturas.
62
Pela Proposio 13 do Livro XII de Os Elementos de Euclides temos que o cilindro X
o dobro do cilindro B, pois as bases so iguais e o eixo de um o dobro do eixo do outro.
Com isso:
A Figura 9.19 (a) foi utilizada por Arquimedes na demonstrao deste teorema. Na Figura
9.19 (b) temos os mesmos corpos vistos em perspectiva.
Nesta Figura a parbola BA representa a interseo de um segmento de paraboloide de
revoluo pelo plano do papel. O eixo do segmento de paraboloide e da parbola A.
24
Ver Sobre Conoides e Esferoides, Proposio 27, [17, pg. 226].
25
Ver a demonstrao geomtrica deste teorema em Sobre Conoides e Esferoides, Proposio 21, [17, pg. 202].
63
Z N G Z N G
O O
Q A S K D Q A S K D
X X
E M B E M B
(a) (b)
Figura 9.19: (a) Construo geomtrica do teorema IV, vista lateral. (b) Vista em perspectiva.
A = A . (9.38)
Considere-se como o travesso de uma alavanca do qual A o ponto mdio, que ser
considerado como fulcro. A base do segmento de paraboloide o crculo de dimetro B. Seja
traado em um plano perpendicular ao segmento A, um crculo com centro A e dimetro EZ.
Este crculo igual e paralelo ao crculo de dimetro B. Seja construdo tambm o cilindro que
tenha por bases esses dois crculos e por eixo A. Alm disso, consideremos o cone cuja base
o crculo de dimetro B e cujo vrtice o ponto A.
Seja traada no paralelogramo ZEB uma reta qualquer MN paralela a B e cruzando o
segmento A no ponto . A distncia A ser considerada arbitrria por Arquimedes, sendo
que na demonstrao do teorema ir de A = 0 at A = A. Seja levantado um plano
perpendicular ao eixo A passando por MN. Este plano cortar o cilindro segundo um crculo
de dimetro MN e cortar o segmento de paraboloide segundo um crculo de dimetro O.
A partir da geometria da Figura 9.19, Arquimedes demonstra a seguinte relao matemtica:26
A Q(M )
= . (9.39)
A Q( )
J vimos nos teoremas anteriores que a razo entre os quadrados de dois segmentos pode
ser substituda pela razo entre os crculos cujos dimetros (ou raios, como neste caso) so esse
mesmos segmentos. Logo:
A crculo de diametro MN
= . (9.40)
A crculo de diametro O
Esta a relao matemtica bsica que utilizada por Arquimedes, juntamente com a lei da
alavanca, para demonstrar o presente teorema.
Apresentamos agora a deduo fsica deste teorema.
Aqui tambm, como nos casos anteriores, Arquimedes considera os crculos como objetos
homogneos com seus pesos distribudos uniformemente nas figuras. A Equao (9.40) representa
a lei da alavanca em relao ao ponto A como fulcro. Ou seja, esta alavanca fica em equilbrio
26
A deduo desta Equao encontra-se na Seo A.4 do Apndice.
64
com o crculo de dimetro O colocado no ponto e o crculo de dimetro MN permanecendo
no seu lugar, como representamos na Figura 9.20.
Q A S D
O N
Z G
Q A K D
A
E B
B G
Consideramos agora o ponto K que divide a reta A pela metade. Pelo Lema 8 de O Mtodo,27
este ponto ser tambm o centro de gravidade do cilindro. O Postulado 6 de Sobre o Equilbrio
dos Planos 28 permite concluir que a alavanca vai continuar em equilbrio quando o cilindro atua
sobre ela apenas por seu centro de gravidade. Isto est representado na Figura 9.22.
A situao de equilbrio da Figura 9.22 pode ser expressa matematicamente da seguinte forma:
A cilindro
= . (9.41)
AK segmento de paraboloide
27
Citado na Seo 9.3, pgina 53 desta tese.
28
Citado na Subseo 6.1.3, pgina 26 desta tese, ver ainda [33, pgs. 215 a 220 e 226].
65
Q A K D
B G
E Z
B G
Figura 9.22: Equilbrio dos slidos atuando sobre a alavanca por seus centros de gravidade.
Podemos ento concluir a demonstrao fsica do teorema. Por construo temos que
A = 2AK . (9.42)
Logo:
66
O centro de gravidade de um segmento de paraboloide cortado por um plano perpen-
dicular ao eixo est sobre o seu eixo dividindo-o de modo que a parte do mesmo do
lado do vrtice o dobro da parte restante.
A Figura 9.23 (a) foi utilizada por Arquimedes na demonstrao deste teorema.
G G
O O
R R
Q A S K D Q A S K
D
P P
X X
B B
(a) (b)
Figura 9.23: Construo geomtrica do teorema V. (a) Viso lateral. (b) Viso em perspectiva.
A = A . (9.45)
Considere-se como o travesso de uma alavanca na qual A o ponto mdio, que ser
considerado como fulcro. Considere-se tambm o cone inscrito no segmento de paraboloide, tendo
como geratrizes as retas AB e A.
Seja traada na parbola a reta O paralela a B, a qual encontra as geratrizes do cone nos
pontos P e , a prpria parbola nos pontos O e , encontrando o eixo A no ponto . Esta
reta O est a uma distncia arbitrria da base B. Na prova deste teorema esta distncia vai
variar de A = 0 at A = A.
Sobre a reta O levantado um plano perpendicular ao eixo A, o qual determina como
interseco nos slidos, os crculos de dimetros O e P.
A partir da geometria da Figura 9.23 Arquimedes demonstra a seguinte relao matemtica:30
A Q( )
= . (9.46)
A Q( )
Mas j vimos nos teoremas anteriores que uma proporo entre quadrados igual a uma
proporo entre os crculos que tenham os raios (ou os dimetros) respectivamente iguais aos
lados dos quadrados. Logo, utilizando a Figura 9.23 vem que a Equao (9.46) pode ser escrita
como:
30
A deduo matemtica desta Equao encontra-se na Seo A.5 do Apndice.
67
A crculo de diametro O
= . (9.47)
A crculo de diametro P
Esta a relao matemtica bsica que utilizada por Arquimedes, juntamente com a lei da
alavanca, para fazer a demonstrao fsica deste teorema, a qual apresentamos a seguir.
Consideramos ento os crculos como objetos homogneos com seus pesos distribudos uni-
formemente. A Equao (9.47) representa a lei da alavanca, em relao ao ponto A como fulcro.
Ou seja, esta alavanca fica em equilbrio com o crculo de dimetro P colocado no ponto e o
crculo de dimetro O permanecendo no seu lugar. Esta situao est representada na Figura
9.24.
O
R
Q A S D
P
X
(a)
O
R
Q A S D
P
(b) X
Figura 9.24: Equilbrio dos crculos na alavanca. a) Vista de perfil. b) Vista em perspectiva.
68
G G
Q A D Q A D
B G
A
B B
B G
(a) (b)
Figura 9.25: (a) Equilbrio dos slidos sobre a alavanca ao redor do ponto A com o paraboloide
permanecendo em seu lugar distribudo sobre o brao da alavanca, enquanto que o cone est
atuando apenas sobre o ponto . (b) Mesma situao de equilbrio com o cone dependurado em
por um fio de peso desprezvel, com o paraboloide distribudo sobre o brao da alavanca.
Q A K D
B G B G
Figura 9.26: Alavanca em equilbrio ao redor do ponto A com o cone atuando em e o parabo-
loide atuando em K.
A situao de equilbrio representada pela Figura 9.26 pode ser expressa matematicamente
como:
AK cone
= . (9.48)
A segmento de paraboloide
Com isto ento podemos concluir a demonstrao. Pelo Teorema IV sabemos que:
3
segmento de paraboloide = (cone) . (9.49)
2
Ento:
2 2
AK = A = A . (9.50)
3 3
Como
AK + K = A , (9.51)
69
podemos concluir a demonstrao. Ou seja, combinando as Equaes (9.50) e (9.51), conclumos
que o centro de gravidade de um segmento de paraboloide de revoluo est situado sobre o seu
eixo A em um ponto K que o divide como foi definido no enunciado do teorema. Ou seja, a
parte situada do lado do vrtice o dobro da parte restante, ver a Figura 9.23:
AK = 2K . (9.52)
E esta a formulao matemtica deste teorema que foi expresso nas seguintes palavras por
Arquimedes:
Este resultado que Arquimedes obteve pela primeira vez extremamente importante. Ele
j era conhecido antes da descoberta do manuscrito de O Mtodo. Em seu trabalho Sobre
os Corpos Flutuantes, que j se encontra traduzido para o portugus,32 Arquimedes havia
pesquisado as condies de equilbrio de um paraboloide de revoluo flutuando em um
fluido. Em particular, analisou para quais ngulos de inclinao do eixo do paraboloide em
relao vertical haveria um equilbrio estvel ou instvel do paraboloide. Neste trabalho
ele utilizou o centro de gravidade do paraboloide, indicando sua localizao exata. Mas at
a descoberta de O Mtodo no incio do sculo XX no se conhecia como Arquimedes havia
calculado este centro de gravidade do paraboloide, j que os clculos para se chegar neste
resultado no apareciam em Sobre os Corpos Flutuantes, nem nos trabalhos conhecidos de
todos os outros matemticos gregos da antiguidade.33
32
[35].
33
Ver [12, pg. 265].
70
Mais uma vez, fascinante perceber como Arquimedes utilizou a lei da alavanca para chegar
a um resultado indito sobre a localizao do centro de gravidade de um corpo.
D
N M O
R
Q A F H G
E C
P
X
B
Nesta Figura o crculo AB representa o corte de uma esfera no plano do papel. Sejam
neste crculo A e B dois dimetros perpendiculares entre si, cruzando-se no ponto H. Sejam
construdos sobre B um plano perpendicular a A, determinando um hemisfrio, e um cone
tendo por base o crculo de dimetro B, vrtice em A e geratrizes AB e A. Seja prolongada
A at o ponto , fazendo
A = A . (9.53)
Arquimedes considera como sendo o travesso de uma alavanca da qual A o ponto
mdio, que ser considerado como fulcro.
Seja traada no semicrculo BA uma reta qualquer O paralela a B, a qual encontrar a
circunferncia nos pontos O e , as geratrizes do cone em P e , e a reta A no ponto E. Sobre
a reta O seja levantado um plano perpendicular a AE. Este plano cortar o hemisfrio segundo
um crculo de dimetro O e o cone segundo um crculo de dimetro P.
A partir da geometria da Figura 9.27 Arquimedes demonstra a seguinte relao matemtica:35
A Q(E ) + Q(E )
= . (9.54)
AE Q(E )
34
[19, pg. 102].
35
A demonstrao matemtica desta Equao encontra-se na Seo A.6 do Apndice.
71
Mas a razo entre quadrados a mesma razo que existe entre as reas dos crculos cujos
dimetros so os lados dos quadrados. Alm disso:
A = A . (9.55)
Portanto, com a Figura 9.27:
A crculo de diametro O + crculo de di ametro P
= . (9.56)
AE crculo de diametro P
Isto conclui a demonstrao da relao matemtica bsica necessria para a prova deste
teorema. Apresentamos agora a demonstrao fsica deste teorema.
Arquimedes considera a Equao (9.56) como representando uma alavanca em equilbrio ao
redor do ponto A. Ou seja, ela fica em equilbrio com os dois crculos de dimetro O e P
permanecendo em seus lugares, juntamente com o crculo de dimetro P colocado em , como
mostrado na Figura 9.28.
Q A E G
R
R
P
P
O
Q A H G
B
B D
72
Arquimedes considera ento um cilindro MN com mesmo peso que o cone AB, Figura 9.30
(a).
M
N B D
D
Q A H G
B
M
N
Figura 9.30: (a) Cilindro MN de mesmo volume que o cone AB. (b) Alavanca com trs slidos
em equilbrio ao redor do ponto A.
D
O
R
Q A F H G
E C
M P
N
X
B
Corte-se esse cilindro MN por um plano perpendicular ao eixo, obtendo dois cilindros, M e N
que, ao atuarem separadamente sobre o ponto , satisfazem s seguintes condies de equilbrio
da alavanca em relao ao ponto A: O cilindro M sozinho equilibra o cone AB permanecendo
em seu lugar, enquanto que o cilindro N sozinho equilibra o hemisfrio BA permanecendo em
seu lugar, Figura 9.32.
Consideramos sobre AH um ponto satisfazendo s seguintes relaes:
A = 3H , (9.57)
73
D
Q A CF G
H
M
B
D
Q A H G
B
N
Figura 9.32: Alavancas em equilbrio ao redor do ponto A: (a) O cilindro M equilibra o cone
AB permanecendo em seu lugar. (b) O cilindro N equilibra o hemisfrio BA permanecendo
em seu lugar.
A + H = AH . (9.58)
O Lema 10 de O Mtodo afirma que:36
O centro de gravidade de todo cone est situado sobre o eixo, dividindo-o de modo
que o segmento prximo do vrtice seja o triplo do restante.
Por este Lema vem que o ponto o centro de gravidade do cone. Pelo sexto postulado de
Sobre o Equilbrio dos Planos37 vem que a situao da Figura 9.32 (a) vai continuar em equilbrio
com o cone AB atuando sobre a alavanca apenas por seu centro de gravidade localizado em ,
como indicado na Figura 9.33.
Temos que
A = A = 2AH . (9.59)
Usando as Equaes (9.57), (9.58) e (9.59) vem que a Figura 9.33 pode ser expressa mate-
maticamente da seguinte forma:
cone AB A 8
= = . (9.60)
cilindro M A 3
Consideramos agora um outro ponto X satisfazendo seguinte relao:
AH 8
= . (9.61)
AX 5
No se encontra a prova deste Lema nas obras de Arquimedes que chegaram at ns. Para uma reconstruo
36
74
Q A F G
A
M
B D
Figura 9.33: O cilindro M, ao atuar em , equilibra a alavanca ao redor do ponto A com o cone
AB atuando em .
Temos que:
AH = AX + XH . (9.62)
Substituindo a Equao (9.62) na Equao (9.61) vem:
AX + XH 8
= . (9.63)
AX 5
Pelas propriedades das propores temos:
38
AX + XH AX 85 3 XH
= = = . (9.64)
AX 5 5 AX
A partir destas consideraes Arquimedes encontra a localizao de centro de gravidade do
hemisfrio por meio de dedues fsicas e matemticas alternadamente, como podemos acompa-
nhar a seguir.
O cilindro MN foi construdo como sendo equivalente ao cone AB. Portanto, utilizando a
Equao (9.60), temos que:
cilindro M cilindro M cilindro M 3
= = = . (9.65)
cone AB cilindro MN cilindro M + cilindro N 8
Desta Equao vem que:
75
Mas no incio da demonstrao Arquimedes tomou o ponto X de modo que os segmentos AH
e AX satisfizessem razo de 8/5. Portanto, podemos substituir na Equao (9.68) a razo 8/5
por AH/AX obtendo:
cone AB AH
= . (9.69)
cilindro N AX
Foi visto no Teorema II que a esfera o qudruplo do cone que tem por base o crculo mximo
B e por eixo (altura) o seu raio AH. Ento o hemisfrio o dobro do cone AB. Combinando
estes resultados vem que:
hemisf erio 2 A
= = , (9.70)
cone AB 1 AH
pois A o dobro de AH por construo. Portanto, multiplicando membro a membro as duas
ltimas Equaes temos:
hemisf erio A
= . (9.71)
cilindro N AX
Mas essa a lei da alavanca com fulcro em A. Ou seja, esta alavanca fica em equilbrio com
o cilindro N atuando sobre , com o hemisfrio atuando em X, Figura 9.34.
Q A C G
A
N
B D
Conclumos ento, pelo Postulado 6 de Sobre o Equilbrio dos Planos, que o centro de gravi-
dade do hemisfrio realmente o ponto X. As caractersticas deste ponto X foram definidas pela
Equao (9.61), a partir da qual deduzimos a Equao (9.64), a saber:
AX 5
= . (9.72)
XH 3
Esta a formulao matemtica deste sexto teorema de O Mtodo.
76
Sabia-se que Arquimedes havia calculado o centro de gravidade no apenas de um hemis-
frio, mas de qualquer segmento esfrico, j que utilizou estes resultados para estudar o
equilbrio de um corpo com este formato flutuando em um lquido em seu trabalho Sobre
os Corpos Flutuantes.40 Infelizmente a parte final da primeira parte deste trabalho chegou
mutilada at ns, faltando a maior parte da obra. Com a descoberta de O Mtodo ficou-se
sabendo pelo menos como ele havia calculado estes centros de gravidade.
A razo entre todo segmento esfrico e o cone que tem a mesma base e o mesmo eixo
do segmento, igual razo da soma do raio da esfera com a altura do segmento
restante, para a altura do segmento restante.
A Figura 9.35 representa com AB o crculo mximo de uma esfera, sendo A e TY dois
dimetros perpendiculares. Corta-se a esfera pelo ponto H com um plano perpendicular ao
segmento de reta A definindo assim um segmento esfrico cuja base o crculo de dimetro
B. Sobre este crculo construdo um cone com vrtice em A.
N L
Z
U
O B
R
Q A X F H G W
S
P
X D
T
E
Y M K
Alm disso, tendo como base o crculo de dimetro TY, seja construdo um outro cone tambm
com vrtice em A. Seja prolongada a superfcie lateral deste cone at encontrar o plano passando
por B e perpendicular ao eixo A. Esta interseo ser o crculo de dimetro EZ.
Traduo para o portugus em [35].
40
A demonstrao geomtrica deste teorema pode ser encontrada em Sobre a Esfera e o Cilindro, Livro II,
41
77
Neste mesmo plano passando por B e perpendicular ao eixo A seja tambm construdo
um crculo com centro em H e raio igual a A. O seu dimetro est indicado na figura como K.
Sobre este crculo seja construdo um cilindro cujo eixo AH. O corte deste cilindro no plano do
papel ento representado pelo paralelogramo K.42
Agora Arquimedes prolonga o eixo do segmento esfrico A dos dois lados. Este prolonga-
mento feito de um lado com o segmento de reta igual ao raio da esfera e do outro lado, como
de costume, com um segmento A igual a A. O segmento ser considerado uma alavanca
com fulcro em A.
Dentro do paralelogramo K traa-se a reta MN paralela a B. Esta reta MN est a uma
distncia arbitrria de K. Sobre a reta MN levanta-se um plano perpendicular ao eixo A.
Este plano corta o cilindro segundo um crculo de dimetro MN, o segmento esfrico segundo um
crculo de dimetro O, e o cone AEZ segundo um crculo de dimetro P.
Aqui observamos que a Figura deste teorema muito semelhante quela j construda no
Teorema II, Figura 9.8 (a). A deduo matemtica das equaes que vo ser utilizadas na lei
da alavanca aplica-se tambm s figuras geomtricas deste teorema. Podemos usar ento como
ponto de partida da demonstrao fsica a mesma Equao (9.12), a saber:
A Crculo de diametro MN
= . (9.73)
A (Crculo de diametro O) + (Crculo de di ametro P)
A situao de equilbrio representada pela Equao (9.73) indicada na Figura 9.36.
Q A S G
O
Figura 9.36: Alavanca em equilbrio ao redor do fulcro A com o crculo de dimetro MN perma-
necendo com seu centro de gravidade em , juntamente com os crculos de dimetro O e P
com seus centros de gravidade deslocados para .
78
AH obtemos os trs slidos em equilbrio em relao ao ponto A, com o cilindro permanecendo
no seu lugar, enquanto o cone AEZ e o segmento esfrico so transportados com seus centros de
gravidade sobre o ponto , como na Figura 9.37.
Q A C H G
A
Y K
E Z
D B
Figura 9.37: Equilbrio da alavanca ao redor do fulcro A com o cilindro permanecendo em seu
lugar, enquanto que o cone AEZ e o segmento esfrico so transportados com seus centros de
gravidade atuando sobre o ponto .
Para continuar o estudo do equilbrio dos slidos sobre a alavanca, Arquimedes define agora
dois pontos sobre o eixo AH, a saber, X e , tais que:
AX = XH , (9.74)
e
AH
H = . (9.75)
3
Com essas definies, X o centro de gravidade do cilindro pelo Lema 8 de O Mtodo citado
na Seo 9.3, pgina 53 desta tese. Assim podemos representar o equilbrio entre os slidos com
a situao representada na Figura 9.38.
Partindo destas consideraes e da condio de equilbrio da alavanca, podemos ento escre-
ver:
A Cilindro
= . (9.76)
AX (Cone AEZ) + (Segmento esf erico AB)
Invertemos a Equao (9.76) e substitumos A por A, que so iguais entre si por construo.
Multiplicamos tambm o numerador e o denominador do primeiro membro por A, obtendo:
EH = AH , (9.78)
79
Q A C H G
L H K
E Z
A
Y
D B
Figura 9.38: Equilbrio da alavanca ao redor do fulcro A com o cilindro dependurado pelo ponto
X (que o ponto mdio de AH) atravs de seu centro de gravidade, enquanto que o cone AEZ e
o segmento esfrico so transportados com seus centros de gravidade atuando sobre o ponto .
H = A . (9.79)
Considerando agora as Equaes (9.78) e (9.79), assim como as propores existentes entre
cones e cilindros de mesma altura, como esto apresentadas por Euclides,43 vem que tambm
podemos escrever:
Com base nas propriedades das propores,44 e pela Equao (9.82) temos que:
1 1
Segmento esf erico AB 2
A 3
AH
= 1 . (9.83)
Cone AEZ 3
AH
Ver Os Elementos de Euclides, Livro XII, Proposies 10 e 11, citadas na Seo 9.4, pgina 62 desta tese,
43
ver ainda [23, Vol. 3, pg. 400 a 409] e [24, pg. 543 a 549].
44
Ver a Equao (7.23).
80
Lembramos agora que cones da mesma altura so proporcionais s respectivas bases.45 Por
outro lado, as bases destes cones, sendo crculos, so proporcionais aos quadrados de seus di-
metros (ou raios), conforme a Proposio 2 do Livro XII de Os Elementos de Euclides:46
EH = AH . (9.85)
Pela propriedade dos tringulos retngulos temos que:47
A = AH + H , (9.91)
temos que:
3 1 1 1
A AH = A + A AH = A + AH + H AH = A + H . (9.92)
2 2 2 2
Ento, substituindo este resultado na Equao (9.90):
45
Ver Os Elementos de Euclides, Livro XII, Proposio 11, citada na Seo 9.4, pgina 62 desta tese.
46
[24, pg. 528].
47
Ver o Apndice C.
81
1
Segmento esf erico AB A + H
= 2 . (9.93)
Cone AB H
Mas 12 A o raio da esfera. Isto conclui a demonstrao do teorema, j que a Equao (9.93)
a representao matemtica daquilo que foi apresentado por Arquimedes nas seguintes palavras
(ver ainda a Figura 9.35):
A razo entre todo segmento esfrico e o cone que tem a mesma base e o mesmo eixo
do segmento, igual razo da soma do raio da esfera com a altura do segmento
restante, para a altura do segmento restante.
Na Figura 9.39 temos a construo geomtrica apresentada por Mugler para a demonstrao
deste teorema.49
Por simplicidade de notao vamos representar Q(AB) como sendo o quadrado de lado AB.
Da mesma forma vamos representar R(CD, EF) como sendo o retngulo de lados CD e EF.
Na Figura 9.39 o crculo AB de dimetro A representa o corte de uma esfera por um
plano passando pelo centro. Cortamos essa esfera pelo ponto H com um plano perpendicular
ao dimetro A, obtendo como interseo o segmento esfrico AB cuja base o crculo de
dimetro B. Com essa construo, o dimetro B perpendicular ao dimetro A e o divide
nas partes AH e H. A altura do segmento esfrico que nos interessa AH. O seu complemento
em relao ao dimetro da esfera H.
Arquimedes define agora, ao longo de AH, um ponto X satisfazendo seguinte relao:
48
Ver Sobre a Esfera e o Cilindro, Livro II, Proposio 2, [17, pg. 104].
49
[19, pg. 109].
82
Z
N M L D
O
Q A P C F H G X
K B
AX AH + 4H
= . (9.94)
XH AH + 2H
De acordo com o enunciado do teorema, afirma ento o seguinte:
A construo da Figura 9.39 continua ainda com o prolongamento do dimetro A dos dois
lados da esfera. De um lado prolonga-se A, de modo que:
A = A . (9.95)
Do outro lado prolonga-se igual ao raio da esfera.
Imaginamos, sempre de acordo com o mtodo de Arquimedes, que seja uma alavanca da
qual A o ponto mdio, que ser considerado como fulcro.
Arquimedes completa a Figura construindo um segundo crculo no plano que determina a
base do segmento esfrico. Este crculo tem centro em H e raio dado por
HZ = HE = AH . (9.96)
O dimetro deste segundo crculo est indicado na Figura 9.39 como sendo dado por:
EZ = 2AH . (9.97)
Sobre este segundo crculo construmos o cone que tem como vrtice o ponto A e como
geratrizes as retas AE e AZ.
Na demonstrao do teorema Arquimedes usa tambm o cone com vrtice no ponto A e
cuja base o primeiro crculo de dimetro B, que a mesma base do segmento esfrico. Este
cone tambm est representado na Figura 9.39, mas no aparece na descrio da construo
(provavelmente estaria nas linhas que foram perdidas deste palimpsesto).
Tracemos agora uma reta qualquer K paralela a EZ. Esta reta encontra a superfcie do
segmento esfrico em K e , as geratrizes do cone AEZ em P e O, e a reta A em .
83
A partir da geometria da Figura 9.39 Arquimedes demonstra a seguinte relao matemtica:50
A Q(K ) + Q(O)
= . (9.98)
A Q(O)
Mas j sabemos que uma proporo entre os quadrados de dois segmentos a mesma pro-
poro existente entre os crculos que tm como raio (ou dimetro) estes mesmos segmentos (ver
o Teorema 2 de A Medida do Crculo).51 Portanto, podemos escrever o lado direito da Equao
(9.98) como sendo:
A = A . (9.100)
Ento das Equaes (9.98) at (9.100) temos que:
AH = 4H . (9.102)
Pelo Lema 10 de O Mtodo, citado na Seo 9.7 na pgina 74 desta tese, vem ento que o
centro de gravidade do cone AEZ. Pelo sexto postulado de Sobre o Equilbrio dos Planos52 vem
que se a alavanca da Figura 9.41 estava em equilbrio, ento tambm vai continuar em equilbrio
quando o cone AEZ que estava apoiado sobre o brao direito da alavanca passa a atuar apenas
sobre seu centro de gravidade no ponto , ou seja, como indicado na Figura 9.42.
Consideramos agora um cilindro53 MN de mesmo peso que o cone AEZ, como mostrado na
Figura 9.43.
50
A deduo desta frmula encontra-se na Seo A.7 do Apndice.
51
[17, pg. 139].
52
Citado na Subseo 6.1.3, pgina 26 desta tese.
53
Ver a discusso sobre o posicionamento dos cilindros na Seo D.3 do Apndice D.
84
Q A P G
R
R
O
O
K
Figura 9.40: Alavanca em equilbrio ao redor do ponto A com o crculo de raio PO atuando em
, juntamente com os com os crculos de raios PO e K atuando em .
D
Q A H G
A E
E Z
Figura 9.41: Alavanca em equilbrio ao redor do ponto A, com o cone esquerda atuando em ,
juntamente com o cone e o segmento esfrico direita apoiados sobre o brao da alavanca.
Arquimedes supe este cilindro MN cortado por um plano perpendicular ao seu eixo em dois
cilindros, M e N. O cilindro MN cortado de tal forma que somente o cilindro M equilibre o cone
AEZ atuando sobre , Figura 9.44.
Por hiptese vem que o cilindro MN possui mesmo peso que o cone AEZ. Logo, o cone AEZ
colocado esquerda na Figura 9.42 que estava atuando em pode ser substitudo por este
cilindro MN, Figura 9.45, sem afetar o equilbrio da alavanca.
Por hiptese Arquimedes considerou que a parte M deste cilindro atuando em equilibrava
ao cone AEZ atuando em , como indicado na Figura 9.44. Logo podemos tirar da Figura
9.45, sem afetar o equilbrio da alavanca, o cilindro M atuando em juntamente com o cone
AEZ atuando em . Ficamos ento com a situao da Figura 9.46 (a). Ou seja, com o cilindro
N atuando em e equilibrando a alavanca em relao ao ponto A com o segmento esfrico
85
D
Q A F H G
A A
E Z E Z
Figura 9.42: Alavanca em equilbrio ao redor do ponto A, com o cone esquerda atuando em ,
juntamente com o segmento esfrico direita apoiado sobre o brao da alavanca e com o cone
direita atuando apenas sobre .
M
N
E Z
E Z
Figura 9.44: Supe-se que o cilindro M atuando em equilibra a alavanca ao redor do ponto A
quando o cone AEZ est atuando em .
D
Q A F H G
M A
N
E Z
86
D
Q A F H G
C
B
N
Q A CF H G
A
N
B D
Figura 9.46: (a) Cilindro N equilibrando o segmento esfrico distribudo sobre o brao da ala-
vanca. (b) Cilindro N equilibrando o segmento esfrico atuando sobre seu centro de gravidade.
era de equilbrio, vai continuar equilibrada quando o segmento esfrico atua apenas sobre X,
como indicado na Figura 9.46 (b).
Mas j foi demonstrado pelo Teorema VII que (ver a Figura 9.39):
Segmento esf erico BA Raio da esf era + H H
= = . (9.103)
Cone BA H H
Sabendo que55 os volumes de cones com a mesma altura so proporcionais s respectivas
bases, e sendo as reas dos crculos proporcionais aos quadrados de seus dimetros (ou de seus
raios), podemos escrever:
87
Multiplicando membro a membro as Equaes (9.103) e (9.107), obtemos:
Segmento esf erico BA H
= . (9.108)
Cone EAZ HA
Mas pela definio do ponto X dado pela Equao (9.94) temos que:
AX HA + 4H
= . (9.109)
XH HA + 2H
Invertendo vem que:
HX HA + 2H
= . (9.110)
XA HA + 4H
A Proposio 18 do Livro V de Os Elementos de Euclides afirma que:57
Caso magnitudes, tendo sido separadas, estejam em proporo, tambm, tendo sido
compostas, estaro em proporo.
HX + XA (HA + 2H ) + (HA + 4H )
= . (9.111)
XA HA + 4H
Ou ento:
HA 6H + 2HA
= . (9.112)
XA HA + 4H
Por construo temos que:
4H + 4 A
H = 2
. (9.114)
4
Mas:
A = AH + H . (9.115)
De onde:
4H + 2H + 2HA 6H + 2HA
H = = . (9.116)
4 4
Da mesma maneira, pela definio do ponto temos que:
AH = 4H . (9.117)
Pela Figura 9.39 verificamos que:
= A A , (9.118)
57
[24, pg. 223].
58
Ver a Equao (7.22) na teoria das propores.
88
e ainda:
A = AH H . (9.119)
E sendo:
A = AH + H , (9.120)
temos que:
AH
= (AH + H ) AH + H = H + H = H + , (9.121)
4
e ainda:
4H + HA
= . (9.122)
4
Substituindo as Equaes (9.116) e (9.122) na Equao (9.112), vem:
HA H
= . (9.123)
XA
Pelas propriedades das propores temos ainda que:
H
= . (9.124)
HA XA
Mas j foi demonstrado na Equao (9.108) que:
Segmento esf erico BA H
= . (9.125)
Cone EAZ HA
Portanto, substituindo na Equao (9.125) a Equao (9.124), chegamos a:
Segmento esf erico BA
= . (9.126)
Cone EAZ XA
Mas como o cilindro M equilibra o cone EAZ em relao ao ponto A, e o centro de gravidade
do cilindro e aquele do cone , conclumos pela lei da alavanca que:
Cone EAZ A A
= = . (9.127)
Cilindro M A A
Com isto podemos concluir a demonstrao. Sendo o cone EAZ igual soma dos cilindros M
e N por construo, podemos escrever:
89
Disso, evidente que, caso magnitudes, tendo sido compostas, estejam em proporo,
tambm estaro em proporo, por converso: o que era preciso provar.
Por esta propriedade das propores, juntamente com a Equao (9.129), temos ento:
Cilindro M + Cilindro N A
= . (9.130)
Cilindro M + Cilindro N Cilindro M A A
Ou seja:
Cilindro M + Cilindro N A
= . (9.131)
Cilindro N
Combinando esta Equao com a Equao (9.128) vem:
Cone EAZ A A
= = . (9.132)
Cilindro N
Multiplicando membro a membro as Equaes (9.126) e (9.132) obtemos finalmente:
Segmento esf erico BA A
= . (9.133)
Cilindro N AX
Mas esta a lei da alavanca para o segmento BA e o cilindro N em equilbrio em relao
ao ponto A, com seus centros de gravidade nos pontos X e , respectivamente. Assim, conclu-
mos que o centro de gravidade do segmento BA o ponto X. Este centro de gravidade est
caracterizado pela relao matemtica dada pela Equao (9.94).
Se for inscrito em um prisma reto de bases quadradas, um cilindro com as bases nos
quadrados opostos e sua superfcie tangente aos quatro paralelogramos restantes, e
se for traado um plano pelo centro de um dos crculos de base do cilindro e por um
dos lados do quadrado oposto, a figura cortada pelo plano traado, a sexta parte
de todo o prisma.
60
Traduo para o portugus em [35].
90
O slido descrito por Arquimedes conhecido como unha cilndrica. A sua forma pode ser
visualizada com o auxlio da Figura 9.47. Em (a) temos o prisma e o cilindro a partir dos quais
a unha cilndrica obtida, estando ela representada na letra (b).
(a) (b)
Figura 9.47: (a) Vista do prisma de bases quadradas com o cilindro inscrito, juntamente com o
plano que define a unha cilndrica. (b) Vista em perspectiva da unha cilndrica.
Os slidos estudados neste teorema so bem mais complexos que nos casos anteriores. Para
chegar a uma equao da alavanca que permita resolver o problema, Arquimedes divide o pro-
blema em duas partes, sendo a primeira o Teorema XII e a segunda o Teorema XIII.
A primeira figura do teorema obtida fazendo um corte dos slidos por um plano passando
pelo eixo e perpendicular s bases. A figura assim obtida representa o corte dos slidos visto de
perfil. Na Figura 9.48, representa o eixo comum do prisma e do cilindro, enquanto que B o
eixo de simetria (dimetro) da parbola obtida pelo corte do plano inclinado sobre o cilindro. O
paralelogramo AB a figura resultante do corte do prisma e do cilindro pelo plano passando
pelo eixo. Seja traada a reta EZ perpendicular a , dividindo-a pela metade. Por EZ passa-se
um plano perpendicular s bases do cilindro.
(a)
B F D B
D
F U
U
Z Q E
I E
Z I
N W
G A G N W
A
(b)
Figura 9.48: (a) Vista dos slidos cortados por um plano passando pelo eixo e perpendicular s
bases. (b) Primeira Figura do Teorema XII (paralelogramo de corte).
A segunda figura usada por Arquimedes corresponde a um corte dos slidos por um plano
paralelo s bases e passando pelo ponto mdio do eixo, ou seja, pelo ponto . Portanto, a figura
obtida nestas condies mostra uma viso de cima. Na Figura 9.49 o paralelogramo PNOM
representa o corte do prisma por um plano paralelo base e passando pelo ponto mdio do eixo.
O crculo inscrito representa o corte do cilindro pelo mesmo plano.
91
R N
L T
N
P
R L T Q C
Q K S X P
X O
(a) M
K S
M O
(b)
Figura 9.49: (a) Vista dos slidos cortados por um plano paralelo s bases. (b) Segunda Figura
do Teorema XII (quadrado com crculo inscrito).
Nesta Figura 9.49 a reta K a interseo do plano inclinado que gerou a unha com o
mesmo plano horizontal. A reta T uma reta qualquer, paralela a K, traada no semicrculo
OP. Sobre a reta T levantamos um plano perpendicular s bases. Este plano cortar no
semicilindro, um paralelogramo que tem um lado igual a T e o outro lado igual altura do
cilindro. A interseo deste mesmo plano com a unha cilndrica ser tambm um paralelogramo
com um lado igual a T e o outro lado igual reta NY da Figura 9.48.
Os paralelogramos obtidos pela interseo deste plano passando por T com o semicilindro
e com a unha cilndrica, bem como a posio da reta NY, esto mostrados na Figura 9.50.
T
B
T
U
S
T
G N
S
Figura 9.50: Vista em perspectiva dos paralelogramos obtidos pelo corte dos slidos pelo plano
passando por T.
A partir da geometria das Figuras 9.48 (b) e 9.49 (b), Arquimedes deduz a seguinte proporo:
P aralelogramo no semicilindro
= . (9.134)
X P aralelogramo na unha cilndrica
Atribuindo peso distribudo uniformemente nos paralelogramos, a Equao (9.134) pode ser
considerada como representando uma alavanca em equilbrio em relao ao ponto , tendo de
um lado o paralelogramo do semicilindro (paralelogramo maior na Figura 9.50) permanecendo
92
no seu lugar, e do outro lado o paralelogramo da unha cilndrica (paralelogramo menor na Figura
9.50) transportado para o ponto e com o seu centro de gravidade em . Isto est indicado na
Figura 9.51.
T S
S
X Q P
C
Por este Lema vem que o paralelogramo do semicilindro tem como centro de gravidade o
ponto X. Portanto, este centro de gravidade corresponde ao ponto mdio da reta T na Figura
9.49 (b). Ento podemos concluir que a alavanca fica em equilbrio em relao ao ponto
com o paralelogramo maior cujo centro de gravidade foi colocado em X, juntamente com o
paralelogramo menor cujo centro de gravidade foi colocado em .
Da mesma maneira, qualquer outra reta paralela a K na Figura 9.49 (b) dentro do semi-
crculo, juntamente com o plano levantado sobre ela, daro origem a outros paralelogramos que
tambm estaro em equilbrio sobre a alavanca em relao ao ponto .
Ento todos os paralelogramos do semicilindro, permanecendo nos seus lugares, estaro em
equilbrio com todos os paralelogramos da unha cilndrica transportados sobre a alavanca e
colocados no ponto .
Por consequncia, o semicilindro, permanecendo no seu lugar, estar em equilbrio em relao
ao ponto com a unha cilndrica transportada e colocada no travesso da alavanca em , de
modo que o seu centro de gravidade seja o ponto . Esta condio de equilbrio est mostrada
em perspectiva na Figura 9.52 (a). Na Figura 9.52 (b) mostramos a mesma situao mas com
a unha cilndrica apoiada em por um fio de peso desprezvel, com seu centro de gravidade
verticalmente abaixo de .
Neste ponto Arquimedes interrompe a deduo do volume da unha cilndrica pois precisa de
informaes adicionais que sero obtidas no Teorema XIII.
93
Q P
X Q P
X
(a) (b)
M O
(b)
Figura 9.53: (a) Vista dos slidos com o plano de corte paralelo s bases e passando pelo ponto
mdio da altura. (b) Vista superior das intersees.
Nesta Figura, o quadrado MN representa a interseo do plano de corte com o prisma total,
o crculo OP representa a interseo do plano de corte com o cilindro inscrito, enquanto o
semicrculo OP a interseo do plano de corte com o mesmo semicilindro obtido no Teorema
XII.
94
A demonstrao do teorema continua traando as retas H e M. Sobre elas levantam-se
os planos perpendiculares base. Arquimedes obtm desta maneira um prisma reto de base
triangular (igual ao tringulo HM) que um quarto do prisma total de base quadrada.
Para chegar a esta relao de 1/4 entre os volumes dos prismas, podemos citar aqui a Pro-
posio 32 do Livro XI de Os Elementos de Euclides:61
Os slidos paraleleppedos que esto sob a mesma altura esto entre si como as bases.
Arquimedes traa agora no quadrado MN e no semicrculo OP duas retas paralelas, K e
YT, equidistantes de . Estas retas cortam a circunferncia do semicrculo nos pontos K e T,
e cortam o dimetro OP nos pontos e Z. Elas cortam tambm as retas H e M nos pontos
X e , respectivamente.
Sobre as retas K e YT so levantados dois planos perpendiculares ao dimetro OP. Um
destes planos cortar o semicilindro segundo um paralelogramo que tem um lado igual a K e o
outro lado igual altura do cilindro. Cortar tambm o prisma HM segundo um paralelogramo
que tem um lado igual a X e o outro lado tambm igual altura do prisma.
Pelo mesmo motivo teremos no semicilindro um outro paralelogramo de lado TZ com a mesma
altura do semicilindro, enquanto que no prisma haver um outro paralelogramo cujo lado ser
Y e que ter a mesma altura do prisma.62
Na Figura 9.54 (b) temos uma viso em perspectiva destes quatro paralelogramos.
H R N
D
L B1 S A1 K
C Q
B Q A
X P X P
B A
U F Z T
B2 A2
G
M O
(a) (b)
Figura 9.54: Viso em perspectiva dos dois paralelogramos do semicilindro passando por PO e
dos dois paralelogramos do prisma passando por HM.
95
Seja B1 na Figura 9.54 (a) o ponto mdio de X, B2 o ponto mdio de Y, enquanto que
B o ponto mdio entre B1 e B2 . Da mesma forma, seja A1 na Figura 9.54 (a) o ponto mdio
de K, A2 o ponto mdio de ZT, enquanto que A o ponto mdio entre A1 e A2 . Pelo Lema 3
de O Mtodo, juntamente com a Proposio 4 de Sobre o Equilbrio dos Planos, sabemos que o
centro de gravidade da grandeza composta pelos dois paralelogramos do semicilindro passando
por PO est localizado no ponto A da reta . Da mesma maneira, o centro de gravidade da
grandeza composta pelos dois paralelogramos do prisma passando por HM est no ponto B da
mesma reta.
No Apndice C mostramos que (ver a Figura 9.54):
K K = P O . (9.135)
Utilizando esta Equao e analisando a Figura 9.54 podemos obter as seguintes relaes:
R(K, ) + R(ZT, ) K K K K P O O
= = = = = , (9.136)
R(X, ) + R(Y , ) X P P K P K K
e
X
O P + 2 X + 2X + X B
= = = 2
K = . (9.137)
K K K 2
A
Destas duas Equaes vem ento:
R(K, ) + R(ZT, ) B
= . (9.138)
R(X, ) + R(Y , ) A
Esta a relao matemtica mais importante. Sendo as reas dos retngulos proporcionais
a seus pesos, ela indica que a alavanca vai ficar em equilbrio ao redor do fulcro se os dois
retngulos do semicilindro estiverem apoiados sobre A, juntamente com os dois retngulos do
prisma apoiados sobre B, Figura 9.54 (b).
Este equilbrio tambm vai ocorrer para qualquer conjunto de quatro retngulos obtidos por
todo par de retas K e YT indo desde = Z = 0 at = Z = P. Ao considerar
todas elas em conjunto, obtemos um equilbrio da alavanca ao redor de com o semicilindro
distribudo ao longo do brao , juntamente com o prisma distribudo ao longo do brao ,
Figura 9.55.
Q P
96
Comparamos agora na Figura 9.56 o equilbrio obtido no Teorema XII com aquele do Teorema
XIII.
(a)
P (b) Q P
Q
X X
Figura 9.56: (a) Alavanca em equilbrio do Teorema XII com a unha atuando apenas sobre a
extremidade da alavanca, enquanto que o semicilindro est distribudo sobre seu brao. (b)
Alavanca em equilbrio do Teorema XIII, com o prisma e o semicilindro distribudos sobre os
braos da alavanca.
No primeiro caso temos o semicilindro equilibrando a unha cilndrica atuando apenas sobre a
extremidade , enquanto que no segundo caso temos o semicilindro equilibrando o prisma distri-
budo sobre o brao da alavanca. Logo podemos concluir que o prisma triangular, permanecendo
no seu lugar, fica em equilbrio com a unha cilndrica colocada em uma das extremidades da
alavanca, Figura 9.57.
P
P Q
Q X
X
(a) (b)
Figura 9.57: (a) Alavanca em equilbrio ao redor de com a unha cilndrica atuando apenas
na extremidade enquanto que o prisma est distribudo sobre o brao. (b) Mesma situao
com a unha dependurada por um fio passando por , enquanto seu centro de gravidade est
verticalmente abaixo de .
O centro de gravidade de todo prisma o [ponto] que divide o eixo em duas partes
iguais.
O eixo a que Arquimedes se refere aqui o segmento de reta unindo os centros de gravidade
das duas bases, como fica evidente na aplicao que ele faz desta palavra durante a prova deste
teorema.64 Neste caso temos um prisma com base triangular. Pelo Lema 5 de O Mtodo, citado
64
[11, pg. 316, Nota 1], [44, pg. 109] e [30, pg. 131].
97
na Seo 9.2, pgina 49 desta tese, sabemos que o centro de gravidade do tringulo HM da
Figura 9.54 (a) o ponto ao longo da reta que satisfaz seguinte relao:
2
= . (9.139)
3
Este ponto indicado na Figura 9.58 tambm o centro de gravidade do prisma passando
por HM j que este plano perpendicular ao eixo do prisma, dividindo-o em duas partes iguais.
H R N
S
L
C K
Y Q
X P
U F Z T
M O
Figura 9.58: O ponto o centro de gravidade do prisma.
Pelo sexto Postulado de Sobre o Equilbrio dos Planos citado na Subseo 6.1.3, pgina 26
desta tese, vem que esta alavanca vai continuar em equilbrio quando o prisma atuar sobre a
alavanca concentrado apenas sobre seu centro de gravidade, ou seja, como se todo o seu peso
estivesse concentrado neste ponto. Isto est representado na Figura 9.59.
Pela lei da alavanca temos ento que:
2
Unha cilndrica
= 3 . (9.140)
P risma triangular
Mas:
= . (9.141)
Ento:
Unha cilndrica 2
= . (9.142)
P risma triangular 3
Sendo o volume do prisma triangular 1/4 do volume do prisma total, conclumos que:
1
Unha cilndrica = P risma . (9.143)
6
Esta a representao matemtica do Teorema XIII.
98
P
Q
P X Y
Y Q
X
(a)
(b)
Figura 9.59: (a) Situao final de equilbrio da alavanca ao redor do ponto com o prisma
atuando apenas sobre , enquanto que a unha atua apenas sobre a extremidade . (b) Mesma
situao no caso em que os dois slidos esto dependurados por fios de pesos desprezveis. O
centro de gravidade do prisma est verticalmente abaixo de , enquanto que o centro de gravidade
da unha est verticalmente abaixo de .
Seja novamente um prisma reto de bases quadradas, no qual est inscrito um cilindro. Na
Figura 9.60 a base do prisma representada pelo quadrado AB, enquanto que a base do
cilindro o crculo EZH.
B H G
M X
N
L
Q Z
K S
A E D
99
visto na Figura 9.61.
F
F
W
W
N
Z
H X
M
K X N
M
E
a) b)
Figura 9.61: (a) Vista lateral do prisma e da unha cilndrica. (b) Tringulos semelhantes MN
e M obtidos pelo plano cortante.
Seja traada no semicrculo EHZ, que a base da unha cilndrica, uma parbola passando
pelos pontos E, H e Z, Figura 9.61.
Seja traada no paralelogramo EH da Figura 9.60 uma reta qualquer MN paralela ao
dimetro KZ. Esta reta encontrar a parbola no ponto e a circunferncia do crculo EZH
no ponto . Sobre a reta MN seja levantado um plano perpendicular a EH. Este plano cortar
do prisma um tringulo retngulo MN, ver a Figura 9.61. Este plano tambm cortar a unha
cilndrica segundo um outro tringulo retngulo M.
(a)
N
Z
H X
M
K
E
H G
F
M X N
W L
(c)
(b) Z
K S
M X N E D
Figura 9.62: (a) Perspectiva do prisma com a unha cilndrica. (b) Vista lateral dos tringulos
obtidos pelo plano cortante. (c) Vista da base.
A partir da Equao da parbola EHZ e das caractersticas geomtricas dos pontos traados
na Figura 9.62 (c), pode-se demonstrar que:
100
MN Q(MN)
= . (9.144)
M Q(M)
Nesta Equao indicamos com Q(MN) e Q(M) os quadrados de MN e M, respectivamente.
Tambm demonstra-se, pela semelhana dos tringulos MN e M, que a rea do tringulo
MN est para a rea do tringulo M assim como o quadrado de MN est para o quadrado
de M:
101
9.12.1 Importncia dos Teoremas XII a XIV
Em seu trabalho Sobre Conoides e Esferoides Arquimedes j havia obtido o volume de
elipsoides, paraboloides e hiperboloides de revoluo em termos dos volumes de certos cones
e cilindros. Mas no se encontrou nenhum paraleleppedo que tivesse seu volume igual ao
destes elipsoides, paraboloides e hiperboloides de revoluo. J no caso dos teoremas atuais,
Arquimedes encontrou o volume da unha cilndrica como sendo a sexta parte do prisma
circunscrito unha. Ou seja, obteve o volume de uma figura delimitada por uma superfcie
curva em termos do volume do paraleleppedo. Este resultado anlogo ao resultado do
Teorema I, j que ento havia obtido a rea de uma figura delimitada por uma linha curva,
a parbola, em termos da rea de uma figura delimitada apenas por retas, o tringulo
inscrito na parbola.
A relevncia principal destes Teoremas XII a XIV foi apontada pelo prprio Arquimedes
na carta introdutria de O Mtodo endereada a Eratstenes. Aps enunciar o teorema
sobre o volume da unha cilndrica afirmou o seguinte:66
Mas acontece que estes teoremas [volume da unha cilndrica e volume obtido
pela interseco de dois cilindros] so diferentes daqueles encontrados anterior-
mente. Com efeito, [anteriormente] comparamos aquelas figuras [slidas, isto ],
os conoides, os esferoides67 e seus segmentos, ao volume de cones e cilindros,
e nenhuma delas foi encontrada equivalente a uma figura slida delimitada por
planos, enquanto que cada uma destas figuras slidas [ou seja, o volume da unha
cilndrica e o volume obtido pela interseco de dois cilindros], delimitadas por
dois planos e superfcies cilndricas, encontrada equivalente a uma figura slida
delimitada por planos.
Se em um cubo for inscrito um cilindro tendo suas bases sobre quadrados opostos
e sua superfcie [lateral] tangente aos quatro planos restantes, e seja inscrito no
mesmo cubo um outro cilindro tendo suas bases em outros [dois] paralelogramos
e a superfcie tangente aos quatro planos restantes, a figura delimitada pelas
superfcies dos cilindros e situada no [interior dos] dois cilindros dois teros de
todo o cubo.
66
Ver a pgina 105 desta tese.
67
Arquimedes refere-se aqui ao tratado Sobre Conoides e Esferoides enviado por carta a Dositeu. Este tratado
estuda os slidos que hoje chamamos de paraboloides, elipsoides e hiperboloides de revoluo.
68
Ver a pgina 105 desta tese.
102
A aplicao prtica do clculo do volume deste slido resultou na cpula da igreja de
Santa Sofia, que considerada como o mais belo exemplo da arte bizantina e que pode ser
admirada ainda hoje, 1500 anos depois da sua construo.
O Teorema XIII pode ser usado para encontrar o centro de gravidade de um semicrculo,
como mostrado no Apndice E.
103
Captulo 10
Traduo
[Pg. 82]8
Eu te enviei anteriormente alguns teoremas que encontrei, tendo indicado seus enunciados,
convidando-te a encontrar as demonstraes que no mostrei at o momento. Estes eram os
enunciados dos teoremas enviados:
1
[8].
2
[37].
3
[5].
4
[6] e [7].
5
[8].
6
[13].
7
[9], [10], [11] e [12].
8
Indicamos aqui as pginas do original em grego, que coincidem com a paginao da traduo em francs,
como aparece em [8].
104
Do primeiro: Se em um prisma reto tendo por base um paralelogramo,9 for inscrito um
cilindro tendo suas bases [situadas] nos paralelogramos opostos e seus lados10 nos planos restantes
do prisma, e se pelo centro do crculo de base do cilindro e por um lado do quadrado situado na
face oposta for traado um plano, o plano traado cortar do cilindro um segmento limitado por
dois planos e pela superfcie do cilindro, um dos planos [sendo] o plano traado, enquanto que
o outro [] aquele que contm a base do cilindro e a superfcie [cilndrica] limitada pelos planos
indicados; o segmento cortado do cilindro a sexta parte de todo o prisma.
Este o enunciado do segundo teorema:11 Se em um cubo for inscrito um cilindro tendo suas
bases sobre paralelogramos12 opostos e sua superfcie [lateral]
[Pg. 83]
tangente aos quatro planos restantes, e se for inscrito no mesmo cubo um outro cilindro tendo
suas bases em outros [dois] paralelogramos e a superfcie tangente aos quatro planos restantes,
a figura delimitada pelas superfcies dos cilindros e situada no [interior dos] dois cilindros dois
teros de todo o cubo.
Mas acontece que estes teoremas so diferentes daqueles encontrados anteriormente. Com
efeito, comparamos aquelas figuras [slidas, isto ], os conoides, os esferoides13 e seus segmentos,
ao volume de cones e cilindros, e nenhuma delas foi encontrada equivalente a uma figura slida
delimitada por planos, enquanto que cada uma destas figuras slidas, delimitadas por dois planos
e superfcies cilndricas, encontrada equivalente a uma figura slida delimitada por planos.
Te envio as demonstraes destes teoremas, redigidas neste livro.
Mas percebendo, como afirmo, que voc estudioso, que domina de modo excelente a filo-
sofia e que sabe apreciar a pesquisa matemtica sobre as coisas que se apresentem, considerei
[interessante] descrever e definir neste mesmo livro as caractersticas de um mtodo pelo qual
ser possvel adquirir os recursos para poder abordar assuntos de matemtica por meio de con-
sideraes mecnicas. Por outro lado, estou persuadido de que este mtodo no menos til
tambm para a demonstrao destes mesmos teoremas. Com efeito, certas propriedades que
inicialmente me pareceram evidentes por via mecnica, foram demonstradas posteriormente por
via geomtrica, pois uma demonstrao feita por meio desse mtodo [mecnico] no corresponde
a uma verdadeira demonstrao.
[Pg. 84]
Porm, mais fcil conseguir a demonstrao depois de ter adquirido algum conhecimento dos
objetos da pesquisa por meio desse mtodo, do que procurar sem nenhum conhecimento. [Por
esse motivo,] daqueles teoremas sobre o cone e a pirmide, dos quais Eudoxo foi o primeiro a
encontrar a demonstrao, [ou seja] que o cone a terceira parte do cilindro e a pirmide a
terceira parte do prisma, tendo mesma base e mesma altura, deve-se atribuir uma parte no
pequena a Demcrito,14 que foi o primeiro a revelar o enunciado dessa propriedade das figuras
9
Arquimedes, quase sempre, usa o termo paralelogramo com o sentido de retngulo ou quadrado. Neste caso
especfico trata-se de um quadrado.
10
Por lados do cilindro, Arquimedes entende as suas geratrizes.
11
No se encontrou a demonstrao deste Teorema nas pginas que ainda existem de O Mtodo.
12
Aqui tambm fica claro que o paralelogramo um quadrado.
13
Arquimedes refere-se aqui ao tratado Sobre Conoides e Esferoides enviado por carta a Dositeu. Este tratado
estuda os slidos que hoje chamamos de paraboloides, elipsoides e hiperboloides de revoluo.
14
Demcrito (aproximadamente 460-370 a.C.) foi um filsofo grego, discpulo de Leucipo (nasceu ao redor de
105
indicadas, sem demonstrao.
Mas acontece que a descoberta dos teoremas agora demonstrados me ocorreu da mesma
maneira que para os teoremas precedentes. Assim decidi redigir e publicar esse mtodo por
ter falado dele anteriormente15 e para no parecer a alguns que tenha dito palavras vazias, [e
tambm] porque estou persuadido de que [este mtodo] trar uma contribuio no pequena para
a matemtica. Pois sou da opinio de que alguns dos contemporneos ou sucessores encontraro,
por meio do mtodo demonstrado, outros teoremas que ainda no me ocorreram.
Portanto, descrevo inicialmente o primeiro [teorema] que me foi revelado pela mecnica. Isto
, que todo segmento de parbola16 [equivalente a] quatro teros do tringulo que tem mesma
base e mesma altura. Em seguida [descrevo] cada um [dos outros teoremas] examinados pelo
mesmo mtodo. No fim do livro apresento as demonstraes geomtricas dos teoremas cujos
enunciados j enviei a voc.
10.3 Lemas
1. Se17 de uma grandeza for retirada uma outra grandeza, e se o mesmo ponto o centro de
gravidade
[Pg. 85]
2. Se de uma grandeza for retirada uma outra grandeza, e se o mesmo ponto no [] o centro
de gravidade da grandeza inteira e da grandeza retirada, [ento] o centro de gravidade da
grandeza restante est sobre o prolongamento da reta que une os centros de gravidade da
grandeza inteira e da [parte] retirada, separando da mesma [um segmento] que tenha a
mesma razo com a reta entre os centros indicados que tem o peso da grandeza retirada
com o peso da grandeza restante.18, 19
500 a.C., florescendo ao redor de 430 a.C.), que formulou uma teoria atmica do universo.
15
Ver a carta para Dositeu que aparece em seu trabalho Quadratura da Parbola, [15, pgs. 233-234].
16
O termo parbola foi introduzido posteriormente por Apolnio de Prga (262-190 a.C.). Arquimedes chama
a parbola de seo de cone reto.
17
Mugler, Rufini e Dijksterhuis utilizam aqui a palavra Lemas, enquanto que Heath usa o termo Proposies,
[8, pg. 84], [5, pg. 104], [11, pg. 315] e [12, pg. 14]. De acordo com Mugler a palavra do texto grego que
corresponde a essas tradues, P OAM BAN OM EN A, parece ter sido acrescentada por Heiberg.
18
Ver Sobre o Equilbrio dos Planos, Livro I, Proposio 8, [33, pg. 230].
19
Sejam trs grandezas A, B e C tal que C = A + B. Vamos representar seus centros de gravidade por , e
. Seus pesos sero dados por PA , PB e PC . A distncia entre e ser representada por dA , enquanto que a
distncia entre e ser representada por dB . Na Figura abaixo estas trs grandezas esto representadas por
retngulos. Podemos considerar A como a grandeza restante, B como a grandeza retirada, e C = A + B como a
grandeza inteira.
A B
a g b
Este Lema afirma que est ao longo do prolongamento da reta unindo com , de tal maneira que:
dA PB
= . (10.1)
dB PA
106
3. Se os centros de gravidade de um nmero to grande quanto se queira de grandezas estive-
rem situados sobre a mesma reta, [ento] o centro de gravidade da grandeza composta por
todas essas grandezas, tambm estar sobre a mesma reta.20
4. O centro de gravidade de todo [segmento] de reta o ponto que divide o segmento em duas
partes iguais.21
5. O centro de gravidade de todo tringulo o ponto de interseo das retas traadas dos
ngulos do tringulo aos pontos mdios dos lados [opostos].22
8. O centro de gravidade de todo cilindro o [ponto] que divide o eixo em duas partes iguais.
9. O centro de gravidade de todo prisma o [ponto] que divide o eixo em duas partes iguais.24
10. O centro de gravidade de todo cone est situado sobre o eixo, dividindo-o de modo que o
segmento prximo do vrtice seja o triplo do restante.25
[Pg. 86]
107
10.4 [Teorema] I. [rea de um Segmento Parablico.]
Seja o segmento [de parbola] AB compreendido entre a reta A e a parbola AB.29 Divida-se
A em duas partes iguais pelo ponto , seja traada BE paralela ao dimetro,30 e sejam unidas
as [retas] AB e B.
T Z
Q
H M
E
K
N
C
B
A X D G
[Pg. 87]
108
por serem ZA e M paralelas a E, MN igual34 a N e ZK [ igual] a KA. E como A est
para A assim como M est para O, pois est demonstrado em um Lema,35 e como A est
para A assim como K est para KN e como, [finalmente,] K igual a K, a razo entre K
e KN igual razo entre M e O.
E como o ponto N o centro de gravidade36 da reta M, pois MN igual a N, se colocarmos
[o segmento de reta] TH, igual a O, de modo que o seu centro de gravidade seja o [ponto]
e que T seja igual a H, o [segmento de reta] TH, equilibrar o [segmento de reta] M,
permanecendo em seu lugar, pois N est cortado na razo inversa dos pesos TH e M, e [devido
a que] K est para KN assim como37 M est para HT. Portanto, o centro de gravidade [da
grandeza composta por] estes dois pesos38 [o ponto] K.
Da mesma maneira, quantas paralelas a E forem traadas no tringulo ZA equilibraro,
permanecendo nos seus lugares, os segmentos cortados delas pela parbola e transportados ao
ponto , de modo que o centro de gravidade da grandeza composta por uns e por outros seja
o ponto K. E desde que o tringulo ZA constitudo pelos [segmentos de reta] traados no
tringulo ZA, e o segmento [de parbola] AB constitudo pelos [segmentos de reta] toma-
dos no segmento [de parbola] da mesma maneira que O, ento o tringulo ZA equilibrar,
permanecendo no seu lugar, o segmento de parbola colocado ao redor do centro de
[Pg. 88]
109
verdadeira. Portanto, vendo que [a propriedade] no est demonstrada, mas pressentindo que
a concluso verdadeira, daremos a demonstrao geomtrica, que ns mesmos encontramos e
publicamos anteriormente.42
[Pg. 89]
H N Z
Y D W
O
R
Q A S K G
P
X
F C
B
L M E
Seja uma esfera, na qual AB o crculo mximo, assim como A e B dimetros perpen-
diculares entre si. Seja, na esfera, um crculo de dimetro B, perpendicular ao crculo AB.
Sobre este crculo perpendicular seja construdo um cone com vrtice no ponto A. Prolongue-se
a superfcie [lateral] do cone e corte-se o cone com um plano [passando] por e paralelo base
do cone. Portanto, [a interseo] ser um crculo perpendicular a A, com dimetro EZ.
Sobre este crculo seja construdo um cilindro tendo o eixo igual a A. Sejam E e ZH
os lados do cilindro.43 Prolongue-se A e coloque-se sobre o prolongamento A igual a A.
Imagine-se que seja uma alavanca cujo meio seja A.44
ainda trata da rea da parbola, nos pareceu mais apropriado desloc-lo para o fim do Teorema I.
42
Ver a Quadratura da Parbola, Proposies 14 a 17, [18, pg. 178 a 186]. Mas a demonstrao geomtrica
prometida aqui para o tratado O Mtodo no foi encontrada.
43
As geratrizes do cilindro situadas no plano da figura.
44
O ponto A ser considerado o fulcro da alavanca.
110
Seja traada MN, uma paralela qualquer a B, a qual corte o crculo AB em e O, o
dimetro A em , a reta AE em , e a reta AZ em P. Sobre a reta MN construa-se um plano
perpendicular a A. Este [plano] cortar o cilindro
[Pg. 90]
[Pg. 91]
em relao ao ponto A, a soma dos dois crculos determinados na esfera e no cone, transportados
e colocados sobre a alavanca no ponto , de modo que seja o centro de gravidade de cada um
dos dois.
Desta maneira, sendo o cilindro, a esfera e o cone assim preenchidos por tais crculos, o
45
Ver Os Elementos de Euclides, Livro VI, Proposio 4, citada na Subseo 8.3.1, pgina 41 desta tese, ver
ainda [23, Volume 2, pg. 200] e [24, pg. 235].
46
Uma demonstrao deste fato encontra-se no Apndice C.
47
Ver Os Elementos de Euclides, Livro I, Proposio 47, [24, pg. 132]. Nesta Proposio Euclides demonstra
o teorema de Pitgoras, a saber: Nos tringulos retngulos, o quadrado sobre o lado que se estende sob o ngulo
reto igual aos quadrados sobre os lados que contm o ngulo reto.
48
Ver Os Elementos de Euclides, Livro V, Proposio 15, [24, pg. 220]: As partes tm a mesma razo que os
seus igualmente mltiplos, tendo sido tomadas correspondentes.
49
Arquimedes costuma indicar desta maneira o retngulo ZEH.
111
cilindro, permanecendo no seu lugar, equilibrar em torno do ponto A, a soma da esfera e do
cone, deslocados sobre a alavanca para o ponto , de modo que seja o centro de gravidade
de cada um dos dois. Por consequncia, como os ditos slidos esto em equilbrio em torno do
ponto A, o cilindro permanecendo com o centro de gravidade50 em K, sendo a esfera e o cone
deslocados, como foi dito, para o centro de gravidade , o cilindro estar para a soma da esfera
e do cone assim como A [est] para AK.
Mas A o dobro de AK. Portanto, o cilindro o dobro da soma da esfera e do cone. Mas
[o cilindro] o triplo51 do prprio cone. Ento [a soma] de trs cones equivalente [soma]
de dois destes mesmos cones e de duas esferas. Sejam tirados os dois cones em comum. Por
conseguinte, o cone que possui AEZ como tringulo passando pelo eixo, equivalente [soma
das] duas esferas mencionadas. Mas o cone que possui AEZ como tringulo passando pelo eixo
equivalente a oito cones52 que possuem como tringulo passando pelo eixo o tringulo AB,
por ser EZ o dobro de B.
Assim, os oito cones mencionados so equivalentes a duas esferas. Portanto, a esfera de crculo
mximo AB equivalente53 ao qudruplo do cone que tem como vrtice o ponto A e como
base o crculo de dimetro B perpendicular a A.
Agora, no paralelogramo54 Z, sejam traadas pelos [pontos] B e
[Pg. 92]
112
a um tringulo tendo por base a circunferncia do crculo e por altura o raio do crculo,62 toda
esfera tambm equivalente a um cone tendo como base a superfcie e como altura o raio da
esfera.
[Pg. 93]
Considerado isto, [fica] evidente que, de todo elipsoide cortado por um plano pelo centro e
perpendicular ao eixo, a metade do elipsoide o dobro do cone que tem a mesma base do segmento
[do elipsoide] e o mesmo eixo.64
H N Z
D
Y W
O
Q A R
S G
K
P
X
F C
B
L M E
Seja, com efeito, um elipsoide de revoluo cortado por um plano [passando] pelo eixo. Seja
AB a elipse65 determinada na sua superfcie, sejam A e B os seus dimetros e K o seu
centro. Seja, no elipsoide, o crculo [descrito] em torno do dimetro B, perpendicular ao
[segmento de reta] A.
Imagine-se um cone tendo por base o dito crculo e por vrtice o ponto A. Da superfcie
prolongada do mesmo, corte-se o cone por um plano [passando] por paralelo base. A interseo
do mesmo [com o plano] ser ento um crculo perpendicular a A tendo EZ como dimetro.
Seja tambm um cilindro tendo por base o mesmo crculo de dimetro EZ, e como eixo a reta
A. Seja [o segmento] A no prolongamento de A e igual a ele. Imagine-se tambm [como]
62
Ver A Medida do Crculo, Proposio 1, [17, pg. 138].
63
Arquimedes usa o termo esferoide para designar o que chamamos hoje de elipsoide de revoluo.
64
Ver Sobre Conoides e Esferoides, Proposio 27, [17, pg. 226].
65
A palavra elipse devida a Apolnio. Arquimedes chama a elipse de seo de cone oxtomo. A origem do
termo elipse apresentada no Captulo 8.
113
uma alavanca da qual A o ponto mdio.66
[Pg. 94]
114
ponto A, a soma dos dois crculos de dimetros O e P, deslocados e colocados no ponto da
alavanca, de modo que seja o centro de gravidade de cada um deles.
[Pg. 95]
A soma dos dois crculos cujos dimetros so O e P, assim deslocados, [ter como] centro
de gravidade [o ponto] . Ento desta maneira a razo de A para A a mesma que a razo
do crculo de dimetro MN para a soma dos dois crculos de dimetros O e P.
Da mesma maneira ser demonstrado que, se for traada no paralelogramo Z uma outra
paralela qualquer a EZ e a partir desta for levantado um plano perpendicular a A, o crculo
determinado no cilindro, permanecendo no seu lugar, equilibrar em torno do [ponto] A, a soma
de dois crculos, um determinado no elipsoide e o outro no cone, deslocados para o ponto da
alavanca de modo que seja o centro de gravidade de cada um deles.
O cilindro, o elipsoide e o cone sendo preenchidos pelos crculos assim considerados, o cilindro,
permanecendo no seu lugar, estar em equilbrio em torno do ponto A, com o elipsoide e o cone
deslocados e colocados na alavanca em , de modo que seja o centro de gravidade de cada um
deles.
O centro de gravidade do cilindro78 [o ponto] K. O centro de gravidade do elipsoide e o cone
juntos, como foi dito [ o ponto] . Ento A est para AK como o cilindro [est] para a soma
do elipsoide e do cone.
Mas A [] o dobro de AK. Portanto, tambm o cilindro o dobro da soma do elipsoide
e do cone. E tambm o cilindro equivalente a dois cones e dois elipsoides. Ora, um cilindro
equivalente a trs desses cones.79 Portanto, trs cones so equivalentes a dois cones e dois
elipsoides. Sejam subtrados os dois cones comuns. Ento o cone restante, aquele que tem como
tringulo [passando] pelo eixo o tringulo AEZ, equivalente a dois elipsoides.
Mas um destes cones [equivalente] a oito cones que tm como
[Pg. 96]
tringulo passando pelo eixo, [o tringulo] AB. Portanto, oito dos ditos cones so equivalentes a
dois elipsoides. Ento quatro cones so equivalentes a um elipsoide. Por conseguinte, o elipsoide
o qudruplo do cone que tem como vrtice o ponto A e como base o crculo de dimetro B,
perpendicular a A, e a metade do elipsoide o dobro do dito cone.
Sejam traadas pelos pontos B e , no paralelogramo Z, as [retas] X e paralelas a A
e imagine-se um cilindro [tendo como] bases os crculos de dimetro e X e como eixo a reta
A.
Portanto, posto que o cilindro que tem como paralelogramo passando pelo eixo [o paralelo-
gramo] o dobro80 do cilindro que tem como paralelogramo passando pelo eixo [o paralelo-
gramo] , pois suas bases so iguais e o eixo de um o dobro do eixo do outro, [e posto que]
o cilindro que tem como paralelogramo passando pelo eixo [o paralelogramo] o triplo81 do
cone que tem como vrtice o ponto A e como base o crculo de dimetro B perpendicular a
78
Ver o Lema 8.
79
Ver Os Elementos de Euclides, Livro XII, Proposio 10, citada na Seo 9.4, pgina 62 desta tese, ver ainda
[23, pg. 400] e [24, pg. 543].
80
Ver Os Elementos de Euclides, Livro XII, Proposio 13, citada na Seo 9.4, ver ainda [23, pg. 417] e [24,
pg. 553].
81
Ver Os Elementos de Euclides, Livro XII, Proposio 10, citada na Seo 9.4, pgina 62 desta tese, ver ainda
[23, pg. 400] e [24, pg. 543].
115
A, ento o cilindro que tem como paralelogramo passando pelo eixo [o paralelogramo] seis
vezes o dito cone.
Mas foi demonstrado que o elipsoide o qudruplo deste mesmo cone. Consequentemente, o
cilindro uma vez e meia o elipsoide.
[Pg. 97]
Z N G
Q A S K D
E M B
Seja, com efeito, um paraboloide. Corte-se [o paraboloide] com um plano passando pelo
eixo. Seja a parbola AB a interseo [deste plano] com a superfcie [do paraboloide]. Seja
tambm cortado [o paraboloide] por um segundo plano perpendicular ao eixo e seja [a reta] B
a interseo comum aos dois [planos].
Seja A o eixo do segmento [de paraboloide]. Prolongue-se A at [o ponto] e seja A
igual mesma [A]. Imagine-se como uma alavanca cujo ponto A seja o meio.84
Seja a base do segmento [do paraboloide] o crculo de dimetro B perpendicular a A.
Imagine-se o cone tendo por base o crculo de dimetro B e como vrtice o ponto A. Seja
tambm um cilindro tendo como base o crculo de dimetro B e como eixo [a reta] A.
82
O termo usado por Arquimedes para designar um paraboloide de revoluo conoide reto.
83
Ver a demonstrao geomtrica deste teorema em Sobre Conoides e Esferoides, Proposio 21, [17, pg. 202].
84
Novamente este ponto A ser considerado o fulcro da alavanca.
116
Seja traada no paralelogramo [EBZ] uma [reta] qualquer MN sendo paralela a B e levante-
se sobre MN um plano perpendicular a A. A interseo deste [plano] no cilindro ser um crculo
de dimetro MN, e no segmento de paraboloide ser um crculo de dimetro O.
E como BA uma parbola de dimetro A e [as retas] e B so traadas ordenada-
mente85
[Pg. 98]
A est para A assim como86 [o quadrado] sobre B est para [o quadrado] sobre . Mas
A igual a A. Portanto, A est para A assim como [o quadrado] sobre M est para [o
quadrado] sobre .
Ora, o [quadrado] sobre M est para o [quadrado] sobre assim como87 o crculo de
dimetro MN no cilindro est para o crculo de dimetro O no segmento do paraboloide. Ento
A est para A assim como o crculo de dimetro MN est para o crculo de dimetro O.
Portanto, o crculo de dimetro MN no cilindro, permanecendo no seu lugar, equilibra em torno
do ponto A, o crculo de dimetro O transportado e colocado na alavanca em de modo que
o seu centro de gravidade seja [o ponto] .
O centro de gravidade do crculo de dimetro MN, 88 [o ponto] , enquanto que o centro de
gravidade do crculo de dimetro O [que foi] deslocado, [o ponto] . [E os segmentos] A
e A possuem a razo inversa [daquela razo] entre o crculo de dimetro MN e o crculo de
dimetro O.
Ser demonstrado da mesma maneira que se no paralelogramo89 E for traada uma outra
paralela qualquer a B e se for levantado sobre ela um plano perpendicular a A, o crculo
definido no cilindro, permanecendo no seu lugar, equilibrar o crculo definido no segmento do
paraboloide, deslocado sobre a alavanca para o [ponto] de modo que o seu centro de gravidade
seja .
Ento, assim preenchidos o cilindro e o segmento de paraboloide [pelos ditos crculos], o
cilindro, permanecendo em seu lugar equilibrar em torno do ponto A, o segmento de paraboloide
transportado e colocado na alavanca em de modo que o seu centro de gravidade seja .
Mas como as ditas grandezas se equilibram em torno do ponto A e o centro de gravidade do
cilindro o ponto K,
[Pg. 99]
sendo o [segmento de reta] A dividido ao meio pelo ponto K,90 e [como, finalmente,] o centro
de gravidade do segmento transportado , a razo de A para AK ser inversa razo do
cilindro para o segmento [de paraboloide]. Mas A o dobro de AK. Ento tambm o cilindro
o dobro do segmento [de paraboloide].
Porm o prprio cilindro o triplo do cone que tem como base o crculo de dimetro B e
como vrtice o ponto A. Portanto, claro que o segmento [de paraboloide] uma vez e meia este
mesmo cone.
85
As retas so traadas ordenadamente ou de maneira ordenada. Ver a definio de ordenada na Seo 8.2.
86
Ver a Quadratura da Parbola, Proposio 3, [18, pg. 167], ver tambm a Equao (8.10).
87
Ver Os Elementos de Euclides, Livro XII, Proposio 2, citada na Seo 9.8, ver ainda [23, pg. 371] e [24,
pg. 528].
88
Ver o Lema 7.
89
Neste caso trata-se do retngulo EZB.
90
Ver o Lema 8.
117
10.8 [Teorema] V. [Centro de Gravidade de um Segmento de Pa-
raboloide de Revoluo.]
O centro de gravidade do segmento de paraboloide cortado por um plano perpendicular ao eixo
est sobre a reta que o eixo do segmento, sendo dividida [esta] reta de modo que a parte da
mesma do lado do vrtice o dobro da parte restante.
R
Q A S K D
[Pg. 100]
118
Ora, A est para A assim como94 B est para , e B est para assim como o
[quadrado] sobre B est para o [retngulo de lados] B e . Portanto, tambm o [quadrado]
sobre B estar para o [quadrado] sobre assim como o [quadrado] sobre B est para o
[retngulo de lados] B e . Ento o [quadrado] sobre equivalente95 ao [retngulo de
lados] B e .
Portanto, [os segmentos de reta] B, e so proporcionais96 e, por isso, a razo entre
B e igual razo entre o [quadrado] sobre e o [quadrado] sobre . Mas B est
para assim como A est para A, isto , assim como A est para A. Ento A est
para A assim como o [quadrado] sobre est para o [quadrado] sobre .
Seja levantado agora sobre O um plano perpendicular a A. Este [plano] determinar no
segmento de paraboloide, um crculo de dimetro O, e no cone um crculo de dimetro P. E
posto que
[Pg. 101]
A est para A assim como o [quadrado] sobre est para o [quadrado] sobre e [posto
que o quadrado] sobre est para o [quadrado] sobre assim como97 o crculo de dimetro
O est para o crculo de dimetro P, assim A est para A assim como o crculo de dimetro
O est para o crculo de dimetro P.
Portanto, o crculo de dimetro O, permanecendo no seu lugar, equilibrar em torno do
ponto A, o crculo de dimetro P, transportado sobre a alavanca para o ponto de modo que
seja o seu centro de gravidade.
Posto que o [ponto] o centro de gravidade98 do crculo de dimetro O, permanecendo
no seu lugar, e o [ponto] o centro de gravidade do crculo de dimetro P deslocado como
foi dito, e [como] a razo entre A e A o inverso da razo entre o crculo de dimetro O e
o crculo de dimetro P, [estes crculos] se equilibraro em relao ao ponto A.
Demonstrar-se- da mesma maneira que, se for traada na parbola uma outra [reta] qualquer
paralela a B e sobre ela for levantado um plano perpendicular a A, o crculo determinado
no segmento de paraboloide, permanecendo no seu lugar, equilibrar em torno do ponto A, o
crculo determinado no cone, transportado e colocado no ponto da alavanca, de modo que o
seu centro de gravidade seja .
Sendo ento preenchidos com os crculos tanto o segmento [de paraboloide] quanto o cone,
todos os crculos colocados no segmento, permanecendo nos seus lugares, equilibraro todos os
crculos no cone transportados e colocados no ponto da alavanca, de modo que o seu centro
de gravidade seja .
Por conseguinte, o segmento [de paraboloide] permanecendo no seu lugar, equilibrar em
relao ao ponto A o cone transportado e colocado no ponto da alavanca,
[Pg. 102]
94
Ver Os Elementos de Euclides, Livro VI, Proposio 4, citada na Subseo 8.3.1, pgina 41 desta tese, ver
ainda [23, pg. 200] e [24, pg. 235].
95
Ver Os Elementos de Euclides, Livro V, Proposio 9, citada na Nota de Rodap 34, pgina 109 desta tese,
ver ainda [23, pg. 153] e [24, pg. 216].
96
Ver Os Elementos de Euclides, Livro VI, Proposio 17, citada na Seo 9.6, ver ainda [23, pg. 228] e [24,
pg. 248].
97
Ver Os Elementos de Euclides, Livro XII, Proposio 2, citada na Seo 9.8, ver ainda [23, pg. 371] e [24,
pg. 528].
98
Ver o Lema 7.
119
de modo que o seu centro de gravidade seja .
Ento, como o centro de gravidade das duas grandezas, consideradas como uma [s], o ponto
A, e como o centro de gravidade do prprio cone deslocado, ento o centro de gravidade
da grandeza restante [est] sobre a reta A prolongada do lado de A, destacando da mesma [o
segmento] AK de tal tamanho que a razo entre A e o prprio [AK] seja igual99 razo entre
o segmento [de paraboloide] e o cone.
Mas o segmento [de paraboloide] uma vez e meia o cone.100 Ento tambm A uma vez
e meia AK e o centro de gravidade K [do segmento] de paraboloide est [situado em um ponto]
que divide A de tal maneira que a parte da mesma [reta situada] ao lado do vrtice o dobro
da parte restante.
D
N M O
R
Q A F H G
E C
P
X
B
[Pg. 103]
Seja uma esfera e seja ela cortada por um plano [passando] pelo centro. Seja o crculo
AB a interseo [do plano] com a superfcie e sejam A e B dois dimetros respectivamente
perpendiculares. Seja elevado sobre B um plano perpendicular a A. Seja um cone tendo por
base o crculo de dimetro B e por vrtice o ponto A. Sejam BA e A os [seus] lados.101
Seja prolongada A e seja feito [o segmento de reta] A igual a A. Imagine-se que
seja uma alavanca cujo meio seja [o ponto] A.102 Seja traada no semicrculo BA uma [reta]
99
Ver o Lema 2.
100
Ver o Teorema IV.
101
Isto , as geratrizes.
102
Este ponto A ser considerado o fulcro da alavanca.
120
qualquer O paralela a B, e ela corte a circunferncia do semicrculo nos [pontos] e O, os
lados do cone nos pontos e P, e a [reta] A em E.
Levante-se tambm sobre O um plano perpendicular a AE. Este [plano] far interseo no
hemisfrio segundo um crculo de dimetro O e no cone segundo um crculo de dimetro P.
E como [a razo] entre A e AE [ igual razo] entre103 o [quadrado] sobre A e o [quadrado]
sobre AE, e como o [quadrado] sobre A equivalente soma dos [quadrados]104 sobre AE e
E, e [sendo] E igual105 a AE, assim [a razo] entre A e AE igual [ razo] da soma dos
[quadrados] sobre E e E para o [quadrado] sobre E.
Mas a soma dos [quadrados] sobre E e E est para o [quadrado] sobre E assim como [a
soma] do crculo de dimetro O e do crculo de dimetro P [est] para o crculo de dimetro
P. Tambm A igual a A. Portanto, A [est] para AE assim como [a soma] do crculo de
dimetro O e do crculo de dimetro P [est] para o crculo de dimetro P.
Ento a soma dos dois crculos de dimetros O e P, permanecendo nos seus lugares,
equilibrar em torno do ponto A, o crculo de dimetro P deslocado e colocado [no ponto]
[Pg. 104]
121
portanto, o centro de gravidade do cone.110 Tome-se tambm um ponto X tal que a razo entre
AH e AX seja de oito para cinco. Posto que o cilindro M equilibra o cone AB em torno do
ponto A, a razo entre o cilindro M e o cone AB ser igual razo entre A e A, isto , de
trs para oito.111
Mas o cone AB equivalente ao cilindro MN. Portanto, o cilindro MN est para o cilindro
M assim como oito est para trs.
[Pg. 105]
Por conseguinte, o cilindro N est para o cilindro MN assim como cinco est para oito112 e o cone
AB est para o cilindro N assim como oito est para cinco, isto , como AH est para AX. E
como a esfera equivalente ao qudruplo113 do cone cuja base o crculo de dimetro B e cujo
eixo AH, ento a razo do hemisfrio para o cone AB ser igual a dois para um, isto , a A
para AH. Portanto, a razo entre o hemisfrio e o cilindro N igual razo entre A e AX.
Ento o cilindro N cujo centro de gravidade , equilibra o hemisfrio em relao ao ponto
A. Por conseguinte, o centro de gravidade do hemisfrio o ponto X que divide o eixo de modo
que a parte situada do lado da superfcie do hemisfrio tenha uma razo de cinco para trs com
a parte restante.]
a razo entre todo segmento esfrico e o cone que tem por base a mesma [base] do segmento e
como eixo o mesmo [eixo do segmento] igual razo entre a soma do raio da esfera e a altura
do segmento restante, para a altura do segmento [esfrico] restante.114
[Pg. 106]
[Seja115 com efeito uma esfera e AB seu crculo mximo. Sejam A e TY dois dimetros
perpendiculares. Corte-se a esfera por um plano perpendicular a A destacando um segmento
tendo por base o crculo B. Seja H o ponto de interseo entre B e A. Construa-se sobre o
crculo de dimetro B um cone de vrtice A.
Construa-se tambm sobre o crculo de dimetro TY um outro cone tendo o mesmo vrtice
e seja prolongada a sua superfcie. Seja o crculo de dimetro EZ a interseo deste cone com o
plano traado por B paralelo base. Seja construdo neste mesmo plano um crculo de dimetro
K tendo como centro o ponto H e o raio igual a A. Seja construdo sobre este crculo, um
110
Ver o Lema 10.
111
Ver a deduo detalhada destas relaes na Seo 9.7.
112
Ver Os Elementos de Euclides, Livro V, Proposio 17, [24, pg. 222]: Caso magnitudes, tendo sido com-
postas, estejam em proporo, tambm, tendo sido separadas, estaro em proporo.
113
Ver o Teorema II.
114
A demonstrao geomtrica deste teorema pode ser encontrada em Sobre a Esfera e o Cilindro, Livro II,
Proposio 2, [17, pg. 104].
115
O texto grego do Cdice C apresenta uma lacuna que devia conter a descrio da figura. A reconstituio foi
feita por Heiberg a partir da prpria Figura 10.7 e do Teorema II.
122
N L
Z
U
O B
R
Q A X F H G W
S
P
X D
T
E
Y M K
cilindro com eixo AH tendo como paralelogramo passando pelo eixo .116
Seja prolongada A dos dois lados: de um lado seja construdo o prolongamento 117 igual
ao raio da esfera e do outro lado A igual a A. Imagine-se como uma alavanca da qual A
seja o ponto mdio.118
Seja ento traada no paralelogramo K a reta MN paralela a B] e eleve-se sobre MN um
plano perpendicular a A. Este plano cortar o cilindro segundo um crculo de dimetro MN, o
segmento esfrico segundo um crculo de dimetro de dimetro O e o cone que tem como base
o crculo de dimetro EZ e como vrtice o ponto A, segundo um crculo de dimetro P.
Da mesma maneira ser demonstrado como anteriormente que o crculo de dimetro MN,
permanecendo no seu lugar, equilibrar em torno do ponto A, a soma dos dois crculos de di-
metros O e P, deslocados na alavanca para [o ponto] , de modo que seja o centro de
gravidade de cada um deles. E assim igualmente para todos [os outros crculos].
Ento [sendo] preenchidos com os crculos o cilindro, o cone e o segmento esfrico, o cilindro
permanecendo no seu lugar equilibrar
[Pg. 107]
123
A, assim a [razo] entre o cilindro e a soma do cone com dimetro de base EZ e do segmento
esfrico BA, ser igual [ razo] entre A e AX.
E como HA o triplo de H, o [retngulo de lados] H e H equivalente a um tero do
[retngulo de lados] AH e H. Ora, o [retngulo de lados] AH e H equivalente120 ao [quadrado]
sobre HB. Ento, tambm o [retngulo de lados] H e H ser um tero do [quadrado sobre]
BH.121
Por outro lado, o quadrado sobre AH equivalente ao triplo122 do retngulo de lados AH e
H, isto , ao triplo do retngulo de lados AX e A, pois AH o dobro de AX e A o dobro
de H. Alm disso, como A igual a KH e como AH igual a HE, a razo do quadrado sobre
A para um tero do quadrado sobre AH, ser igual razo do cilindro cuja base o crculo de
dimetro K para o cone AEZ.
Mas a razo do quadrado sobre A para um tero do quadrado sobre AH igual razo do
quadrado sobre A para o retngulo de lados AX e A. Por conseguinte, a razo do quadrado
sobre A para o retngulo de lados AX e A igual razo entre o cilindro e o cone.
Mas foi tambm demonstrado que a razo entre o cilindro cuja base o crculo de dimetro
K e a soma do segmento esfrico AB e do cone, igual razo entre A e AX. Mas A
[igual a A, ou seja, igual soma de A e . Portanto, a razo entre o quadrado sobre A
e a soma dos retngulos de lados
[Pg. 108]
124
10.11 [Teorema] VIII. [Volume de um Segmento de Elipsoide de
Revoluo.]
De modo semelhante analisa-se pelo mesmo mtodo tambm que
todo segmento de elipsoide cortado por um plano perpendicular [ao eixo] tem a mesma razo em
relao ao cone que tem a mesma base e o mesmo eixo que o segmento, como a soma da metade
do eixo do elipsoide e do eixo do segmento oposto, [tem] para o eixo do segmento oposto.123
[Pg. 109]
de tal maneira que a razo entre a parte do mesmo do lado do vrtice do segmento, e a parte
restante, a mesma [razo] que a soma do eixo do segmento e o qudruplo do eixo do segmento
oposto, com a soma do eixo do segmento e o dobro do eixo do segmento oposto.
[Seja124 uma esfera. Corte-se a esfera por um plano perpendicular ao eixo. Seja AB o
segmento esfrico determinado.
Seja o crculo AB] a interseo determinada por um outro plano perpendicular passando
pelo centro. Seja B a interseo deste plano com o plano que determinou o segmento [esfrico].
Seja a reta A, o dimetro perpendicular a B e cortada pelo ponto H, de modo que AH seja o
eixo do segmento [esfrico] cujo vrtice o ponto A, enquanto que o eixo do segmento [esfrico]
oposto H.
Corte-se AH pelo ponto X de modo que AX esteja para XH assim como AH e o qudruplo
de H esto para AH e o dobro de H.
Digo que [o ponto] X o centro de gravidade do segmento [esfrico] cujo vrtice o ponto
A125 ...
... [seja prolongada A dos dois lados] e seja feita de um lado A igual a A e [do outro
[Pg. 110]
lado] igual ao raio da esfera. Imagine-se [como] uma alavanca cujo meio [o ponto] A.126
Seja tambm descrito, no plano que corta o segmento [esfrico], um crculo com centro em H e
123
Arquimedes no apresenta a demonstrao deste teorema pelo seu mtodo, por considerar que seria equivalente
demonstrao do teorema anterior. Contudo, uma demonstrao geomtrica foi desenvolvida por ele prprio
em outro livro, ver Sobre Conoides e Esferoides, Proposies 29 e 31, [17, pgs. 235 e 244].
124
Trs linhas sobre a construo da figura, faltantes no texto grego, foram reconstitudas por Heiberg.
125
As cinco linhas seguintes contm somente traos de palavras que no foram possveis de ser reconstitudas
at o momento.
126
Este ponto A ser considerado o fulcro da alavanca.
125
Z
N M L D
O
Q A P C F H G X
K B
com raio igual a AH. Sobre este crculo seja construdo um cone tendo por vrtice o ponto A, e
sejam AE e AZ os lados127 do cone.
Seja traada uma [reta] qualquer K paralela a EZ, a qual encontre a superfcie do segmento
[esfrico] em K e , os lados do cone AEZ em P e O, e a [reta] A em .
Ento, sendo que A est para A assim como128 o [quadrado] sobre KA est para o [qua-
drado] sobre A, sendo que o [quadrado] sobre KA equivalente [soma dos quadrados] sobre
A e K, e [sendo que o quadrado] sobre A igual ao [quadrado] sobre O, e tambm que o
[quadrado] sobre AH igual ao [quadrado] sobre EH, assim [a razo entre] A e A igual
[razo entre a soma dos quadrados] sobre K e O e o [quadrado] sobre O.
Mas a [razo entre a soma dos quadrados] sobre K e O e o [quadrado] sobre O igual [
razo] do crculo de dimetro K e do crculo de dimetro OP, com o crculo de dimetro OP, e
tambm A igual a A. Portanto, [a razo] entre A e A igual [ razo] entre os crculos
de dimetro K e OP, e o crculo de dimetro OP.
Posto que [a razo] entre os crculos de dimetro K e OP para o crculo de dimetro OP,
igual [ razo] de A para A, seja transportado o crculo de dimetro OP e colocado [no ponto]
da alavanca de modo que seja o seu centro de gravidade. Portanto, A est para A assim
como [a soma dos] crculos de dimetro K e OP, permanecendo nos seus lugares, est para o
crculo de dimetro OP deslocado e colocado no [ponto] da alavanca, de modo que seja o
seu centro de gravidade.
Por conseguinte, os crculos [que esto] no segmento [esfrico] BA e no cone AEZ equilibram
o crculo [que est] no cone AEZ em torno do [ponto] A.
[Pg. 111]
126
Seja agora um cilindro MN equivalente ao cone que tem por base o crculo de dimetro EZ e
como vrtice o ponto A. Seja cortada [a reta] AH pelo [ponto] de tal maneira que AH seja o
qudruplo de H. Portanto, o ponto o centro de gravidade do cone AEZ. Com efeito, isto
foi assinalado anteriormente.129
Corte-se ainda o cilindro MN por um plano perpendicular [ao eixo] de modo que o cilindro
M esteja em equilbrio com o cone EAZ. Ento [posto que] o cone EAZ e o segmento [esfrico]
AB permanecendo nos seus lugares, esto em equilbrio com o cone EAZ deslocado e colocado
no ponto no ponto da alavanca de modo que seja o seu centro de gravidade, que o cilindro
MN equivalente ao cone EAZ, que cada um dos dois cilindros M e N colocado em , e que o
cilindro MN equilibra os dois [isto , o segmento esfrico e o cone], ento tambm o [cilindro] N
equilibra o segmento esfrico em torno do ponto A.
Por outro lado, o segmento esfrico BA est para o cone cuja base o crculo B e cujo
vrtice o ponto A, assim como H est para H, pois isto foi demonstrado anteriormente.130
Mas [a razo] entre o cone BA e o cone EAZ igual131 [razo] entre o crculo de dimetro
B e o crculo de dimetro EZ, e a [razo] do crculo para o crculo igual [razo] do [quadrado]
sobre BH para o [quadrado] sobre HE.
[Pg. 112]
127
Mas foi mostrado tambm que [a razo] entre H e HA igual [ razo] entre o segmento
[esfrico] cujo vrtice o ponto A e cuja base o crculo de dimetro B, e o cone cujo vrtice
o ponto A e cuja base o crculo de dimetro EZ. Portanto, o segmento [esfrico] BA est
para o cone EAZ assim como est para XA.
E como o cilindro M equilibra o cone EAZ em torno do ponto A, e o centro de gravidade
do cilindro o [ponto] e o [centro de gravidade] do cone EAZ o [ponto] , ento o cone EAZ
estar para o cilindro M assim como A est para A. Isto , assim como A est para A.
Alm disso, o cilindro MN equivalente ao cone EAZ. Portanto, separando,138 o cilindro MN
est para o cilindro N assim como A est para . Alm disso, o cilindro MN equivalente ao
cone EAZ.
[Pg. 113]
Portanto, o cone EAZ est para o cilindro N assim como A est para , isto , assim como
A est para . Mas tambm j foi demonstrado que o segmento [esfrico] BA est para o
cone EAZ assim como est para XA. Ento, por identidade,139 o segmento [esfrico] AB
estar para o cilindro N assim como A est para AX.
Tambm foi demonstrado que o segmento [esfrico] BA equilibra o cilindro N em torno do
ponto A e ainda que o centro de gravidade do cilindro N o [ponto] . Por conseguinte, o centro
[de gravidade] do segmento [esfrico] BA o ponto X.
o centro de gravidade de todo segmento de elipsoide est sobre a reta que constitui o eixo do
segmento, dividindo-a de tal maneira que a razo entre a parte da mesma [reta] do lado do
vrtice do segmento, e a parte restante, igual razo entre a soma do eixo do segmento com
o qudruplo do eixo do segmento oposto, e a soma do eixo do segmento com o dobro do eixo do
segmento oposto.
todo segmento de hiperboloide de revoluo140 tem a mesma razo para um cone com a mesma
base e o mesmo eixo que o segmento, que aquela [razo] entre a soma do eixo do segmento
pg. 164] e [24, pg. 221].
138
Ver Os Elementos de Euclides, Livro V, Proposio 17, citada na Nota de Rodap 112, pgina 122 desta tese,
ver ainda [23, Volume 2, pg. 166] e [24, pg. 222]. Ver tambm a Equao (7.23).
139
Ver Os Elementos de Euclides, Livro V, Proposio 22, citada na Nota de Rodap 132, pgina 127 desta tese,
ver ainda [23, Volume 2, pg. 179] e [24, pg. 227].
140
Arquimedes chama a hiprbole de seo de cone obtusngulo, ver a Seo 8.1.
128
[de hiperboloide] com o triplo da [reta] adjunta ao eixo,141 e a soma do eixo do segmento de
hiperboloide com o dobro da [reta] adjunta ao eixo.
[Pg. 114]
O centro de gravidade do hiperboloide de revoluo [est em um ponto] que divide o eixo de tal
maneira que a razo entre a parte prxima ao vrtice e a parte restante seja igual razo entre a
[soma] do triplo do eixo com o ctuplo da reta adjunta e a [soma] do eixo do prprio hiperboloide
com o qudruplo da reta a ele adjunta.
Se bem que muitos outros teoremas possam ser demonstrados [por este mtodo], deixaremos
de mencion-los aqui pois o mtodo foi provado pelos [teoremas] mostrados anteriormente.142
Analisa-se [isso] por este mtodo. Mostrado isso, voltaremos sua demonstrao por meios
geomtricos.143
F D B
Q I
Z E
A G N W
[Pg. 115]
Imagine-se um prisma reto tendo bases quadradas e no prisma um cilindro inscrito como foi
dito. Seja o prisma cortado por um plano passando pelo eixo e perpendicular ao plano que cortou
141
Ver Sobre Conoides e Esferoides, Proposio 25, [17, pg. 216].
142
Para uma reconstruo da demonstrao deste Teorema 11 seguindo o raciocnio de Arquimedes, ver [45].
143
Ver os Teoremas XIV e XV.
129
o segmento do cilindro. Seja o paralelogramo AB144 a interseo [deste plano] e do prisma que
contm o cilindro. Seja a reta B a interseo comum do plano que cortou o segmento cilndrico
com o plano traado pelo eixo e perpendicular ao plano que cortou o segmento cilndrico.
Seja a reta o eixo do prisma e do cilindro e [suponha que a reta] EZ a corte pela metade,
em ngulo reto. Levante-se por EZ um plano perpendicular a o qual far no prisma uma
seo quadrada, enquanto que no cilindro a seo [ser] um crculo. Seja ento o quadrado MN
a interseo com o prisma enquanto que o crculo OP [seja] a interseo com o cilindro e o
crculo tangencie os lados do quadrado nos pontos , O, e P.
Seja a reta K a interseo comum do plano cortando o segmento cilndrico e do plano traado
por EZ, perpendicular ao eixo do cilindro. [A reta] a divide em duas partes iguais.
Seja traada no semicrculo OP uma [reta] qualquer T perpendicular a X. Seja levantado
por T um plano perpendicular a , o qual seja prolongado de ambos os lados do plano que
contm o crculo OP. Este [plano] far interseo com o semicilindro cuja base o semicrculo
OP e cuja altura o eixo do prisma, segundo um paralelogramo do qual um lado ser igual
a T e o outro [ser igual] geratriz do cilindro. Ele far tambm interseo com o segmento
cortado do cilindro, segundo um [outro] paralelogramo
[Pg. 116]
R N
L
T
Q C
X P
K S
M O
do qual um lado igual a T e o outro [ igual] a NY. Seja NY traada no paralelogramo E,145
paralelamente a B, de modo a cortar EI igual a X. Como E um paralelogramo e NI
paralela a , e [como] E e B so traadas atravs [delas], a razo entre E e I igual
razo entre e N, isto ,146 [ razo] entre B e YN.
144
Leia-se: o paralelogramo AB.
145
Embora o texto grego (reproduzido por Heiberg) indique neste ponto o paralelogramo E, o paralelogramo
correto que contm a reta NY B.
146
Ver Os Elementos de Euclides, Livro VI, Proposio 4, citada na Subseo 8.3.1, pgina 41 desta tese, ver
ainda [23, Volume 2 pg. 200] e [24, pg. 235].
130
Mas B est para YN assim como o paralelogramo determinado no semicilindro est para
[o paralelogramo] determinado no segmento cortado do cilindro, pois147 T o lado comum dos
dois paralelogramos. Alm disso, E igual a , e I igual a X. Como igual a
, a razo entre e X igual razo entre o paralelogramo determinado no semicilindro
e [aquele] determinado no segmento cortado do cilindro.
Imagine-se que o paralelogramo no segmento seja deslocado e colocado no ponto de modo
que seja o seu centro de gravidade, e ainda imagine-se que seja uma alavanca cujo ponto
mdio seja . Ento o paralelogramo no semicilindro, permanecendo no seu lugar, equilibra em
torno do ponto o paralelogramo determinado no segmento do cilindro,
[Pg. 117]
deslocado e colocado no ponto da alavanca, de modo que o ponto seja o seu centro de
gravidade.
Como X o centro de gravidade do paralelogramo determinado no semicilindro, como o
centro de gravidade do paralelogramo determinado no segmento [cilndrico] cortado e deslocado,
e [como] a razo entre e X igual razo entre o paralelogramo que dissemos ter X como
centro de gravidade e o paralelogramo que dissemos ter como centro de gravidade, ento o
paralelogramo cujo centro de gravidade X, equilibrar em torno do [ponto] , o paralelogramo
cujo centro de gravidade .
Ser demonstrado da mesma maneira que, toda vez que for traada no semicrculo OP qual-
quer outra perpendicular a e pela [reta] traada for levantado um plano perpendicular a
e prolongado dos dois lados do plano em que est o crculo OP, o paralelogramo determinado
no semicrculo, permanecendo no seu lugar, equilibrar em relao ao ponto , o paralelogramo
determinado no segmento cortado do cilindro, deslocado e colocado na alavanca em de tal
maneira que o seu centro de gravidade seja o ponto .
Portanto, todos os paralelogramos determinados no cilindro, permanecendo nos seus lugares,
equilibraro em torno do ponto todos os paralelogramos determinados no segmento cortado do
cilindro, deslocados e colocados no ponto da alavanca. Por conseguinte, tambm o semicilindro
permanecendo no seu lugar, equilibra em relao ao ponto o segmento cortado [do cilindro]
[Pg. 118]
deslocado e colocado no ponto da alavanca, de modo que o ponto seja o seu centro de
gravidade.
131
H R N
L S K
C
Q
X P
U F T
Z
M O
Haver ento um prisma tendo uma base to grande quanto o tringulo MH e uma altura
igual ao eixo do cilindro. Este prisma a quarta parte de todo o prisma que contm o cilin-
dro.150 Sejam traadas no semicrculo OP e no quadrado MN [duas] retas quaisquer K e TY
equidistantes de . Estas retas cortam a circunferncia do semicrculo OP nos pontos K e T,
o dimetro OP em e Z, e as [retas] H e M nos [pontos] e X.
Sejam levantados pelas [retas] K e TY planos perpendiculares a OP e sejam prolongados
estes planos de ambos os lados do plano em que est o crculo OP. Ento
[Pg. 119]
um dos dois planos determinar como interseo no semicilindro cuja base o semicrculo OP e
[cuja] altura aquela do cilindro, um paralelogramo do qual um dos lados igual a K e o outro
lado igual ao eixo do cilindro. Da mesma maneira, [determinar como interseo] no prisma
HM, [um paralelogramo] do qual um dos lados ser igual a X e o outro ser igual ao eixo.
Pelos mesmos motivos, no mesmo semicilindro haver um outro paralelogramo do qual um
dos lados igual a TZ e o outro igual ao eixo do cilindro, e no prisma, um [outro] paralelogramo
do qual um dos lados igual a Y e o outro igual ao eixo do cilindro...151
132
[Pg. 120]
B H G
M X
N
L
Q Z
K S
A E D
Este [plano] cortar do prisma inteiro um outro prisma que ser a quarta parte do prisma
inteiro e que ser delimitado por trs paralelogramos e por dois tringulos opostos entre si.
Seja ento inscrita no semicrculo EZH uma parbola e seja ZK [a parte do seu dimetro
situada no segmento] da parbola. Seja traada no paralelogramo H uma [reta] qualquer MN
paralela a KZ. Ela cortar a circunferncia do semicrculo em e a parbola em .
Ento o [retngulo]153 MN equivalente ao [quadrado de lado] NZ, pois isto evidente.154
Por isso ento, MN est para N assim como o [quadrado] sobre KH est para o [quadrado]
sobre .
Seja tambm levantado sobre MN um plano perpendicular a EH. Este plano far interseo
com o prisma cortado do prisma inteiro, segundo um tringulo retngulo do qual um dos lados
em torno do ngulo reto ser MN, e o outro [lado], no plano [passando] por , perpendicular
reta , traado a partir do [ponto] N, [ser] igual ao eixo do cilindro, e a hipotenusa [estar]
no prprio plano secante.
[Este plano] far tambm interseo com o segmento cortado do cilindro pelo plano traado
por EH e pelo lado do quadrado oposto a , segundo um tringulo retngulo do qual um dos
lados adjacentes ao ngulo reto ser M e o outro [lado estar] na superfcie do cilindro, traado
por e perpendicular ao plano KN, e a hipotenusa [estar] no plano secante.
Portanto, pelos mesmos motivos, o [retngulo de lados] MN e M equivalente ao [quadrado
de lado] M, pois isto evidente. E como MN estar para M, assim o [quadrado] sobre MN
[estar] para o [quadrado] sobre M. Mas a razo do [quadrado] sobre MN para o [quadrado]
sobre M
[Pg. 121]
153
Com a denominao MN, Arquimedes entende o retngulo de lados MN e N.
154
Esta igualdade corresponde a aplicar a Equao da parbola ao ponto , considerando que o parmetro
(orthia) da parbola MN. Portanto, a Equao : (M N )(N ) = Q(N Z).
133
igual razo do tringulo sobre MN determinado no prisma, para o tringulo sobre M cortado
no segmento pela superfcie do cilindro. Portanto, MN est para M assim como o tringulo [do
prisma] est para o tringulo [do segmento].
Da mesma maneira ser tambm demonstrado que se for traada, no paralelogramo circuns-
crito parbola, qualquer outra paralela a KZ, e se, a partir da [reta] traada for levantado um
plano perpendicular a EH, o tringulo determinado no prisma estar para [o tringulo determi-
nado] no segmento do cilindro assim como a paralela traada a KZ no paralelogramo H est
para [a reta] interceptada entre a parbola EHZ e o dimetro EH.
Preenchido ento o paralelogramo H pelas paralelas a KZ, e o segmento compreendido entre
a parbola e o dimetro preenchido com os segmentos [de reta] interceptados...155 s paralelas a
KZ traadas no paralelogramo, e [a razo] entre todos os tringulos no prisma e todos os tringulos
no segmento cortado do cilindro ser igual [ razo] entre todas as retas [interceptadas] entre a
parbola e a reta EH.
[Pg. 122]
Mas o prisma constitudo por todos os tringulos do prisma, enquanto que o segmento ciln-
drico [ constitudo] por todos [os tringulos] do segmento, e o paralelogramo H [ constitudo
por] todas as paralelas a KZ dentro do paralelogramo, enquanto que o segmento de parbola [
constitudo] por todas [as retas] entre a parbola e a [reta] EH.
Por conseguinte, o prisma [est] para o segmento cortado do cilindro, assim como o paralelo-
gramo H [est] para o segmento EZH compreendido entre a parbola e a reta EH.
Mas o paralelogramo H uma vez e meia o segmento compreendido entre a parbola e a
reta EH, pois isso foi demonstrado156 nos [escritos] publicados anteriormente. Portanto, tambm
o prisma uma vez e meia o segmento cortado do cilindro. Ento o segmento do cilindro est
para dois assim como o prisma est para trs. Mas o prisma est para trs assim como todo o
prisma circunscrito ao cilindro est para doze, por ser um [prisma] um quarto do outro [prisma].
Portanto, o segmento do cilindro est para dois, assim como todo o prisma est para doze.
Desta maneira, o segmento cortado do cilindro a sexta parte do prisma.
[Pg. 123]
e pelo dimetro EH e por um dos lados [do quadrado oposto, correspondente a ], seja traado
um plano...157 Ento este plano corta do prisma inteiro, um prisma, e [corta] do cilindro, um
155
Neste ponto existe uma lacuna no texto grego que Heiberg no conseguiu preencher. Foi somente em 2001
que Netz, Saito e Tchernetska, [46] e [47], usando tecnologias modernas, publicaram uma nova leitura do texto
grego deste teorema, preenchendo a lacuna. Porm, devemos observar que o preenchimento desta lacuna no
afeta as concluses do teorema.
156
Ver O Mtodo, Teorema I e a Quadratura da Parbola, Proposio 24, [18, pg. 193].
157
O texto grego apresenta algumas falhas, que podem ser reconstitudas a partir dos Teoremas XII e XIV,
pois trata-se da construo da mesma Figura (uma unha cilndrica ou um segmento de cilindro, como esta forma
134
segmento cilndrico.
Afirmo que este segmento cortado do cilindro pelo plano traado, a sexta parte do prisma
inteiro, o que ser demonstrado.
K Z
135
pois esta diferena igual soma dos dois prismas adjacentes a KZ. Com efeito, a todos os outros
prismas da figura circunscrita correspondem prismas iguais da figura inscrita.
[Pg. 124]
Seja agora traada no semicrculo uma parbola EZH e pelos seus pontos de interseo com
as retas paralelas a KZ, sejam traadas paralelas a EH as quais sejam prolongadas como dito
anteriormente.160
Z K
D E
Existiro ento duas figuras, uma circunscrita e outra inscrita ao segmento de parbola, cons-
titudas por paralelogramos161 tais que a diferena entre a primeira e a segunda seja igual soma
dos dois paralelogramos tendo a base comum em ZK. Alm disso, cada um desses paralelogramos
corresponde a um dos prismas no interior das figuras slidas mencionados anteriormente.
[Pg. 125]
136
Ento, como foi demonstrado,163 a razo entre as retas traadas no paralelogramo H e as
retas interceptadas entre a parbola e a reta EH, igual razo entre os tringulos do prisma
cortado pelo plano inclinado e os tringulos do segmento cilndrico. Ou seja, igual razo
entre os prismas contidos no prisma cortado pelo plano inclinado e os prismas contidos na figura
slida inscrita,164 diminuda de dois.165
E como a razo entre as retas indicadas igual razo dos paralelogramos em que dividido
o paralelogramo H, com os paralelogramos contidos na figura inscrita na parbola,166 menos
dois,167 ento o prisma cortado pelo plano inclinado estar para a figura inscrita, assim como168
o paralelogramo H est para a figura inscrita na parbola.
Portanto, sendo que o prisma cortado pelo plano inclinado inferior aos trs meios do seg-
mento cilndrico169 e sendo a diferena entre este ltimo e a figura inscrita inferior a uma grandeza
qualquer,]170 ento o prisma cortado pelo plano inclinado ser inferior aos trs meios da figura
slida inscrita no segmento cortado do cilindro.
Mas foi demonstrado que o prisma cortado pelo plano inclinado est para a figura slida
inscrita no segmento cortado do cilindro, assim como o paralelogramo H est para a soma dos
paralelogramos inscritos no segmento, compreendidos entre a parbola e a reta EH.
Portanto, o paralelogramo H menor que os trs meios da soma dos paralelogramos do
segmento171 compreendido entre a parbola e a reta EH. Isto certamente impossvel, pois foi
demonstrado em outro lugar172 que o paralelogramo H equivalente aos trs meios do segmento
[de parbola] compreendido entre a parbola e a reta EH.
[Pg. 126]
137
compreendidos entre a parbola e a reta EH.]174
Portanto, a razo entre [a soma de] todos os prismas no prisma cortado pelo plano inclinado e
[a soma de] todos os prismas na figura circunscrita ao segmento cilndrico ser igual razo entre
[a soma] de todos os paralelogramos no paralelogramo H e [a soma] de todos os paralelogramos
na figura circunscrita ao segmento, compreendidos entre a parbola e a reta EH.
Isto , o prisma cortado pelo plano inclinado e a figura circunscrita ao segmento cilndrico,
tero a mesma razo que o paralelogramo H e a figura circunscrita ao segmento [de parbola]
compreendida entre a parbola e a reta EH.
[Pg. 127]
Mas o prisma cortado pelo plano inclinado superior aos trs meios da figura slida circuns-
crita ao segmento cilndrico.175 [Por conseguinte, o paralelogramo H tambm superior aos
trs meios da figura circunscrita ao segmento de parbola compreendida entre a parbola e a reta
EH, o que certamente impossvel, pois foi demonstrado em outro lugar176 que o paralelogramo
H equivalente aos trs meios do segmento de parbola compreendido entre a parbola e a
reta EH.
Portanto, o segmento cilndrico tambm no inferior sexta parte do prisma inteiro. Assim
ento, o segmento cilndrico no sendo nem inferior nem superior, ele ser igual sexta parte do
prisma todo, como era necessrio demonstrar.]
174
Neste ponto termina a lacuna do texto grego.
175
O texto grego apresenta aqui mais uma lacuna bem na parte da concluso final do teorema. A reconstituio
desta parte apresentada a seguir tambm devida a Heiberg. a partir dela que foram feitas as tradues em
outros idiomas.
176
Ver a Quadratura da Parbola, Proposio 24, [18, pg. 193].
138
Captulo 11
Concluso
Com a traduo completa e comentada desta obra fascinante de Arquimedes conclumos esta
tese.
Para provar teoremas puramente geomtricos como clculos de reas e de volumes, ele utilizou
aspectos bsicos da mecnica. Em particular, podemos citar a utilizao do conceito de centro de
gravidade, a lei da alavanca e condies de equilbrio de corpos sob a ao gravitacional terrestre.
A leitura desse livro de Arquimedes onde so tratados e exemplificados estes temas impor-
tantes um grande desafio para o leitor moderno. Isto ocorre no apenas pela linguagem dos
matemticos gregos, muito distante da nossa, mas tambm pela complexidade do raciocnio do
autor.
Atravs desta tese procuramos apresentar estes conceitos usando uma linguagem matemtica
mais prxima da nossa cultura. Alm disso, apresentamos figuras de diversas alavancas em
equilbrio com corpos dependurados em seus braos e estando a distncias especficas do fulcro,
seguindo as especificaes de Arquimedes. Isto permite uma interpretao experimental das
passagens fsicas envolvidas no seu raciocnio.
Acreditamos dessa maneira poder contribuir para uma maior divulgao das obras de Ar-
quimedes, que j conta com alguns de seus livros traduzidos e comentados em portugus, como
listado na bibliografia ao final desta tese.
139
Apndice A
Neste Apndice apresentamos as dedues das relaes matemticas bsicas que so necessrias
para as demonstraes fsicas dos teoremas de O Mtodo.
A.1 Teorema I
Nesta Seo vamos apresentar a demonstrao matemtica da Equao (9.2).
A parbola que nos interessa aparece na Figura A.1.
T
Q
H
K
E
N C
O B
A
X
D
G
[...] portanto, fica evidente que a razo entre A e igual razo entre N e
NO.
140
Esta relao pode ser escrita matematicamente da seguinte forma:
A N
= . (A.1)
NO
Ou:
A N
= . (A.2)
A A N O
Pelas propriedades das propores dadas pelas Equaes (7.21) e (7.27), temos:
A N
= . (A.3)
A O
Portanto:
2 (A) 2 (N )
= . (A.4)
A O
Com isto vem ento:
A M
= . (A.5)
A O
Mas de acordo com a Proposio 2 do Livro VI de Os Elementos de Euclides, citada na
pgina 44 desta tese, juntamente com a Figura A.1, vem que:
A K
= . (A.6)
A KN
Mas por construo temos que:
K = K . (A.7)
Ento, pelas Equaes (A.5), (A.6) e (A.7) temos:
M K K
= = . (A.8)
O KN KN
Esta Equao, anloga Equao (9.2), o ponto de partida da demonstrao fsica.
A = M , (A.9)
e
A = . (A.10)
141
H N Z
Y D W
O
R
Q A S K G
P
X
F C
B
L M E
Vamos representar R(AB, CD) como sendo o retngulo de lados AB e CD, e Q(FG) como
sendo o quadrado de lado FG. Multiplicando as Equaes (A.9) e (A.10) membro a membro,
obtemos:
A = . (A.14)
Aplicando o teorema de Pitgoras no tringulo A e usando a Equao (A.14), obtemos:
R(M , ) = Q( ) + Q( ) . (A.16)
Agora dividimos membro a membro as identidades das Equaes (A.9) e (A.10), obtendo:
A M
= . (A.17)
A
Por construo temos que:
A = A . (A.18)
142
Pelas Equaes (A.17) e (A.18) vem que:
A M (M )(M )
= = . (A.19)
A ( )(M )
Ou seja:
A Q(M )
= . (A.20)
A R(M , )
Combinando a Equao (A.20) com a Equao (A.16) vem que:
A Q(M )
= . (A.21)
A Q( ) + Q( )
Mas a mesma razo entre os raios no lado direito desta Equao vai continuar valendo para a
razo entre os dimetros. Isto , podemos dobrar os raios M, e , obtendo os dimetros
MN, O e P, respectivamente, que a razo do lado direito ainda ser vlida:
Q(M ) Q(MN )
= . (A.22)
Q( ) + Q( ) Q(O) + Q(P )
Combinando as Equaes (A.21) e (A.22) obtemos ento:
A Q(MN )
= . (A.23)
A Q(O) + Q(P )
Esta Equao, anloga Equao (9.11), o ponto de partida para a demonstrao fsica
deste segundo Teorema.
H N Z
D
Y W
O
Q A R
S G
K
P
X
F C
B
L M E
143
A demonstrao da relao matemtica necessria para provar este teorema comea com a
observao de que os tringulos AE e A so equingulos. Portanto, aplica-se a Proposio
4 do Livro VI de Os Elementos de Euclides.1 Temos ento as seguintes propores:
A AE
= , (A.24)
A A
e
AE E
= . (A.25)
A
Mas, por construo:
A = A . (A.26)
Sendo M e E os lados opostos de um paralelogramo, temos que:
M = E . (A.27)
Ento podemos escrever que:
A M
= . (A.28)
A
Por outro lado, multiplicando o numerador e o denominador do segundo membro por M
temos:
M (M )(M ) Q(M ),
= = . (A.29)
(M )( ) R(M , )
Aqui estamos usando a notao Q(M) como sendo o quadrado de lado M e R(M, M) como
sendo o retngulo de lados M e M.
Neste ponto, para seguir o raciocnio de Arquimedes, devemos introduzir a equao da elipse
(8.23), tal como foi deduzida no Captulo 8, que lembramos aqui, de forma simplificada:2
Q(ordenada)
= constante . (A.30)
R(abscissa, complemento da abscissa)
Aplicando esta Equao a dois pontos de uma elipse que podemos chamar de 1 e 2, teremos
ento:
R(A , ) R(AK, K )
= . (A.32)
Q( ) Q(KB)
Mas
AK = K . (A.33)
1
Citada na Subseo 8.3.1, pgina 41 desta tese, ver tambm [23, Volume 2, pg. 200] e [24, pg. 235].
2
Chamamos de complemento da abscissa ou simplesmente de complemento diferena entre o eixo maior da
elipse e a prpria abscissa.
144
Ento:
R(AK, K) = Q(AK) . (A.34)
Pela semelhana dos tringulos AKB e A, temos:
AK A
= , (A.35)
KB
e tambm:
Q(AK) Q(A )
= . (A.36)
Q(KB) Q( )
Substituindo estes resultados na Equao (A.32) obtm-se:
Q(A ) Q( )
= . (A.38)
R(A , ) Q( )
Agora, na Figura 9.15 verificamos que os tringulos A e ME so semelhantes por serem
equingulos. Portanto, podemos escrever que:
A
= . (A.39)
ME M
Mas, por serem lados opostos de um paralelogramo, temos que:
ME = . (A.40)
Ento:
A
= . (A.41)
M
Multiplicando o numerador e o denominador do primeiro membro desta igualdade por A e
multiplicando o numerador e o denominador do segundo membro por temos:
(A )(A ) ( )( )
= . (A.42)
( )(A ) (M )( )
Utilizando a notao simplificada obtm-se ento:
Q(A ) Q( )
= . (A.43)
R(A , ) R(M , )
Comparando este resultado com a Equao (A.38) conclumos que:
145
(M)() + ()() = Q() + Q() . (A.45)
Ou ento:
R(M , ) = Q( ) + Q( ) . (A.47)
Substituindo o valor da Equao (A.47) na Equao (A.29), temos:
M Q(M ) Q(M )
= = . (A.48)
R(M , ) Q( ) + Q( )
Conclumos a deduo matemtica comparando a Equao (A.48) com a Equao (A.28),
obtendo:
A Q(M )
= . (A.49)
A Q( ) + Q( )
Esta Equao, anloga Eq. (9.25), a base matemtica necessria para a demonstrao
fsica do terceiro Teorema.
A.4 Teorema IV
Apresentamos agora a demonstrao da Equao (9.39). Os objetos deste Teorema esto repre-
sentados na Figura A.4.
Z N G
Q A S K D
E M B
146
Sendo BA uma parbola e sendo as retas e B duas ordenadas,4 podemos escrever,
aplicando a Equao da parbola para os pontos B e :
Q( ) = (constante)(A ) . (A.51)
Dividindo membro a membro temos:
A Q(B)
= . (A.52)
A Q( )
Mas
A = A , (A.53)
e
B = M . (A.54)
Portanto:
A Q(M )
= . (A.55)
A Q( )
Esta Equao, anloga Equao (9.39), a base matemtica necessria para a demonstrao
fsica deste Teorema.
A.5 Teorema V
Apresentamos agora a demonstrao matemtica da Equao (9.46). Os objetos representados
neste Teorema aparecem na Figura A.5.
Usando o mesmo raciocnio do teorema anterior e aplicando a Equao da parbola5 para os
pontos B e , temos:
A Q(B)
= . (A.56)
A Q( )
Por outro lado, devido semelhana dos tringulos AB e A, temos:
A B
= . (A.57)
A
Desta ltima Equao, multiplicando o numerador e o denominador do segundo membro por
B vem:
A Q(B)
= . (A.58)
A R( , B)
Comparando as Equaes (A.56) e (A.58) conclumos que:
4
Ver a Equao (8.10).
5
Ver a Equao (8.10).
147
G
R
Q A S K D
Q(B) Q(B)
= . (A.59)
Q( ) R( , B)
Portanto,
Caso trs retas estejam em proporo, o retngulo contido pelos extremos igual
ao quadrado sobre a mdia; e, caso o retngulo contido pelos extremos seja igual ao
quadrado sobre a mdia, as trs retas estaro em proporo.
Ou seja, se trs segmentos de reta so proporcionais, ento o retngulo formado pelos extremos
igual ao quadrado do termo mdio. Isto pode ser escrito da seguinte forma. Caso:
a b
= , (A.61)
b c
ento
ac = b2 , (A.62)
e vice-versa.
A Equao (A.60) anloga Equao (A.62). Conclumos ento que os segmentos de reta
B, e so proporcionais, ou seja:
B
= . (A.63)
Assim sendo, temos tambm, pelas propriedades das propores,7 que:
6
[24, pg. 248].
7
A Equao (7.13) permite escrever que se (a/b = b/c), ento vale tambm a seguinte proporo:
148
B Q( )
= . (A.64)
Q( )
Por construo temos que:
A = A . (A.65)
Pelas Equaes (A.57) e (A.65) vem que:
B A A
= = . (A.66)
A A
Portanto, pela Equao (A.64) obtemos:
A Q( )
= . (A.67)
A Q( )
Esta Equao, anloga Equao (9.46), a relao matemtica bsica necessria para a
demonstrao fsica deste quinto Teorema.
A.6 Teorema VI
Apresentamos agora a deduo da Equao (9.54). Os objetos representados neste Teorema
aparecem na Figura A.6.
D
N M O
R
Q A F H G
E C
P
X
B
A (A )(AE ) R(A , AE )
= = . (A.68)
AE (AE)(AE) Q(AE)
No Apndice C demonstramos que:
a a2 b2
= 2 = 2 .
c b c
149
R(A, AE) = Q(A) . (A.69)
A partir destas duas Equaes vem que:
A R(A , AE ) Q(A )
= = . (A.70)
AE Q(AE) Q(AE)
Pelo teorema de Pitgoras em AE vem:
AE = E , (A.72)
vem:
A Q(E ) + Q(E )
= . (A.73)
AE Q(E )
Esta Equao, anloga Eq. (9.54), a base matemtica necessria para a demonstrao
deste Teorema.
A.7 Teorema IX
Apresentamos aqui a demonstrao matemtica da Equao (9.98). Os objetos representados
neste Teorema aparecem na Figura A.7.
Z
N M L D
O
Q A P C F H G X
K B
150
A partir deste resultado vem que:
Q(AK )
A = . (A.75)
A
Esta Equao tambm pode ser colocada na seguinte forma:
Q(AK )Q(AK )
Q(A ) = . (A.76)
Q(A )
A Definio 9 do Livro V de Os Elementos de Euclides afirma que:9
Quando trs magnitudes estejam em proporo, a primeira dita ter para a terceira
uma razo dupla da [razo] que [a primeira tem] para a segunda.
2
= 2 . (A.78)
Aplicando este resultado na Equao (A.74) resulta em:
A Q(A )
= . (A.79)
A Q(AK)
Substituindo Q(A) pelo seu valor obtido na Equao (A.76), obtemos:
A Q(AK)Q(AK)
= . (A.80)
A Q(A )Q(AK )
Ou ento:
A Q(AK)
= . (A.81)
A Q(A )
Arquimedes usa ento a Equao (A.81) como ponto de partida para a demonstrao do
teorema. Continua tambm aplicando o teorema de Pitgoras ao tringulo AK:
A Q(K ) + Q(O)
= . (A.84)
A Q(O)
Esta relao, anloga Equao (9.98), a base matemtica necessria para a demonstrao
fsica deste Teorema.
9
[24, pg. 206].
151
Apndice B
A Parbola
V F dimetro d
-p 0 p x
2
y = 4px
diretriz r
y 2 = 4px . (B.1)
A Equao de uma parbola com foco F = (0, p) e reta diretriz r localizada em y = p,
dada por:
x2 = 4py . (B.2)
Ela est representada na Figura B.2.
1
Ver [40, Captulo 5].
152
y
dimetro d 2
x = 4py
F
p x
-p 0
diretriz r
A D G
Ele afirma que estes dois segmentos so iguais, sem demonstrar isto, informando que a de-
monstrao encontra-se nos Elementos. O livro Elementos a que Arquimedes se refere aqui no
a obra de geometria de Euclides, j que esta no trata das cnicas. Provavelmente estes Ele-
mentos se referem a uma obra anterior de Arquimedes, atualmente perdida, que tratava das
propriedades bsicas ou elementares das sees cnicas.2 Alm disso, e de maneira mais mar-
cante, ele considera em sua obra Quadratura da Parbola essa Proposio como um Lema ou
como um Teorema que j foi demonstrado em outra obra.3 Vamos considerar a Figura B.3.
A segunda Proposio da obra Quadratura da Parbola de Arquimedes afirma o seguinte:4
Se tivermos uma parbola AB, uma reta B paralela ao dimetro ou sendo ela
mesma o dimetro, uma reta A paralela tangente cnica no ponto B [vrtice
da parbola], e uma reta E tangente cnica no ponto , [ento] B e BE sero
iguais.
153
B.3 A Subtangente Uma Deduo Moderna
Utilizando uma notao algbrica moderna, achamos interessante apresentar aqui uma demons-
trao do Lema mencionado na Seo B.2. Esta demonstrao moderna atribuda ao matem-
tico francs Pierre de Fermat (1601-1665).5
A Equao da parbola, Equao (B.1), pode ser escrita como:
y2
x= . (B.3)
4p
A partir da Figura B.4 podemos escrever (x1 , y1 ) = (B, ) e (x2 , y2 ) = (B, ).
ED = a
BD = d
FD = e
B y
F Y
W
A D
G
B 2
= . (B.4)
B 2
Sendo o ponto externo parbola, temos que:
< . (B.5)
Portanto, das Equaes (B.4) e (B.5) obtemos a seguinte desigualdade:
B 2
> . (B.6)
B 2
Pela semelhana dos tringulos E e E temos:
E
= . (B.7)
E
Das Equaes (B.6) e (B.7) obtm-se ento:
B E2
> . (B.8)
B E2
5
[48, pg. 63].
154
Chamamos agora E = a, = e, B = d. Sendo d conhecido pois definido pelo ponto
de tangncia , a desigualdade (B.8) pode ser escrita como:
d a2
> . (B.9)
de (a e)2
A partir desta Equao obtemos:
a = 2d . (B.13)
Ou seja, a subtangente dividida em duas partes iguais pelo vrtice, que era o que queramos
demonstrar. Conclumos ento com Arquimedes que:
E = 2B . (B.14)
155
Apndice C
Se, em um tringulo retngulo, a partir do ngulo reto traada uma reta perpendi-
cular base, ento os tringulos em torno da perpendicular so semelhantes entre si
e ao tringulo maior.
Reproduzimos na Figura C.1 a parte que nos interessa da Figura 10.2 do segundo teorema
de O Mtodo.
S K
A G
P
X
B
156
A A
= . (C.1)
A A
Ou seja:
157
Apndice D
As Figuras de O Mtodo
2. O texto usado para a traduo utiliza letras maisculas para identificar os pontos. Portanto,
fica mais fcil e imediato identificar estes pontos utilizando tambm letras maisculas nas
figuras.
3. As letras maisculas aparecem de forma mais clara nas figuras do que as minsculas.
158
Neste contexto so de fundamental importncia no que diz respeito s figuras encontradas
os comentrios esclarecedores elaborados por Reviel Netz e William Noel em seu livro Cdex
Arquimedes.5
De acordo com Netz e Noel, com base nas imagens do palimpsesto bem como em outras figuras
dos matemticos gregos, as figuras encontradas no palimpsesto no constituem uma representao
fiel do objeto real. Existe um motivo por detrs desta atitude. O objetivo mais provvel o
de evitar que a perfeio de uma figura possa induzir a erros baseados na evidncia visual. A
concluso destes autores a de que os diagramas no so pictricos. Ou seja, em vez de um
retrato, o diagrama antigo era uma representao esquemtica.
Para exemplificar este ponto de vista, os autores apresentam uma comparao da figura do
Teorema I tal como aparece no palimpsesto, com a figura do mesmo teorema como aparece nas
apresentaes modernas. Na Figura D.1 temos a figura original do palimpsesto.6
Z
M
E
T
Q K
O
B
H
A X D G
E
K E
K N
N
C B
O B
O
A
A X D G X D
G
a) b)
Figura D.2: a) Figura do Teorema I apresentada por Mugler e Rufini. b) Figura do Teorema I
de acordo com Dijksterhuis e Heath.
Ao comparar as duas figuras fica evidente que as apresentaes modernas da Figura D.2 so
corretas. Isto , elas representam muito bem a realidade dos objetos descritos por Arquimedes
e daquilo que ele quis demonstrar. Em particular, as linhas TH e ZA so paralelas, o ponto
5
[1, pgs. 107-113] e [22, pgs. 146-151].
6
[1, pgs. 107-113] e [22, pgs. 146-151].
7
[19, pg. 86], [21, pg. 108], [11, pg. 317] e [12, pg. 16].
159
K est no meio da linha ZA, e assim por diante. Todos estes aspectos so mencionados por
Arquimedes na descrio da figura no texto. J na representao original desta imagem como
aparece no palimpsesto, Figura D.1, as propores e os paralelismos no so sempre respeitadas.
Logo a figura do palimpsesto, que corresponde com maior probabilidade ao desenho original de
Arquimedes, fornece apenas uma ideia do objeto, mas no uma representao fiel.
D
N M O
R
Q A F H G
E C
P
X
B
Estes cilindros podem ser separados e, de acordo com a descrio feita por Arquimedes no
texto original, cada um dos cilindros M e N separadamente deveria ter o seu centro de gravidade
em . Contudo, pelas figuras mostradas nas tradues para o alemo, ingls (por Heath), italiano
e espanhol, fica claro que o cilindro N no tem o seu centro de gravidade em . Isto contrrio
ao texto de Arquimedes.
J na apresentao do mesmo teorema feita por Dijksterhuis encontramos a Figura D.4.11
Fica evidente nesta figura o esforo do tradutor para apresentar corretamente o que est
descrito no texto, j que os dois cilindros M e N possuem seus centros de gravidade no ponto
. Apesar disto, esbarra-se ento na impossibilidade fsica de termos dois cilindros slidos
homogneos ocupando o mesmo espao.
8
[17], [18], [19] e [20].
9
[19, pg. 102].
10
[37, pg. 395], [12, pg. 28], [5, pg. 131] e [6, pg. 57].
11
[11, pg. 327].
160
N D
O
M
R
Q A F H G
E C
P
X
B
Nos nossos comentrios sobre este Teorema achamos conveniente usar uma outra apresentao
grfica que pudesse simultaneamente respeitar o texto de Arquimedes e mostrar uma imagem
que seja fisicamente vivel, Figura 9.31, reproduzida aqui na Figura D.5.
D
O
R
Q A F H G
E C
M P
N
X
B
Para isto aproveitamos a lei da alavanca, extensivamente usada nesse texto, e o sexto Pos-
tulado de Sobre o Equilbrio dos Planos.12 Com efeito, considerando que os cilindros esto em
equilbrio com outros slidos (o que demonstrado no texto) ento, de acordo com o princpio
acima citado, o equilbrio mantido mesmo que os corpos sejam suspensos por uma linha vertical
passando pelo seus centros de gravidade.13 Com a nossa Figura evitamos de sobrepor dois sli-
dos homogneos na mesma regio do espao, como ocorreu com a representao de Dijksterhuis.
Alm disso, mantivemos os centros de gravidade dos cilindros M e N ao longo de uma mesma
vertical passando por , evitando as representaes de Heiberg, Mugler, Heath e Rufini que no
so fieis ao texto de Arquimedes.
O mesmo vale para a representao da Figura do Teorema IX que apresentamos na Seo 9.9.
12
Ver a discusso deste Postulado na Subseo 6.1.3, pgina 26 desta tese.
13
Uma ampla discusso sobre este postulado pode ser encontrada em Arquimedes, o Centro de Gravidade e a
Lei da Alavanca, [30, pg. 223].
161
Apndice E
O Teorema XIII pode ser usado para encontrar o centro de gravidade de um semicrculo.1 Apre-
sentamos a seguir a essncia deste clculo.
Pelas dedues fsicas e matemticas deste teorema, Arquimedes provou que um prisma de
base triangular e um semicilindro construdos de acordo com as definies estabelecidas no enun-
ciado do teorema e uniformemente distribudos ao longo do travesso da alavanca, ficam em
equilbrio. Isto est ilustrado na Figura 9.55, reproduzida abaixo na Figura E.1.
Q P
Figura E.1: Prisma de base triangular e semicilindro em equilbrio na alavanca, de acordo com
o Teorema XIII.
Consideramos agora a interseo definida nos dois slidos por um plano passando pelo tra-
vesso da alavanca e paralelo s suas bases. Esta interseo gera um tringulo no prisma e um
semicrculo no semicilindro.
Atribuindo-se s duas figuras planas pesos uniformemente distribudos, elas estaro em equi-
lbrio apoiadas uniformemente sobre o travesso da alavanca, como mostrado na Figura E.2.
Nesta figura est indicado tambm o ponto , centro de gravidade do tringulo, cuja posio
conhecida pelo Lema 5 de O Mtodo.2 No caso da Figura E.2 temos que
1
= . (E.1)
3
Resta agora determinar a posio do centro de gravidade X do semicrculo, que por simetria
estar sobre o brao do travesso da alavanca.
1
[12, pgs. 38-40].
2
Citado na Seo 9.2, na pgina 49 desta tese.
162
H R
Y Q
X P
M O
Pelo sexto postulado de Sobre o Equilbrio dos Planos 3 sabemos que a alavanca continuar
em equilbrio se as figuras estiverem apoiadas unicamente pelos seus centros de gravidade, como
mostrado pela Figura E.3.
Y Q C
X P
P O
H M
Figura E.3: Tringulo e semicrculo em equilbrio apoiados nos respectivos centros de gravidade.
Por meio desta ltima alavanca em equilbrio, conhecendo a posio do centro de gravidade
do tringulo, podemos determinar o centro de gravidade X do semicrculo.
Vamos usar a notao moderna e chamar de r ao raio do semicrculo. Logo o semicrculo e o
tringulo tero a mesma base 2r. J a altura do tringulo ser igual ao raio do semicrculo, r.
A distncia do centro de gravidade do tringulo ao fulcro ser (2/3)r de acordo com
a Equao (E.1).
A rea At do tringulo dada por:
(2r)(r)
At = = r2 . (E.2)
2
E a rea As do semicrculo dada por:
r 2
As =
. (E.3)
2
Vamos chamar de x distncia entre o fulcro e o centro de gravidade X do semicrculo, a
ser determinada. De acordo com a lei da alavanca temos ento que:
3
Citado na Subseo 6.1.3, pgina 26 desta tese.
163
At x r2
= = . (E.4)
As (2/3)r (1/2)r 2
Portanto:
4r
x= . (E.5)
3
Isto completa o clculo do centro de gravidade do semicrculo.
164
Referncias Bibliogrficas
[1] R. Netz and W. Noel. Cdex Arquimedes. Record, Rio de Janeiro, 2009. Traduo de R.
Schwartz, reviso tcnica de D. V. Bevilacqua.
[3] J. L. Heiberg and H. G. Zeuthen. Eine neue Schrift des Archimedes. Bibliotheca Mathema-
tica, 7:321363, 1907. Reimpresso em Archimedes Werke, A. Czwalina (editor), (Wissens-
chaftliche Buchgesellschaft, Darmstadt, 1963), pgs. 379-423.
[4] A. Hirshfeld. Eureka Man: The Life and Legacy of Archimedes. Walker & Company, New
York, 2009.
[5] Archimede. Metodo sui teoremi meccanici: Archimede ad Eratostene. In E. Rufini, editor, Il
Metodo di Archimede e le Origini del Calcolo Infinitesimale nellAntichit, pages 101179.
Feltrinelli, Milano, 1961. Traduzido por E. Rufini.
[6] Arquimedes. El Mtodo. Editorial Universitaria de Buenos Aires, Buenos Aires, 1966.
Introduo e notas de J. Babini.
[8] Archimde. La Mthode. In C. Mugler, editor, Archimde, volume III, pages 78127. Socit
ddition Les Belles Lettres, Paris, 1971. Traduzido por C. Mugler.
[9] D. E. Smith. A newly discovered treatise of Archimedes. The Monist, 19:202230, 1909.
[10] Archimedes. Geometrical Solutions Derived from Mechanics. Open Court, Chicago, 1909.
Traduzido do grego para o alemo por J. L. Heiberg, verso em ingls a partir da traduo
em alemo por L. G. Robinson. Introduo de D. E. Smith.
[12] Archimedes. The Method of Archimedes. In T. L. Heath, editor, The Works of Archimedes,
pages 151 (Supplement). Dover, New York, 2002. Traduzido por T. L. Heath.
165
[14] E. J. Dijksterhuis. Archimedes. Princeton University Press, Princeton, 1987. Traduzido por
C. Dikshoorn.
[15] Archimedes. The Works of Archimedes. Dover, New York, 2002. Traduzido e editado em
notao moderna por T. L. Heath.
[16] T. L. Heath. A History of Greek Mathematics, volume II. Clarendon Press, Oxford, 1921.
[17] C. Mugler. Archimde, volume 1. Socit ddition Les Belles Lettres, Paris, 1970.
[18] C. Mugler. Archimde, volume 2. Socit ddition Les Belles Lettres, Paris, 1971.
[19] C. Mugler. Archimde, volume 3. Socit ddition Les Belles Lettres, Paris, 1971.
[20] C. Mugler. Archimde, volume 4. Socit ddition Les Belles Lettres, Paris, 1972.
[22] R. Netz and W. Noel. Il Codice Perduto di Archimede. Rizzoli, Milano, 2007. Traduo
italiana de C. Capararo.
[23] Euclid. The Thirteen Books of the Elements. Dover, New York, 1956. Trs volumes.
Traduzido com introduo e comentrios por T. L. Heath.
[25] Plutarco. La Vita di Marcello. Felice Valgrisio, Venezia, 1587. Traduo italiana de Ludovico
Domenichi.
[31] W. R. Knorr. Archimedes and the elements: proposal for a revised chronological ordering
of the Archimedean corpus. Archive for the History of Exact Sciences, 19:211290, 1978-79.
[32] A. K. T. Assis. Sobre o equilbrio dos planos - traduo comentada de um texto de Arqui-
medes. Revista da Sociedade Brasileira de Histria da Cincia, 18:8194, 1997.
[33] Arquimedes, Sobre o Equilbrio das Figuras Planas. Em A. K. T. Assis, Arquimedes, o Centro
de Gravidade e a Lei da Alavanca (Apeiron, Montreal, 2008), pgs. 222-240. Traduo de
A. K. T. Assis. ISBN: 9780973291179. Disponvel em: www.ifi.unicamp.br/assis.
[34] Arquimedes. Sobre o equilbrio dos planos (segunda parte). Revista da Sociedade Brasileira
de Histria da Cincia, 2:146157, 2004. Introduo e traduo de A. K. T. Assis e N. B.
F. Campos.
166
[35] A. K. T. Assis. Sobre os corpos flutuantes - traduo comentada de um texto de Arquimedes.
Revista da Sociedade Brasileira de Histria da Cincia, 16:6980, 1996.
[36] J. L. Heiberg. Archimedis Opera. Teubner, Leipzig, 1880-81. Primeira edio. 3 volumes.
[37] Archimedes. Der Archimedes Methodenlehre von den mechanischen Lehrstzen. In A. Czwa-
lina, editor, Archimedes Werke, pages 379423. Wissenschaftliche Buchgesellschaft, Darms-
tadt, 1963. Traduzido por J. L. Heiberg e comentado por H. G. Zeuthen.
[38] J. L. Heiberg. Archimedis Opera. Teubner, Leipzig, 1910-15. Segunda edio. 3 volumes.
Reimpresso em 1972. Stuttgart.
[39] Apollonius. Treatise on Conic Sections. Cambridge University Press, Cambridge, 2004.
Traduzido e editado em notao moderna por T. L. Heath. Reimpresso da edio de 1896.
[43] W. Knorr. Archimedes lost treatise on the centers of gravity of solids. Mathematical
Intelligencer, 1:102109, 1978-79.
[44] A. K. T. Assis. Archimedes, the Center of Gravity, and the First Law of Mechanics: The Law
of the Lever. Apeiron, Montreal, 2010. Segunda edio. ISBN: 9780986492648. Disponvel
em: www.ifi.unicamp.br/assis.
[46] R. Netz, K. Saito, and N. Tchernetska. A new reading of Method proposition 14: preliminary
evidence from the Archimdes palimpsest (part 1). SCIAMVS, 2:929, 2001.
[47] R. Netz, K. Saito, and N. Tchernetska. A new reading of Method proposition 14: preliminary
evidence from the Archimdes palimpsest (part 2). SCIAMVS, 3:109125, 2002.
167