Aula 10 - Algebra II Teorema.

[Factoriza c ao u nica em C [x]] Todo o polin omio r(x) C [x] de grau positivo pode ser escrito na forma r(x) = cp1 (x)n1 p2 (x)n2 pt (x)nt (1)

onde c C \ {0}, p1 (x), p2 (x), . . . , pt (x) s ao polim onios m onicos irredut veis em C [x], todos distintos, e n1 , n2 , . . . , nt N. E mais: esta factoriza c ao eu nica a menos da ordem pela qual se escrevem os factores. Demonstra c ao. Comecemos por demonstrar a exist encia da factoriza c ao, por indu ca o sobre n = gr(r(x)). O caso n = 1 e evidente: r(x) sendo de grau 1 e irredut vel. Seja c o coeciente do termo de grau 1. Ent ao r(x) = c(c1 r(x)), onde c1 r(x) e um polin omio m onico irredut vel. Suponhamos, por hip otese de indu ca o, que o resultado e v alido para todos os polin omios n ao constantes de grau < n. Seja r(x) um polin omio de grau n. Se r(x) e irredut vel nada h a a provar (basta considerar a factoriza ca o can onica como no caso n = 1). Se r(x) e redut vel ent ao r(x) = r1 (x)r2 (x), onde 1 gr(r1 (x)) < n e 1 gr(r2 (x)) < n. Por hip otese de indu ca o, r1 (x) e r2 (x) podem ser factorizados na forma (1), logo r(x) tamb em. Quanto ` a unicidade da factoriza c ao, sejam cp1 (x)n1 p2 (x)n2 pt (x)nt = dq1 (x)m1 q2 (x)m2 qk (x)mk duas factoriza c oes can onicas de r(x). No polin omio da esquerda, c e o coeciente do termo de maior grau, enquanto que no da direita esse coeciente e d. Portanto c = d. Daqui segue imediatamente que p1 (x)n1 p2 (x)n2 pt (x)nt = q1 (x)m1 q2 (x)m2 qk (x)mk . (2)

c ao 2 da aula anteEnt ao p1 (x) | q1 (x)m1 q2 (x)m2 qk (x)mk donde, pela Proposi rior, p1 (x) | qi (x) para algum i {1, 2, . . . , k }. Como qi (x) e irredut vel, ent ao qi (x) = ap1 (x) o que implica a = 1 (pois quer qi (x) quer p1 (x) s ao m onicos), ou seja qi (x) = p1 (x). Ent ao (2) equivale a p1 (x)n1 mi = p2 (x)n2 . . . pt (x)nt q1 (x)m1 . . . qi1 (x)mi1 qi+1 (x)mi+1 . . . qk (x)mk , o que implica n1 = mi (sen ao, p1 (x) = qi (x) dividiria algum pj (x), j = 1, ou algum qj (x), j = i, o que e manifestamente imposs vel pois p1 (x) e diferente de qualquer 1

 Aula 10 - Algebra II outro dos polin omios pj (x) e qi (x) e diferente de qualquer outro dos polin omios qj (x)). Cancelando qi (x) e p1 (x) em (2) obtemos p2 (x)n2 pt (x)nt = q1 (x)m1 q2 (x)m2 qi1 (x)mi1 qi+1 (x)mi+1 qk (x)mk . Repetindo o racioc nio, chegaremos ` a conclus ao que p2 (x) = qj (x) para algum j {1, 2, . . . , i 1, i + 1, . . . , n} e n2 = mj . Continuando assim, ap os um n umero nito de passos, temos provada a unicidade da factoriza ca o (1), a menos da ordem pela qual se escrevem os factores.

Ap^ endice 1:

apontamentos para estudo complementar

nica [O Teorema da Factoriza c~ ao U e t~ ao importante que e natural averiguar se se pode generalizar a outros an eis. Por outro lado, o estudo que acab amos de fazer dos an eis polinomiais C [x] exibe tantas semelhan cas com o anel Z dos inteiros que e bem poss vel que n~ ao sejam mera coincid^ encia, e sejam sim casos particulares de resultados v alidos num contexto muito mais geral.] Como sabemos, um inteiro p = 0 n ao invert vel e primo se p|ab implica p = a ou claro que podemos adaptar esta deni p = b. E ca o a C [x] e, mais geralmente, a D[x]. Do mesmo modo, podemos adaptar a deni c ao de polin omio irredut vel ao dom nio dos inteiros: DOM INIO unidades Z UZ = {1, 1} p = 0, p / UZ p|ab p|a ou p|b C [x] UC [x] = {p(x) C [x] : gr(p(x)) = 0} p(x) = 0, p(x) / UC [x] p(x)|a(x)b(x) p(x)|a(x) ou p(x)|b(x)

primo

irredut vel

p = 0, p / UZ p = ab a UZ ou b UZ isto e p = ab a = 1 ou a = 1 ou b = 1 ou b = 1

p(x) = 0, p(x) / UC [x] p(x) = a(x)b(x) a(x) UC [x] ou b(x) UC [x] isto e p(x) = a(x)b(x) gr(a(x)) = 0 ou gr(b(x)) = 0

 Aula 10 - Algebra II DOM INIO unidades

D[x] UD[x] = {p(x) D[x] : p(x) = c UD } p(x) = 0, p(x) / UD[x] p(x)|a(x)b(x) p(x)|a(x) ou p(x)|b(x)

primo

irredut vel

p(x) = 0, p(x) / UD[x] p(x) = a(x)b(x) a(x) UD[x] ou b(x) UD[x] isto e p(x) = a(x)b(x) a(x) = c UD ou b(x) = d UD

claro que podemos estender estas duas no E c oes a um dom nio de integridade D qualquer: pD e primo se p = 0, p / UD e p|ab p|a ou p|b; pD e irredut vel se p = 0, p / UD e p = ab a UD ou b UD . Portanto, os elementos irredut veis s ao os que apenas admitem factoriza co es triviais e um elemento p = 0 e primo se e s o se o respectivo ideal principal (p) e primo. E f acil vericar que nos an eis Z e C [x] os elementos primos no sentido da deni ca o acima s ao exactamente os elementos irredut veis, e e apenas por raz oes hist oricas que usamos o termo primo em Z e o termo irredut vel em C [x]. N ao e esse o caso em todos os dom nios de integridade, mas e poss vel identicar extensas classes de dom nios onde estas duas no c oes s ao equivalentes, e onde e poss vel estabelecer uma generaliza c ao apropriada do Teorema Fundamental da Aritm etica e do Teorema da Factoriza c ao Unica em C [x]. No caso geral, a u nica implica ca o que e v alida e a seguinte: primo irredut vel. De facto, se p D e primo e p = ab, ent ao p|a ou p|b. Se, por exemplo, p|a, ent ao existe x D tal que a = px. Conclu mos ent ao que p = ab = pxb, e como p = 0, 1 = xb, ou seja, b e invert vel. De igual forma, se p|b conclu mos que a e invert vel. 3

 Aula 10 - Algebra II A implica ca o rec proca e, em geral, falsa. Por exemplo, no dom nio dos inteiros pares, 18 e irredut vel mas n ao e primo, uma vez que 18|(6 6) mas 18 6 (note que neste caso n ao h a factoriza ca o u nica: 36 = 6 6 = 2 18). Outro exemplo: no dom nio Z[ 5] = {a + b 5 | a, b Z}, 9 = 3 3 = (2 + 5)(2 5), donde 3|(2 + 5)(2 5). No entanto, 3, que e irredut vel, n ao divide 2 + 5 nem 2 5, pelo que n ao e primo (note que tamb em neste exemplo n ao h a factoriza c oes u nicas). No entanto, a demonstra c ao, na Proposi ca o 2 da Aula 9, de que todo o polin omio irredut vel em C [x] e primo pode imediatamente ser adaptada a qualquer dom nio de ideais principais D. Portanto: Proposi c ao. Num dom nio de ideais principais, um elemento e irredut vel se e s o se e primo. Um elemento a de um dom nio de integridade D diz-se associado de b (e escreve-se a b) se a|b e b|a. Um dom nio D diz-se um dom nio de factoriza c ao u nica (abreviadamente, d.f.u.) se as seguintes duas condi co es s ao satisfeitas: Para cada d D (d = 0, d / U ), existem elementos irredut veis p1 , p2 , . . . , pn tais que d = p1 p2 pn . ao irredut veis, e p1 p2 pn = q1 q2 qm , Se p1 , p2 , . . . , pn e q1 , q2 , . . . , qm s ent ao n = m e existe uma permuta ca o Sn tal que pi q(i) . Por outras palavras, num dom nio de factoriza ca o u nica, todo o elemento n aonulo e n ao invert vel possui uma factoriza c ao num produto de elementos irredut veis, e esta factoriza c ao e u nica a menos da ordem dos factores e da multiplica ca o de cada factor por uma unidade convenientemente escolhida. Por exemplo, em Z, 1 5 = 5 1 = (1) (5) = (5) (1) s ao as u nicas factoriza co es do primo 5 e 1 (5) = (5) 1 = (1) 5 = 5 (1) s ao as u nicas factoriza co es do primo 5. Pelo Teorema Fundamental da Aritm etica, Z e um dom nio de factoriza ca o u nica. Pelo Teorema da Factoriza c ao Unica em C [x], C [x] e um dom nio de factoriza c ao u nica. Outro exemplo de dom nio de factoriza ca o u nica e o anel dos inteiros de Gauss, Z[i] = {a + ib | a, b Z}. Mais exemplos: D[x] e um d.f.u. sempre que D o e. Em particular, Z[x] e um d.f.u., assim como D[x][y ]. 4

 Aula 10 - Algebra II Pode ainda provar-se o seguinte: Teorema. u nica. Todo o dom nio de ideais principais e um dom nio de factoriza c ao

O rec proco e falso, como o exemplo Z[x] mostra. Observe-se que a factoriza ca o indicada na deni ca o de d.f.u. pode equivalentemente ser expressa em pot encias de elementos irredut veis, mas neste caso pode ser necess ario incluir uma unidade u na factoriza c ao, que passa a ser da forma
mn 1 d = upm 1 pn ,

como enunci amos no teorema da factoriza c ao u nica em C [x]. Mais pormenores: [R. L. Fernandes e M. Ricou, Introdu c~ ao ` a Algebra, IST Press, 2004] [M. Sobral, Algebra, Universidade Aberta, 1996]

Ap^ endice 2:

crit erios de irredutibilidade

(para as aulas pr aticas)

Como vimos, em C[x] e R[x] sabemos quais s ao os polin omios irredut veis: (1) Em C[x] os polin omios irredut veis s ao os polin omios de grau 1. [Pelo Teorema Fundamental da Algebra, que assegura que qualquer polin omio n~ ao constante de coeficientes em C tem pelo menos uma raiz complexa] (2) Em R[x] os polin omios irredut veis s ao os de grau 1 e os de grau 2 com 2 bin omio discriminante negativo ( ax + bx + c tal que b2 4ac < 0). [Tamb em pelo Teorema Fundamental da Algebra] A situa ca o e diferente em Q[x]: (3) Em Q[x] a identica ca o dos irredut veis e mais dif cil. Neste caso apenas conhecemos condi co es sucientes de irredutibilidade mas n ao podemos indicar explicitamente os polin omios irredut veis como zemos nos dois casos anteriores. 5

 Aula 10 - Algebra II Em primeiro lugar vejamos que todo o polin omio de coecientes inteiros que seja irrredut vel em Z[x] tamb em o e em Q[x] (contudo, o rec proco e falso: 2x e irredut vel em Q[x] mas e redut vel em Z[x] pois quer 2 quer x n ao s ao unidades de Z[x]): Lema. [Lema de Gauss] Se um polin omio p(x) Z[x] se pode escrever como produto de dois polin omios a(x) e b(x) de Q[x], com graus inferiores ao de p(x), ent ao existem a1 (x) e b1 (x) em Z[x] tais que p(x) = a1 (x)b1 (x), sendo a1 (x) associado de a(x) e b1 (x) associado de b(x). Deste lema conclui-se que um polin omio de coecientes inteiros e irredut vel em Q[x] se e s o se n ao pode decompor-se num produto de polin omios de grau 1 em Z[x]. claro que a todo o polin E omio de coecientes racionais se pode associar um polin omio de coecientes inteiros: basta multiplic a-lo pelo m nimo m ultiplo comum dos denominadores dos coecientes. Tamb em e simples calcular as ra zes racionais (logo os factores lineares) de polin omios de coecientes inteiros: Proposi c ao. Se o n umero racional c e raiz do polin omio de coecientes inteiros d

a0 + a1 x + a2 x2 + + an xn , com n 1, ent ao c divide a0 e d divide an . omio (Este resultado e muito u til. Por exemplo, se quisermos saber se o polin 7 2x + 1 Z3 [x] tem ra zes no corpo Z3 , como Z3 tem apenas tr es elementos, e poss vel calcular o valor da respectiva fun c ao polinomial em cada um deles, concluindo-se que 1 e a u nica raiz do polin omio. No entanto, se substituirmos Z3 por Q, j a n ao e poss vel calcular o valor da fun c ao polinomial em todos os elementos de Q. Contudo, a proposi ca o acima reduz o nosso campo de procura a um conjunto nito. Os elementos de Q que podem ser ra zes do polin omio s ao 1, -1, 1/2 e -1/2. E f acil ver que estes n umeros n ao s ao ra zes do polin omio. Portanto ele n ao tem ra zes racionais.) Deste modo, determinar os factores lineares, quando existam, de um polin omio de coecientes inteiros e simples. O problema e mais complicado para factores de 6

 Aula 10 - Algebra II ordem superior. O crit erio seguinte d a-nos uma condi c ao suciente de irredutibilidade em Q[x]: Teorema. [Crit erio de Eisenstein] Seja a(x) = a0 + a1 x + + an xn um polin omio de coecientes inteiros. Se existe um inteiro primo p tal que (1) p|ai para i = 0, 1, . . . , n 1, (2) p (3) p2 an , a0 ,

ent ao a(x) e irredut vel em Q[x]. Utilizando este crit erio, podemos concluir que s ao irredut veis sobre Q, por exemplo, os polin omios 1 4 1 x 2x2 + 1 = (x4 4x2 + 2), 2 2 x7 + 11x4 22x + 11, x5 + 9x3 + 27x2 + 3 e muitos outros. Mas nada podemos concluir sobre, por exemplo, x5 3x2 +6x +5. Como proceder neste caso? f E acil concluir que o polin omio n ao tem factores lineares. Suponhamos ent ao que x5 3x2 + 6x + 5 = (a1 x2 + b1 x + c1 )(a2 x3 + b2 x2 + c2 x + d2 ) e uma factoriza ca o desse polin omio em Z[x]. Verica-se com relativa facilidade que o sistema a1 a2 = 1 a1 b2 + b1 a2 = 0 a c +b b +c a =0 1 2 1 2 1 2 a d + b c + c 1 2 1 2 1 b2 = 3 b1 d2 + c1 c2 = 6 c1 d2 = 5 n ao tem solu c oes inteiras. Logo, o polin omio e irredut vel em Q[x]. Este tipo de problemas pode resolver-se de modo mais r apido com a ajuda de outros crit erios. 7

 Aula 10 - Algebra II Dado um homomorsmo de an eis : A B , e evidente que existe um homomorsmo : A[x] B [x] tal que |A = , denido por
n n

i=0

ai xi =
i=0

(ai )xi .

Teorema. Sejam A um corpo, B um dom nio de integridade, : A B um homomorsmo e a(x) A[x]. Se (a(x)) tem o mesmo grau de a(x) e e irredut vel em B [x], ent ao a(x) e irredut vel em A[x]. No caso mais geral de A ser um dom nio de integridade, este resultado ainda e v alido para polin omios m onicos: Teorema. Sejam A e B dom nios de integridade, : A B um homomorsmo e a(x) A[x] m onico. Se (a(x)) tem o mesmo grau de a(x) e e irredut vel em B [x], ent ao a(x) e irredut vel em A[x]. Exemplo: Consideremos o polin omio a(x) = x5 3x2 + 6x + 5 e o homomorsmo : Z Z2 que a cada inteiro faz corresponder o resto da sua divis ao por 2. A imagem de a(x) pelo homomorsmo : Z[x] Z2 [x] e (a(x)) = x5 + x2 + 1. Como e f acil vericar, este polin omio n ao tem nenhuma raiz em Z2 , pelo que (a(x)) n ao tem factores lineares em Z2 [x]. Suponhamos que x5 + x2 + 1 = (a1 x2 + b1 x + c1 )(a2 x3 + b2 x2 + c2 x + d2 ) e uma factoriza c ao desse polin omio em Z2 [x]. Verica-se facilmente que o sistema a1 a2 = 1 a1 b2 + b1 a2 = 0 a c +b b +c a =0 1 2 1 2 1 2 a1 d2 + b1 c2 + c1 b2 = 1 b1 d2 + c1 c2 = 0 c1 d2 = 1 n ao tem solu c ao em Z2 . Ent ao (a(x)) e irredut vel em Z2 [x] e, consequentemente, pelo Teorema e pelo Lema de Gauss, a(x) e irredut vel em Q[x]. Se considerarmos o homomorsmo : Z Z5 , que a cada inteiro faz corresponder o seu resto na divis ao por 5, vem (a(x)) = x5 + 2x2 + x, que n ao e 8

 Aula 10 - Algebra II irredut vel em Z5 [x], pelo que neste caso j a n ao podemos usar o teorema acima. Deste teorema podemos concluir que um polin omio a(x) de coecientes inteiros e irredut vel sobre Q sempre que exista um homomorsmo : Z B nas condi co es do teorema e a(x) seja irredut vel em B [x]. Em particular, se considerarmos, para algum primo p, o homomorsmo : Z Zp , que a cada inteiro faz corresponder o seu resto na divis ao por p, temos: Corol ario. Se (a(x)) e irredut vel em Zp [x] e p n ao divide o coeciente de maior grau de a(x) Z[x], ent ao a(x) e um polin omio irredut vel em Q[x].

Ap^ endice 3:

uma aplica ca ~o

Como encontrar n umeros irracionais

O conjunto dos n umeros reais e constitu do pelos racionais e pelos irracionais. E bem conhecido que o conjunto dos n umeros racionais e um conjunto enumer avel. De facto existe uma rela ca o um-um, ou seja, uma bijec c ao, entre o conjunto dos n umeros racionais e o conjunto dos n umeros naturais. Isto j a n ao e verdade para o conjunto dos n umeros irracionais: este conjunto tem cardinal estritamente superior ao de N. Que n umeros irracionais conhece? Geralmente ocorrem-nos os exemplos 2, (que coincide com a raz ao entre o per metro e o di ametro de qualquer circunfer encia), o n umero de Neper e e poucos mais. De facto, nem sempre e f acil demonstrar a irracionalidade de um n umero por m etodos elementares. No que se segue vamos utilizar algumas propriedades dos dom nios de factoriza c ao u nica Z e Z[x] para demonstrar a irracionalidade de muitos n umeros reais. N umeros irracionais Come camos por recordar a demostra c ao da irracionalidade de 2 atribu da a 2 Pit agoras. Ela tem como base o seguinte: para todo o inteiro n, se n e par ent ao n e par. Suponhamos que existem inteiros p e q tais que p 2= , q

e que p e q n ao s ao ambos pares (n ao h a perda de generalidade nesta assump c ao: se fossem ambos pares, dividir amos por 2 ambos os membros da frac ca o, o n umero 2 2 de vezes necess ario at e estarmos na situa ca o pretendida). Ent ao p = 2q , pelo 9

 Aula 10 - Algebra II que p2 e par e, consequentemente, p tamb em. Portanto, p = 2k para algum inteiro k . Mas ent ao, voltando atr as, obtemos 4k 2 = 2q 2 , donde 2k 2 = q 2 , e q 2 e par. Portanto q e tamb em par, chegando-se assim a uma conclus ao absurda. Esta era a demonstra ca o, referida por Arist oteles como sendo dos Pitag oricos, usada pelos Gregos para provar que Num tri angulo rect angulo is osceles a raz ao entre a hipotenusa e qualquer um dos catetos n ao e um n umero racional p . q Esta e uma das primeiras demonstra c oes de que h a mem oria na hist oria da matem atica. Constitui o primeiro exemplo conhecido de demonstra ca o por redu c ao ao absurdo. Os comprimentos da hipotenusa e dos catetos deste tipo de tri angulo s ao o que Euclides designa no Livro X dos Elementos por grandezas que n ao s ao comensur aveis num sentido obvio: duas grandezas da mesma esp ecie A e B dizem-se comensur aveis se existe uma grandeza da mesma esp ecie C e inteiros p e q tais que A=pC e B=q C. Ora isso n ao sucede neste caso: n ao e poss vel arranjar uma unidade de comprimento que caiba um n umero inteiro de vezes simultaneamente na hipotenusa e num dos catetos. Sabe-se que Teodoro de Cirene provou a irracionalidade de n para n = 3, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 17, isto e, para todo o inteiro at e 17 que n ao e quadrado perfeito, mas n ao chegaram at e n os essas provas. Estas descobertas foram, ao tempo, extremamente inquietantes, como se pode ver pela lenda criada a esse respeito, ... e o divulgador da descoberta dos irracionais, um certo Hippase de M etaponte, foi engolido pelas vagas, interpretada por Proclus da seguinte forma: Os autores da lenda quiseram falar atrav es duma alegoria. Eles queriam dizer que tudo o que e irracional e privado de formas deve manter-se escondido. Que qualquer alma que queira penetrar nessa regi ao secreta e deix a-la aberta, e arrastada pelo mar do futuro e afogada no incessante movimento das correntes. E mais uma cita ca o: 10

 Aula 10 - Algebra II O mais insuport avel na matem atica s ao os n umeros irracionais. A sua introdu c ao na aritm etica e um verdadeiro esc andalo. Ao lado da no c ao de inteiro que e a no c ao mais clara do mundo, ao lado das proposi c oes mais puras, belas e perfeitas, eis que aparece todo o cortejo de transcendentes e de innito. no n E umero real que est ao condensadas as diculdades das ideias de limite, de converg encia e de continuidade. Se queremos escrever 2 + 3 n ao o podemos evitar e e in util indignar-mo-nos: a ideia de innito est a na necessidade das coisas; t e-la-emos reduzido ` a sua forma mais simples dizendo que depois de um inteiro h a sempre outro, mas n ao podemos libertar-nos desta realidade. emologie et Histoire, [J. Dhombres, Nombre, Mesure et Continu. Epist lIREM de Nantes] n

a e quase sempre irracional

Porqu e Teodoro de Cirene parou em 17? Como e que ele provou a irracionalidade desses n umeros? um mist claro que Cirene podia muito bem ter adaptado a demonsE erio! E tra ca o de Pit agoras aos outros casos. Por exemplo, no caso da 3: Se p 3= , q onde, sem perda de generalidade, p e q n ao s ao ambos divis veis por 3, ent ao p2 = 3q 2 3|p2 3|p, isto e, p = 3k , para algum inteiro k . Assim, 9k 2 = 3q 2 , ou seja, 3k 2 = q 2 , donde se conclui que 3 divide q , o que contradiz a hip otese. De forma an aloga se demonstra a irracionalidade de qualquer raiz quadrada de um n umero primo. Tamb em para outros inteiros positivos, que n ao sejam quadrados perfeitos, tais como 6, basta supor que p 6= , q sendo p e q primos entre si, para chegar facilmente a uma contradi ca o. 11

 Aula 10 - Algebra II Mais irracionais Recordemos a proposi ca o da p agina 6. Trata-se de um resultado u til em muitas quest oes. Por exemplo: O polin omio 2x7 + 1 Z3 [x] tem ra zes no corpo Z3 ? Claro que sim: como Z3 tem apenas tr es elementos, e poss vel calcular o valor da fun ca o polinomial associada ao polin omio em cada um deles, concluindo-se que 1 e raiz do polin omio. E se substituirmos Z3 por Q no problema referido? Neste caso n ao e poss vel calcular o valor da fun ca o polinomial associada em todos os elementos de Q. Mas a proposi ca o reduz o nosso campo de procura a um conjunto nito. Os elementos de Q que podem ser ra zes do polin omio s ao 1, -1, 1/2 e -1/2. umeros e raiz do polin omio. Portanto, n ao tem E f acil ver que nenhum destes n ra zes racionais. Em particular, se o polin omio for m onico, temos: Corol ario. As ra zes reais de qualquer polin omio m onico de coecientes inteiros a0 + a1 x + a2 x2 + + xn (n 1) s ao n umeros inteiros ou irracionais. Ent ao, como 2 e raiz de x2 2, 3 e raiz de x2 3, 6 e raiz de x2 6 e, de uma forma geral, para qualquer inteiro positivo a, a e raiz de x2 a, um polin omio cujas ra zes reais s o podem ser inteiras ou irracionais, a e necessariamente um inteiro (o que quer dizer que a e um quadrado perfeito) ou um irracional. Tamb em para 3 a, com a inteiro, dois casos podem ocorrer: (1) a e um cubo perfeito, ou (2) a raiz c ubica real de a e irracional. Assim, a raiz c ubica real de a e irracional para a = 2, 3, 4, 5, 6, 7, 9, 10, . . . De modo geral, para quaisquer inteiros a e n superiores ` a unidade, como n a e um inteiro ou um irracional. Por exemplo, 5 245 e e raiz de xn a, ent ao n a 6 16000 s ao irracionais. 12

 Aula 10 - Algebra II N umeros trigonom etricos irracionais Todos sabemos que cos 60 , sin 30 e tan 45 s ao n umeros racionais: 1/2, 1/2 e 1, respectivamente. O que j a n ao e t ao conhecido e que Se e um angulo cuja medida em graus e um n umero racional entre 0 e 90 , ent ao cos , sin e tan s ao n umeros irracionais com excep c ao de cos 60 , sin 30 e tan 45 . Para provar esta arma ca o necessitamos da identidade 2 cos n = (2 cos )n + an1 (2 cos )n1 + + a1 (2 cos ) + a0 , (3)

com n 1 e a0 , a1 , . . . , an1 Z, que e v alida para todo o inteiro positivo n, como facilmente se pode demonstrar por indu c ao sobre n. Se e o n umero racional c/d, para n = 360 d vem cos n = cos(360c) = 1, o que signica, por (3), que 2 cos e raiz do polin omio de coecientes inteiros 2 + a0 + a1 x + + an1 xn1 + xn . Logo, 2 cos , sendo raiz real de um polin omio m onico de coecientes inteiros, e um inteiro ou um irracional. Como 0 < cos < 1, 2 cos Z implica cos = 1/2, logo = 60 . Portanto, ou nico cosseno que e inteiro e o de 60 . Como sin = cos(90 ), o u nico seno que e inteiro e o de tal que 90 = 60 , ou seja, = 30 . Da igualdade 1 tan2 1 + tan2 conclui-se que, se tan e racional, cos 2 tamb em o e. Mas, para 2 entre 0 e 180 , cos 2 e racional para 2 igual a 60 , 90 ou 120 , ou seja, para igual a 30 , 45 ou 60 . Como tan 30 = 3/3 e tan 60 = 3 s ao irracionais, resta apenas tan 45 , que, sendo igual a 1, e racional. cos 2 =

Irracionais da forma logm n Se m e n s ao n umeros naturais, logm n Q se e s o se m e n t em os mesmos factores primos e a raz ao das pot encias dos mesmos primos nas factoriza co es de m e n s ao iguais. 13

 Aula 10 - Algebra II Encontrar n umeros desta forma que sejam irracionais e muito f acil: log10 2, log10 6, log20 4, . . . J a e preciso pensar um pouco para indicar um racional deste tipo: para logm 12 ser racional, m pode tomar os valores 22 3, 24 32 e, mais geralmente, qualquer n umero da forma 22k 3k (k N). Al em disso, s o estes valores de m e que d ao origem a racionais. Este resultado aparece no artigo [Another shoal of irrationals, Mathematical Gazette 70 (1986) 218-219] de T. Crilly. O artigo termina com a seguinte frase: Such a stringent condition may reinforce our belief that almost all real numbers are irrational!

3. Teoria de Galois Motiva ca ~o

O desenvolvimento da Algebra est a intimamente ligado ` a resolu ca o de equa co es polinomiais de coecientes reais (ou complexos). Uma equa c ao polinomial e uma equa ca o do tipo an xn + an1 xn1 + + a1 x + a0 = 0. (4)

Ao primeiro membro chama-se, como vimos no cap tulo anterior, um polin omio na indeterminada x. Resolver a equa ca o (4) e determinar as suas solu c oes (ou seja, as ra zes do polin omio), isto e, os valores num ericos para x que transformam a equa ca o numa identidade verdadeira. A equa ca o do primeiro grau, ou linear, ax + b = 0 (a = 0) tem uma s o solu ca o, obvia, b x= . a A solu ca o de uma equa ca o quadr atica era j a conhecida pelos matem aticos da Babil onia, que sabiam como completar o quadrado, e foi popularizada no mundo ocidental durante o Renascimento, por tradu co es em latim do livro do 14

 Aula 10 - Algebra II matem atico isl amico Muhammad al-Khowarizmi1 , Al-jabr wal muqa balah2 , publicado na primeira metade do s eculo IX. Todos sabemos hoje que a equa ca o do segundo grau ax2 + bx + c = 0 (a = 0) tem solu c oes dadas pela f ormula x= b b2 4ac . 2a

Ser a poss vel encontrar uma f ormula semelhante para resolver equa co es do terceiro grau ax3 + bx2 + cx + d = 0 (a = 0)? E de grau superior? Vejamos em primeiro lugar o que signica f ormula semelhante. O que se pretende saber e se existe um processo geral para calcular as ra zes de equa co es de grau superior a dois, a partir dos coecientes, aplicando as opera c oes racionais (adi ca o, subtrac ca o, multiplica ca o e divis ao) e a extrac c ao de ra zes, um n umero nito de vezes. Solu co es obtidas desta forma chamam-se solu c oes por radicais. Em segundo lugar, observemos que na procura das ra zes de um polin omio an xn + an1 xn1 + + a1 x + a0 e evidente que podemos, sem perda de generalidade, supor an = 1. Al em disso, basta considerar o caso an1 = 0. Com efeito, supondo j a an = 1, a mudan ca de vari avel an1 x=y (5) n transforma o polin omio dado num polin omio em y em que o coeciente de y n1 e zero, sendo as ra zes do primeiro polin omio facilmente calcul aveis a partir das ra zes deste novo polin omio [confirme]. No s eculo XVI, matem aticos italianos descobriram uma f ormula para resolver as equa co es do terceiro e quarto graus (vale a pena referir que a descoberta destas f ormulas e a luta pela prioridade da sua descoberta tem uma hist oria bastante curiosa e divertida). Geronimo Cardano (1501-1576), tamb em conhecido por Cardan, inclui no seu livro Ars Magna, publicado em 1545, f ormulas para a resolu c ao
Nome que deu origem ` as palavras algarismo para designar cada um dos d gitos de numera c ao arabe e algoritmo o termo moderno que designa um procedimento sistem atico para resolver problemas matem aticos. 2 A partir de al-Khowarizmi, o termo al-jabr tornou-se sin onimo de resolver equa c oes ( algebra).
1

15

 Aula 10 - Algebra II de equa co es do terceiro e quarto graus, atribu das pelo autor, respectivamente, a Nicolo Tartaglia (1500-1565) e Ludovico Ferrari (1522-1565). A f ormula de Cardan, como e hoje conhecida, para resolver a equa c ao c ubica da forma y 3 + py = q, escrita em linguagem actual, e a seguinte:
3

y=

q + 2

q 2 p3 + + 4 27

q 2

q 2 p3 + . 4 27

Usando (5), o caso geral de uma equa ca o do terceiro grau x3 + bx2 + cx + d = 0 pode ser reduzido a este caso pela transla ca o x = y b/3. A verica ca o, por substitui ca o, de que a f ormula de Cardan fornece uma solu ca o da equa ca o dever a dar uma ideia do grau de diculdade envolvido neste tipo de problema. A equa c ao do quarto grau pode tamb em ser reduzida ` a solu ca o de uma c ubica. Com efeito, podemos sempre supor, eventualmente ap os uma transla c ao (5), que a qu artica e da forma x4 + ax2 + bx + c = 0. Completando o quadrado, obtemos x4 + ax2 + bx + c = 0 (x2 + a)2 = ax2 bx c + a2 . O truque consiste em observar que ent ao, para qualquer y , temos (x2 + a + y )2 = ax2 bx c + a2 + 2y (x2 + a) + y 2 = (a + 2y )x2 bx + (a2 c + 2ay + y 2 ). (6)

Como esta u ltima equa ca o e quadr atica em x, podemos escolher y de forma a que seja um quadrado perfeito. Isto consegue-se precisamente, impondo que o discriminante b2 4(a + 2y )(a2 c + 2ay + y 2 ) seja zero, o que d a uma equa ca o c ubica em y , 8y 3 20ay 2 + (16a2 + 8c)y + (b2 4a3 + 4ac) = 0, que pode ser resolvida com recurso ` a f ormula de Cardan. Para este valor de y , o membro direito de (6) ca igual ao quadrado perfeito x b 2(a + 2y ) 16
2

 Aula 10 - Algebra II de forma que, extraindo as ra zes em ambos os membros de (6), obtemos uma equa ca o quadr atica que pode ser resolvida. Nos tr es s eculos que se seguiram, muitos esfor cos foram feitos para obter uma f ormula resolvente para a equa c ao qu ntica. No princ pio do s eculo XIX, Niels Henrik Abel (1802-1829), na sequ encia de trabalhos de matem aticos eminentes como Joseph Lagrange (1736-1813) e Paolo Runi (1765-1833), provou que existem equa c oes do quinto grau cujas solu c oes n ao podem ser obtidas por radicais. Este facto levantou de imediato um novo problema: dada uma equa ca o desse grau como reconhecer se ela e ou n ao resol uvel por radicais? Foi Evariste Galois (1811-1832) quem obteve uma condi ca o necess aria e suciente para a resolubilidade por radicais de uma equa c ao polinomial de qualquer grau e mostrou a impossibilidade de resolu ca o da equa ca o alg ebrica geral de grau maior ou igual a cinco. Este matem atico, com uma vida breve e aventurosa, e considerado o criador da Algebra tal como ela e entendida nos nossos dias e o seu trabalho teve consequ encias muito para al em do problema original da resolu c ao de equa co es alg ebricas por radicais. Galois associou a cada equa c ao um grupo, hoje chamado grupo de Galois; as propriedades desse grupo revelam a resolubilidade por radicais da equa ca o. O feito de Galois e tanto mais not avel quanto a no ca o de grupo era ainda incipiente nessa altura. Para ilustrarmos as ideias de Galois, consideremos a equa c ao qu artica com coecientes racionais x4 + x3 + x2 + x + 1 = 0 . Esta equa c ao tem as ra zes rk = ei 5 (k = 1, 2, 3, 4). Pensemos agora em todas as poss veis equa co es polinomiais, com coecientes racionais, que s ao satisfeitas por estas ra zes. Estas incluem, entre outras, as equa co es r1 + r2 + r3 + r4 1 = 0, (r1 + r4 )2 + r1 + r4 1 = 0, r1 r4 = 1, (r1 )5 1 = 0, (r4 )5 1 = 0, ... A observa ca o chave e a seguinte: se considerarmos todas as permuta co es de {r1 , r2 , r3 , r4 } que transformam equa co es deste tipo ainda em equa co es deste tipo, obtemos o chamado grupo de Galois da equa c ao. Por exemplo, a permuta c ao (14)(23) transforma todas as equa co es listadas em cima em equa co es dessa lista. 17
2k

 Aula 10 - Algebra II Pode provar-se que, neste exemplo, G = {id, (1243), (14)(23), (1342)}. Galois descobriu que a estrutura deste grupo e a chave para a resolu c ao desta equa c ao (mas antes Galois teve de inventar o pr oprio conceito de grupo, inexistente at e` a data!). Consideremos por exemplo o subgrupo H = {id, (14)(23)}. E simples vericar que as express oes polinomiais nas ra zes, com coecientes racionais, que s ao xas pelos elementos de H s ao precisamente os polin omios em y1 = r1 + r4 e y2 = r2 + r3 . Mas y1 e y2 s ao as solu c oes da equa c ao quadr atica x2 + x 1 = 0 . Assim, e supondo que n ao conhec amos as express oes das solu co es da equa c ao original, poder amos descobri-las resolvendo primeiro esta equa c ao quadr atica, obtendo 1 5 1 + 5 , r 2 + r3 = , r1 + r4 = 2 2 e de seguida a equa ca o quadr atica (x r1 )(x r4 ) = x2 (r1 + r4 )x + r1 r4 = 0, j a que de facto esta equa ca o tem como coecientes express oes polinomiais em y1 e y2 (pois r1 r4 = 1). Note-se que o grupo de Galois pode ser caracterizado como o grupo de simetrias da equa ca o original: s ao as transforma c oes que levam solu co es (ra zes) em solu co es preservando a estrutura alg ebrica das solu co es. Este e precisamente o ponto de partida na exposi c ao moderna da Teoria de Galois: constr oi-se o corpo3 Q(r1 , . . . , rn ) gerado pelas ra zes da equa ca o, e os elementos do grupo de Galois aparecem como automorsmos destes corpos. Nesta linguagem, a Teoria de Galois consiste em transformar quest oes sobre a estrutura destes corpos em quest oes sobre a estrutura do grupo de automorsmos associado.

A no c ao de corpo s o foi formalizada por Dedekind em 1879, mais de 50 anos depois da morte tr agica de Galois.

18