Você está na página 1de 50

Universidade Federal Rural de Pernambuco

tica Departamento de Matema o em Matema tica Curso de Graduac a Monografia

NUMEROS CONSTRUT IVEIS COM REGUA E COMPASSO

Edson Marinho de Lima

Recife - Pernambuco Fevereiro de 2014

meros construt gua e compasso Nu veis com re

Edson Marinho de Lima

Monograa sob orienta c ao do Prof. Dr. B arbara Costa da Silva que ser a apresentada ao coordena c ao do curso de Licenciatura em Matem atica da Universidade Federal Rural de Pernambuco, como requisito parcial para conclus ao do curso.

Banca examinadora:

Prof. Dr. Barbara Costa da Silva (Orientador)

LIMA, Edson Marinho. N umeros Construt veis com R egua e Compasso. Recife-PE, UFRPE, 2014 (Monograa apresentada ao curso de Gradua c ao em Matem atica), 45 p aginas. PALAVRAS-CHAVE: Corpos, Extens oes, Adjun c ao de ra zes, Irridut vel, Grau.

(Autor Desconhecido)

Resumo
O presente trabalho estuda os n umeros construt veis, vericando se um n umero e ou n ao construt vel usando para isto apenas r egua e compasso. O texto e dividido em tr es cap tulos: no primeiro ser a tratado uma introdu c ao a teoria dos aneis focando o estudo dos ideais de um anel e isomorsmos entre dois aneis objetivando situar o leitor sobre os conceitos b asicos para compreender o restante do texto. O segundo cap tulo ser ao estudadas as extens oes de corpos atrav es do m etodo de adjun c ao de ra zes e alguns resultados que servir ao de base para o desenvolvimento do u ltimo cap tulo que versar a inicialmente sobre algumas constru c oes b asicas e logo ap os sobre os resultados consernentes a construtibilidade com r egua e compasso onde traremos conclus oes sobre a construtibilidade de um n umero. O objetivo de se estudar essa parte da algebra moderna e compreender quais n umeros s ao ou n ao construt veis com r egua e compasso, uma vez que nem todos os n umeros s ao construt veis o que impossibilitava a quadratura do c rculo, a trisec c ao do angulo e a duplica c ao do cubo, que s ao problemas cl assicos de costru c ao.

Sum ario
Resumo Introdu c ao 1 Teoria dos An eis 1.1 1.2 1.3 1.4 Deni c oes e exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Subanel e Ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . An eis Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Polin omios 1.4.1 1.4.2 1.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi 1 2 2 7 11 13 13 17 18 22 22 25 27 32 42

Algoritmo da divis ao e divisibilidade . . . . . . . . . . . . . . . . . . Crit erio de Eisenstein . . . . . . . . . . . . . . . . . . . . . . . . . .

Homomorsmo de An eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Extens oes alg ebrica dos racionais 2.1 2.2 2.3 Adjun c ao de Ra zes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Corpo de Decomposi c ao de Polin omio . . . . . . . . . . . . . . . . . . . . . Grau da Extens ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Constru c ao Com R egua e Compasso Bibliograa

vii

Lista de Figuras
3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 34 35 35 36 36 37 37 38 38 39 40 40

3.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

viii

Introdu c ao
O presente trabalho de monograa tem como objetivo estudar as extens oes de corpos, e atrav es disso, estudar os problemas de construtibilidade com r egua e compasso, al em de vericar quando um n umero e ou n ao e um n umero construt vel utilizando apenas r egua e compasso. A nalidade dessa monograa e entender algumas aplica c oes de extens oes de corpos, principalmente as que aparecem nas explica c oes das solu c oes de alguns problemas cl assicos, como por exemplo o problema da duplica c ao do cubo, da trissec c aoo do angulo e da quadratura do c rculo. A motiva c ao desse trabalho se d a por meio da seguinte pergunta: Dado um n umero ele e ou n ao e construt vel com r egua e compasso? Existem alguns exemplos de n umeros que n ao s ao construt veis, como por exemplo o n umero transcendente 3 , e tamb em o n umero alg ebrico 2. A metodologia utilizada neste trabalho e uma pesquisa bibliogr aca, com o intuito de compreender o que se tem de resultados sobre constru c oes com r egua e compasso. Alguns dos resultados ser ao apresentados para o leitor, outros a demonstra c ao n ao est a a alcance do presente trabalho, portanto a demonstra c ao ser a omitida, com a compreens ao da teoria estudada podemos entender que necessitamos de outros instrumentos para a realiza c ao de certas tarefas como por exemplo a duplica c ao do cubo. Nosso texto est a dividido em tr es partes: o primeiro cap tulo desenvolve um pouco da teoria dos aneis, onde falaremos introdutoriamente sobre ideais, aneis quocientes e homomorsmo de aneis, apresentando logo em seguida os aneis dos polin omios ferramenta de extrema import ancia para se entender as extens oes de corpos; no segundo cap tulo ser ao estudadas as extens oes de corpos sendo o foco principal o m etodo de adjun c ao de ra zes e os principais teorema sobre o grau de uma exten c ao de corpo, assunto que embasa toda teoria da construtibilidade com r egua e compasso apresentada no pr oximo cap tulo. Desta parte nosso resultado principal ser a o Teorema 3.0.21 que segue: se um n umero e construt vel o grau da extens ao deve ser uma pot encia de dois.

Cap tulo 1

Teoria dos An eis


A base para o desenvolvimento da teoria de construtibilidade com r egua e compasso e saber trabalhar com corpos, ideais, homomorsmos al em de outros conceitos da Algebra Moderna, os quais ser ao apresentados neste primeiro cap tulo. Sem esses conceitos que ser ao abordados neste cap tulo n ao e poss vel da continuidade aos estudos sobre n umeros construt veis.

1.1

Deni co es e exemplos

o (Anel). Seja A um conjunto n 1.1.1 Definic a ao vazio, munido das opera c oes de soma e produto. Dizemos que A(+, .) e um anel quando s ao v alidas as seguintes propriedades:

1. a + b = b + a, a, b A; (Comutatividade da soma) 2. (a + b) + c = a + (b + c), a, b, c A; (Associatividade da Soma) 3. 0 A tal que a + 0 = 0 + a = a, a A; (Elemento neutro da soma) 4. a, b A tal que a + b = 0; (Elemento inverso com respeito a soma) 5. (a.b).c = a.(b.c), a, b, c A; (Associatividade do produto) 6. a.(b + c) = a.b + a.c, a, b, c A. (Distributividade) Se um conjunto n ao vazio obedece essas condi c oes, dizemos que ele e um anel, mas podemos adiocionar algumas propriedades ao estudo dos an eis para deixar a teoria mais completa. 2

Teoria dos An eis

o (Anel com Unidade). Se A(+, .) 1.1.2 Definic a e um anel, no qual e v alida a seguinte propriedade: 1 A, tal que 1.a = a.1 = a, a A dizemos que A(+, .) e um anel com unidade. o (Anel Comutativo). Se o anel A(+, .) 1.1.3 Definic a e tal que a.b = b.a, a, b A dizemos que A(+, .) e um anel comutativo. o (Anel sem divisores de zero). Se o anel A(+, .) 1.1.4 Definic a e tal que a.b = 0 a = 0 ou b = 0 dizemos que A(+, .) e um anel sem divisores de zero. o (Dom 1.1.5 Definic a nio de Integridade). Se o anel A(+, .) e comutativo, com unidade e sem divisores de zero, dizemos que A(+, .) e um dom nio de integridade. o (Corpo). Se A(+, .) 1.1.6 Definic a e um anel comutativo, com unidade satisfazendo a seguinte propriedade a = 0 existe b A, tal que b.a = a.b = 1, dizemos que A e um corpo. Vejamos alguns exemplos de an eis: Exemplo 1: Z(+, .), Q(+, .), R(+, .), C(+, .) Exemplo 2: O conjunto Z[i] = {a + bi| a, b Z} C, conhecido como inteiros de Gauss, e um anel se considerarmos a soma e o produto em Z[i] da seguinte forma (Soma)+ : Z[i] Z[i] Z[i] z + t = (a + c) + (b + d)i onde z = a + bi e t = c + di. (P roduto). : Z[i] Z[i] Z[i] z.t = (ac bd) + (ad + bc)i

Os elementos neutro da soma e inverso da soma de a + bi s ao respectivamente 0 e a bi, note que as demais propriedades prov em do fato de C ser um anel. Concluindo que Z[i] e um anel. Exemplo 3: O conjunto Z[ p] = {a + b p| a, b Z} R, onde p e um inteiro que n ao tem raiz exata. Considere a soma e o produto em Z[ p] da seguinte forma (Soma)+ : Z[ p] Z[ p] Z[ p] (P roduto). : Z[ p] Z[ p] Z[ p] z + t = (a + c) + (b + d) p z.t = (ac + bdp) + (ad + bc) p onde z = a + b p e t = c + d p. Os elementos neutro da soma e inverso da soma de a + b p s ao respectivamente 0 e a b p, note que as demais propriedades seguem tamb em do fato de R ser um anel. e um anel. Portanto Z[ p]

Teoria dos An eis Exemplo 4: O conjunto F = {f : R R|f soma e produto usual de fun c oes (Soma)+ : F F F (P roduto). : f +g : RR fg : (f + g )(x) = f (x) + g (x) (f g )(x) =

4 e fun c ao} e um anel com as opera c oes de F F F RR f (x)g (x)

Os elementos neutro da soma e inverso da soma s ao o f (x) = 0 e o g (x) = f (x), note que as demais propriedades seguem tamb em do fato de R ser um anel. Tornando F um anel. Exemplo 5: An eis dos Polin omios Seja A um anel e seja x uma indeterminada sobre A. Considere o conjunto A[x] = {
i 0

ai xi ; onde ai A e ai = 0 para um quantidade nita de i}

Sejam p(x) = an xn +an1 xn1 +...+a1 x+a0 e q (x) = bm xm +bm1 xm1 +...+b1 x+b0 A[x], denamos a soma de polin omios como
max{m,n}

p(x) + q (x) =
i=0

(ai + bi )xi

e o produto de polin omios como p(x).q (x) = (ai .bj i )xi+j .


0ij m+n

As opera c oes assim denidas tornam o conjunto dos polin omios com coecientes em um anel um anel. A associatividade, a comutatividade e o elemento neutro que e o polin omio nulo, o n n 1 n inverso adtivo de p(x) = an x + an1 x + ... + a1 x + a0 que e p(x) = an x an1 xn1 ... a1 x a0 partem das opera c oes no anel A.
max{m,r} di xi , onde di = bi +ci . Ora, i=0 n+max{m,r} ai .(bki + cki )xk+i = i,k=0

A distributividade dos polin omios e feita da seguinte forma, q (x) + r(x) = s(x) = n+max{m,r} p(x).(q (x)+r(x)) = p(x).s(x) = i,k=0 (ai .dki )xk+i =
n+max{m,r} ai .bki i,k=0

n+max{m,r} ai .cki )xk+i i,k=0

p(x).q (x) + p(x).r(x). A associatividade do produto ser a demonstrada usando indu c ao sobre o grau de p(x). Suponha gr(p(x)) = 0, ter amos p(x) = a0 . queremos mostrar a associatividade do j +r j produto, p(x).(q (x).r(x)) = a0 . m ao que j =0 dj .x , com dj = k=0 bk cj k . Temos ent j p(x).(q (x).r(x)) = k=0 a0 bk cj k . Por outro lado, (p(x).q (x)).r(x) = ( j m+r j j =0 ej .x , com ej = k=0 (a0 bk )cj k . Como ej = 0. Suponhemos ent ao que o protudo de polin omios e associativo para gr(p(x)) n 1. Vamos provar que e asociativo para gr(p(x)) = n.
j k=0 a0 bk cj k m j j =0 a0 bj .x ).r (x)

=(

m i i=0 a0 bi .x )(

r i i=0 ci .x )

temos que p(x).(q (x).r(x)) = (p(x).q (x)).r(x), sendo gr(p(x)) =

Teoria dos An eis

n1 i Podemos escrever, p(x) = an xn + p1 (x), donde p1 (x) = i=0 ai x . Portanto temos, p(x).(q (x).r(x)) = an xn + p1 (x).(q (x).r(x)) = an xn .(q (x).r(x)) + p1 (x).(q (x).r(x)) = an xn .(q (x).r(x)) + (p1 (x).q (x)).r(x), falta mostrar que an xn .(q (x).r(x)) = (an xn .q (x)).r(x).

Vejamos, an xn .(q (x).r(x)) = an xn .

m+r j =0

dj xj =

m+r j =0

an .dj .xn+j . onde dj =

j k=0 bk .cj k .

Os coecientes de an xn .(q (x).r(x)) ser ao os ej +k = j k=0 an .(bk .cj k ) = au ltima igualdade parte do fato de os a, b e c estarem no anel A.

j k=0 (an .bk ).cj k ,

n+i ).( Por outro lado, (an xn .q (x)).r(x) = ( m cj xi ), os coecientes s ao tais i=0 an bi.x que e0 = e1 = ... = en1 = 0 e en = an b0 .c0 , en+1 = an b0 .c1 + an .b1 .c0 = an .d1 , ..., en+j = an .b0 .cj + an .b1 .cj 1 + ... + an .bj .c0 = an .dj . Conclu mos ent ao que o conjunto dos polin omios e associativo em rela c ao a soma.

o. Se K 1.1.7 Observac a e um corpo K[x] e um anel comutativo e com unidade 1. De fato, se p(x) = an xn + an1 xn1 + ... + a1 x + a0 temos que 1.p(x) = p(x) = an xn + an1 xn1 + ... + a1 x + a0 al em disso, no produto os coecientes s ao somas de produtos dos coecientes dos p(x) e q (x), como os coecientes est ao sobre um corpo K podemos comutar os polin omios. Exemplo 6: O conjunto M3 (R) com as opera c oes usuais de soma e produto e um anel que n ao e comutativo e possui divisores de zero: 1 4 0 0 1 0 4 1 4 De fato, se A = 2 4 3 e B = 1 0 1 ent ao A.B = 4 2 7 e 1 2 4 3 B.A = 2 6 1. 1 2 1 1 0 0 0 0 0 0 0 0 Al em disso, se C = 0 0 0 D = 0 0 0 ent ao C.D = 0 0 0. 0 0 0 0 0 1 0 0 0 Para os pr oximos passos do assunto, vamos denir a diferen ca entre dois elementos de um anel. o. Seja A um anel e a, b A, denimos a diferen 1.1.8 Definic a ca entre a e b por a b := a + (b). o. Em todo o anel vale as seguintes propriedades: Dados a, b e c A 1.1.9 Observac a (i) a + b = a + c b = c (Lei do corte da soma) (ii) existe um u nico elemento neutro aditivo (iii) existe um u nico inverso aditivo 2 1 0 0 1 2 1 1

Teoria dos An eis (iv) a.0 = 0.a = 0 (v) a.(b) = (a).b = (a.b) (Regra dos sinais) (vi) (a).(b) = a.b (Regra dos sinais) (vii) a.(b c) = a.b a.c e (b c).a = b.a c.a (Distributividade da diferen ca) Se A e um anel com unidade: (viii) (1).a = a (ix) (1).(1) = 1 (x) existe um u nico elemento neutro multiplicativo Demonstra c ao. Vejamos a demonstra c ao das propriedades acima citadas:

(i) Em um anel se a = 0 sempre existe o inverso aditivo, ent ao seja i o inverso aditivo de a, temos que: i +(a + b) = i +(a + c) (i + a)+ b = (a + i)+ c 0+ b = 0+ c b = c, e assim est a demonstrada a primeira propriedade. (ii) Mostraremos agora que o elemento neutro da adi c ao eu nico. Sejam 0 e 0 elementos neutros aditivos. Segue da que a + 0 = a = a + 0 e pela lei do cancelamento 0 = 0 , como queri amos demonstrar. iii) Mostraremos que dado um elemento a = 0 no anel existe um u nico inverso aditivo, ent ao sejam i e i inversos aditivos de a, da a + i = 0 = a + i e tamb em pela lei do cancelamento i = i. Com este resultado representaremos o inverso aditivo de a por -a. (iv) Mostraremos que o produto de qualquer elemento de um anel pelo elemento neutro d a o elemento neutro. Vejamos a.0 = a.(0 + 0) = a.0 + a.0, ou seja, a.0 e o elemento neutro da adi c ao e como este e u nico temos que a.0 = 0. De maneira an aloga se mostra que 0.a = 0. (v) Para mostrar tal fato iremos somar a.b em cada parcela e teremos a.(b) + a.b = a.(b + b) = a.0 = 0 e (a).b + a.b = (a + a).b = 0.b = 0 e ainda (a.b) + (a.b) = 0, e usando lei do corte temos as igualdades desejadas. (vi) Fa camos a seguinte soma (a).(b) + (a.b) = (a).(b + b) = a.0 = 0 e a.b + (a.b) = 0 e novamente pela lei do corte temos a igualdade desejada.

Teoria dos An eis

(vii) a.(b c) = a.(b + (c)) = a.b + a.(c) = a.b + (a.c) = a.b a.c e ainda (b c).a = (b + (c)).a = b.a + (c).a = b.a + (c.a) = b.a c.a. (viii) O inverso aditivo sempre e u nico portanto 1.a + 1.a = (1 + 1).a = 0.a = 0 e a + 1.a = a + a = 0, temos ent ao que 1.a + 1.a = a + 1.a = 0, temos ent ao usando a propriedade (i) que 1.a = a. (ix) Decorre imediatamente de (vi). (x) Suponha que tem dois elementos neutro multiplicativos, a saber 1 e 1. Como 1.1 = 1 pois 1 e elemento neutro, e 1.1 = 1 pois 1 e elemento neutro. Logo 1 = 1.

o. Todo Corpo 1.1.10 Proposic a e um Dom nio de Integridade.

Demonstra c ao. A demonstra c ao desse fato e bem simples pois para um corpo ser dom nio falta apenas mostrar que n ao possui divisores de zero. Tome a.b = 0 e suponha que a = 0, por a pertencer ao corpo a1 , tal que a1 .a = 1 e da a1 .a.b = a1 .0 = 0. (pela observa c ao(iv)). Por outro lado, (a1 .a)b = 1.b = b. Da b = 0, concluindo a demonstra c ao.

o. Se K 1.1.11 Proposic a e um corpo ent ao K [x] e um dom nio de Integridade.

Demonstra c ao. Para provar que K [x] e um dom nio basta provar que n ao tem divisores de zero pois K [x] e comutativo e com unidade j a que K e corpo. Tome p(x) = an xn + an1 xn1 + ... + a1 x + a0 e q (x) = bm xm + bm1 xm1 + ... + b1 x + b0 , com p(x), q (x) = 0 e an , bm = 0. Sendo p(x).q (x) um polin omio em que o termo de grau m + n tem coeciente an .bm e como cada um dos coecientes e diferente de zero o produto e diferente de zero, portanto p(x).q (x) = 0, concluindo assim a demonstra c ao que K [x] e dom nio de integridade.

1.2

Subanel e Ideal

o (Subanel). Seja S um subconjunto n 1.2.1 Definic a ao vazio de um anel A. Dizemos que S e um subanel de A quando S e um anel com as opera c oes de A.

Teoria dos An eis

o. Seja S um subconjunto n 1.2.2 Proposic a ao vazio de um anel A. Ent ao S e subanel de A se, e somente se vale as propriedades abaixo: 1. 0 S 2. x, y S x y S 3. x, y S x.y S

Demonstra c ao. ) De fato, se b S temos que (b) S e, do fato de S ser subanel, segue que b + (b) = 0 S . Al em disso se x, y S temos que (y ) S e ent ao x y S e x.y S . ) Observe que as propriedade 1, 2, 5 e 6 da deni c ao do anel em S s ao herdadas de A e que a exist encia do elemento neutro est a garantida na hip otese, portanto basta mostrar que todo elemento de S possui inverso adtivo. De fato, dado a S temos que 0 a S e portanto a S. Vejamos alguns exemplos de subanel: Exemplo 1: 2Z e um subanel de Z Note que 0 = 2.0 2Z e al em disso, se x, y 2Z, podemos escrever x e y da seguinte forma x = 2.m e y = 2.n, com m, n Z; segue da que x y = 2.m 2.n = 2.(m n) com m n Z, ent ao x y 2Z, e tamb em x.y = 2m.2n = 4.m.n = 2.(2mn), ent ao x.y 2Z. Concluindo ent ao que 2Z e um subanel de Z. Exemplo 2: Z Q R C e uma cadeia de suban eis de C. Exemplo 3: O conjunto das fun c oes deriv aveis e um subanel do anel das fun c oes cont nuas. Este resultado prov em da An alise real, que a fun c ao identicamente nula e deriv avel, a diferen ca de fun c oes deriv aveis e uma fun c ao deriv avel, o produto de fun c oes deriv aveis e ainda uma fun c ao deriv avel e que toda fun c ao deriv avel e cont nua. Portanto o anel das fun c oes deriv aveis e um subanel das fun c oes cont nuas. Exemplo 4: Z[x] e um subanel de Q[x]. Note que Z[x] Q[x] e que Z[x] e umm anel. Logo Z[x] e um subanel de Q[x]. o (Ideais). Seja A um anel e I um subanel de A, dizemos que I 1.2.3 Definic a e um ideal de A quando, para todo x I e a A temos a.x e x.a I. Um exemplo de ideal de Z e o subanel 2Z, pois se multiplicarmos qualquer n umero inteiro por um elemento de 2Z temos um elemento de 2Z

Teoria dos An eis

O exemplo de ideal citado acima e chamado de ideal gerado, neste caso temos o ideal gerado pelo 2, representado por < 2 >. Uma coisa importante e vermos que a soma e a interse c ao de id eais e ainda um ideal e que a uni ao nem sempre o e. o. Antes de continuar, precisamos denir o que 1.2.4 Observac a e a soma de ideais, vejamos: Seja A um anel e I,J ideais de A. Denimos I + J = {x + y ; x I e y J }. Seja A um anel e I, J ideais de A, vamos provar que I + J e tamb em um ideal de A. Para isto devemos mostrar que (i) Se x, y I + J ent ao x y I + J , (ii) 0 I + J , (iii) Se x , y I + J ent ao x .y I + J, x = x1 + y1 , y = x2 + y2 , com xi I e yi J. (iv) Se a A e x I + J , a.x I + J. Note que (iv ) (iii), pois se vale (iv ) e I + J A temos que vale (iii). Logo n ao ser a feita a demonstra c ao de (iii). Vejamos ent ao: (i) Tome x , y I + J com x = x1 + y1 e y = x2 + y2 e ainda xi I, yi J , logo x y = (x1 + y1 ) (x2 + y2 ) = (x1 x2 ) + (y1 y2 ), como I, J s ao ideais temos que x1 x2 I e y1 y2 J , temos ent ao que x y I + J. (ii) De fato 0 = 0 + 0 I + J . (iv) Tome agora a A e z = x + y I + J , sendo x I e y J . Da az = a.(x + y ) = a.x + a.y, como I e J s ao ideais a.x I e a.y J. concluindo que az I + J. Seja A um anel e I, J ideais de A, vamos provar que I J e um ideal de A. Para isto devemos mostrar que: (i) Se x, y I J ent ao x y I J (ii) 0 I J (iii) Se a A ent ao a.x I J. Vamos a demonstra c ao (i) Se x, y I J , como I e J s ao ideais x y I e x y J , logo x y I J.

Teoria dos An eis (ii) De fato 0 I J pois 0 I e 0 J .

10

(iii) Tome agora a A e x I J , como I e J s ao ideais a.x I e a.x J concluindo que a.x I J. Observe que a uni ao de dois ideais nem sempre e um ideal, por exemplo se I = 2Z e J = 3Z, 1 = 3 2 / I J. Vale a pena ressaltar que se um ideal tiver contido noutro a uni ao ser a um ideal, basta notar que a uni ao ser a um deles, nesse caso o maior com rela c ao a inclus ao. o (Ideal Gerado). Seja S = {x1 , x2 , ..., xn } A um subconjunto do anel A, 1.2.5 Definic a o ideal gerado por S ser a representado por < S >= {a1 .x1 + a2 .x2 + ... + an .xn }, onde ai A e xi S . o (Ideal Maximal). Seja I um ideal de A. Dizemos que I 1.2.6 Definic a e ideal maximal se, sendo J um ideal de A tal que I J A tenhamos J = A.

Esta deni c ao nos diz que o ideal I e maximal quando os u nicos ideais que cont em ele s ao os triviais, ou seja o pr oprio ideal e o pr oprio anel. Exemplo: I =< 5 > e um ideal maximal. De fato, se J e um ideal de Z tal que I J Z, tomando x J que n ao esteja em I, como 5 e primo ent ao mdc(x, 5) = 1 e portanto m, n Z tal que m.x + 5.n = 1. Como x J e 5 I J temos que 1 J . Portanto para todo a A temos 1.a J , ou seja, J = A. o. Mostramos, no exemplo anterior, que se 1 J ideal ent 1.2.7 Observac a ao J = A. 1.2.8 Teorema. Seja (K, +, .), um anel comutativo com unidade. As seguintes condi c oes s ao equivalentes: (i) K e corpo; (ii) {0} e um ideal maximal de K ; (iii) os u nicos ideais de K s ao os triviais. Demonstra c ao (i) (ii) Considere J = {0} um ideal de K com {0} J K , ent ao existe um elemento a = 0 tal que a J . Sendo K corpo, existe b K tal que a.b = 1. Como a J e J e ideal temos que 1 J , ou seja, J = K , Logo {0} e ideal maximal de K . (ii) (iii) Direto da deni c ao de ideal maximal. (iii) (i) Para K ser corpo basta que a K com a = 0 b K , tal que a.b = 1. Seja a K com a = 0 e considere o ideal principal gerado por a, isto e, I =< a >= {a.b|b k }. Como a = a.1 < a > ent ao < a >= {0} e portanto I = K . Da 1 I e como I e o ideal gerado por a existe b K tal que a.b = 1, ou seja, K e corpo.

Teoria dos An eis

11

1.3

An eis Quocientes

Vamos agora denir a no c ao de m odulo, e aneis quocientes. Seja A um anel e I um ideal de A, vamos denir uma rela c ao de equival encia m odulo. o (Equival 1.3.1 Definic a encia M odulo I ). Sejam x, y A. Dizemos que x y (mod I ), quando x y I . Mostremos que a rela c ao (mod I ) e uma rela c ao de equival encia. De fato: 1. x x(mod I ), pois 0 = x x I . 2. x y (mod I ) y x(mod I ), pois se x y I y x = (x y ) I . 3. x y (mod I ) e y z (mod I ) x z (mod I ), pois x z = (x y ) + (y z ) I uma vez que (x y ) I e (y z ) I . o (Classe de Equival 1.3.2 Definic a encia). Denamos por x = {y A; y x(mod I )} e chamaremos de classe de quival encia do elemento x A, relativamente a rela c ao (mod I ). Note que y x x y I y = x + a para algum a I, portanto denotaremos tamb em x = x + I = {x + z : z I }. o (Conjunto das Classes). Chamaremos de conjunto quociente de A 1.3.3 Definic a pelo ideal I ao conjunto A/I = {x = x + I : x A}. Podemos observar que at e este momento s o utilizamos o fato de I ser um subanel. Este fato p oe em d uvida necessidade da condi c ao de I ser um ideal de A. Esta necessidade ser a evidente quando tentarmos denir uma estrutura de anel para o conjunto A/I , como segue. o. Sejam A um anel e I um ideal de A. Se x x (mod I ) e y y (mod I ), 1.3.4 Proposic a ent ao: a) x + y x + y (mod I ) b) x.y x .y (mod I ) Demonstra c ao. a)(x + y ) (x y ) = (x x ) + (y y ) I , pois (x x ) I e (y y ) I . b) Seja x = x + a e y = y + b com a, b I . Ent ao x.y x .y = (x + a).(y + b) x .y = x .y + x .b + a.y + a.b x .y = x .b + a.y + a.b, como a, b I que e um ideal segue que x.y x .y I , como quer amos demonstrar.

Teoria dos An eis A proposi c ao acima pode ser reescrita como segue:

12

rio. Sejam A um anel e I um ideal de A. Se x x (mod I ) e y y (mod I ), 1.3.5 Corola ent ao:

a) x + y = x + y b) x.y = x .y 1.3.6 Teorema. Seja A um anel e I um ideal de A. Se x = x + I e A/I = {x : x A}, ent ao: + : A/I A/I A/I . : A/I A/I (x, y ) A/I

a)

(x, y ) x+y =x+y denem duas opera c oes em A/I .

x.y = x.y

b) A/I (+, .) e um anel (chamado anel quociente de A por I). e a unidade de A/I . c) Se 1 e a unidade de A, 1 d) Se A e comutativo ent ao A/I e comutativo. Demonstra c ao a) Para mostrar que + e . denem uma opera c ao basta mostrar que a opera c ao est a bem denida e isto est a provado no u ltimo corol ario. b) Vejamos, come caremos mostrando que a soma e associativa (a + b)+ c = (a + b) + c = a + (b + c) pela associatividade da soma do anel A. Temos ent ao a + (b + c) = a + (b + c). Agora mostrar que a soma e comutativa, de fato a + b = a + b = b + a pela comutatividade da soma de A. Concluimos ent ao que b + a = b + a. O elemento neutro e o 0, pois a + 0 = a + 0 = a. O inverso adtivo e a, pois a + a = a + a = 0. Vamos agora mostrar que o produto e associativo (a.b).c = (a.b).c = a.(b.c) pela associatividade do produto em A. Concluindo a.(b.c) = a.(b.c). Vamos mostrar agora que o produto e distributivo em rela c ao a soma, vejamos a.b + c = a.(b + c) = a.b + a.c pela distributividade do produto em rela c ao a soma em A. Portanto a.b + a.c = a.b + a.c. Concluindo ent ao que A/I e um anel. c) 1.x = x.1 = x 1.x = x.1 = x d) Sendo x.y = y.x x, y A, temos que x.y = x.y = y.x = y.x x, y A/I.

Exemplo: O anel Zn = Z/nZ = {0, 1, ..., n 1}, onde i = i + nZ.

Teoria dos An eis

13

1.3.7 Teorema. Seja A um anel comutativo com unidade e seja J um ideal de A. Ent ao J e ideal maximal de A A/J e corpo. Demonstra c ao ) Suponhamos J um ideal maximal de A, e seja 0 = a A = A/J. Devemos provar que A/J e corpo, ou seja, que b A tal que a.b = 1. De fato, se L =< a > ent ao J + L = {x + y : x J, y L} e um ideal contendo J propriamente pois a J + L, mas a / J . Como J e ideal maximal segue que J + L = A e portanto 1 J + L. Da existe u J e v L tais que 1 = u + v. Mas como v L v = b.a para algum b A, ou seja, 1 = u + b.a. Calculando a classe de equival encia teremos que 1 = u + b.a = u + b.a = 0 + b.a, ou seja, b.a = 1, como quer amos demonstrar. e ) Suponhamos que A = A/J seja um corpo; assim 0, 1 A J = A. Se M = J um ideal de A e J M A, ent ao teremos que existe a M \ J , ou seja, a = 0, a A. Como A e corpo b A tal que b.a = 1; ou seja, a.b 1 J . Podemos dizer ent ao que u J tal que a.b 1 = u, e assim 1 = a.b u, como a.b M, u J M , temos que 1 = b.a u M , ou seja, M = A e J e ideal maximal, como quer amos demonstrar. o. Zp 1.3.8 Observac a e um corpo se e somente se n = p, um n umero primo em Z Vamos primeiro mostrar que se p e primo ent ao Zp e corpo e para isto precisamos primeiro mostrar que o ideal gerado por p e maximal e essa demonstra c ao segue os mesmos passos de mostrar que o ideal gerado por 5 e maximal. Basta ent ao usar o teorema anterior pois, j a que < p > e maximal Z/ < P >= Zp e corpo. Vamos agora mostrar que se Zp e corpo ent ao p e primo. Essa demonstra c ao ser a feita por absurdo, suponha que p n ao seja primo, ou seja existem a, b < p, com a.b = p da a.b = 0 em Zp com a, b = 0, ou seja, ter amos divizores de 0 em Zp , contradizendo a hip otese de Zp ser um corpo, logo conclu mos que p e primo.

1.4
1.4.1

Polin omios
Algoritmo da divis ao e divisibilidade

Consideraremos, a partir de agora, K um corpo. O anel dos polin omios e um anel onde faz sentido falar de divis ao, ent ao do mesmo jeito que temos o algoritmo da divis ao de euclides para n umeros inteiros vamos construir o algoritmo da divis ao para polin omios. Seja f (x) = an xn + an1 xn1 + a1 x + a0 K [x], com an = 0 dizemos que n e o grau de f (x) representamos por gr(f (x)) = n.

Teoria dos An eis

14

1.4.1 Teorema. Sejam f (x) e g (x) K [x] e g (x) = 0. Ent ao existem u nicos q (x) e r(x) K [x] tais que f (x) = q (x).g (x) + r(x) onde r(x) = 0 ou gr(r(x)) < gr(g (x)). Demonstra c ao Exist encia: Se f (x) = 0 ou gr(f ) < gr(g ) colocamos q (x) = 0 e r(x) = f (x). Ent ao podemos assumir que n = gr(f ) gr(g ) = m. Usaremos o segundo princ pio da indu c ao sobre o grau de f . Sejam f (x) = an xn + an1 xn1 + ... + a1 x + a0 e g (x) = bm xm + bm1 xm1 + ... + b1 x + b0 . Se gr(f ) = 0 temos f e g constantes. Ent ao basta tomar q (x) = f /g e r(x) = 0. Vamos 1 nm g (x). Note que f (x) = a xn + supor gr(f ) > 0 e coloquemos f1 (x) = f (x) an b 1 n m x 1 n m m n n ... an bm x .bm x + ... = an x + ... an x + ..., tem o termo de grau n igual a zero. Ent ao f1 = 0 ou gr(f1 ) < gr(f ). Pela nossa hip otese de indu c ao existem q1 (x) e r1 (x) tais que f1 (x) = g (x).q1 (x) + r1 (x) onde r1 = 0 ou gr(r1 ) < gr(g ). Desta forma temos
1 nm 1 nm f (x) = an b g (x) + f1 = an b g (x) + g (x).q1 (x) + r1 (x) m x m x 1 nm f (x) = (an b + q1 (x))g (x) + r1 (x) m x 1 nm + q (x) e r (x) = r (x) est fazendo q (x) = an b a provada a exist encia. 1 1 m x

Unicidade: Suponhamos que existam q1 (x), q2 (x) e r1 (x), r2 (x) tais que f (x) = q1 (x)g (x)+ r1 (x) = q2 (x)g (x) + r2 (x) onde ri = 0 ou gr(ri (x)) < gr(g ) com i = 1, 2. Subtraindo as equa c oes temos que 0 = g (x)(q1 (x) q2 (x)) + (r1 (x) r2 (x)) ou ent ao r1 (x) r2 (x) = g (x)(q2 (x) q1 (x)). Como r1 r2 = 0 ou o grau de r1 (x) r2 (x) e menor que o grau de g e g divide r1 (x) r2 (x) temos ent ao que r1 (x) r2 (x) = 0 portanto r1 (x) = r2 (x) e como K [x] e um dom nio e g (x)(q2 (x) q1 (x)) = 0 com g (x) = 0 temos que q2 (x) q1 (x) = 0 e portanto q2 (x) = q1 (x). Concluindo assim a unicidade. Os polin omios q (x) e r(x) s ao chamados, respectivamente, quociente e resto da divis ao de f (x) por g (x). o (Divisibilidade). Sejam f (x), g (x) K [x]. Dizemos que g (x) divide 1.4.2 Definic a f (x) quando existe h(x) K [x] tal que f (x) = g (x).h(x). o (Ra 1.4.3 Definic a z de Polin omio). Sejam f (x) K [x] um polin omio e a K . Dizemos que a e ra z de f se f (a) = 0. o (Multiplicidade). Sejam f (x) K [x] um polin 1.4.4 Definic a omio e a K uma ra z de f (x). Dizemos que a tem multiplicidade k se (x a)k divide f (x) e (x a)k+1 n ao divide f (x). Quando a ra z tem multiplicidade 1 dizemos que e uma ra z simples. 1.4.5 Teorema (Teorema do Resto). Seja f (x) um polin omio em K [x] e a K temos que f(a) e o resto da divis ao de f por x a.

Teoria dos An eis

15

Demonstra c ao Pela divis ao euclidiana existem r(x), q (x) K [x] tais que f (x) = q (x)(x a) + r(x). Assim, f (x) = q (x)(x a) + r(x) f (a) = q (a)(a a) + r(a) f (a) = q (a)(a a) + r(a) f (a) = q (a).0 + r f (a) = r.

rio. Seja f (x) K [x]. Ent 1.4.6 Corola ao a e ra z de f (x) se e somente se x a divide f(x). Para demonstrar basta aplicar o teorema do resto e a deni c ao de raiz e divisibilidade. 1.4.7 Teorema. Um polin omio de grau n sobre um corpo tem no m aximo n ra zes. Demonstra c ao Vamos fazer indu ca o sobre n = gr(f ), de fato se n = 1 f (x) tem uma u nica ra z. Agora suponha que a armativa seja v alida para um polin omio de grau menor que n e n maior que 1. Seja f (x) um polin omio de grau n sobre um corpo, se f (x) n ao tem ra z no corpo n ao h a o que fazer o teorema j a estar a provado, ent ao seja a uma ra z de f (x) k de multiplicidade k . Ent ao f (x) = (x a) .g (x) onde g (a) = 0 e n = k + gr(g (x)) o que mostra que gr(g ) < n. Se f (x) n ao admite ra z diferente de a o teorema est a demonstrado, mas se f (x) admite uma outra ra z b diferente de a temos que 0 = f (b) = (b a)k g (b) como f (x) e g (x) s ao polin omios sobre um corpo segue que ou (b a)k = 0 ou g (b) = 0, como b = a temos que g (b) = 0. Como o grau de g (x) e menor que n, pela hip otese de indu c ao segue que g (x) admite no m aximo n k ra zes e portanto f (x) admite no m aximo 1 + n k n ra zes. Exemplo Considere o polin omio xn 1 C[x] cujas ra zes s ao os wi C onde w = cos(2/n) + isen(2/n) e i = 1, 2, ..., n. Pelo teorema acima essas ra zes acima citadas n s ao as u nicas ra zes de x 1 e o n umero complexo w e chamado raiz primitiva da unidade. o (Dom 1.4.8 Definic a nio de Ideais Principais). Seja D um dom nio. Dizemos que D e dom nio de ideais principais(DIP) se, para todo ideal J de D, J e um ideal principal, ou seja, J e um ideal gerado por um u nico elemento. o. O anel dos inteiros 1.4.9 Observac a e um exemplo de DIP. De fato, seja J = {0} um ideal de Z, observe que se x J temos que x J, portanto |x| J . Seja S o subconjunto de todos os elementos positivos de J , j a vimos que esse conjunto e n ao vazio. Pelo princ pio da boa ordem d > 0 o menor elemento de S. Ora se d J , temos que < d > J , basta ent ao mostrar que J < d >, vejamos, tome |x| J , pelo algoritmo da divis ao existem q, r Z tal que |x| = q.d + r, com 0 r < d. Segue disto que 0 r = |x| q.d < d, como |x|, q.d J temos que r J. Pela minimalidade d temos que r = 0 e consequentemente |x| < d >. Concluindo < d >= J.

Teoria dos An eis 1.4.10 Teorema. Se K e um corpo ent ao K [x] e DIP.

16

Demonstra c ao Pela Proposi c ao 1.1.11 sabemos que K [x] e dom nio. Seja I um ideal de K [x]. Se I = 0 n ao h a o que demonstrar. Suponha ent ao que I = 0 e seja g (x) = 0 um polin omio que pertence a I de menor grau poss vel, vamos mostrar que I =< g (x) > . Como g (x) I ent ao < g (x) > I. Agora tome f (x) I . Usando o algoritmo da divis ao existem u nicos q (x) e r(x) tais que f (x) = q (x).g (x) + r(x) com r(x) = 0 ou gr(r) < gr(g ). Sendo r(x) = f (x) q (x).g (x), f (x) I e < g (x) > I ent ao r(x) I. Como g (x) e um polin omio que pertence a I de menor grau poss vel devemos ter r(x) = 0, ou seja, f (x) < g (x) > . Logo I < g (x) >. Concluindo ent ao que K [x] e DIP. o (Polin 1.4.11 Definic a omio irredut vel). Seja f (x) K [x], um polin omio n ao nulo e n ao constante, dizemos que f (x) e irredutivel quando: f (x) = g (x).h(x) g (x) = c ou h(x) = c. o. Observe que < p(x) >= K [x] p(x) = c. Se p(x) = c temos 1.4.12 Observac a que c K e portanto existe c1 , da 1 = c.c1 < p(x) >, logo p(x) = K [x]. Agora se < p(x) >= K [x], suponha por absurdo que n ao temos p(x) = c, obrigatoriamente gr(p(x)) 1, portanto se q (x) < p(x) >, gr(q (x)) 1, logo 1 / < p(x) >, mas 1 K [x], logo contrariariamos a hip otese que < p(x) >= K [x], ent ao conclu mos que p(x) = c. Al em do mais, os u nicos invert veis em K [x] s ao as constantes n ao nulas e isso decorre do fato que gr(p(x).q (x)) = gr(p(x)) + gr(q (x)) sendo isso deduzido da deni c ao de grau e K [x] ser dom nio. 1.4.13 Teorema. Seja K um corpo e p(x) K [x]. Ent ao as seguintes arma c oes s ao equivalentes: (a) p(x) e irredut vel sobre K. (b) J =< p(x) > e um ideal maximal em K[x]. Demonstra c ao (a) (b): Suponha que p(x) K [x] e um polin omio irredut vel sobre K , e seja J =< p(x) >. Como o gr(p) 1 temos imediatamente J = K [x]. Se I =< h(x) > e um ideal de K [x] tal que I J vamos provar que I = J ou I = K [x]. Segue que p(x) < p(x) > < h(x) >, sendo assim p(x) = g (x).h(x). como p(x) e irredut vel sobre K segue que ou g (x) = a K {0} constante ou h(x) = b K {0} constante. Ora se g (x) = a e constante temos que h(x) = a1 .p(x), da I =< h(x) >< p(x) >= J e portanto I = J. Se h(x) = b K {0} constante temos que I =< h(x) >= K [x] e isto conclui (a) (b)

Teoria dos An eis

17

(b) (a) : Seja J =< p(x) > um ideal maximal em K [x]. Assim J = K [x] nos diz que gr(p) 1. Suponhamos que existam g (x), h(x) K [x] tais que p(x) = g (x).h(x). Segue ent ao que < p(x) > < h(x) >= I e como J e ideal maximal temos que J = I ou I = K [x]. Se J = I temos que h(x) J =< p(x) > e portanto h(x) = f (x).p(x) onde ter amos que p(x) = g (x).f (x).p(x). Como p(x) = 0 e K [x] e um dom nio temos que f (x).g (x) = 1, ou seja g (x) e invert vel em K [x] e portanto g (x) = a = 0 constante. Por outro lado, se < h(x) >= I = K [x] segue imediatamente que h(x) = b = 0 constante, concluindo ent ao que p(x) e irredut vel sobre K .

1.4.2

Crit erio de Eisenstein

o (Lema de Gauss). Se f (x) Z[x] tal que f (x) 1.4.14 Proposic a e irredut vel sobre Z ent ao f (x) e irredut vel sobre Q. Demonstra c ao Suponhamos que f (x) e irredut vel sobre Z, mas f (x) = g (x).h(x) onde g (x), h(x) Q[x] e 1 gr((g ), gr(h) gr(f ). Com certeza existe um n umero m positivo tal que m.f (x) = g1 (x).h1 (x) onde g1 (x), h1 (x) Z[x]. Assim temos, g1 (x) = a0 + a1 x + a2 x2 + ... + ar xr , ai Z, com mdc{ai , i {0, 1, ..., r}} = 1 e, h1 (x) = b0 + b1 x + b2 x2 + ... + bs xs , bj Z, com mdc{bj , j {0, 1, ..., s}} = 1. Tome p um fator primo de m, temos que p \ g1 (x).h1 (x) mas p \g1 (x) e p \h1 (x). Da ai , i {0, 1, ..., r} tal que p \ai e aj , j {0, 1, ..., s} tal que p \bj e escolha i e j os menores poss veis com esta propriedade. Veja, por p \ m temos que p divide o coeciente de xi+j do polin omio m.f (x) = g1 (x).h1 (x), ent ao, p \ (b0 .ai+j + b1 .ai+j 1 + ... + bj .ai + ... + bi+j 1 .a1 + bi+j .a0 ). Mas, pela nossa escolha de i e j p divide todos os termos do coeciente mas p \bj .ai , absurdo pois ele divide o coeciente de xi+j de g1 (x).h1 (x). Ent ao se p \ m temos obrigatoriamente que p \ ai ou p \ bj . Sem perda de generalidade, suponhamos que p \ ai . Logo ter amos g1 (x) = p.g2 (x) onde g2 (x) Z[x], concluindo que p.m1 f (x) = p.g2 (x).h1 (x) Como o n umero de fatores primos de m e nito prosseguindo no argumento acima por indu c ao sobre o n umero de fatores primos de m chegaremos a: f (x) = g (x).h (x) onde g (x), h (x) Z[x] contradizendo a irredutibilidade de f(x) sobre Z. Logo f (x) e irredut vel sobre Q. 1.4.15 Teorema (Crit erio de Einseinstein). Seja f (x) = a0 + a1 x + a2 x2 + ... + an xn um polin omio em Z[x]. Supondo que exista um inteiro primo p tal que: (a) p \an

Teoria dos An eis (b) p \ a0 , a1 , ..., an1 (c) p2 \a0 . Ent ao f (x) e irredut vel sobre Q.

18

Demonstra c ao Pelo lema de Gauss basta mostrar que f (x) e irredut vel sobre Z. Suponhamos por contradi c ao que f (x) = g (x).h(x), sendo g (x), h(x) Z[x] e 1 gr(g ), gr(h) gr(f ) = n. Seja, g (x) = b0 + b1 x + b2 x2 + ... + br xr Z[x], e h(x) = c0 + c1 x + c2 x2 + ... + cs xs Z[x] sendo gr(g ) = r e gr(h) = s. Ent ao temos n = r + s. Agora b0 .c0 = a0 ent ao p \ b0 ou p \ c0 e como p2 \a0 p n ao divide os dois termos ao mesmo tempo. Ent ao digamos, sem perda de generalidade, que p \ b0 e p \c0 . Como an = br .cs e o coeciente de xn = xr .xs e portanto temos p \br e p \ b0 . Seja bi o primeiro coeciente de g (x) tal que p \bi . Agora ai = b0 .ci + b1 .ci1 + ... + bi .c0 e como p \ b0 , ..., bi1 , p \c0 e p \bi p \ai i = n temos um absurdo pois 1 i r < n. Exemplo 1: f (x) = x2 +2x +10 Q e irredut vel sobre Q pelo crit erio de Einseinstein, basta tomar p = 2. Exemplo 2: Seja p um n umero primos. Ent ao f (x) = xn p Q e irredut vel sobre Q pelo crit erio de Einseinstein, basta escolher o pr oprio p.

1.5

Homomorsmo de An eis

o (Homomorsmo). Sejam A e B dois an 1.5.1 Definic a eis. Se f : A B e uma fun c ao tal que: i) f (x + y ) = f (x) + f (y ) x, y A ii) f (x.y ) = f (x).f (y ) x, y A

dizemos que f e um homomorsmo de A em B. Quando f e um homomorsmo bijetivo dizemos que f e um isomorsmo, al em disso dizemos que os an eis A e B s ao isomorfos e representamos por A B . o. Sejam A e A dois an 1.5.2 Proposic a eis e f : A A um homomorsmo. Ent ao: (a) f (0) = 0

Teoria dos An eis (b) f (a) = f (a) a A

19

(c) Se A s ao dom nios de integridade ent ao ou f e a fun c ao constante zero ou f (1) = 1 (d) Se A e A s ao corpos ent ao ou f e a fun c ao constante zero ou f e injetiva. Demonstra c ao (a) De fato, 0 + 0 = 0 f (0 + 0) = f (0) f (0) + f (0) = f (0), concluindo ent ao que f (0) = 0 que e o elemento neutro de A . (b) Seja a A. De a + (a) = 0 segue do item (a) que f (a) + f (a) = 0 f (a) = f (a). (c) De 1.1 = 1 segue que f (1)2 = f (1), isto e, f (1).(f (1) 1 ) = 0 . como A e um dom nio de integridade e este n ao possui divisores de zero, segue ent ao que ou f (1) = 0 ou f (1) = 1 . Se f (1) = 0 temos que f (x) = f (x.1) = f (x).f (1) = f (x).0 = 0 x A, ou seja, f e a fun c ao constante igual a zero. (d) Seja A e A corpos e suponhamos que o homomorsmo f n ao e a fun c ao constante igual a zero. Como A e um dom nio de integridade pelo item (c) sabemos que f (1) = 1 , da devemos provar que f e injetiva. De fato, se x, y A e f (x) = f (y ), devemos ent ao que mostrar que x = y , mas supondo por contradi c ao que x = y , ou seja, x y = 0, como A e um corpo segue que b A tal que b.(x y ) = 1. Da f (b).f (x y ) = 1 f (b).(f (x) f (y )) = 1 f (b).0 = 1 , absurdo. Logo n ao podemos ter x = y e portanto x = y , concluindo que f e injetiva.

1.5.3 Teorema. Sejam A e A an eis comutativos e f : A A um homomorsmo. Ent ao (1) Imf = {f (a) : a A} e um subanel de A (2) N (f ) = {a A : f (a) = 0 } e um ideal de A, e f e injetiva N (f ) = {0}. (3) Os an eis A/N (f ) e Imf s ao isomorfos. Demonstra c ao (1) De fato, Imf e um subanel de A pois (i) 0 = f (0) Imf. (ii) f (a), f (b) Imf f (a) f (b) = f (a b) Imf.

Teoria dos An eis (iii) f (a), f (b) Imf f (a).f (b) = f (a.b) Imf

20

(2) Vamos provar que N (f ) = {a A : f (a) = 0 } e um ideal de A e que f e injetiva N (f ) = {0}. (i) 0 N (f ) pois f (0) = 0 (ii) a, b N (f ) f (a b) = f (a) f (b) = 0 0 = 0 , ou seja, a b N (f ). (iii) Sejam x A e a N (f ) ent ao f (a.x) = f (x.a) = f (x).f (a) = f (x).0 = 0 portanto a.x = x.a N (f ). Concluindo ent ao que N (f ) e um Ideal de A. Agora vamos mostrar que f e injetiva N (f ) = {0}. Se f e injetiva temos claramente que N (f ) = {0} pois f (0) = 0 . Considere agora que N (f ) = {0} e seja f (x) = f (y ) para algum x, y A. Temos que f (x) f (y ) = 0 f (x y ) = 0 x y N (f ) = {0} x = y, ou seja, f e injetiva. (3) Para demonstar o item (3) vamos denir uma fun c ao auxiliar F : A/N (f ) Imf vamos provar que ela e bijetiva e que e um homomorsmo entre os dois an eis. c ao e bem denida e e injetiva Dena F : A/N (f ) Imf por F (x) = f (x). Essa fun j a que x = y x y (modN (f )) x y N (f ) f (x y ) = 0 f (x) = f (y ) F (x) = F (y ). portanto injetiva e bem denida. Note que ImF = {F (x) : x A/N (f )} = {f (x) : x A} = Imf portanto f e sobrejetiva. Logo F e uma fun c ao bijetiva falta mostrar que que e um homomorsmo, vejamos: 1) F (x + y ) = f (x + y ) = f (x) + f (y ) = F (x) + F (y ) 2) F (x.y ) = f (x.y ) = f (x).f (y ) = F (x).F (y ) Logo F e um homomorsmo. Temos ent ao que A/N (f ) Imf pois e um homomorsmo bijetivo ou seja um isomorsmo, como quer amos demonstrar

Existem alguns exemplos de isomorsmos bastante conhecidos na teoria dos aneis um e o isomorsmo entre os corpos Q[ p], sendo p um n umero que n ao tem ra z quadrada 2 2 exata e Q[x]/ < x p >, outro exemplo e entre os corpos C e R[x]/ < x + 1 > . Vamos desenvolver esses exemplos e mostrar o isomorsmo. Exemplo 1 Seja : R[x] C, com (f (x)) = f (i).

Teoria dos An eis

21

Vamos mostrar que essa fun c ao e um homomorsmo e depois mostrar que o n ucleo 2 desse homomorsmo e o ideal gerado por x + 1 e que o homomorsmo e sobrejetivo e portanto pelo teorema do isomorsmo o anel quocientado pelo n ucleo e isomorfo a imagem. Vejamos que e um homomorsmo: (f (x) + g (x)) = (f + g )(i) = f (i) + g (i) = (f (x)) + (g (x)) ((f.g )(x)) = (f.g )(i) = f (i).g (i) = (f (x)). (g (x)). Vamos agora mostrar que o n ucleo de e o ideal gerado por x2 + 1. Primeiro veja que (x2 + 1) = i2 + 1 = 1 + 1 = 0 x2 + 1 N ( ), portanto < x2 + 1 > N ( ). Tome agora f (x) N ( ). Pelo algoritmo da divis ao existem polin omios q (x), r(x) 2 K [x] tais que f (x) = q (x).(x + 1) + r(x), com gr(r(x)) < 2 ou r(x) = 0. Note que r(i) = f (i) q (i).(i2 + 1) = 0 q.0 = 0 0 = 0, mas r(x) e um polin omio de grau menor ou igual a 1 e portanto r(x) = a + bx, da r(i) = 0 a + bi = 0 a = b = 0. Logo r(x) = 0. 2 Concluindo que N ( ) < x + 1 > . Temos ent ao que N ( ) =< x2 + 1 > . Falta ainda mostrar que e e um homomorsmo sobrejetivo, para isto basta mostrar que C Im( ). Tomando um elemento de C que e um elemento da forma a + bi, podemos notar que (a + bx) = a + bi. Logo C Im( ). Pelo teorema do isomorsmo temos que R[x]/ < x2 + 1 > C. Exemplo 2 Seja : Q[x] Q[ p], com (f (x)) = f ( p). Vamos mostrar que essa fun c ao e um homomorsmo e depois mostrar que o n ucleo 2 desse homomorsmo e o ideal gerado por x p e que o homomorsmo e bijetivo a pelo teorema do isomorsmo o anel quocientado pelo n ucleo e isomorfo a imagem. Vejamos que e um homomorsmo: (f (x) + g (x)) = (f + g )( p) = f ( p) + g ( p) = (f (x)) + (g (x)) ((f.g )(x)) = (f.g )( p) = f ( p).g ( p) = (f (x)). (g (x)). Vamos agora mostrar que o n ucleo de e o ideal gerado por x2 p. Primeiro veja que (x2 p) = ( p)2 p = p + p = 0 x2 p N ( ), portanto < x2 p > N ( ). Tome agora f (x) N ( ). Pelo algoritmo da divis ao existem polin omios q (x), r(x) 2 K [x] tais que f (x) = q (x).(x p) + r(x), com gr(r(x)) < 2 ou r(x) = 0. Note que r( p) = f ( p) q ( p).(( p)2 p) = 0 q.0 = 0 0 = 0, mas r(x) e um polin omio de grau menor ou igual a 1 e portanto r(x) = a + bx, da r( p) = 0 a + b p = 0 a = b = 0. 2 Logo r(x) = 0. Concluindo que N ( ) < x p > . Temos ent ao que N ( ) =< x2 p > . Falta ainda mostrar que e e um homomorsmo sobrejetivo, para isto basta mostrar que C Im( ). Tomando um elemento de C que e um elemento da forma a + b p, podemos notar que (a + bx) = a + b p. Logo R[ p] Im( ). Pelo teorema do isomorsmo temos que R[x]/ < x2 p > R[ p].

Cap tulo 2

Extens oes alg ebrica dos racionais


Neste cap tulo iremos estudar um pouco sobre extens oes de corpos. Iremos considerar K um corpo, p(x) K [x] um polin omio sobre esse corpo K e uma raiz de p(x) tal que / K. Queremos construir L, uma extens ao do corpo K que contenha atrav es do m etodo de adjun c ao de ra zes e tamb em ser a estudado o conceito de grau da extens ao que ser a de extrema import ancia para compreendermos os resultados do pr oximo cap tulo.

2.1

Adjun c ao de Ra zes

Nesta se c ao falaremos do processo de adjun c ao de ra zes, mas para isto veremos algumas deni c oes. Neste cap tulo K representar a um corpo e L um dom nio que e uma extens ao do corpo K . o (Elemento Alg 2.1.1 Definic a ebrico). Sejam L K e L, dizemos que e alg ebrico sobre K se f (x) K [x] {0} tal que f () = 0. Caso o contr ario dizemos que e transcendente sobre K . Um elemento alg ebrico sobre Q e dito apenas alg ebrico e um elemento transcendente 3 sobre Q e dito apenas transcendente, sendo assim 2 e um elemento alg ebrico pois e raiz 3 do polin omio x 2 e e poss vel mostrar que e um elemento transcendente. Se K e imediato que e alg ebrico sobre K pois e ra z do polin omio p(x) = x K [x]. o (Extens 2.1.2 Definic a ao Alg ebrica). O conjunto L e dito uma extens ao alg ebrica de K se L K, e alg ebrico sobre K . o (Polin 2.1.3 Definic a omio m onico). Um polin omio e dito m onico se o coeciente do termo de maior grau for 1. o. Se 2.1.4 Observac a e alg ebrico sobre K existe um u nico polin omio m onico p(x) de menor grau tal que p() = 0. Considere I = {f (x) K [x]; f () = 0}, perceba que I e 22

Extens oes alg ebrica dos racionais

23

um ideal de K [x], de fato o polin omio nulo e um polin omio que se anula para qualquer valor de x e em particular em e portanto o polin omio nulo pertence a I , considere agora dois polin omios p(x), q (x) em I , (p q )(x) = p(x) q (x), aplicando em temos que (p q )() = p() q () = 0 0 = 0. Tome agora f (x) K [x] e p(x) I , (f.p)() = f ().p() = f ().0 = 0. Provamos ent ao que I e ideal de K [x]. Pela demonstra c ao do teorema 1.3.9 conclu mos que I =< p(x) > para qqualquer polin omio p(x) I n ao nulo de menor grau poss vel, portanto podemos tom a-lo m onico. Se existe um q (x) I m onico tal que I =< q (x) >, p(x) = q (x).h(x), pela minimalidade do grau de p(x) e estudando o grau de um produto conclu mos que h(x) = c e c = 1 pelo fato de p(x) e q(x) serem m onicos. Concluindo que p(x) e irredut vel e u nico, o qual denotaremos por p(x) = irr(, K ). Seja L K e denamos K[] = {f () : f (x) K [x]}. Vejamos ent ao alguns exemplos. Exemplo 1: Seja = 2 R Q vamos provar que Q[] = {a + b 2 : a, b Q}. De fato, por deni c ao temos que Q[ 2] = {f ( 2) : f (x) Q[x]}. Como f (x) Q[x], pelo algoritmo da divis ao segue que existem q (x), r(x) Q[x] tais que f (x) = q (x).(x2 2)+ r(x), onde r(x) = a + bx, a, b Q e portanto f ( 2) = r( 2) = a + b 2, a, b Q. Exemplo 2: Vamos provar que Q[ 3 2] = {a + b 3 2 + c( 3 2)2 a, b, c Q}. De fato, por deni c ao temos que Q[ 3 2] = {f ( 3 2) : f (x) Q[x]}. Como f (x) Q[x], pelo algoritmo da divis ao segue que existem q (x), r(x) Q[x] tais que f (x) = q (x).(x3 2) + r(x), onde r(x) = a + bx + cx2 , a, b, c Q e portanto f ( 3 2) = r( 3 2) = a + b 2 + c( 3 2)2 , a, b, c Q. 2.1.5 Teorema. Se L K e se : K [x] L e denida por (f (x)) = f (), ent ao e um homomorsmo tal que: (i) Im = K [], K K [] L. (ii) e transcendente sobre K N ( ) = {0}. (iii) Se e alg ebrico sobre K e p(x) = irr(, K ) ent ao N ( ) = < p(x) > e um ideal maximal de K[x]. (iv) K [x]/N ( ) K [].

Demonstra c ao Primeiramente e preciso mostrar que e um homomorsmo e isso e simples, segue direto das opera c oes com polin omios. Vejamos, (f + g ) = (f + g )() = f () + g () = (f ) + (g ) e (f.g ) = (f.g )() = f ().g () = (f ). (g ) portanto e homomorsmo.

Extens oes alg ebrica dos racionais (i) Im = {f () : f (x) K [x] = K [].

24

(ii) ) Dizer que e transcendente sobre K e dizer que f (x) = 0 f () = 0, mas e um homomorsmo, portanto temos que (0) = 0. Conclu mos que (f ) = 0 f (x) = 0. Ou seja N ( ) = {0}. ) Dizer que N ( ) = {0} e dizer que f (x) = 0 K [x] f () = 0 e transcendente sobre K. (iii) Se e alg ebrico sobre K tome p(x) = irr(, K ), queromos mostrar primeiramente que < p(x) >= N ( ). De fato, p(x) < p(x) > e como p() = 0 temos ent ao que p(x) N ( ), ou seja, < p(x) > N ( ). Agora tome f (x) N ( ), pelo algoritmo da divis ao existem q (x), r(x) K [x] tais que f (x) = q (x).p(x) + r(x) com r(x) = 0 ou gr(r(x)) < gr(p(x)). Note que r(x) = f (x) q (x).p(x), como p(x), f (x) N ( ) temos que r(x) N ( ), mas pela minimalidade do grau de p(x) temos que r(x) = 0 e portanto f (x) < p(x) >. Temos ent ao que N ( ) < p(x) >, ou seja, N ( ) =< p(x) > . N ao e necess ario mostrar que N ( ) e ideal maximal pois j a foi mostrado que o n ucleo de qualquer homomorsmo e um ideal do dom nio que neste caso e K [x], como e gerado por um polin omio irredut vel, e maximal. (iv) Segue do primeiro teorema do isomorsmo que o anel quocientado pelo n ucleo do homomorsmo e isomorfo a imagem do homomorsmo.

rio. Seja L K. 2.1.6 Corola (a) Se e alg ebrico sobre K ent ao K [] e um subcorpo de L que cont em K . (b) Se e transcendente sobre K ent ao K [] e um subdom nio de L isomorfo ao dom no dos polin omios sobre K. Demonstra c ao (a) Se L K e alg ebrico sobre K, pelo item (iii) do teorema anterior N ( ) e um ideal maximal do dom nio, pelo teorema 1.1.7 K [] K [x]/N ( ) que e corpo e est a contido em L, portanto K [] e um subcorpo de L que contem K. b Se L K e transcendente pelo item (ii) N ( ) = {0}, portanto K [] K [x]/N ( ) = K [x] que e um dom nio e est a contido em L, portanto K [] e um subdom nio de L que cont em K.

rio. Se , L K s 2.1.7 Corola ao ra zes de um mesmo polin omio irredut vel sobre K , ent ao K [] e K [ ] s ao corpos isomorfos.

Extens oes alg ebrica dos racionais Demonstra c ao Note que K [] ismomorfos. K [x]/ < p(x) >

25 K [ ], portanto K [] e K [ ] s ao

o. Seja L K, L alg 2.1.8 Proposic a ebrico sobre K . Se o grau do polin omio irr(, K ) e n, ent ao para todo f (x) K [x], f () pode ser expresso de modo u nico na forma f () = a0 + a1 + ... + an1 n1 , onde ai K. Demonstra c ao Seja p(x) = irr(, K ), um polin omio em K[x] de grau n e Seja f (x) K [x] ent ao pelo algoritmo da divis ao existem u nicos q (x), r(x) K [x] tais que f (x) = q (x).p(x)+ r(x), onde r(x) = 0 ou gr(r(x)) < gr(p(x)). Assim temos que r(x) = a0 + a1 x + ... + an1 xn1 onde ai K, i = 0, 1, ..., n 1. Como p() = 0 temos que f () = r() = a0 + a1 + ... + an1 n1 . Vamos agora mostrar a unicidade por absurdo. Suponha que f () = a0 + a1 + ... + an1 n1 = b0 + b1 + ... + bn1 n1 com ai , bi K e i {0, 1, ..., n 1}. Portanto tomando q (x) = (a0 b0 ) + (a1 b1 )x + ... + (an1 bn1 )xn1 temos que q () = (a0 b0 ) + (a1 b1 ) + ... + (an1 bn1 )n1 = 0 e ainda gr(q (x)) < gr(irr(, K )). Ent ao segue que q (x) = 0 e portanto ai = bi , i {0, 1, ..., n 1}.

2.2

Corpo de Decomposi c ao de Polin omio

Considere K um subcorpo de C. Lembramos que C e um corpo algebricamente fechado, ou seja, e um corpo em que todo polin omio n ao nulo e n ao constante admite uma raiz - este fato, conhecido como Teorema Fundamental da Algebra, guarda um fato curioso pois apesar de ser um teorema fudamental para a algebra esto foi provado por meio de ferramentas de An alise. Assim, sendo f (x) K [x] um polin omio de grau n 1 e 1 , 2 , ..., r todas as ra zes distintas de f (x) em C podemos escrever f (x) = c.(x 1 )m1 ...(x r )mr em C[x], onde c K e r, m1 , ..., mr s ao n umeros inteiros positivos. O inteiro mi e chamado de multiplicidade da ra z i . Se mi = 1 dizemos que i e uma ra z simples de f (x). o (Derivada). Se f (x) = a0 + a1 x + ... + an xn K [x] denamos o polino 2.2.1 Definic a f (x) = a1 + 2a2 x + ... + nan xn1 K [x] e chamemos de derivada de f(x). Observe que se gr(f (x)) 1 temos f (x) = 0 e gr(f (x)) = n 1. Se f (x), g (x) K [x] e a K segue imediatamente da deni c ao de derivada as seguintes regras:

Extens oes alg ebrica dos racionais i) (f (x) + g (x)) = f (x) + g (x) ii) (a.f (x)) = a.f (x) iii) (f (x).g (x)) = f (x).g (x) + f (x).g (x). Faremos a demonstra c ao do item iii)

26

Demonstra c ao Seja f (x) = a0 + a1 x + a2 x2 + ... + an xn e g (x) = b0 + b1 x + b2 x2 + ... + bm xm . Temos que f (x) = a1 + 2a2 x + ... + nan xn1 e g (x) = b1 + 2b2 x + ... + man xm1 . Note que f.g (x) = a0 .b0 + (a0 .b1 + a1 .b0 )x + (a0 .b2 + a1 .b1 + a2 .b0 )x2 + (a0 .b3 + a1 .b2 + a2 .b1 + a3 .b0 )x3 + ... + (a0 .bm + a1 .bm1 + ... + am .b0 )xm + (a1 .bm + a2 .bm1 + ... + am+1 .b0 )xm+1 + (a2 .bm + a3 .bm1 + ... + am+2 .b0 )xm+2 + ... + (anm .bm + anm+1 .bm1 + ... + an .b0 )xn + (anm +1 .bm + anm+2 .bm1 + ... + an+1 .b0 )xn+1 +(anm+2 .bm + amn+2 .bm1 + an+2 .b0 )xn+2 + ... + an .bm xm+n . Derivando o produto e reorganizando os termos temos, (f.g ) (x) = a1 .(b0 + b1 x + b2 x2 + ... + n1 (b + b x + b x2 + ... + b xm )+ b .(a + bm xm )+2a2 x(b0 + b1 x + b2 x2 + ... + bm xm )+ ... + nax 0 1 2 m 1 0 a1 x + a2 x2 + ... + an xn ) + 2b2 x(a0 + a1 x + a2 x2 + ... + an xn ) + ... + mbm xm1 (a0 + a1 x + a2 x2 + ... + an xn ) = f (x).g (x) + f (x).g (x). Concluindo a demonstra c ao da propriedade.

o. Seja f (x) K [x], gr(f (x)) 1 e C uma raiz de f (x) ent 2.2.2 Proposic a ao (a) e raiz simples de de f (x) f () = 0 e f () = 0. (b) Se f (x) e irredut vel sobre K ent ao todas as ra zes de f (x) s ao simples. Demonstra c ao (a) Para demonstrar esta proposi ca o basta supor que e uma ra z de f (x) de multiplicidade m 1 ent ao em C temos a seguinte fatora c ao: f (x) = (x )m .g (x), onde g (x) C[x] e g () = 0. Pelo item (iii) da observa c ao acima temos que 0 = f (x) = m 1 m m.(x ) .g (x) + (x ) .g (x). Note que em f (x) o termo (x )m zera em , mas como f () = 0 e g () = 0 temos que m.(x )m1 n ao pode se anular em , se m 1 f () = 0 ter amos que ter m.(x ) = 0, mas isto s o acontece se m 2. (b) Seja f (x) K [x] um polin omio irredut vel sobre K e C uma ra z de f (x) de multiplicidade m e seja p(x) = irr(, K ). Pelo algoritmo da divis ao existem q (x), r(x) K [x] tais que f (x) = q (x).p(x) + r(x) com r(x) = 0 ou gr(r(x)) < gr(p(x)). Como r(x) = f (x) q (x).p(x) temos que r() = f () q ().p() = 0 e pela minimalidade do grau de p(x) = irr(, K ) que r(x) = 0 e f (x) = q (x).p(x). Como f (x) e irredut vel segue que f (x) = a.p(x), com a K . Agora se m > 1 segue do item (a) que f () = a.p () = 0, ou seja, p () = 0 o que contradiz a minimalidade do grau de p(x). Concluindo ent ao que m = 1.

Extens oes alg ebrica dos racionais

27

o. Seja f (x) K [x] um polin 2.2.3 Definic a omio, chama-se Corpo de decomposi c ao de polin omio o menor subcorpo de C que cont em K e todas as ra zes de f (x) em C e ser a denotado por L = Gal(f, K ). Bem, vale salientar que esse menor subcorpo existe e mostraremos uma maneira construtiva de se conseguir tal subcorpo. Seja f (x) K [x] e 1 , 2 , ..., r todas as ra zes distintas de f (x) em C e considere K0 = K K1 = K [1 ] K2 = K1 [2 ] ... Kr = Kr1 [r ]. Temos ent ao que Ki e o menor subcorpo de C que cont em K e 1 , 2 , ..., i , de fato tome todos os Kj tais que Kj contenha K e todas as i ra zes distintas de f (x), tome agora a intersec c ao de todos os Kj temos que a intersec c ao ser a exatamente o menor subcorpo de C que cont em K e 1 , 2 , ..., i , pois todos os Kj s ao corpo pelo item (a) do corol ario 2.1.5, e consequentemente Kr e o menor subcorpo de C que cont em K e 1 , 2 , ..., r , assim sendo Kr = Kr1 [r ] = Gal(f, K ). Se denotarmos Kr = K [1 , 2 , ..., r ] temos que Gal(f, K ) = K [1 , 2 , ..., r ] independente da ordem que tomarmos as ra zes pois s ao todas ra zes de um mesmo polin omio. Exemplo Construir o corpo de decomposi c ao de x4 3 sobre Q f E acil notar que as ra zes de x4 3 s ao 4 3, 4 3, i 4 3, i 4 3, neste caso Gal(x4 3, Q) = Q[ 4 3, i] basta notar que todas as ra zes de x4 3 dependem apenas de 4 3 e de i, pois Q[ 4 3, i] = {a + b 4 3 + ci + di 4 3, a, b, c, d Q}. Agora precisamos provar que Q[ 4 3, i] 1 Gal(x4 3, Q), note que 4 3 Gal(x4 3, Q) que e um corpo, logo Gal(x4 3, Q), 4 3 4 1 temos com isto que i = 3 que est ao no Gal(x4 3, Q), logo i Gal(x4 3, Q), 4 .i 3 concluindo que Gal(x4 3, Q) = Q[ 4 3, i].

2.3

Grau da Extens ao

Para falarmos de grau da extens ao precisamos lembrar parte da teoria de espa cos vetoriais; no c oes como combina c ao linear, conjunto de vetores linearmente dependente (LD), conjunto de vetores linearmente independentes (LI), conjunto gerador, base e dimens ao. Para evitar ser muito extensivo n ao ser ao demonstradas as proposi c oes referentes a espa cos vetoriais, pois n ao e esse o nosso objetivo. o (Espa 2.3.1 Definic a co Vetorial). Um espa co vetorial consiste de

1. Um conjunto V n ao vazio cujos elementos s ao chamados de vetores; 2. Um corpo K cujos elementos s ao chamados escalares;

Extens oes alg ebrica dos racionais

28

3. Uma opera c ao chamada adi c ao de vetores na qual cada par de vetores u, v V e associado ao vetor u + v V , chamado soma de u e v , satisfazendo aos seguintes axiomas: a) a adi c ao e comutativa, u + v = v + u; b) a adi c ao e associativa, (u + v ) + w = u + (v + w); c) existe um u nico vetor tal que v + 0 = v para todo v V ; d) para cada v V existe um u nico vetor v V tal que v + (v ) = 0; 4. Uma opera ca o chamada multiplica c ao por um escalar em que um vetor v V e um escalar k s ao associados ao vetor v V , chamado produto de v por , satisfazendo aos seguintes axiomas: a) 1v = v para todo v V ; b) a multiplica c ao por escalar e associativa, 1 (2 v ) = (1 2 )v ; c) a multiplica c ao por escalar e distributiva em rela c ao a soma de vetores, (u + v ) = u + v ; d) a multiplica ca o por escalar e distributiva em rela c ao a soma de escalares, (1 + 2 )v = 1 v + 2 v. o (Subespa 2.3.2 Definic a co). Um subconjunto W V , n ao vazio, e um subespa co vetorial de V se W e um espa co vetorial sobre K com respeito as opera c oes de adi c ao de vetores e de multiplica c ao de um vetor por um escalar, ambas opera c oes induzidas de V . o (Combina 2.3.3 Definic a c ao Linear). Seja V um espa co vetorial sobre um corpo K . Dizemos que o vetor u V e uma combina c ao linear dos vetores v1 , v2 , ..., vn V se existem escalares x1 , x2 , ..., xn K tais que u = x1 v1 + x2 v2 + ... + xn vn . o (Conjunto Gerador). Seja V um espa 2.3.4 Definic a co vetorial sobre K e seja = {v1 , v2 , ..., vn } um conjunto n ao vazio de vetores. Dizemos que o espa co V e gerado por quando para todo v V , v e uma combina c ao linear dos vetores de ou seja, quando existem escalares x1 , x2 , ..., xn K tais que u = x1 v1 + x2 v2 + ... + xn vn . Nesse caso dizemos que e um conjunto gerador do espa co vetorial V . o (Conjunto LD). Dizemos que que um conjunto de vetores 2.3.5 Definic a e linearmente dependente quando existe uma combina c ao linear do vetor nulo onde os escalares s ao n ao todos nulos, ou seja 0 = x1 v1 + x2 v2 + ... + xn vn sendo ai = 0 para algum i {1, 2, ..., n}.

Extens oes alg ebrica dos racionais

29

o (Conjunto LI). Dizemos que que um conjunto de vetores 2.3.6 Definic a e linearmente independente quando o conjunto de vetores n ao e L.D. o (Base). Uma base de um espa 2.3.7 Definic a co vetorial V e um conjunto de geradores de V linearmente independentes. 2.3.8 Teorema. (a) Todo espa co vetorial sobre um corpo K possui uma base.

(b) Se um espa co vetorial sobre um corpo K possui uma base com n elementos ent ao toda base de V possui n elementos. o. Se um espa 2.3.9 Definic a co vetorial V sobre um corpo K possui uma base com n elementos, chamamos ao n umero n de dimens ao de V sobre K e denotaremos por [V : K ] = n < . Observe que se L K e uma extens ao de corpo. L e um espa co vetorial sobre K onde a soma e o produto por um escalar e a soma e o produto em K.

o. Seja K um corpo qualquer. Uma extens 2.3.10 Definic a ao L K diz-se nita se [L : K ] = n < . Caso o contr ario L K diz-se uma extens ao innita. o. Seja K um corpo e L K uma extens 2.3.11 Proposic a ao de K. Ent ao: (a) Se L K e nita ent ao L K e alg ebrica. (b) Se L K e um elemento alg ebrico sobre K e o grau de irr(, K ) e igual a n ent ao 1, , ..., n1 e uma base para o espa co vetorial K [] sobre K e [K [] : K ] = n < . (c) Se L K e um elemento transcendente sobre K ent ao K [] K e uma extens ao innita. Demonstra c ao (a) Seja [L : K ] = m < e L K sendo K [] um subespa co de L segue imediatamente [K [] : K ] m < . Se [K [] : K ] = n ent ao 1, , ..., n e um conjunto LD, j a que no m aximo n elementos pode ser LI e portanto existem a0 , a1 , ..., an n ao todos n nulos tais que a0 + a1 + ... + an = 0, ou seja, e um elemento alg ebrico sobre K. (b) Seja L K um elemento alg ebrico sobre K tal que o grau de irr(, K ) = n. Como j a vimos anteriormente K [] e escrito de modo u nico como combina c ao linear sobre K de 1, , ..., n1 . Portanto 1, , ..., n1 e uma base para K [] sobre K, assim [K [] : K ] = n.

Extens oes alg ebrica dos racionais a contrapositiva do item (a). (c) E

30

rio. Seja L K. Ent 2.3.12 Corola ao as seguintes arma c oes s ao equivalentes:

(i) e alg ebrico sobre K (ii) [K [] : K ] < (iii) K [] e uma extens ao alg ebrica de K o. Sejam M L K corpos tais que [M:L] e [L:K] s 2.3.13 Proposic a ao nitos ent ao [M:K] e nito e [M:K] = [M:L].[L:K]. Demonstra c ao Sejam u1 , ..., ur uma base de M sobre L e v1 , ..., vs uma base de L sobre K, quero mostrar que {ui .vj ; i = 1, ..., r; j = 1, ..., s} e uma base de M sobre K. para isto basta provar que esse conjunto e L.I. e que esse conjunto gera M. Tome uma combina c ao linear nula de elementos de M sobre elementos de L, como V e uma base para L sobre K um elemento de L e escrito como uma cobina c ao linear dos vetores de L sobre K, portanto tome (a11 v1 + a12 v2 + ... + a1s vs )u1 + ... + (ar1 v1 + ar2 v2 + ... + ars vs )ur = 0. Como u1 , ..., ur uma base de M sobre L temos que a11 v1 + a12 v2 + ... + a1s vs = 0, ..., ar1 v1 + ar2 v2 + ... + ars vs = 0. Como v1 , ..., vs uma base de L sobre K, temos que os aij = 0; i = 1, ..., r; j = 1, ..., s, portanto o conjunto {ui .vj ; i = 1, ..., r; j = 1, ..., s} e um conjunto L.I. Basta agora mostrar que gera M. Seja x M , como u1 , ..., ur e uma base de M sobre L temos y1 , ..., yr L tal que x = y1 u1 + y2 u2 + ... + yr vr . Como v1 , ..., vs e uma base de L sobre K, existem aij K ; i = 1, ..., r; j = 1, ..., s tais que x = (a11 v1 +a12 v2 +...+a1s vs )u1 +...+(ar1 v1 +ar2 v2 +...+ars vs )ur , portanto {ui .vj ; i = 1, ..., r; j = 1, ..., s} gera M. rio. 2.3.14 Corola e alg ebrico sobre Q} e um subcorpo de C, que (a) QC = { C :

e uma extens ao alg ebrica innita de Q. (b) QR = { R : e alg ebrico sobre Q} e um subcorpo de R, que e uma extens ao alg ebrica innita de Q. Demonstra c ao Claramente o subconjunto QC de C cont em Q pois todo n umero racional e um n umero complexo e e alg ebrico, basta ent ao agora provar que QC e um corpo, mostrando as seguintes propriedades: 1) , QC QC 2) , QC . QC

Extens oes alg ebrica dos racionais 3) 0 = QC 1 = 1 QC . Vamos a demonstra c ao.

31

Sejam K = Q[] e L = K [ ]. Como e alg ebrico segue que [K : Q] < e K e um corpo. Sendo tamb em alg ebrico sobre Q e alg ebrico sobre K = Q[], j a que K e uma extens ao de Q e portanto [K : Q] < e L e um corpo. Note agora que [L : Q] = [L : K ].[K : Q] < e como L Q e uma extens ao nita segue que esta extens ao e alg ebrica. Como L e um corpo e , L ent ao L, . L e 1 L, se = 0. e um subcorpo de C. Considere i = i 2 e K0 = Q, L1 = Segue ent ao que QC de C Q[1 ], ..., Ki = Ki1 [i ]. Temos que M = Ki e uma extens ao alg ebrica pois para i cada i, K [i] e alg ebrico sobre Q innita de Q pois B = { 2, i N e um conjunto L.I. j a que para a cobina c ao de elementos de B d a zero e preciso que os coecientes sejam zero, uma vez que os ndices nunca se igualam e M QR QC . (b) Note que QR = QC R pois R C e tamb em M = Ki QR

rio. Seja K Q tal que [K : Q] = m e seja p(x) Q[x] um polin 2.3.15 Corola omio irredut vel sobre Q de grau n. Se M.D.C {m, n} = 1 ent ao p(x) e irredut vel sobre K.

Demonstra c ao Seja C uma ra z de p(x). Considere agora os corpos Q[] K [] e suponhamos que [K [] : K ] = r pois e alg ebrico sobre K e [K [] : Q[]] = s, pois e alg ebrico sobre Q, logo temos alg ebrico sobre Q[]

Claramente [Q[] : Q] = n, vamos provar que [K [] : K ] = r = n. De fato [K [] : Q] = [K [] : K ].[K : Q] = [K [] : Q[]].[Q[] : Q] e portanto n.s = m.r e como M.D.C {m, n} = 1 temos que n \ r. mas r = n.q n n = r. Concluindo ent ao que p(x) e irredut vel sobre K.

Cap tulo 3

Constru c ao Com R egua e Compasso


Neste cap tulo falaremos sobre n umeros construt veis com r egua e compasso, mas quando falamos de r egua falamos de uma r egua sem marcas uma r egua que n ao tem medidas e um compasso dobradi co, que ao sua ponta ser tirada do papel ele se fecha. Essas restri c oes foram imputadas a Plat ao por volta de 390 a.C. Existem alguns problemas que intrigam as sociedades antigas como por exemplo, a quadratura do c rculo, a duplica c ao do cubo e a trisec c ao do angulo. Esses problemas cl assicos s o tiveram solu c ao na epoca de Calr Friedrich Gauss (1777 1855), Evariste Galois (1811 1832), Niels Henrik Abel (1802 1829) e Paolo Runi (1765 1822), grandes matem aticos da idade moderna. Vamos ent ao a um pouco da hist oria dos problemas acima citados. Quadratura do c rculo: O problema da quadratura do c rculo consiste em tentar construir um quadrado cuja area e igual a area do c rculo de raio uma unidade e portanto isso seria bem simples se fosse poss vel se construir um quadrado de lado l = , mas o matem atico Ferdinand Lendemann em 1822 provou a impossibilidade atrav es da Algebra Moderna provando a transcend encia do n umero . Duplica c ao do cubo: H a duas lendas para a duplica c ao do cubo a primeira trata-se da duplica c ao de um t umulo e a outra da duplica c ao do altar. A primeira fala que um fara o minus mandou construir um t umulo em formato de cubo de 100 p es de medida, disse depois que o t umulo teria sido feito demasiadamente pequeno e queria que tivesse o dobro do tamanho e portanto mandou imediatamente fazer um t umulo com o dobro da aresta anterior, o que causou um grande problema. A segunda conta que o or aculo anunciou aos habitantes de Delos que para sessar a

32

Constru c ao Com R egua e Compasso

33

peste que estava assolando a regi ao eles deveriam duplicar o tamanho do altar que existia no templo, mas eles dobraram a aresta do altar e como isso n ao resolveu o problema a peste continuou assolando at e o problema ser resolvido com o uso de outros instrumentos. Na realidade para se resolver o problema bastava construir um cubo de aresta 3 2 da mesma maneira da quadratura do c rculo seria simples n ao fosse a impossibilidade de se 3 construir com r egua e compasso o n umero 2, o que e imposs vel. Trissec c ao do angulo: Veremos mais adiante que e poss vel dividir um lado pela metade, na realidade e poss vel dividir um segmento em quantas partes se quiser e isso serve de inspira c ao de querer fazer o mesmo com o angulo. Veremos ent ao que e poss vel dividir o angulo em duas partes iguais, ou seja, tra car a bissetriz de um angulo, mas n ao e poss vel dividir em tr es partes iguais usando apenas r egua e compasso e isso ser a mostrado neste cap tulo. Finalmente mostraremos que esses problemas teriam solu c ao se e somente se os n umeros a serem construidos fossem elementos al ebricos cujo polin omio irredut vel fosse o polin omio m de grau 2 . Considere um subconjunto P de R2 que tenha pelo menos dois pontos distintos. Uma reta r e dita uma reta de P quando r cont em dois pontos distintos de P e uma circunfer encia C e dita uma circunfer encia de P quando seu centro pertence a P e um ponto de P pertence a circunfer encia. o (Opera 3.0.16 Definic a c oes Elementares). Dizemos que uma opera c ao em P e uma opera c ao elementar se essa opera c ao e uma das abaixo citadas: (I) Intersec c ao de duas retas de P (II) Intersec c ao de uma reta de P com uma circunfer encia de P (III) Intersec c ao de duas circunfer encias de P . o (Ponto Construt 3.0.17 Definic a vel). Um ponto A de P e dito construt vel quando A R2 e conseguido a partir de uma das opera c oes elementares em P . o. Vamos denotar por P1 =< P0 > o conjunto de todos os pontos 3.0.18 Observac a construt veis a partir de {O, U }, P2 =< P1 > o conjunto de todos os pontos construt veis a partir de P1 e assim por diante Pi =< Pi1 > o conjunto de todos os pontos construt veis a partir de PI 1 . Neste cap tulo consideremos O = (0, 0) e U = (1, 0). Sejam P0 = {O, U }, P1 =< P0 >, P2 =< P1 >, . . . Pn+1 =< Pn >. Note que P0 P1 P2 ... Pn Pn+1 R2 .

Constru c ao Com R egua e Compasso

34

Denimos P = veis do R2 a partir de O e n=0 Pn o conjuno de todos os pontos construt U. Denotaremos um segmento de reta com extremos em A e B por AB e o medida deste segmento por |AB |, dois segmentos s ao congruentes se t em a mesma medida e ser a representado por . Note que (u, 0) e (0, v ) P u, v Z. Primeiro oberve que a reta r que cont em os pontos o e U e uma reta de P . Considere c ao desta a circunfer encia de centro em U e raio |U O|. Denote por A2 = (2, 0) a interse circunfer encia com r. Repetindo esse procedimento s o que agora com os centros em Ai e raio |Ai1 Ai | construimos os pontos A3 = (3, 0), A4 = (4, 0), ..., Au = (u, 0). Figura 3.1:

Veremos agora algumas constru c oes cl assicas com r egua e compasso. Exemplo 1: Dados dois pontos construt veis A e B e poss vel construir M o ponto m edio entre A e B, e a reta s perpendicular ao seguimento AB passando por M, A e B. Basta tra car o c rculo centrado A e raio |BA| e outro de mesmo raio centrado em B e portanto e f acil vericar que a reta que liga C e D que s ao a intersec c ao das circunfer encias centradas em A e em B passa pelo ponto M e e perpendicular ao seguimento AB pois ACBD forma um losango. Para construir as perpendiculares passando por A e B, basta tra car a perpendicular ao segmento BE passando por A e a perpendicular ao segmento AF passando por B. Figura 3.2:

Note que temos a reta OU , com U = (0, 1), pois e a mediatriz do segmento U, U , sendo U = (1, 0) e U e construt vel pois e a intersec c ao da mediatriz com a circunfer encia de centro em O e raio 1, da construindo outras circunfer encias e poss vel construir B2 = (0, 2), B3 = (0, 3), B4 = (0, 4), ..., Bv = (0, v ). Com isto podemos mostrar que (u, v ) P u, v Z. Basta tomar a intersec c ao dos casos acima, se tomarmos circunfer encias de centros nas coordenadas (0, 0), (1, 0), (1, 0), (0, 1) e (0, 1) conseguimos pontos A,B,C e D de coordenadas A = (1, 1), B = (1, 1), C =

Constru c ao Com R egua e Compasso

35

Figura 3.3:

(1, 1), D = (1, 1), repetindo esse procedimento podemos construir quais quer pontos (u, v ) P u, v Z. Figura 3.4:

O pr oximo exemplo e conhecido como o postulado de transporte de segmento ou seja se existe um segmento congruente a um segmento dado, ent ao e poss vel transportar o segmento, quer dizer, escrev e-lo em outro lugar de P .

Exemplo 2: Seja r uma reta construt vel e A r um ponto construt vel pertencente a reta r. Considere agora B e C dois pontos construt veis e poss vel construir um segmento AX tal que AX BC. Comecemos assumindo que A, B e C s ao pontos que est ao sobre a mesma

Constru c ao Com R egua e Compasso

36

reta r, ent ao podemos construir M o ponto m edio do segmento BC e um ponto N que ea e a intersec c ao da intersec c ao da reta r com a circunfer encia de raio BA e um ponto X que reta r com a circunfer encia de raio |M N | e portanto temos que os segmentos AB, BN e XC s ao congruentes j a que a medida de XC e igual a medida de MC menos a medida de MX, e a medida de BN e igual a medida de BM = MC menos a medida de MN = MX. portanto a medida de AX e igual a medida de BC concluindo ent ao o que quer amos mostrar. Figura 3.5:

Exemplo 3: Seja r uma reta dada e P um ponto fora dela, construiremos agora uma paralela a ela passando por P. Para isto, basta construir 3 circunfer encias de mesmo raio, uma de centro P cortando r em A, outra de centro em A cortanto r em B e outra de centro em B cortando a circunfer encia de centro P em Q. da basta construir a reta que passa por P e Q. Figura 3.6:

o (N 3.0.19 Definic a umero Construt vel). Um n umero a e construt vel se e somente se (a, 0) P . 3.0.20 Teorema. Um ponto pertence a P se e somente se suas coordenadas s ao n umeros construt veis Demonstra c ao ()Considere o ponto A = (a, b) construt vel podemos construir o ponto m edio M entre A e O e podemos tamb em construir uma circunfer encia de centro em M e raio r = |A M |, esta circunfer encia construt vel forma com a reta AM e com a reta OU um tri angulo ret angulo em um ponto de coordenada (a,0). para concluir pelo axioma de transporte de segmento podemos construir uma circunfer encia de raio r = b, construindo um ponto B de coordenada (b,0).

Constru c ao Com R egua e Compasso

37

Figura 3.7:

()Considere agora os pontos (a,0) e (b,0) construt vel, ent ao e poss vel construir o ponto (0,b), basta pegar a intersec c ao da circunfer encia C com a reta perpendicular a basta tra car uma reta suporte do segmento OU passando por O (vide o exemplo 1), da paralela a reta formada pelos pontos (0,0) e (0,b) passando pelo ponto (a,0) (vide exemplo2) e uma perpendicular a mesma reta passando pelo ponto (0,b) (vide o exemplo 1), concluindo ent ao que a intersec c ao dessas duas novas retas, o ponto A(a,b) e construt vel. Figura 3.8:

Os dois pr oximos resultados nos garantir a que o conjunto de todos os n umeros construt veis e uma extens ao alg ebrica dos racionais e que para que um n umero seja construt vel e necess ario que o grau da extens ao K[] seja uma pot encia de 2 e isso s o faz sentido claro se for alg ebrico. 3.0.21 Teorema. R = { R : e construt vel } e um subcorpo de R que cont em Q. Demonstra c ao Ora, sabemos que Z R , portanto para mostrar o teorema basta mostrar que: a) Se , R ; R b) Se , R ; . R c) Se , = 0 R ; R

Constru c ao Com R egua e Compasso

38

camos sobre a) De fato, R , considere um segmento AB tal que |AB | = e tra a reta AB um segmento CD tal que |CD| = de modo que C coincida com B e esteja entre A e D. Constru mos agora uma circunfer encia de centro em B e raio . Chamamos de E a intersec c ao da reta com a circunfer encia diferente de D. Ent ao |AD| = + e |AE | = . Figura 3.9:

b) Tamb em temos que . R , sobre a reta r tracemos um segmento AB e partindo de A tracemos uma reta s construindo um ponto C tal que |AC | = 1 de mesma forma construamos um ponto D tal que |AD| = , tracemos agora uma reta que passa por B e C e uma paralela a essa passando por D e interseptando r num ponto P. Figura 3.10:

Temos com isto que c)


a b

|AC | |AD|

|AB | , |AP |

ou seja

. |AP |

Concluindo que |AP | = ..

e construt vel, utilizando as mesmas condi c oes do item anterior constru mos a reta que passa por B e D e constru mos a paralela a BD passando por C interseptando AB, chamaremos esse ponto de Q. Temos com isto que
|AD| |AC |

|AB | , |AQ|

ou seja

. |AQ|

Concluindo que |AQ| = .

O teorema acima demonstrado mostra que todos os n umeros racionais s ao construt veis. Para demonstrar o pr oximo teorema precisamos denir algumas nota c oes usadas na demonstra c ao. Vejamos: Seja A = (u, v ) Pn , chamaremos u, v coordenadas de Pn , vamos denir An como o conjunto de todas as coordenadasss de Pn . Seja K0 = Q, K1 = Q[A1 ], ..., Kn = Q[An ], ..., como A0 A1 ... R e Q R , conclu mos que Q = K0 K1 K2 ... Kn Kn+1 ... R . o. [Li , Li1 ] = 1, 2. 3.0.22 Observac a Demonstra c ao Fazer

Constru c ao Com R egua e Compasso

39

Figura 3.11:

ao e alg ebrico e [Q[] : Q] = 2r para algum r N. 3.0.23 Teorema. Se R ent Exemplo 1 n p n ao e construt vel se n for impar maior ou igual a 3 e p primo.

e irredut vel sobre Tome = n p n impar maior ou igual a 3 e p primo, como xn p Q temos que [Q[] : Q] = n com n impar, portanto n ao e uma pot encia de 2, logo n ao e construt vel. Este exemplo nos permite entender que e imposs vel duplicar o cubo usando r egua e 3 compasso basta tomar n = 3 e p = 2, ou seja e imposs vel construir = 2. Exemplo 2 e imposs vel trisectar usando r egua e compasso o angulo de 60 graus, se 2 fosse era poss vel construir o cos( 18 ), mas veremos agora que n ao.
1 Temos o seguinte: 2 = cos(3) = 4cos3 () 3cos() 8cos3 () 6cos() 1 = 0, ou e ra z de p(x) = 8x3 6x 1, que e um polin omio irredut vel sobre Q pelo seja u = cos( 2 18 ) lema de gauss, portanto [Q[] : Q = 3, concluindo que n ao e construt vel. Exemplo 3 Se a e construt vel ent ao a e tamb em construt vel.

Basta construir o tri angulo onde um dos lados coicide com o di ametro da circunfer encia, da conclu mos que esse tri angulo e ret angulo de hipotenusa OR medindo 1 + a e quando constru da a altura U X relativa a hipotenusa e usando um pouco de geometria b asica conlu mos que a altura mede a. Como na gura abaixo. Considere |OU | = 1 e |U R| = a.

A deni c ao a seguir nos permitir a entender quando um pol gono e ou n ao construt vel, mas nosso foco ser a em vericar a construtibilidade de pol gonos regulares o. Um pol 3.0.24 Definic a gono diz-se construt vel se todos os seus pontos s ao cons-

Constru c ao Com R egua e Compasso

40

Figura 3.12:

trut veis.
Um pol gono regular de n lados ele tem n angulos centrais de medida 2n , vericar se e construt vel um v ertice seria vericar se e construt vel o cos e o sen desse angulo central portanto segue da deni c ao acime que um pol gono regular de n lados e construt vel se 2 2 2 e um ponto construt vel de R . An = (cos n , sen n )

Exemplo 1 Todo pol gono regular de 2r lados e construt vel, em particular o quadrado e construt vel. Constru c ao do quadrado Para vericar que o quadrado e construt vel basta vericar 2 2 2 2 se s ao construt veis o cos 4 e o sen 4 . Ora cos 4 = 0 e sen 4 = 1, portanto s ao ambos construt veis, concluindo que o quadrado e construt vel. o Constru c ao da bissetriz Seja AVB angulo central de maneira que |V A| = |V B | queremos construir a bissetriz desse a ngulo, basta construir um circunfer encia de centro em A e raio medindo |V A| e outra circunfer encia de centro em B e mesmo raio, a intersec c ao dessas circunfer ecias e um ponto que chamaremos de P, a semirreta que passa por P e origem em V e a bissetriz do angulo Figura 3.13:

e poss vel tra car a bissetriz do um angulo central, portanto quando voc e duplica o n umero de lados do pol gono, voc e t a pegando exatamente a metade do angulo central pois 2 agora ele passar a a medir 2n , concluindo ent ao que todo pol gono regular de n = 2r lados e construt vel. Se um pol gono de n lados e construt vel ent ao um pol gono de 2n lados tamb em e construt vel, note isto tra cando a bissetriz do angulo central, usamos o mesmo racioc nio do exemplo anterior.

Constru c ao Com R egua e Compasso

41

o. Se p 3.0.25 Proposic a e um n umero primo maior ou igual a 3, e um pol gono regular de p lados e construt vel, ent ao existe s N tal que p = 22 + 1.
, sen 2p ) e construt vel Demonstra c ao Se um pol gono de p lados e construt vel ent ao (cos 2p m logo temos que Q[, ] = 2 para algum m N.
s

Ora, [Q[, , i] : Q] = [Q[, , i] : Q[, ]].[Q[, ] : Q] = 2.2m = 2m+1 Veja que = + i Q[, , i] portanto Q[ ] Q[, , i] e [Q[ ] : Q] = 2r para algum rN Como 1 e s ao ra zes de xp 1, dividindo por x 1 temos o polin omio xp1 + xp2 + ... + x + 1, que pelo lema de Gauss e irredut vel sobre Q, logo [Q[ ] : Q] = p 1 = 2r para algum r N, temos com isto que p = 2r + 1. Queremos mostrar que r e uma pot encia de 2, para isto suponha por contradi c ao que se r = v.t, sendo t um fator impar de r, temos que v t v v t 1 p = (2 ) + 1 = (2 + 1).((2 ) (2v )t2 + (2v )t3 ... 1) contradizendo a primalidade de p, ent ao r n ao pode ter fator impar ou seja r e uma pot encia de 2. 3.0.26 Teorema (Teorema de Gauss). Um pol gono regular de n lados e construt vel n = 2r .p1 ...pk onde r N e p1 , ..., pk s ao primos distintos impares na forma pi = 22 i +1, 1 i k, si N.
s

Refer encias Bibliogr acas

42