N

UMEROS COMPLEXOS
Professores Jorge Aragona e Oswaldo R. B. de Oliveira
Captulo 1
N

UMEROS COMPLEXOS
2
Captulo 2
POLIN

OMIOS
2.1 - Polin omios com Coecientes Complexos
2.1 Deni cao. Uma fun cao polinomial de C em C e uma fun cao do tipo:
p z C
m
_
j=0
a
j
z
mj
C ,
com m N e (a
j
}
0jm
uma sequencia em C. Os n umeros a
0
, .., a
m
s ao os coeci-
entes de p e a
0
e por vezes dito primeiro coeciente e p. Se a
0
0, m e o grau de
p, e escrevemos m = p. Se a
0
, ..., a
m
= 0, p e a fun cao polinomial nula e seu grau
e ; isto e, (0} = .
O conjunto de toda as func oes polinomiais e indicado por C|z|.
2.2 Observa cao. (a) Na notacao C|z|, a letra z e uma variavel muda e sua
escolha e determinada pela tradi cao. (b) Estudaremos apenas fun coes polinomiais
em uma vari avel complexa, salientando que a teoria das funcoes polinomiais (ou
polin omios, ver Obs....) de varias (e ate innitas) vari aveis existe de longa
data e e muito relevante em varias areas da Matematica.
Dados p, q C|z|, com p z
m

j=0
a
j
z
mj
e q z
n

k=0
b
k
z
nk
, ent ao a soma p + q e
o produto pq denidos por,
p + q z p(z} + q(z} =
m
_
j=0
a
j
z
mj
+
n
_
k=o
b
k
z
nk
,
pq z p(z}q(z} = {
m
_
j=0
a
j
z
mj
){
n
_
k=o
b
k
z
nk
) ,
3
pertencem ambos a C|z|. Iniciando com o primeiro a armac ao e clara se m = n
pois denidos os coecientes c
j
= a
j
+ b
j
, j = 0, 1, ...m, tem-se
p(z} + q(z} =
m
_
j=0
a
j
z
mj
+
m
_
j=0
b
j
z
mj
=
m
_
j=0
c
j
z
mj
,
donde p +q C|z|. Se m n, supomos sem perda de generalidade m > n e ent ao,
p(z} + q(z} = a
0
z
m
+ a
1
z
m1
+ ... + a
mn1
z
n+1
+ (a
mn
+ b
0
}z
n
+(a
mn1
+ b
1
}z
n1
+ ... + (a
m1
+ b
n1
}z + (a
m
+ b
n
}} ,
e denindo a sequencia nita de n umeros (c
j
}
0jm
por

c
j
= a
j
, se 0 j m n 1,
c
mn+k
= a
mn+k
+ b
k
, se 0 k n,
resulta p(z} + q(z} =
m
j=0
c
j
z
mj
, donde p + q C|z| e (p + q} = max(p, q}
(mesmo se temos p = 0 ou q = 0).
Analogamente vericamos pq C|z| pois
(pq}(z} = p(z}q(z} = {
m

j=0
a
j
z
mj
){
n

k=0
b
k
z
nk
) = (a
m
z
+ ... + a
m
}(b
0
z
n
+ ...b
n
}
= a
0
b
0
z
m+n
+ (a
0
b
1
+ a
1
b
0
}z
m+n1
+ (a
0
b
2
+ a
1
b
1
+ a
2
b
0
}z
m+n2
+ ... + a
m
b
m
=
m+n

p=0
c
m+np
z
,
onde c
p
=
r+s=p
a
r
b
s
(0 p m+ n). Observe que, mesmo se p = 0 ou q = 0,
(2.2.1} (pq} = (p}+(q} .

E claro que a opera c ao adi c ao (p, q} p + q sobre C|z| e associativa, co-

mutativa, admite a func ao polinomial nula como elemento neutro e, ainda, cada
elemento p C|z| tem elemento oposto p,
(p}(z} =
m
_
j=0
(a
j
}z
mj
, z C, se p(z} =
m
_
j=0
a
j
z
mj
, z C .
Analogamente, a opera c ao produto (p, q} pq sobre C|z| e associativa, comuta-
tiva e tem por elemento neutro a func ao constante igual a 1 :
1 z C 1 C .
Notemos que 1 e uma func ao polinomial de grau zero. Por m, se p, q e r perten-
cem a C|z|, e imediato que p(q + r} = pq + qr. Reunimos as considera c oes acima
no resultado abaixo.
4
2.3 Proposi cao. O conjunto C|z| das fun coes polinomiais de C em C, munido
das operacoes soma (p, q} p + q e produto (p, q} pq acima denidas, e um
anel unit ario e comutativo.
2.4 Observa cao. Usaremos a palavra polin omio como sin onimo de fun cao po-
linomial e frequentemente citaremos os elementos de C|z| como polin omios com
coecientes complexos.
2.5 Deni cao. Dado p C|z|, p 0, se C e tal que p(} = 0, e um zero,
ou raz, de p.
Um resultado fundamental da teoria de polinomios expressa que um polinomio
de grau m tem no m aximo m zeros distintos.
2.6 Teorema (Princpio da Identidade) Se p(z} = a
0
z
m
+ a
1
z
m1
+ ... + a
m

C|z|, p m, tem mais de m zeros distintos ent ao p = 0 (isto e, a
j
= 0, j =
0, 1, ..., m, e p = 0 ).
Prova. Sejam
1
, ...,
m+1
C, distintos, com p(
j
} = 0, j = 1, ..., m+ 1. Isto e,
(S}

p(
1
} = a
0

m
1
+ a
1

m1
1
+ ..... + a
m1

1
+ a
m
.1 = 0
p(
2
} = a
0

m
2
+ a
1

m1
2
+ ..... + a
m1

2
+ a
m
.1 = 0
...................................................................
...................................................................
p(
m+1
} = a
0

m
m+1
+ a
1

m1
m+1
+ ..... + a
m1

m+1
+ a
m
.1 = 0 .
Utilizando o determinante de Vandermonde associado ao sistema linear ho-
mogeneo (S} de m+ 1 equa c oes, com coecientes
k
i
(1 i m+ 1, 0 k m) e
inc ognitas a
0
, a
1
, ..., a
m
,
=

m
1

m1
1
....
1
1

m
2

m1
2
....
2
1
...... ......... ..... ...... ...
...... ........ ..... ...... ...

m
m+1

m1
m+1
.....
m+1
1

= _
i<j
(
i

j
} 0 ,
resulta, pelo Teorema de Cramer, que (S} e determinado e a
0
= a
1
= ... = a
m
0.
5
2.7 Corolario. Sejam p, q C|z| tais que p 0 e q 0, dados por
p(z} =
m
_
j=0
a
j
z
mj
e q(z} =
n
_
k=0
b
k
z
nk
, z C ,
com a
0
0 e b
0
0 (isto e, p 0 e q 0). S ao equivalentes:
(i) p = q (isto e, p(z} = q(z}, z C).
(ii) Existem l = max(m, n} + 1 n umeros complexos
1
, ...
l
, distintos, tais que
p(
j
} = q(
j
} , j = 1, ..., l .
(iii) m = n e a
j
= b
j
, j = 1, 2, ..., l.
Prova. Como as implicac oes (i} (ii} e (iii} (i} sao triviais, veriquemos
a implicac ao (ii} (iii}. Mostremos primeiro a igualdade m = n. Supondo por
absurdo que m > n, o polinomio diferenca d = p q se escreve:
d(z} = a
0
z
m
+ ... + a
mn1
z
n+1
+ (a
mn
b
0
}z
n
+ ... + (a
m
b
n
} , z C,
e por (ii) e claro que
(2.7.1} d(
j
} = 0, j = 1, 2, ..., l = m+ 1 .
Como a
0
0 e d = m, aplicando o Teorema 2.6 (Princpio da Indentidade) ao
polinomio d, em vista de (2.7.1) concluimos que os coecientes de d sao nulos e,
em particular, a
0
= 0, o que e absurdo. Logo, temos m = n e
d(z} =
m
_
j=0
(a
j
b
j
}z
mj
, z C ,
e, em consequencia, de novo pelo Teorema 2.6 e (2.7.1), obtemos a
j
= b
j
, se
j = 0, 1, 2, ..., m
Uma das principais aplicac oes do Teorema 2.6 (ou do Corol ario 2.7) e o
Metodo dos Coecientes a Determinar para encontrar um ou v arios po-
linomios, de grau e forma pre-xados, que submetidos a certas opera c oes dao um
resultado conhecido. Ilustremos com dois exemplos.
2.8 Exemplos. (a) Transformar z z
2
+3]4 em diferen ca de quadrados de dois
trin omios: z (z
2
+ az + b}
2
(z
2
+ a

z + b

}
2
.
(b) Achar m e n tais que o polin omio p(z} = z
4
10z
3
+ mz
2
50z + n e um
quadrado perfeito.
6
Solucao.
(a) Impondo z
2
+ 3]4 = (z
2
+ az + b}
2
(z
2
+ a

z + b

}
2
, z C, desenvolvemos:
z
2
+3]4 = 2(aa

}z
3
+(a
2
2+2ba
2
2b

}z
2
+2(aba

}z +(b
2
b
2
} (z C}.
Portanto, pelo Corol ario 2.7 seguem as quatro equa c oes:
2(a a

} = 0, a
2
+ 2b a
2
2b

= 1, 2(ab a

} = 0 e b
2
b
2
= 3]4 .
Da primeira equa c ao resulta a = a

, da segunda equa c ao segue b b

= 1]2, o
que junto com a terceira equa c ao e a igualdade a = a

implica a(b b

} = 0,
isto e, a

= a = 0. Da quarta equa c ao temos (b b

}(b + b

} = 3]4, donde
(b + b

} = 3]2 e, como b b

= 1]2, b = 1 e b

= 1]2. Logo, a unica soluc ao do

problema e
z
2
+ 3]4 = (z
2
+ 1}
2
(z
2
+ 1]2}
2
.
(b) Como p = 4 e o primeiro coeciente de p e 1, o polinomio soluc ao, se existir,
e da forma q(z} = z
2
+ az + b. Impondo
(q(z}}
2
= z
4
+2az
3
+(a
2
+2b}z
2
+2abz+b
2
= p(z} = z
4
10z
3
+mz
2
50z+n, z C,
obtemos, pelo Corol ario 2.7,
2a = 10, a
2
+ 2b = m, 2ab = 50 e b
2
= n,
que e um sistema trivial com soluc ao a = 5, b = 5, n = 25 e m = 35. A unica
soluc ao do problema e ent ao
z
4
10z
3
+ 35z
2
50z + 25 = (z
2
5z + 5}
2

Como no anel Z, no anel C|z| e v alida a divisao inteira, isto e,

7
2.9 Proposi cao. Dados dois polin omios P, D C|z|, com D 0, existe um
unico par de polin omios Q e R em C|z| vericando,
P = DQ+ R, e R D .
Prova.
Existencia. Se (P} (D} pomos Q = 0 e R = P.
Suponhamos agora o caso 0 (D} = m n = (P} e escrevamos

P(z} = a
n
z
n
+ a
n1
z
n1
+ ... + a
1
z + a
0
, com a
i

s
C e a
n
0,
D(z} = b
m
z
m
+ b
m1
z
m1
+ ... + b
1
z + b
0
, com b
i

s
C e b
m
0 .
Denindo os polinomios Q
1
(z} =
a
n
b
m
z
nm
e R
1
= P Q
1
D e facil ver que
obtemos (R
1
} n e P = Q
1
D + R
1
. Assim, se (R
1
} m ndamos a tarefa.
Caso contr ario, aplicando um argumento analogo ao polinomio R
1
determinamos
Q
2
C|z| tal que o polinomio R
2
= R
1
Q
2
D satisfaz (R
2
} (R
1
} e a identidade
R
1
= Q
2
D + R
2
. Novamente, se (R
2
} m encerramos a tarefa. Senao, iteramos
o processo ate obtermos R
k1
= Q
k
D + R
k
, (R
k
} m, e concluirmos
P = Q
1
D + Q
2
D + .... + Q
k
D + R
k
= (Q
1
+ ... + Q
k
}D + R
k
.
Ent ao, denindo Q = Q
1
+ ... + Q
k
e R = R
k
completamos a prova da existencia.
Unicidade.
Se Q
1
, Q
2
, R
1
, R
2
C|z|, max((R
1
}, (R
2
}} (D}, e Q
1
D+R
1
= P = Q
2
D+R
2
ent ao temos (Q
1
Q
2
}D = R
2
R
1
e, analisando graus, Q
1
Q
2
= 0 = R
2
R
1

Observa cao: Com a nota c ao da Proposic ao 2.9, os polinomios Q e R sao ditos
quociente e resto da divisao inteira de P por D. Se o resto R e zero dizemos que
D divide P e escrevemos D | P.
Uma consequencia da Proposic ao 2.9, importante no que segue, e o da divisao
inteira de um polinomio p C|z| por um polinomio de 1 grau, z z , C.
Como o resto r de tal divisao tem grau menor ou igual a 1, isto e, 0 ou , segue
que temos r C

ou r = 0.
8
2.10 Proposi cao. Dados p(z} =
m
j=0
a
j
z
mj
C|z| e C arbitrarios, de-
nimos o polin omio de grau um p

C|z| por p

(x} = z , z C. Se
q(z} =
m1
k=0
c
k
z
m1k
e r C s ao o quociente e o resto, respectivamente, da
divisao inteira do polin omio p por p

, valem as tres assercoes:

(a) c
0
= a
0
, c
1
= c
0
+a
1
, c
2
= c
1
+a
2
, c
m1
= c
m2
+a
m1
e r = c
m1
+a
m
.
(b) r = p(} =
m

j=0
a
j

mj
.
(c) p e divisvel (exatamente) por se e s o se p(} = 0.
Na Proposic ao 2.10, o item (a) e a regra dos quocientes de Runi e (b) e o
Teorema do resto. Do item (a) resulta o conhecido algoritmo (na divisao inteira
em R|x| pelo polinomio de grau 1 x x ) que se estende facilmente a C|z|,
como exemplicamos abaixo.
z
c
0
z
m1
+ c
1
z
m2
+ ... + c
m1
a
0
z
m
+ a
1
z
m1
+ a
2
z
m2
+ ... + a
m1
z + a
m
c
0
z
m
+ c
0
z
m1
c
1
z
m1
+ a
2
z
m2
+ ... + a
m1
z + a
m
c
1
z
m1
+ c
1
z
m2
c
2
z
m2
+ ... + a
m1
z + a
m
c
m1
z + a
m
c
m1
z + c
m1

r
9
Exemplo 2.11 Dividir 2z
4
+
3
2
z
2
+iz+
1i
2
por z+i. De acordo com a Proposicao
3.8(a) escrevemos:
2(a
0
} 0(a
1
}
3
2
(a
2
} i(a
3
}
1i
2
(a
4
}
i(} 2i 2
7
2
i
5
2
2(c
0
} 2i(c
1
}
7
2
(c
2
}
5i
2
(c
3
} 2
i
2
2
i
2
O pr oximo resultado, o Teorema Fundamental da

Algebra, expressa que
cada polinomio p C|z|, p 1, tem pelo menos um zero em C.

E pertinente
notar que o enunciado analogo com R|x| no lugar de C|x| e falso (pois, por
exemplo, p(x} = x
2
+1, x R, pertence a R|x| mas nao tem nenhum zero em R).
O matem atico frances dAlembert pensou ter achado uma prova deste teorema ,
em 1746, mas seu argumento tinha um erro. A primeira prova conhecida deste
resultado e devida a Gauss, raz ao pela qual o resultado e tambem conhecido
como Teorema de dAlembert-Gauss. A Primeira Prova de Gauss, de 1799,
tambem tinha erros, que so foram corrigidos em 1920 por A. Ostrowski. Em 1806
o livreiro suico J. Argand publicou uma prova muito simples, ainda incompleta,
mas que e para a matem atica moderna correta.
2.12 Teorema Fundamental da

Algebra. Cada p C|z|, p 1, tem ao
menos um zero (real ou complexo). Isto e, existe C tal que p(} = 0.
Duas das provas do Teorema Fundamental da

Algebra (TFA) que apresentaremos
sao uma sutil variac ao da demonstra c ao de Argand. A terceira e a demonstra c ao
de Argand. As duas primeiras sao recentes (2011) e deslocam a prova do TFA do
ambito da

Algeba e da Teoria das Func oes de Uma Variavel Complexa para os
cursos de Calculo de Duas Variaveis Reais. A mesma se apoia apenas em alguns
poucos fatos basicos da teoria dos n umeros reais e em c alculos com n umeros
complexos que, embora tenham um certo grau de sutileza, uma vez explicitados
sao de facil compreens ao. A prova do Teorema 2.12 e deixada para o m do
10
Captulo 3, sobre sequencias e continuidade. Centraremos nossa aten c ao pelo
momento nas consequencias interessantes deste resultado.
A primeira aplicac ao importante do TFA diz respeito `a decomposi cao fatorial
de um polin omio e `as relac oes entre coecientes e razes. Seja p C|z|,
p(z} = a
0
z
m
+ a
1
z
m1
+ ... + a
m1
z + a
m
, a
0
0, com (p} = m 1 .
Pelo Teorema 2.12 (TFA) existe
1
C tal que p(z
1
} = 0 e ent ao, pela Proposic ao
2.10 (c), p e divisivel pelo polinomio z z
1
1
, portanto existe p
1
C|z| tal que
p(z} = (z
1
}p
1
(z} , z C, com (p
1
} = m 1.
Se m 1 1, aplicando o Teorema Fundamental da

Algebra ao polinomio p
1
,
vemos que existe
2
C com p
1
(
2
} = 0 e ent ao, pela Proposic ao 2.10(c), existe
p
2
C|z|, (p
2
} = m2, tal que p
1
(z} = (z
2
}p
2
(z} , z C e, em consequencia,
p(z} = (z
1
}(z
2
}p
2
(z} , z C .
Continuando com este processo
2
, apos m 1 passos obtemos:
p(z} = (z
1
}(z
2
}.....(z
m1
}p
m1
(z} , com p
m1
= 1,
e portanto p
m1
(z} = a
0
z +b
3
, z C. O unico zero de p
m1
e
m
= b]a
0
e assim
obtemos p
m1
(z} = a
0
(z
m
} , z C, o que implica
|2.1| p(z} = a
0
(z
1
}(z
2
}....(z
m1
}(z
m
} , z C .
Como p 0 e m = p 1, o Teorema 2.6 mostra que o polinomio p nao tem mais
que m zeros distintos em C. Porem, alguns destes zeros podem ser iguais e ent ao,
a forma mais precisa de escrever a decomposic ao [2.1] do polinomio p em produto
de fatores lineares e:
|2.2|

p(z} = a
0
(z
1
}

1
(z
2
}

2
...(z
r
}

r
, z C, com

i

j
se i j , 1 i, j r ,
j
N

, j = 1, 2, ..., r , e

1
+
2
+ ... +
r
= m = p .
1
Doravante indicaremos (abusivamente) o polin omio z z por z .
2
Aqui vale uma observa cao analoga `a
1
: a prova rigorosa deste fato deveria ser feita por
indu cao mas e t ao simples que nao vale o esfor co fazer a formaliza cao.
3
A Proposicao 2.10 mostra que o 1 coeciente de cada um dos polin omios p
1
, ..., p
m1
e a
0
.
11
Com as nota c oes de [2.2], o n umero natural
j
e a multiplicidade do zero
j
C e
j
e um zero (raz) do polinomio p de multiplicidade
j
4
. Claramente, qualquer que
seja a decomposic ao de p em fatores lineares o conjunto de zeros nao se altera.
Mostremos que, analogamente, a multiplicidade de cada zero tambem nao muda
e, portanto, nao existem duas decomposic oes diferentes do tipo [2.2] para p :
a
0
(z
1
}

1
(z
2
}

2
...(z
r
}

r
= a
0
(z
1
}

1
(z
2
}

2
...(z
r
}

r
, z C ,
pois, se por exemplo
1
>

1
, dividindo ambos os membros por (z
1
}

1
resultaria
a
0
(z
1
}

1
(z
2
}

2
...(z
r
}

r
= a
0
(z
2
}

2
...(z
r
}

r
, z C ,
o que e absurdo pois o primeiro membro se anula para z =
1
mas o segundo
membro nao, logo
1
=

1
e, analogamente,
2
=

2
,....,
r
=

r
. Resumindo obtemos
o resultado abaixo.
2.13 Teorema. A todo p C|z| com m = p 1 est a associado um unico
conjunto nito n ao vazio {
1
, ...,
r
} C, com r m, determinado pelas condi coes:
p(
j
} = 0, j = 1, 2, ..., r e p(z} 0, z {
1
, ...,
r
} .
Se
j
N

e a multiplicidade do zero
j
, 1 j r,ent ao
r
j=1

j
= m e p se escreve
como o produto de a
0
(primeiro coeciente de p) por m fatores lineares na forma
[2.2] e, a menos da ordem dos fatores, esta decomposicao e unica.
Para as aplicac oes e importante conhecer a estrutura (fatorac ao) de um po-
linomio com os coecientes em R atraves dos seus zeros. O muito util Teorema
2.15, a seguir, nos dar a informac oes completamente precisas. Antes, provemos
um lema que tem interesse pr oprio.
2.14 Lema. Se p C|z| tem todos os seus coecientes reais, valem as assercoes:
(a) p(z} = p(z}, z C.
(b) Se CR e um zero de p ent ao tambem e um zero de p e existe q C|z|
tal que:
(i) p(z} = (z }(z }q(z}, z C,
(ii) q tem todos os seus coecientes reais.
4
No caso
j
= 1 diz-se que
j
e um zero (ou uma raz) simples de p.
12
Prova.
(a) O caso em que p e um polinomio constante, p = a R, e obvio. Suponhamos
p(z} =
m
j=0
a
j
z
mj
, z C, com m 1 e a
0
0. Ent ao, pelas propriedades da
conjugac ao, e utilizando que a
j
= a
j
, pois a
j
R, obtemos
p(z} =
m
_
j=0
a
j
z
mj
=
m
_
j=0
a
j
z
mj
=
m
_
j=0
a
j
z
mj
=
m
_
j=0
a
j
z
mj
= p(z}, z C .
(b) A primeira armac ao e obvia por (a) pois p(} = 0 p(} = p(} = 0 = 0.
Ainda mais, como e zero de p, pela Proposic ao 2.10 (c), o polinomio z
divide o polinomio p, isto e, existe q
1
C|z| tal que
(2.14.1} p(z} = (z}q
1
(z} , z C .
Como tambem e raz de p, de (2.14.1} resulta 0 = p(} = ( }q
1
(} e de
0 (pois R), obtemos q
1
(} = 0 e ent ao, pela Proposic ao 2.10 (c)
conclumos que (z } | q
1
. Isto e, existe q C|z| tal que
(2.14.2} q
1
(z} = (z}q(z} , z C .
De (2.14.1} e (2.14.2} resulta (i).
Vericac ao de (ii}: Seja = + i ( , R). Ent ao,
(2.14.3}

(z }(z } = (z i}(z + i} = (z }
2
(i}
2
= (z }
2
+
2
= z
2
+ az + b , com a = 2 R e b =
2
+
2
R.
Assim, escrevemos a relac ao (i} como:
p(z} = (z
2
+ az + b}q(z} , z C .
Logo, q e o quociente (exato) da divisao inteira de p por z
2
+az+b, estes com
os coecientes em R, e portanto q tem os coecientes em R [segue da prova
da Proposic ao 2.9 pois, e claro que o quociente e o resto da divisao inteira
entre polinomios com os coecientes em R tambem tem os coecientes em
R, pois as opera c oes envolvidas sao adi c ao, subtrac ao e multiplicac ao de
n umeros reais]
13
2.15 Teorema Se p C|z|, p 0, tem todos os seus coecientes reais tem-se:
(a) e um zero de multiplicidade de p se, e somente se, tambem o e.
(b) A fatoracao [2.2] do polin omio p pode ser escrita (de forma mais precisa):
p(z} = a
0
(z
1
}
2
+
2
1

1
...(z
s
}
2
+
2
s

s
.(z b
1
}

1
...(z b
t
}

t
, z C ,
com a
0
o coeciente dominante do polin omio p, com
j
=
j
+i
j
e
j
=
j
i
j
(
j
,
j
R, 1 j s) os zeros complexos n ao reais de p, com b
k
(1 k t}
os zeros reais de p, com
j
a multiplicidade do zero
j
e
k
a do zero b
k
.
(c) Se p e mpar, p tem pelo menos uma raz real.
Prova.
(a) Se R, a armac ao e obvia (e in util)
5
pois = . Se CR ent ao
e, pelo Lema 2.14 (b), e raz de p e p = m 2. Ainda, pela deni c ao de
multiplicidade (vide [2.2]), temos (z }

| p, isto e, existe Q C|z| tal que

(2.15.1} p(z} = (z}

Q(z} , z C .
Por (2.2.1) temos Q = m e, e claro, Q pode ser escrito na forma
Q(z} = a
0
+ a
1
(z } + ... + a
m
(z }
m
, z C ; a
0
, a
1
, ..., a
m
C,
com a
0
0 (a
0
= 0 e raz de multiplicidade + 1, contra a hip otese).
Ent ao, pela equa c ao (2.15.1) obtemos
p(x} = (x }

Q(x} , x R ,
e ent ao, conjugando a equa c ao acima (os coecientes de p e p(x} sao reais),
p(x} = p(x} = (x }

a
0
+ a
1
(x } + ... + a
m
(x }
m
, x R ,
e pondo G(z} = a
0
+ a
1
(x} + ... + a
m
(x}
m
, para todo z C, temos
p(x} = (x }

G(x} , para todo x R, e pelo Princpio de Identidade de

Polinomios (Teorema 2.6) ou Corol ario 2.7,
p(z} = (z }

G(z} , z C , com G(} = a

0
0.
Logo, por [2.2], e raz de multiplicidade de p. Fim da prova de (a).
5
De fato, se R ent ao p() = 0 p() = 0 e uma tautologia. Ja no caso C R, a
implica cao e um zero de multiplicidade de p e um zero de multiplicidade de p nos
indica um novo zero, de multiplicidade .
14
(b) Pelo item (a) e pela fatora c ao em [3.2] de p temos,
p(z} = a
0
(z
1
}

1
...(z
s
}

s
.(z
1
}

1
....(z
s
}

s
.(z b
1
}

1
...(z b
t
}

t
= a
0
|(z
1
}(z
1
}|

1
...|(z
s
}(z
s
}|

s
.(z b
1
}

1
...(z b
t
}

t
.
Aplicando (2.14.3) `as expressoes entre colchetes segue a fatora c ao citada.
(c)

Obvio
2.16 Observa cao. Se os coecientes de p C|z|, p 0, s ao reais, ent ao a
restri cao a R de p e um polin omio p = p|
R
R|x| e as conclus oes de Teorema
2.15 valem para p e, entre elas,
(2.16.1} p(x} = a
0
(x
1
}
2
+
2
1

1
...(x
s
}
2
+
2
s

s
(xb
1
}

1
...(xb
t
}

t
, x R .
Mais precisamente, podemos dizer que o Teorema 2.15 e essencialmente um re-
sultado de estrutura para elementos de R|x|. Notemos que em (2.16.1) todos os
n umeros sao reais mas, para obte-lo ampliamos o campo de manobra, de R
para C, onde sao possveis muitas computac oes que nao em R. Este e um exem-
plo (entre muitos) de um fato geral: o desenvolvimento da teoria dos n umeros
complexos [e suas consequencias: c alculo diferencial e integral complexos, etc,],
alem do seu enorme interesse pr oprio, permite entender bem mais profundamente
fenomenos puramente reais (por exemplo: como provaramos (2.16.1) sem utili-
zarmos C ?). Neste ponto e interessante voltar a reetir sobre a atitude de R.
Bombelli mencionada no 0 desta notas.
2.17 Exemplo. Determinemos m e a reais tais que para o polin omio
p(z} = z
5
z
4
+ 2z
3
mz
2
+ z + a,
z = i seja zero de multiplicidade 2 e, para tais m e a, mostremos as razes de p.
Solucao. Como i e zero duplo
6
de p, pelo Teorema 2.13 o polinomio p
0
(z} =
(z i}
2
= z
2
2iz 1 divide (exatamente) p. Efetuando a trivial divisao inteira de
p por p
0
obtemos o quociente q(z} = z
3
+ (2i 1}z
2
(1 + 2i}z + (3 m} e o resto
r(z} = 2i(2m}z +a+3m ( z C). Impondo r = 0 temos 2i(2m} = a+3m = 0
e assim, m = 2 e a = 1.
6
A expressao zero duplo e frequentemente empregada para um zero de multiplicidade 2.
15
Desta forma obtemos,
p(z} = z
5
z
4
+ 2z
3
2z
2
+ z 1, z C.
Por m, como os coecientes de p sao reais, pelo Teorema 2.15, o n umero i = i e
zero duplo de p = (z i}
2
q e portanto i e raz dupla de q. Desta forma, aplicando
a q o algoritmo de Runi (Proposic ao 2.10 e Exemplo 2.11) obtemos
1
i}
1
i}
1
1 + 2i
i
1 2i
1 + i
1
1
0 1 + i
i
1
i
+i
0
donde segue q(z} = (z + i}
2
(z 1}, z C, e
p(z} = (z i}
2
(z + i}
2
(z 1} , z C,
e portanto as razes de p sao i e i (ambas duplas) e 1 (raz simples)
2.18 Observa cao. A partir do Teorema 3.15 e do metodo dos coecientes a de-
terminar (v. Exemplo 3.8) e possvel obter (e n ao e difcil) a decomposicao de
uma fun cao racional em fracoes simples.
Lembremos que uma fra c ao racional real e uma func ao do tipo
P
p
= P]p x
P(x}
p(x}
= P(x}]p(x} ,
onde P, p R|x| e p 0, denida sobre o conjunto CF, onde F e o conjunto nito
das razes de p (vide Teorema 3.13). Notemos primeiro que, se P p, efetuando
a divisao inteira de P por p, se q e r sao o quociente e o resto, respectivamente,
obtidos temos P = pq + r, r p e ent ao,
(2.18.1}
P
p
=
pq + r
p
= q+
r
q
.
16
Como objetivamos escrever P]p como soma de expressoes mais simples que a
original e q e um polinomio, de (2.18.1) resulta que sera suciente estudar o termo
r]q onde r q. Em consequencia, podemos supor no que segue, P p. No
Apendice B provamos (e mostramos algumas aplicac oes):
Teorema: Seja P]p uma fra cao racional real irredutvel
7
, com P p. Se a
fatoracao de p e a que consta no enunciado do Teorema 3.15 (b) entao P]p se
escreve de modo unico na forma:
(2.18.2}
P(x}
p(x}
=
t
_
k=1

A
k,1
(x b
k
}

k
+...+
A
k,
k
x b
k
_+
s
_
j=1

M
j,1
x + N
j,1
(x
j
}
2
+
2
j

j
+...+
M
j,
j
x + N
j,
j
(x
j
}
2
+
2
j
_,
para cada x R, x b
k
(1 k t).
O segundo membro de (2.18.2) e chamado decomposi cao de P]p em fra c oes
simples. A prova da existencia da decomposic ao (3.18.2) [Analisis Matematico,
R. Pastor et all, Cap XII, 46-4, pg 645 ( 4 ed., 1958)] e feita de modo construtivo
e pode ser util para a determina c ao dos coecientes A
k,j
, M
j,m
e N
j,m
. Porem, a
existencia e a unicidade da decomposic ao justicam o uso, `as vezes mais c omodo,
do metodo dos coecientes a determinar, como ilustramos a seguir.
2.19 Exemplo. Determinar a decomposicao em fracoes simples de
x
5
+x
(x
2
+1)(x
2
+2)
2
.
Neste caso temos P(x} = x
5
+ x e p(x} = (x
2
+ 1}(x
2
+ 2}
2
, isto e, p tem os zeros
conjugados simples +i e os zeros conjugados duplos +i

2. Escrevemos
x
5
+ x
(x
2
+ 1}(x
2
+ 2}
2
=
ax + b
x
2
+ 1
+
cx + d
x
2
+ 2
+
ex + f
(x
2
+ 2}
2
, x R,
e ent ao, multiplicando ambos os membros por p(x} resulta
(x
5
+ x} = (ax + b}(x
2
+ 2}
2
+ (cx + d}(x
2
+ 1}(x
2
+ 2} + (ex + f}(x
2
+ 1} , x R .
Efetuando as opera c oes indicadas no 2 membro, a igualdade acima se escreve
x
5
+x = (a+c}x
5
+(b+d}x
4
+(4a+3c+e}x
3
+(4b+3d+f}x
2
+(4a+2c+e}x+4b+2d+f , x R,
e (v. Corol ario 2.7) obtemos o sistema linear de 6 equa c oes com 6 inc ognitas:
(1} a + c = 1, (2} b + d = 0, (3} 4a + 3c + e = 0, (4} 4b + 3d + f = 0,
(5} 4a + 2c + e = 1, (6} 4b + 2d + f = 1.
7
Isto e, P e p nao tem zeros comuns ou equivalentemente fatores lineares ou de 2 grau
comuns nas fatora coes de ambos (Teor. 3.15 (b)).
17
De (2} segue d = b e portanto (4} e (6} se escrevem, respectivamente, b+f = 0
e 2b+f = 0 que e visivelmente um sistema determinado; donde, b = f = 0 e, ent ao,
d = 0. De (1} segue c = 1 a e ent ao (3} e (5} se escrevem, respectivamente,
a+e = 3 e 2a+e = 1; cuja soluc ao e a = 2 e e = 5 e portanto, c = 1a = 12 = 1
donde c = 1. Consequentemente,
x
5
+ x
(x
2
+ 1}(x
2
+ 2}
2
=
2x
x
2
+ 1

x
x
2
+ 2

5x
(x
2
+ 2}
2
, x R
A decomposic ao (2.18.2) e especialmente util no c alculo das primitivas
_
P(x}
p(x}
dx
de uma fra c ao racional real P]p.
Dado p C|z|, com p 1, suponhamos
p(z} =
n
_
j=0
a
j
z
mj
, z C .
Se F = {
1
, ... ,
r
} e o conjunto dos zeros de p (r m) e
j
N

denota a
multiplicidade de
j
(1 j r,
r

j=1
= m), examinemos a sequencia dos zeros de p:
(
j
}
1jm
= (
1
, ... ,
m
} = (
1
...
1
,
2
, ...
2
, ...
r
, ...
r
} ,
com
j
ocorrendo
j
-vezes na sequencia, para cada j = 1, , .. , r.

E claro que
para cada permuta c ao S
m
, a sequencia (
(1)
,
(2)
, ...
(m)
} e tambem uma
sequencia dos zeros de p e e irrelevante distingui-las, pois que todas dao a mesma
informac ao. Assim, abusivamente, chamamos qualquer uma delas de a sequencia
dos zeros de p. Logo, se como no Exemplo 2.17 temos
p(z} = z
5
z
4
+ 2z
3
2z
2
+ z 1,
qualquer das sequencias (i, i, i, i, 1}, (i, i, i, i, 1}, (1, i, i, i, i}, etc., dao a
mesma informac ao a respeito dos zeros de p, a saber, que p admite i e i como
razes duplas e 1 como raz simples. Posto isto, vamos ao pr oximo resultado que
fornece as relac oes existentes entre coecientes e razes de um polin omio.
18
2.20 Teorema. Seja p C|z| dado por
p(z} =
m
_
j=0
a
j
z
mj
, z C, m = p 1 (i.e., a
0
0} ,
e seja (
j
}
1jm
a sequencia dos zeros de p. S ao validas as relacoes:

a
1
a
0
=
m
_
j=1

j
;
a
2
a
0
= _
1i<jm

j
;
a
3
a
0
= _
1i<j<km

k
, ... , (1}
m
a
m
a
0
=
m
_
i=1

j
.
Prova.
As hip oteses sobre p implicam que vale [2.1] (v. prova do Teor. 2.13). Isto e,
p(z} = a
0
(z
1
}(z
2
}...(z
m
} , z C .
Efetuando os produtos indicados no 2 membro da relac ao acima obtemos
a
0
z
m
+z
m1
{a
0

1
a
0

2
... a
0

m
)+z
m2
{a
0

2
+a
0

3
+ ... +a
0

m1

m
)+ ... +
+ z
mj
a
0
(1}
j
_
1s
1
<s
2
<...<s
j
m

s
1

s
2
...
s
j
+ ... +a
0
(1}
m

2
...
m
,
e como este polinomio e igual a p(z} = a
0
z
m
+ a
1
z
m1
+ ... + a
m
, pelo Princpio de
Identidade dos Polinomios resulta:
a
1
= a
0

1
a
0

2
... a
0

m
, isto e,
a
1
a
0
=
m
_
i=1

i
a
2
= a
0

2
+ a
0

3
+ ... + a
0

m1

m
, isto e,
a
2
a
0
= _
1i<jm

j
...............................................................................................................
...............................................................................................................
...............................................................................................................
a
j
= a
0
(1}
j
_
1s
1
<s
2
<...<s
j
m

s
1

s
2
...
s
j
, isto e, (1}
j
a
j
a
0
= _
1s
1
<...<s
j
m

s
1

s
2
...
s
j
a
m
= a
0
(1}
m
m
_
i=1

i
, isto e, (1}
m
a
m
a
0
=
m
_
i=1

i

19
Resolu cao Elementar de Equacoes por Radicais
A equa cao de 2 grau: e a equa c ao da forma
|2.3| az
2
+bz+c = 0 (a, b, c C, a 0 } .
Multiplicando [2.3] por 4a obtemos a equa c ao equivalente
|2.3

| 4a
2
z
2
+4abz+4ac = 0 (a, b, c C, a 0} .
e observando que (2az + b}
2
= 4a
2
z
2
+ 4abz + b
2
, se somamos e subtramos b
2
em
[2.3] e pomos = b
2
4ac, podemos escrever [2.3] da maneira equivalente:
|2.4| (2az+b}
2
= ,
ou seja,
|2.4

| (2az+b

}(2az+b+

} = 0,
e ent ao, os zeros de [2.3] sao os valores que anulam a um qualquer dos fatores em
[2.4], isto e,
z
1
=
b

2a
e z
2
=
b +

2a
.
O que usualmente se expressa pela formula
|2.5| z =
b +

2a
=
b +

b
2
4ac
2a
.
A diferenca entre as duas razes e
z
2
z
1
=

a
=

0, se 0
= 0, se = 0 .
Se em [2.5] supomos = 0, obtemos a raz dupla
z
1
= z
2
=
b
2a
.
Em resumo temos o resultado abaixo.
2.21 Proposi cao. A equa cao [2.8] tem duas razes, reais ou complexas, que s ao
diferentes se 0 e coincidentes se = 0.
20
Quando os coecientes a, b, c em [2.3] sao reais (o que e frequente), as duas razes
sao reais e diferentes se > 0, sao reais e coincidentes se = 0 e sao complexas
conjugadas se 0 pois, se

= ent ao de [2.5] resulta,

z =
b + i

2a
.
Voltando ao caso geral (a, b, c C), somando as razes [2.5] obtemos
|2.6| z
1
+z
2
=
b +

2a
+
b

2a
=
b
a
.
Multiplicando as razes [2.5] resulta:
z
1
z
2
=
(b +

}(b

}}
4a
2
=
b
2

4a
2
=
4ac
4a
2
=
c
a
,
e, convenientemente, re-encontramos neste caso particular as relac oes dadas pelo
Teor. 2.19.
O assunto que seria natural desenvolver a seguir e o estudo da variac ao do
sinal de um trinomio REAL de 2 grau e sua aplicac ao a inequac oes de 2 grau.
Mas nao nos deteremos neste conhecido t opico, solicitando ao leitor desenvolve-lo
nos exerccios (v. Exerccios - Captulo 2).
Equa coes Redutveis a Quadraticas
(A) Equa c oes biquadradas: sao as do tipo
|2.7| ax
4
+bx
3
+c = 0 (a, b, c C, a 0} ,
que se resolvem pela substitui c ao y = x
2
, que transforma [2.7] em
|2.7

| ay
2
+by+c = 0,
cujas razes sabemos calcular. Se y
1
e y
2
sao as razes de [2.7] ent ao as razes de
[2.7] sao x
1
=

y
1
, x
2
=

y
1
, x
3
=

y
2
e x 4 =

y
2
, as quais sao dadas pela
formula
x = +

b +

b
2
4ac
2a
.
(B) Equa c oes recprocas: Sao as equa c oes que tem os coecientes equidistantes
dos extremos iguais. Assim, uma equa c ao recpoca de 4 grau tem o aspecto:
|2.8| ax
4
+bx
3
+cx
2
+bx+a = 0 .
21
Dividindo [2.8] por x
2
, a transformamos em
|2.8

| a{x
2
+
1
x
2
)+b{x+
1
x
)+c = 0 .
A substitui c ao z = x +
1
x
, que implica x
2
+
1
x
2
= z
2
2, transforma [2.8] em
|2.9| az
2
+bz+c2a = 0 .
Resolvendo [2.9] obtemos dua razes z
1
, z
2
cada uma das quais da um par de razes
de [2.8] que se obtem resolvendo as equa c oes
x
2
z
j
x + 1 = 0 (j = 1, 2} .
A Equa cao C ubica: A equa c ao geral de grau 3 e,
a
0
z
3
+ a
1
z
2
+ a
2
z + a
3
= 0, a
0
0,
e portanto, dividindo por a
0
podemos supor sem perda de generalidade que a
0
= 1
e escreve-la
|2.10| z
3
+a
1
z
2
+a
2
z+a
3
= 0 (a
1
, a
2
, a
3
C} .
Faremos uma transla c ao z = xk, onde a constante complexa k sera determinada
pela condi c ao de eliminar o mon omio de 2 grau em [2.10]. Assim, substituindo
z por x k em [2.10], apos efetuar as opera c oes requeridas e agrupar termos
semelhantes e ordenar em potencias decrescentes de x, obtemos uma equa c ao do
tipo:
x
3
+ (a
1
3k}x
2
+ (...}x + termo indep. = 0,
o que mostra que para k =
a
1
3
, a equa c ao [2.10] toma a forma:
|2.11| x
3
+px+q = 0.
As considera c oes acima mostram que equa c oes da forma [2.10] podem ser trans-
formadas em equa c oes do tipo [2.11] por meio da mudanca de variavel z = x
a
1
3
.
Assim, e claro que para resolver [2.10] basta saber resolver [2.11] (pois, se x
j
, 1
j 3, sao as tres razes de [2.11] ent ao z
j
= x
j

a
1
3
, 1 j 3, sao as tres razes de
[2.10]). Para resolver [2.11] introduzimos duas novas variaveis u, v com a substi-
tuic ao x = u + v. Agrupando convenientemente, [2.11] toma a forma
u
3
+ v
3
+ (3uv + p}(u + v} + q = 0,
22
que tem por soluc oes valores de u e v vericando as condi c oes seguintes:
|2.12|

u
3
+ v
3
= q
3uv = p
|2.13|

u
3
+ v
3
= q
u
3
v
3
=
p
3
27
.
De [2.13] resulta que u
3
e v
3
sao as razes da equa c ao de 2 grau
|2.14| y
2
+qy
p
3
27
= 0,
chamada resolvente de [2.11]. Resultam ent ao os valores
u
3
= y
1
=
q
2
+

q
2
4
+
p
3
27
, v
3
= y
2
=
q
2

q
2
4
+
p
3
27
,
e ent ao extraindo as razes c ubicas obtemos tres valores para u e tres valores para
v, o que da nove pares de valores para u e v. Embora estes nove pares (u, v}
satisfazem [2.13], nem todos vericam [2.12] pois a elevac ao ao cubo introduziu
soluc oes estranhas; devemos ent ao escolher apenas aqueles pares (u, v} de soluc oes
que satisfazem a 2 equa c ao de [2.12], isto e,
|2.15| uv =
p
3
.
Com esta restric ao, as tres razes de [2.11] sao dadas pela Formula de Tartaglia
(` as vezes erroneamente atribuida a Scipion del Ferro ou mesmo a Cardano, que
foi o primeiro a publica-la):
|2.16| x =
3
_

q
2
+

q
2
4
+
p
3
27
+
3
_

q
2

q
2
4
+
p
3
27
.
Aqui e importante frisar que com o avanco das calculadoras que resolvem em ins-
tantes uma equa c ao do tipo [2.11], a formula [2.16] tem interesse apenas hist orico
e nao apresentaremos nenhum exemplo de sua aplicac ao, relegando isto a um
exerccio (vide Exerccios - Captulo 2). Nos livros mais antigos era feita a dis-
cuss ao do tipo de razes da equa c ao [2.11] quando p, q R, segundo
q
2
4
+
p
3
27
fosse maior, igual ou menor que zero.
A equa cao do 4 grau: Se a formula [2.16] dando as razes da equa c ao c ubica
[2.11] e complicada demais para ter, na atualidade, algum valor pr atico, o que
23
dizer da formula para as razes da equa c ao geral de 4 grau, que e bem mais
difcil ? A seguir mostraremos brevemente os passos principais que levam a esta
formula apenas por raz oes culturais e hist oricas.
Se na equa c ao geral de 4 grau (ap os previa divisao pelo 1 coeciente):
|2.17| z
4
+a
1
z
3
+a
2
z
2
+a
3
z+a
4
= 0, (a
j
C, 1 j 4} ,
efetuamos a substitui c ao z = x
a
1
4
, obtemos outra equa c ao sem segundo ermo,
do tipo:
|2.18| x
4
+px
2
+qx+r = 0.
Procedendo como na equa c ao c ubica, fazemos a substituic ao x = u +v +w, igual-
dade que elevada ao quadrado pode ser escrita assim:
x
2
(u
2
+ v
2
+ w
2
} = 2(uv + uw + vw} .
Elevando de novo ao quadrado obtemos:
x
4
2(u
2
+ v
2
+ w
2
}x
2
+ (u
2
+ v
2
+ w
2
}
2
= 4(u
2
v
2
+ u
2
w
2
+ v
2
w
2
} + 8uvw(u + v + w}
ou seja,
x
4
2(u
2
+v
2
+w
2
}x
2
8uvw(u+v +w}+(u
2
+v
2
+w
2
}
2
4(u
2
v
2
+u
2
w
2
+v
2
w
2
} = 0
e ent ao, para obter as razes de [2.18] bastara obter valores u, v, w vericando as
condi c oes
|2.19|

u
2
+ v
2
+ w
2
=
p
2
uvw =
q
8
(u
2
+ v
2
+ w
2
}
2
4(u
2
v
2
+ u
2
w
2
+ v
2
w
2
} = r .
Nas equa c oes em [2.19], elevando ao quadrado a 2 e combinando a 1 e a 3
resulta,
|2.20|

u
2
+ v
2
+ w
2
=
p
2
u
2
v
2
w
2
=
q
2
64
(u
2
v
2
+ u
2
w
2
+ v
2
w
2
}
2
=
p
2
4r
16
,
24
em consequencia, pelo Teor. 2.19, u
2
, v
2
e w
2
sao razes da equa c ao
|2.21| y
3
+
p
2
y
2
+
p
2
4r
16
y
q
2
64
= 0,
chamada resolvente de [2.18]. Resolvendo [2.21] obtemos tres valores y
1
, y
2
e
y
3
e extraindo suas razes quadradas resultam os valores u = +

y
1
, v +

y
2
e
w = +

y
3
. Os oito produtos uvw possveis sao dois a dois opostos, sendo quatro
deles iguais a
q
8
e os outros quatro iguais a +
q
8
; prescindindo de soluc oes estranhas
introduzidas pela elevac ao ao quadrado, escolheremos as quatro ternas de valores
(u, v, w} que vericam a 2 equa c ao de [2.19], isto e,
uvw =
q
8
,
que da uma formula do tipo,
|2.22| x = +

y
1
, +

y
2
, +

y
3
,
que da as quatro razes de [2.18], devendo calcular y
1
, y
2
pela formula de Tartaglia
ou por outro metodo de resolu cao.
A import ancia te orica da formula [2.22] resulta dela mostrar que a equa c ao
geral do 4 grau admite soluc oes dadas por uma expressao algebrica irracional
em func ao de seus coecientes, mas seu valor pr atico e quase nulo. Resolvidas al-
gebricamente as equa c oes de graus 1,2, 3 e 4 por meio de radicais (desde o seculo
XVI), era natural tentar analoga resolu c ao para as equa coes de graus superiores a
4, mas todas as tentativas de muitos matem aticos (especialmente Lagrange) fra-
cassaram; a equa c ao resolvente, da qual se fazia depender a resolu c ao da equa c ao
dada, era sempre de grau mais alto que esta, o que tornava in util o metodo uti-
lizado na resolu c ao das equa c oes de 3 e 4 graus. Este constante fracasso levou
a suspeitar da imposssibilidade de resolver o problema. A primeira tentativa co-
nhecida neste sentido foi de Runi em 1798 (mas sua prova estava incompleta),
mas quem provou este resultado foi Abel em 1826 (N. H. Abel, Demonstration de
limpossibilite de l a resolution algebrique des equations generales qui depassent
le quatri`eme degre, Crelles Journal f ur Mathematik, vol 1. 1826). Em termos
algo vagos e imprecisos podemos enunciar este resultado assim,
Teorema 2.22 (Abel) Fixado n N, n 5, e impossvel expressar as razes de
um polin omio geral de grau n por uma ( unica) express ao algebrica irracional em
fun cao de seus coecientes.
25
Observe a enfase na palavra geral no enunciado acima. Ainda, em uma in-
nidade de casos particulares, e possvel obter todas as razes como expressao
algebrica irracional de seus coecientes. Por exemplo, p(z} = z
5
32 tem suas
razes imediatamente obtidas (v. Teorema 2.11).
26
Apendice
TEOREMA DA DECOMPOSIC

AO EM FRAC

OES SIMPLES
8
Ideia. Consideremos uma divisao de polinomios
P(x}
Q(x}
,
ambos com coecientes reais e, ainda, grau(P} grau(Q}. O objetivo e escrever
este quociente como um somatorio de parcelas bem mais simples. Procedemos
da seguinte forma. Decompondo o polinomio Q como um produto de fatores
lineares do tipo (x}
m
, com uma raz real de Q e m = m(} a multiplicidade
algebrica de tal raz de Q, e tambem de fatores quadraticos (x
2
+ ax + b}
n
, onde
o polinomio x
2
+ bx + c nao tem razes reais (discriminante negativo) e n e a
multiplicidade algebrica de tal polinomio, temos que:
(1) Cada fator linear (x }
m
gera as m parcelas (no somatorio procurado)
C
1
(x }
, ... ,
C
m
(x }
m
,
onde C
1
,...,C
m
sao constantes reais a serem determinadas.
(2) Cada fator quadratico (x
2
+bx+c}
n
gera as n parcelas (no referido somat orio)
A
1
x + B
1
(x
2
+ bx + c}
, .... ,
A
n
x + B
n
(x
2
+ bx + x}
n
,
onde as constantes A
1
, B
1
,...A
n
,B
n
sao reais e a serem determinadas.
8
O teorema que segue baseia-se em dois resultados em Analysis by Its History, E. Hairer and
G. Warner, Undergraduate Texts in Mathematics, 1996, pp. 118 123, Springer-Verlag, New
York. Alguns exemplos (dois deles do citado livro) s ao, entre outras formas, aqui resolvidos
inspirando-nos no chamado metodo de Heaviside, citado em C alculo, Vol 1, pp. 568 569,
G. B. Thomas, Addison Wesley, 2009.
27
(3) A resposta procurada (isto e, o somat orio) e ent ao: o quociente
P(x)
Q(x)
e uma
soma de parcelas do tipo das obtidas no (1) e no (2) passos acima.
(4) Para determinarmos as constantes reais surgidas existem v arios metodos.
Exemplo 1. Decomponha em fra c oes simples,
P(x}
Q(x}
=
2x
6
3x
5
9x
4
+ 23x
3
+ x
2
44x + 39
x
5
+ x
4
5x
3
x
2
+ 8x 4
.
Resolu cao. Efetuando a divisao polinomial obtemos uma func ao racional com
o grau do polinomio numerador menor que o no denominador, e fatorando este,
P(x}
Q(x}
= 2x 5 +
6x
4
20x
2
+ 4x + 19
(x 1}
3
(x + 2}
2
.
Pelo metodo acima temos,
(}
6x
4
20x
2
+ 4x + 19
(x 1}
3
(x + 2}
2
=
A
3
(x 1}
3
+
A
2
(x 1}
2
+
A
1
x 1
+
B
2
(x + 2}
2
+
B
1
x + 2
.
Multiplicando (*) por (x 1}
3
e ent ao computando em x = 1 obtemos A
3
= 1.
Multiplicando (*) por (x+2}
2
e ent ao computando em x = 2 obtemos B
2
= 1.
Pondo os termos 1(x1}
3
e 1(x+2}
2
`a direita `a esquerda e simplicando,
(}
6x
4
20x
2
+ 4x + 19 + (x 1}
3
(x + 2}
2
(x 1}
3
(x + 2}
2
=
6x
2
5x 7
(x 1}
2
(x + 2}
=
A
2
(x 1}
2
+
A
1
x 1
+
B
1
x + 2
.
Multiplicando (**) por (x1}
2
e, a, avaliando a fra c ao central (no lado direito)
em x = 1 obtemos A
2
= 2.
Multiplicando (**) por (x+2} e, a, avaliando a fra c ao central (no lado direito)
em x = 2 obtemos B
1
= 3.
Pondo, em (**), os termos 2(x 1}
2
e 3(x + 2}
1
que estao no lado direito
no meio e ent ao simplicando obtemos:
6x
2
5x 7 + 2(x + 2} 3(x 1}
2
(x 1}
2
(x + 2}
=
3(x 1}(x + 2}
(x 1}
2
(x + 2}
=
3
x 1
=
A
1
x 1
A
1
= 3 .
Resposta.
2x
6
3x
5
9x
4
+23x
3
+x
2
44x+39
x
5
+x
4
5x
3
x
2
+8x4
=
1
(x1)
3
+
2
(x1)
2
+
3
x1
+
1
(x+2)
2
+
3
x+2

28
Antes de darmos mais exemplos provemos o teorema.
Demonstra cao do Teorema da Decomposi cao em Fra coes Parciais
Seja R|x| o conjunto dos polinomios com coecientes reais e na variavel x.
Seja Q = Q(x} R|x| com r distintos pares de razes complexas conjugadas
(n ao reais)
1
+ i
1
, ...,
r
+ i
r
e s distintas razes reais
1
,...,
s
. Ent ao, pelo
Teorema Fundamental da

Algebra (TFA)
9
podemos fatorar Q em seus fatores
lineares e quadraticos, com suas respectivas multiplicidades algebricas, e obtemos
Q(x} = c
r
_
j=1
[(x
j
}
2
+
2
j
)
m
j
s
_
j=1
(x
s
}
n
j
, c R,
onde m
j
e n
j
sao as multiplicidades das razes complexas e reais, respectivamente.
Teorema 1. Seja Q = Q(x} R|x| como acima e P = P(x} R|x| tal que
grau(P} grau(Q}. Existem, e sao unicos, n umeros reais A
jk
, B
jk
e C
jk
tais que
(1.1}
P(x}
Q(x}
=
r
_
j=1
m
j
_
k=1
A
jk
+ B
jk
x
[(x
j
}
2
+
2
j
)
k
+
s
_
j=1
n
j
_
k=1
C
jk
(x
j
}
k
.
Prova.
Armacao 1: Se e raz real de multiplicidade n de Q = Q(x} fatoramos
Q(x} = (x }
n
q(x}, com q R|x| e q(} 0, e existem unicos C R e p R|x|,
com (p} (Q} 1, satisfazendo
(1.2}
P(x}
(x }
n
q(x}
=
C
(x }
n
+
p(x}
(x }
n1
q(x}
.
Verica cao da Armacao 1.
Multiplicando (1.2) pelo denominador comum, temos a equa c ao polinomial
P(x} = Cq(x} + p(x}(x }.
Avaliando em x = temos C =
P()
q()
e denimos p(x} R|x| como a divisao
(exata) de P(x} Cq(x} por (x }. As unicidades de C e p = p(x} sao obvias.
9
dAlembert em 1746 e que `a epoca procurava metodos para integrar funcoes racionais
apresentou uma prova do TFA que foi, `a epoca, considerada nao v alida e que hoje e v alida.
Gauss em 1799 apresentou a mais famosa prova de tal teorema e Argand em 1814 mostrando
a eciencia dos n umeros complexos simplicou, e muito, a prova de dAlembert e apresentou
talvez a mais clara e curta prova do TFA, ate a atualidade.
29
Armacao 2. Se Q(x} = [(x }
2
+
2
)
m
q(x} e q( + i} 0, R, R

,
existem unicos A, B R e polinomio p R|x|, grau(p} grau(Q} 2, tais que
P(x}
[(x }
2
+
2
)
m
q(x}
=
A+ Bx
[(x }
2
+
2
)
m
+
p(x}
[(x }
2
+
2
)
m1
q(x}
.
Verica cao da Armacao 2.
Multiplicando pelo denominador comum, resolvemos a equa c ao polinomial
P(x} = (A+ Bx}q(x} + p(x}[(x }
2
+
2
) .
Avaliando tal formula em z
0
= + i C (ou z
0
= i) determinamos A e B
reais
10
e denimos p(x} como a divisao exata, em R|x|, de P(x} (A+ Bx}q(x}
por [(x }
2
+
2
}). A unicidade e elementar e encerra tal vericac ao.
Claramente, por sucessivas aplicac oes das Armac oes 1 e 2 obtemos (1.1).
Pedimos ao leitor mostrar, e trivial, que a unicidade dos coecientes em (1.1)
(vide abaixo outra prova de tal fato) segue das unicidades nas Armac oes 1 e 2
Mostremos uma variac ao do Metodo de Heaviside (assim dito se Q(x} so
tem razes reais simples) para determinar (unicamente) os coecientes em (1.1).
Computemos os coecientes C
1n
1
, C
1,n
1
1
, ..., C
1,2
, C
1,1
, nesta ordem.
Utilizando a fatora c ao Q(x} = (x
1
}
n
1
Q
1
(x}, Q
1
R|x|, Q
1
(
1
} 0, multi-
pliquemos (1.1) por (x
1
}
n
1
e computemos a equa c ao obtida em x =
1
. Para o
1 membro [
P(x)
(x
1
)
n
1Q
1
(x)
) obtemos, e obvio,
P(
1
)
Q
1
(
1
)
. Quanto ao 2 membro, mul-
tiplicando a parcela
C
1,n
1
(x
1
)
n
1
por (x
1
}
n
1
e computando o resultado em x =
1
obtemos C
1,n
1
; todas as demais parcelas ao serem multiplicadas por (x
1
}
n
1
e
o resultado computado em x =
1
produzem o n umero zero. Logo,
C
1,n
1
=
P(
1
}
Q
1
(
1
}
.
10
Pela equacao A+ B( + i) =
P(z
0
)
q(z
0
)
C temos A+ B = Re
P(z
0
)
q(z
0
)
e B = Im
P(z
0
)
q(z
0
)
. Se
utilizarmos z = i o resultado e o mesmo pois para tais A, B R: A+Bz
0
= A+ Bz
0
=
P(z
0
)
q(z
0
)
30
Ent ao, passando
C
1,n
1
(x
1
)
n
1
ao 1 membro e efetuando a subtrac ao temos uma
func ao racional com numerador e denominador divisiveis por (x
1
} (Arm. 1):
P(x}
(x
1
}
n
1
Q
1
(x}

C
1,n
1
(x
1
}
n
1
=
p
1
(x}
(x
1
}
n
1
1
Q
1
(x}
, com (p
1
} (Q} 1 .
Igualado o ultimo membro acima com o que restou do 2 membro de (1.1),
recamos no caso anterior e ent ao de forma analoga achamos o coeciente C
1,n
1
1
.
Iterando tal procedimento identicamos os demais coecientes C
1,j

s
.

E claro que
analogamente obtemos todos os coecientes C
i

s,j

s
.
Similarmente (e utilizando a Armac ao 2) obtemos ordenadamente os pares de
coecientes (A
i,m
i
, B
i,m
i
}, (A
i,m
i
1
, B
i,m
i
1
}, ..., (A
i,1
, B
i,1
}, i = 1, ..., l. Verique
Exemplo 2. Decomponha em fra c oes simples
x
5
+x
(x
2
+1)(x
2
+2)
2
.
1 Resolu cao: Via o que denominamos, aqui, variac ao do metodo de Heaviside.
Pelo Teorema da Decomposic ao em Fra c oes Simples temos,
(}
x
5
+ x
(x
2
+ 1}(x
2
+ 2}
2
=
Ax + B
x
2
+ 1
+
Cx + D
x
2
+ 2
+
Ex + F
(x
2
+ 2}
2
, x R.
Multiplicando (*) por (x
2
+ 2}
2
e ent ao computando em x = i

2 obtemos
(i

2}
5
+ i

2
1
= Ei

2 + F E = 5 e F = 0 .
Pondo `a esquerda em (*) o termo
5x
(x
2
+2)
2
obtido `a direita e simplicando temos
(}
x
5
+ x + 5x(x
2
+ 1}
(x
2
+ 1}(x
2
+ 2}
2
=
x
3
+ 3x
(x
2
+ 1}(x
2
+ 2}
=
Ax + B
x
2
+ 1
+
Cx + D
x
2
+ 2
.
Multiplicando (**) por x
2
+1 e ent ao computando a expressao no meio em x = i:
i
3
+ 3i
i
2
+ 2
= Ai + B A = 2 e B = 0 .
Multiplicando (**) por x
2
+2 e ent ao computando a expressao no meio em x =

2i:
(

2i}
3
+ 3

2i
2 + 1
= C

2i + D C = 1 e D = 0 .
31
2 Resolu cao.
Escrevemos P(x} = x
5
+ x, p(x} = (x
2
+ 1}(x
2
+ 2}
2
e,
x
5
+ x
(x
2
+ 1}(x
2
+ 2}
2
=
ax + b
x
2
+ 1
+
cx + d
x
2
+ 2
+
ex + f
(x
2
+ 2}
2
, x R,
e ent ao, multiplicando ambos os membros por p(x} resulta
(x
5
+ x} = (ax + b}(x
2
+ 2}
2
+ (cx + d}(x
2
+ 1}(x
2
+ 2} + (ex + f}(x
2
+ 1} , x R .
Efetuando as opera c oes indicadas no 2 membro, a igualdade acima se escreve
x
5
+x = (a+c}x
5
+(b+d}x
4
+(4a+3c+e}x
3
+(4b+3d+f}x
2
+(4a+2c+e}x+4b+2d+f , x R,
e (v. Corol ario 3.7) obtemos o sistema linear de 6 equa c oes com 6 inc ognitas:
(1} a + c = 1, (2} b + d = 0, (3} 4a + 3c + e = 0, (4} 4b + 3d + f = 0,
(5} 4a + 2c + e = 1, (6} 4b + 2d + f = 1.
De (2} segue d = b e portanto (4} e (6} se escrevem, respectivamente, b+f = 0
e 2b+f = 0 que e visivelmente um sistema determinado; donde, b = f = 0 e, ent ao,
d = 0. De (1} segue c = 1 a e ent ao (3} e (5} se escrevem, respectivamente,
a+e = 3 e 2a+e = 1; cuja soluc ao e a = 2 e e = 5 e portanto, c = 1a = 12 = 1
donde c = 1. Consequentemente,
x
5
+ x
(x
2
+ 1}(x
2
+ 2}
2
=
2x
x
2
+ 1

x
x
2
+ 2

5x
(x
2
+ 2}
2
, x R
Exemplo 3. Decomponha em fra c oes simples
x
2
+1
x
4
+5x
3
+5x
2
5x6
.
Resolu cao. Via metodo de Heaviside.
O denominador fatora-se: (x
4
+5x
3
+5x
2
5x6} = (x+1}(x1}(x+2}(x+3}.
Logo, temos
(}
x
2
+ 1
(x + 1}(x 1}(x + 2}(x + 3}
=
A
x + 1
+
B
x 1
+
C
x + 2
+
D
x + 3
.
Multiplicando (*) por (x + 1} e, a, computando em x = 1 temos: A =
2
4
=
1
2
.
Multiplicando (*) por (x 1} e, a, computando em x = 1 temos: B =
2
24
=
1
12
.
Multiplicando (*) por (x + 2 e, a, computando em x = 2 temos: C =
5
3
.
Multiplicando (*) por (x +3} e, a, computando em x = 3 temos: D =
10
8
=
5
4

32
Exemplo 4. Simplique, aplicando o metodo de fra c oes parciais,
1
1 + x
4
.
0 1
1
y
1
x
1+i

2
=
0

0
=
1+i

0
=
1i

2
1i

2
=
0
Figura 2.1: As quatro razes quartas de z = 1.
Tres Resolu coes: Temos, vide Figura 1 acima,
z
4
+ 1 = 0 z
4
= 1 = e
i
z =
k
= e
(

4
+
2k
4
)i
= e
(

4
+k

2
)i
, k = 0, 1, 2, 3 ;
isto e, z
0
= e

4
i
,
1
= e
3
4
i
=
0
,
2
= e
5
4
i
=
0
,
3
= e
7
4
i
=
0
_ .
O polinomio x
4
+ 1 fatora-se ent ao como
x
4
+1 = (x
1 + i

2
}(x
1 i

2
}(x
1 + i

2
}(x
1 i

2
} = (x
2

2x+1}(x
2
+

2x+1} ,
e obtemos pelo Teorema da Decomposic ao em Fra c oes Simples,
(}
1
1 + x
4
=
Ax + B
x
2

2x + 1
+
Cx + D
x
2
+

2x + 1
.
1 Resolu cao: Nao aplicando os citados metodos.

E facil perceber que,

A+ C = 0 e B + D = 1 .
Ainda, computando a expressao em (*) em x = i obtemos
1
2
=
Ai + B

2i
+
Ai + (1 B}

2i
=
2A

2
+
1 2B

2i
A =

2
4
e B =
1
2
C =

2
4
e D =
1
2
.
33
2 Resolu cao: Via metodo dos coecientes a determinar (aritmetica em R)
Multiplicando por (x
2

2x + 1}(x
2
+

2x + 1} a expressao (*) obtemos

1 = (Ax + B}(x
2
+

2x + 1} + (Cx + D}(x
2

2x + 1}
= (A+ C}x
3
+ (A

2 + B C

2 + D}x
2
+ (A+ B

2 + C D

2}x + (B + D} ,
e resolvemos o sistema de equa c oes
A+ C = 0 , A

2 + B C

2 + D = 0 , A+ B

2 + C D

2 = 0 e B + D = 1 .
Substituindo a 1 (C = A) e a 4 equa c oes na 2 temos 2A

2 +1 = 0 e A =

2
4
.
Substituindo a 1 equa c ao na 3 obtemos B = D e, pela 4 equa c ao, B = D =
1
2
.
3 Resolu cao: Via uma variac ao do metodo de Heaviside (aritmetica em C).
Escrevamos
1
1+x
4
na forma
(}
1
(x
0
}(x
0
} (x +
0
}(x +
0
}
=
Ax + B
x
2

2x + 1
+
Cx + D
x
2
+

2x + 1
.
Multiplicando (**) por x
2

2x + 1 = (x
0
}(x
0
} e computando em
0
:
1
2 Re(
0
} 2
0
= A
0
+ B
1
4
1

2
1+i

2
=
A

2
(1 + i} + B ou,
1
2(1 + i}
=
1 i
4
=
1
4

1
4
i = (
A

2
+ B} +
A

2
i A =

2
4
, B =
1
2
.
Multiplicando (**) por x
2
+

2x + 1 = (x +
0
}(x +
0
} e computando em
0
:
1
2
0
(
0

0
}
= C
0
+ D ou,
1
4
0
Re(
0
}
=
1
4

1
4
i = (
C

2
+ D}
C

2
i C =

2
4
, D =
1
2
.
Resposta:
1
x
4
+ 1
=

2
4
x +
1
2
x
2

2x + 1
+

2
4
x +
1
2
x
2
+

2x + 1
, x R
34
Por m, apresentemos o metodo das derivadas (importante em Teoria de
uma Variavel Complexa) que utiliza derivadas em R para computar os coeci-
entes em (1.1) correspondentes `as parcelas provenientes das razes reais.
Computemos em (1.1) os coecientes C
1n
1
, ..., C
1,1
relativos `a raz
1
. Para
simplicar escrevamos n
1
= n. Ent ao, pela fatora c ao Q(x} = (x
1
}
n
Q
1
(x},
Q
1
R|x| e Q
1
(
1
} 0, pela expressao em (1.1) temos,
P(x}
(x
1
}
n
Q
1
(x}
=
C
1,n
(x
1
}
n
+
C
1,n1
(x
1
}
n1
+ ... +
C
1,1
(x
1
}
1
+
p
1
(x}
Q
1
(x}
,
com p
1
R|x| [e, e facil ver, (p
1
} (Q}n]. Logo, multiplicando por (x
1
}
n
,
P(x}
Q
1
(x}
= C
1,n
+C
1,n1
(x
1
}+C
1,n2
(x
1
}
2
+...+C
1,1
(x
1
}
n1
+
p
1
(x}
Q
1
(x}
(x
1
}
n
.
Computando a equa c ao acima em
1
resulta
P(
1
)
Q
1
(
1
)
= C
1,n
.
Computando a 1 derivada da equa c ao acima em
1
resulta: {
P
Q
1
)

(
1
} = C
1,n1
.
Computando a 2 derivada da equa c ao acima em
1
resulta: {
P
Q
1
)

(
1
} = 2C
1,n2
.
Por indu c ao nita, computando a k-esima derivada, k = 0, 1, ..., n1, da equa c ao
acima em
1
obtemos: {
P
Q
1
)
(k)
(
1
} = k!C
1,nk
. Isto e, C
1,nk
=
1
k!
{
P
Q
1
)
(k)
(
1
}.
Exemplo 5. Decomponha em fra c oes simples
x
2
(x1)
3
.
Tres resolucoes:
1 Resolu cao: Nao aplicando os citados metodos.
Temos,
x
2
(x 1}
3
=
|(x 1} + 1|
2
(x 1}
3
=
(x 1}
2
+ 2(x 1} + 1
(x 1}
3
=
1
x 1
+
2
(x 1}
2
+
1
(x 1}
3
.
2 Resolu cao: Via metodo dos coecientes a determinar.
Multiplicando por (x 1}
3
a decomposic ao
x
2
(x 1}
3
=
A
(x 1
+
B
(x 1}
2
+
C
(x 1}
3
obtemos x
2
= A(x 1}
2
+ B(x 1} + C = Ax
2
+ (2A+ B}x + (A B + C}. Logo,
A = 1, B = 2 e C = 1.
35
3 Resolu cao: Empregando derivadas.
Basta computar mos as derivadas de ordem 0, 1 e 2 de F(x} = x
2
em x = 1.
Logo,
C =
F(1}
0!
= 1, B =
F

(1}
1!
= 2 e A =
F

(1}
2!
= 1
Existem ainda outros metodos para decompor uma func ao racional em soma
de fra c oes simples. Cada qual tem suas vantagens, sendo que a maior ou menor
conveniencia de um metodo depende do problema em quest ao e, e claro, de pre-
ferencias individuais. Ainda, e conveniente ser criativo.
36
EXERC

ICIOS
1. Seja z C tal que z
m
= 1 e z 1, onde m N e m 2. Verique:
(a) 1 + z + z
2
+ ..... + z
m1
= 0
(b) 1 + z
p
+ z
2p
+ ....z
(m1)p
= 0, p N tal que mdc(m, p} = 1.
Sugestao: Aplique o Teorema de Bezout: r , s Z | rm+ sp = 1.
(c) Se z C e z 1, 1 + z + z
2
+ .... + z
m
=
1z
m+1
1z
, m N

.
2. Resolva em C as equa c oes:
(a} z
3
= i (b} z
4
= 16 (c} z
2
= z (d} z
3
+z
2
+z = 0
(e} z
3
= 2i (f} z
3
= 1 (g} z
6
= 8 .
3. Seja p R|x| tal que p(1 i} = 3 + 2i. Compute p(1 + i}.
4. De todas as razes de x
4
6x
3
+ 11x
2
10x + 2 = 0, sendo 1 i uma delas.
5. Ache a e b tais que p(z} = z
4
10z
3
+az
2
50z +b seja um quadrado perfeito,
isto e, existe um polinomio q C|z| tal que p = q
2
e determine q.
6. Ache k tal que z
3
5 4z divida 3z
2
2z
4
+ z
5
z
3
2z + k exatamente.
7. Seja p C|z|, com p(z} =
m

j=0
a
j
z
mj
, z C, a
0
0. Supondo que os zeros
de p estao em uma progressao aritmetica (p.a.) determine estes zeros.
8. Encontre a, b R tais que 1 + i

2 e raz de multiplicidade 2 do polinomio

p(z} = z
5
7z
4
+ 22z
3
+ az
2
+ 45z + b
e para os valores encontrados de a e b determine todos os zeros de p = p(z}.
9. (a) Os trinomios f(z} = z
2
2(1i}z 2i e g(z} = z
2
+(1+4i}z (5+i} tem
uma raz comum. Ache todas as razes e simplique
f(z)
g(z)
na forma
z
z
.
(b) Determine a regiao denida pelos complexos z que vericam
Re(z)
z
2.
37
10. (a) Resolva a equa c ao zz 2z 5z = 3(3 i}.
(b) Denote por z
1
e z
2
as duas soluc oes obtidas em (a) que satisfazem
|z
1
| |z
2
|. Determine todas as razes do polinomio
p(z} = z
4
+ z
2
+ 2z + 6,
sabendo que p(z
1
} = 0.
11. Seja z
0
C um ponto arbitr ario. Verique as armac oes abaixo.
(a) Seja p(z} = a
0
+ a
1
z C|z|, a
1
0. Existe um unico par (b
0
, b
1
} de
n umeros complexos tal que p(z} = b
0
+ b
1
(z z
0
}, z C.
(b) Seja p(z} = a
0
+ a
1
z + a
2
z
2
C|z|, a
2
0. Existe uma unica terna
(b
j
}
0j2
de n umeros complexos tal que p(z} = b
0
+b
1
(zz
0
}+b
2
(zz
0
}
2
.
(c) Seja p(z} =
m
j=0
a
j
z
j
C|z|, com a
m
0. Existe uma unica sequencia
(b
j
}
0jm
de n umeros complexos tal que
p(z} = b
0
+ b
1
(z z
0
} + ... + b
m
(z z
0
}
m
(z C} .
38
Referencias.
1. Fitzpatrick, P. M., Advanced Calculus, Pure and Applied Undergrad.
Texts, 2nd. ed., AMS, 2009.
2. Guidorizzi, Um Curso de Calculo, Vol 1, 5 edi c ao, LTC Editora, Rio
de Janeiro, 2001.
3. Hairer, E. and Wanner, G., Analysis by Its History, UTM, Springer,
New York, 1996.
4. Jahnle, H. N., editor, A History of Analysis, American Mathematical
Society, 2003.
5. Lima, E. L., Curso de Analise, IMPA, Rio de Janeiro, 1976.
6. Spivak, M., Calculus, 4th edition, Publish or Perish, Inc., Houston,
2008.
39