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
2

DB = 2 AB

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

(1)

Como os tringulos AZK e BHK so semelhantes, temos

AZ KA KZ
=
=
.
BH KB KH

(2)

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

KZ BZ KB
=
=
.
KH CH KC

(3)

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

BH KH KB
=
=
.
CT KT KC

(4)

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

KH CH KC
=
=
.
KT DT KD

(5)

De (1) e (2) obtemos que

AE KA KE AZ KZ
=
=
=
=
BZ KB KZ BH KH
pois as duas sries de propores tm
Como

(6)

KA
em comum.
KB

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

(7)
KB
em comum, que
KC

AE BZ KZ BZ BH KH
=
=
=
=
=
.
BZ CH KH CH CT KT
Alm disso, como (5) e (8) tm

(8)

KH
em comum, obtemos
KT

AE BZ BH CT BH KH CH
=
=
=
=
=
=
BZ CH KH CH CT KT DT

(9)

do que decorre, finalmente, que

AE BZ CH
=
=
.
BZ CH DT

(10)

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 :
5

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

BK KC + CE = EK .

(12)

temos

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

2

BK KC + CF = FK .

(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

(16)

Como os tringulos GFK e CHK so semelhantes, temos

GC FH
=
CK HK

(17)

e da segue-se que
MA GC FH
=
=
.
AD CK HK

(18)

Temos ento que

MA + AD FH + HK
=
AD
HK

(19)

e assim
MD FK
=
.
AD HK

(20)

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

temos
2

BK KC + CF = FK .

(21)

Usaremos mais uma vez Euclides II-6 aplicado ao segmento BA , cujo ponto mdio D
e prolongado at M :
2

BM MA + AD = MD .

Como MD = FK , vemos que

10

(22)

BM MA + AD = FK .

(23)

Comparando (21) e (23) vemos que

BM MA = BK KC

(24)

de maneira que
BM CK
=
.
BK MA

(25)

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

BM MA LC
=
=
.
BK AL CK

(26)

Finalmente, usando (25) e (26), temos que:

LC CK MA
=
=
.
CK MA AL

(27)

Como LC = AB, AL=BC , temos, enfim, que

AB CK MA
=
=
.
CK MA BC

(28)

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

Sejam x=FH e y=CK.
Nos tringulos retngulos EFK e EFC temos que
2

EF + EK = FK
EF + EC = FC

(I)
(II)

De (I) e de (II) vemos que

2

FK EK = FC EC

E assim
1
b+ x
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
=
y b

x y a
= =
y b x

(2)

De (1) e (2) vemos que

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,
2

OC = a OD,

OB2 = a OC,

b OB = a OD.

Disso, decorre que

2

OC = b OD,

OB2 = a OC,

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

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

(27) .

Isso inteiramente equivalente s equaes simultneas

y 2 = bx,

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

Por outro lado, OP '' =

1
.
cos

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
tg
y2
x2
=
x = cos = sen2 =
=
x2 + y 2 x2 + y 2
1 + tg2
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

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 =

2a

, sendo a o comprimento do lado do quadrado. Com efeito,

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

sejam

o ngulo PAZ,

x = MP,

proporcionalidade. Quando =

y = AM

, temos que
a

=k

de maneira que
2a

k=

e podemos concluir que

y
2a

y =

2a

e assim
y=

2a

Para achar a equao polar da quadratriz temos:

y

= sen

y
2a
=
.
sen sen

Quando 0 ,
lim

sen

=1

e temos que
AZ = =

2a

Tendo construdo um segmento de comprimento

2a

fcil construir para fazer a

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

2a

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