Você está na página 1de 16

UMA ANLISE SOBRE A IMPOSSIBILIDADE DA TRISSECO DO NGULO

Everaldo Fernandes Barbosa


1


Filosofia da Educao Matemtica

Resumo
A trisseco de um ngulo utilizando apenas rgua e compasso um dos trs problemas mais famosos
da antiguidade. Apenas com a evoluo dos conceitos matemticos, na sua grande maioria, inter-relacionados,
esses problemas foram completamente esclarecidos. O objetivo desse trabalho mostrar, por meio da anlise da
impossibilidade da trisseco do ngulo, a complementaridade entre aritmtica e geometria que originou novos
conhecimentos.


Palavras chave: Trisseco do ngulo. Complementaridade. Produo de Conhecimento.


ANLISE DO PROBLEMA DA TRISSECO DO NGULO POR NUSIS

As tentativas de resolver o problema de trisseco do ngulo foram importantes para o
desenvolvimento matemtico. Com os gregos, surgem vrias solues com apenas rgua no
graduada e compasso, mas eram construes moles denominadas construo de Nusis do
verbo grego neuein, que significa apontar.
Consideremos um ngulo qualquer ABC, que pretendemos trissectar. Sejam AB e BC
os lados desse ngulo, como mostra a figura 1 abaixo.

Figura 1: Trisseco do ngulo utilizando-se o mtodo Nusis.
Fonte: Software Geogebra.

Pelo ponto A de um dos lados, vamos traar uma paralela e uma perpendicular ao
outro lado. O segmento DE inserido entre estas duas retas de modo que o seu comprimento

1
Mestre em matemtica pela Universidade Estadual de Campinas - UNICAMP. Aluno de doutorado da
Universidade Bandeirante de So Paulo UNIBAN. E-mail: profever@hotmail.com
2

seja o dobro do comprimento do segmento AB (isso o que denominamos por construo
mole) e, ainda, de tal modo que o ponto B, vrtice do ngulo a trissectar, esteja no seu
prolongamento. Ento, o ngulo DBC a tera parte do ngulo ABC.
O procedimento que se segue no intuito de verificar que o ngulo ABC trissectado
pela reta DB (figura 2). Marcamos H, ponto mdio do segmento DE e, tracemos o segmento
de reta AH. A reta DE intersecta as retas paralelas AE e BC, formando os ngulos alternos
internos HEA e DBC que so geometricamente iguais. O ngulo EAD reto, ento podemos
inscrev-lo em uma semicircunferncia cujo dimetro seja DE e centro no ponto H. Assim,
visto que por construo os segmentos HE e HA so iguais, o tringulo AHE issceles e,
portanto, os ngulos EAH e HEA so iguais. DE o dobro do comprimento BA, H o ponto
mdio de DE e AB igual a AH, chegamos a concluso que o tringulo ABH issceles,
portanto os ngulos ABH e BHA so iguais.

Figura 2: Justificativa geomtrica da trisseco do ngulo pelo mtodo de Nusis.
Fonte: Software Geogebra

Como o ngulo BHA um ngulo externo ao tringulo AHE, possvel afirmar que o
ngulo BHA igual soma dos ngulos internos opostos, EAH e HEA. Mas, o ngulo BHA
o dobro do ngulo HEA (ou do ngulo EAH) e como o ngulo ABD igual ao ngulo BHA
tem-se que o ngulo DBC metade do ngulo ABD e, finalmente, que o ngulo DBC a tera
parte do ngulo ABC.
Pelo que foi exposto acima, o problema da trisseco de um ngulo agudo fica
resolvido se soubermos inserir o segmento DE (duplo de BA) entre as retas FA e AE
apontando para o ponto B. Assim, o problema da trisseco do ngulo, foi reduzido a outro,
que os gemetras gregos designaram por problema de construo por Nusis.
3

As solues do problema de trisseco do ngulo atravs de construes mecnicas
no agradavam aos gregos. Contudo, uma alternativa diferente dessas veio apenas com
Descartes (1596 - 1650). Com ele, comeou o que podemos chamar de o germe da prova da
impossibilidade de trissectar o ngulo com rgua no graduada e compasso. Foi a interao
entre a aritmtica e geometria, ou seja, entre figuras e nmeros, que possibilitou a criao da
lgebra de segmentos aliada a teoria de proporcionalidade, oportunizando assim, passar de um
problema geomtrico ao problema algbrico que, de acordo com Eves (2002, p. 134), um
produto desse pensamento relacional levou a descobertas frutferas ligadas ao domnio de
racionalidade, nmeros algbricos e teoria dos grupos. Nesse sentido dizemos que houve
produo de conhecimento. Foi necessrio o desenvolvimento de novos mtodos e teorias
para justificar e resolver problemas como esse da trisseco do ngulo. No estamos falando
que a teoria de grupos surgiu diretamente a partir da trisseco do ngulo, porque antes disso,
formalizaram-se outras, como por exemplo, a teoria dos nmeros, mas so problemas como
esses que desencadeiam uma srie de descobertas inter-relacionadas que permitem produzir
novos conhecimentos.

ANLISE DA INTERAO ENTRE ARITMTICA E GEOMETRIA

A interao da aritmtica com a geometria deu incio com Descartes na tentativa de
justificar seu mtodo cientfico de estabelecer a verdade nas cincias. Descartes buscava um
mtodo onde generalizava a verdade para todos os ramos da cincia, evitando uma cincia
compartimentalizada. Todos aqueles que procuraram a verdade nas cincias, s os
matemticos puderam encontrar razes certas e evidentes, [...] aproveitei o melhor da anlise
geomtrica e da lgebra, e assim, corrigi todos os defeitos de uma pela outra (DESCARTES,
1989, p. 46). Descartes procurou por um mtodo geral de pensamento capaz de facilitar as
descobertas e encontrar a verdade nas cincias (STRUIK, 1987, p. 96).
Na representao de curvas por Descartes encontramos uma estreita analogia que ele
faz entre as operaes com linhas retas e operaes com nmeros. Em particular, pela
suposio de uma linha de unidade escolhida arbitrariamente, ele capaz de interpretar a
multiplicao de duas linhas retas, como deu origem a uma terceira linha reta ao invs de um
retngulo. Esta etapa foi de fundamental importncia para tornar mais fcil a representao de
curvas em termos algbricos.
Na primavera de 1619, ele tentou realizar a unificao da Aritmtica com a Geometria
usando compassos. O compasso desempenhou uma importante funo no desenvolvimento
4

cientfico do sculo XVI e XVII. Galileu e Descartes acreditavam que os compassos poderiam
fornecer as bases para o desenvolvimento e unificao da Aritmtica com a Geometria.
Numa famosa carta a Beeckman, datada de 26 de maro de 1619, Descartes indica
como esses compassos foram assumindo uma posio terico fundamental em seu
pensamento. Essas descoberta que foram surgindo proporcionaram toda uma nova viso para
o avano matemtico. Vejamos um trecho da carta.
Descobri quatro demonstraes admirveis e completamente novas. A primeira
refere-ser ao famoso problema de dividir um ngulo em um nmeros qualquer de
partes iguais. As outras trs dizem respeito a trs tipos de equaes cbicas: a
primeira classe com um nmero inteiro, razes e cubos [x
3
= a bx]; a segunda,
com um nmero inteiro, quadrados e cubos [x
3
= a bx
2
]; e a terceira, com com
inteiro, razes, quadrados e cubos [x
3
= a bx cx
2
]. [...] Com esses recursos, ser
possvel resolver um nmero quatro vezes maior de problemas, e muito mais
difceis, do que se consegue com lgebra comum. [...] Permita-me ser sincero
acerca do meu projeto. O que quero produzir no algo como a Ars BrEvis de Lull,
mas, antes, uma cincia inteiramente nova, que ir prover uma soluo geral para
todos os problemas possveis envolvendo qualquer tipo de quantidade, seja ela
contnua ou discreta, de acordo com sua natureza. Pois, como na aritmtica, algumas
questes so resolvidas pelos nmeros racionais, outras apenas por nmeros
irracionais e, finalmente outros podem ser imaginados, mas no resolvidos. Assim,
espero poder demonstrar que alguns problemas envolvendo quantidades contnuas
podem ser resolvidos por meio de curvas produzidas por um nico movimento,
como as curvas que podem ser traadas com os novos compassos (penso que estas
so to exatas e geomtricas quanto aquelas que so traadas com compasso
ordinrios), e outros ainda que podem ser resolvidos somente por curvas geradas por
movimentos distintos e idependentes, os quais, certamente, so apenas imaginrios,
como a notria curva quadrtica (quadratriz). No h, creio, nenhum problema
imaginvel, qualquer que ele seja, que no possa ser resolvido, como esses, por tais
curvas. Espero poder demonstrar quais tipos de problemas podem ser resolvidos
exclusivamente por um ou outro meio, de modo que quase nada em geometria reste
a ser descoberto (BROUGHTON & CARRIERO, 2011).

Nesta carta, Descartes ainda diz que se pode ter um conhecimento exato das medidas
das curvas, de acordo com alguns critrios que so determinados por movimentos e, que em
La gomtrie ele explica claramente em termos de equao:
Poderia dar aqui muitos outros meios para traar e conceber linhas curvas que
fossem mais e mais compostas, por graus, at o infinito. Mas para compreender em
conjunto todas as que esto na natureza, e distigui-las por ordem em certos gneros,
no conheo nada melhor que dizer que todos os pontos das que podem designar-se
geomtricas, isto , que admitem certa medida precisa e exata, tm necessariamente
alguma relao com os pontos de uma linha reta, que pode ser expressa por alguma
equao, a mesma para todos os pontos (DESCARTES, 1886, p. 17)
Usando o compasso mesolbio, Descartes resolveu trs tipos de equaes cbicas:
x
3
= a bx cx
2
(1)
x
3
= a bx
2
(2)
x
3
= a bx (3)
5

onde a, b, c so constantes positivas.
Veremos que a equao (3) nos dar a soluo para o problema da trisseco do
ngulo, onde a determinar o ngulo que queremos trisseccionar e as razes da equao
cbica, de acordo com um a fixo e b = 3, ns dar o tero do ngulo geral dado.
Descartes, de fato, introduziu uma variedade de compassos, mas aqui descreveremos
somente o compasso mesolbio que pode ser pensado como uma mquina que consiste de
diversas rguas dispostas em conjunto, como mostra a figura 3 a seguir.

Figura 3: O compasso de Descartes.
Fonte: Software Cabri Geometry

Descartes, no seu segundo livro explica como construdo o compasso e como ele
funciona:
Sejam as linhas AB, AD, AF, semelhantes, que suponho descritas com ajuda o
instrumento YZ, composto de vrias rguas unidas de tal modo que aplicada a rgua
YZ sobre a linha AN se pode abrir ou fechar o ngulo XYZ, que estando todo fechado
aos pontos B, C, D, E, F, G, H, coincidem com o ponto A; mas medida que ele se
abre, a rgua BC, que faz ngulo reto com XY no ponto B, empurra para Z a rgua
CD que corre sobre YZ, formando sempre com ela ngulos retos; e CD empurra DE
que corre sobre YX, mantendo-se paralela a BC; DE empurra EF; EF empurra FG;
esta, GH; e podem imaginar-se uma infinidade de outras que se empurram
sucessivamente do mesmo modo, umas formam sempre os mesmos ngulos com YX,
e as outras com YZ (DESCARTES, 1886, p. 17).
Agora descartes continua sua explicao mostrando como so geradas as curvas.
medida que se abre o ngulo XYZ, o ponto B descreve a linha AB, que um
crculo; e os outros pontos D, F, H, que correspondem s interseces das outras
rguas, descrevem as curvas AD, AF, AH, das quais as ltimas so, por conseguinte,
mais compostas que a primeira, e esta, mais que o crculo (DESCARTES, 1886, p.
17).
A partir desse compasso podemos, atravs de semelhana de tringulos, obter as
seguintes propores:
... = = = = = =
YH
YG
YG
YF
YF
YE
YE
YD
YD
YC
YC
YB

C
B
A
Y
Z
E
X
D
F
H
G N
6

Fazendo YA = YB = 1 e, YC = x, obtemos a proporo:
...
1
5
4
4
3
3
2
2
= = = = =
x
x
x
x
x
x
x
x
x

No livro Cogitationes Privatae Descartes apresenta uma soluo para a equao
cbica x
3
= x + 2. Como vimos, da figura 3 obtemos as seguintes propores:
YE
YD
YD
YC
YC
YB
= =
Dessas propores podemos tirar as seguintes relaes:
YC
YD
YE
2
= (4)
e,
YB
YC
YD
2
= (5)
De (4) e (5), temos:
2
3
2
4
2
2
1
.
YB
YC
YC YB
YC
YC
YB
YC
YE = =
|
|
.
|

\
|
=
ou seja,
2
3
YB
YC
YE =
Como YE = YA + AC + CE e, fazendo YA = YB = 1 e YC = x, temos:
3
) 1 ( 1 x CE x = + +
Assim,
x
3
= x + CE
Diante disso, tudo que precisamos fazer para resolver a equao cbica x
3
= x + 2
abrir o compasso de tal modo que CE seja igual a 2 de forma que YC nos dar uma raiz real
positiva.

A EQUAO DA TRISSECO DO NGULO

Veremos nessa seo como transformar o problema geomtrico da trisseco do
ngulo em um problema aritmtico. Consideremos a figura 4 onde pretendemos trissectar o
7

ngulo ABC. Nosso problema
2
se resume a encontrar o ponto E na figura de forma que o
ngulo DBC seja a tera parte do ngulo ABC. Para isso, vamos construir o segmento AI,
perpendicular a DE. Considerando AB = a e, considerando que, DE o dobro de AB, ento
DE = 2a. Considerando ainda que H o ponto mdio de DE, temos que: AH = DH = HE = a.

Figura 4: Transformao de um problema geomtrico em um problema algbrico.
Fonte Software Geogebra

Assim como Descartes nos aconselha, vamos dar nomes aos segmentos que so
indeterminados. Vamos nomear, ento, BF por b, AE por x e BD por y. Sendo os tringulos
ADE, DFB e AIE semelhantes, a seguinte relao vlida:
AE
IE
DB
FB
DE
AE
= = (6)
O tringulo ABH issceles, com AB = AH, o p da perpendicular AI em BH o ponto
mdio de BH. Assim,
2 2
1 a y
BH IH
+
= =
e
HE IH IE + =
Ou seja,
2
3
2
a y
a
a y +
= +
+

Assim, podemos escrever (6) da seguinte forma:
x
a y
y
b
a
x
2
3
2
+
= = (7)
a um ponto qualquer de um dos lados do ngulo ABC, o que significa que, sem perda de
generalidade, podemos tomar AB = 1, ou seja, a = 1.

2
A soluo que ser apresentada adaptada de Sousa, 2001.
8

Assim a relao (7) toma a forma
x
y
y
b x
2
3
2
+
= =
donde se obtm xy = 2b e x
2
= y + 3.
Finalmente, obtemos a equao seguinte que designaremos por equao da trisseco:
x
3
3x 2b = 0 (8)
A partir da anlise geomtrica do problema, aplicando a tcnica de semelhanas de
tringulos, transpomos as investigaes para um mbito algbrico. Dessa forma, esperamos
buscar uma soluo aceita na matemtica que no seja uma soluo por Nusis. O problema
agora se restringe a equao cbica. Est equao, ser nosso objeto de estudo. Suas razes
nos permitir deduzir quais so os ngulos passveis de serem construdos com rgua no
graduada e compasso e, a partir delas [das razes], vamos mostrar a impossibilidade de
construir um ngulo geral com rgua no graduada e compasso.

NMEROS CONSTRUTVEIS

Substitumos o problema anteriormente geomtrico por um problema a ser resolvido
por uma equao algbrica. A soluo de uma equao do tipo (8) permite avaliar se
possvel construir curvas geomtricas com ferramentas euclidianas. Um segmento AP ser
construtvel a partir de AB se P, ou equivalentemente, se o nmero x for construtvel
(OLIVEIRA, 1997, p. 126). Dizemos que um nmero real positivo construtvel se
conseguirmos construir um segmento cuja medida do comprimento , num nmero finito de
passos a partir do segmento que tomamos como unidade, usando uma rgua no graduada e
compasso (SILVA ; SANTOS, 2007, p. 57). Assim, em vez de segmentos ou figuras
construtveis, consideremos nmeros construtveis. Dessa forma, a interao entre esses dois
campos das cincias fundamental para a interpretao e soluo do problema da trisseco
do ngulo.
Existem condies necessrias para que um nmero seja construtvel. Os nmeros
inteiros so construtveis a partir da transferncia do segmento [0,1] com o compasso. Assim,
constri-se o 2,3,4, e os nmeros negativos ,3, 2, 1. Para construmos os nmeros
racionais, adotamos o procedimento que Descartes usou para encontrar o quociente de um
nmero.
Traamos duas retas concorrentes no ponto A. Uma reta horizontal AB e uma reta
oblqua AC (figura 5). Vamos considerar o segmento de reta AB a unidade, ou seja AB = 1.
9

Unindo-se os pontos B e C obtemos o segmento de reta BC. Paralelo a BC traamos quantos
outros quisermos, sempre paralelos. Seja DE um segmento paralelo a BC. Assim, como AC
proporcional a AE e AB proporcional a AD e possui o ngulo BAC em comum, os
tringulos ABC e ADE so proporcionais, ento podemos escrever a seguinte relao:
AE
AD
AC
AB
= . Como AB = 1, temos:
AD
AE
AC =

Figura 5:Construo geomtrica de um nmero racional.
Fonte: Software Geogebra
Por exemplo, seja construir o nmero racional
3
2
. Traamos uma reta horizontal
deteminada pelos pontos A e B e uma reta oblqua a esta passando por A. Devemos dividir
ento o segmento AB em trs partes iguais cada uma correspondendo a
3
1
do segmento AB.
Partindo de A, marcamos com um compasso, trs pontos equidistantes entre si. Sejam eles, C,
D e E como mostra a figura 6 abaixo.

Figura 6: Construo geomtrica do nmeor 2/3.
Fonte: Software Geogebra

Traamos o segmento de reta BE. Paralelo a BE traamos GD e FC, onde F e G so,
respectivamente, os pontos de interseco do segmento FC e GD com a reta horizontal AB. Os
10

tringulos formados na figura 6 so proporcionais por terem seus respectivos lados
proporcionais e o ngulo EAB em comum, ento podemos escrever a seguinte proporo:
AD
AG
AE
AB
=
AB = 1, AE = 3AC e AD = 2AC, ento:

AC
AG
AC 2 3
1
=
Ou seja,
3
2
= AG
Concluimos que partindo da unidade, atravs de um nmero finito de vezes, das
operaes aritmticas bsicas, que correspondem estrutura de corpo
3
, possvel construir o
conjunto dos nmeros racionais. Portanto, o conjunto Q dos nmeros racionais construtvel.
Veremos mais adiante que, com a teoria de extenso de corpos, possvel construir nmeros
irracionais como 2 , 3 , etc. No entanto no possvel construir todos os nmeros reais
devido ao fato dos nmeros transcedentes, como por exemplo, o nmero e o nmero e, no
serem construtveis.
Uma condio no suficiente, mas necessria para que um nmero pertencente a um
conjunto F
0
seja construtvel, que exista uma extenso do corpo F
0
, ou seja, exista F
1
tal
que F
0
c F
1
. A extenso desse corpo, por sua vez, deve ser uma extenso quadratica, isto ,
que exista uma extenso F() de F de tal forma que
2
e F e e F. Como exemplo, vamos
considerar = 2 . Podemos dizer que um nmero que pertence ao conjunto dos nmeros
reais e
2
um nmero que pertence ao conjunto dos nmeros racionais, dessa forma,
2
e Q
e e Q. Esse nmero raiz de um polinmio p(x) = x
2
2.
Dessa forma, chegamos a concluso de que um nmero construtvel se ele for raiz
de um polinmio mnico
4
, irredutvel
5
e no nulo p(x). Nesse caso, dizemos que um
nmero algbrico. O nmero , por exemplo, no um nmero algbrico, pois no raiz de
nenhum polinmio p(x). Sendo assim, esse nmero no construtvel enquanto que o um

3
Para um estudo da estrutura de corpo ver GONALVES, 1979.
4
Mnico: o termo de maior grau 1.
5
Irredutvel quando os nicos divisores do polinmio so constantes, ou seja, o nico divisor do polinmio p(x)
uma constante c.
11

nmero construtvel. De fato, dado o segmento de comprimentos 1 e possvel construir um
segmentos de comprimento o . Vejamos como isso feito:
Sobre uma reta transporta-se OA = e AB = 1; traa-se uma circunferncia com
dimetro OB = +1 (figura 7); traa-se uma perpendicular a OB por A, a qual corta a
circunferncia em C. O tringulo OBC tem um ngulo reto em C. Logo ZOCA = ZABC por
serem semelhantes os tringulos retngulos OAC e CAB; e tem-se, para x = AC; a seguinte
relao
o o
o
= = = x x
x
x
2
1


Figura 7: Representao geomtrica da raiz quadrada de um nmero.
Fonte: Software Geogebra

Tendo construdo o , pode-se tambm construir todos os nmeros da forma
o b a + , em que a e b pertencem a F
0
. O conjunto dos nmeros da forma o b a + e F
1
.
Podemos observar que F
0
c F
1
, pois para todo e F
0
, possvel escrever o 0 + = a a e
F
1
.
Pode-se mostrar
6
tambm que so construtveis nmeros que resultam das quatro
operaes elementares entre os elementos de F
1
. Por exemplo, para a, b, c, d e F
0
,
2 2
2 2
2
2
2
2 2 2 2
q p
d c
ad bc
d c
bd ac
d c
b a
+ =

+
+

=
+
+

sendo p e q e F
0
e c
2
2d
2
0.





6
Para mais detalhes (Precioso; Pedroso, 2011)
12

Vejamos a representao geomtrica de
2
2
d c
b c
+
+
.

Figura 8: Representao geomtrica da extenso de uma raiz quadrada.
Fonte: Software Cabri Geometry

Suponhamos que possvel construir todos os nmeros de um corpo F. Escolhendo
em F tal que o e F, pode-se construir o e, assim, o corpo F de todos os nmeros
o b a + em que a, b e F. Por exemplo, considere-se F = F
1
e 2 1+ = o . Pode-se observar
da figura 9, que 2 1+ = o construtvel.

Figura 9: Adjuno da raiz quadrada de dois.
Fonte: Software Cabri Geometry
Portanto, possvel construir o corpo F de todos os nmeros da forma 2 1+ + q p ,
em que 2 b a p + = e 2 d c q + = com a, b, c, d e F
0
= Q. Diz-se que o corpo F obtido
de F mediante adjuno de o .
Como j dissemos, uma condio necessia para que um nmero seja construtvel
que ele possua uma extenso quadrtica e seja raiz de um polinmio no nulo, mnico e
2
1
2 1
2
2 1+
1
2 1+
13

irredutvel. O seguinte teorema, denominado teorema da raiz racional, importante para
verificarmos se o polinmio irredutvel.
Teorema da Raiz-Racional: Seja f um polinmio tal que f(x) = a
n
x
n
+ ... + a
1
x + a
0
0. Se
s
r
for raz racional de f (com r e Z e s e Z\{0} e r e s primos entre si), ento r\a
0
e s\a
n
.
Demonstrao: Se
s
r
raz de f(x) ento 0 =
|
.
|

\
|
s
r
f ;
ou seja,
a
0
+ a
1
(r/s) + ... + a
n 1
(r/s)
n 1
+ (r/s)
n
= 0.
Resolvendo essa ltima equao temos que:
s
n
a
0
+ a
1
s
n 1
r + ... + a
n 1
r
n 1
s + a
n
r
n
= 0
e logo
r(a
1
s
n 1
+ ... + a
n 1
r
n 2
s + a
n
r
n 1
) = - a
0
s
n

Sendo assim, o primeiro membro da equao mltiplo de r, pelo que tambm, o
segundo membro o . Ou seja, r\a
0
s
n
. Como, por hiptese, r e s so primos entre si, e s
n
tem
um nmero finito de divisores resulta que, ao fim de um nmero finito de tentativas,
encontramos que r\a
0
. De modo anlogo, se tivessemos dado expresso
s
n
a
0
+ a
1
s
n 1
r + ... + a
n 1
r
n 1
s + a
n
r
n
= 0
a forma equivalente
s(a
0
s
n 1
+ ... + a
n 1
r
n 2
s) = - a
n
r
n

e efetuando um raciocnio anlogo, concluiramos que s\a
n
, como pretendamos.

Podemos agora analisar a equao da trisseco do ngulo, isto , a equao
x
3
3x 2b = 0
Trissectar um ngulo ABC significa procurar as raizes da equao acima e verificar se
construtvel.

Figura 10: Interpretao geomtrica da equao cbica de trisseco do ngulo.
Fonte: Software Cabri Geometry
B
C
A
b
14


O ngulo a ser trissectado depende do valor de b. Considerando b = 0 na equao
acima obtemos:
x
3
3x = 0,
que corresponde ao ngulo de 90
0
(figura 10), que pode ser trissectado usando ferramentas
euclidianas, bastando para isso, encontramos ngulos de 30
0
.
Devemos observar que a equao cbica
x
3
3x = 0
no irredutvel permitindo ser escrita como o produto de dois polinmios, tais como
p(x) = x(x
2
3),
cujas razes so, respectivamente, x = 0 e 3 = x que, como j vimos, so nmeros
construtveis.
O valor de 3 = x se refere a um ngulo de 60
0
. De fato, seja = arc tg 3 , logo
= 60
0
. Como 3 construtvel conclumos que o ngulo = 60
0
tambm construtvel. O
complementar do ngulo de 60
0
o ngulo de 30
0
que construtvel, pois
2
3
30 cos
0
= e,
2
3
construtvel. Portanto o ngulo de 90
0
pode ser trisseccionado utilizando-se rgua no
graduada e compasso.
Agora, fazendo,
2
1
= b a equao se reduz a x
3
3x 1 = 0. Para obtermos a equao
da trisseco do ngulo fizemos, sem perda de generalidade, o lado AB do ngulo ABC valer 1
e, fazendo agora
2
1
= b , temos o seguinte tringulo retngulo:

Figura 11: Trisseco do ngulo de 60.
Fonte: Software Geogebra
15

3
2
1
2
3
) ( = = o tag , logo 3 arctag = o , ou seja, = 60 o . Sendo assim, o ngulo que
pretendemos dividir o de 60
0
. Queremos, portanto, dividir o ngulo de 60 em trs partes
iguais. Neste caso, cada ngulo ter medida de 20.
Da trigonometria temos a seguinte relao:
) cos( 3 ) ( cos 4 ) 3 cos(
3
o o o =
Assim,
) 20 cos( 3 ) 20 ( cos 4 ) 20 3 cos( ) 60 cos(
3
= =
Como
2
1
) 60 cos( = , temos que:
1 ) 20 cos( 6 ) 20 ( cos 8
3
=
Ento, cos(20) soluo da equao do tipo 8y
3
6y 1 = 0. Fazendo y = 2x
chegamos ao polinmio p(x) = x
3
3x 1, donde 2cos(20) uma raiz de p(x). Apesar de
existir uma raiz para o polinmio mnico e irredutvel p(x) esta, por sua vez, no possui uma
extenso quadrtica. Dessa forma, o nmero 2cos(20) no construtvel, sendo assim, no
possvel construir o ngulo de 20 com rgua no graduada e compasso, impossibilitando
dividir o ngulo de 60 em trs partes iguais. Portanto, no possvel dividir um ngulo
qualquer com apenas ferramentas euclidianas.

CONCLUSO

Nesse trabalho ns procuramos mostrar como a complementaridade entre a aritmtica
e a geometria tornou possvel o esclarecimento das dificuldades encontradas pelos gregos no
problema da trisseco do ngulo. Com a transformao desse problema geomtrico em um
problema aritmtico e apoiado na teoria dos nmeros construtveis foi possvel afirmar a
impossibilidade de tal construo. Dessa forma fica evidente a importncia da
complementaridade entre a aritmtica e a geometria na resoluo de problemas.





16

REFERNCIAS BIBLIOGRFICAS
BROUGHTON, J., & CARRIERO, J. Descartes. Porto Alegre: Artmed, 2011.
DESCARTES, R. Discurso do Mtodo. So Paulo: tica, 1989.
_____________ La Gomtrie, 1886. Bibliothque nationale de France. disponvel em:
<http://visualiseur.bnf.fr/CadresFenetre?O=NUMM-29040&I=2&M=tdm>. Acesso em: 05
de Maio de 2013.
EVES, H. Introduo a Histria da Matemtica. 3 ed. Trad. H. H. Domingues, Campinas:
Editora da Unicamp, 2002.
GONALVES, A. Introduo lgebra. Rio de Janeiro: IMPA: Projeto Euclides, 1979.
OLIVEIRA, A. J. Transformaes Geomtricas. Universidade Aberta, 1997.
PRECIOSO, J. C., & PEDROSO, H. A. Construes Euclidianas e o Desfecho de
Problemas Famosos da Geometria. Revista Cincias Exatas e Naturais , Vol. 13, 163-183,
2011.
SILVA, J. R., & SANTOS, R. Temas de Geometria nos Ensinos Bsico e Secundrio.
Aveiro: Universidade de Aveiro, 2007.
SOUSA, J. M. Trisseco do ngulo e Duplicao do Cubo: as Solues na Antiga Grcia.
Dissertao submetida a Faculdade de Cincias da Universidade do porto, 2001.
STRUIK, J. D. A Concise History of Mathematics. United States fo America. Dover
Publications, 1987.