CAPTULO 2 DUPLICAO DO CUBO

2.1 A HISTRIA DO PROBLEMA Dos trs famosos problemas clssicos da matemtica grega a duplicao do cubo, a trisseco do ngulo e a quadratura do crculo extremamente importantes no desenvolvimento da geometria, a duplicao do cubo foi talvez o mais famoso, na Antiguidade. A duplicao do cubo um problema de enunciado muito simples e talvez por esse motivo tenha despertado o interesse de matemticos, e no s, ao longo dos tempos27. Mas a primeira questo que se coloca ao escrever sobre este problema : como ter surgido o problema da duplicao do cubo ? Florian Cajori afirma: Os Pitagricos mostraram que a diagonal de um quadrado o lado de um outro quadrado
com o dobro da rea do primeiro. Isto provavelmente sugere o problema da duplicao do cubo, isto , encontrar a aresta de um cubo com o dobro do volume dum cubo dado. ([C], p. 21).

2
1 1

Os gemetras da poca tinham conhecimento que para duplicar28 um quadrado bastava considerar para lado do quadrado procurado a diagonal do quadrado original. Isto , se um quadrado tem lado 1 e procuramos um quadrado com o dobro da rea deste, basta construir um quadrado de lado 1 2 . Assim, para duplicar um quadrado de aresta a basta construir um quadrado de aresta a 2 . ento natural surgir a questo de transpor este problema para figuras slidas, sendo de esperar que se comece por um cubo. ([Du3], p. 86).

27

Mesmo at nos nossos dias, pois basta consultar o reconhecido site da Internet The Math Forum ([Www7]) para encontrar, reportada a Agosto de 1998, troca de correspondncia sobre o problema da duplicao do cubo. 28 O termo duplicar aqui utilizado no sentido de rea. 46

Eratstenes de Cirene, bibliotecrio na famosa biblioteca de Alexandria no sc. III a.C. e (...) reconhecido pelos seus contemporneos como um homem de grande distino em todos os ramos do conhecimento (...) ([H4], II, p. 104), atribui a este problema uma outra origem. Como escreve Wilbur Knorr:
Ns possumos relatos sobre os primeiros estdios do estudo da duplicao do cubo em duas fontes derivadas de Eratstenes de Cirene (...). Uma delas um fragmento de uma parte do seu dilogo Platonicus, que foi preservado por Teo de Esmirna e Plutarco, em escritos datados do sculo II a.C.. A outra assume a forma de uma carta dirigida por Eratstenes ao seu real patrono Ptolomeu III Evergeta (...). ([Kn1], p. 17).

Devemos a Eutcio de scalon, comentador do incio do sculo VI d.C, os principais conhecimentos histricos que hoje possumos sobre o problema da duplicao do cubo. Mais adiante ficar claro o contexto comentrio proposio29 1 do livro II do tratado Da Esfera e do Cilindro, de Arquimedes em que este comentador faz aluso ao problema da duplicao do cubo. A descrio de Eutcio consta de cinco longas pginas na edio standard de J. L. Heiberg. ([Kn1], p. 17). Wilbur Knorr, na pgina 17 da obra citada, apresenta um breve sumrio do texto de Eutcio. E, como diz Fernando Vasconcelos ([V], p. 553):
nos comentrios Sbre a Esfera e o Cilindro que, depois de ter mencionado a carta de Eratstenes a Ptolomeu, Eutcio indica os processos de Arquitas, Menecmo, Eratstenes e Nicomedes, bem como os mtodos usados por Plato, Apolnio, Diocles, Hero, Filo e Esporo, para a insero de duas meias proporcionais entre duas rectas, (...).

Fernando de Vasconcelos no contabiliza a soluo de Papo e ficamos na dvida sobre o motivo desta omisso. Ser pelo facto, que mais adiante analisaremos, das solues de Esporo e Papo serem praticamente a mesma que a de Diocles? Eutcio reproduz a carta de Eratstenes ao rei Ptolomeu III Evergeta do Egipto, a qual contm duas lendas sobre o aparecimento do problema da duplicao do cubo. Conta30 assim:

29 30

Onde Arquimedes assume ter encontrado duas linhas que so meios proporcionais entre duas linhas dadas. aqui transcrita a traduo de Fernando Vasconcelos, na sua obra Histria das Matemticas na Antiguidade, ([V], p. 365). 47

Eratstenes a Ptolomeu, sade ! Conta-se que um dos antigos poetas trgicos fz aparecer Mino em scena, no acto de mandar construir um tmulo a Glauco; e que Mino, verificando que ste tinha de cada lado cem ps de comprimento, disse: pequeno espao na verdade concedeste ao sepulcro de um rei; duplica-o, conservando-lhe sempre a forma cbica, ficaro imediatamente duplicados todos os lados do sepulcro. Ora, claro que le se enganava. De facto duplicando-se os lados duma figura plana, esta fica quadruplicada, e uma figura slida ficar octuplicada. Ento foi agitada entre gemetras a questo de saber como se podia duplicar uma dada figura slida qualquer, conservando-lhe a forma. E ste problema foi chamado duplicao do cubo. Todos ficaram duvidosos, durante muito tempo, at que Hipcrates de Chios achou que, se entre duas linhas rectas, das quais a maior seja dupla da menor, se inscreverem duas mdias em proporo contnua, o cubo ficar duplicado; transmudando-se, assim, uma dificuldade noutra no menor. Narra-se tambm que, mais tarde, os Dlios31, levados pelo orculo a dobrar um certo altar, caram no mesmo embarao. E alguns embaixadores vieram procurar os gemetras que conviviam com Plato na Academia, para os excitar a descobrir o que lhes era exigido. stes ocuparam-se do assunto com diligncia, e diz-se que, tendo procurado inserir duas meias entre duas rectas, Arquitas Tarentino o resolveu com o semi-cilindro, e Eudxio mediante certas linhas curvas. A stes gemetras seguiram-se outros, que conseguiram tornar mais perfeitas as demonstraes, mas no a construo e a sua exequibilidade prtica, exceptuando talvez Menecmo, e com grande trabalho.

A autenticidade desta carta posta em causa por alguns historiadores. O intelectual alemo U. von Wilamowitz-Moellendorff (1848-1931) defendeu32 que a carta no pode ser genuna. Apesar de poder no ter sido escrita por Eratstenes, o desconhecido autor deu um grande contributo para a histria da matemtica ao ter includo um importante e verdadeiro documento histrico um epigrama de Eratstenes, constante de uma placa fixa no templo de Ptolomeu, em Alexandria. ([Wa1], p. 160-161). Van der Waerden (1903-1996), na linha de pensamento de Thomas Heath (18611940), aponta que existem divergncias entre os dois relatos quanto histria do aparecimento do problema da duplicao do cubo. Se de acordo com a primeira lenda o

31

devido a esta referncia que o problema da duplicao do cubo frequentemente mencionado como Problema Deliano. 32 Tanto Thomas Heath ([H4], I, pp. 244-245) como van der Waerden ([Wa1], p. 160) referem que Wilamowitz instituiu a no autenticidade da carta. 48

problema surgiu no tempo de Hipcrates, ento no poder ter surgido (como d a entender a segunda lenda) no tempo de Plato. ([Wa1], p. 161; [H4], I, pp. 245-246):
Notamos uma certa contradio entre as duas partes da narrativa; aparentemente duas verses da histria so transmitidas, uma depois da outra. De acordo com a primeira verso, a duplicao do cubo um velho problema, relacionado com uma lenda sobre Minos. Hipcrates de Quios, e outros antes dele, ocuparam-se deste problema. Na segunda verso, o problema surge de uma declarao feita aos habitantes de Delos por um orculo no tempo de Plato, meio sculo depois de Hipcrates.

([Wa1], p. 161). Mas a segunda lenda, na prpria verso de Eratstenes, citada por Teo de Esmirna:
Na sua obra intitulada Platonicus, Eratstenes relata que quando o deus anunciou aos habitantes de Delos, atravs dum orculo, que se queriam ver-se livres de uma praga deveriam construir um altar duplo daquele que existia, os artfices ficaram muito embaraados por no serem capazes de descobrir como um slido podia ser duplicado mantendo a sua forma. Foram perguntar a Plato como o haviam de fazer, tendo este respondido que o significado das palavras do orculo no era que o deus queria duplicar o altar, mas que o seu desejo, ao dar-lhes esta tarefa, era envergonhar os gregos pela sua indiferena pela matemtica e pela sua ignorncia no que diz respeito geometria.

(citado em: [Wa1], p. 161). Van der Waerden foi mais longe que Thomas Heath ao procurar a fonte, ou fontes, da carta de Eratstenes ao rei Ptolomeu, e concluiu:
provvel que o Platonicus seja um dilogo onde os habitantes de Delos, Plato, Arquitas, Eudoxo e Menecmo aparecem. Nesta histria dramtica, Eratstenes condensou todo o desenvolvimento do problema num curto espao de tempo. Sendo assim, ele no podia fazer referncia a Hipcrates de Quios. De facto o problema muito mais antigo, visto ter origem na traduo da equao cbica babilnica x 3 = V na lgebra geomtrica tridimensional. Assim, a contradio entre a primeira e segunda lenda na carta esclarece-se por si prpria: a primeira fbula provm, possivelmente, de fontes histricas, a segunda do Platonicus. ([Wa1], p. 161).

A tradio deste problema no muito clara mas, verdadeiras ou falsas as lendas e suposies sobre o seu aparecimento, um facto certo: este problema foi estudado na Academia de Plato pois foram atribudas solues, que no se enquadram na geometria do primeiro livro de Euclides, a vrios gemetras da poca, como, por exemplo, Arquitas e Menecmo. Seidenberg, num artigo intitulado The Ritual Origin of Geometry datado de 1962 e publicado na revista Archive for History of Exact Science, coloca a seguinte questo:
Se o orculo colocou o problema, uma questo que se levanta : Como ocorreu ao orculo que duplicar um altar um meio de combater uma praga? E se o orculo no colocou o problema, a

49

questo continua a ser a mesma: Como que a pessoa que inventou a histria teve a ideia de que duplicando o altar iria combater a praga? ([Se1], p. 494).

Seidenberg conclui, um pouco laia de interrogao:

No ser provvel que ele [o orculo ou o autor da histria] tenha ido buscar [a ideia] a um ritual j existente, talvez guardado na forma de uma lenda?
33

([Se1], p. 495).

habitual todos aqueles que trabalham em matemtica ilustrarem as suas ideias recorrendo a motivaes do dia a dia: a rituais, a problemas da fsica, da geografia, da economia, etc.. No poder, assim, a lenda do orculo de Delos ter sido usada como motivao externa para o problema matemtico em questo? Como j referimos, os conhecimentos sobre o problema da duplicao do cubo advm, principalmente, do legado de Eutcio. Este comentador transmite-nos, respectivamente, as solues de Plato, Hero, Filo, Apolnio, Diocles, Papo, Esporo, Menecmo, Arquitas, Eratstenes e Nicomedes. O prprio Eutcio no faz grande referncia sobre as suas fontes. Ele comea por afirmar, no seu comentrio sobre a sntese da proposio I, do livro II de Arquimedes Da Esfera e do Cilindro, que (...) ns encontrmos este problema nos escritos que a isso se referem por vrios homens famosos. ([E]; em [Ver2], II, p. 588). Antes de nos debruarmos sobre estas solues (que vamos analisar pela ordem cronolgica apontada por Thomas Heath na obra A History of Greek Mathematics ([H4], I, pp. 244-268)), comecemos por concentrar-nos no primeiro progresso efectivo e, claro, no primeiro nome que aparece associado ao problema da duplicao do cubo Hipcrates de Quios.

No artigo citado, o autor, com base em antigas obras indianas sobre construes de altares, aponta interessantes relaes entre altares e pragas. O ttulo do artigo deveras sugestivo A Origem Ritual da Geometria. At que ponto a tradio dos gemetras gregos para o uso exclusivo da rgua no graduada e compasso nas construes geomtricas, no ter tido origem religiosa? 50

33

2.2 A REDUO DE HIPCRATES Como j anteriormente nos apercebemos, a suposta carta de Eratstenes ao rei Ptolomeu coloca na boca de Hipcrates de Quios, matemtico da segunda metade do sculo V a.C., que se entre duas linhas rectas, das quais a maior seja dupla da menor, se inscreverem duas mdias em proporo contnua, o cubo ficar duplicado. (citado em: [V], p. 365). Parece, assim, que foi Hipcrates quem deu os primeiros passos no sentido da tentativa de resoluo do problema da duplicao do cubo, ou mais genericamente a ampliao do cubo numa dada razo. Este gemetra reduziu o problema a um outro um problema de geometria plana de dificuldade no propriamente menor, visto que continuou a no ser possvel encontrar uma soluo usando apenas rgua no graduada e compasso, mas que possibilitou o desenvolvimento de novas tcnicas geomtricas. O que Hipcrates afirma que se, dado um cubo de aresta34 a, encontrarmos dois segmentos x e y tais que a x y = = , isto , encontrarmos dois meios proporcionais entre os x y b

segmentos a e b, ento o cubo de aresta x tem o volume ampliado na razo b/a. A duplicao do cubo um caso particular, quando b = 2a, e procuramos assim x e y tais que a x y = = . De facto, facilmente se deduz das proporcionalidades anteriores que x y 2a

x 3 = 2 a 3 , o que prova que o cubo de aresta x tem volume duplo do cubo de aresta a. Ou seja, a razo dos volumes dos cubos em causa (de arestas a e x respectivamente) a razo de 1 para a3 a a a a x y 1 2, pois 3 = = = . Sendo assim, evidente a equivalncia entre os dois x x x x y 2a 2 x problemas a duplicao do cubo e a construo de dois meios proporcionais entre a aresta do cubo inicial e o seu dobro. muito provvel que a descoberta de Hipcrates tenha sido feita em analogia com o problema da duplicao do quadrado. Franois Lasserre (1919-1989) fez uma interessante conexo entre o caso plano e o caso slido:
Dados dois quadrados diferentes a2 e b2, a rea que ser o meio proporcional entres eles a do rectngulo ab, designado de rectngulo medial, obtido pela multiplicao do lado do primeiro quadrado pelo lado do segundo, ou vice-versa: a2/ab = ab/b2. Mas se considerarmos dois cubos diferentes, a3 e b3 , multiplicando a base do primeiro pelo lado do segundo, e vice-versa, isto , a base
34

A letra tanto indica o segmento de recta como a sua medida de comprimento, de modo a estarmos de acordo com o pensamento dos gemetras da poca que tratavam os segmentos de recta sem fazer referncia especfica sua medida de comprimento. 51

do segundo pelo lado do primeiro (por analogia com o precedente clculo), resulta no em um, mas em dois meios volumes, tendo a forma de paraleleppedos rectangulares; a2b e ab2. Estes paraleleppedos so os meios proporcionais entre a3 e b3: a3/a2b=a2b/ab2=ab2/b3. Se substituirmos os quatro volumes representados por estas expresses pelas sucessivas grandezas a, x, y, e b, parece assim, que o problema da duplicao do cubo se reduz, em termos geomtricos, construo de duas grandezas x e y como meios proporcionais entre duas dadas grandezas a e b, de modo que b=2a.

([L], pp. 115-116)35. George Allman ([All], p. 84) defende que Hipcrates deve ter considerado o problema resolvido supondo que foi encontrado um cubo com o dobro do volume do cubo dado, depois ter procurado o terceiro proporcional entre as arestas destes dois cubos, seguidamente encontrado o quarto proporcional entre estas trs linhas; o quarto proporcional tinha o dobro da aresta do cubo dado. Assim estava o problema resolvido: bastava procurar os dois meios proporcionais entre a aresta do cubo inicial e o seu dobro. Consideremos ento um cubo de aresta a. Suponhamos que a aresta do cubo de volume duplo x. Assim a3 1 = . x3 2 O terceiro proporcional de a, x ser y tal que a x = . x y O quarto proporcional de a, x, y ser b tal que a x y = = . x y b

a x y a3 1 a x y a Mas ento, por um lado, = e, por outro lado, = 3 = . x y b b x y b x 2 Logo, a 1 = . b 2 Os Pitagricos tinham resolvido o problema de encontrar o meio proporcional entre duas linhas dadas, por isso muito provvel que Hipcrates tenha colocado este novo problema de uma maneira anloga36.([All], p. 84). No entanto, Thomas Heath aponta uma outra direco:
Franois (Gustave) Lasserre (14.09.191922.12.1989), foi professor de grego na universidade de Lausanne desde 1959 at 1985 e director do Departamento de Estudos Clssicos da mesma universidade de 1973 a 1983. Tambm foi docente privado de Literatura Grega na Universidade de Genebra de 1948 a 1958 e novamente de 1962 a 1974. Duas vezes Honoris Causa, Athena em 1982 e Urbino em 1988; (dados obtidos por e-mail, Weboffice@unil.ch, junto do WebOffice da Universidade de Lausanne). 36 George Allman considera, ainda, que o problema da duplicao do cubo tem um significado mais profundo, remontando ao tempo dos Pitagricos ([All], pp. 84-88). No iremos aprofundar este assunto por considerar estar fora do mbito desta dissertao. 52
35

Alternativamente ele [Hipcrates] pode ter ido buscar a ideia teoria dos nmeros. ([H4], I,

p. 201). De facto existe uma proposio nos Elementos de Euclides, Elementos VIII, 12, que37 refere que entre dois nmeros cbicos existem dois meios proporcionais e (...) bastante provvel que Hipcrates tenha apenas dado uma interpretao geomtrica deste facto. ([H4], I, p. 201). No se sabe qual foi o raciocnio de Hipcrates para ter reduzido o problema da duplicao do cubo ao problema de encontrar dois meios proporcionais. No entanto, natural aceitar a analogia com o problema da duplicao do quadrado.
(...) Hipcrates pode ter usado um argumento por analogia para obter o seu propsito. Ele queria tratar um problema em aberto, na geometria tridimensional, do mesmo modo que um problema em geometria plana tinha sido resolvido muito tempo antes. Ele pode ter comeado com a ideia que quadrado e cubo so, de certo modo, figuras anlogas. ([Sz], pp. 97-98). Embora no haja nenhum testemunho directo desse facto, os historiadores acreditam que Hipcrates comeou por reflectir na questo da duplicao do quadrado e que, de seguida, a procurou generalizar. ([ESQSC], p. 310).

De facto, se o problema da duplicao do quadrado pode ser reduzido ao problema de encontrar um meio proporcional entre a aresta e o seu dobro, no seria de esperar que o problema da duplicao do cubo pudesse ser reduzido ao problema de encontrar dois meios proporcionais entre a aresta e o seu dobro? Assim, tendo em conta esta analogia, vamos comear por dar alguma ateno ao problema da duplicao do quadrado. Seja dado um quadrado de lado a; juntando dois desses quadrados obtemos um rectngulo de rea dupla da do quadrado inicial. A questo que agora se coloca quadrar este rectngulo, isto , construir um quadrado com a mesma rea do rectngulo em causa.
a a 2a

Esta quadratura resolve-se38 construindo o meio proporcional, x, entre os segmentos a e 2a. E construir um meio proporcional com rgua no graduada e compasso no era difcil para os gemetras da poca.
Segundo Thomas Heath ([H4], I, p. 201) esta proposio Pitagrica. Refira-se, ainda, que a proposio Elementos VIII, 11 diz respeito a nmeros quadrados e ao meio proporcional. 38 Um outro processo mencionado no dilogo Menon, de Plato, escrito no sc. IV a.C., refere que o lado procurado a diagonal do quadrado inicial. 53
37

Repare-se que da proporo

a x = deduzimos que x 2 = 2 a 2 , o que prova que o x 2a

quadrado de lado x tem rea dupla da do quadrado de lado a. Relativamente ao problema da duplicao do cubo, possvel que Hipcrates tenha efectuado um percurso anlogo ao seguinte raciocnio39: 1- Consideremos um cubo de lado a; juntando dois desses cubos obtemos um paraleleppedo de arestas 2a, a, e a, cujo volume duplo do volume do cubo inicial.

a a a

a a 2a

2- Suponhamos, agora, que pretendemos transformar o paraleleppedo noutro com o mesmo volume, a mesma altura a, mas com uma das arestas da base x . Tendo em ateno que o volume ter de se manter o mesmo, a outra aresta da base ter de se alterar, designemo-la por y.

a y x

Como o volume e a altura dos slidos das ltimas duas figuras se mantiveram, vem que xy = 2a 2 , donde a y = . x 2a (1)

39

Os passos seguintes so adaptados da obra The Historical Roots of Elementary Mathematics, ([BJB], pp. 97100). 54

3- Finalmente vamos transformar o paraleleppedo da figura anterior num cubo, mantendo o volume, mas de aresta x.

x x x

Assim, a face de arestas a e y transformou-se numa face quadrada de aresta x mas com a mesma rea, donde, ay = x 2 e assim vem que a x = . x y 4- De (1) e (2) deduzimos ento, como pretendamos, que a x y = = . x y 2a (2)

No temos registos de que Hipcrates tenha sido capaz de construir os dois meios proporcionais a que se refere na sua reduo do problema da duplicao do cubo ao problema dos dois meios proporcionais; alis, ser que ele procurou tal construo?
Mais tarde os gemetras reconheciam claramente que uma reduo no ela prpria equivalente a uma soluo do problema proposto. Mas ser que Hipcrates j fazia esta distino no seu tratamento do problema da duplicao do cubo? Uma passagem de Aristteles sugere que sim.

([Kn1], p. 24). Efectivamente a passagem a que Knorr se refere encontra-se na obra de Aristteles De Anima II quando este define quadratura. (cf. em [H3], p. 191). Depois de Hipcrates ter descoberto que o problema da duplicao do cubo se podia reduzir ao problema de encontrar dois meios proporcionais entre a aresta do cubo dado e o dobro desta, parece que todo o esforo subsequente foi no sentido de encontrar uma construo para os dois meios proporcionais em causa. Estas buscas foram muito frutferas no desenvolvimento da matemtica, sendo um exemplo de tal facto a (...) descoberta (ou, pelo menos, estudo atento) das seces cnicas. ([ESQSC], p. 311). amplamente aceite que Hipcrates reduziu o problema da duplicao do cubo ao problema de encontrar dois meios proporcionais entre duas linhas dadas. Alis, George
55

Allman ([All], p. 59) refere uma passagem de Proclo, onde Hipcrates mencionado com tendo sido o primeiro inventor da reduo geomtrica40. No entanto, entre as muitas dvidas que persistem, tem grande relevncia aquela que diz respeito ao modo como ele ter justificado a sua reduo. A questo continua a suscitar interesse entre os historiadores. Em 1995, Ken Saito publicou na revista Historia Mathematica, o artigo41 Doubling the Cube: A New Interpretation of its Significance for Early Greek Geometry.42 provvel que Hipcrates tenha efectivamente provado a sua reduo; caso contrrio, seria de estranhar o facto de Arquitas43, como parece, ter partido logo para a procura dos dois meios proporcionais como tentativa de soluo para o problema da duplicao do cubo, tomando como certa a equivalncia entre os dois problemas.

Segundo George Allman (cf. [All], p. 41) os Pitagricos j conheciam uma verso ingnua do mtodo da reduo, embora o aparecimento de uma verso sistematizada de tal mtodo seja, usualmente, associada ao nome de Hipcrates de Quios. Alis, embora no existam certezas entre uma ligao Pitagricos-Hipcrates, no seria muito especulativo que essa ligao existisse (cf. [All], p. 99). 41 Na primeira pgina do artigo, em modo de resumo, podemos ler: amplamente conhecido que Hipcrates de Quios reduziu o problema da duplicao do cubo ao problema de encontrar dois meios proporcionais entre duas linhas dadas. No entanto, nada conhecido sobre o modo como ele justificou a sua reduo. Para responder a esta questo, proposies e padres de argumentos nos Livros VI, XI e XII dos Elementos so examinados. Uma reconstruo de acordo com a que Arquimedes utilizou na prova da Proposio II-1 da sua obra Da Esfera e do Cilindro proposta, sendo discutido se tal plausvel. ([Sa], p. 119). 42 A anlise detalhada deste artigo de Saito excede o mbito desta dissertao. 43 Cronologicamente parece que foi Arquitas o primeiro matemtico a procurar uma soluo para o problema dos dois meios proporcionais. 56

40

2.3 A SOLUO DE ARQUITAS Arquitas de Tarento, gemetra do sc. IV a.C., o autor da mais antiga soluo44 para o problema da duplicao do cubo, da qual temos conhecimento atravs de uma passagem de Eudmio de Rodes reproduzida nos escritos de Eutcio. ([Ver2], II, p. 607). Pensamos que a notoriedade desta soluo, de extrema beleza e absolutamente rigorosa, no lhe advm s pelo facto de ser a primeira mas, principalmente, por ser uma construo engenhosa a trs dimenses (e no no plano). Esta construo envolve a procura de um certo ponto, obtido pela interseco de trs superfcies de revoluo um cone recto, um cilindro e um toro. A interseco do cilindro com o toro uma curva e o ponto pretendido obtm-se pela interseco desta curva com o cone.
(...) curva de dupla curvatura, qual Arquitas no deu denominao especial provavelmente o primeiro exemplo duma curva dste gnero concebida por um gemetra , cuja construo mostra que a Escola Pitagrica empregava, j nesta poca, o conceito de logar geomtrico e fazia uso da geometria do espao (...). ([V], p. 182).

A soluo proposta por Arquitas, alm de ser uma soluo de extrema beleza geomtrica, revela uma excelente inovao por parte deste matemtico, nomeadamente por utilizar movimentos mecnicos na soluo de um problema geomtrico45.
A soluo de Arquitas a mais notvel de todas, especialmente quando considerada a sua data (primeira metade do sculo quarto a.C.), porque no uma construo plana mas uma construo corajosa a trs dimenses, determinando um certo ponto como a interseco de trs superfcies de revoluo (...). ([H4], I, pp. 246-247).

Imagem obtida com o Software Graphing Calculator

44

Obviamente, quando escrevemos soluo, estamos a considerar uma soluo para o problema que no est em conformidade com os requisitos das construes com rgua no graduada e compasso. 45 Segundo George Allman (cf. [All], p. 110) podemos inferir que Arquitas foi o primeiro a utilizar movimentos mecnicos na soluo de um problema geomtrico. 57

Relativamente a esta soluo, comecemos por atender ao texto histrico transmitido por Eutcio no seu comentrio obra de Arquimedes Da Esfera e do Cilindro, transcrita aqui em conformidade com o que transcreve Paul Ver Eecke no seu livro Les Oeuvres Compltes dArchimde ([Ver2], II, pp. 607-609):
A soluo de Arquitas, segundo Eudmio Sejam A, duas linhas rectas dadas; pretendemos encontrar os dois meios proporcionais entre A e . Seja o crculo ABZ descrito sobre a maior linha recta A, e seja AB inserido igual a e prolongado de modo a encontrar em a tangente ao crculo em . Seja a recta BEZ desenhada paralela recta O; imagine-se um semicilindro recto sobre o semicrculo AB, e em A, um semicrculo recto situado no paralelogramo do semicilindro. Se, mantendo-se fixa a extremidade A do dimetro, este semicrculo rodar a partir de para B, ir cortar a superfcie cilndrica no seu movimento descrevendo nela uma certa curva.

De novo, se A se mantiver estacionrio e o tringulo A rodar com um movimento contrrio em relao ao semicrculo, ento a linha recta A descrever uma superfcie cnica que na sua rotao ir intersectar a curva no cilindro num certo ponto; ao mesmo tempo o ponto B ir descrever um semicrculo na superfcie do cone. Correspondendo ao ponto onde as curvas se encontram, seja o semicrculo em movimento a ocupar a posio KA, e o tringulo movido na direco oposta para a posio A, seja o ponto do sobredito encontro K. Seja BMZ o semicrculo descrito por B e seja BZ a seco comum deste com o crculo BZA e tire-se a partir de K uma perpendicular ao plano do semicrculo BA. Esta perpendicular cair na circunferncia do crculo, visto que o cilindro recto. Que assim caia e designemo-la por KI. Seja a recta que junta o ponto I ao ponto A a intersectar BZ no ponto ; seja A a encontrar o semicrculo BMZ em M e sejam K, MI, M ligadas. No entanto, tendo em ateno que cada um dos semicrculos KA, BMZ est em ngulo
58

recto com o plano que est por baixo, a sua seco comum M est tambm em ngulo recto com o plano do crculo, assim M est tambm em ngulo recto com BZ. Em consequncia o rectngulo limitado por B, Z, que o mesmo que o rectngulo limitado por A, I, igual ao quadrado em M; donde, o tringulo AMI semelhante a cada um dos tringulos MI e MA, sendo o ngulo formado pelas rectas IM, MA recto. O ngulo formado pelas rectas K, KA tambm recto, donde as rectas K e MI so paralelas e devido semelhana dos tringulos a seguinte proposio vlida: A : AK = KA : AI = IA : AM. Ento, as quatro linhas rectas A, AK, AI, AM esto em proporo contnua. E a recta AM igual a , visto que igual a AB, donde, para os dois segmentos de recta dados AK, AI, dois meios proporcionais A e foram encontrados.

De facto, o que Arquitas afirma que se A e (A > ) forem os dois segmentos entre os quais pretendemos construir os dois meios proporcionais, devemos proceder do seguinte modo: num plano horizontal traa-se um crculo de dimetro A e constri-se a corda AB=; prolonga-se AB de modo a intersectar a recta tangente circunferncia no ponto num ponto que vamos designar por ; constri-se verticalmente a metade superior de um semicilindro circular recto, cuja base seja o semicrculo BA; rodando o segmento de recta A em torno do segmento de recta A vamos gerar um cone circular recto; rodando, em torno da recta perpendicular ao plano AB que passa por A, o semicrculo vertical recto de dimetro A vamos gerar um toro de raio interno nulo. Denotamos por K o ponto de interseco destas trs superfcies (o cilindro, o cone e toro) e, sendo I o p no plano AB da perpendicular a este plano e que passa por K, ento AI a aresta do cubo procurado (considerando o caso que nos interessa, isto , A = 2 ).
No admirvel? Arquitas deve ter tido uma verdadeira inspirao divina quando encontrou a sua construo. A figura que Arquitas imagina em sua mente e a qual pretende construir , evidentemente, o tringulo rectngulo AK com as duas perpendiculares KI e IM (...). ([Wa1], p.

151).

59

Arquitas, discpulo da escola pitagrica, deve ter observado que a partir de um tringulo rectngulo era possvel calcular os meios proporcionais em causa traando a altura do tringulo e construindo o segmento perpendicular que se prolonga desde o p da dita altura para um dos catetos. Tendo em linha de conta que os tringulos AK, AKI e AMI so semelhantes, vlida a proporo A AK AI = = . AK AI AM Assim , se A = 2 AM , temos que AI a aresta procurada. Ento, a questo era situar correctamente o ponto K de tal modo que AK fosse um tringulo rectngulo, onde ao construir os segmentos IK e IM se obtivesse A = 2 AM . E, como vimos, a soluo proposta por Arquitas para encontrar o ponto K foi intersectar trs superfcies, um cilindro, um cone e um toro46.

Imagem retirada de [RFG]

Ao contrrio de outras solues transmitidas por Eutcio, as quais posteriormente iremos analisar, esta uma soluo extremamente abstracta e geomtrica, pois os movimentos envolvidos na sua construo so muito complexos para permitir a utilizao de um engenho mecnico.
A soluo referida do problema de Delos, que Eutcio nos conservou em conformidade com o que expe Eudmio, mostra-nos que Arquitas que designado como o ultimus Pithagoreorum tinha vistas exactas sbre a gerao dos cones e dos cilindros, (...). ([V], p. 183).

Presentemente, luz da geometria analtica e com a utilizao de software adequado, possvel reproduzirmos imagens que ilustrem a soluo de Arquitas mas, na sua poca, em que processo ou processos se ter ele apoiado? Esta uma questo que, possivelmente, continuar sem resposta e,

Uma justificao mais detalhada do possvel raciocnio de Arquitas pode ser encontrada em ([Wa1], p.152), que aqui no apresentamos por ultrapassar o mbito desta dissertao. 60

46

(...) torna ainda mais extraordinria a soluo de Arquitas, se imaginarmos a poca em que foi feita e as condies de trabalho instrumentos e materiais para a escrita e desenho, por exemplo que ento existiam. ([Ve], p. 47).

Debrucemo-nos, agora, sobre a soluo de Arquitas, mas luz da actual geometria analtica. Se A for considerado para eixo dos x, a perpendicular a A em A no plano do crculo AB, como eixo dos y e a perpendicular a estas rectas como eixo dos z, temos assim um sistema de eixos cartesianos adequado figura imaginada por Arquitas. Seja agora A = b e = a (sem esquecer que o caso que nos vai interessar A = 2 , isto , b = 2 a , considerando que o cubo a duplicar tem aresta a). O ponto K obtido pela interseco das trs seguintes superfcies: (1) o cilindro x 2 + y 2 = bx ; (2) o toro47 x 2 + y 2 + z 2 = b x 2 + y 2 ; b2 2 (3) o cone x + y + z = 2 x . a
2 2 2

De facto, tendo em ateno que (2) equivalente a temos

(x

+ y2 + z2

) =b
2

x2 + y2 ,

b x2 + y2 + z 2

x2 + y2 + z 2 x2 + y2

Tendo em ateno que (3) equivalente a x 2 + y 2 + z 2 = vem que x2 + y2 + z2 = ( x 2 + y 2 )2 , donde, a2 x2 + y2 x +y +z = ; logo a

2 2 2

( bx ) 2 e considerando (1) a2

x2 + y2 + z2 x2 + y2

x2 + y2 a

E, assim:

b x2 + y2 + z2
47

x2 + y2 + z2 x2 + y2

x2 + y2 a

(4)

A superfcie gerada pelo movimento do semicrculo recto A em torno de A (um toro de dimetro interno nulo). 61

Estamos a considerar um sistema de eixos coordenados em que a origem o ponto A. Vamos considerar o ponto que procuramos, K, com coordenadas ( x , y , z ) , e assim AK = x 2 + y 2 + z 2 . Tendo em ateno que o ponto I a projeco de K sobre o plano XOY, vem que I tem coordenadas ( x , y ) , donde AI = x 2 + y 2 . Assim, de (4) obtemos b AK AI = = . AK AI a E, tendo em ateno que A = b e = a ( = AB ) vem que A AK AI = = . Isto , AK AI

para os dois segmentos de recta dados A e , os dois meios proporcionais AK e AI foram encontrados. Repare-se que da relao anterior obtm-se AI AI AI A AK AI A A AI AI = = ; isto , . = = AK AI Fica assim provado que o cubo de aresta AI est para o cubo de aresta como A est para . O caso particular da duplicao do cubo, isto , da construo de dois meios proporcionais entre a aresta do cubo dado e o seu dobro, corresponde a ser A = 2 , donde 2 AI vem , ou seja, AI 3 = 2 3 ; assim o cubo de aresta AI tem volume duplo do cubo = de aresta , como pretendamos. Por muito rigorosa que seja a contribuio de Arquitas, tal no invalidou que a procura de uma soluo continuasse em aberto, visto que a soluo que Arquitas apresentou para o problema da duplicao do cubo uma soluo no campo da geometria tridimensional e no no campo da geometria plana, como era pretendido.
3 3 3

62

2.4 A SOLUO DE EUDOXO Atravs do legado de Eutcio temos conhecimento do epigrama de Eratstenes, onde as palavras, (...) por alguma espcie de linhas curvas como descrito pelo divino Eudoxo (citado em [E]; em [Th5], p. 297), permitem-nos deduzir que Eudoxo de Cnido, eminente cientista e estudioso do sculo IV a.C., apresentou uma soluo para o problema da duplicao do cubo. Eutcio d a entender que teve acesso a documentos que podiam ser uma transcrio da soluo de Eudoxo para o referido problema. No entanto, Eutcio omite a prova, talvez pelo facto de nela ter encontrado erros. Levanta-se aqui uma questo: sendo Eudoxo um excelente matemtico, apresentaria uma prova com erros? No ser mais provvel que o(s) erro(s) provenha(m) de algum que transcreveu, sem entender correctamente, o original de Eudoxo? Sendo assim, talvez Eutcio no tenha tido acesso ao original de Eudoxo, mas a um extracto ou compilao do original. ([H4], I, p. 249). Alm da referncia feita por Eutcio, no se conhece nenhuma outra que nos permita reconstruir com segurana a soluo de Eudoxo. Segundo Wilbur Knorr, algumas propostas tm sido apresentadas para reconstruir a soluo perdida de Eudoxo:
Uma faz uso da curva (...) relacionada com a anlise que conduz soluo de Arquitas (...). Uma segunda sugesto, defendida por Tannery, tambm advm da figura de Arquitas. ([Kn1], p.

53). Paul Tannery (1843-1904), no seu artigo Sur les Solutions du Problme de Dlos par Archytas et par Eudoxe Divination dune Solution Perdue, defende que a verdadeira soluo de Eudoxo ter sido adaptada da soluo de Arquitas, no sendo mais do que uma verso a duas dimenses desta ltima, isto , a projeco da soluo de Arquitas num plano ([T2], pp. 53-61). No entanto, Thomas Heath contrape afirmando:
de admitir que a sugesto de Tannery para o mtodo de Eudoxo atraente; mas obviamente que apenas uma conjectura. Na minha opinio, a objeco encontrada ser uma soluo muito prxima de uma adaptao das ideias de Arquitas. Eudoxo foi, verdade, um aluno de Arquitas e, existe uma grande semelhana de estilo entre a construo de Arquitas para a curva de dupla curvatura e a construo de Eudoxo para a lemiscata esfrica, usando a revoluo de esferas concntricas; mas Eudoxo era, penso eu, muito original como matemtico para se contentar ele prprio com uma mera adaptao da soluo de Arquitas. ([H4], I, p. 251).

Mas Paul Tannery no foi o nico a relacionar Eudoxo com Arquitas. Riddell, no artigo Eudoxan Mathematics and the Eudoxan Spheres, estabelece uma relao entre o

63

trabalho de Eudoxo no campo da astronomia com a configurao dos tringulos semelhantes, que esto subjacentes construo de Arquitas. ([R]). Provavelmente nunca teremos a certeza sobre qual seria a soluo atribuda a Eudoxo e no difcil concordar com as palavras de Thomas Heath acima transcritas, embora seja de considerar que a soluo de Arquitas, pela sua beleza matemtica, poder ter agitado os matemticos da poca ao ponto de motivar novas solues (ou verses).

64

2.5 A SOLUO DE MENECMO A fama de Menecmo, matemtico do sculo IV a.C., est relacionada com as curvas que hoje conhecemos pelo nome de cnicas elipse, parbola e hiprbole; nomeadamente com a descoberta de que estas curvas se podem obter por interseco dum cone recto de base circular, com um plano perpendicular a uma geratriz.
Demcrito48 especulou nas seces planas de um cone, paralelas base e muito prximas umas das outras, e outros gemetras devem ter cortado o cone (e o cilindro) por seces no paralelas base; mas Menecmo foi o primeiro que conhecido por ter identificado as seces resultantes como curvas com certas propriedades. ([Th1], p. 1683).

As descobertas de Menecmo advieram da sua procura de uma soluo para o problema da duplicao do cubo, mais propriamente, da procura de curvas que possussem as propriedades adequadas resoluo do problema de encontrar os dois meios proporcionais da reduo de Hipcrates. As solues de Menecmo, preservadas por Eutcio, tm por base a construo de um certo ponto como a interseco de duas cnicas, num dos casos uma parbola e uma hiprbole equiltera, no outro caso duas parbolas. A prova que chegou at ns no reproduz as palavras de Menecmo e possvel que tenha sido remodelada por Eutcio na sua prpria linguagem ou por algum seu antecessor, tendo em conta que utiliza termos que s mais tarde foram introduzidos por Apolnio (sc. III a.C.) ou por Aristeu (sc. IV a.C. ). ([Th1], p. 1684). Tendo em ateno a reduo feita por Hipcrates, o problema que ento se coloca determinar dois meios proporcionais entre dois segmentos a e 2a (sendo a a aresta do cubo a duplicar), ou seja, a determinao de x e y tais que a x y = = . x y 2a (1)

Na linguagem da actual geometria analtica fcil reconhecer que para se verificar a relao anterior basta que se verifiquem duas das trs equaes seguintes: x 2 = ay ; xy = 2 a 2 ; y 2 = 2ax . Para tornar-se mais elucidativo, de (2) podemos ainda deduzir 1 y = x2 , a
48

(2) (3) (4)

(5)

Supe-se que Demcrito tenha nascido no sc. V a.C.. 65

e de (4) deduzir x= 1 2 y . 2a (6)

Portanto, podemos obter x de dois modos: 1 como abcissa do ponto de interseco da parbola y = x 2 com a hiprbole a equiltera xy = 2a 2 a primeira soluo de Menecmo; 1 como abcissa do ponto de interseco da parbola y = x 2 com a parbola a x= 1 2 y a segunda soluo de Menecmo. 2a

Note-se que, em ambos os casos, se conclui que x 3 = 2 a 3 , ou seja, x a aresta do cubo cujo volume duplo do volume do cubo dado, de aresta a. luz dos nossos conhecimentos (e notaes) actuais estas solues parecem simples, mas para Menecmo que no podia recorrer geometria analtica um legado de Descartes no sc. XVII so muito elaboradas, e no de admirar que tenham exigido de Menecmo uma ateno especial s propriedades das curvas em causa. De modo a reforar a actual simplicidade da(s) soluo(s) atribuda(s) a Menecmo, vamos exemplificar a duplicao do cubo recorrendo ao uso de duas parbolas e, obviamente, com a ajuda da geometria analtica. Seja, por exemplo, um cubo de aresta a = 1 , o qual pretendemos duplicar. Procuramos a soluo da equao x 3 = 2 13 , ou seja, pretendemos construir um segmento x cujo comprimento seja
3

2. 1 2 y ;o 2

Para tal, vamos desenhar as parbolas y = x 2 e x = seu ponto de

interseco

(diferente da origem) tem por abcissa a medida procurada. O segmento x, aresta do cubo procurado, est representado a vermelho na figura. importante no esquecer que, embora esteja encontrada a aresta do cubo procurado, esta soluo no se restringe ao uso exclusivo da rgua no graduada e do compasso, visto
66

que no possvel desenhar todos os pontos de uma parbola (ou de uma hiprbole) com tais instrumentos; alm disso a definio de uma cnica atravs de seces do cone envolve geometria tridimensional. Note-se, ainda, que a atribuio da autoria da segunda soluo (duas-parbolas) a Menecmo posta em causa por G. J. Toomer, que publicou, em 1976, a traduo para ingls da verso arbica da obra de Diocles Dos Espelhos Custicos49.
Tem sido at agora assumido por todos os historiadores que esta segunda prova tambm atribuda a Menecmo, mas G. J. Toomer descobriu, como proposio 10 da verso arbica da obra de Diocles Dos Espelhos Custicos, uma soluo para o problema dos dois meios proporcionais pela interseco de duas parbolas (...), que se assemelha muito segunda soluo. E segue-se, como proposio 11, uma outra soluo que idntica nos contedos matemticos quela que atribuda a Diocles, por Eutcio. Toomer acredita que a segunda soluo deve assim ser atribuda a Diocles e no a Menecmo. ([Th1], p. 1685).

No entanto, Knorr ([Kn1], p. 240) discorda, por considerar que o intuito de Diocles, ao apresentar o mtodo das duas-parbolas, no era oferecer uma nova soluo para o problema da duplicao do cubo: Na proposio 10 Diocles volta-se para a duplicao do cubo, mostrando como pode ser
resolvida atravs da interseco de duas parbolas. Pelo facto deste ser precisamente o mtodo das duas-parbolas, que Eutcio apresenta como uma construo alternativa, seguidamente ao mtodo da parbola-hiprbole atribudo a Menecmo, no podemos inferir que a incluso de Diocles do mtodo das duas-parbolas contrarie a sua origem em Menecmo. concebvel, embora improvvel, que Diocles no tivesse conhecimento dos esforos de Menecmo. (...) Parece-nos, assim, que aqui a inteno de Diocles no oferecer uma nova soluo para o problema, mas antes apresentar um outro exemplo do seu mtodo de desenhar parbolas.

Alis, como mais frente veremos, Diocles apresenta uma soluo original (atravs de uma nova curva) para o problema dos dois meios proporcionais. Uma questo que tem intrigado os historiadores saber qual ter sido a inspirao de Menecmo, aluno de Eudoxo, para obter as curvas cnicas como a interseco dum cone recto de base circular, com um plano perpendicular a uma geratriz, e nomeadamente saber se Menecmo ter construdo algum aparelho para desenhar tais curvas. George Allman ([All], pp. 160-174) analisa algumas das investigaes sobre o assunto, as quais no vamos aqui referir por estarem fora do mbito desta dissertao.

49

Uma maior referncia a esta obra ser feita quando analisarmos a soluo de Diocles. 67

2.6 A SOLUO ATRIBUDA A PLATO Eutcio atribui a Plato, influente filsofo e matemtico da segunda metade do sc. V a.C. e primeira metade do sc. IV a.C. e (...) principal promotor do desenvolvimento intelectual do seu tempo (...) ([V], p. 202), uma soluo de cariz mecnico para o problema da duplicao do cubo, ou melhor, e uma vez mais, para o problema da insero de dois meios proporcionais entre dois segmentos de recta. No entanto, amplamente aceite que esta soluo foi incorrectamente atribuda a Plato. Plato reprovou as solues mecnicas por estas destrurem a virtuosidade da geometria. ([H4], I, p. 255). E, portanto, seria de estranhar que ele prprio apresentasse uma soluo dentro dos parmetros que reprovava50.
A provenincia Platnica deste mtodo deixa em aberto srias dvidas. Primeiro, Eratstenes no lhe faz referncia ao longo das suas consideraes sobre os primordiais esforos na duplicao do cubo. Tal facto ainda mais notrio tendo em ateno que o seu interesse pela filosofia platnica muito evidente ao longo da sua obra Platonicus, onde relata a histria do envolvimento de Plato com o orculo de Delos. Certamente, se fosse o caso, Eratstenes teria um interesse particular em indicar uma efectiva soluo de Plato, se a conhecesse. Alm disso, este mtodo depende da concepo de um engenho51 mecnico. ([Kn1], p. 57).

Existem duas teorias relativas autoria da soluo mecnica atribuda a Plato para resolver o problema da duplicao do cubo. Uma que defende que Plato inventou esta soluo mecnica para ilustrar como fcil descobrir tais solues; a outra, talvez a mais aceite, que defende que esta soluo mecnica foi inventada pelos seus discpulos na Academia. ([H4], I, p. 255). Sendo assim, uma dvida persiste: a quem atribuir a autoria deste mtodo? Sem responder directamente a esta questo, Thomas Heath ([H4], I, pp. 256-258) indica alguns pontos comuns entre o mtodo aqui em causa (na sua vertente mais terica e menos mecnica) e a segunda soluo de Menecmo; enquanto que Knorr ([Kn1], pp. 57-62) acrescenta a procura de uma relao com a soluo perdida de Eudoxo.

Ao reprovar as solues existentes pressupomos que Plato tambm reprovou a soluo de Menecmo. Mas, tendo em ateno que a soluo de Menecmo puramente terica, no envolvendo instrumentos de qualquer tipo, em que se ter baseado Plato para reprovar tal soluo? Van der Waerden ([Wa1], pp. 162-164), com base na anlise do dilogo Platonicus, tenta responder a esta questo. No entanto, no ser de considerarmos que para Plato todas as solues que no fossem solues possveis de executar apenas com rgua no graduada e compasso seriam solues mecnicas? 51 De referir que Eutcio, no seu texto, traa com muita mincia o engenho mecnico em causa, indo ao pormenor de descrever o tipo de ranhuras, encaixes, etc.. 68

50

Vejamos ento em que consiste a soluo mecnica atribuda a Plato. Considerem-se duas linhas rectas BC e AB perpendiculares entre si, entre as quais pretendemos encontrar os dois meios proporcionais. Tendo em ateno que o problema a duplicao de um cubo de aresta a, vamos aqui considerar o caso particular em que AB o dobro de BC, isto , AB=2a e BC=a. Sejam os tringulos EDC e AED, rectos em D e E, respectivamente, e de modo a que ED seja comum. Consideremos ainda que as hipotenusas AD e EC se intersectam perpendicularmente em B, como ilustrado na figura.
A

Deste modo, so semelhantes entre si os tringulos BDC, AEB e BED, visto que, tendo em ateno as condies de construo da figura, os ngulos BDC e BAE so iguais bem como os ngulos BAE e BED, sendo ainda recto o ngulo em B. Donde, BC BD BE = = , isto , BD BE AB a BD BE = = . BD BE 2a Logo, BD e BE so os dois meios proporcionais entre a e 2a, sendo BD a aresta do cubo cujo volume duplo do volume do cubo de aresta a. Assim, o problema em causa fica solucionado desde que se construa uma figura nas condies anteriormente descritas.
O esquadro de Plato, seria um instrumento constitudo por trs rguas, duas delas paralelas entre si e uma terceira perpendicular s anteriores, estando esta ltima fixada a uma das primeiras, mas permitindo a deslocao da outra numa calha. Portanto, duas das rguas seriam fixas, enquanto que a outra deslizaria paralelamente a si mesma. ([ESQSC], p. 311).

Vamos ento construir essa figura utilizando o esquadro de Plato. Comece-se por traar duas rectas perpendiculares m e n intersectando-se num ponto B e marquem-se dois

69

pontos A e C sobre m e n, respectivamente, de modo a que AB = 2BC (note-se que estamos a considerar o caso em que BC=a a resta do cubo a duplicar). De seguida, manipule-se o esquadro de Plato ajustando-o figura de modo a que as duas rguas paralelas passem por A e C e os pontos em que estas encontram a outra rgua, X e Y, estejam sobre as rectas m e n, respectivamente, como ilustra a figura.

Assim, os segmentos BX e BY so os dois meios proporcionais procurados, como anteriormente provmos; sendo BX a aresta do cubo procurado. Uma vez mais estamos em presena de uma soluo que no est de acordo com as regras previamente estabelecidas, pois a soluo em causa envolve um instrumento mecnico (o esquadro de Plato) muito diferente da rgua no graduada e compasso.

70

2.7 A SOLUO DE ERATSTENES O nome de Eratstenes de Cirene no est apenas associado ao problema da duplicao do cubo devido ao relato das lendas sobre a histria deste problema, nomeadamente na sua obra Platonicus e na suposta carta ao Rei Ptolomeu. Est tambm associado a uma soluo do problema dos dois meios proporcionais, atravs de um instrumento mecnico. Esse instrumento, conhecido pelo nome de mesolabo, descrito52 por Papo no livro III da Coleco Matemtica e por Eutcio no comentrio ao livro II do tratado Da Esfera e do Cilindro. Seguidamente, apresentamos a imagem de um mesolabo, obtida no site do Museu Universitrio de Histria Natural e da Instrumentao Cientfica da Universidade de Modena e Reggio Emilia, Itlia.

Imagem obtida em http://www.museo.unimo.it/theatrum/macchine/141ogg.htm

A suposta carta de Eratstenes ao rei Ptolomeu mais uma vez uma importante fonte de informao histrica e, embora seja amplamente aceite que a carta forjada,
(...) no h motivos para duvidar da histria a relatada, a qual , de facto, amplamente confirmada. E deve agradecer-se ao autor por ter includo na sua carta a prova e o epigrama, retirados dum monumento votivo, que so trabalhos genunos de Eratstenes. ([Th5], I, pp. 256-257).

Eratstenes colocou uma rplica do seu mecanismo, segundo parece em bronze, numa coluna dedicada ao rei Ptolomeu, erguida em Alexandria. Da coluna tambm constava uma breve demonstrao e um epigrama onde se lia:
52

A descrio feita por Papo de Alexandria tem uma pequena variao em relao descrio de Eutcio. Enquanto que este ltimo fala em paralelogramos, Papo fala em tringulos. No entanto, este facto indiferente no contexto em causa. ([Th5], I, p. 291). 71

Se, bom amigo, de qualquer cubo pequeno queres obter um cubo duas vezes maior, e rapidamente transformar um qualquer slido noutro, aqui est a tua possibilidade (...). No procures conseguir coisas difceis de executar por meio dos cilindros de Arquitas, nem cortar o cone pela trade53 de Menecmo, nem descrev-las por alguma espcie de linhas curvas de divino Eudoxo. De facto, por meio destas placas, facilmente construirs milhares de mdias a partir de uma base pequena. Afortunado Ptolomeu, porque s um pai que goza a juventude com o seu filho e lhe deste tu prprio tudo o que preciso para as Musas e Reis; possa ele no futuro, Zeus Celestial, receber o ceptro das tuas mos. Que assim acontea, e que cada um que veja esta oferta votiva diga: esta uma oferta de Eratstenes de Cirene. (citado em: [H4], I, p. 260).

Vamos basear-nos no mesolabo descrito por Eratstenes para construir os dois meios proporcionais da reduo de Hipcrates, de modo a duplicar um cubo de aresta a. Comecemos por construir uma estrutura rectangular ABCD de bases paralelas AB e DC. Em cada uma das bases est uma calha tripla de modo que em cada ranhura possa deslizar um tringulo, como ilustra a figura seguinte. Os trs tringulos em causa so congruentes e podem deslizar (tendo em ateno o modo como foram colocadas as calhas) paralelos a si mesmos, podendo ocorrer sobreposies (parciais ou totais). D F I H L K C

Tendo em ateno que o cubo a duplicar tem aresta a, o mesolabo dever ser construdo de modo a que AD = 2 a . Seja M o ponto mdio do lado KJ, do tringulo LJK, e consideremos fixo o tringulo DEF. Deslocam-se os outros dois tringulos de tal modo que o ponto N, de interseco de HG com LJ, e o ponto O, de interseco de FE com IG, sejam colineares com os pontos D e M, de modo a que a recta que os une encontre AB num ponto que designaremos por P.
53

A frase (...) pela trade de Menecmo (. ..) pode fazer parecer que se trata das trs formas de seces cnicas, parbola, hiprbole e elipse. No entanto, Knorr de opinio que, tendo em ateno o contexto, esta trade a hiprbole e as duas parbolas, as curvas cnicas especificamente associadas ao problema da duplicao do cubo. ([Kn1], p. 62) 72

Assim, tem-se, OE OP = , tendo em ateno que nos tringulos equingulos, OEP e DAP, os lados DA DP adjacentes a ngulos iguais so proporcionais (Elementos VI, 4); OP OG = , tendo em ateno que nos tringulos equingulos, OGP e DEP, os lados DP DE adjacentes a ngulos iguais so proporcionais (Elementos VI, 4); OG GP = , tendo em ateno que nos tringulos equingulos, OGP e DEP, os lados DE EP adjacentes a ngulos iguais so proporcionais (Elementos VI, 4); GP NG = , tendo em ateno que nos tringulos equingulos, NGP e OEP, os lados EP OE adjacentes a ngulos iguais so proporcionais (Elementos VI, 4); OE OP OG GP NG = = = = . DA DP DE EP OE De forma anloga justificaramos que Logo, MJ NG OE = = ou, ainda, atendendo s condies iniciais, NG OE DA a NG OE = = . NG OE 2 a
73

Donde,

NG NP NJ JP MJ = = = = . OE OP OG GP NG

Conclumos, assim, que NG e OE so os dois meios proporcionais entre a e 2a e portanto NG a aresta do cubo cujo volume duplo do cubo de aresta a. Note-se que pode ser necessrio prolongar as calhas DC e AB de modo a encontrarse o ponto P, da interseco da recta DM com o lado AB. Repare-se, ainda, que se pretendermos encontrar os dois meios proporcionais entre c e d ( d > c ), isto , no sendo o caso particular de um deles ser o duplo do outro, bastaria construir um mesolabo nas condies anlogas, mas em que AD = d e JM = c . interessante a viso de Eratstenes ao afirmar que:
(...), por meio destas placas, facilmente construirs milhares de mdias a partir de uma base pequena. (citado em: [H4], I, p. 260).

De facto, se pretendermos encontrar trs meios proporcionais entre c e d, bastar considerar mais um tringulo (numa nova calha) e, de modo anlogo, encontraremos x, y, e z tais que c x y z = = = ; e assim sucessivamente. x y z d

Do mesmo modo que no caso da soluo pelo uso do esquadro de Plato, a soluo de Eratstenes no est de acordo com as regras previamente estabelecidas, pois a soluo em causa envolve um instrumento mecnico (o mesolabo) muito diferente da rgua no graduada e compasso.

74

2.8 A SOLUO DE NICOMEDES Pouco se sabe sobre a vida de Nicomedes, mas possvel, cronologicamente, situ-lo entre Eratstenes e Apolnio, isto , no sc. III a.C., visto que ele critica Eratstenes pela construo mecnica dos dois meios proporcionais que este apresentou, enquanto que Apolnio faz referncia, a certa altura, concide de Nicomedes. ([To3], p. 1864). A soluo de Nicomedes54 para a construo dos dois meios proporcionais teve por base a reduo do problema a uma construo por nusis, que resolveu por meio de uma curva a concide tambm usada para resolver o problema da trisseco do ngulo (cf. pp. 33-36). Nicomedes ficou muito orgulhoso pela sua construo, usando a curva que tinha descoberto, ao ponto de reclamar que esta soluo para o problema da duplicao do cubo era muito superior ao mtodo de Eratstenes, que considerou estar fora do esprito da geometria:
Nicomedes tambm descreve, no seu livro Sobre as Linhas Concides, a construo de um instrumento cumprindo o mesmo propsito, e do qual parecia estar excessivamente orgulhoso ao ponto de ridicularizar grandemente as descobertas de Eratstenes como impraticveis e privadas de sentido geomtrico. ([E]; em [Th5], pp. 297-298).

Vejamos ento em que consiste o mtodo de Nicomedes para inserir dois meios proporcionais entre dois segmentos dados, seguindo Tomas Heath ([H4], I, pp. 260263). Sejam pretende dadas os duas dois rectas meios perpendiculares AB e BC entre as quais se construir proporcionais55. Complete-se o rectngulo ABCL e bissectem-se as duas rectas BC e AB nos pontos E e D, respectivamente. A partir de L trace-se uma recta passando por D e encontrando o prolongamento de CB num ponto que designamos por G. Tire-se, por E, a perpendicular EF a BC e de modo que

54

Segundo Tomas Heath, as explicaes que Eutcio e Papo do do procedimento de Nicomedes apenas diferem ligeiramente ([H4], I, p. 260). Refira-se que apenas conhecemos a obra de Nicomedes Sobre as Linhas Concides de fontes indirectas. 55 O caso que nos interessa AB = 2BC, que um caso particular daquele aqui descrito. 75

CF = AD . Una-se agora GF e trace-se a paralela a esta passando por C, a qual vamos designar de CH. Agora, construamos a concide56 que tem F como polo, CH como rgua e a distncia igual a FC (ou AD ). Esta concide (um dos seus ramos) encontra o prolongamento do segmento de recta EC num ponto que vamos designar por K. Assim, a determinao de K foi reduzida a uma construo por nusis: a insero, entre as rectas CH e EC, de um segmento de comprimento igual ao comprimento de AD e apontado para o ponto F (o segmento HK). De seguida, unamos FK e, pelas propriedades da curva concide, HK igual distncia. Assim, HK = FC = AD . Finalmente, trace-se KL e prolongue-se at encontrar a recta BA num ponto que vamos designar por M. Deste modo, CK e MA so os meios proporcionais procurados, isto , AB CK MA = = . CK MA BC Provemos agora tal facto. Efectivamente, por BC ser bissectado em E e prolongado at K, temos (tendo em ateno Elementos II, 6) que BK CK + EC 2 = EK 2 , adicionando EF 2 a ambos os membros, vem BK CK + EC 2 + EF 2 = EK 2 + EF 2 . Assim, (Elementos I, 47 ) temos BK CK + CF 2 = FK 2 . (1)

Tendo em ateno que, no tringulo MBK, AL paralela base BK, temos (Elementos VI, 2) que MA ML = . Analogamente, tendo em ateno que LC paralelo a MB, tem-se AB LK

ML BC MA BC 1 = . Donde = . Mas, AB = 2AD e BC = GC (visto que GB = BC , tendo 2 LK CK AB CK em ateno que os tringulos ADL e DGB so geometricamente iguais), logo MA GC = . AD CK construda a figura. Assim (Elementos VI, 2), tem-se GC FH = . CK HK (3) (2)

Seja agora o tringulo GFK, onde GF e CH so paralelas, pelo modo como foi

56

A curva concide foi descrita com maior pormenor no captulo sobre a trisseco do ngulo (cf. p. 34). 76

De (2) e (3) obtm-se que MA + AD FH + HK = , donde AD HK

MA FH = . Tendo em ateno Elementos V, 18 vem que AD HK MD FK = e pela hiptese de construo temos que AD HK

AD = HK (visto que AD = FC ), e consequentemente MD = FK , donde MD 2 = FK 2 . Temos ainda que MD 2 = MB MA + AD 2 (Elementos II, 6). E, de (1), obtm-se MB MA + AD 2 = BK KC + CF 2 . Mas AD = CF , donde MB MA = BK KC e portanto KC MB = . MA BK

Atendamos agora aos tringulos MBK e LCK, os quais so semelhantes. Temos que MB LC CK LC = (Elementos VI, 4), e assim vem que = . BK CK MA CK Analogamente, MB MA = BK AL e, consequentemente, LC CK MA = = , ou seja CK MA AL

(porque AB = LC e BC = AL ), AB CK MA = = . CK MA BC Isto , CK e MA so os meios proporcionais entre AB e BC. Se pretendermos construir um cubo com o dobro do volume de um cubo dado de aresta AB, basta considerar BC=2AB e assim CK ser a aresta do cubo procurado. Temos assim uma vez mais uma soluo que no est de acordo com as construes que se restringem ao uso apenas da rgua no graduada e compasso, pois como j afirmmos no captulo anterior, no podemos construir todos os pontos da concide de Nicomedes utilizando apenas estes instrumentos. No entanto, citando van der Waerden, pelo exposto podemos (...) admirar o talento de Nicomedes, que descobriu no s a prova mas a construo em si. ([Wa1], p. 237).

77

2.9 AS SOLUES DE HERO, APOLNIO E FILO DE BIZNCIO Seguindo o exemplo de Gomes Teixeira e Thomas Heath, optamos por apresentar as solues destes trs gemetras em simultneo, uma vez que elas so muito parecidas. Pois (...) sabemos por Eutcio que a soluo de Hero praticamente a mesma que a de Filo ([H4], II, p. 300). No entanto, o mtodo de Hero (...) no aparece apenas na narrativa de Eutcio, mas tambm nos legados de Hero, Mecnica e Belopoeica, e Papo toma conhecimento deste mtodo atravs de Hero. Mas outro comentador, Joo Filpono57, atribui-o a Apolnio. ([Kn1], p. 188). Alm disso:
Papo, nas Coleces Matemticas (...), atribui a Apolnio dois mtodos, um mecnico e outro geomtrico, para resolver o problema de Delos, sem no entanto os expor. Nas obras de Apolnio, que chegaram at ns, no encontramos coisa alguma sobre este problema [duplicao do cubo], mas no Comentrio [ obra de Arquimedes Da Esfera e do Cilindro] de Eutcio encontramos o mtodo mecnico de Apolnio, o qual no difere no essencial daquele que foi dado por Hero. A relao estreita entre a construo mecnica e a construo mediante uma hiprbole, exposta atrs58, levou alguns autores a considerar como provvel que o mtodo geomtrico de Apolnio seja idntico a esta ltima construo, ou pelo menos no defira dela no essencial; e que as trs solues mecnicas de Hero, Filo Bizantino e Apolnio foram deduzidas da soluo geomtrica de Apolnio, como aplicaes prticas. ([Te1], p. 295).

Temos assim razes59 que sobejamente nos levam a agrupar estas trs solues do problema da duplicao do cubo. E, como seguidamente veremos, os trs mtodos em causa tm, em termos de construo, o mesmo objectivo: a determinao de dois pontos (G e F, na nossa exposio), com caractersticas especiais. Pontos estes que no sero possveis de encontrar com o uso exclusivo da rgua no graduada e compasso mas, como veremos, tal j ser possvel se a rgua empregada tiver um bordo com marcas.

Filsofo da primeira metade do sc. VI d.C.. Gomes Teixeira ([Te1], pp. 293-295) explica como encontrar geometricamente uma determinada recta mediante certa hiprbole, enquanto que, e ainda segundo ele, Eutcio supe que se procede por tentativas para determinar tal recta (a recta GF na figura da pgina seguinte). 59 Knorr considera que existem trs verses (muito prximas umas das outras) da soluo do problema da duplicao do cubo que aparecem associadas ao nome de Apolnio, existindo ainda a meno, por Papo, a uma quarta esta pelo uso de seces cnicas. Aquela que reproduzida por Eutcio equivalente ao mtodo apresentado por Hero e, relativamente s duas verses dados por Joo Filpono, uma precisamente o mtodo de Hero, enquanto que a outra coincide com aquela que reproduzida por Eutcio associada ao nome de Filo ([Kn1], p. 305). Podemos encontrar em Knorr ([Kn1], pp. 305-308) uma descrio aprofundada das interligaes entre os mtodos de Apolnio, Hero e Filo.
58

57

78

2.9.1 HERO A soluo de Hero de Alexandria, matemtico que possivelmente60 ter vivido no sc. I d.C., aparece nas suas obras Mecnica e Belopoeica61 e tambm umas das onze62 solues transmitidas63 por Eutcio no seu comentrio obra de Arquimedes Da Esfera e do Cilindro. Vejamos em que consiste essa soluo. Sejam CD e DB os dois segmentos64 entre os quais pretendemos construir os dois meios proporcionais. Construamos o rectngulo CABD, sendo E o ponto de interseco das suas diagonais. Consideremos uma rgua com a aresta colocada em D e encontrando o prolongamento de AB num ponto que vamos designar por F e o prolongamento de AC no ponto que vamos designar por G. Manipule-se a rgua de modo a que esta assuma uma posio em que EF = EG . Assim, os segmentos CG e BF so os meios proporcionais procurados, isto , CD CG BF = = . CG BF DB Justifiquemos agora estes factos. Seja K o ponto mdio de AB (= CD), ento (tendo em ateno Elementos II, 6) AF FB + BK 2 = FK 2 , adicionando KE 2 a ambos os membros obtemos AF FB + BK 2 + KE 2 = FK 2 + KE 2 , donde (tendo em ateno Elementos I, 47) AF FB + EB 2 = EF 2 . (1)

As incertezas sobre a data em que viveu Hero so muitas. Por um lado Michael Mahoney, autor da biografia de Diocles no Biographical Dictionary of Mathematicians, aponta a data de 62 d.C.; por outro lado Thomas Heath ([H4], II, pp. 300-306) investiga sobre a data em que viveu Hero, concluindo assim como provvel o sc. III d.C. No entanto, todos os autores so unnimes em considerar como certo que Hero viveu entre o ano 150 a.C. e o ano 250 d.C.. 61 No fim dessa obra, consagrada fabricao de armas de arremesso, encontra-se um mtodo instrumental pelo qual Hero determina dois meios proporcionais para um problema de certo modo anlogo ao problema de Delos. ([Ver2], II, p. 590). 62 No estamos a contabilizar a soluo de Eudoxo. 63 Como sabemos, o que caracteriza as fontes dos textos gregos, mesmo os nossos textos mais antigos, que geralmente so cpias de cpias, que por sua vez j eram cpias ou fragmentos de originais. Este facto leva alguns historiadores a ter preferncia por determinada fonte em detrimento de outra ou outras. Por exemplo, Ivor Thomas ([Th5], p. 267) tem preferncia pela verso transmitida por Papo na Coleco Matemtica em detrimento da verso transmitida por Eutcio, por considerar que a verso de Papo conserva com maior autenticidade as palavras de Hero, enquanto que Eutcio faz alguns aditamentos. 64 Mais uma vez o caso que nos interessa um deles o dobro do outro, isto , CD=2DB. 79

60

Seja agora K o ponto mdio de AC, ento (tendo em ateno Elementos II, 6) AG CG + CK 2 = GK 2 , adicionando K E 2 a ambos os membros obtemos

AG CG + CK 2 + K E 2 = GK 2 + K E 2 , donde (tendo em ateno Elementos I, 47) AG CG + CE 2 = GE 2 . (2)

Visto que EB = CE e EF = GE , de (1) e (2) obtm-se que AF FB = AG CG , ou seja, AF CG = . AG FB (3)

Consideremos agora os tringulos GCD, GAF e DBF, os quais so semelhantes entre si (pois tm os trs ngulos iguais, cada um a cada um); tendo em ateno Elementos VI, 4, tem-se que FA CD FB = = . AG CG DB CD CG FB = = , isto , CG e BF so os meios CG FB DB

Assim, considerando (3) tem-se que

proporcionais entre os segmentos dados, CD e DB, como pretendamos provar. Portanto, se o cubo dado tiver de aresta DB, basta considerar CD=2DB e o cubo procurado (como o dobro do volume) ter de aresta FB.

80

2.9.2 APOLNIO Apolnio de Perga, matemtico da segunda metade do sc. III a.C. e princpio do sc. II a.C., reconhecido como um gemetra de mrito excepcional, principalmente pelo seu famoso tratado Cnicas. Esta obra passou a ser o tratado por excelncia sobre as sesses cnicas e substituiu os escritos anteriores de Menecmo, Aristeu e Euclides, pois Apolnio estudou to profundamente e exaustivamente as propriedades das cnicas que tornou as obras anteriores obsoletas. Embora se trate de uma obra extensa e de leitura difcil, para quem est familiarizado com os mtodos modernos, este tratado est a par do que de mais brilhante conhecemos da geometria antiga. ([V], pp. 368-369). No entanto, Apolnio tambm se dedicou ao problema da duplicao do cubo:
So do mesmo sbio gemetra outros trabalhos, como: Sbre o problema de Delos, com uma soluo diz Eutcio que teria sugerido outra inserta nas Mecnicas de Hero (...). ([V], p. 383).

Atendamos verso transmitida por Eutcio. Sejam AB e CA os dois segmentos entre os quais pretendemos construir os dois meios proporcionais. A primeira parte da soluo de Apolnio resume-se construo de um rectngulo com os dois segmentos dados como lados. Coloquemo-los de modo a fazer um ngulo recto entre si, como indicado na figura.

C1

B C2

Com centro no ponto C e raio igual a AB construmos a circunferncia C1, e com centro no ponto B e raio igual ao segmento CA construmos a circunferncia C2 . Seja D o ponto de interseco destas duas circunferncias. Temos assim construdo o rectngulo CABD. A partir daqui, a soluo de Apolnio uma variao da de Hero. Seja E o ponto de interseco das diagonais do rectngulo CABD. Com centro no ponto E construamos uma circunferncia intersectando os prolongamentos de AB e AC em F e G, respectivamente, e de modo a que F, D e G sejam colineares.
81

C E

F A B

Assim, os segmentos CG e BF so os dois meios proporcionais procurados, isto , AB CG BF = = . CG BF CA Justifiquemos agora tal facto. Analogamente construo de Hero, anteriormente descrita, obtivemos os mesmos pontos G e F, embora no caso de Hero atravs da manipulao de uma rgua no ponto D e, no presente caso, utilizando uma circunferncia. Visto que as condies da figura que usamos no caso da soluo de Hero so ainda vlidas no presente caso (repare-se que os segmentos GE e EF so raios da circunferncia em causa, logo iguais), portanto obvio que a mesma prova vlida neste caso.

82

2.9.3 FILO DE BIZNCIO Pouco sabemos sobre a vida deste matemtico que, segundo parece, viveu no sc. III a.C.. No entanto, Eutcio menciona um seu trabalho sobre o problema da duplicao do cubo:
no livro I, actualmente perdido, do Tratado de Mecnica de Filo de Bizncio que esta soluo emprica do problema dos dois meios proporcionais retirada por Eutcio. ([Ver2], II, p.

592). Filo, nos seus empreendimentos de inventor, deparou-se com o problema de criar uma catapulta que teria como objectivo lanar um projctil com o dobro do peso de um outro lanado por outra catapulta. Assim, encontrou o problema de ter de duplicar o cubo, tendo em ateno que os pesos dos dois projcteis em causa estavam em proporo com os cubos dos seus dimetros. A resoluo do seu problema no pode ser obtida por uma construo euclidiana com apenas rgua no graduada e compasso, a soluo passa por encontrar dois meios proporcionais e, assim, Filo descreveu como encontrar esses meios proporcionais. ([Dr], p. 587). Sejam CD e DB os dois segmentos entre os quais pretendemos construir os dois meios proporcionais. Coloquemo-los de modo a que faam um ngulo recto em D. Unamos agora os pontos C e B e construamos a semicircunferncia CDB, de dimetro CB. De seguida, construamos a recta BF perpendicular a DB e a recta CG perpendicular a CD.

G H M C E A B D F

Considere-se uma rgua com a aresta colocada no ponto D e encontrando o prolongamento de AB no ponto F, o prolongamento de AC no ponto G e o semicrculo no ponto H. Manipule-se esta rgua de modo a que esta assuma uma posio em que GH = DF . Assim, os segmentos CG e BF so os dois meios proporcionais entre CD e DB, isto , CD CG BF = = , como provaremos a seguir. CG BF DB
83

Suponhamos que as rectas FB e GC so prolongadas, intersectando-se no ponto A. obvio que as rectas DB e GA so paralelas, o ngulo de vrtice em A recto e se completarmos a semicircunferncia, a circunferncia obtida passa pelo ponto A. O rectngulo CABD, onde E o ponto de interseco das diagonais, o mesmo que o da construo de Hero (cf. p. 79). Consideremos a perpendicular a GF passando por E (a vermelho na figura). Tendo em ateno que HD uma corda da circunferncia de centro E, por Elementos III, 3, tem-se que essa perpendicular bissecta HD. Atendendo hiptese de construo da figura temos que GH = DF , ento M o ponto mdio de GF. Assim, os tringulos MEF e GEM so congruentes65 (Elementos I, 4 ), donde GE = EF . Atendendo que as condies da figura que usamos no caso da soluo de Hero so ainda vlidas no presente caso, obvio que a mesma prova tambm vlida, razo pela qual se omite aqui. Assim, para duplicar (em volume) um cubo de aresta DB, basta considerar CD=2DB e o cubo procurado ter de aresta BF.

65

Caso de congruncia de tringulos lado-ngulo-lado. 84

2.10 A SOLUO DE DIOCLES Durante longo perodo de tempo tudo o que se conhecia sobre a obra e vida de Diocles, matemtico do incio do sc. II a.C., era atravs de dois fragmentos da sua obra Dos Espelhos Custicos, preservados por Eutcio no comentrio ao j referido texto de Arquimedes Da Esfera e do Cilindro. Um desses fragmentos a contribuio de Diocles para o famoso problema de Delos. S recentemente que uma traduo66 rabe Dos Espelhos Custicos foi descoberta67 numa Biblioteca em Mashhad, Iro. Assim, de referir que nenhuma obra (completa) de Diocles era conhecida de Thomas Heath quando este escreveu, em 1921, A History of Greek Mathematics, tendo Toomer, em 1976, traduzido para ingls e publicado a verso rabe do perdido tratado de Diocles.
Na terceira parte Diocles apresenta dois mtodos para a duplicao do cubo: o primeiro reproduz simplesmente uma forma alternativa ao mtodo das duas parbolas de Menecmo (Prop. 10), enquanto que o segundo utiliza uma curva especial, conhecida nos tempos modernos com o nome de cisside (Props. 11-16). ([Kn1], p. 234) .

Como inferimos, deve-se a Diocles a soluo do problema da duplicao do cubo por meio de uma nova curva a cisside. Segundo parece no foi Diocles quem lhe atribuiu este nome, pois nos seus escritos ele utiliza o termo linha68 para se referir a tal curva e alm disso o nome cisside (forma de hera) mencionado [pela primeira vez] por Gmino no sc. I a.C., isto , cerca de um sculo depois da morte do inventor Diocles. ([Lo], p. 132). Mais tarde, o mtodo usado para gerar a curva atribuda a Diocles foi generalizado e todas as curvas geradas por um processo anlogo ao da cisside de Diocles so designadas por cissides69.
De modo a melhor abrangermos a importncia desta descoberta podemos atender s palavras pelas quais G. J. Toomer inicia a sua traduo da referida obra de Diocles: Nada sabemos sobre Diocles excepto o que pode ser inferido da presente obra. At descoberta do texto rabe, mesmo a sua data constitua uma incerteza. ([To1], p. 1). 67 Informao obtida em http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Diocles.html, site da responsabilidade de Edmund Robertson e John O'Connor, docentes do Departamento de Matemtica da Universidade de St. Andrews, Esccia. 68 Segundo Elementos I, def. 2 Linha o que tem comprimento sem largura e no comentrio a esta definio que Thomas Heath, analisando o conceito/relao entre linha e curva, refere que, segundo Eutcio, a cisside supostamente a curva atravs da qual Diocles resolve o problema da duplicao do cubo. (cf. [H2], I, p. 164). 69 A cisside despertou o interesse de vrias geraes de matemticos. Os matemticos do sc. XVII colocaram prova a sua percia atravs da cisside. Fermat e Roberval construram a tangente (1634); Huygens e Wallis encontraram a rea (1658); enquanto Newton d-a como exemplo, na sua Arithmetica Universalis, das antigas tentativas na resoluo de problemas cbicos (...). ([Lo], p. 133). Ainda recentemente, matemticos portugueses colocaram em discusso na Internet, em http://www.fc.up.pt/mp/machaves/diocles.html, uma proposta de construo (utilizando o moderno software de geometria dinmica The Geometers Sketchpad) da cisside de Diocles, como lugar geomtrico do vrtice de uma parbola mvel rolando sem escorregamento sobre uma parbola fixa. 85
66

Comecemos por definir a curva cisside no seu caso geral. Sejam S e S duas quaisquer curvas e A um ponto fixo. Desenhemos uma linha recta passando por A e intersectando S e S em Q e R, respectivamente, e considere-se o ponto P, encontrado nesta linha, de modo que AP = QR . Ento, o lugar geomtrico do ponto P descreve a cisside de S e S relativamente ao ponto A. ([Lo], p. 131). Na cisside de Diocles as duas curvas envolvidas so uma circunferncia e uma linha recta que lhe tangente, sendo o ponto fixo o ponto da circunferncia diametralmente oposto ao ponto de tangncia, como pode ser observado na figura seguinte.

Vejamos como Diocles construiu a sua cisside70. Considere-se uma circunferncia de centro O onde AB e DC so dimetros perpendiculares entre si. Sejam E e F pontos da circunferncia nos quadrantes BD e BC, respectivamente, e colocados de modo a que os arcos EB e BF sejam iguais. Desenhemos GE e HF perpendiculares a DC, tracemos EC e seja P o ponto de

interseco de EC com HF. Suponhamos, agora, que E e F ocupam novas posies nos

70

Diocles define a sua curva apenas em relao a um dos quadrantes da circunferncia de referncia. 86

quadrantes DB e BC, respectivamente, mas sempre a igual distncia de B. A cisside de Diocles a curva traada pelo ponto P nas vrias posies que este ocupa. Assim o ponto P, encontrado como acima foi descrito, permite provar que HF e HC so os dois meios proporcionais entre os segmentos DH e HP, isto : DH HF HC = = . HF HC HP De facto, tendo em ateno Elementos VI, 13, tem-se que HF o meio proporcional entre os segmentos DH e HC, isto , DH HF = . HF HC DH GC = , pois HF GE

Pelas condies de construo da figura anterior imediato que HF = GE , bem como DG = HC . Por outro lado,

GC HC = , tendo em ateno que em tringulos equingulos, GEC e GE HP

HPC, os lados adjacentes aos ngulos iguais so proporcionais (Elementos VI, 4). Ficou ento provado o que pretendamos, isto , DH HF HC = = . HF HC HP Vemos assim, que HF e HC so os dois meios proporcionais entre DH e HP. E se se pretender construir os dois meios proporcionais entre dois segmentos a e b, como fazer? Construmos uma circunferncia, de centro O, onde AB e DC so dimetros perpendiculares. Seguidamente, construmos a cisside de Diocles, como anteriormente descrito71, e tomamos um ponto K em OB de modo a que DO a = ( a>b ). OK b (1)

Ligamos o ponto D ao ponto K e prolongamos o segmento DK de modo a intersectar a curva cisside num ponto que vamos designar por Q. Passando por Q construmos o segmento ML paralelo a AB. Pelo que foi anteriormente exposto, ML e MC so os dois meios proporcionais entre DM e MQ, isto , DM ML MC = = . ML MC MQ (2)

71

Atendendo definio de cisside, dada na pgina anterior, as curvas aqui em causa so a circunferncia de dimetro DC e uma recta (a tangente circunferncia no ponto D), sendo C o ponto fixo. 87

Por outro lado, aplicando Elementos VI, 4 aos tringulos DMQ e DOK, obtemos DM DO = . MQ OK De (1) e (3) tem-se que DM a = . MQ b (3) (4)

Recorde-se que entre DM e MQ j inserimos dois meios proporcionais: ML e MC. Vamos agora procurar dois meios proporcionais entre a e b (que so dados), procurando x e y tais que, a x y = = . x y b

Tais x e y encontram-se atravs de duas construes do quarto proporcional (Elementos VI, 12): seja x tal que seja y tal que

DM ML = ; a x
MQ MC = . b y

(5) (6)

Efectivamente, tendo em ateno Elementos V, 16, de (5) sai que

DM a = , ML x
e, analogamente, de (6) vem que

(7) (8)

MQ b = . MC y

Por outro lado, tendo em ateno (4), tem-se que:

ML ML DM MQ x a b x = = = , isto , MC DM MQ MC a b y y ML x = . MC y
(9)

88

Finalmente, de (7), (8) e (9) e porque y so os dois meios proporcionais entre a e b.

a x y DM ML MC = = , temos = = , isto , x e x y b ML MC MQ

Alternativamente, segundo van der Waerden, para obter os dois meios proporcionais entre os segmentos dados a e b, basta multiplicar os quatro termos da proporo DM ML MC = = por um factor de proporcionalidade adequado. ([Wa1], p. 268). ML MC MQ Assim, se b=2a o cubo de aresta x tem volume duplo do cubo dado de aresta a. Obtivemos mais uma soluo que obviamente no pode ser efectuada apenas com rgua no graduada e compasso, pois no possvel construir todos os pontos da curva com estes instrumentos.

89

2.11 AS SOLUES DE ESPORO E PAPO Pouco se sabe sobre a vida de Esporo, matemtico e comentador que segundo parece nasceu na segunda metade do sc. III d.C.. No entanto, e acreditando em algumas fontes, podemos concluir que ele se dedicou intensamente a dois problemas matemticos: a quadratura do crculo e a duplicao do cubo. A sua contribuio para o estudo destes problemas parece ficar a dever-se, principalmente, sua crtica construtiva das solues at ento existentes. ([Sza], p. 2311). E novamente apenas devido a Eutcio que temos conhecimento da soluo atribuda a Esporo. Quanto a Papo de Alexandria, matemtico e comentador da primeira metade do sc. IV d.C., deixou-nos a sua Coleco Matemtica, uma importante fonte muitas vezes a principal ou a nica para os nossos conhecimentos sobre os desenvolvimentos da matemtica que o precederam. Assim, relativamente ao problema da duplicao do cubo, alm da verso transmitida por Eutcio podemos ter acesso verso de Papo, nas suas prprias palavras72, no Livro III da sua Coleco Matemtica. (cf. em [P]; em [Ver3], I, pp. 47-50). As solues de Esporo e Papo so essencialmente a mesma que a de Diocles; a principal diferena consiste no facto de que, em vez de usarem a cisside, usam uma rgua que roda em torno de um certo ponto at que certa interseco leve a que dois pares de linhas sejam iguais. Papo tem conhecimento da obra de Esporo e provvel que Esporo fosse seu professor ou colega. ([H4], I, p. 266). Na sucesso das solues transmitidas por Eutcio, no seu comentrio obra de Arquimedes, as solues de Papo e Esporo seguem-se soluo de Diocles e efectivamente provvel que esta sequncia seja propositada, tendo em ateno as similaridades entre as trs solues. Aps concluir a exposio da soluo de Esporo, o prprio Eutcio refere que essa soluo a mesma que a de Papo e de Diocles (cf. em [E]; [Ver2], II, p. 603). Knorr vai um pouco mais longe e afirma que tanto Esporo como Papo edificam o procedimento como uma nusis e que por uma observao atenta podemos detectar que Esporo trabalhou directamente a partir de Diocles, enquanto que Papo parece ter elaborado uma reformulao independente do mtodo pseudo-Platnico. ([Kn1], pp. 240-242).

72

No livro VIII da Coleco Matemtica, Papo expe novamente a construo dos dois meios proporcionais, embora de uma forma mais abreviada. Parece que foi esta a fonte da verso que Eutcio nos transmite. (cf. em [P]; em [Ver3], II, pp. 843-845). 90

Assim temos, uma vez mais73, razes que nos levam a agrupar solues do problema de Delos. Vamos agrupar as solues de Papo e Esporo, sem no entanto esquecer as relaes destas com a soluo anterior a soluo de Diocles por meio da curva cisside. De modo a melhor ilustrar a relao entre a verso de Diocles e as verses de Esporo e Papo, vamos trabalhar tendo por base a figura utilizada anteriormente, aquando da verso de Diocles. Esporo considera DO e OK os segmentos dados74 e entre os quais pretendemos construir os dois meios proporcionais. Papo, por seu lado, considera DO e OK dois segmentos na mesma proporo que os segmentos dados e entre os quais pretendemos construir os dois meios proporcionais. Isto , se se pretender construir os dois meios proporcionais entre dois segmentos a e b tomamos DO e OK de modo a que, DO a = ( a>b ). OK b

Estes segmentos so colocados perpendicularmente e de modo a que DO seja o raio de uma circunferncia de centro em O. O segmento DK prolongado de modo a intersectar a circunferncia75 num ponto que vamos designar por I.

Agora, temos ento a grande diferena: consideramos uma rgua com a aresta colocada em C e manipulada em torno deste ponto de modo a que assuma uma posio em que intersectando DI no ponto Q, OB no ponto T e a circunferncia no ponto R, origine QT = TR .

Como aconteceu com as solues de Hero, Filo e Apolnio. Contrariamente a Diocles e a Papo, que consideram que DO e OK esto na mesma proporo que os segmentos entre os quais pretendemos construir os dois meios proporcionais. 75 Estamos em presena da mesma circunferncia e do mesmo ponto K da soluo de Diocles.
74

73

91

Efectivamente o ponto Q est76 na cisside de Diocles. Assim, estamos em condies de encontrar, com um raciocnio anlogo ao mtodo anteriormente exposto (na soluo de Diocles), os dois meios proporcionais entre DO e OK . Esporo prova que OT o primeiro meio proporcional dos dois meios proporcionais entre DO e OK, sendo vlida a relao DO OT NM = = . (cf. em [E]; em [Ver2], II, p. 602). OT NM OK

Papo prova que o cubo construdo sobre DO est para o cubo construdo sobre OT, como DO est para OK, isto , DO 3 DO = . (cf. em [P]; em [Ver3], I, p. 48; II, p. 844). OT 3 OK

Omitimos aqui as demonstraes de Esporo e Papo (que podem ser encontradas nas obras acima citadas), j que anteriormente apresentmos a prova da soluo de Diocles. Segundo Thomas Heath, a prova apresentada por Papo menos confusa do que a prova apresentada por Esporo. ([H4], I, p. 267). Ser que Papo ao atribuir esta soluo a si prprio, expondo-a de uma maneira mais acessvel que a soluo de Esporo (a acreditar na verso transmitida por Eutcio) apenas est a chamar para si os crditos de uma soluo que efectivamente ser originalmente de Esporo? ([H4], I, p. 266). Mais uma pergunta que, presentemente, est sem resposta. E, sem soluo continua o problema da duplicao do cubo visto que as solues de Esporo e Papo tambm no respeitam as regras da geometria plana. Como foi inteligvel ao longo de todo este captulo, alm desta soluo que Papo atribui a si prprio, podemos encontrar na Coleco Matemtica algumas das solues que so transmitidas por Eutcio no seu comentrio obra de Arquimedes Da Esfera e do Cilindro. No entanto, no incio do Livro III da Coleco Matemtica, Papo discute (e critica) um mtodo para a resoluo do problema de Delos que no propriamente uma soluo exacta para o problema em causa, mas sim um processo, atravs de mtodos planos, para obter aproximaes cada vez melhores para uma soluo exacta. Papo no diz quem o autor deste mtodo, mas tambm no atribui a si prprio a autoria; refere apenas que da autoria de um grande gemetra. (cf. em [P]; em [Ver3], I, pp. 21-32).

76

A justificao pode ser elaborada tendo em ateno ([H4], I, p. 267). 92