OS TRS PROBLEMAS CLSSICOS DA MATEMTICA GREGA Joo Pitombeira de Carvalho1 Departamento de Matemtica PUC-Rio jbpit@rdc.puc-rio.

br indubitvel que, na Histria da Matemtica, alguns problemas tm significao especial: agindo como catalisadores eles influenciam muito o desenvolvimento da cincia. Tais problemas atraem devido simplicidade e lucidez de seus enunciados, fascinando muitos especialistas que trabalham na rea relevante da Matemtica. Como resultado, vrios novos mtodos e mesmo novas teorias so elaborados e novas perguntas, profundas e abrangentes, so formuladas. [RAIGORODSKI, 2004]. Os matemticos gregos estudaram trs problemas de Geometria que desempenharam papel importante no desenvolvimento da Matemtica. Eles so problemas de construo e resistiram a todas as tentativas dos gregos para resolv-los utilizando somente a rgua sem graduao e o compasso, os nicos instrumentos utilizados por Euclides nos Elementos. Os trs problemas, que ficaram conhecidos como os trs problemas clssicos, so 1. A duplicao do cubo. 2. A quadratura do crculo. 3. A trisseco do ngulo. Sabemos, desde o sculo XIX, que estes problemas no podem ser resolvidos somente com a rgua e o compasso. Referncias acessveis sobre isso so, por exemplo, [COURANT and ROBINS, 1996], [HADLOCK, 1978], KLEIN, 1930]. [BUNT, JONES and BEDIENT, 1988, pp. 89-121]. Uma discusso de porque os gregos tentavam resolver problemas de construo usando somente a rgua e compasso, pode ser encontrada, por exemplo, em [BKOUCHE et JOLLE, 1993]. Para os primeiros gemetras gregos, uma linha era o percurso de um ponto, e a linha reta era um percurso sem asperezas e desvios [SZABO, 2000]. No entanto, aos poucos, os matemticos gregos se distanciaram da realidade palpvel, como se v, por exemplo, em Plato: [a Geometria] tem por objeto o conhecimento do que sempre e no do que nasce e perece2. Passaram tambm a dar ao crculo e reta papeis destacados: ... Aristteles O que no tem nem comeo nem fim portanto ilimitado Parmnides- Ele ilimitado.
1

Agradeo a Alberto de Azevedo, da Universidade de Braslia, e a Bruno Alves Dassie por suas leituras extremamente cuidadosas do manuscrito e por suas sugestes valiosas.
2

Plato, A Repblica, 527 a.

Aristteles Portanto ele no tem forma, pois no participa nem do redondo nem do reto.3 Alm da idia de perfeio ideal atribuda ao crculo e linha reta, uma outra razo possvel para a restrio rgua e ao compasso pode ter sido a crise devida descoberta da irracionalidade de 2 , nmero que pode no entanto ser construdo com rgua e compasso. Esses instrumentos eram a garantia da existncia de nmeros como este. No entanto, falsa a crena de que os gregos, na resoluo de problemas de construes geomtricas, trabalhavam somente com a rgua e o compasso. Exatamente como os matemticos de hoje, para resolverem um problema eles usavam todas as ferramentas disponveis ou criavam novas ferramentas apropriadas. De suas tentativas para achar solues para os problemas clssicos, surgiram vrias curvas e mtodos que enriqueceram a Matemtica. Encontram-se em [KNORR, 1986] e [BOS, 2001] construes geomtricas, incluindo solues dos trs problemas clssicos, utilizando vrias curvas e outros instrumentos. O matemtico van der Waerden resumiu a situao como segue: A idia por vezes expressa de que os gregos permitiam somente construes com rgua e compasso inadmissvel. Ela negada pelas numerosas construes que nos chegaram para a duplicao do cubo e a trisseco do ngulo. No entanto, verdade de que tais construes eram consideradas mais elementares, e Pappus afirma que sempre que uma construo for possvel com rgua e compasso mtodos mais avanados no deveriam ser usados. [van der Waerden, p. 263]. impossvel superestimar a importncia destes problemas. Como diz Yates, Na histria da Matemtica h trs problemas que persistiram com vigor impressionante durante mais de dois mil anos. Eles so a triseco do ngulo, a duplicao do cubo e a quadratura do crculo, e devido sua existncia robusta eles so atualmente chamados de problemas famosos. ... Estes trs problemas, solidamente inexpugnveis malgrado todas as tentativas usando geometria plana, o mtodo matemtico dos antigos gregos, fizeram com que os matemticos ficassem fascinados e construssem novas tcnicas e teoremas para sua soluo. Por meio deste estmulo surgiu grande parte das estruturas atuais da lgebra e geometria. A procura constante de solues para os trs problemas durante tanto tempo forneceu descobertas espantosamente frutferas, s vezes achadas por sorte pura e que lanaram luz sobre tpicos bem distantes. [YATES, 1971, p. 5 ]

Somente em 1837 que foi demonstrado, por Wantzell, que um nmero real construtvel com rgua e compasso se e somente se ele um nmero algbrico, de grau igual a uma potncia de dois, sobre os racionais. Os trs problemas so muito naturais para quem tem curiosidade matemtica. Scrates, no dilogo Meno de Plato, usando perguntas apropriadas faz com que um jovem escravo ache um quadrado cuja rea duas vezes a rea de um quadrado dado. Isso pode ser feito facilmente usando rgua e compasso. Com efeito, o quadrado cujo lado a diagonal do quadrado dado a soluo do problema. Se AB lado do quadrado dado, ento
3

Aristteles, Parmnides, 137 d.

DB = 2 AB DB = 2 AB
2 2

FIGURA 1

De DB = 2 AB , vemos imediatamente que

AB DB = DB 2AB Assim, achar o comprimento de DB equivalente a inserir uma meia proporcional entre AB e 2AB De maneira mais geral, se desejarmos construir um quadrado cuja rea seja b vezes a rea a do quadrado ABCD , temos a DB = b DB Ou seja, devemos inserir uma meia proporcional entre a e b . Como veremos, a idia de inserir meias proporcionais entre duas grandezas dadas est por traz da maioria das tentativas de duplicar o cubo. Quadrar uma regio plana consiste em traar, somente com rgua e compasso, um quadrado cuja rea seja igual rea da regio dada. O problema de quadrar qualquer regio poligonal est completamente resolvido nos Elementos de Euclides. O problema da quadratura do crculo tambm muito natural. Uma vez que o problema da quadratura de qualquer regio poligonal foi resolvido, o prximo passo tentar quadrar regies limitadas por linhas curvas. Entre estas regies, o crculo uma escolha bvia. Isso levou investigao das lnulas por Hipcrates de Quios, em torno de 430 a.C. [van der WAERDEN, pp. 131-132]. Curiosamente, somente h pouco tempo, em 1947, usando tcnicas muito sofisticadas, que o problema de achar todas as lnulas quadrveis foi completamente resolvido [SCRIBA, 1987]. A primeira meno do problema da quadratura do crculo encontra-se no papiro Rhind, em torno de 1600 a.C: Construir um quadrado equivalente a um crculo. Reposta: retirar 1/9 do dimetro e construir o quadrado sobre o que resta. Em sua comdia Os pssaros, Aristfanes introduz o astrnomo Meton e o ridiculariza por causa de suas tentativas de fazer a quadratura do crculo: Farei minhas medies com um esquadro reto [90 graus], e assim voc observa que o crculo se torna quadrangular
3

Para Szab, o problema de quadratura que deu origem a todos os outros foi o de fazer a quadratura do retngulo. Este problema facilmente resolvido com rgua e compasso usando o resultado que em um tringulo retngulo a altura relativa hipotenusa a meia proporcional entre os segmentos que ela determina sobre a hipotenusa. Aristteles, por sua vez, pensa que este problema surgiu da procura da mdia geomtrica (meia proporcional), mas que isso foi esquecido e s restou o prprio problema: A definio no deve contentar-se em exprimir em que consiste a coisa (...), mas ela deve tambm incluir e exibir a causa. Ora, as definies so geralmente concluses. Por exemplo: O que a quadratura? a igualdade de um quadrado e de um retngulo. Uma definio como essa uma concluso. Mas dizer que a quadratura a descoberta da meia proporcional exprimir a causa do que definido4. Semelhantemente, uma vez que se sabe como bissectar um ngulo [EUCLIDES, I-9], natural perguntar como dividir um ngulo em n partes; em particular, em 3 partes. Embora no tenham conseguido resolver estes problemas com os instrumentos especificados, os matemticos gregos no se deixaram intimidar e, com engenhosidade notvel, foram capazes de achar solues para os trs problemas, usando vrios outros tipos de instrumentos e construes. Em verdade, da mesma maneira que a Matemtica moderna cresce com respostas aos desafios de novos problemas, muito da Matemtica grega se desenvolveu devido a tentativas de resolver os trs problemas clssicos. Neste sentido, os matemticos gregos eram realmente nossos colegas, pois tinham a mesma atitude mental dos matemticos atuais e tentavam conscientemente atacar novos desafios. Quando os conceitos e tcnicas existentes no conseguiam resolver estes problemas, eles inventavam novos conceitos e tcnicas apropriadas para a tarefa.
A DUPLICAO DO CUBO

O que sabemos sobre este problema encontra-se principalmente em Eutcio, um comentador de Arquimedes. H duas lendas sobre a origem da duplicao do cubo, com detalhes contraditrios. Uma delas se refere duplicao de um tmulo e a outra duplicao de um altar [van der WAERDEN, pp. 160-161]. Segundo a primeira lenda, Minos mandou fazer um tmulo para Glauco. Ao saber que o tmulo era um cubo cuja aresta media 100 ps, ele disse que a residncia real tinha sido construda demasiadamente pequena e que ela deveria ser duas vezes maior e ordenou imediatamente que duplicassem cada aresta do tmulo, sem estragar sua bela forma. De acordo com a segunda lenda, quando Deus anunciou aos Delianos, por meio de um orculo que, para se verem livres da peste, deveriam construir um altar duas vezes maior do que o existente, os arquitetos ficaram muito confusos, pois no sabiam como construir um cubo duas vezes maior do que outro. Hipcrates de Quios (viveu em torno de 430 a.C.) reduziu este problema ao de achar duas meias proporcionais x e y entre 1 e 2. Se

ARISTTELES, Tratado da alma, II, 2, 413 A, 13-20.

1 x y = = x y 2 vemos que x2 = y e portanto, multiplicando ambos os membros por x x 3 = xy .

Mas como

xy = 2 temos que
x3 = 2 No caso geral, se x e y so duas meias proporcionais entre a e and b , temos a x y = = x y b e disso vemos que x 2 = ay e que xy = ab e da segue-se que x 3 = axy = a2 b e assim x 3 a2b b = 3 = . a3 a a Apresentaremos agora 7 solues do problema da duplicao do cubo, quase todas baseadas em achar duas meias proporcionais entre duas grandezas, usando construes que no podem ser efetuadas somente com rgua e compasso e curvas que no podem ser traadas usando somente com estes dois instrumentos.
a- A mquina de Plato

O filsofo grego Plato (viveu de 429 a 347 a.C.) tinha grande interesse pela Matemtica e lhe atribua importncia particular. Gravitaram em torno dele alguns excelentes matemticos, como, por exemplo, rquitas, Eudoxo, Menecmo, Teeteto, entre outros. bem conhecido que Plato desprezava construes mecnicas, materiais [ver van der WAERDEN, pp. 162-163] em Matemtica. Assim, irnico que a soluo discutida a seguir seja conhecida como mquina de Plato. Como sabemos que o cubo no pode ser duplicado somente com regra e compasso, esta construo no pode ser efetuada usando somente estes instrumentos.

FIGURA 2 A mquina de Plato um dispositivo, formado por partes rgidas, em que ACDF uma pea rgida, com AC e FD paralelas e CD perpendicular a ambas. O segmento BE paralelo a CD e pode deslizar ao longo de AC e de FD . Para achar duas meias proporcionais entre ON = a e OM = b , movimentamos ACDF de maneira que o segmento CD passe por M , C esteja sobre o eixo dos x e fazemos BE deslizar at que passe por N e B esteja sobre o eixo dos y, como mostrado na FIGURA 3.

FIGURA 3 Vemos que os tringulos NOB e MOC so semelhantes e portanto ON OC = OB OM Como os tringulos NOB e OCB tambm so semelhantes, temos que ON OB = OB OC e assim chegamos a ON OB OC = = OB OC OM o que mostra que OB e OC so de fato meias proporcionais entre a e b.
b- A mquina de Eratstenes

Considere trs placas retangulares AEZF , NMHJ , e SGTL que podem deslizar sobre uma reta de maneira que a placa mdia, (NMHJ ) pode passar por traz da primeira, ( AEZF ) , e que a ltima, (SGTL ) , deslize por traz da do meio. Suponha que desejamos achar duas meias proporcionais entre a = AE e b = DT .
6

FIGURA 4 Traamos a reta AD e fazemos as placas deslizar, como descrito acima, de maneira que o lado direito ZF da primeira placa ( AEZF ) , intercepta a diagonal NH da segunda placa (NMHJ ), exatamente sobre a reta AD, no ponto B, como mostrado na figura a seguir

FIGURA 5 De maneira semelhante, fazemos deslizar a terceira placa (HGTL) de tal forma que o lado direito da segunda placa corte a diagonal HT exatamente sobre AD, no ponto C. Afirmamos ento que BZ e HC so meias proporcionais entre AE e DT, ou seja, que AE BZ GH = = . BZ GH DT Como os tringulos AEK e BZK so semelhantes, temos AE KA KE = = . BZ KB KZ AZ KA KZ = = . BH KB KH KZ BZ KB = = . KH CH KC (1)

Como os tringulos AZK e BHK so semelhantes, temos (2)

Temos tambm que os tringulos BZK e CHK so semelhantes, e portanto (3)

Alm disso, da semelhana dos tringulos BHK e CTK decorre que

BH KH KB = = . CT KT KC KH CH KC = = . KT DT KD De (1) e (2) obtemos que AE KA KE AZ KZ = = = = BZ KB KZ BH KH pois as duas sries de propores tm Como KA em comum. KB

(4)

Temos tambm que os tringulos CHT e CTK so semelhantes, e assim (5)

(6)

KZ comparece em (3) e (6), podemos escrever KH

AE AZ KA BZ KB = = = = . BZ BH KB CH KC De (3), (4) e (7) podemos escrever, como (4) e (7) tm AE BZ KZ BZ BH KH = = = = = . BZ CH KH CH CT KT Alm disso, como (5) e (8) tm KH em comum, obtemos KT

(7) KB em comum, que KC (8)

AE BZ BH CT BH KH CH = = = = = = BZ CH KH CH CT KT DT do que decorre, finalmente, que AE BZ CH = = . BZ CH DT (10)

(9)

O processo descoberto por Erasttenes pode ser usado para inserir qualquer nmero de meias proporcionais entre a e b. para inserir n meias proporcionais, suficiente tomar n+1 retngulos e proceder como acima.
c- A soluo de Nicomedes.

A soluo encontrada por Nicomedes, que viveu em torno de 240 a.C. verdadeiramente muito engenhosa. Suponha que queremos inserir duas meias proporcionais entre b = AB e a = BC .

FIGURA 6 Trace o retngulo ABCL . Seja D o ponto mdio de AB e trace a reta que passa por L e D . Seja G seu ponto de interseco com a reta que passa por C e B . Seja E o ponto mdio de BC e trace a perpendicular a BC por E . Chame de F o ponto desta reta para o qual BF = AD. Trace a reta s que passa por F e por G e a paralela a s que passa por C . Por F trace a reta FHK construda de tal maneira que HK = CF = AD . Trace a reta que passa pelos pontos K e L e chame de M sua interseco com a reta definida por A e B.
Afirmamos que AM e CK so meias proporcionais entre a e b , ou seja, que

AB CK MA = = . CK MA BC

(11)

Para compreender isso, devemos usar um teorema dos Elementos de Euclides. Teorema (Elementos, II-6): Se uma linha reta dividida em duas partes iguais e se uma outra linha reta lhe adicionada, prolongando-a, o retngulo determinado pela linha reta e pela reta adicionada e pela reta adicionada igual, se lhe for adicionado o quadrado sobre a metade da reta, ao quadrado sobre a reta formada pela metade e pela reta adicionada5.

FIGURA 7 Ou seja, na figura, a soma das reas do retngulo de base AD e altura DB e do quadrado LEGH (que igual ao quadrado de lado CB) igual rea do quadrado de lado CD. Voltemos justificao da construo de Nicomedes, aplicando este teorema ao segmento BC cortado ao meio por E e prolongado at K :
Na traduo de [SIMSON, 1773]: Se uma reta for dividida em duas partes iguais e em direitura com ela se puser outra reta; ser o retngulo compreendido pela reta toda e mais a adjunta, e pela mesma adjunta juntamente com o quadrado da metade da primeira reta, igual ao quadrado da reta que se compe da mesma metade e da outra reta adjunta.
9
5

BK KC + CE = EK .
2

(12)

temos

Adicionando EF a ambos os lados desta igualdade e usando o teorema de Pitgoras,

BK KC + CF = FK .
2 2

(13)

Alm disso, devido semelhana dos tringulos AMC e MBK temos que

MA ML BC = = . AB LK CK
Observe que BC =

(14)

1 GC devido congruncia dos tringulos GBD e DAL. 2

Como AB = 2 AD, temos que

MA GC = 2 AD 2 CK (15)

e assim MA GC = . AD CK GC FH = CK HK e da segue-se que MA GC FH = = . AD CK HK Temos ento que MA + AD FH + HK = AD HK e assim MD FK = . AD HK (20) (19) (18) (16)

Como os tringulos GFK e CHK so semelhantes, temos (17)

Como HK = AD, por construo, segue-se de (20) que MD = FK e assim , de (13),

temos
BK KC + CF = FK .
2 2

(21)

Usaremos mais uma vez Euclides II-6 aplicado ao segmento BA , cujo ponto mdio D e prolongado at M :
BM MA + AD = MD .
2 2

(22)

Como MD = FK , vemos que

10

BM MA + AD = FK .

(23)

Comparando (21) e (23) vemos que BM MA = BK KC de maneira que BM CK = . BK MA BM MA LC = = . BK AL CK Finalmente, usando (25) e (26), temos que: LC CK MA = = . CK MA AL Como LC = AB, AL=BC , temos, enfim, que AB CK MA = = . CK MA BC Sejam x=FH e y=CK. Nos tringulos retngulos EFK e EFC temos que
EF + EK = FK EF + EC = FC
2 2 2 2 2 2

(24)

(25)

Da semelhana dos tringulos MBK , MAL e LCK segue-se que (26)

(27)

(28)

Apresentamos a seguir uma soluo analtica para a construo de Nicomedes.

(I) (II)
2

De (I) e de (II) vemos que

FK EK = FC EC
2 2 2

E assim
1 b+ x 2
2

1 a+ y 2

1 b 2

1 a 2

Disso, segue-se imediatamente que

ay + y 2 = bx + x 2

Logo
a+ y x = b+ x y (1)

Os tringulos CHK e GFK so semelhantes e podemos portanto escrever

HK FH = CK GC

Ou seja
11

1 b 2 = x 2a y

b x = y a

a y = x b

Mas ento
a+ y x+b = y b a+ y y = x+b b x y a = = y b x (2)

De (1) e (2) vemos que

x y = y b

E assim
a x y = = . x y b

Como, pela semelhana dos tringulos AML e LCK, temos que

a y = AM b

decorre imediatamente que

AM = x

o que conclui a demonstrao.

d- A Construo de rquitas.

Vamos agora considerar uma das solues mais engenhosas do problema de duplicar um cubo, devida a rquitas (viveu em torno de 390 a.C.). Reproduzimos aqui a soluo como apresentada em [TEIXEIRA, 1995, pp. 289-290]. Embora o raciocnio de rquitas seja puramente geomtrico [veja van der WAERDEN, p. 151 ou HEATH, 1981, vol 1, pp. 246-249], usaremos seu equivalente analtico para torn-lo mais familiar para ns, habituados com a linguagem algbrica. Sejam a e b os dois segmentos dados, com b<a. Seja OCA ' uma circunferncia cujo dimetro OA ' igual a a e uma outra circunferncia OBA cujo dimetro OA igual a b e que est contida em um plano perpendicular ao plano da primeira circunferncia.

FIGURA 8 Considere o cilindro circular reto gerado pela circunferncia OCA ' e o toro gerado pela circunferncia OBA ao girar em torno da reta OZ , perpendicular ao plano OCA ' .
12

A interseco destas duas superfcies define uma curva, conhecida como curva de rquitas, dada pelas equaes
x 2 + y 2 = ax ( x 2 + y 2 + z 2 )2 = a 2 ( x 2 + y 2 ) b e considere o cone cujo eixo a reta OA ' e cuja geratriz forma com o eixo o a ngulo . A equao deste cone Seja = ( x 2 + y 2 + z2 ) = a2 2 x . b2

Seja D a projeo de C sobre OX. Ento a curva de rquitas corta o cone no ponto B OC b = . cuja projeo sobre o plano de OCA o ponto C da circunferncia tal que OB a Afirmamos que OC e OB so duas meias proporcionais entre a e b. Com efeito, OC = a OD, Disso, decorre que OC = b OD, e temos enfim que a OB OC = = . b OB OC Teixeira comenta que Esta soluo muito engenhosa e tem grande interesse histrico, porque o mais antigo exemplo de soluo de um problema de geometria plana usando geometria espacial, e a curva usada a mais antiga curva reversa conhecida. [TEIXEIRA, 1995, p. 290] Comentando a verso original, geomtrica, desta soluo, van der Waerden afirma que Isso admirvel. rquitas deve ter tido realmente uma inspirao divina quando achou esta construo. [van der WAERDEN, p. 151]
e- A soluo achada por Menecmo
2 2

OB2 = a OC,

b OB = a OD.

OB2 = a OC,

Menecmo viveu em torno de 350 a.C. Em seu comentrio sobre o primeiro livro de Euclides, Proclus, no assim chamado Sumrio de Eudemo, afirma que Menecmo foi um aluno de Eudoxos e um membro dos filsofos e matemticos em torno de Plato. Ele era irmo de Dinostrato o qual, segundo Proclus, aperfeiou ainda mais a geometria. Se x e y So duas meias proporcionais entre a e b, temos que a x y = = x y b y 2 = bx, (27) .

Isso inteiramente equivalente s equaes simultneas xy = ab.

13

Assim, para resolver o problema, suficiente achar a interseco das parabolas e hiperboles definidas por estas equaes, respectivamente. As coordenadas deste ponto so as meias proporcionais que estamos procurando. bvio que (27) tambm equivalente a y 2 = bx, x 2 = ay . Desta maneira o problema pode tambm ser resolvido usando duas parbolas cujos vrtices coincidem e cujos eixos so ortogonais.. Estas duas solues so descritas por Eutcio em seu comentrio do Tratado sobre a esfera e o cilindro de Arquimedes. Nem todas as solues deste problema consistiam em inserir duas meias proporcionais entre duas grandezas dadas. Isso pode ser verificado pela soluo devida a Diocles.
f- O mtodo de Diocles

A soluo de Diocles se baseia na cisside, uma curva definida como segue: Seja uma circunferncia que passa pela origem O do sistema de coordenadas, tem seu centro sobre o eixo dos x e dimetro igual a 1. Sejam I=(1,0)e U=(0,2). Seja r a reta vertical que passa por I. Seja P um ponto sobre a circunferncia. A reta que passa por O e por P intercepta r no ponto P. Tome o ponto P' sobre OP'' tal que OP = P '' P ' . A cisside o lugar geomtrico do ponto P quando P percorre a circunferncia.

FIGURA 9 A equao polar da circunferncia

2R Como R =

= cos

= 2R cos

1 , a equao se reduz a = cos . 2 1 . cos

Por outro lado, OP '' =

Como OP ' = P ' P '' = OP '' e OP = P ' P '' , segue-se que OP ' = OP '' OP , de maneira que a equao polar da cisside

1 sen2 cos = cos cos

Assim, a equao cartesiana da cisside

14

y2 2 tg y2 x = cos = sen2 = = 2x 2 = 2 x +y 1 + tg2 x + y2 x2

2

ou seja x(x 2 + y 2 ) y 2 = 0. Agora, acharemos o ponto de interseco, Z=(a,b), da reta IU com a cisside. A equao cartesiana da reta IU y = 2(1 x ) , de maneira que b = 2(1 a ) , e assim a(a 2 + b 2 ) b 2 = 0 a3 + ab 2 b 2 = 0
a3 = b 2 (1 a ) = b3 2

2a3 = b3 Achemos agora a interseco da reta y = 3 2 x , que passa por O e por Z com a reta x = 1 . Esta interseco o ponto Q: b =32 Se temos um cubo cuja aresta mede 1, para duplicar seu volume, devemos achar a aresta y de um cubo que tem volume 2. Ou seja, devemos ter y = 3 2 . Assim, vemos que a ordenada b achada acima resolve o problema.
g- O mtodo de Hiero

Descrevemos, a seguir, o mtodo proposto por Hiero para achar duas meias proporcionais entre dois comprimentos a e b.

FIGURA 10 Construa o retngulo OACB, no qual AO=a e OB=b. Seja D o centro do retngulo. Tome uma rgua que passa por C e sejam E e F seus pontos de interseco com as retas definidas por AO e OB respectivamente. Faa a rgua girar at que DF=DE. Afirmamos ento que BF=x e AB=y so as duas meias proporcionais entre a e b. Com efeito, usando a semelhana dos tringulos FBC, CAE e FOE, temos que a y a+y = = . x b b+x
15

1 1 1 1 Como DE = DF , segue-se que y + a + b2 = x + b + a 2 , de maneira que 2 4 2 4 x a+y a y y (a + y ) = x (b + x ) e disso decorre que = = = e da vemos facilmente que y b+x x b a x y = = . x y b
2 2

Mais detalhes sobre a duplicao do cubo podem ser achados em [HEATH, 1981, vol 1, pp 244-270]. Uma explicao lcida da soluo de rquitas encontra-se em [van der Waerden, pp. 150-152], [HEATH, 1981, vol 1, pp. 246-249] e [TEIXEIRA, 1995, pp 285-326] o qual apresenta um total de 17 solues, incluindo os mtodos propostos por Vite, Descartes, Fermat, Newton e Clairaut.

A QUADRATURA DO CRCULO
Como j dissemos, quadrar o crculo, ou seja, traar, com rgua e compasso, um quadrado com rea igual rea do crculo um problema bem natural, uma vez resolvido o problema de fazer a quadratura de formas poligonais. Veremos agora como os matemticos gregos encontraram maneiras de resolver este problema usando curvas e construes que no podem ser construdos somente com rgua e compasso. A origem do interesse grego nos problemas de quadratura pouco conhecida. Segundo Zsabo [ZSABO, 2000], o problema primitivo do qual se originaram todos os outros foi o da quadratura do retngulo. Aristteles afirma que a origem deste problema foi a procura da mdia geomtrica, mas que isso foi esquecido e que s foi preservado o problema.

a- A quadratriz
Esta curva notvel resolve dois dos problemas clssicos: a quadratura do crculo e a triseco de um ngulo arbitrrio. Para constru-la, suponhamos que no quadrado ABCD o lado AD gira com movimento circular uniforme em torno de A at que coincide com o lado AB. Ao mesmo tempo, o lado DC desce com velocidade constante at coincidir com AB. Os dois movimentos esto sincronizados de maneira que ambos os lados, DC e AD coincidam com AB no mesmo instante.

FIGURA 11 A quadratriz o lugar geomtrico gerado pelas interseces destes dois lados mveis. a curva DPZ da FIGURA 11. A quadratriz foi inventada por Hpias de Elis (viveu em torno de 420 a.C.), originariamente em suas tentativas para trissectar o ngulo. Tudo indica que foi Dinostrato (viveu em torno de 350 a.C.) quem pela primeira vez usou esta curva para fazer a quadratura do crculo.

16

Afirmamos que AZ = sejam

2a

AB = AD = DC = a . Ento, devido y proporcionalidade dos dois movimentos, temos que = k , com k uma constante de o ngulo PAZ,
x = MP,

, sendo a o comprimento do lado do quadrado. Com efeito, y = AM e

proporcionalidade. Quando =

, temos que

de maneira que

a 2

=k

k= e podemos concluir que

2a

2a

=
e assim

y
2a

y =

y=

2a

y 2a = . sen sen

Para achar a equao polar da quadratriz temos: y

Quando 0 ,

= sen

lim

sen

=1

e temos que AZ = = 2a

. 2a fcil construir para fazer a 2a

Tendo construdo um segmento de comprimento

quadratura do crculo. Com efeito, fcil dividir, usando somente rgua e compasso, 2a e em seguida tomar o inverso de 1

por

Um tratamento mais completo do problema da quadratura do crculo pode ser encontrado em [HEATH, 1981, vol I, pp 220-235]. Uma boa exposio encontra-se em [TEIXEIRA, 1995, pp 362-384]. A histria detalhada de pode ser lida em [BECKMANN, 1977].

17

A TRISECCO DO NGULO.
Voltamo-nos agora para o terceiro dos problemas clssicos, ou seja, a trisseo de um ngulo qualquer. Este problema pode ser resolvido de vrias maneiras. Acredita-se que Hipias de Elis, que viveu no sculo V a.C. foi um dos primeiros a tentar resolver o problema da trisseco, utilizando curvas e construes que no podem ser desenhadas somente com rgua e compasso. Faremos, em primeiro lugar, uma digresso sobre as construes por ajustamento (neusis). Em uma construo neusis deve-se ajustar um segmento dado entre duas curves dadas, com a exigncia de que o segmento passe por um ponto dado. Nas palavras de Heath Assim, uma linha reta tem que colocada entre duas linhas ou curvas de maneira que passe por um ponto dado e o segmento determinado sobre ela pelas interseces com as linhas ou curvas igual a um comprimento dado. [HEATH, 1953, p. c] Mostremos um exemplo de uma construo neusis.

a- A triseco do ngulo por Arquimedes

A construo que mostraremos a seguir um dos exemplos das vrias solues do problema da trisseco do ngulo propostas por Arquimedes.

FIGURA 12 Suponha que desejamos trissectar o ngulo BOA. Tome uma reta r que passa por B e, tendo o cuidado para que ela sempre passe por B, movimente-a para que o segmento MN seja igual ao raio OM do crculo. Isso exatamente o que se denomina uma construo neusis: Ajustamos um segmento (o raio OM) entre o crculo e a linha reta que passa por C e por A. Observe que os tringulos NMO e MOB so issceles, de maneira que x=ngulo MNO= ngulo MON. De maneira semelhante, ngulo BMO= ngulo OBM. No tringulo NOM o teorema do ngulo externo fornece que ngulo BMO= ngulo MBO= 2x ngulo MNO. Aplicando o teorema do ngulo externo agora ao tringulo BNO, vemos que ngulo BOA= ngulo BNO+ngulo MBO= 3xngulo BNO e vemos assim que com esta construo foi possvel dividir o ngulo BOA em trs partes iguais.

b- A triseco do ngulo por Nicomedes.

Suponha que desejamos trisectar o ngulo =AOB. Por B levante uma reta perpendicular a OB e por A uma reta paralela a OB. Trace uma reta por O e sejam P e C suas interseces
18

com AB e AC respectivamente. Mova-a de maneira que PC=2OA Afirmamos que ngulo POB= ngulo AOB/3.

FIGURA 13 Com efeito, seja D o ponto mdio de PC. Ento o tringulo APC est inscrito em um crculo de centro D e raio PD, e assim PD=AD=DC=OA. Sejam = AOD = ADO e = DAC = ACD . Aplicando o teorema do ngulo externo ao tringulo ADC vemos que = 2 . Como AC e OB so paralelas, segue-se que = POB e portanto = 3 . A construo neusis usada neste problema pode ser efetuada usando a conchide de Nicomedes, cuja definio dada a seguir.

FIGURA 14 Sejam K um ponto fixo, o plo da conchide, e uma linha reta SA, denominada diretriz da conchide, e um comprimento fixo a, chamado de distncia da conchide. A conchide a curva gerada por P quando S se desloca sobre SA e o o comprimento do segmento PS permanece sempre igual a a. Para vermos como a conchide pode ser usada para a triseco do ngulo proposta por Nicomedes, trace a conchide com plo C, diretriz AB e distncia igual a duas vezes OA. A interseco C desta conchide com a paralela a OB que passa por A o ponto procurado, como j foi mostrado. A conchide pode tambm ser usada na duplicao do cubo feita por Nicomedes. Com efeito, a interseco K da conchide cujo plo F, diretriz CH e distncia AD com a linha reta definida por G e C exatamente o ponto que achamos anteriormente ( compare com a FIGURA 6).

c A triseco do ngulo usando a quadratriz

Como j dissemos, a quadratriz foi utilizada em primeiro lugar para resolver o problema da triseco do ngulo. Como acontece freqentemente em Matemtica, foi logo depois observado que ela tambm permite resolver o problema da quadratura do crculo. Algo anlogo verificamos com a conchide, que pode ser utilizada para resolver vrios problemas de construo.

19

FIGURA 15 Suponha que desejamos dividir o ngulo PAZ em trs partes iguais. Por P, trace a paralela a AZ que intercepta AD em R. Divida o segmento AR em trs partes iguais, em S e U. Por U trace a paralela a AZ que corta a quadratriz no ponto T. Por proporcionalidade, o tempo gasto por P para chegar a T igual ao tempo gasto por R para chegar a U, e igual a 1/3 do tempo que P gasta para chegar a Z. Assim PAZ = 3 TAZ . Esta a soluo mais antiga que conhecemos para o problema da triseco do ngulo. Um tratamento mais amplo deste problema pode ser encontrado em [HEATH, 1981, vol I, pp 235244]. Para uma discusso geral de problemas resolvidos usando construes neusis, ver [HEATH, 1953, Captulo V, pp. c-cxxii] e um tratamento mais didtico em [YATES, 1971]. Vrias outras construes podem ser achadas em [TEIXEIRA, 1995, pp. 327-358]. Consultar tambm [DUDLEY, 1987] em que se encontram muitos processos aproximados ou exatos para trissectar um ngulo.

20

REFERNCIAS BIBLIOGRFICAS
BECKMANN, Peter. - A history of pi. 4th ed. Boulder, Colorado: Golem Press, 1977. BOS, Henk J. M. Redefining geometrical exactness: Descartes transformation of the early modern concept of construction. New York: Springer, 2001. BUNT, Lucas N. H., JONES, Phillip S. and BEDIENT, Jack D. - The historical roots of elementary mathematiIcs. New York: Dover, 1988. COURANT, Richard and Herbert ROBBINS What is mathematics? New York: Oxford University Press, 1996. BKOUCHE, Rudolf et Jolle DELATTREt - ''Pourquoi la rgle et le compas'', in Comission InterIREM, Histoire de problmes, Histoire des Mathmatiques. Paris: -Ellipses, 1993. DUDLEY, Underwood A budget of trisections. New York: Springer, 1987. EVES, Howard - Introduo Histria da Matemtica. Campinas: Editora da UNICAMP, 1995. HADLOCK, Charles Robert - Field theory and its classical problems. Washington, DC: Mathematical Association of America, 1978. (Carus Mathematical Monographs 18). HEATH, T.- A history of Greek mathematics, two volumes. New York: Dover, 1981. HEATH, T.- The works of Archimedes. New York: Dover, 1953. KLEIN, Felix -- Famous problems of elementary geometry, translated by Wooster Woodruff Beman e David Eugene Smith. New York: G. E. Stechert & Co. 1930. KNORR, Wilbur Richard The ancient tradition of geometric problems. Boston, Basel, Stuttgart: Birkhuser, 1986. RAIGORODSKII, Andrei M The Borsuk partition problem: the seventieth anniversary. The mathematical intelligencer, vol 26, n. 3, 2004, pp 4-12. SANTOS, Christovam dos - Trisseco de um ngulo. Revista Brasileira de Matemtica. Ano 2, n. 5, jan/1931, p. 43 47. SCRIBA, Christoph J. On the so-called `Classical Problems' in the History of Mathematics, in Ivor Grattan-Guinness (ed.) Cahiers d'Histoire & de Philosophie des Sciences, no 21-1987, History in mathematics education. Proceedings of a Workshop held at the University of Toronto, Canada, July- August 1983. Paris: Belin, 1987. SIMSON, Robert Elementos de Euclides. Dos seis primeiros livros, do undcimo e duodcimo, da verso latina de Frederico Commandino, addicionados e ilustrados por Roberto Simson, Professor de Mathematica na Academia de Glasgow. Coimbra: Real Imprensa da Universidade, 1773. Com privilgio real. SZABO, Arpad Laube des mathmatiques grecques. Paris: Vrin, 2000. TEIXEIRA, Francisco Gomes - Trait des courbes spciales planes et gauches, vol III. Paris: Jacques Gabay, 1995. 1 ed. Coimbra: Universidade de Coimbra, 1909). van der WAERDEN, B. L.- Science Awakening I. Third edition. Gronigen: Wolters Noordhoff. YATES, Robert C.-The trisection problem. Reston, Virginia: The National Council of Teachers of Mathematics, 1971. Classics in mathematics education, vol 4.

21