Construo de um polgono regular de 17 lados

Cristina Helena Bovo Batista Dias1 Orientador(a): ??

Um pouco de Histria

Na Grcia antiga, o desao preferido dos gemetras era desenhar polgonos regulares usando apenas rgua e compasso. Os gregos sabiam desenhar o tringulo (3 lados), o quadrado (4 lados) e o pentgono (5 lados). E, dividindo um ngulo em duas partes iguais, conseguiam obter todos os polgonos com o dobro de lados de qualquer um destes trs. Um grande desao da poca era descobrir se era possvel desenhar um polgono de 17 lados, o heptadecgono, apenas com rgua e compasso. Somente vrios sculos depois, em maro de 1796, Johann Carl Friedrich Gauss, com apenas 19 anos de idade, conseguiu essa faanha. E no cou s nisso. A seguir, mostrou como desenhar qualquer polgono regular de n lados com rgua k e compasso, desde que n seja um nmero primo da forma 22 + 1, ou seja, um primo de Fermat. Como conseqncia demonstrou que o polgono de sete lados no poderia ser construdo com rgua e compasso.

A Construo com Rgua e Compasso: Nmeros Construtveis

Para que possamos resolver um problema com rgua e compasso, a soluo, por mais complicada que possa ser, deve se compor das duas operaes seguintes: 1. Traar uma linha reta por dois pontos dados. 2. Traar uma circunferncia na qual o centro e o raio so dados. Cada ponto determinado como interseco de duas retas, ou de uma reta e de uma circunferncia ou ainda, de duas circunferncias. Suponhamos, ento que, por meio da Geometria Analtica tenhamos calculado as coordenadas dos pontos relativos a um determinado problema e que, medida que zemos tais clculos no tivemos que fazer mais do que resolver equaes de primeiro e segundo graus. Ou seja, pudemos exprimir cada uma das quantidades determinadas pela construo por meio das quantidades que nos foram dadas, de tal modo que as grandezas encontradas no incluam quaisquer expresses irracionais a no ser razes quadradas. Neste caso tais grandezas sempre podero
1 Bolsista

FAPESP 2005/60417-6.

Construo de um polgono regular de 17 lados

ser construdas atravs de rgua e compasso e dizemos que os nmeros que representam estas grandezas so construtveis. Portanto, a condio necessria e suciente para que um problema possa ser resolvido com rgua e compasso que as quantidades procuradas possam ser expressas racionalmente por meio das quantidades dadas e por razes quadradas.

3 Razes Primitivas
Para entendermos como Gauss executou sua construo geomtrica necessrio conhecermos um pouco sobre razes primitivas. Faamos, ento uma pequena introduo. Teorema 1 (Pequeno Teorema de Fermat). Se p um nmero primo e se a um nmero natural, ento ap a mod (p). Em particular, se p no divide a, ento ap1 1 mod (p). Prova: O resultado verdadeiro para a = 1. Suponhamos que seja verdadeiro para a 1; ento, temos (a + 1)p ap + 1 a + 1 mod (p), uma vez que os coecientes binomiais p , (1 k p 1) k so mltiplos de p. O teorema ento verdadeiro para todo nmero natural a. Denio 2. Seja a um inteiro que no mltiplo de p. Chamamos um nmero h 1 de ordem de a mdulo p, quando h o menor expoente tal que ah 1 mod (p). vou formatar melhor aqui Perceba que o pequeno teorema de Fermat garante a existncia de tal h. Observa-se ainda que a mod (p), a2 mod (p), . . . , ah1 mod (p), 1 mod (p)

so todos distintos e que ak 1 mod p se, e somente se, h divide k. Denio 3. Seja p um nmero primo. Chamamos de raiz primitiva mdulo p a todo nmero q, 1 q p 1, tal que a ordem de q mdulo p igual a p 1. Exemplo 4. Calcular a menor raiz primitiva de 17. O problema consiste em encontrarmos o menor nmero q tal que a ordem de q mdulo 17 seja 16, ou seja, queremos encontrar um nmero tal que q 16 1 mod (17), e que para todo h < 16 temos que q h no seja congruente a 1, mdulo 17.

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

Tomando q = 2 e testando as potncias de 2 encontraremos que 28 1 mod (17). Portanto, 2 no uma raiz primitiva mdulo 17. Testando para q = 3 encontramos que 316 1 mod (17) e que 16 o menor expoente para o qual isto acontece. Ento 3 a menor raiz primitiva mdulo 17. Observao 5. Para detalhes sobre como calcular razes primitivas, veja os artigos 73 e 74 de Disquisitiones Arithmeticae.

A Construo do Heptadecgono

4.1 As razes de X n 1 = 0 O problema da construo geomtrica de um polgono resume-se construo de um lado deste polgono. Gauss percebeu que as razes da equao X n 1 = 0 estavam intimamente relacionadas com as razes de equaes mais complexas de grau n, cujas razes, por sua vez, expressam os valores das funes k trigonomtricas de todos os ngulos da forma para k entre 0 e n 1. (Tais n equaes podem ser encontradas no artigo 337 da Disquisitiones Arithmeticae). Como a construo de um polgono de 17 lados envolvia a construo do cosseno do ngulo 2/17 radianos (valor do ngulo central deste polgono), Gauss percebeu que encontrar as razes da equao X 17 1 = 0 solucionaria o problema uma vez que um polgono regular de n lados est sempre inscrito num crculo, com os vrtices distribudos equidistantemente sobre este. Assim, os ngulos centrais correspondentes a cada dois vrtices consecutivos medem 2/n radianos. Cada um destes vrtices coincide com uma das razes da equao X n = 1. Usando a noo de n-sima raiz da unidade no plano complexo, temos que os vrtices de um polgono regular de n lados inscrito num crculo de raio unitrio e centro na origem, correspondem a partir de 1, aos pontos na forma polar: 2k 2k ) + i sen( ) n n onde k = 0, 1, 2, . . . , (n 1) sendo que cada um destes pontos correspondem a uma das razes da equao X n 1 = 0. Assim, vemos que a construo de um ngulo central de 2/17 radianos (ou equivalentemente, a construo do seu cosseno) corresponde a encontrar as razes complexas da equao X 17 = 1 (as razes da unidade). Sabemos que para k = 0, temos r0 = 1, a nica raiz real dessa equao. As outras 16 razes so complexas, sendo as razes da equao rk = cos( x16 + x15 + + x2 + x + 1 = 0
17

(1.1)

que obtida quando dividimos X 1 por X 1. Teremos, ento 16 razes complexas. Mas, como 16 = 2 2 2 2, para resolver o problema precisaremos utilizar apenas as razes de equaes do segundo grau. Ou seja, todas as

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

quantidades envolvidas na construo do heptadecgono podem ser construdas com rgua e compasso. A equao (1.1) pode ento ser decomposta em suas razes da seguinte forma: x16 + x15 + + x2 + x + 1 = (x r1 )(x r2 ) (x r15 )(x r16 ). 2 2 ) + i sen( ), e que ento qualquer raiz rk n n pode ser obtida de r pela frmula rk = rk, k = 1, . . . , n 1. Notemos ainda que, r = cos( 4.2 Heptgono e outros polgonos Usando o mesmo raciocnio do item anterior perceberemos que para o heptgono precisaramos resolver equaes de segundo e terceiro graus (os divisores de 7 1 = 6 = 2 3) a m de encontrarmos a soluo analtica do problema. Portanto, no podemos inscrever o heptgono na circunferncia usando apenas rgua e compasso, pois encontraramos pela frente pelo menos duas razes cbicas. Inscrevendo os polgonos com um nmero primo de lados poderemos inscrever todos os outros, j que todos os nmeros podem ser decompostos em fatores primos. Como encontraremos apenas potncias de 2 somente em um n nmero primo da forma 22 1 (nmero de Fermat), apenas os polgonos com nmero de lados iguais a um primo de Fermat, a suas potncias ou a produtos destas potncias, podem ser construdos com rgua e compasso. 4.3 Perodos das Razes de X n 1 = 0 Para n = 17, temos 16 vrtices distintos rk , alm do vrtice correspondente ao nmero real 1. Colocamos ento as razes em ordem de acordo com a ordem em que seus expoentes aparecem como razes primitivas da congruncia mdulo 17 (conforme vimos no item 4.1, 3 a menor delas), obtidas quando k = 1, 2, . . . , 16. Calculando as 16 primeiras razes primitivas mdulo 17 obteremos a seguinte ordem para as razes da equao (1.1) r3 , r9 , r10 , r13 , r5 , r15 , r11 , r16 , r14 , r8 , r7 , r4 , r12 , r2 , r6 , r1 onde os expoentes de cada uma das razes referem-se s razes primitivas mdulo 17. O mtodo de Gauss consiste em dividir estas razes em perodos contendo 8, 4, 2 e 1 razes respectivamente, correspondendo aos divisores de 16. Os perodos so assim calculados: a. Toma-se no ciclo das razes, as razes cujos expoentes so as razes primitivas mdulo 17 de ordem par (a segunda, a quarta, a sexta,. . . ) e depois

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

as cujos expoentes so as razes primitivas mdulo 17 de ordem mpar (a primeira, a terceira,. . . ) e as somamos, obtendo suas variveis. Assim temos: x1 = r9 + r13 + r15 + r16 + r8 + r4 + r2 + r1 x2 = r3 + r10 + r5 + r11 + r14 + r7 + r12 + r6 b. Repete-se o processo para as razes que se encontram na lista de x1 , tomase aquelas de ordem par e depois de ordem mpar, formando 2 perodos de 4 termos, y1 e y2 . Fazemos o mesmo para a lista de x2 , formando mais 2 perodos de 4 termos, y3 e y4 . y1 = r13 + r16 + r4 + r1 y3 = r3 + r5 + r14 + r12 y2 = r9 + r15 + r8 + r2 y4 = r10 + r11 + r7 + r6

c. Nas listas de y1 , y2 , y3 e y4 repetimos o processo e obtemos 8 perodos de 2 termos, zi , i = 1, . . . , 8, a saber: z1 = r16 + r1 , z5 = r11 + r6 , z2 = r13 + r4 , z6 = r10 + r7 , z3 = r15 + r2 , z7 = r5 + r12 , z4 = r 9 + r 8 z8 = r3 + r14

Este mtodo tem por objetivo dividir as razes em grupos nos quais a soma dos expoentes d 17 porque para m e 17 m temos rm = cos(m 2 2 ) + i sen(m ) n n e r17m = cos(m 2 2 ) i sen(m ), n n

ou seja, estas razes so conjugadas e, ento rm + r17m = 2 cos(m 2 ) n

ser um nmero real. Ento todos os perodos zi , i = 1, . . . , 8, correspondendo 2 s somas dos restos m e 17 m, so nmeros reais iguais a 2 cos(m ), para m n variando de 1 a 8. Observao 6. Note que pela forma como denimos nossas variveis auxiliares temos y1 = z1 + z2 , y2 = z 3 + z 4 , e y3 = z 5 + z 6 , y4 = z 7 + z 8 ,

x1 = z1 + z2 + z3 + z4

x2 = z5 + z6 + z7 + z8 .

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

4.4 As equaes para a construo geomtrica das razes 2 Como cada zi = 2 cos( ), basta calcular o valor de z1 para obtermos o n lado de um polgono regular de 17 lados. De acordo com Gauss, como temos 4 perodos de 2 grupos cada um, as razes podem ser encontradas resolvendo 4 equaes de segundo grau. Ele d os detalhes para encontrar tais equaes nos artigos 345, 349, 351, 354 da Seo 7 de Disquisitiones Arithmeticae. So elas: x1 e x2 so razes da equao X 2 + X 4 = 0 com x1 > x2 ; y1 e y2 so razes da equao Y 2 + x1 Y 1 = 0 com y1 > y2 ; y3 e y4 so razes da equao Y 2 + x2 Y 1 = 0 com y4 > y3 ; z1 e z2 so razes da equao Z 2 + y1 Z y4 = 0 com z1 > z2 .

5 A Construo Elementar
Se construirmos geometricamente as razes das equaes apresentadas na seo anterior no precisaremos calcular as razes complexas da equao X 17 1 = 0. Para isto usaremos uma construo elementar das razes de uma equao de segundo grau. O mtodo de construo consiste em utilizar um crculo unitrio de centro (0, 1) no plano-XY , isto , um crculo de equao: X 2 + (Y 1)2 1 = 0 para construir as razes de uma equao de segundo grau (com duas razes reais) da forma X 2 pX + q = 0. Construindo as razes das equaes mencionadas acima encontraremos o valor z1 e a partir da o lado do polgono de 17 lados. O mtodo consiste em: Construir o crculo de equao X 2 + (Y 1)2 1 = 0. Traar a reta tangente ao crculo pelo ponto A = (0, 2), paralela ao eixo-OX. Sobre esta reta, direita de A, constri-se um segmento de comprimento 4/p, calculado atravs da construo da Quarta Proporcional. Sobre o eixo-OX, direita de O, constri-se usando o mesmo mtodo um segmento de comprimento q/p. As extremidades dos segmentos so unidos por uma reta. Cada um dos dois pontos de interseco do crculo inicial com esta reta determina sobre o eixo-OX um ponto, atravs da reta que o liga ao ponto A. Os pontos x1 e x2 sobre o eixo-OX determinados desta maneira so as razes da equao. A demonstrao analtica deste resultado um simples exerccio de Geometria Analtica e lgebra Elementar de equao de segundo grau.

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

A Construo do lado do Heptadecgono

Comecemos por construir as razes da equao X 2 + X 4 = 0 com x1 > x2 .

Figura 1.1: Crculo Auxiliar.

1. Tracemos a circunferncia de raio 1 e centro em (0, 1). 2. Tracemos a reta tangente circunferncia pelo ponto A = (0, 2), paralela ao eixo-OX (Figura 1.1). 3. Sobre a tangente, construmos um segmento de comprimento 4 ( 4 ). 1

4. Sobre o eixo-OX, constri-se usando o mesmo mtodo um segmento de 4 comprimento 4 ( ). 1 5. As extremidades dos segmentos so unidos por uma reta. 6. Cada um dos dois pontos de interseco do crculo inicial com esta reta determina sobre o eixo-OX um ponto, atravs da reta que o liga ao ponto A. 7. Os pontos x1 e x2 sobre o eixo-OX determinados desta maneira so as razes da equao X 2 + X 4 = 0, onde x1 > x2 .

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

conferir o nome Euclid

8. Atravs do mtodo da quarta proporcional (veja Euclid, The Thirteen 4 u e Books of The Elements, Book VI, Preposition 12 ) construmos x1 x1 e os marcamos, o primeiro sobre a reta tangente, o segundo sobre o eixoOX, observando o sinal para sabermos de que lado da origem est cada ponto. 9. Atravs do mesmo mtodo construmos 4 u e , marcando-os da mesma x2 x2 forma, observando o sinal de cada um (Figura 1.2).

Figura 1.2: Construo de x1 e x2 . 4 u e , determinando dois pontos de interx1 x1 seco com o crculo. Unindo estes pontos com o ponto A determinamos as razes da equao Y 2 + x1 X 1 = 0, y1 e y2 , lembrando que y1 > y2 . 4 u e , determinando dois pontos de interx2 x2 seco com o crculo. Unindo estes pontos com o ponto A determinamos as razes da equao Y 2 + x2 X 1 = 0, y3 e y4 , lembrando que y4 > y3 .

10. Unimos as extremidades de

11. Unimos as extremidades de

4 12. Utilizando novamente o mtodo da quarta proporcional construmos e y1 y4 , marcando-os como nas etapas 10 e 11, observando o sinal de cada um y1 (Figura 1.3). 13. Unimos as extremidades de 4 y4 e , determinando dois pontos de intery1 y1 seco com o crculo. Unindo estes pontos com o ponto A determinamos a raiz Z1 da equao Z 2 + y1 Z y4 = 0, lembrando que z1 > z2 , sendo que omitimos esta ltima por no ser necessria construo.

BICMat, Volume V, Setembro de 2008

Construo de um polgono regular de 17 lados

Figura 1.3: Construo dos Yi . 14. Traamos ento a mediatriz do segmento OZ1 . 15. Temos, nalmente o l17 , lado do polgono de 17 lados, determinado pelo segmento que vai da reta r, que passa pelo centro C do crculo auxiliar, at a circunferncia e, na gura 1.4, est indicado pela seta.

Figura 1.4: Construo de Z1 e l17 .

Referncias Bibliogrcas
[1] Gauss, K.F.; Disquisitiones Arithmeticae. G. Fleischer, Leipzig, 1801. Traduo em ingls por W.C. Waterhouse. Springer-Verlag, New York, 1986.

BICMat, Volume V, Setembro de 2008

10

Construo de um polgono regular de 17 lados

[2] Petersen, Julius; Construes Geomtricas, Livraria Nobel, 1967, pgs 149152

BICMat, Volume V, Setembro de 2008