Vous êtes sur la page 1sur 7

Teorema Fundamental da lgebra

Roberta Regina Delboni - RA: 027122


UNICAMP - IMECC
Disciplina: Elementos de lgebra
Professor Fernando Torres
1 Introduo - Histria
J por volta de 1600 a.C. os babilnios possuam tabelas que permitiam resolver
equaes quadrticas. Os gregos antigos resolviam equaes quadrticas por meio
de construes geomtricas, no existia sinal algum de formulao algbrica at 100
d.C.
A soluo algbrica da cbica era desconhecida e em 1494 Pacioli em sua "Summa
Arithmetica" observa que a soluo das equaes x
3
+mx = n e x
3
+n = mx eram
impossveis. Na Renascncia os matemticos de Bolonha descobriram que a equao
cbica geral podia ser reduzida a trs casos bsicos x
3
+ px = q, x
3
+ q = px e
x
3
= px+q:A separao em casos foi necessrio porque eles no conheciam nmeros
negativos. Scipio del Ferro resolveu os trs casos que foi redescoberto em 1535 por
Nicollo Fontana (Tartaglia). Em 1545 a "Ars Magna" de Cardamo continha uma
completa discusso da soluo de Fontana e o mtodo de Ludovico Ferrari para
resolver a equao de quarto grau por reduo a uma cbica.
Em 1608, Peter Rothe, escreveu no seu livro "Arithmetica Philosophica", que
uma equao polinomial de grau n (com cocientes reais) pode ter n solues. Al-
bert Girard, no seu livro "Linvention nouvelle en lAlgbre" (publicado em 1629),
armou que uma equao polinomial de grau n tem n solues, mas no disse que
tais solues eram necessariamente nmeros complexos. Alm disso, ele disse que a
sua armao era vlida (a menos que a equao seja incompleta), querendo dizer
com isto que nenhum coeciente igual a 0. No entanto, quando ele explica em
detalhe o que quer dizer, torna-se claro que, de fato, ele acredita que a armao
dele vlida em todos os casos; por exemplo, ele mostra que a equao x
4
= 4x3,
embora incompleta, tem quatro solues: 1; 1; 1 + i
_
2 e 1 i
_
2:
2
Em 1637, Descartes escreve em "La gomtrie" o que anos antes Harriot havia
descoberto - se a raiz de um polinmio, ento x a divide o polinmio. Descartes
armou tambm que para todas as equaes de grau n, podemos imaginar n razes,
mas estas podem no corresponder a quantidades reais.
Uma conseqncia do teorema fundamental da lgebra que qualquer polinmio
com coecientes reais e grau superior a 0 pode ser escrito como produto de polinmios
com coecientes reais de graus 1 ou 2. No entanto,em 1702 Leibniz armou que nen-
hum polinmio do tipo x
4
+ a
4
(com a real e no nulo) pode ser obtido sob aquela
forma. Anos mais tarde, Nikolaus Bernoulli armou o mesmo relativamente ao
polinmio x
4
4x
3
+2x
2
+4x+4, mas recebeu uma carta de Euler em 1742 na qual
lhe foi explicado que o seu polinmio era de fato igual a
(x
2
(2 + )x + 1 +
_
7 + )(x
2
(2 )x + 1 +
_
7 )
sendo a raiz quadrada de 4 + 2
_
7, enquanto que
x
4
+ a
4
= (x
2
+ a
_
2x + a
2
)(x
2
a
_
2x + a
2
)
Uma primeira tentativa de demonstrar o teorema foi levada a cabo por dAlembert
em 1746, mas na altura a demonstrao foi considerada incorreta. Entre outros
problemas, usava implicitamente um teorema (atualmente designado por teorema
de Puiseux) que s viria a ser demonstrado um sculo mais tarde e cuja demon-
strao se pensava depender do teorema fundamental da lgebra. No entanto, hoje
em dia h quem defenda que a demonstrao de DAlembert foi mal compreendida,
e que de fato no depende do teorema fundamental da lgebra ou seja, no circu-
lar. Outras tentativas foram levadas a cabo por Euler (1749), de Foncenex (1759),
Lagrange (1772) e Laplace (1795). Estas ltimas quatro tentativas recorreram
tese de Argand; mais precisamente, a existncia de razes era dada como certa e
o que faltava provar era que eram da forma a + bi para nmeros reais a e b. Em
terminologia moderna, Euler, de Foncenex, Lagrange e Laplace estavam a supor a
existncia de um corpo de decomposio do polinmio p(z).
No m do sculo 18 foram publicadas duas novas demonstraes que no supun-
ham a existncia de razes. Uma delas, da autoria de James Wood e sobretudo
algbrica, foi publicada em 1798 e completamente ignorada. A demonstrao de
Wood tinha uma falha de natureza algbrica. A outra demonstrao foi publicada
por Gauss em 1799 e era sobretudo geomtrica, mas tinha uma falha topolgica.
3
Uma demonstrao rigorosa foi publicada por Argand em 1806; foi aqui que,
pela primeira vez, o teorema fundamental da lgebra foi enunciado para polinmios
com coecientes complexos e no apenas para polinmios com coecientes reais.
Gauss publicou mais duas demonstraes em 1816 e uma nova verso da primeira
demonstrao em 1849.
O primeiro manual universitrio a conter uma demonstrao do teorema foi o
Cours danalyse de lcole Royale Polytechnique, de Cauchy (1821). A demon-
strao em questo a de Argand, embora este no seja mencionado.
Nenhuma das demonstraes at agora mencionadas construtiva. Foi Weier-
strass quem levantou pela primeira vez, em 1891, o problema de encontrar uma
demonstrao construtiva do teorema. Tal demonstrao foi obtida por Hellmuth
Kneser em 1940 e simplicada pelo seu lho Martin Kneser em 1981.
2 Teorema Fundamental da lgebra
Theorem 1 (Teorema Fundamental da lgebra): Todo polinmo p(z) em C[z]
de grau maior ou igual a 1, tem uma raiz em C:Isto , C algebricamente fechado.
A prova elementar que ser apresentada basicamente a prova dada por Argand
em 1814.
Observamos que um polinmio p(z) com coecientes complexos pode ser escrito
na forma
p(z) = p(x + iy) = p
1
(x; y) + ip
2
(x; y);
onde p
1
(x; y) e p
2
(x; y) so polinmios reais nas variveis reais x; y. Segue que
[p(z)[ =
p
p
1
(x; y)
2
+ p
2
(x; y)
2
;
que claramente funo contnua nas variveis x; y. Na prova usaremos o fato
bsico do Clculo que uma funo contnua num disco fechado D do plano tem um
mnimo em D: A prova est dividida em duas partes, provaremos que:
1. existe um ponto z
0
no plano complexo tal que
4
[p(z
0
)[ _ [p(z)[ ; \z C;
2. se z
0
o ponto de mnimo global determinado na primeira parte, ento
p(z
0
) = 0:
Primeiramente vamos provar um lema que ser til na prova do teorema funda-
mental.
Lemma 2 Se f(z) C[z] polinmio de grau maior ou igual a 1, ento dado
M > 0 existe R > 0 tal que se [z[ > R, ento [f(z)[ _ M:
Demontrao: A prova sobre induo sobre o grau de f. Se o grau de f
igual a 1, ento f(z) = a + b(z); b ,= 0. Logo,
[f(z)[ = [a + bz[ _ [bz[ [a[ = [b[ [z[ [a[ :
Dado M > 0 escolha
R =
M +[a[
[b[
e assim se [z[ > R ento vertf(z) > M:
Assuma que o lema verdade para polinmios de grau (d 1). Ento f(z) pode
ser escrito na forma f(z) = a + zf
1
(z); onde f
1
(z) tem grau (d 1). Dado M > 0
escolha R _ 1 tal que para [z[> R; [f(z)[ > M +[a[, isto possvel pela hiptese de
induo.
Ento, para [z[ > R;
[f(z)[ = [a + f
1
(z)[
_ [zf
1
(z)[ [a[
= [z[ [f
1
(z)[ [a[
_ [f
1
(z)[ [a[
_ M +[a[ [a[ = M;
provando assim o lema.
5
3 Prova do Teorema Fundamental
Para provar o teorema fundamental, seja
p(z) = z
n
+ a
n1
z
n1
+ ::: + a
0
:
Existe R > 0 tal que se [z[ > R; ento [p(z)[ > 1 +[a
0
[; para todo z C:
Seja
D = z C; [a[ _ R:
Como D fechado e limitado no plano, ento do Clculo sabemos que existe
z
0
D tal que
[p(z
0
)[ _ [p(z)[; \z D:
Pela escolha de D, temos que
[p(z
0
)[ _ [p(z)[; \z:
Pois se z = D, ento [z[ > R e assim [p(z)[ _ 1 + [a
0
[ > [p(0)[: Como 0 D,
[p(0)[ _ [p(z
0
)[: Assim,
[p(z
0
)[ _ [p(z)[; \z D ou z = D:
Agora provaremos que p(z
0
) = 0. Fazendo a mudana de variveis w = z z
0
;
ento
p(z) = p(w + z
0
) = q
1
(w)
um polinmio em w e
[q
1
(0)[ = [p(z
0
)[ _ [p(z)[ = q
1
(w); \w:
Assim q
1
tem mnimo global em w = 0:
6
Provaremos que q
1
(0) = 0: Se este for o caso, no h o que fazer. Se q
1
(0) = a ,=
0, chegaremos a uma contradio. Suponha a ,= 0 e seja q
2
(w) =
1
a
q
1
(w): Ento,
[q
2
(w)[ tem um mnimo em w = 0 se, e somente se, [q
1
(w)[ tem um mnimo em
w = 0:
Agora q
2
(w) tem a forma
q
2
(w) = 1 + bw
m
+ b
1
w
m+1
+ ::: + b
k
w
m+k
;
onde m + k = n:
Seja r a msima rais de

1
b

: Ento, br
m
= 1: Seja w = ru e q(u) =
q
2
(ru) = q
2
(w): Ento, [q(u)[ tem um mnimo e u = 0 se e, somente se, [q
2
(w)[ tem
um mnimo e, w = 0. Agora, q(u) tem a forma
q(u) = 1 + b(ru)
M
+ ::: + b
k
(ru)
m+k
= 1 u
m
+ u
m+1
Q(u);
onde
Q(u) = c
1
+ c
2
u + ::: + c
k
u
k1
um polinmio em u com c
j
= b
j
r
m+j
, 1 _ j _ k: Note que q(0) = 1; assim 1
um valor mnimo de [q(u)[:
Seja t > 0 real. Fazendo u = t; temos
[Q(t)[ = [c
1
+ c
2
t + ::: + c
k
t
k1
[ _ [c
1
[ +[c
2
t + ::: + c
k
t
k1
[:
Seja
Q
0
(t) = [c
1
[ +[c
2
t + ::: + c
k
t
k1
[
Quando t 0, temos que tQ
0
(t) 0: Escolha 0 < t < 1 tal que tQ
0
(t) < 1:
Vamos mostrar que esta escolha de t, fazendo u = t d [q(t)[ < 1 = [q(0)[
contradizendo a hiptese de que [q(u)[ tem seu mnimo em u = 0. De fato,
7
[q(t)[ = [1 t
m
+ t
m+1
Q(t)[
_ [1 t
m
[ +[t
m+1
Q(t)[
= (1 t
m
) + t
m
t[Q(t)[
= (1 t
m
) + t
m
(tQ
0
(t)):
Como t escolhido de modo que tQ
0
(t) < 1; este ltimo nmero menor do que
(1 t
m
) + t
m
= 1 = [q(0)[:
Como t ,= 0; [q(u)[ no tem seu mnimo em u = 0. Contradio. Logo, a = 0 o
que implica que q
1
(0) = 0 e portanto p(z
0
) = 0:
References
[1] http://pt.wikipedia.org/wiki/Teorema_fundamental_da_%C3%A1lgebra
[2] http://www.dma.uem.br/ ~doherty/kit.html