1 O corpo dos n umeros complexos

Vamos fazer aqui um breve estudo sobre a estrutura dos n umeros complexos. Em particular, os
n umeros complexos ja foram estudados no semestre anterior, na disciplina de Fundamentos de
matematica A, portanto, relembraremos aqui algumas de suas propriedades que nos serao uteis.
Introduziremos o corpo dos n umeros complexos de forma puramente algebrica, diferente do que
foi feito no semestre anterior. Para tanto, vamos lembrar que ja mostramos que o plano cartesiano
R
2
e um corpo, quando munido das operacoes
(a, b) (c, d) = (a + b, c + d) e (a, b) (c, d) = (ac bd, ad + bc)
Vamos mostrar agora que este corpo assim construdo e uma extensao dos reais e contem um elemento
cujo quadrado e 1, obtendo neste corpo uma raiz para a equac ao polinomial X
2
+ 1 = 0, uma
impossibilidade no caso dos reais.
Consideremos agora a aplicac ao : R R
2
denida por a (a, 0). Ent ao temos (x + y) =
(x+y, 0) = (x, 0) (y, 0) = (x) (y) e (xy) = (xy, 0) = (x, 0) (y, 0) = (x) (y), e segue que
e um homomorsmo entre os aneis (R, +, ) e (R
2
, , ). Alem disso, como Nuc() = x R :
(x) = (0, 0) = 0, segue que e injetora, e consequ uentemente, (R, +, ) ((R), , ). Neste
caso, por abuso de notac ao, escreveremos R R
2
como aneis, para representar o fato que o anel R
2
contem uma copia do anel R.
Faremos agora algumas computac oes:
1. (a, b) = (a, 0) (0, b) = (a, 0) [(b, 0) (0, 1)].
2. (, 0) (a, b) = (a 0b, b + 0a) = (a, b)
Com base nos calculos feito acima e fazendo as seguintes identicac oes:
i (0, 1)
a (a, 0), a R
a + bi (a, b)
Podemos escrever i
2
= (0, 1) (0, 1) = (0.0 1.1, 0.1 + 1.0) = (1, 0) = 1.
1
Com as novas notac oes, escreveremos C = a + bi : a, b R e i
2
= 1 e chamaremos este
conjunto de corpo dos n umeros complexos. Com as identicac oes acima, as operacoes em C cam
escritas da forma
(a + bi) + (c + di) = (a + c) + (b + d)i
(a + bi) (c + di) = (ac bd) + (ad + bc)i
1.1 Interpretacao geometrica das operac oes de C
1. Soma
Sejam a + bi, c + di C. Entao podemos associar os elementos a + bi e c + di de C de modo
natural com os pontos (a, b) e (c, d) de R
2
, como mostra a gura abaixo. Assim, o n umero
complexo (a + c, b + d) corresponde ao ponto de R
2
obtido pela regra do paralelogramo.
(a,b)
(c,d)
(a+c,b+d)
2. Produto
Para enxergar geometricamente o produto de n umeros complexos, vamos primeiro fazer algumas
consideracoes. Como estamos associando cada n umero complexo com um ponto P do plano
2
euclidiano, podemos representar entao um n umero complexo C univocamente por =
r(cos , sen), onde r e a distancia do ponto P ate a origem do sistema cartesiano, e e o
angulo, descrito no sentido anti-horario, entre o semi-eixo positivo das abscissas e a reta que
passa na origem contendo o ponto P. Do teorema de Pitagoras, obtemos que r =

a
2
+ b
2
,
onde P = (a, b). Este n umero real sera chamado de norma de e sera notado por [ [. O
angulo sera chamado de argumento do n umero complexo . Veja gura abaixo.
(a,b)
r

Considerando ent ao , C, temos = r(cos , sen) = rcos +i rsen e = s(cos , sen) =

scos + i ssen. Assim, temos
. = [r(cos , sen)].[s(cos , sen)]
= r.s.(cos cos sensen, cos sen + sencos )
= [ [[ [ (cos ( + ), sen( + ))
Logo, multiplicar n umeros complexos signica multiplicar as normas e somar os argumentos
dos fatores. Veja gura abaixo.
3

+
Podemos utilizar esta representa cao trigonometrica de um n umero complexo para obter o inverso
e potencias. Para ver o inverso, consideremos = r(cos, sen) C. Da interpretac ao de produto
de n umeros complexos na forma trigonometrica feita acima, segue que
1
=
1
r
(cos(), sen()) =
1
r
(cos, sen) =
cos
r
i
sen
r
.
Gostaramos de observar agora que se = a + bi C, ent ao chamamos de conjugado de ao
n umero complexo denido como = a bi. Desta forma, a expressao do inverso de um n umero
C pode ser escrito da forma

1
=
1
[ [

Assim, por exemplo, sobre a circunferencia de raio unitario estao todos os complexos de norma 1,
e o inverso de cada um deles e dado pelo ponto desta circunferencia obtido por reexao em relac ao
ao eixo das abscissas.
Vamos agora denir indutivamente as potencias de um n umero complexo C, por

0
= 1

n
=
n1
, n 1
4
Desta forma, dado =[ [ (cos , sen), teremos
n
=[ [
n
(cos n, senn), como e facil
vericar.
1.2 Razes n-esimas de um n umero complexo
Denicao: Dado C, dizemos que C e uma raiz n-esima de , se
n
= .
Consideremos = (cos + i sen) C. Queremos encontrar C tal que
n
= . Fazendo
= r(cos +i sen), deveremos ter r
n
(cosn +i senn) = (cos+i sen). Portanto, deveremos ter
r
n
= e n = + 2k, onde k Z. Segue da que
r =
n

e =
+ 2k
n
, k Z
Da divisao euclidiana, podemos escrever k = nq + t, com 0 t < n. Da, teremos
+ 2k
n
=
+ 2(nq + t)
n
=
+ 2nq + 2t
n
=
+ 2t
n
+ 2q, q Z
Logo, existirao exatamente n razes n-esimas distintas de , as quais serao dadas por:

0
=
n

_
cos
_

n
_
+ i sen
_

n
__

1
=
n

_
cos
_
+2
n
_
+ i sen
_
+2
n
__

2
=
n

_
cos
_
+4
n
_
+ i sen
_
+4
n
__
.
.
.

n1
=
n

_
cos
_
+2(n1)
n
_
+ i sen
_
+2(n1)
n
__
Assim, a equacao X
n
= possui exatamente n razes emC. Um calculo erroneo que um estudante
pode cometer e o seguinte:
1 = i.i =

1.

1 =
_
(1).(1) =

1 = 1
E acaba concluindo que 1 = 1, o que e claramente um absurdo. Onde esta o erro? Basicamente,
o erro aqui reside no fato de se representar

1 como se apenas uma raiz existisse. Na verdade,

quer representar um n umero complexo que elevado ao quadrado resulta em , ou seja, uma
raiz da equac ao X
2
= , que sabemos ser duas. Entao temos uma ambiguidade na representac ao
de

1 acima, pois

1 tanto pode ser i como tambem pode ser i. No caso de razes reais,
5
nos costumamos representar por

x ao n umero real positivo cujo quadrado e x, e o smbolo ca
univocamente utilizado. Quando trabalhamos em C nao temos mais esta conven cao, pois nao temos
mais o conceito de negativo e positivo. Assim, nao utilizaremos o smbolo

para representar
alguma das razes da equacao X
2
= . Reservaremos este smbolo apenas para n umeros reais.
Exemplos:
1. Consideremos = 16
_
cos(
3
4
) + i sen(
3
4
)
_
, e calculemos suas razes quarticas. Pelo exposto
acima, teremos:

0
=
4

16
_
cos
_
3
4
4
_
+ i sen
_
3
4
4
__
= 2
_
cos
_
3
16
_
+ i sen
_
3
16
__

1
=
4

16
_
cos
_
3
4
+2
4
_
+ i sen
_
3
4
+2
4
__
= 2
_
cos
_
11
16
_
+ i sen
_
11
16
__

2
=
4

16
_
cos
_
3
4
+4
4
_
+ i sen
_
3
4
+4
4
__
= 2
_
cos
_
19
16
_
+ i sen
_
19
16
__

3
=
4

16
_
cos
_
3
4
+6
4
_
+ i sen
_
3
4
+6
4
__
= 2
_
cos
_
27
16
_
+ i sen
_
27
16
__
2. Seja agora = 8. Entao, temos = 8(cos() + i sen()), e conseq uentemente, as razes
c ubicas de 8 serao dadas por:

0
= 2
_
cos
_

3
_
+ i sen
_

3
__
= 2
_
1
2
+ i

3
2
_
= 1 + i

1
= 2 (cos () + i sen()) = = 2

2
= 2
_
cos
_
5
3
_
+ i sen
_
5
3
__
= 2
_
1
2
i

3
2
_
= 1 i

3
Finalizaremos esta secao fazendo algumas observac oes quanto a nao ordenac ao de C e a ambigu-
idade do smbolo

1. Comecamos com a seguinte denic ao.

Denicao 1.1. Um domnio D e dito ordenado, se existir um subconjunto P D com as seguintes
propriedades:
(i) x D, exatamente uma das seguintes possibilidades ocorre: x P, x P ou x = 0;
(ii) x, y P x + y P e xy P.
O conjunto P da denicao acima e chamado de conjunto dos elementos positivos de D. Um corpo
K e dito ordenado se K e um domnio ordenado.
6
Lema 1.2. Se D e um domnio ordenado, entao 1
D
e um elemento positivo de D.
Prova. Como D e um domnio, temos 1
D
,= 0. Suponhamos por absurdo que 1 , P, onde P e o
conjunto dos elementos positivos de D. Entao, 1 P, por (i) da denicao acima. Segue ent ao de
(ii), que (1)(1) = 1 P, o que e uma contradicao. Logo, so podemos ter 1 P, ou seja, 1
D
e
um elemento positivo de D. 2
Com este resultado podemos mostrar que C nao e um corpo ordenado.
Teorema 1.3. C e um corpo nao ordenado.
Prova. Que C e um corpo, ja sabemos. Vamos mostrar que C nao e ordenado, segundo nossa
denicao de domnio ordenado acima. Com efeito, pois se C fosse domnio ordenado, com P seu
conjunto de elementos positivos, teramos i P ou i P, pois i ,= 0. Se ocorrer i P, teramos
i.i = 1 P, o que contraria o Lema anterior. Se ocorrer i P, ent ao teramos (i).(i) = 1
P, novamente uma contradi cao. Portanto, C naopode ser um corpo ordenado. 2
Interpretando a escolha do n umero real positivo raiz da equacao X
2
= a, onde a R, a 0,
para ser denotado como

a, como proveniente da escolha do semi-eixo dos reais positivos como
universo das soluc oes da equacao X
2
= a acima, poderamos perguntar se nao seria possvel fazer
algo semelhante para os complexos, isto e, delimitar uma regiao do plano na qual a equac ao X
2
=
tem soluc ao unica e eleger esta soluc ao ( unica) para ser denotada pelo smbolo

. A resposta a
esta questao e armativa e passaremos a determinar uma tal regiao.
Sejam , C tais que e uma raiz da equac ao X
2
= em C. Estudando os argumentos de
e de , teremos:
= arg() = arg()
0 < 0 <

2
ou 0 <
3
2
= =

2
ou =
3
2
< < 2

2
< < ou
3
2
< < 2
Para dar uma resposta que estenda o caso real, isto e, um n umero complexo da forma a+0i, podemos
7
escolher ent ao a regiao do plano
T := z C : Re(z) > 0 ou (Re(z) = 0 e Im(z) > 0)
Assim, poderamos adotar a notac ao

para representar o ( unico) n umero complexo T tal que

e raiz da equacao X
2
= . No entanto, nao faremos isto nestas notas e portanto nao utilizaremos
o smbolo

, onde C R. Sempre escreveremos que estamos procurando C tal que

2
=
em lugar de =

, ou simplesmente diremos que estamos procurando as razes quadradas de .

1.3 Razes n-esimas da unidade
Dizemos que um n umero complexo z e uma raiz n-esima da unidade, se z
n
= 1. Fazendo z =
r(cos + i sen) e como 1 = 1 + 0i = 1(cos0 + i sen0), deveremos ter, pelo exposto acima, que
r =
n

1 = 1, pois r R, visto que e um comprimento, e =

2k
n
, onde k 0, 1, 2, . . . , n 1.
Geometricamente, podemos visualizar as razes n-esimas da unidade como sendo os vertices de
um polgono regular de n lados inscrito em uma circunferencia de raio unitario, de modo que um
de seus vertices coincide com o ponto (1, 0). Desta visualizacao, podemos concluir que as razes
n-esimas da unidade nao reais, ocorrem como vertices simetricos em relac ao ao eixo horizontal, de
onde conclumos que estas razes sao duas a duas conjugadas.
Voltando agora a considerar razes n-esimas de um n umero complexo , gostaramos de observar
que se e uma raiz n-esima de e e uma raiz n-esima da unidade, entao temos ()
n
=
n

n
= ,
e segue que e uma raiz n-esima de . Uma vez que se
1
,=
2
sao duas razes n-esimas distintas
da unidade, segue que
1
,=
2
, de onde podemos concluir que se e uma raiz n-esima de
, e G =
0
= 1,
1
,
2
, . . . ,
n1
e o conjunto de todas as razes n-esimas da unidade, ent ao
G

= ,
1
,
2
, . . . ,
n1
e o conjunto de todas as razes n-esimas de . Vejamos um exemplo.
Consideremos = 8, como antes. Suponhamos que queremos determinar as razes c ubicas de
. Comecamos por determinar as razes c ubicas da unidade, a saber,

0
= 1

1
=
1
2
+ i

3
2

2
=
1
2
i

3
2
8
Como ja sabemos que 2 e uma das razes c ubicas de 8, tomamos = 2 na formula acima, e
obtemos

0
= 2.1 = 2

1
= 2
_
1
2
+ i

3
2
_
= 1 i

2
= 2
_
1
2
i

3
2
_
= 1 + i

3
ou seja, G

= 2, 1 i

3, 1 i

3 e o conjunto de todas as razes c ubicas de 8. Observamos

que este resultado coincide com nossa resposta de antes.
Os argumentos expostos acima justicam fazermos um estudo mais aprofundado das razes n-
esimas da unidade, sendo o que faremos a partir de agora.
Denicao 1.4. Dizemos que uma raiz n-esima da unidade e uma raiz n-esima primitiva da
unidade, se o conjunto
0
= 1, ,
2
, . . . ,
n1
contem todas as razes n-esimas da unidade.
Dito de outra forma, e uma raiz n-esima da unidade, se gera todas as outras razes n-esimas
da unidade como potencias de . Isto de fato ocorre se
k
,= 1, para todo 0 k n 1. Vejamos
alguns exemplos.
Exemplo 1.5. 1. n = 3. Claramente temos (
2
)
2
=
1
e da segue facilmente que
1
e
2
sao
ambas primitivas.
2. n = 4. Temos (
2
)
2
= 1, e da, (
2
)
l
,
1
,
3
, para todo l N, como e facil vericar. Assim,

2
nao e uma raiz quartica primitiva da unidade. Agora, (
3
)
2
=
2
e (
3
)
3
=
1
, de onde segue
que
1
e
3
sao as unicas razes quartica primitivas da unidade.
Aqui podemos observar que sempre teremos
n1
uma raiz n-esima primitiva da unidade, para
todo n, pois ao calcularmos as potencias de
n1
, uma a uma, fazemos uma rotacao no sentido
anti-horario de n 1 vertices, obtendo assim o vertice imediatamente anterior ao vertice ora
obtido, podendo desta forma obter todos os vertices do polgono regular de n lados em questao.
9
3. n = 5. Temos neste caso,
(
2
)
0
= 1, (
2
)
1
=
2
, (
2
)
2
=
4
, (
2
)
3
=
1
, (
2
)
4
=
3
.
(
3
)
0
= 1, (
3
)
1
=
3
, (
3
)
2
=
1
, (
3
)
3
=
4
, (
3
)
4
=
2
,
(
4
)
0
= 1, (
4
)
1
=
4
, (
4
)
2
=
3
, (
4
)
3
=
2
, (
4
)
4
=
1
,
Assim, todas as razes 5-esimas da unidade sao primitivas.
4. n = 6.
(
2
)
0
= 1, (
2
)
1
=
2
, (
2
)
2
=
4
, (
2
)
3
= 1.
(
3
)
0
= 1, (
3
)
1
=
3
, (
3
)
2
= 1.
(
4
)
0
= 1, (
4
)
1
=
4
, (
4
)
2
=
2
, (
4
)
3
= 1.
(
5
)
0
= 1, (
5
)
1
=
5
, (
5
)
2
=
4
, (
5
)
3
=
3
(
5
)
4
=
4
(
5
)
5
=
1
Logo, as unicas razes 6-esimas da unidade sao
1
e
5
.
Analisando o comportamento dos exemplos acima, obtemos o seguinte resultado geral.
Proposicao 1.6. Seja uma raiz n-esima da unidade. Entao
l
e uma outra raiz n-esima da unidade
se, e somente se, mdc(l, n) = 1.
Prova: Seja uma raiz n-esima primitiva da unidade. Suponhamos que
l
seja outra raiz n-
esima primitiva da unidade e seja d = mdc(l, n). Queremos mostrar que d = 1. Por absurdo,
suponhamos que d ,= 1. Consideremos q
1
, q
2
Z tais que l = dq
1
e n = dq
2
. Assim, temos
_

l
_
q
2
=
dq
1
q
2
= (
n
)
q
1
= 1
q
1
= 1. Como q
2
< n, segue que
l
nao pode gerar as n distintas razes
n-esimas da unidade, o que contradiz a hipotese de
l
ser uma raiz primitiva. Logo, so podemos ter
d = 1.
Reciprocamente, suponhamos que mdc(l, n) = 1. Entao existem inteiros r e s tais que lr+ns = 1.
Assim, temos
=
1
=
lr+ns
=
_

l
_
r
(
n
)
s
=
_

l
_
r
de onde segue que existe uma potencia de
l
que gera o qual e uma raiz n-esima primitiva da
unidade. Logo, podemos gerar todas as razes n-esimas da unidade atraves das potencias de
l
, e
l
e uma raiz primitiva como queramos mostrar.
10
Corolario 1.7. Se p e primo, entao todas as razes p-esimas da unidade distintas de 1 sao primitivas.
1.4 Resolvendo equacoes polinomiais em C
Como motivac ao para o estudo dos polinomios, vamos estudar a resolucao de equac oes polinomiais,
tentando obter soluc oes atraves das chamadas operacoes algebricas, a saber, soma, subtracao, multi-
plicacao, divisao, potenciacao e radiciac ao, realizadas a partir dos coecientes da equacao. Veremos
ete onde conseguimos um resultado satisfatorio, e onde aparecem os problemas da teoria. Foi justa-
mente o fato de nao termos uma resposta satisfatoria para este problema que o estudo dos aneis de
polinomios e extensoes de corpos ganhou forca.
Claramente uma equac ao do tipo aX +b = 0, onde a, b C, com a ,= 0, possui soluc ao dada por
=
b
a
C, como e facil ver.
Passamos entao a investigar uma equac ao de grau dois
aX
2
+ bX + c = 0, onde a ,= 0
Podemos reduzir o problema de encontrar uma raiz desta equac ao ao problema de calcular uma raiz
quadrada, isto e, procuramos x C tal que
_
x
2
+
b
a
x
_
=
c
a
e completando quadrados, obtemos
_
x
2
+
b
a
x +
b
2
4a
2
_
=
c
a
+
b
2
4a
2
isto e,
_
x +
b
2a
_
2
=
b
2
4ac
4a
2
de onde segue que

x +
b
2a

=
_
b
2
4ac
4a
2
ou seja,
x =
b
2a
+
_
b
2
4ac
4a
2
ou x =
b
2a

_
b
2
4ac
4a
2
11
e assim, obtemos as razes da equac ao inicial, escrevendo-as sob forma de uma expressao algebrica
em relac ao a seus coecientes.
Para o caso de uma equac ao de grau tres, vamos proceder de modo um pouco diferente do anterior,
mas a tecnica empregada aqui, que sera a mesma para grau quatro, poderia ter sido empregada no
caso anterior, nao tendo sido feito por ser menos natural que o metodo de completar quadrados para
equacao de grau dois.
Consideremos entao uma equacao da forma
aX
3
+ bX
2
+ cX + d = 0, com a, b, c, d C, a ,= 0
dividindo esta equac ao por a e renomeando os coecientes, se necessario, podemos considerar apenas
equacoes do tipo
X
3
+ bX
2
+ cX + d = 0
Fazendo agora uma mudanca de variavel do tipo X = Y + h com h C, obtemos
Y
3
+ 3Y
2
h + 3Y h
2
+ h
3
+ bY
2
+ (termos de grau menor) = 0
que reagrupando os termos pode ser escrita na forma
Y
3
+ (3h + b)Y
2
+ (termos de grau menor) = 0
da fazendo h =
b
3
C na mudanca de vari avel acima, eliminamos a potencia quadrada de Y . Logo
chegamos a uma equacao do tipo
Y
3
+ pY + q = 0
chamada c ubica reduzida. Resolvendo esta ultima equac ao, teremos resolvido a equacao original,
via a formula = y
b
3
.
A tecnica utilizada para resolver a c ubica reduzida sera a de procurar uma solucao da forma u+v,
com u, v C.

E claro que toda soluc ao desta equacao podera ser escrita como uma soma de dois
n umeros complexos, nao havendo entao nada de estranho em buscar tais solucoes.
Observe ent ao que se u, v C sao tais que u + v e uma soluc ao da c ubica reduzida, deveremos
ter
(u + v)
3
+ p(u + v) + q = 0
12
de onde vem que
u
3
+ 3u
2
v + v
3
+ p(u + v) = q = 0
ou seja,
u
3
+ v
3
+ 3uv(u + v) + p(u + v) + q = 0
Logo, se tomarmos u, v C tais que u
3
+ v
3
= q e de modo que 3uv = p, teremos obtido uma
raiz da equacao Y
3
+ pY + q = 0 da forma u + v, como queramos.
Analisaremos agora o sistema de equac oes
_
u
3
+ v
3
= q
3uv = p
Elevando ao cubo a segunda equac ao obtemos 27u
3
v
3
= p
3
ou, dito de outro modo, u
3
v
3
=
p
3
27
.
Assim, procuramos u, v C tais que
_
u
3
+ v
3
= q
u
3
v
3
=
p
27
Mas isto nos diz que basta tomar u e v como sendo as razes da equac ao quadratica
Z
2
+ qZ
p
3
27
= 0
chamada equacao resolvente da equac ao c ubica.
Pelo exposto acima, teremos entao
u
3
=
q +
_
q
2
+
4p
3
27
2
e v
3
=
q
_
q
2
+
4p
3
27
2
Logo, basta tomar
u =
3

q
2
+
_
q
2
4
+
p
3
27
e v =
3

q
2

_
q
2
4
+
p
3
27
Portanto a equac ao Y
3
+ pY + q = 0 admite uma solucao da forma
u + v =
3

q
2
+
_
q
2
4
+
p
3
27
+
3

q
2

_
q
2
4
+
p
3
27
(formulas de Cardano-Tart aglia)
13
Como a equac ao
3
= admite sempre tres razes em C, as equac oes acima produzem tres
valores para u e outros tres valores para v, os quais nao poderemos combinar `a vontade na formula
de Cardano-Tartaglia, pois estes valores de u e v devem satisfazer `a condic ao uv =
p
3
.
Suponhamos u
1
, u
2
, u
3
e v
1
, v
2
, v
3
os valores obtidos respectivamente para u e v acima. Supon-
hamos ainda que u
1
e v
1
sao tais que u
1
v
1
=
p
3
. Segue ent ao que
u
2
= u
1
u
3
= u
1

2
v
2
= v
1
v
3
= v
1

2
onde e uma raiz c ubica primitiva da unidade e, alem disso,
u
2
v
3
= u
1

2
v
1
= u
1
v
1

3
= u
1
v
1
=
p
3
e
u
3
v
2
= u
1
v
1

2
= u
1
v
1

3
= u
1
v
1
=
p
3
Assim, a equacao Y
3
+ pY = q = 0 tem como solucoes
y
1
= u
1
+ v
1
y
2
= u
2
+ v
3
= u
1
+ v
1

2
y
3
= u
3
+ v
2
= u
1

2
+ v
1

onde e uma raiz c ubica primitiva da unidade.

Portanto, para obter as razes da equac ao inicial, temos que fazer
1
= y
1

b
3
,
2
= y
2

b
3
e

3
= y
3

b
3
.
Passaremos a considerar o caso de uma equacao de quarto grau. Aplicaremos o mesmo raciocnio
feito no caso anterior para encontrar suas soluc oes.
Dividindo a equacao pelo coeciente dominante, se necessario, podemos considerar entao uma
equacao de quarto grau da forma
X
4
+ bX
3
+ cX
2
+ dX + e = 0
Fazendo X = Y + h com h C, apos alguns calculos obtemos
Y
4
+ (4h + b)Y
3
+ (termos de graus menores)
Tomando como antes, h =
b
4
na mudanca de variavel acima, chegamos a uma equacao do tipo
Y
4
+ pY
2
+ qY = r = 0
14
chamada quartica reduzida.
Por analogia ao caso anterior, vamos procurar uma solucao para esta ultima equac ao da forma
y = u + v + w, com u, v, w C.
Tomando ent ao y = u + v + w e elevando ao quadrado, obtemos
y
2
= u
2
+ v
2
+ w
2
+ 2uv + 2uw + 2vw
ou seja,
y
2
(u
2
+ v
2
+ w
2
) = 2(uv + uw + vw)
e agora elevando mais uma vez ao quadrado, camos com
y
4
2(u
2
+ v
2
+ w
2
)y
2
+ (u
2
+ v
2
+ w
2
)
2
= 4(u
2
v
2
+ u
2
w
2
+ v
2
w
2
+
2
u
2
vw + 2uv
2
w + 2uvw
2
)
que pode ser escrito da forma
y
4
2(u
2
+ v
2
+ w
2
)y
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)
e como temos y = u + v + w, podemos reescrever esta ultima equacao da forma
y
4
2(u
2
+ v
2
+ w
2
)y
2
8uvwy + (u
2
+ v
2
+ w
2
)
2
4(u
2
v
2
+ u
2
w
2
+ v
2
w
2
) = 0
Assim, basta procurar u, v, w C tais que
_
_
_
2(u
2
+ v
2
+ w
2
) = p
8uvw = q
(u
2
+ v
2
+ w
2
)
2
4(u
2
v
2
+ u
2
w
2
+ v
2
w
2
) = r
Elevando ao quadrado a segunda equac ao e substituindo a primeira na terceira, camos com
_

_
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
=
p
2
16

r
4
Logo, podemos procurar u, v, w C de modo que u
2
, v
2
e w
2
sejam razes da equacao c ubica
Z
3
+
p
2
Z
2
+
_
p
2
16

r
4
_
Z
q
2
64
= 0 (Resolvente da quartica reduzida)
15
Sendo , , C razes desta ultima equacao, entao teremos u
2
= , v
2
= e w
2
= de modo
que uvw =
q
8
, obtendo-se assim y
1
= u + v + w uma raiz da quartica reduzida. As demais razes
da quartica reduzida serao dadas por y
2
= u v w, y
3
= u +v w e y
4
= u v +w, pois a raiz
quadrada primitiva da unidade e exatamente 1.
Para se obter as razes da equacao original, basta fazer entao
x
1
= y
1

b
4
x
2
= y
2

b
4
x
3
= y
3

b
4
x
4
= y
4

b
4
Antes de nalizarmos esta discussao, queremos observar que se a resolvente Y
4
+pY
2
+qY +r = 0
for tal que q = 0, entao a equac ao se transforma em Y
4
+pY
2
+r = 0, chamada equac ao biquadrada,
que pode ser facilmente resolvida mediante a mudanca de variavel Z = Y
2
.
16