Você está na página 1de 17

AULA

12
Construes Possveis
META:
Identicar construs possveis.
OBJETIVOS:
Dividir o crculo em partes iguais.
Apresentar critrios de construtibilidade.
Entender porque os problemas clssicos no possuem soluo.
Construir polgonos regulares.
PR-REQUISITOS
O aluno dever ter compreendido as duas ltimas aulas.
Construes Possveis
12.1 Introduo
Na aula 10 j falamos um pouco sobre os problemas clssicos, que
consistem em resolver trs problemas com o uso somente da rgua
(no graduada) e do compasso.
Embora a regra do jogo seja a utilizao somente de rgua e co-
passo, fato que os gregos utilizaram outros mtodos na resoluo
de problemas de construes geomtricas. De suas tentativas para
achar solues para os problemas clssicos, surgiram vrias curvas
e mtodos que enriqueceram a Matemtica.
Nesta aula, vamos apresentar as construes geomtricas possveis
usando rgua e compasso. Muitas das demonstraes sobre con-
strutibilidade faz uso de uma matemtica que foge ao escopo deste
curso, e desta forma no apresentaremos aqui.
12.2 Diviso do crculo em n parte iguais
Alguns problemas de natureza simples no podem ser resolvidos
com rgua e compasso. Por exemplo, impossvel reticar o crculo
com rgua e compasso, simplesmente por que o nmero no
construtvel, como veremos adiante.
O problema de dividir o crculo em n partes iguais, em geral,
impossvel resolv-lo.
Aqui apresentaremos alguns casos particulares.
Problema 12.28. Dividir o crculo em n partes iguais.
Como foi dito anteriormente, este problema em geral no possvel
de resolver. Vamos resolv-lo para alguns casos.
Caso 1: n = 2
k
, k N. Este caso o mais simples de todos. E a
prova por induo.
1. n = 2 Trace o dimetro.
2. n = 2
2
= 4 Trace as bissetrizes dos dois ngulos formados
pelo dimetro.
222
Geometria Euclidiana Plana
AULA
12
3. n = 2
3
= 8 Trace as mediatrizes dos lados do polgono
formado no caso anterior.
4. n = 2
k
Trace as mediatrizes dos lados do polgono for-
mado no caso n = 2
k1
.
Caso 2: n = 2
k
3, k = 0, 1, 2, . . .
1. n = 3 Construa um tringulo equiltero inscrito no cr-
culo.
Se ABC um tringulo equiltero inscrito no crculo de raio
R, ento o lado do tringulo igual a = R

3 (Por que?).
Ento, dado o segmento R, pela construo da aula passada,
podemos construir o segmento R

3. Com um compasso,
construmos um tringulo equiltero de lado R

3 inscrito
no crculo de raio R.
2. n = 6 Trace as mediatrizes dos lados do tringulo anterior
formando um polgono regular de 6 lados.
3. n = 2
k
3 Trace as mediatrizes dos lados do polgono regu-
lar formado no caso 2
k1
3.
Caso 3: n = 2
k
5, k = 0, 1, 2, . . .
1. n = 10 = 2 5 Construir um polgono regular de 10 lados
(decgono) inscrito no crculo.
Se o raio do crculo R, ento o lado mede
R

5 1
2
.
Com um compasso encontramos os vrtices do decgono no
crculo.
2. n = 5 Construir um pentgono regular a partir do dec-
gono regular.
Construa um decgono com vrtices numerados de 1 a 10. O
pentgono o polgono obtido a partir dos vrtices pares do
decgono.
223
Construes Possveis
3. n = 2
k
5 Traar as mediatrizes dos lados do polgono reg-
ular formado no caso 2
k1
5
Caso 4: n = 2
k
3 5, k = 0, 1, 2, . . .
1. n = 3 5 = 15 Construir um tringulo equiltero ABC
inscrito no crculo e um pentgono regular ADEFG inscrito
no crculo. Considere a gura 12.1
Figura 12.1: O arco BE 1/5 do crculo
Note que

AB =
1
3
do crculo

AE =
2
5
do crculo,
o que implica que

BE =
2
5

1
3
=
1
15
do crculo.
2. n = 2
k
3 5 Traar as mediatrizes dos lados do polgono
regular formado no caso 2
k1
3 5.
Observao: impossvel dividir um crculo em 7, 9, 11, 13, 14, 18, 19
partes iguais, citando apenas os valores menores que 20.
224
Geometria Euclidiana Plana
AULA
12
No nal do sculo 18, Gauss descobriu que possvel dividir um
crculo exatamente em 17 partes iguais.
Apresentamos a seguir um mtodo de diviso aproximada do cr-
culo em n partes iguais, para qualquer valor de n. Veja gura
12.2
Soluo
1. Trace um dimetro AB.
2. Determine pontos P e Q tais que ABP e ABQ sejam trin-
gulos equilteros.
3. Divida AB em n partes iguais pelos pontos 1,2, , n-1.
4. As retas que unem P e Q aos pontos de ordem par, de-
terminam nos semi-crculos opostos os pontos que dividem
aproximadamente esse crculo em n partes iguais.
12.3 Construes Possveis Utilizando Rgua
e Compasso
Relembremos algumas regras para as construes com rgua e com-
passo.
Regras:
1. Traar uma reta, conhecendo dois de seus pontos
2. traar um crculo, conhecendo o seu centro e um ponto do
crculo
3. Determinar as intersees de retas ou crculos j construdos
com retas ou crculos j construdos
225
Construes Possveis
Figura 12.2: Diviso aproximada do crculo em 7 partes iguais.
Pelo que ns vimos at aqui, somente com rgua e compasso,
possvel construir um ponto (no arbitrrio) fora de uma reta, e
traar por este ponto (ou qualquer outro j construdo) uma para-
lela ou uma perpendicular a esta reta.
Problemas: Os famosos problemas clssicos so:
1. Duplicao do cubo
2. Quadratura do crculo
3. Tri-seco de um ngulo arbitrrio
226
Geometria Euclidiana Plana
AULA
12
4. Construo de polgonos regulares
Esses problemas surgiram na Grcia antiga por volta do ano de
429 a.C. e s foram completamente entendidos na virada do sculo
18 para o sculo 19 d.C., com os trabalhos de Gauss (1777 - 1855)
e Galois (1811 - 1832).
O ltimo problema acima no to famoso quanto os outros, mas
o enumeramos, j que assim como os outros ele bastante interes-
sante.
Denio 12.1. Fixado um segmento com a unidades de com-
primento, diremos que um nmero x construtvel se for possvel
construir com rgua e compasso um segmento de comprimento x
a partir do segmento de com comprimento a.
Problema 12.29. Se a e b so construtveis, ento a + b, a, ab
e
1
a
tambm o so.
A gura 12.3 e 12.4 mostram como fazer construo. A construo
feita com retas paralelas. Para justic-las utilize as propriedades
de paralelogramos e o Teorema de Tales.
Figura 12.3:
Observao Disto segue que todos os nmeros inteiros e racionais
so construtveis.
A gura 12.5 mostra que, se a > 0 for construtvel, ento

a
tambm ser construtvel.
De fato, Seja A o ponto da reta r que corresponde ao nmero 1 e
B o ponto que corresponde ao nmero
a
2
. Assim, BA =
a
2
1, e
227
Construes Possveis
Figura 12.4:
Figura 12.5:
pelo Teorema de Pitgoras, obtemos
AP
2
=
a
2
4

_
a
2
1
_
2
= a 1.
O que implica que
OP
2
= OB
2
+PB = 1 +a 1 = a.
Disto, segue que existem irracionais construtveis (

2 por exem-
plo).
Exerccio 12.1. Construir os nmeros
2
7
, 1, 333 ,

2,
4

3 e
_
1 +

2.
Observao O conjunto dos nmeros construtveis formam um
subcorpo dos nmeros reais, isto , um subconjunto dos nmeros
reais que possui 0 e 1 e fechado para a adio, multiplicao, e
clculo de simtricos e de inversos (de elementos no nulos).
228
Geometria Euclidiana Plana
AULA
12
12.3.1 O Princpio da Soluo
Muitas vezes, para determinar se determinado nmero construtvel
com rgua e compasso necessrio passar o problema para o plano.
Denio 12.2. Um ponto P = (a, b) do plano dito construtvel
se a e b so construtveis.
Como j sabemos que todos os nmeros racionais so construtveis,
segue que todos os pontos do plano com coordenadas racionais so
construtveis.
Observao: Se uma reta r une dois pontos do plano (, ) e
(, ) com , , , Q, a equao de r da forma ax+by+c = 0,
com a, b, c Q.
Se um crculo tiver centro (, ) e passa pelo ponto (, ) com
, , , Q, sua equao da forma x
2
+ y
2
+ ax + by + c = 0,
com a, b, c Q.
Assim, se queremos encontrar o ponto de interseo entre retas e
cculos dos tipos acima, temos 3 casos a considerar:
1. Interseo de duas retas do tipo acima.
Neste caso, devemos resolver o sistema

ax +by +c = 0
a

x +b

y +c = 0
com a, b, c, a

, b

, c

Q.
2. Interseo de uma reta com um crculo dos tipos acima.
Devemos resolver o sistema

x
2
+y
2
+ax +by +c = 0
a

x +b

y +c

= 0,
com a, b, c, a

, b

, c

Q.
229
Construes Possveis
3. Interseo de dois crculos como acima.
Resolver o sistema

x
2
+y
2
+ax +by +c = 0
x
2
+y
2
+a

x +b

y +c

= 0,
ou, equivalentemente, resolver o sistema

x
2
+y
2
+ax +by +c = 0
(a a

)x + (b b

)y +c c

= 0,
com a, b, c, a

, b

, c

Q.
As solues destes sistemas so racionais ou do tipo a +b

c, com
a, b, c Q, c 0.
Concluso:
Sabemos que os nmeros racionais so construtveis. Em particu-
lar, todos os pontos do plano com coordenadas racionais so cons-
trutveis. Partindo destes pontos e fazendo construes com rgua
e compasso, envolvendo apenas uma interseo de reta com reta,
reta com crculo ou crculo com crculo, as coordenadas dos novos
pontos obtidos so da forma a + b

c com a, b, c Q e c 0.
Prosseguindo com uma segunda etapa de construo com rgua e
compasso, os novos nmeros obtidos sero da forma a +b

c, com
a, b e c da forma anteriormente indicada.
Exemplo 12.1.
1
a
Etapa: 1 +

2,
3
4
+
_
5
8
2
a
Etapa: 4(1 +

2) + 5
_
3(1 +

2), 1 +

2 +
_
3
4
+
_
5
8
Exerccio 12.2. Mostre que os nmeros da forma a + b

2, onde
a, b Q, um corpo.
Resumo:
230
Geometria Euclidiana Plana
AULA
12
Um nmero construtvel obtido como primeira coordenada
de um ponto que tenha sido obtido a partir dos pontos iniciais
0 e 1 da reta base, atravs de um nmero nito de intersees
de retas e/ou crculos.
Um nmero contrutvel se e somente se pode ser escrito
em termos de nmeros racionais, usando somente adies,
multiplicaes, simtricas, inversos e razes quadradas.
Exerccio 12.3. Verique que construtvel o nmero
4

_
3 0, 2
16
_
1 +

2
2
11
+
32
_
6
8

0, 4
.
12.3.2 Um critrio de no-construtibilidade
O prximo teorema fornece um meio de determinar nmeros no-
construtveis.
Teorema 12.1. Todo nmero construtvel raiz de uma equao
polinomial (ou algbrica) de coecientes inteiros.
Exerccio 12.4. Verique o nmero construtvel

2 +
_
1 +

3
raiz de uma equao polinomial.
Denio 12.3. Um nmero que raiz de algum polinmio com
coecientes inteiros dito algbrico. Caso contrrio dito trans-
cendente.
Exemplo 12.2. Os nmeros racionais e os nmeros
3

2,

2, 1 +

2 e
_
2 +
4

3 so algbricos. Os nmeros e , ,

, e
2
so
transcendentes.
Em geral, muito difcil de determinar se um determinado nmero
transcendente ou no. O primeiro a exibir nmeros comprovada-
mente transcendente foi Liouville (18091882). Somente em 1873,
Hermite mostrou que o famoso nmero e transcedente, e em 1882,
Lindermann provou que o nmero tambm transcedente.
231
Construes Possveis
Corolrio 12.1. Todo nmero transcendente no construtvel.
Portanto no construtvel, donde conclumos que o crculo no
quadrvel.
De fato, a rea do crculo unitrio 2. Quadrar o crculo, sig-
nica que devemos construir um quadrado com lado a tal que sua
rea seja exatamente 2, ou seja, a
2
= 2. Mas como no
construtvel, segue que

tambm no construtvel.
12.3.3 O critrio geral de no-construtibilidade
Na seo anterior vimos que todos os nmeros construtveis so
algbricos. Ento voc pode se perguntar se todos os nmeros
algbricos so construtveis. A resposta no.
Denio 12.4. O grau de um nmero o grau do polinmio
irredutvel p(x) com coecientes inteiros e tal que p() = 0.
Exemplo 12.3. O grau de
3

2 trs. Basta considerar o polinmio


x
3
2.
Exemplo 12.4. Determine o grau de

2 +

3.
Soluo Faa x =

2 +

3. Ento,

2 = x

3 2 = x
2
+ 3 2

3x
2

3x = x
2
+ 1 12x
2
= x
4
+ 1 + 2x
2
x
4
10x
2
+ 1 = 0.
Agora podemos dar o critrio geral de no construtibilidade.
Teorema 12.2. Um nmero construtvel se e somente se al-
gbrico de grau igual a uma potncia de 2.
A demonstrao deste teorema envolve envolve ferramentas da teo-
ria de grupos e da teoria de Galois.
232
Geometria Euclidiana Plana
AULA
12
Corolrio 12.2. O cubo no duplicvel.
Demonstrao Considere um cubo de aresta a. A aresta do cubo
com o dobro do volume a
3

2. Ento o cubo poder ser duplicado


se
3

2 for construtvel, porm o grau de


3

2 igual a 3 que no
uma potncia de 2.
Corolrio 12.3. impossvel tri-seccionar um ngulo arbitrrio.
Denio 12.5. Um ngulo construtvel se seu cosseno for
construtvel. (Ver gura).
Exemplo 12.5. O ngulo 60

construtvel, pois cos 60

= 1/2.
Exemplo 12.6. O ngulo = 90

pode ser tri-seccionado, pois


cos 30

3
2
construtvel. De fato

3
2
raiz da equao polino-
mial 4x
2
3 = 0.
Exemplo 12.7. O ngulo = 20

no pode ser tri-seccionado.


De fato, se x = cos 20

, ento da frmula cos 3 = 4 cos


3
3 cos ,
obtemos
1
2
= 4x
3
3x
que equivalente a
8x
3
6x 1 = 0,
onde 8x
3
6x 1 irredutvel, pois do contrrio
8x
3
6x 1 = (ax b)(cx
2
+dx +e), a, b, c, d, e Z
e portanto
b
a
seria uma raiz com mdc(a, b) = 1, ou seja,
8
_
b
a
_
3
6
b
a
1 = 8
b
3
a
3
6
b
a
1 = 0
o que implica que
a = 8
b
3
a
2
6b,
que possvel somente se
b
a
for inteiro, mas estamos supondo que
mdc(a, b) = 1.
Portanto, 8x
3
6x 1 = 0 irredutvel.
233
Construes Possveis
12.3.4 Polgonos regulares construtveis
Naturalmente, o problema de construir um polgono regular de n
lados, ou o que equivalente, dividir o crculo em n parte iguais,
consiste em construir seu ngulo central
360

n
, ou o que o mesmo,
o seu cosseno. Nos Elementos de Euclides, eles fornecem a con-
struo dos polgonos regulares com n = 3, 4, 5, 6, 8, 10 e 15.
Construes para os polgonos de 7 e 9 lados, por exemplo, s
foram dadas por Gauss em 1796.
De fato, no dcil vericar que se p
k
1
1
p
k
m
m
for a decomposio
do nmero n em fatores primos, ento o polgono regular de n
construtvel se e somente se o polgono regular de p
k
i
i
lados o for.
Mais ainda, como o fator 2 no causa problema, temos que nos
preocupar apenas com os primos mpares.
Teorema 12.3 (Gauss). Se n for primo, ento o polgono regular
de n lados ser construtvel se e somente se n for da forma 2
2
m
+1.
Os nmeros naturais da forma 2
2
m
+1 so chamados de nmeros de
Fermat, devido a Fermat (16011665), que conjecturou que todos
eles fossem primos. Na verdade os nicos nmeros primos desta
forma conhecidos so 3, 5, 17, 257 e 65537, que so os nmeros
correspondentes a m = 0, 1, 2, 3 e 4. Para m = 5, temos que
2
2
5
+ 1 = 4.294.967.297 = 641 6.700417.
Gauss descobriu a construtibilidade do polgono regular de 17 la-
dos um ms antes de completar 19 anos. Fato este que agusou
o interesse de alguns almes do sculo 19 que um certo Richelot
publicou, em 194 pginas de uma conhecida revista de Matemtica,
a construo do polgono de 257 lados. Um matemtico amador
dedicou dez anos de sua vida escrevendo o mtodo de construo
do polgono regular de 65.537 lados.
Para voc ter uma idia da diculdade de construir estes polgonos,
como o prprio Gauss calculou, o problema de construir o polgono
234
Geometria Euclidiana Plana
AULA
12
regular de 17 lados equivalente a construir o nmero:
cos
_
360

17
_
=
1
16
+
1
16

17 +
1
16
_
34 2

17
+
1
8
_
17 + 3

17
_
34 2

17 2
_
34 + 2

17.
Resumimos nossa discusso no seguinte teorema.
Teorema 12.4. possvel construir um polgono regular de n la-
dos se e somente se n se decompuser em fatores primos na forma
2
k
p
1
p
m
, onde os p
i
so primos de Fermat.
235
Construes Possveis
RESUMO

Nesta aula vimos que os problemas clssicos no possveis de re-


solvidos no somente com rgua e compasso. Aprendemos como
identicar nmeros construtveis, polgonos regulares construtveis
e ngulos construtveis.
ATIVIDADES

1. Construa

2,
4

3,
_
1 +

2.
2. Construa
4
5
e 1, 33333
3. Verique que construtvel o nmero
4

_
3 0, 2
16
_
1 +

2
2
11
+
32
_
6
8
_
0, 8
.
4. Mostre que 1 +

3 algbrico.
Considere no plano complexo o crculo unitrio, isto , S
1
=
{z C; |z| = 1}. Para n N, considere as razes com-
plexas da equao x
n
= 1, so elas: 1, ,
2
, . . . ,
n1
, onde
= cos + isen , com = 360

/n. Estas razes dividem o


crculo unitrio S
1
em n partes iguais. A construtibilidade
do polgono regular de n partes equivalente de cos , ou,
de modo equivalente, de 2 cos = + = + 1/.
5. Vamos mostrar que o pentgono construtvel
(a) Mostre que o polinmio x
2
+x 1 irredutvel.
(b) Tome = 360

/5 e faa := + 1/. Mostre que

2
+1 = 0 e conclua que cos(360

/5) = (

51)/2.
236
Geometria Euclidiana Plana
AULA
12
(c) Conclua que o pentgono regular construtvel.
6. Vamos mostrar que heptgono regular no construtvel.
(a) Mostre que o polinmio x
3
+x
2
2x 1 irredutvel.
(b) Mostre que = + 1/ = cos(360

/7) raiz do
polinmio acima.
(c) Conclua que o heptgono regular no construtvel.
7. Seja P
n
o polgono regular de n lados. Para que valores de
n 50 P
n
construtvel?
8. Seja P
n
o polgono regular de n lados. Para que valores de
n 50 P
n
no construtvel?
LEITURA COMPLEMENTAR

1. BARBOSA, J. L. M., Geometria Euclidiana Plana. SBM.


2. CARVALHO, j. p., Os Trs Problemas Clssicos da Mate-
mtica Grega. OBMEP.
3. EUCLIDES, Os Elementos. Unesp. Traduo: Irineu Bicudo.
4. GREENBERG, M. J., Euclidean and Non-Euclidean Geome-
tries: Development and History. Third Edition. W. H. Free-
man.
5. POGORELOV, A. V., Geometria Elemental. MIR.
6. MOISE, E. E., Elementary Geometry from an Advanced Stand-
point. Third edition. Addison-Wesley.
7. WAGNER, E., Construes Geomtricas. SBM
8. WAGNER, E., Uma Introduo s Construes Geomtricas.
OBMEP.
237