UNIVATES - Centro Universitrio a Centro III Curso de Cincias Exatas - Licenciatura e

Matematica 6
por Claus Haetinger

e-mail: chaet@univates.br URL http://ensino.univates.br/chaet

Lajeado, 25 de Julho de 2006

Sumrio a
1 Polinmios Equaes Polinomiais o co 1.1 Diviso pelo Mtodo da Chave . . . . . a e 1.2 Denies . . . . . . . . . . . . . . . . . co 1.3 Divisibilidade & Equaes . . . . . . . co 1.4 Ra zes de um Polinmio . . . . . . . . . o 1.5 Dispositivo Prtico de Briot-Runi . . . a 1.5.1 Como Funciona este Dispositivo 1.5.2 Justicativa do Mtodo . . . . . e 1.5.3 Exerc cios . . . . . . . . . . . . . 1.6 Teorema de DAlembert . . . . . . . . . 1.6.1 Exerc cios . . . . . . . . . . . . . 1.6.2 Eliminao de Uma Raiz . . . . ca 1.6.3 Exerc cios . . . . . . . . . . . . . 1.7 Pesquisa de Ra zes Inteiras . . . . . . . 1.7.1 Exerc cios . . . . . . . . . . . . . 1.8 Pesquisa de Ra zes Racionais . . . . . . 1.8.1 Exerc cios . . . . . . . . . . . . . 1.9 Ra zes Reais . . . . . . . . . . . . . . . . 1.9.1 Exerc cios . . . . . . . . . . . . . 1 1 2 4 5 5 6 7 7 9 9 9 10 11 12 13 14 15 15

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . .

2 N meros Reais u 17 2.1 Aproximao de Nmeros Irracionais por Nmeros Racionais 17 ca u u 2.1.1 Aproximao por Inteiros . . . . . . . . . . . . . . . . 17 ca 2.1.2 Aproximao por Nmeros Racionais . . . . . . . . . . 18 ca u 2.1.3 Aproximaes Melhores . . . . . . . . . . . . . . . . . 20 co 1 2.1.4 Aproximaes a Menos de n2 . . . . . . . . . . . . . . 21 co 2.1.5 Limitaes das Aproximaes . . . . . . . . . . . . . 23 co co 2.2 Um Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3 Tpicos Sobre N meros Complexos o u 25 3.1 Introduo (pg. 160) . . . . . . . . . . . . . . . . . . . . . . . 25 ca 3.2 A Forma Algbrica (pg. 161) . . . . . . . . . . . . . . . . . . 25 e 3.3 A Forma Trigonomtrica (pg.168) . . . . . . . . . . . . . . . . 25 e i

UNIVATES Centro Universitrio a 3.4 3.5

Prof.Dr. Claus Haetinger 25 25 45 46 46 46 46 46 46 46 46 46 46 46 73 73 75 77 77 78 80 80 81 82 82 82 82 82 82 82 83 83 83 83 83 83 83

ii

Ra zes da Unidade (pg. 182) . . . . . . . . . . . . . . . . . . Inverso (pg. 190) . . . . . . . . . . . . . . . . . . . . . . . . a . . . . . . . . . . .

4 Tpicos Sobre Equaes Algbricas o co e 4.1 Introduo (pg. 198) . . . . . . . . . . . . . . . . . . . . . . ca 4.2 Polinmios Complexos (pg. 200) . . . . . . . . . . . . . . . o 4.3 Diviso de Polinmios (pg. 204) . . . . . . . . . . . . . . . . a o 4.4 Diviso por um Polinmio por (x a) (pg. 210) . . . . . . a o 4.5 Reduzindo o Graus de Uma Equao Algbrica (pg. 215) . ca e 4.6 O Teorema Fundamental da Algebra (pg. 218) . . . . . . . 4.7 Relaes Entre Coecientes e Ra co zes (pg. 221) . . . . . . . 4.8 Equaes Algbricas com Coecientes Reais (pg. 225) . . . co e 4.9 Demonstrando o Teorema Fundamental da Algebra (pg.229) 4.10 Resoluo Algbrica de Equaes (pg. 233) . . . . . . . . . ca e co 4.11 Resoluo Numrica de Equaes (pg. 239) . . . . . . . . . ca e co 5 Polinmios em uma Varivel sobre Subcorpos o a Complexos 5.1 Denies e Exemplos . . . . . . . . . . . . . . . . . . . co 5.2 O Algoritmo da Diviso . . . . . . . . . . . . . . . . . . a 5.2.1 Polinmios Irredut o veis . . . . . . . . . . . . . . . 5.2.2 Fatorizao Unica . . . . . . . . . . . . . . . . . ca 5.3 Lema de Gausss e o Critrio de Eisenstein . . . . . . . . e 5.4 Nmeros Algbricos e Transcendentes . . . . . . . . . . u e 5.4.1 Corpos Algebricamente Fechados . . . . . . . . . 5.4.2 O Teorema Fundamental da Algebra . . . . . . .

dos . . . . . . . . . . . . . . . . . . . . . . . .

A Artigos para Aprofundamento A.1 E a Matemtica, Como Vai? . . . . . . . . . . . . . . . . . . . a A.2 Matemtica y su Ensenza: Problemticas Integradoras a a a desde el Algebra . . . . . . . . . . . . . . . . . . . . . . . . . A.3 Curso para Professores de Matemtica do Ensino Fundamental a A.4 Guia de Uso do Software SOLVEQ . . . . . . . . . . . . . . . A.5 Polinmios no MATLAB . . . . . . . . . . . . . . . . . . . . . o A.6 Uso de Polinmios para Surpreender . . . . . . . . . . . . . . o A.7 Uma Generalizao de Briot-Runi . . . . . . . . . . . . . . ca A.8 Ra zes Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . A.9 Certo por Linhas Tortas . . . . . . . . . . . . . . . . . . . . . A.10 Exerc cios com Nmeros Complexos Aplicados em Circuitos . u A.11 Matemtica Complexa . . . . . . . . . . . . . . . . . . . . . . a A.12 Nmeros Complexos na Geometria . . . . . . . . . . . . . . . u A.13 Quaternions . . . . . . . . . . . . . . . . . . . . . . . . . . . . Bibliograa

157

Cap tulo 1

Polinmios Equaoes o c Polinomiais

1.1

ste cap tulo baseado no trabalho de Luiz Mrcio Imenes ([20]). e a

Diviso pelo Mtodo da Chave a e

Explicaremos como se efetua a diviso de polinmios, pelo mtodo da a o e chave, atravs do exemplo a seguir. e Exemplo 1.1.1 Faamos, passagem por passagem, a diviso do poc a linmio o A(x) = 3x3 13x2 +37x50 pelo polinmio B(x) = x2 2x+5, pelo mtodo o e da chave. Soluo ca 1. Dividimos, inicialmente, 3x3 por x2 , encontrando 3x: 3x3 13x2 + 37x 50 |x2 2x + 5 3x 2. Multiplicamos 3x por x2 2x + 5 e vemos quanto falta para 3x3 13x2 + 37x 50, isto , subtra e mos 3x3 6x2 + 15x de 3x3 13x2 + 37x 50: 3x3 13x2 + 37x 50 |x2 2x + 5 3x3 + 6x2 15x 3x 7x2 + 22x 50 3. Enquanto o grau do resto for maior ou igual ao grau de x2 2x + 5, continua-se a diviso. Dividimos, ento, 7x2 por x2 , encontrando a a 7: 3x3 13x2 + 37x 50 |x2 2x + 5 3x3 + 6x2 15x 3x 7 2 + 22x 50 7x 1

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

4. Multiplicamos 7 por x2 2x + 5 e vemos quanto falta para 7x2 + 22x 50: 3x3 13x2 + 37x 50 |x2 2x + 5 3x3 + 6x2 15x 3x 7 7x2 + 22x 50 7x2 14x + 35 8x 15 5. Neste ponto terminamos a diviso, pois o grau de 8x 15 inferior ao a e de x2 2x + 5. Portanto, nesta diviso: a O quociente Q(x) = 3x 7 e o resto R(x) = 8x 15 e e Exerc cio 1.1.2 1. Efetua a diviso do polinmio A(x) = 4x3 + 11x2 + 36x + 6 por B(x) = a o 2 + 2x + 7. x o 2. Divide o polinmio A(x) = 8x4 + 4x2 + x 1 por B(x) = 2x2 + x 1. 3. Determina o polinmio A(x), sabendo que na diviso de A(x) por o a B(x) = x2 8 obteve-se quociente Q(x) = 2x2 + 1 e resto R(x) = 3x + 10. 4. Divide o polinmio p(x) = 7x3 +30x2 40x+15 por g(x) = x2 +5x6. o a o 5. Efetua a diviso do polinmio 2x3 +13x2 14x+2 por 2x2 +3x+1.

1.2

Denies co

Quando efetuamos uma diviso de polinmios, o que estamos procua o rando? Os resultados obtidos devem satisfazer a que exigncias? e Denio 1.2.1 (DIVISAO DE POLINOMIOS) Dados dois poca linmios A e B, com B no sendo o polinmios nulo, dividir A por B o a o e encontrar dois polinmios Q e R que satisfaam `s seguintes condies: o c a co (i). Q B + R = A (ii). O grau de R no pode ser igual nem maior que o grau de B. a Nestas condies, chamaremos Q de quociente e R de resto da diviso. co a A denio 1.2.1 envolve inmeros conceitos. Por exemplo, a condio ca u ca (i), QB + R = A, envolve o conceito de igualdade de polinmios. J a o a condio (ii) abrange o conceito de grau de um polinmio. Esta denio ca o ca menciona ainda o polinmio nulo. o Perguntamos-lhes, ento: a O que so polinmios iguais? a o

UNIVATES Centro Universitrio a O que grau de um polinmio? e o e o O que o polinmio nulo? Alis, o que um polinmio? a e o Exerc cio 1.2.2

Prof.Dr. Claus Haetinger

1. O que se pode armar sobre o grau da soma de dois polinmios de o graus diferentes entre si? . 2. Apresenta um exemplo de dois polinmios do 3o grau que somados o o grau. resultam num polinmio do 1 . o 3. Qual o grau do polinmio p = 0x4 + ax3 + 2x2 + 1? e o 4. (a) Considerando dois polinmios, ambos de grau n, qual o grau do o e produto desses polinmios? o (b) Considerando dois polinmios, um de grau m e outro de grau n, o qual o grau do produto desses polinmios? e o 5. Determina os valores de a, b, c, d, e de modo que os polinmios p = o ax4 + 5x2 + dx b e g = 2x4 + (b 3)x3 + (2c 1)x2 + e sejam iguais. . 6. Determina o polinmio p do 1o grau tal que p(1) = 3 e p(3) = 13. o 7. D um exemplo de dois polinmios diferentes p e g tais que p(2) = g(2) a o e p(5) = g(5). Exemplo 1.2.3 Determina os valores dos coecientes m e n de modo que o resto da diviso do polinmio p = x3 5x2 + mx + n por a = x2 + x 2 a o seja igual a r = 16x 13. Soluo ca Faamos a divio de p = x3 5x2 + mx + n por a = x2 + x 2, pelo c a mtodo da chave: e x3 5x2 + mx + n |x2 + x 2 3 x2 + 2x x x6 2 + (m + 2)x + n 6x 6x2 + 6x 12 (m + 8)x + n 12 Para que o resto seja igual a 16x 13 deve-se ter m + 8 = 16 e n 12 = 13, logo, m = 8 e n = 1.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

1.3

Divisibilidade & Equaes co

Efetuando a diviso do polinmio p = x3 6x2 x+30 por g = x2 x6, a o teremos: x3 6x2 x + 30 |x2 x 6 x3 + x2 + 6x x5 5x2 + 5x + 30 +5x2 5x 30 0 Devido ao fato de o resto ser o polinmio nulo, diremos que p DIo e VIS IVEL por g. Observe que, neste caso, temos: (x 5)(x2 x 6) = x3 6x2 x + 30 fato este de grande utilidade na resoluo da equao do ca ca . 3o grau p(x) = 0. Resolvendo-a de posse desta informao, teremos: ca x3 6x2 x+30 = 0 (x5)(x2 x6) = 0 x5 = 0 ou x2 x6 = 0. . A resoluo da equao do 3o grau recai, portanto, na resoluo de duas ca ca ca . . equaes de graus menores: uma do 1o grau e outra do 2o grau. Resolvendoco . as, chegaremos ao conjunto-soluo daquela equao do 3o grau, que : ca ca e S = {5, 3, 2} (verique!). Assim, de uma maneira geral, a divisibilidade de polinmios relaciona-se o com a resoluo de equaes: p divis por g p |g p = q g. ca co e vel 0 q Considerando a equao p(x) = 0, tem-se ento: ca a p(x) = 0 q(x) g(x) = 0 q(x) = 0 ou g(x) = 0. Dessa forma, a resoluo de uma equao nos leva, freqentemente, ` ca ca u a resoluo de duas equaes de graus menores. ca co Exemplo 1.3.1 Determina os valores de m e n de modo que o polinmio p = x3 + 7x2 + mx + n seja divis por g = x2 + 5x + 7. o vel Soluo ca Faamos a diviso de p por g: c a x3 + 7x2 + mx + n |x2 + 5x + 7 x3 5x2 7x x+2 2x2 + (m 7)x + n 2x2 10x 14 (m 17)x + n 14 Para que o resto seja o polinmio nulo, todos os seus coecientes o devem ser nulos; logo m = 17 e n = 14. . Exemplo 1.3.2 Resolve a equao do 3o grau x3 6x2 +7x+4, sabendo ca 3 6x2 + 7x + 4 divis 2 2x 1. que p = x e vel por x

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

Soluo ca Dividiremos p por x2 2x 1: x3 6x2 + 7x + 4 |x2 2x 1 x3 + 2x2 + x x4 2 + 8x + 4 4x 4x2 8x 4 0 Na diviso anterior, v-se que: (x 4)(x2 2x 1) = x3 6x2 + 7x + 4. a e 3 6x2 + 7x + 4 = 0 (x 4)(x2 2x 1) = 0 x 4 = 0 Ento: x a ou x2 2x 1 = 0. . A resoluo da equao do 3o grau recai, portanto, na resoluo de duas ca ca ca equaes de graus menores. Resolvendo-as, chegamos a S = {4, 1 2, 1 + co 2}. Exerc cio 1.3.3 1. Obtm os valores de m e n para os quais o polinmio e o p = 6x3 + 29x2 + mx + n divis por 2x2 + 11x 6. e vel 2. Resolve a equao 6x3 + 29x2 40x + 12 = 0. ca . 3. Resolve a equao do 3o grau (2x 1)(x + 8)(3x 5) = 0. ca 4. Resolve a equao x3 4x2 9x + 36 = 0. ca 5. Preenche as lacunas a seguir: supe que seja dado o polinmio q e o o 2 + 7x + 2) + 5x 8. Na diviso de p por x2 + 7x + 2 o seja p = q (x a e o resto e . quociente e 6. Preenche as lacunas: Seja p = (x+7)(x2)(x+6). Na diviso de p por a e o resto e ; na diviso a x + 7 o quociente e de p por x 2 o quociente e e o resto e ; e na diviso de p por x + 6, o quociente a e e o resto e .

1.4

Ra zes de um Polinmio o

Dizemos que o nmero real RAIZ ou ZERO de um polinmio p, se u e o p() = 0. Por exemplo, o nmero 2 uma das ra u e zes de p = x3 8x2 + 7x + 10, pois p(2) = 23 8 22 + 7 2 + 10 = 0.

1.5

Dispositivo Prtico de Briot-Runi a

Atravs do algoritmo de Briot-Runi as divises por polinmios do tipo e o o x a podem ser efetuadas de maneira muito simples e rpida. Inicialmente a veremos as regras de funcionamento, para depois justic-las. a

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

1.5.1

Como Funciona este Dispositivo

Consideremos, por exemplo, a diviso de p = 3x3 +4x2 +7x+1 por x2. Para a efetu-la atravs do mtodo de Briot-Runi, devemos dispor os coecientes a e e do polinmio p na ordem DECRESCENTE do grau precedidos da raiz o de x 2, que o nmero 2: e u raiz de x 2 2 coecientes do 3 4 7 coef. do quociente pol. p 1 resto

. . Primeiro, abaixa-se o 1o coeciente de p, que, neste caso, o no 3. e 2| 3 3 4 7 1

A seguir deve-se multiplicar o nmero 3 por 2 e somar este produto com u o coeciente seguinte de p, que 4. O resultado obtido, 3 2 + 4 = 10, ser e a o segundo coeciente do quociente. 2| 3 3 4 10 7 1

Agora repetiremos para o coeciente 10 todas as operaes antes feitas co o 3. Assim, multiplica-se 10 por 2 e soma-se este produto com o . com o n . coef. seguinte de p, que 7. O resultado obtido, 10 2 + 7 = 27, ser o 3o e a coeciente do quociente. 2| 3 3 4 10 7 27 1

. Finalmente, repete-se o processo anterior para o no 27, multiplicando-o por 2 e somando este produto com o coeciente seguinte de p, que 1. O e resultado obtido ser o resto da diviso. a a 2| 3 3 4 10 7 27 1 55 resto

coef. do quoc.

O quociente da diviso ser, ento, q = 3x2 + 10x + 27 e o resto ser a a a a r = 55. Exemplo 1.5.1 Efetua a diviso do polinmio p = 2x3 7x2 + 2x + 1 a o por g = x 4.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

Soluo ca 4 2 2 -7 1 2 6 1 , donde q = 2x2 + x + 6 e r = 25. 25

1.5.2

Justicativa do Mtodo e

Vamos retomar a diviso de p = 3x3 +4x2 +7x+1 por x2, mas efetuando-a a pelo mtodo da chave. e 3x3 + 4x2 + 7x + 1 |x 2 3x3 + 6x2 3x2 + 10x + 27 10x2 + 7x 10x2 + 20x 27x + 1 27x + 54 55 Obtivemos o quociente q = 3x2 + 10x + 27 e o resto r = 55, e agora faremos um cuidadoso retrospecto para investigar a procedncia de seus e coecientes 3, 10, 27. . . No dif perceber que o 1o coeciente do quociente igual ao 1o a e cil e 3 por x. Repara que, caso p coeciente de p, pois provm da diviso de 3x e a se iniciasse com 5x3 , o quociente comearia com 5x2 . E por isso que, no c o coeciente de p. . dispositivo de Briot-Runi, abaixa-seo 1 A seguir 3x2 multiplicado por x 2. O produto de 3x2 por x desapae rece na passagem seguinte, enquanto o produto de 3x2 por 2 subtra e do 2 . Obtm-se ento 10x2 , que originar o 2o coeciente do quociente, . de 4x e a a que 10. E por isso que, na diviso por Briot-Runi, deve-se multiplicar 3 e a por 2 (j levando em conta a mudana de sinal devida ` subtrao ) e somar a c a ca . este produto com o 2o coeciente de p. Observa que o ocorrido com 3x2 se repetir, de forma inteiramente a anloga, com 10x. Por isso mesmo, em Briot-Runi, deve-se multiplicar a 10 por 2 e somar este produto com o coeciente seguinte de p, que neste caso 7. e E, olhando para a diviso efetuada pelo mtodo da chave, vemos que a e o processo se repete com o nmero 27. Por isso, multiplicando 27 por 2 e u somando este produto com o coeciente seguinte de p, obtm-se o resto 55. e Com isso, acreditamos ter justicado as regras utilizadas no dispositivo de Briot-Runi na diviso espec a ca que foi efetuada. No dif percea e cil ber, no entanto, que esta mesma justicativa permanece vlida em qualquer a diviso por polinmios do tipo x a. a o

1.5.3

Exerc cios

Exerc cio 1.5.2 Divide p = 3x4 4x3 + x2 6x + 3 por x 2. Exemplo 1.5.3 Resolve a equao x3 6x2 + 11x 6 = 0, sabendo que ca p = x3 6x2 + 11x 6 divis por x 2. e vel

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

Soluo ca Faamos a diviso de p por x 2: c a 2 1 1 -6 -4 11 3 -6 0

O esqueleto acima nos mostra que: x3 6x2 + 11x 6 = (x2 4x + 3)(x 2). Ento uma das ra a zes da equao dada 2 e as demais so as ra ca e a zes do quociente da diviso, ou seja, so 1 e 3. Logo, S = {2, 1, 3}. a a ca Exerc cio 1.5.4 Resolve a equao x3 2x2 19x + 20 = 0, sabendo 3 2x2 19x + 20 divis que p = x e vel por x 1. Exemplo 1.5.5 Efetua a diviso de p = x4 5x2 + 14x + 17 por x + 3. a Soluo ca Repara que o coeciente de x3 , em p, 0. Alm disso, observa que na e e diviso, pelo dispositivo de Briot-Runi, de p por x + 3, deve-se colocar o a nmero 3 antecedendo os coecientes de p. u -3 1 1 0 -3 -5 4 14 2 17 11

q = x3 3x2 + 4x + 2 e r = 11. a Exerc cio 1.5.6 Efetua a diviso de p = 3x4 2x3 16x2 + 20x + 55 por x + 2. Exerc cio 1.5.7 Determina os valores reais de x para os quais tem3 + 2x2 + 8x + 7 = 0, sabendo que p = x3 + 2x2 + 8x + 7 divis se x e vel por x + 1. a Exerc cio 1.5.8 Efetua a diviso de p = 5x3 2x2 +x1 por g = x2 +1. (Confere tua resposta!) Exemplo 1.5.9 Determina o valor de m de modo que o polinmio o 3 + 2x2 + mx + 4 seja divis p=x vel por x 2. Soluo ca Faamos a diviso de p por x 2: c a 2 1 1 2 4 m m+8 4 2m+20

Devemos ter resto nulo; logo, 2m + 20 = 0 e m = 10. Exerc cio 1.5.10 Sabendo que na diviso de p = 2x3 + 5x2 + mx + 9 a por g = x + 3 o resto 6, determina o quociente da diviso. e a

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

1.6

Teorema de DAlembert

Atravs do teorema de DAlembert pode-se determinar o resto da diviso e a de p por um polinmio do tipo x a, sem que se tenha que efetuar esta o diviso. a Teorema 1.6.1 O resto da diviso do polinmio p(x) por x a p(a). a o e prova: Na diviso mencionada o resto ser r = k (constante), pois x a a a tem grau 1. Sendo q(x) o quociente da diviso, tem-se: a q(x) (x a) + k = p(x). Como estes polinmios so iguais, atribuindo a ambos um mesmo valor o a para x, obtm-se valores numricos iguais. Para isolar k, que o resto, e e e atribuiremos a ambos o valor x = a, resultando ento que: a q(a) (a a) + k = p(a) q(a) 0 + k = p(a) k = p(a). Assim este teorema nos mostra, por exemplo, que o resto da diviso de a p = 2x3 4x2 + 8x 1 por x 3 : p(3) = 2 33 4 32 + 8 3 1 = 41 e (conrma este resultado efetuando a diviso pelo mtodo da chave ou por a e Briot-Runi).

1.6.1

Exerc cios

a Exemplo 1.6.2 Determina o resto da diviso de p = x4 3x2 + 5x + 1 por x 2. Soluo ca Pelo teorema de DAlembert (1.6.1), o resto da diviso : p(2) = 15. a e Exerc cio 1.6.3 Qual o resto da diviso de p = 2x3 10x2 + 8x 3 e a por x 5? Exerc cio 1.6.4 Qual o resto da diviso de A = x21 + 1 por x 1? e a Exerc cio 1.6.5 Determina o resto da diviso de A = x3 x2 2x + 3 a por x + 2. Exerc cio 1.6.6 Determina o resto da diviso de p = xn 1, n N , a por x + 1.

1.6.2

Eliminao de Uma Raiz ca

Conhecida uma raiz de um polinmio p de grau n, n 2, esta raiz o pode ser eliminada de p, isto , pode-se obter outro polinmio q, de grau e o n 1, cujas ra zes so as demais ra a zes de p. Esquematicamente, temos:

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

10

raiz de p p() = 0 (veja teorema de DAlembert) e p divis por x p = q (x ) e vel as ra zes de p so, alm de , as ra a e zes de q.

raiz de p p divis por x e e vel as demais ra zes de p so as ra a zes do quociente da diviso de p por x . a

1.6.3

Exerc cios

Exemplo 1.6.7 Resolve a equao x3 7x2 + 36 = 0, observando que ca 2 uma das ra e zes. Soluo ca Seja p(x) = x3 7x2 + 36; sabe-se que p(2) = 0, logo p(x) divis e vel por x + 2. Efetuemos esta diviso: a -2 1 1 -7 -9 0 18 36 0

Ento x3 7x2 + 36 = (x2 9x + 18)(x + 2) e, portanto, decorre que: a x3 7x2 +36 = 0 (x2 9x+18)(x+2) = 0 S = {2, 3, 6} (verica!) Exemplo 1.6.8 Resolve a equao x3 16x2 +65x50 = 0, observando ca que 1 uma de suas ra e zes. Soluo ca Repetindo o racioc nio feito no exemplo anterior (1.6.7), temos: 1 1 1 -16 -15 65 50 -50 0

De x2 15x + 50 = 0 vem x = 5 ou x = 10. Ento S = {1, 5, 10}. a Exerc cio 1.6.9 Resolve a equao x3 6x2 7x + 60 = 0, sabendo que ca uma de suas ra zes 4. e Exerc cio 1.6.10 Preenche as lacunas: se 7 raiz de um polinmio p, e o ento p pode ser decomposto num produto de dois fatores, um dos quais a e . O outro fator, que possui as demais ra zes de p, o e . Exerc cio 1.6.11 Resolve a equao x3 x2 14x + 24 = 0, sabendo ca que uma de suas ra zes 4. e Exemplo 1.6.12 Resolve a equao x4 8x3 25x2 + 44x + 60 = 0, ca sabendo que 1 e 2 so ra a zes da mesma.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

11

Soluo ca Vamos dividir x4 8x3 25x2 + 44x + 60 por x + 1 e, depois, o quociente desta diviso por x 2. a -1 2 1 1 1 -8 -9 -7 -25 -16 -30 44 60 0 60 0

O esqueleto acima nos mostra que: x4 8x3 25x2 + 44x + 60 = (x + 1)(x3 9x2 16x + 60) e que: x3 9x2 16x + 60 = (x 2)(x2 7x 30) Juntando as duas fatoraes, decorre que: co x4 8x3 25x2 + 44x + 60 = (x + 1)(x 2)(x2 7x 30) Neste ponto j pode-se ver que S = {1, 2, 3, 10}. a

1.7

Pesquisa de Ra zes Inteiras

Numa equao polinomial de coecientes inteiros, pode-se obter suas ca eventuais ra inteiras. Comecemos por observar que, no exemplo anterior zes (1.6.12), as ra zes inteiras 1, 2, 3 e 10 so divisores do termo indepena dente 60. No custa fazer uma pausa para lembrar que, dados dois nmeros inteiros a u a e b, diz-se que a divisor de b (ou que a divide b) quando existe um nmero e u inteiro c tal que c a = b (neste caso, denotamos a | b). Assim, por exemplo, 2 divisor de 60, pois 30 2 = 60. Ou seja, 2 divide 60. Ou ainda 2 | 60. e Prosseguindo, provaremos que as eventuais ra zes inteiras da equao ca 3 10x2 + 26x 12 = 0 so (obrigatoriamente) divisores do termo index a pendente 12. prova: Se r uma raiz inteira de x3 10x2 + 26x 12 = 0, tem-se: e r3 10r2 + 26r 12 = 0 r3 10r2 + 26r = 12 r(r2 10r + 26) = 12 . no inteiro Mas estamos supondo que r um nmero inteiro, logo r2 10r+26 tambm . e u e e Ento a expresso acima nos mostra que r multiplicado por um n mero a a u inteiro resulta em 12. Portanto, r um divisor de 12 (ou, o que d no e a mesmo, de 12). Terminada a prova e considerando que os divisores de 12 (ou de 12) so 1, 2, 3, 4, 6 e 12, aproveitaremos para pesquisar as ra a zes 3 10x2 + 26x 12 = 0. Vericando esses valores na equao, inteiras de x ca uma a um, depois de algum trabalho, percebemos que 6 raiz. Ento e a 6 1 1 -10 -4 26 2 -12 0

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

12

De x2 4x + 2 = 0 vem x = 2 2. Logo, S = {6, 2 2, 2 + 2}. Finalmente generalizaremos os resultados que temos obtido atravs do e seguinte teorema: Teorema 1.7.1 Se r Z uma raiz da equao polinomial de grau n e ca com coecientes inteiros: an xn + an1 xn1 + + a2 x2 + a1 x + a0 = 0, ento a r divisor de a0 . e prova: Se r raiz da equao, ento: e ca a an rn + an1 rn1 + . . . + a2 r2 + a1 r + a0 = 0 an rn + an1 rn1 + . . . + a2 r2 + a1 r = a0 n1 an r + an1 rn2 + . . . + a2 r + a1 ) = a0

r(

este valor resulta num n mero inteiro k . u Como estamos supondo que r e todos os coecientes da equao so ca a inteiros, a expresso anterior, que se encontra entre parnteses, tambm a e e resultar num nmero inteiro, que indicaremos por k. Ento k r = a0 ; a u a logo, r divisor de a0 . e

1.7.1
0?

Exerc cios

Exemplo 1.7.2 Quais so as ra inteiras de 2x3 17x2 + 19x + 14 = a zes

Resoluo ca Pelo teorema anterior (1.7.1) sabemos que as eventuais ra zes inteiras so os divisores de 14: 1, 2, 7, 14. a Fazendo uma vericao, v-se que 2 raiz, logo: ca e e 2 2 2 -17 -13 19 -7 14 0

De 2x2 13x 7 = 0 vem x = 7 ou x = 1 . 2 Portanto, as ra zes inteiras da equao dada so 2 e 7. ca a Exemplo 1.7.3 Quais so as ra inteiras de 24x3 26x2 +9x1 = 0? a zes Resoluo ca Nesta equao, as poss ca veis ra zes inteiras so os divisores de 1, que a so apenas dois: 1. Como nenhum desses dois valores raiz da equao a e ca (confere!), conclui-se que tal equao no possui nenhuma raiz inteira. ca a Exerc cio 1.7.4 Resolve a equao x3 12x2 + 10x + 11 = 0. ca Sugesto: pesquisa suas poss a veis ra zes inteiras. Exerc cio 1.7.5 Determina as ra reais de 2x4 +3x3 10x2 5x6 = zes 0.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

13

1.8

Pesquisa de Ra zes Racionais

De maneira anloga ` feita com as ra a a zes inteiras, vamos demonstrar o seguinte Teorema 1.8.1 Se o nmero racional a , com a e b primos entre si, u e b n +a n1 + uma raiz da equao polinomial com coecientes inteiros: an x ca n1 x . . . + a1 x + a0 = 0, ento a divisor de a0 e, alm disso, b divisor de an . a e e e Antes de demonstr-lo, necessitamos de trs resultados prvios. a e e a u Proposio 1.8.2 Se a, b, c, m e n so nmeros inteiros, c | a e c | b, ca ento c | (ma + nb). a prova: Ver Proposio 1 (v) de A. Hefez. ca Teorema 1.8.3 Seja d = mdc{a, b}. Ento n0 , m0 Z tais que d = a n0 a + m0 b. prova: Ver Corolrio 1, pg. 76 de A. Hefez. a Teorema 1.8.4 Se a | bc e mdc{a, b} = 1, ento a | c. a prova: Ver Problema 3.2, pg. 85 de A. Hefez. De fato, como mdc{a, b} = 1, ento pelo Teorema 1.8.3, n, m Z tais a que na + mb = 1. Multiplicando-se os dois lados desta igualdade por c, temos: n (ac) + m (bc) = c. Como a | ac e, por hiptese, a | bc ento, pela o a Proposio 1.8.2, a | c. ca Agora estamos em condies de provar o Teorema desejado. co Prova do Teorema 1.8.1. Seja p(x) = an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0 , an = 0, ai Z, i. Seja = a Q com m.d.c.{a, b} = 1 tal que b p() = 0. A mostrar: a | a0 e b | an De fato, n n1 2 p() = 0 an an + an1 an1 + . . . + a2 a2 + a1 a + a0 = 0 b b b b n an an + . . . + a1 a = a0 . Tirando o m.m.c. dos denominadores, temos: b b an an + an1 an1 b + . . . + a2 a2 bn2 + a1 a bn1 = a0 bn . Todas as parcelas do lado esquerdo da igualdade acima possuem a: a an an1 + an1 an2 b + . . . + a2 a bn2 + a1 bn1 = a0 bn .

Isto implica que, por um lado, a | a0 bn a | a0 ou a | bn a | a0 ou a | b. Como esta ultima possibilidade no ocorre haja vista que m.d.c.{a, b} = 1, a segue que a | a0 . Por outro lado, tambm de , vem que e b | a an an1 + an1 an2 b + . . . + a2 a bn2 + a1 bn1 . Ento b | a a

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

14

(o que no ocorre visto que m.d.c.{a, b} = 1) ou a b | an an1 + an1 an2 b + . . . + a2 a bn2 + a1 bn1 . Portanto b | an an1 + an1 an2 b + . . . + a2 a bn2 + a1 bn1 . mas b divide cada uma destas parcelas Segue que b | ( ) a bicharada toda . No entanto, ( ) a bicharada toda = an an1 . Assim, b | an an1 b | an ou b | an1 b | an ou b | a (esta ultima no ocorre pois m.d.c.{a, b} = 1) b | an . a

1.8.1

Exerc cios

Exemplo 1.8.5 Determina as ra zes racionais de 3x3 + x2 + x 2 = 0. Resoluo ca Pelo teorema anterior (1.8.1) sabemos que se p uma raiz racional da q e equao, ento: ca a p divide 2 : 1, 2 q divide 3 : 1, 3
2 logo, para temos as possibilidades: 1, 1 , 2 e 3 . 3 Fazendo uma vericao, v-se que 2 raiz, logo: ca e 3 e 2 3 p q

3 3

1 3

1 3

-2 0

Como 3x2 + 3x + 3 = 0 no tem ra reais, conclui-se que a unica raiz a zes racional da equao 2 . ca e 3 Exemplo 1.8.6 Vimos que a equao 24x3 26x2 + 9x 1 = 0 no ca a possui nenhuma raiz inteira (exemplo 1.7.3). Agora solicitaremos as suas ra zes racionais. Resoluo ca Se p raiz racional, ento p | (1) e q | 24 (isto , p divide 1 e q divide a e q e 1 1 1 1 24). Portanto, as eventuais ra zes racionais so: 1, 2 , 3 , 1 , 6 , 8 , a 4 1 1 12 e 24 . No entanto, na equao dada, quando substitu ca mos x por um nmero neu gativo todas as parcelas envolvidas tornam-se negativas e, por conseguinte, a equao no possui ra ca a zes negativas. Restam, ento, oito daquelas posa sibilidades (ou, mais precisamente, sete, pois j se sabe que no h ra a a a zes 1 inteiras). Vericando os valores restantes, v-se que 2 raiz, logo: e e
1 2

24 24

-26 -14

9 2

-1 0

UNIVATES Centro Universitrio a De 24x2 14x + 2 = 0 vem x = da equao so 1 , 3 e 1 . ca a 2 1 4

1 3

Prof.Dr. Claus Haetinger ou x = 1 . Portanto, as ra racionais zes 4

15

Exerc cio 1.8.7 Determina as ra zes reais de 5x3 + 9x2 + 13x 3 = 0. Exerc cio 1.8.8 Quais so as ra racionais de 7x3 3x2 + x 2 = 0? a zes

1.9

Ra zes Reais

O teorema seguinte geralmente demonstrado no curso de Anlise Real, e a e at em alguns cursos de Clculo. Aqui, no entanto, no incluiremos a sua e a a prova formal, procurando justic-lo de modo bastante intuitivo, atravs a e de sua conotao grca. O aluno interessado poder pesquisar este e o ca a a teorema de Rolle em livros de Anlise Matemtica. a a Teorema 1.9.1 (Bolzano-Weierstrass) Seja p um polinmio com o coecientes reais e sejam a, b R com a < b. Se p(a) p(b) < 0, ento existe a pelo menos uma raiz real de p no intervalo (a, b). A explicao intuitiva a seguinte: se p(a) p(b) < 0, ento p(a) e ca e a p(b) tm sinais contrrios. Suponhamos, s.p.g., que p(a) > 0 e p(b) < 0. e a Ento, olhando para o grco de y = p(x), v-se que quando x = a o grco a a e a situa-se acima do eixo OX. J para x = b ele est abaixo do mesmo. O a a grco da funo polinomial, sendo uma curva cont a ca nua que liga esses dois pontos, ter obrigatoriamente que cortar o eixo dos OX ao menos uma a vez no intervalo (a, b). Ao cort-lo tem-se ento um ponto de abscissa x0 a a tal que p(x0 ) = 0; logo x0 uma raiz de p(x) = 0. Portanto, existe pelo e menos uma raiz real de p no intervalo (a, b).

1.9.1

Exerc cios

Exemplo 1.9.2 Mostra que a equao x3 3x2 x 1 = 0 admite uma ca raiz irracional compreendida entre os nmeros 0 e 4. A seguir determina u um intervalo de amplitude 0, 5 que contenha aquela raiz. Resoluo ca Sendo p = x3 3x2 x 1, temos p(0) = 1 e p(4) = 11. Ento a p(0) p(4) < 0 e, pelo teorema 1.9.1 (Bolzano), a equao admite ao menos ca uma raiz real no intervalo (0, 4). Esta raiz no racional, pois as poss a e veis ra zes racionais so 1 e nenhum desses dois valores raiz da equao . a e ca Portanto, aquela equao admite uma raiz irracional compreendida entre ca os nmeros 0 e 4. u Para estreitar o intervalo que contm aquela raiz, tomemos um valor e pertencente a (0, 4) o nmero 2, por exemplo e obtenhamos p(2). Neste u caso, p(2) = 7, logo p(2) p(4) < 0 e, assim, a raiz ca compreendida entre 2 e 4. Escolhendo em (2, 4) o nmero 3, temos p(3) = 4, logo p(3) p(4) < 0 u e, assim, a raiz ca compreendida entre 3 e 4.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

16

Continuando nesse processo vemos que p(3, 5) = 1, 625, logo p(3) p(3, 5) < 0 e, nalmente, chegamos a um intervalo de amplitude 0, 5 que contm aquela raiz: (3; 3, 5). e Observao 1.9.3 O processo anterior pode ser continuado, apertandoca se cada vez mais o cerco em torno da raiz, at a obteno do valor aproxie ca mado da raiz com a preciso que se desejar. Por exemplo, no exerc a cio anterior (1.9.2) tem-se p(3, 3825) < 0 e p(3, 383) > 0; logo, o valor da raiz, calculado com erro inferior a 0, 0001 (um milsimo), , 3, 383. e e ca Exerc cio 1.9.4 Mostra que a equao x5 + 20x2 100 = 0 possui uma raiz real positiva e inferior a 10. A seguir, determina dois nmeros inteiros u e consecutivos entre os quais se encontra aquela raiz. Exerc cio 1.9.5 Pesquisa as ra racionais de x4 +x3 2x2 3x3 = 0 zes e mostra que essa equao possui uma raiz irracional compreendida entre 1 ca e 2. zes racionais de 2x3 3x2 2x + 1 = 0 Exerc cio 1.9.6 Pesquisa as ra e mostra que esta equao possui uma raiz irracional compreendida entre ca 1 e 0, e uma terceira situada entre 1 e 2. Exerc cio 1.9.7 Considera um polinmio p com coecientes reais. o Ocorrendo que p(0)p(2) > 0, pode-se armar que este polinmio no admite o a ra zes reais entre 0 e 2?
H I C T GR A N E

Cap tulo 2

N meros Reais u

ste cap tulo baseado no livro de Ivan Niven, Nmeros: Rae u cionais e Irracionais ([15]). Detalhes e maior aprofundamento podem ser obtidos em Aproximao de um Nmero Real por Nmeros Racionais, ca u u de Yves Lequain ([17]).

2.1

Aproximao de N meros Irracionais por ca u N meros Racionais u

Trataremos do grau de preciso com que um nmero irracional aproa u e ximado por nmeros racionais. Veremos que poss u e vel obter nmeros rau u cionais to prximos, digamos, de 2 quanto se queira: existem nmeros a o a 10 , ou 1020 , ou por meracionais b que diferem de 2 por menos de 10 nos de nmeros to pequenos quanto se imagine. E isto vale para qualquer u a nmero irracional, no s para o 2. No entanto, para encontrar um nmero u a o u a 20 , precisamos proracional b que dira de um irracional por menos de 10 curar a com b muito grande: se admitirmos que b seja da ordem de 1020 , b poderemos encontrar a nestas condies. co b O que acontece se restringirmos os valores de b, no permitindo que a ultrapassem 1015 ou 1010 ? O problema ca mais dif e trabalhoso. Mas, cil examinando questes como estas, estaremos nos preocupando com o que o pode ser armado a respeito de todos os nmeros irracionais e no apenas a u de alguns casos particulares com 2 e 3.

2.1.1

Aproximao por Inteiros ca

Se arredondarmos qualquer nmero real, substituindo-o pelo inteiro mais u 1 prximo, o erro cometido ser no mximo igual a 2 . o a a Exemplo 2.1.1 Se substituirmos 6, 3 por 6; ou ento 9, 7 por 10; ou a ainda 7, 5 por 7 ou 8, o erro no ser, em cada caso, maior do que 1 . a a 2 Se substituirmos um nmero irracional pelo inteiro mais prximo, o erro u o 1 ser menor do que 2 e comeamos a teoria das aproximaes com este caso a c co simples. 17

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

18

Teorema 2.1.2 Para qualquer nmero irracional , existe um unico u 1 1 m Z, tal que 2 < m < 2 . prova: Escolhemos m como sendo o inteiro mais prximo de . Por o exemplo, se = 3 = 1, 73 . . ., escolheremos m = 2 ou, se = 2 2 = 3, 46 . . ., escolheremos m = 3. Assim, m poder ser o inteiro imediatamente a maior do que , ou imediatamente menor do que , aquele que estiver mais prximo ( bvio que um deles estar mais prximo de do que o outro o e o a o pois, caso contrrio, estaria bem no meio, entre dois inteiros consecutivos, a 1 digamos n e n + 1. Mas, ento seria igual a n + 2 Q??!!). a Dito de outra forma, qualquer segmento AB, de comprimento unitrio, a marcado na reta real, conter exatamente um inteiro, a no ser que A e a a B sejam pontos inteiros. Chamemos, agora, de A o ponto correspondente ao nmero 1 e B, o ponto correspondente a + 1 . Como 1 no u 2 2 2 a so inteiros (nem sequer so racionais), sabemos que A e B no podem ser a a a inteiros. Chamando de m o unico inteiro no segmento AB, vemos que m 1 1 est estritamente entre 2 e + 1 . Assim, 2 < m < + 1 . Subtraindo a 2 2 1 1 , obtemos 2 < m < 2 . Estando o nmero m entre 1 e 1 , o mesmo acontecer com o u a 2 2 nmero que se obtm trocando seu sinal e, portanto, m estar entre 1 u e a 2 e 1 . Provamos a existncia. e 2 Vejamos a unicidade: o inteiro m unico, pois se existisse outro inteiro e n, satisfazendo 1 < n < 1 , ento n tambm satisfaria 1 < n < 1 . a e 2 2 2 2 Somando a estas desigualdades, vemos que n satisfaria 1 < n < + 1 . 2 2 Mas, o segmento AB contm apenas um inteiro, de modo que n = m. e

2.1.2

Aproximao por N meros Racionais ca u

Um modo de se obter valores aproximados de um nmero irracional, u como 2, usar a forma decimal 2 = 1, 41421 . . .. e Os nmeros 1; 1, 4; 1, 41; 1, 414; 1, 4142; 1, 41421; . . formam uma u . u seqncia de aproximaes, cada vez mais precisas, de 2. Os nmeros ue co da seqncia so todos racionais. Temos, assim, uma seqncia innita de ue a ue aproximaes racionais de 2: co 1 14 141 1414 14142 141421 , , , , , ,.... 1 10 100 1000 10000 100000 (2.1)

` A medida que avanamos na seqncia, estes nmeros se aproximam cada c ue u

UNIVATES Centro Universitrio a vez mais de

Prof.Dr. Claus Haetinger

19

2. Ademais, podemos escrever as desigualdades 1 2 < 2, 1 < 1

14 10 141 100 1414 1000 14142 10000 141421 100000

< < < < <

2 < 2 < 2 < 2 < 2 < . . .

15 10 , 142 100 , 1415 1000 , 14143 10000 , 141422 100000 ,

Estas desigualdades mostram que uma innidade de termos de (2.1) esto a to prximos de 2 quanto se deseje. a o Exemplo 2.1.3 Suponhamos que desejamos nos certicar de que exis tem innitos nmeros racionais diferindo de 2 por menos de 0, 0001. Pou demos obter estes nmeros, escolhendo todos os termos da seqncia (2.1), u ue salvo os quatro primeiros. u Observao 2.1.4 Os nmeros racionais (2.1) apresentam uma partica cularidade: seus denominadores so potncias de 10. E poss que existam, a e vel entre os nmeros racionais, melhores aproximaes de 2, sem qualquer u co restrio a seus denominadores. ca Exemplo 2.1.5 Examinemos o nmero irracional para ilustrar nossa u discusso. Como tem valor 3, 14159 . . ., a seqncia para , anloga a a ue a (2.1), e 3 31 314 3141 31415 314159 , , , , , ,.... (2.2) 1 10 100 1000 10000 100000 No entanto, sabemos que 22 est mais prximo de do que 31 . De fato, 22 a o 7 10 7 est mais prximo de do que 314 , mas no mais prximo do que os termos a o a o 100 subseqentes da seqncia (2.2). u ue Para no mais dependermos dos denominadores 10, 102 , 103 , etc., mosa traremos que todo nmero irracional pode ser aproximado por um nmero u u racional de denominador arbitrrio. a Teorema 2.1.6 Sejam um nmero irracional n N quaisquer. u Ento existe um nmero racional de denominador n, digamos m , tal que a u n 1 1 2n < m < 2n . n Motivaremos a prova deste teorema com um exemplo.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

20

Exemplo 2.1.7 Suponhamos que seja 2 e n = 23. Considere mos o irracional 23 2 que na notao decimal de 2: 41421 . . . vale ca 1, 23 2 = 32, 52 . . .. Portanto, o inteiro mais prximo de 23 2 33 e este o e e 1 1 o m do teorema 2.1.2 que, para = 23 2, arma 2 < 23 2 33 < 2 . Mas, 33 tambm o m do teorema 2.1.6, pois podemos dividir estas dee e 1 1 sigualdes por 23 e obter 46 < 2 33 < 46 . 23 prova: Sabemos que irracional e n N , o nmero n irracional u e (ver teorema 4.1, cap tulo 4 de [15]). Deniremos, ento, m como sendo o a inteiro mais prximo de n. Assim, pelo teorema 2.1.2, 1 < n m < 1 . o 2 2 1 1 Estas desigualdades podem ser divididas por n, dando 2n < m < 2n . n Exerc cio 2.1.8 Encontra os nmeros racionais m como no teorema u n 2.1.6, para os casos em que = 2 e n = 1, 2, . . . , 10. Soluo: ca Um alculo simples c mostra que inteiros mais prximos de 2, 2 2, os o 3 2, 4 2, 5 2, 6 2, 7 2, 8 2, 9 2, 10 2 so, respectivamente, 1, 3, 4, a 6, 7, 8, 10, 11, 13 e 14. Portanto, os racionais pedidos so 1 , 3 , 4 , 6 , 7 , 8 , a 1 2 3 4 5 6 10 11 13 14 1 ca e e 7 , 8 , 9 , 10 , e o erro em cada aproximao menor que 2n , onde n o inteiro no denominador. O exemplo 2.1.8 mostra que as fraes m do teorema 2.1.6 no so, co a a n necessariamente, irredut veis.

2.1.3

Aproximaoes Melhores c

Ser que as proximaes do teorema 2.1.6 podem ser feitas com erros a co 1 1 menores que 3n , 4n , ou menores ainda? A resposta sim. No prximo e o 1 teorema veremos que pode ser aproximado por m , a menos de kn , k > 0. n 1 No entanto, enquanto no teorema 2.1.6 a aproximao a menos de 2n podia ca 1 ser conseguida n > 0, a com erro menor do que kn , com um dado k > 0, no podera, no teorema 2.1.9, ser obtida para todos os inteiros n. a Ser que podemos aproximar qualquer nmero irracional por m , a a u n 1 1 1 menos de n2 , ou n3 , ou com erro menor ainda? A menos de n2 , sim; a 1 menos de n3 , no. Mas, estes sero tpicos para momentos posteriores, a a o fugindo dos nossos propsitos no momento. Mais uma vez, detalhes podem o ser obtidos em [15] e [17]. Teorema 2.1.9 Quaisquer que sejam o nmero irracional e o inu teiro positivo k, existe um m Q, cujo denominador no excede k, tal a n 1 1 que nk < m < nk . n Ao invs de provarmos o teorema , k, comprov-lo-emos num caso e a particular, onde = 3 e k = 8 (a prova do teorema bastante longa, e porm segue os mesmos passos que utilizaremos no caso particular abaixo). e Inicialmente, enumeremos os mltiplos de desde 1 at k . Faamos u e c uma lista dos mltiplos de 3, escrevendo cada mltiplo como soma de dois u u

UNIVATES Centro Universitrio a nmeros positivos, u 3 = 23 = 33 = 43 = 53 = 63 = 73 = 8 3 =

Prof.Dr. Claus Haetinger

21

um inteiro e um menor que 1: 1 + 0, 732 . . . 3 1 3 + 0, 464 . . . 23 3 5 + 0, 196 . . . 33 5 6 + 0, 928 . . . 43 6 8 + 0, 660 . . . 5 3 8 10 + 0, 392 . . . 63 10 12 + 0, 124 . . . 73 12 13 + 0, 856 . . . 8 3 13

= = = = = = = =

0, 732 . . . 0, 464 . . . 0, 196 . . . 0, 928 . . . 0, 660 . . . 0, 392 . . . 0, 124 . . . 0, 856 . . . .

As expresses ` direita foram obtidas das da esquerda, subtraindo a parte o a inteira. A seguir, separemos o intervalo [0, 1] em oito partes iguais I1 , I2 , . . ., 1 2 I8 . Assim, I1 = (0, 8 ), I2 = ( 1 , 2 ), I3 = ( 8 , 3 ), . . ..1 Classicaremos, 8 8 8 agora, as oito partes decimais dos mltiplos de 3 nas categorias I1 , I2 , . . ., u 5 I8 , do modo seguinte: 0, 732 . . . I6 (porque 0, 732 . . . est entre 8 e 6 ); a 8 0, 464 . . . I4 ; 0, 196 . . . I2 ; 0, 928 . . . I8 ; 0, 660 . . . I6 ; 0, 392 . . . I4 ; 0, 124 . . . I1 ; 0, 856 . . . I7 . Usaremos o nmero que est em I1 na lista u a u a acima: 0, 124 . . . I1 , i.e., 7 312 I1 . Mas, os nmeros em I1 esto entre 1 1 0 e 8 , de modo que 0 < 7 3 12 < 8 . Como o nmero 7 3 12 est entre u a 1 1 1 1 0 e 8 , ele certamente estar entre 8 e 8 . Portanto, 8 < 7 3 12 < 1 . a 8 1 1 Dividindo esta desigualdade por 7, obtemos 78 < 3 12 < 78 . 7 Este um resultado na forma do enunciado do teorema 2.1.9, com k = 8, e n = 7 e m = 12. Baseamos nosso argumento no fato de 7 3 12 estar em I1 . O que ter amos feito se no existisse nenhum outro nmero no intervalo I1 ? A a u resposta que ento em um dos intervalos I2 , I3 , . . ., I8 existiriam dois ou e a mais nmeros. u No exemplo acima, no somente existe um nmero em I1 , como tambm a u e existem dois nmeros em I4 e dois em I6 . Consideremos o par em I6 : u 0, 732 . . . I6 , i.e., 3 1 I6 ; e 0, 660 . . . I6 , i.e., 5 3 8 I6 . Sempre que dois nmeros estiverem em I6 (ou em qualquer um destes u intervalos), eles estaro a menos de 1 um do outro, de modo que a sua a 8 diferena estar entre 1 e 1 . Em particular, para os dois nmeros em I6 , c a u 8 8 1 1 temos: 8 < (5 38)( 31) < 1 , donde 8 < 4 37 < 1 . Dividindo 8 8 1 1 por 4, obtemos 48 < 3 7 < 48 , e este um outro resultado na forma e 4 do enunciado do teorema 2.1.9, para = 3 e k = 8, desta vez com n = 4 e m = 7.

2.1.4

Aproximaoes a Menos de c

1 n2 1 . n2

Vamos agora obter aproximaes com erros menores do que co

Teorema 2.1.10 Para todo nmero irracional , existem innitos rau m 1 1 cionais n , em forma irredut vel, tais que n2 < m < n2 . n
Como desejamos obter desigualdades estritas, conveniente interpretar entre como e estritamente entre; assim, os intervalos Ij contm todos os pontos u tais que (j1) < e 8 j u< 8
1

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

22

prova: Observemos, inicialmente, que qualquer m Q satisfazendo n a desigualdade do teorema 2.1.9, automaticamente satisfar a do teorema a 2.1.10. A razo que como n no excede k, de k n podemos deduzir uqe a e a 1 1 1 1 1 1 u k n e kn n2 . Portanto, qualquer n mero que esteja entre kn e kn 1 1 dever estar entre n2 e n2 . a A seguir mostraremos que se um m Q, no em forma irredut a vel, n satiszer as desigualdades do teorema, ento o mesmo nmero racional, em a u forma irredut vel, satisfar as desigualdades apropriadas. Denotemos por M a N a forma irredut de m . Podemos supor, sem perda de generalidade, que vel n n, N > 0, deixando qualquer sinal negativo ser absorvido pelo numerador. Temos, ento: m = M , 0 < N < n, porque simplicar uma frao at a ca e n N torn-la irredut a vel no altera o valor da frao, mas reduz o tamanho do a ca 1 1 1 1 denominador. Ento n < N e n2 < N 2 e, portanto, se satiszer n2 < a 1 1 1 1 m , n2 , automaticamente satisfar N 2 < M < N 2 . a n N Para completar a prova do teorema 2.1.10, precisamos mostrar que existe uma innidade de racionais, em forma irredut vel, satisfazendo as desigualdades. Suponhamos, por absurdo, que exista apenas uma quantidade nita des2 3 1 tas fraes, digamos m1 , m2 , m3 , . . ., mii . co n n n n 1 2 3 Consideremos, ento, os i nmeros m1 , m2 , m3 , . . ., mii . a u n n n n Sabemos que todos eles so irracionais e, portanto, nenhum deles zero. a e alguns podem ser positivos, outros negativos; vamos esccolher um inteiro k, 1 1 to grande que k esteja entre 0 e todos os nmeros positivos e k esteja entre a u 0 e todos os nmeros negativos. Isto pode ser feito porque, quanto maior u 1 1 escolhermos k, mais prximos de 0 estaro os nmeros k e k . Escolhamos, o a u ento, k to grande que as seguintes desigualdades sejam todas falsas: a a
1 k 1 k 1 k
1 < m1 n 2 < m2 n . . .

< < <

1 k, 1 k, 1 k.

(2.3)

<

mi ni

Para este valor de k, vamos aplicar o teorema 2.1.9 e obter um nmero u m 1 m 1 racional n , tal que kn < n < kn . 1 1 Isto nos diz que m est entre kn e kn e, portanto, m ter a a n n 1 1 1 m 1 que estar entre k e k ; em s mbolos: k < n < k . mas, como todas as desigualdades de (2.3) so falsas, conclu a mos que m diferente de cada n e mi m1 m2 um dos i nmeros n1 , n2 , . . ., ni . Portanto, obtivemos mais um nmeros u u racional satisfazendo asdesigualdades do teorema 2.1.10. Exerc cio 2.1.11 Determina quatro aproximaes racionais (irreco dut veis) de , sucientemente prximas de para satisfazer as desigualdes o do teorema 2.1.10. Soluo: ca
3 Sendo = 3, 14159 . . ., ento 112 < 1 < 112 e 112 < 4 < 112 . Para a 1 achar duas outras aproximaes, podemos usar o mtodo do teorema 2.1.6 co e

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

23

para obter os nmeros racionais mais prximos de , com denominadores 2, u o 6 9 13 16 19 22 3, etc: 2 , 3 , 4 , 5 , 6 , 7 , . . .. Rejeitamos 6 e 9 por no serem fraes irredut a co veis e testamos as demais 2 3 para ver se satisfazem as desigualdades do teorema 2.1.10; por exemplo, 1 1 36 < 19 < 36 (Verdade!). 6 Somos, assim, levados a rejeitar 13 e 16 mas aceitar 19 e 22 . Portanto, 4 5 6 7 um conjunto de respostas ao problema seria 3 , 4 , 19 e 22 . 1 1 6 7 ca a u O nmero 22 uma aproximao muito boa de . No existe nmero u 7 e racional com denominador entre 1 e 56 que esteja mais prximo de . O o nmero 179 est um pouco mais prximo de que 22 , mas no satisfaz as u a o a 57 7 desigualdades do teorema 2.1.10. O nmero racional 355 satisfaz as desiu 113 gualdades do teorema 2.1.10 e est bem mais prximo de do que 22 . De a o 7 fato, suas seis primeiras casas decimais coincidem com as de . Pode-se demonstrar a seguinte verso mais forte do teorema 2.1.10: a u Teorema 2.1.12 Para todo nmero irracional , existem innitos 1 1 nmeros m Q, tais que n(n+1) < m < n(n+1) . u n n Com ajuda deste teorema, no exemplo acima, o nmero 4 (que uma u e 1 aproximao relativamente grosseira de ) pode ser eliminado. ca

2.1.5

Limitaes das Aproximaes co co

Mostramos no teorema 2.1.6 que, irracional, existem innitos m Q n 1 1 tais que 2n < m < 2n . Depois, no teorema 2.1.10, provamos que n 1 1 existem innitos m tais que n2 < m < n2 . n n 1 Ser que poss demonstrar que existem innitos m tais que 2n2 < a e vel n 1 m e a n < 2n2 ? A resposta sim, mas no o demonstraremos aqui. De fato, existe um teorema famoso armando que, irracional, existem innitos 1 1 m tais que 5n2 < m < 5n2 e, ainda mais, que 5 a constante e n n que fornece a melhor aproximao poss deste tipo. Isto signica que, se ca vel substituirmos 5 por qualquer constante maior, a armao torna-se falsa. ca Para dar uma idia de como poss demonstrar que existe um limite e e vel para o tamanho da constante, vamos provar o seguinte resultado: Proposio 2.1.13 No existem innitos nmeros racionais ca a u 1 m 1 < 2 < 2. 2 5n n 5n
m n

tais que (2.4)

prova: Provaremos, de fato, que (2.4) imposs e vel n N tal que n > 10. A prova indireta. Vamos supor que (2.4) seja vlida para alguns e a 1 m, n Z, com n > 10. A desigualdade 5n2 < 2 m implica, para n n > 10, que m 1 1 < 2+ 2 < 2+ < 2. (2.5) n 5n 500 1 Por outro lado, a desigualdade 2 m < 5n2 implica, para n > 10, que n 1 1 m > 2 2 > 2 > 1. n 5n 500 (2.6)

UNIVATES Centro Universitrio a Se somarmos

m n

Prof.Dr. Claus Haetinger

24

aos membros das desigualdades (2.4), obtemos

m 1 m 1 2 < 2< + 2. (2.7) n 5n n 5n Se provarmos ser cada uma destas trs partes positiva, podemos eleve a 1 las ao quadrado e manter as desigualdades. Por (2.6) vemos que m 5n2 > n 1 1 a 1 5n2 > 1 500 > 0. Portanto, todas as partes de (2.7) so positivas e, elevando-as ao quadrado, obtemos 2 2 m 1 2 1 2 2m 1 2m 1 < 2 < m + 5n2 , m2 5n3 + 25n4 < 2 < m2 + 5n3 + 25n64 . n 5n2 n n n Multiplicando por n2 , obtemos m2 2m 2m 1 1 < 2n2 < m2 + . + + 2 5n 25n 5n 25n2 (2.8)

Agora, por (2.5), vemos que m2 + 2 m 1 2 4 1 1 + < m2 + (2) + < m2 + + < m2 + 1. (2.9) 2 2 5 n 25n 5 25n 5 2500 1 4 2 m 2 m + > m2 > m2 1. > m2 2 5 n 25n 5 n 5

Por outro lado, por (2.5) podemos escrever m2 (2.10)

Aplicando (2.9) e (2.10) a (2.8), obtemos m2 1 < m2 2 m 1 1 2m + + < 2n2 < m2 + < m2 + 1, 2 5 n 25n 5n 25n2

ou seja, m2 1 < 2n2 < m2 + 1. Mas, 2n2 N e se estiver entre os inteiros m2 1 e m2 + 1, ter que ser igual a m2 . Conclu a mos, ento, que 2n2 = m2 . a m2 m donde 2 = n2 , ou seja, 2 = n Q??!!

2.2

Um Resumo

Vimos vrios resultados sobre o grau de preciso com que um nmero a a u irracional pode ser aproximado por innitos m Q. O teorema mais n 1 forte armou que pode ser aproximado a menos de n2 . Provamos um 1 resultado negativo, a saber, que no existem innitos racionais m a 5n2 de a n 2. Um resultado negativo anlogo vlido para qualquer nmero algbrico. a e a u e verdade, embora no o demonstramos aqui, que no existem innitos E a a 1 u e nmeros racionais m a menos de n3 de qualquer nmero algbrico . O u n mesmo no pode ser armado a respeito de nmeros transcendentes em a u geral; verdade para alguns, mas no para todos os transcendentes. No e a cap tulo 7 do livro de Ivan Niven [15], exibido um nmero que pode ser e u m 1 1 aproximado por innitos n , no apenas a menos de n3 , mas a menos de n4 , a 1 1 a e, na verdade, a menos de nj para qualquer j que o aluno escolher, no n100 importando quo grande. Este nmero no algbrico mostrando, assim, a u a e e que existem nmeros transcendentes. Porm, isto j uma outra histria. u e ae o Outro enfoque algbrico dos nmeros reais pode ser visto no livro de e u Abramo Hefez ([13]).
H I C T GR A N E

Cap tulo 3

Tpicos Sobre N meros o u Complexos

D
3.1 3.2 3.3 3.4 3.5

ividiremos este cap tulo em duas partes. Uma delas, mais terica e o aprofundada, ser baseada no livro de Abramo Hefez ([13]). A abordagem a inicial, mais supercial e aplicvel ao Ensino Mdio, ser baseada no livro de a e a Elon Lages Lima: A Matemtica do Ensino Mdio, editado pelo IMPA. a e

Introduo (pg. 160) ca A Forma Algbrica (pg. 161) e A Forma Trigonomtrica (pg.168) e Ra zes da Unidade (pg. 182) Inverso (pg. 190) a
H I C T GR A N E

25

Cap tulo 4

Tpicos Sobre Equaoes o c Algbricas e

presentaremos alguns tpicos superciais sobre as equaes o co algbricas, baseados no livro de Elon de Lages Lima: A Matemtica do e a Ensino Mdio, editado pelo IMPA. e

45

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

46

4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10 4.11

Introduo (pg. 198) ca Polinmios Complexos (pg. 200) o Diviso de Polinmios (pg. 204) a o Diviso por um Polinmio por (xa) (pg. 210) a o Reduzindo o Graus Algbrica (pg. 215) e de Uma Equao ca

O Teorema Fundamental da Algebra (pg. 218) Relaes Entre Coecientes e Ra co zes (pg. 221) Equaes Algbricas com Coecientes Reais co e (pg. 225) Demonstrando o Teorema Fundamental da Algebra (pg.229) Resoluo Algbrica de Equaes (pg. 233) ca e co Resoluo Numrica de Equaes (pg. 239) ca e co
H I C T GR A N E

Cap tulo 5

Polinmios em uma Varivel o a sobre Subcorpos dos Complexos

ste cap tulo referente ao livro de Adilson Gonalves ([12]). Vae c mos introduzir os polinmios em uma varivel(ou indeterminada). Eso a peramos, entre outros objetivos, atingir tambm uma maior compreenso e a algbrica de Z. e

5.1

Denies e Exemplos co

Seja K um corpo qualquer. Chamamos de polinmio sobre K na indeterminada x a expresso o a formal p(x) = a0 + a1 x + . . . + am xm + . . . onde ai K, i N e n N tal que aj = 0, j n. Dizemos que dois polinmios p(x) = o

so iguais se, e somente se, ai = bi em K, i N. a Se p(x) = 0 + 0x + . . . + 0xm + . . . indicaremos p(x) por 0 e o chamamos de o polinmio identicamente nulo sobre K. Assim, um poo linmio p(x) = o

i=0

ai xi e q(x) =

i=0

bi xi sobre K

ai = 0 K, i N. Se a K indicaremos por a o polinmio p(x) = a0 +a1 x+. . .+am xm +. . . o onde a0 = a, e ai = 0, i 1. Chamamos ao polinmio p(x) = a, a K de polinmio constante a. o o n + . . . tal a = 0 e a = 0, j > Se p(x) = a0 + a1 x + . . . + an x e n j n dizemos que n o grau do polinmio p(x) e, nesse caso, indicamos e o p(x) = a0 + a1 x + . . . + an xn , e o grau de p(x) por p(x) = n. Denotemos por K[x] o conjunto de todos os polinmios, sobre K, na o indeterminada x. 73

i=0

ai xi sobre K identicamente nulo se, e somente se, e

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

74

Observa que no est denido o grau do polinmio 0, e pode ser intera a o pretada como uma funo do conjunto de todos os polinmios no nulos no ca o a : K[x] \ {0} N conjunto N. Assim, . p(x) p(x) = grau de p(x) Agora vamos denir operaes soma e produto no conjunto K[x]. co Sejam p(x) = a0 + a1 x + . . . + am xm + . . ., r + . . . K[x]. q(x) = b0 + b1 x + . . . + br x Denimos k + . . . onde c p(x) + q(x) = c1 + . . . + ck x = (ai + bi ) K, e i p(x) q(x) = c0 + . . . + ck xk + . . . onde c0 = a0 b0 , c1 = a0 b1 + a1 b0 , c2 = a0 b2 + a1 b1 + a2 b0 , . . ., ck =
k i=0

ai bki , k N.

Observa que a denio de produto provm da regra xm xn = xm+n e ca e da propriedade distributiva. Convencionam-se tambm as regras x0 = 1 e e x1 = x. E de fcil vericao que (K[x], +, ) um dom a ca e nio de integridade, onde o polinmio 0 o elemento neutro de K[x] e o polinmio 1 a unidade em o e o e K[x]. Observa que se identicarmos os elementos a K com os polinmios o constantes p(x) = a podemos pensar em K[x] contendo o corpo K. Segue das denies que a funo grau possui as seguintes propriedaco ca des: 1. (f (x) + g(x)) max{f (x), g(x)}, f (x), g(x) K[x] no nulos a tais que f (x) + g(x) = 0; a 2. (f (x) g(x)) = f (x) + g(x), f (x), g(x) K[x] no nulos. Suponhamos que um polinmio p(x) = 0 possua um inverso multiplio cativo em K[x]. Assim existe q(x) = 0 em K[x] tal que p(x) q(x) = 1. Pela propriedade (2) acima, segue que p(x) = a = 0 um polinmio conse o tante. Portanto, os unicos polinmios invert o veis em K[x] so os polinmios a o constantes no nulos. a Convm observar que a notao formal de polinmios aqui introduzida e ca o e bastante conveniente, porm encobre o signicado preciso do que seja uma e indeterminada x. De fato, os polinmios p(x) = o

que uplas (a0 , a1 , . . . , an , . . .) onde ai = 0 somente para um nmero nito u de ndices e com a cannica denio de igualdade entre uplas. A operao o ca ca de soma de polinmios corresponde a natural operao de soma de uplas o ca atravs das suas coordenadas enquanto a operao de produto de polinmios e ca o corresponde a seguinte regra de multiplicao: ca (a0 , a1 , . . . , an , . . .) (b0 , b1 , . . . , bn , . . .) = (c0 , c1 , . . . , ck , . . .), onde ck = a0 bk + a1 bk1 + . . . + ak1 b1 + ak b) , k N. Agora, identicando: 1 (1, 0, 0, . . . , 0, . . .), x (0, 1, 0, . . . , 0, . . .) e a0 +a1 x+. . .+an xn (a0 , a1 , . . . , an , 0, . . .) temos uma realizao concreta, ca atravs de uplas, das noes de indeterminada x e de polinmios nessa e co o indeterminada.

i=0

ai xi nada mais so do a

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

75

Isso nos possibilita melhor entender a diferena entre funes polinomiais c co (em uma varivel) sobre um corpo K e polinmios em uma indeterminada a o sobre um corpo K. Por funo polinomial (em uma varivel) sobre um corpo K entendemos ca a a funo f : K K onde existem a0 , . . . , an K tais que f (u) = a0 + ca a1 u + . . . + an un , i K. Uma funo polinomial f sobre um corpo K ca e dita identicamente nula se f (u) = 0, u K. Por exemplo, se K = Zp , p primo, sabemos (Teorema de Fermat) que up = u, u K. Ou seja, e ca a funo polinomial f : Zp Zp denida por f (y) = y p y a funo ca identicamente nula sobre Zp . Mas claro pela nossa denio de polinmios e ca o na indeterminada x que p(x) = xp x no o polinmio 0 sobre Zp . Em a e o termos de uplas esse polinmio seria (0, 1, 0, . . . , 0, 1, 0, . . .) onde 1 gura o na (p+1)-sima coordenada. Assim, dois polinmios distintos podem induzir e o a mesma funo polinomial sobre um corpo K (em corpos innitos isto no ca a ocorre). Se D um dom e nio de integridade, ento de modo anlogo ` construo a a a ca de K[x] onde K um corpo, podemos construir o dom e nio de integridade D[x] de todos os polinmios na indeterminadax com coecientes em D. o Por exemplo, Z[x] o conjunto de todos os polinmios p(x) = a0 +. . .+an xn , e o onde ai Z. Outro exemplo importante o dom e nio K[x, y] dos polinmios o em duas indeterminadas x e y com coecientes em um corpo K. De fato, para isso bastante construir o dom e nio D[y] em uma indeterminada y onde D = K[x] o dom e nio dos polinmios em uma indeterminada x, o com coecientes em K. Observa que, pelas nossas consideraes anteriores, co x y = y x em D[y] = K[x, y]. Ainda de modo anlogo podemos estena der nossa construo para os dom ca nios K[x1 , . . . , xn ] dos polinmios em n o indeterminadas x1 , . . . , xn , com coecientes em um corpo K. Convm observar que certos teoremas que so vlidos para K[x], K corpo e a a (como por exemplo o algoritmo da diviso de Euclides) no so vlidos em a a a a geral para os dom nios D[x] onde D um dom e nio de integridade (ver em Algebra-IV: K[x, y] e Z[x] no so dom a a nios de ideais principais). Apesar disso alguns resultados importantes se mantm quando passamos de um e dom nio D para o dom nio D[x], como por exemplo, se D um dom e nio fatorial ento D[x] tambm o . Em particular, Z[x] admite fatorizao a e e ca unica como produto de certos polinmios que so anlogos dos nmeros o a a u primos em Z.

5.2

O Algoritmo da Diviso a

Sejam K um corpo e K[x] o dom nio dos polinmios sobre K na indeo terminada x. a Teorema 5.2.1 (Algoritmo da Diviso) Sejam f (x), g(x) K[x] e g(x) = 0. Ento existem unicos q(x), r(x) K[x] tais que: f (x) = a q(x) g(x) + r(x) onde ou r(x) = 0 ou r(x) < g(x). prova: Sejam f (x) = a0 +a1 x+. . .+an xn e g(x) = b0 +b1 x+. . .+bm xm (g(x) = m).

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

76

Existncia: se f (x) = 0, toma q(x) = r(x) = 0. Suponhamos f (x) = 0. e Assim, f (x) = n. Se n < m, tome q(x) = 0 e r(x) = f (x). Podemos assumir n m. a Seja f1 (x) tal que f (x) = an b1 xnm g(x) + f1 (x). E fcil observarmos m que f1 < f . A prova do teorema segue por induo sobre f = n. ca Se n = 0, n m m = 0 e, portanto, f (x) = a0 = 0, g(x) = b0 = 0 e teremos f (x) = a0 b1 g(x), donde basta tomar q(x) = a0 b1 e r(x) = 0. 0 0 Pela igualdade f1 (x) = f (x) an b1 xnm g(x) e f1 (x) < f (x) = n m temos, pela hiptese de induo: q1 (x), r1 (x) tais que f1 (x) = q1 (x)g(x) + o ca r1 (x) onde r1 (x) = 0 ou r1 (x) < g(x). Segue imediatamente que: f (x) = (q1 (x) + an b1 xnm ) g(x) + r1 (x). Portanto, tomando q(x) = q1 (x) + m an b1 xnm e r(x) = r1 (x), provamos a existncia dos polinmios q(x) e e o m r(x) tais que f (x) = q(x)g(x) + r(x) com r(x) = 0 ou r(x) < g(x). Unicidade: sejam q1 (x), q2 (x), r1 (x), r2 (x) K[x] tais que: f (x) = q1 (x)g(x) + r1 (x) = q2 (x)g(x) + r2 (x) onde ri (x) = 0 ou ri (x) < g(x), i = 1, 2. Segue que: (q1 (x) q2 (x)) g(x) = r2 (x) r1 (x). Mas, se q1 (x) = q2 (x), o grau do polinmio do lado esquerdo da igualdade acima o g(x) enquanto que (r2 (x) r1 (x)) < g(x)??!! contradio. Logo e ca q1 (x) = q2 (x). Segue que r1 (x) = f (x) q1 (x)g(x) = f (x) q2 (x)g(x) = r2 (x). Este teorema 5.2.1 diz que K[x] um dom e nio Euclidiano (ver [11]). Se f (x) = a0 + a1 x + . . . + an xn K[x] no nulo e e a K tal que f () = a0 + a1 + . . . + an n = 0 K, dizemos que e uma raiz de f (x) em K. e Vamos agora provar uma proposio que limita o nmero dessas ra ca u zes em um corpo. Observa que o polinmio x2 + 1 no possui ra o a zes em R. Proposio 5.2.2 Sejam K corpo e f (x) = a0 +a1 x+. . .+an xn K[x] ca no nulo de grau n. Ento, o nmero de ra a a u zes de f (x) em K no mximo e a igual a f (x) = n. prova: Se f (x) no possui ra a zes em K a proposio est provada. ca a Suponhamos que K seja uma raiz de f (x). Como g(x) = x K[x], podemos usar o algoritmo da diviso. Assim, q(x), r(x) K[x] tais a que f (x) = q(x) (x ) + r(x) onde r(x) = 0 ou r(x) < g(x) = 1. Segue que r(x) = b0 um polinmio constante, e temos f (x) = q(x)(x ) + b0 . e o Como f () = 0, vem que 0 = 0 + b0 . Ou seja, r(x) = 0 e f (x) = q(x)(x ) onde q(x) = n 1. Como K no tem divisores de zero, se K uma a e raiz qualquer de f , ento f () = ( )q() = 0 = ou raiz de a e q(x) K[x]. Assim as ra zes de f so e as ra a zes de q(x). Vamos usar induo sobre f = n. ca Ora, se n = 0, f no possui ra a zes em K e nada h a provar. a Agora, por induo, q(x) < f (x) = n, q(x) possui no mximo q(x) = ca a n 1 ra zes em K e, portanto, f (x) possui no mximo n ra a zes em K. Esta proposio nos d alguns corolrios interessantes. ca a a Seja K um corpo. Se L K um corpo, dizemos que L uma extenso e e a 2 + 1 possui duas ra de K. Observe que o polinmio x o zes em C R.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

77

Corolrio 5.2.3 Seja f (x) = a0 + a1 x + . . . + an xn um polinmio no a o a nulo de grau n em K[x]. Ento, f (x) possui no mximo n ra em qualquer a a zes extenso L de K. a prova: Basta observar que se f (x) K[x] e K L, ento f (x) L[x]. a Agora usa o teorema anterior para o corpo L. Nota que o polinmio x3 2 no possui ra em Q, possui apenas uma o a zes raiz em R e possui 3 ra zes em C. Assim, ao estendermos o corpo podemos conseguir mais ra zes de um dado polinmio, porm esse nmero de ra o e u zes ser sempre limitado pelo grau desse mesmo polinmio. Tambm o fato a o e de trabalharmos com corpos fundamental em relao ao corolrio 5.2.3, e ca a pois o polinmio x2 + x possui 4 ra o zes no anel Z6 = { com 0, 1, 2, 3, 4, 5}, 4 > 2 = (x2 + x). Corolrio 5.2.4 Sejam f (x), g(x) K[x] onde K um corpo com um a e nmero innito de elementos. Ento f (x) = g(x) f (b) = g(b), b K. u a prova: () Trivial da denio de igualdade de polinmios; ca o () Seja h(x) = f (x) g(x) K[x]. Assim, por hiptese, h(b) = 0, o b K e, como K innito, segue da proposio 5.2.2 que h(x) = 0. Ou e ca seja, f (x) = g(x).

5.2.1

Polinmios Irredut o veis

Sejam K um corpo e K[x] o dom nio dos polinmios sobre K na indetero minada x. Vamos introduzir os polinmios em K[x] que, dentro da analogia o de K[x] com Z, fazem o mesmo papel dos nmeros primos em Z. Esses u polinmios sero chamados de polinmios irredut o a o veis sobre K. Seja f (x) K[x] tal que f (x) 1. Dizemos que f (x) um polinmio e o irredut vel sobre K se toda vez que f (x) = g(x) h(x), g(x), h(x) K[x], tivermos g(x) = a constante em K ou h(x) = b constante em K. Se f (x) for no irredut sobre K, dizemos que f redut a vel e vel sobre K. Todo polinmio de grau 1 sobre um corpo M irredut o e vel sobre M . 2 + 1 irredut Tambm f (x) = x e e vel sobre R, mas redut vel sobre C. Assim, um polinmio f (x) K[x] pode ser irredut sobre K e redut em o vel vel alguma extenso L K. a

5.2.2

Fatorizao Unica ca

Se u K \ {0} e se p1 (x), . . . , pm (x) so polinmios irredut a o veis sobre K, vamos usar a expresso f (x) = u p1 (x) . . . pm (x) de tal modo que a incluiremos na mesma a possibilidade f (x) = u no caso de m = 0. Teorema 5.2.5 Seja K um corpo. Ento todo polinmio f (x) K[x] \ a o {0} pode ser escrito na forma f (x) = up1 (x). . .pm (x), onde u K \{0} e p1 (x), p2 (x), . . . , pm (x) so polinmios irredut a o veis sobre K (no necessariaa mente distintos). Mais ainda, essa expresso unica a menos da constante a e u e da ordem dos polinmios p1 (x), . . . , pm (x). o

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

78

prova: Seja f (x) K[x] \ {0}. Vamos provar por induo sobre f (x) = n. ca Se n = 0, f (x) = u constante no nula. Assim, podemos assumir a f (x) = n 1. Suponhamos, pela hiptese de induo, que todo polinmio no nulo de o ca o a grau menor que n pode ser escrito na expresso desejada, e vamos provar a que f (x) tambm o pode. e Por absurdo, vamos supor que f (x) no possa ser escrito como produto de a irredut veis. Ento f (x) redut sobre K. Assim, g(x), h(x) K[x], 1 a e vel g(x) < n, 1 h(x) < n, tais que f (x) = g(x) h(x). Agora, pela induo, ca g(x) = ap1 (x). . .pr (x), a K \{0} e p1 (x), . . . , pr (x) irredut veis sobre K. Analogamente, h(x) = bpr+1 (x). . .pm (x), b K \{0} e pr+1 (x), . . . , pm (x) irredut vies sobre K. Assim, f (x) = u p1 (x) . . . pm (x), com u = ab K \ {0} e p1 (x), . . . , pm (x) irredut veis sobre K. Isto prova a existncia. e Passemos a provar a unicidade da expresso. a Suponhamos f (x) = u p1 (x) . . . pm (x) = u p1 (x) . . . ps (x) onde u, u K\{0} e p1 (x), . . . , pm (x), p1 (x), . . . , ps (x) so polinmios irredut a o vies sobre K. Assim, temos p1 (x) | p1 (x) . . . ps (x). Segue que ui K \ {0} tal que pi (x) = ui p1 (x) (nesse caso dizemos que pi (x) e p1 (x) so associados a em K[x]). O teorema segue agora por induo sobre m. ca Se m = 1 e p1 (x) irredut vel, temos que necessariamente s = 1 e p1 (x) e pi (x) so associados em K[x]. a Podemos supor m > 1. De pi (x) = ui p1 (x) e sendo K[x] um dom nio, temos que: u p2 (x) . . . pm (x) = u ui p1 (x) . . . pi1 (x) pi+1 (x) . . . ps (x). Pela hiptese de induo, m 1 = s 1 (i.e., m = s) e mais: cada pj (x) o ca est associado com algum pi (x) via uma constante, e isto termina a prova a do teorema.

5.3

Lema de Gausss e o Critrio de Eisenstein e

A vericao da irredutibilidade de um polinmio sobre um corpo , ca o e em geral, um problema dif cil. Veremos um teorema que nos d condies a co sucientes para que um polinmio f (x) Q[x] seja irredut o vel sobre Q. Claramente, multiplicando f (x) pelo m.m.c. dos denominadores dos coecientes de f (x), podemos supor que f (x) Z[x]. Usaremos tambm a notao e ca a b signicando a no um divisor de b. a e Iniciamos com uma proposio (Lema de Gauss) que nos diz que irreca dutibilidade sobre Z de f (x) Z[x] equivalente a irredutibilidade de f (x) e sobre Q. Proposio 5.3.1 (Lema de Gauss): ca sobre Z. Ento f (x) irredut sobre Q. a e vel Seja f (x) Z[x] irredut vel

prova: Suponhamos que f (x) seja irredut sobre Z, mas f (x) = g(x) vel h(x), onde g(x), h(x) Q[x] e 1 g(x), h(x) < f (x). Claramente m

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

79

N tal que m f (x) = g1 (x) h1 (x) onde g1 (x), h1 (x) Z[x] (o m o m.m.c. e r , a Z, g1 (x) = a0 + a1 x + . . . + ar x i de antes). Assim, temos: . Suh1 (x) = b0 + b1 x + . . . + bs xs , bi Z ponhamos agora que p | m, p primo (ento p | mf (x) p | g1 (x)h1 (x) a p | g1 (x) ou p | h1 (x)). Vamos provar que p | ai , i {1, . . . , r} ou p | bj , j {1, . . . , s}. Por absurdo: de fato, se i {1, . . . , r} e j {1, . . . , s} tais que p ai e p bj , consideremos i e j menores poss veis com esta propriedade. Ora, como p | m, temos que p divide o coeciente de xi+j do polinmio mf (x) = g1 (x)h1 (x), o isto , p | (b0 ai+j + b1 ai+j1 + . . . + bj ai + . . . + bi+j1 a1 + bi+j a0 ). e Pela nossa escolha de i e j temos que p divide cada parcela, exceto bj ai , do coeciente de xi+j de g1 (x) h1 (x). Como p divide toda a expresso, segue a tambm que p | bj ai (toda a expresso menos as parcelas divis e a veis). Mas, p primo. Ento p | bj ou p | ai ??!! contradio. a ca Assim, se p primo, p | m p | ai , i {1, . . . , r} ou p | bj , j {1, . . . , s}. Sem perda de generalidade, suponhamos que p | ai , i {1, 2, . . . , r}. Assim, g1 (x) = p g2 (x) onde g2 (x) Z[x] e, se m = p m1 , temos que p m1 f (x) = p g2 (x) h1 (x) m1 f (x) = g2 (x) h1 (x). Como o nmero de fatores primos de m nito, prosseguindo no aru e gumento acima (ou por induo sobre o nmero de fatores primos de m), ca u chegaremos a: f (x) = g (x) h (x), onde g (x), h (x) Z[x] e g (x) e h (x) so mltiplos inteiros de g(x) e h(x), respectivamente, contradizendo a irrea u dutibilidade de f (x) sobre Z. Teorema 5.3.2 (Critrio de Eisenstein) e Seja f (x) = a0 + a1 x + . . . + an xn Z[x]. Suponhamos que exista um inteiro primo p tal que: 1. p an ; 2. p | a0 , a1 , . . . an1 ; 3. p2 a0 . Ento f (x) irredut sobre Q. a e vel prova: Pela proposio 5.3.1 (lema de Gauss) suciente provar que ca e f (x) irredut sobre Z. Suponhamos por contradio que, f (x) = g(x) e vel ca h(x), g(x), h(x) Z[x] e 1 g(x), h(x) < f (x) = n. Sejam g(x) = b0 + b1 x + . . . + br xr Z[x], g(x) = r, . Assim, n = r + s. h(x) = c0 + c1 x + . . . + cs xs Z[x], h(x) = s Agora b0 c0 = a0 e assim p | b0 ou p | c0 e, como p2 a0 , segue que p divide apenas um dos inteiros b0 , c0 . Sem perda de generalidade, supe que o p | b0 e p c0 . Temos an = br cs coeciente de xn = xr+s . Portanto p br (pois p an ). Ento p br e p | b0 . Seja bi o primeiro coeciente de g(x) tal que p bi . a Ora, ai = b0 ci + b1 ci1 + . . . + bi c0 e, portanto, como p | b0 , . . . , bi1 , p bi e p c0 p ai i = n??!! absurdo, pois 1 i r < n. Vejamos alguns exemplos de polinmios irredut o veis sobre Q.

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

80

Exemplo 5.3.3 Seja f (x) = x3 + 2x + 10. O critrio de Eisenstein se e aplica para o primo p = 2, portanto f (x) irredut sobre Q. e vel Exemplo 5.3.4 Seja p um nmero primo qualquer e seja f (x) = xn p u um polinmio de grau 1 sobre Q. Claramente, o prprio primo p se aplica o o no critrio de Eisenstein, e portanto f (x) irredut sobre Q. Nota que e e vel este exemplo fornece uma prova simples de que, para p primo e n qualquer, n p no racional. a e

5.4

N meros Algbricos e Transcendentes u e

Sejam K um corpo e L K uma extenso de K. a Dizemos que L algbrico sobre K se f (x) K[x] \ {0} tal que e e f () = 0. Caso contrrio, dizemos que transcendente sobre K. a e Os elementos algbricos (transcendentes) sobre Q so ditos simplesmente e a algbricos (transcendentes). Assim, 3 2 um elemento algbrico sobre Q, e e e enquanto R um elemento transcendente sobre Q. Por outro lado, e e algbrico sobre R, pois para f (x) = x R[x], f () = 0. e Curiosidade 5.4.1 Por volta de 5 sculos antes de Cristo, fez-se a seguinte pergunta: e e poss construir um quadrado com rea exatamente igual ` rea de vel a a a um c rculo? Ou seja, se o quadrado tiver lado a e a circunferncia e 2 = r 2 = a 2 ; raio r, ento a a r A impossibilidade desta construo s foi provada por volta de 1882, ca o quando Lindemann mostrou que transcendente sobre Q (ver [8]). e Se L K, algbrico sobre K, ento L K diz-se uma e e a extenso algbrica. a e

5.4.1

Corpos Algebricamente Fechados

Teorema 5.4.2 As seguintes propriedades sobre um mesmo corpo K so equivalentes: a 1. todo polinmio no constante f K[x] tem pelo menos uma raiz em o a K; o vel 2. todo polinmio irredut em K[x] tem grau 1; 3. todo polinmio no constante g K[x] decompe-se num produto de o a o fatores lineares em K[x]; 4. Se L K extenso algbrica de K, ento L = K. e a e a prova: ver [14].

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

81

Denio 5.4.3 Todo corpo K que satisfaz qualquer uma das condies ca co do teorema 5.4.2 denominado corpo algebricamente fechado. e Denio 5.4.4 Uma extenso E de um corpo K um fecho ca a e algbrico de K se, e somente se, E uma extenso algbrica de K e e e a e E um corpo algebricamente fechado. e

5.4.2

O Teorema Fundamental da Algebra

O corpo C

Teorema 5.4.5 (Teorema Fundamental da Algebra) dos nmeros complexos algebricamente fechado. u e prova: ver [9].
H I C T GR A N E

Apndice A e

Artigos para Aprofundamento

A.1 E a Matemtica, Como Vai? a

Artigo de Carlos Alberto Vianna Heredia, publicado em Zero Hora de 13 de janeiro de 2006.

A.2

Matemtica y su Ensenza: Problemticas a a a Integradoras desde el Algebra

Baseia-se em B. Compiano, A.M. Giarrizzo e H.G. Shcell, Cap tulo 1, Fundamentacin, pgs. 10 a 27. o

A.3

Curso para Professores de Matemtica do Ena sino Fundamental

Materia da equipe do IMPA, janeiro de 2004.

A.4

Guia de Uso do Software SOLVEQ

Breve relato de uso do software SOLVEQ.

A.5

Polinmios no MATLAB o

E o Cap tulo 19 do Guia de Uso do Matlab.

A.6

Uso de Polinmios para Surpreender o

Baseia-se no livro Coxford e Shulte, Cap tulo 28, pginas 236-243. a

82

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

83

A.7

Uma Generalizao de Briot-Runi ca

Trata-se do artigo de L.N. de Andrade, RPM 34 (1997), pgs. 14-20.

A.8

Ra zes Primitivas

Cap tulo 6 de A. Hefez, pgs. 116-127.

A.9

Certo por Linhas Tortas

Artigo da Super Interessante, edio 194, 2003, pgs. 74-79. ca

A.10

Exerc cios com N meros Complexos Aplicau dos em Circuitos

Exerc cios diversos.

A.11

Matemtica Complexa a

E o Cap tulo 10 de S.C. Bloch, Excel para Engenheiros e Cientistas, LTC, pgs. 151-159.

A.12

N meros Complexos na Geometria u

Material de M. Cohen, Colgio Ponto de Ensino. e

A.13

Quaternions

K.I. Joy, On-Line Computer Graphics Notes, University of California.

Bibliograa
[1] ANDRADE, L.N.A. Uma generalizao de Briot-Runi, Joo ca a Pessoa, RPM 34, 1997 [2] BARDEAU, E.J. Polynomials, New York, Springer-Verlag, 1989 [3] CARMO, M.P. do; MORGADO, A.C. & WAGNER, E. Trigonometria & nmeros complexos, Rio de Janeiro, Instituto de u Matemtica Pura e Aplicada do CNPq (IMPA), Coleo do Professor a ca de Matemtica, Sociedade Brasileira de Matemtica (SBM), 1992 a a [4] COMPIANO, B., GIARRIZZO, A.M. & SCHELL, H.G. Matemtica y su enseanza: problemticas integradoras desde el a n a lgebra, Buenos Aires, Coleccin Referencias Pedaggicas, Edicial a o o S.A., 1999, ISBN 950-506-327-X e a a [5] COXFORD, A.F. & SHULTE, A.P. As idias da lgebra, So Paulo, Editora Atual, 1994, ISBN 85-7056-660-3 [6] DOTTO, O.J. A regra dos sinais de Descartes, Porto Alegre, Cadernos de Matemtica e Estat a stica, Colquio SBM/UFRGS, srie o e C14/abr/89, 1989 u e [7] ENDLER, O. Teoria dos nmeros algbricos, Rio de Janeiro, Instituto de Matemtica Pura e Aplicada (IMPA), 1986, Projeto Eua clides [8] FIGUEIREDO, D.G. Nmeros irracionais e transcendentes, u Rio de Janeiro, IMPA [9] FINE, B. & ROSENBERGER, G. The fundamental theorem of algebra, Dortmund, Springer-Verlag, 1997, ISBN 0-387-94657-8 [10] GARBI, G.G. O romance das equaes algbricas: a histria da co e o lgebra, So Paulo, Makron Books, 1997, ISBN 85-346-0730-3 a a [11] GARCIA, A. & LEQUAIN, Y. Algebra: um curso de introduo, Rio de Janeiro, IMPA/CNPq, Projeto Euclides, SBM, 1988 ca [12] GONCALVES, A. Introduao ` lgebra, Rio de Janeiro, c a a IMPA/CNPq, Projeto Euclides, SBM, 1979 [13] HEFEZ, A. Curso de lgebra, volume 1, Rio de Janeiro, a IMPA/CNPq, Coleo Matemtica Universitria, SBM, 1993 ca a a 157

UNIVATES Centro Universitrio a

Prof.Dr. Claus Haetinger

158

[14] MONTEIRO, L.H.J. Teoria de Galois, Poos de Caldas - MG, c o Colquio Brasileiro de Matemtica, 1969 . 7 o a [15] NIVEN, I. Nmeros: racionais e irracionais, Rio de Janeiro, u SBM, Coleo Fundamentos de Matemtica Elementar, 1984 ca a [16] KUROSCH, A.G. Equaes algbricas de grau qualquer, So co e a Paulo, Editora Atual, Coleo Matemtica: Aprendendo e Ensinando, ca a 1995, ISBN 85-7056-675-1 [17] LEQUAIN, Y. Aproximao de um nmero real por nmeros ca u u racionais, Rio de Janeiro, IMPA/CNPq, 19o Colquio Brasileiro de o . Matemtica, 1993, ISBN 85-244-0080-3 a [18] RUGGIERO, M.A.G. & LOPES, V.L. da R. Clculo a numrico: aspectos tericos e computacionais, So Paulo, Makron e o a Books, segunda edio, 1998, ISBN 85-346-0204-2 ca [19] STEWART, I. Galois theory, second edition, 1989, London, Chapman & Hall Mathematics [20] TROTTA, F.; IMENES, L.M.P & JAKUBOVIC, J. Matemtica aplicada, segundo grau, volume 3, So Paulo, Editora Moa a derna, 1980
H I C T GR A N E

Bibliograa

157