Resoluo de Equaes Algbricas

por Radicais
Gervasio G. Bastos
Resumo
Viso histrica do problema da resoluo de equaes algbri-
cas, desde os antigos egpcios at Galois. A completao de
quadrados e os artifcios de clculo para resolver as equaes
cbicas e qurticas. Discusso das equaes com coecientes
reais. Comentrios sobre a impossibilidade de resoluo de equa-
es com grau superior a quatro e o surgimento da teoria dos
grupos.
1 Introduo
Nesta exposio apresentamos os mtodos clssicos para resolver as equa-
es algbricas com grau 2 n 4, em que se procura determinar
expresses para as razes de um dado polinmio f(x) com grau n, em
funo de seus coecientes, envolvendo somente as operaes algbri-
cas fundamentais e mais a extrao de razes quadradas, cbicas, etc.
A isso chamamos a resoluo por radicais da equao f(x) = 0. Para
simplicar a questo, mas sem perder a essncia do mtodo de soluo,
consideraremos somente equaes com coecientes reais.
A equao quadrtica, apesar de j manuseada no Antigo Egito cerca
de l700 anos A. C., somente no sculo XII foi posta na forma como hoje
conhecemos, graas contribuio de Baskhara (matemtico hindu) que
a escrevera em versos. As equaes do terceiro e quarto graus tiveram
suas frmulas estabelecidas no sculo XVI pela escola italiana represen-
tada por S. del Ferro (1465?-1526), N. Tartaglia (1500?-57), G. Cardano
(1501-76) e L. Ferrari (1522-65), entre outros. Deve-se a del Ferro a re-
soluo da equao cbica (ele manteve o seu mtodo em segredo), mais
tarde tambm resolvida independentemente por N. Tartaglia. Tudo isso
se deu at 1545, ano em que G. Cardano a publicou, com as devidas
1
referncias a del Ferro e Tartaglia, em seu livro "Ars Magna", junta-
mente com a frmula da equao qurtica, esta ltima estabelecida "a
seu pedido"por seu discpulo L. Ferrari. No nal do sculo XVIII, o
matemtico italiano P. Runi deu uma prova (com algumas lacunas
em sua argumentao) da impossibilidade de se resolver por radicais a
equao do 5.
o
grau. A primeira prova convincente da impossibilidade de
resoluo da equao quntica foi estabelecida, no incio do sculo XIX,
pelo matemtico noruegus N. H. Abel (1802-29). O trabalho de Abel foi
completado pelo gnio francs E. Galois (1811-32), que caracterizou as
equaes f(x) = 0, com grau arbitrrio n, que so solveis por radicais,
por meio de uma propriedade de certo grupo G
f
de permutaes de suas
razes, atualmente denominado o grupo de Galois de f. Pode-se dizer
que exatamente a nasce a teoria dos grupos. A partir desse resultado,
conclui-se que a equao geral de grau n 5 no pode ser resolvida por
radicais. Uma boa referncia em lngua portuguesa para essa parte da
histria da matemtica se encontra em [M].
Chamaremos equao algbrica de grau n 2 uma igualdade
a
0
+ a
1
x + ... + a
n
x
n
= 0 (n)
onde a
i
R (i = 0, 1, ..., n), a
n
6= 0. Procura-se determinar os nmeros
x, a incgnita, de modo que a igualdade seja satisfeita. Como conse-
qncia do teorema fundamental da lgebra, sabemos que o polinmio
f(t) =
P
n
i=0
a
i
t
i
R[t], de grau n, fatora-se como
f(t) = a
n
(t z
1
)...(z z
n
) ()
onde z
1
, ..., z
n
C (= corpo dos nmeros complexos) no necesariamente
distintos, univocamente determinados. Nesse sentido, dizemos que toda
equao algbrica de grau n tem exatamente n razes complexas, po-
dendo haver repeties, i. e. contando suas multiplicidades. As razes,
coecientes, grau, etc. da equao (n) so, por denio, as razes, coe-
cientes, grau, etc. do polinmio f. Desenvolvendo o segundo membro de
(), e comparando os coecientes de mesmo grau, obtm-se as relaes
entre coecientes e razes de um polinmio:
z
1
+ ... + z
n
= a
n1
/a
n
z
1
z
2
+ ... + z
n1
z
n
= a
n2
/a
n
.
.
.
P
i
1
<i
2
<...<i
k
z
i1
z
i
2
...z
i
k
= (1)
k
a
nk
/a
n
.
.
.
z
1
...z
n
= (1)
n
a
0
/a
n
(

)
2
Para encontrar as razes de f(x) = 0, podemos dividir todos os coe-
cientes de f por a
n
6= 0, e assim supor, sem perda de generalidade, que
a
n
= 1.
2 A Equao de 2.
o
Grau
Para n = 2, temos a equao quadrtrica
x
2
+ bx + c = 0 (2)
Para resolv-la, basta completar o quadrado: x
2
+2(b/2)+(b/2)
2
+
c(b/2)
2
= 0

x +
b
2

2
= c(b/2)
2
x+
b
2
=

b
2
4c
4

1/2
x =
b

2
, onde = b
2
4c chamado o discriminante (2). Dene-se
para r < 0 :

r = i

r, onde i a unidade imaginria no corpo C dos

nmeros complexos. Obtm-se, assim, a conhecida frmula de Baskhara
x =
b

2
3 A Equao do 3.
o
Grau
O processo de completamento do cubo para a equao x
3
+ax
2
+bx+
c = 0 apenas retira o seu coeciente de 2.
o
grau. De fato, podemos
escrever x
3
+3(
a
3
)x
2
+3(
a
3
)
2
x +(
a
3
)
3
+(b
a
2
3
)x +c
a
3
27
= (x +
a
3
)
3
+
p(x +
a
3
) + q = 0, onde p = b
a
2
3
e q =
2a
3
27

ab
3
+ c. Agora, basta
resolver a equao reduzida
x
3
+ px + q = 0 (3)
cujas razes x
i
fornecem as trs razes x
i
a/3 da equao original com-
pleta.
Para resolver (3), usa-se um artifcio de clculo: x = u + v, com
u 6= 0 e v 6= 0, a determinar. Note-se que podemos supor x 6= 0, i.
e. q 6= 0; caso contrrio recamos em uma equao quadrtica. Assim,
(u+v)
3
+p(u+v)+q = 0 u
3
+v
3
+q+(3uv+p)(u+v) = 0. Obviamente,
obtm-se uma raiz x = u+v, se pudermos resolver o sistema de equaes
em u e v:

u
3
+ v
3
= q
3uv = p
(A)
As solues de (A) so necessariamente solues (u, v) do seguinte
sistema, o qual pode ser resolvido facilmente em u
3
e v
3
:
3

u
3
+ v
3
= q
u
3
v
3
=
p
3
27
(B)
No entanto, (B) tem a desvantagem de introduzir solues estranhas,
j que nem todos os u e v encontrados em (B) servem para (A). De
fato, devemos reter apenas os valores de u e v (dados por razes cbicas)
tais que uv = p/3. Pelas relaes (

), vemos que u
3
e v
3
so as razes
da equao y
2
+ qy
p
3
27
= 0, chamada a equao quadrtica resolvente
de (3). Uma vez encontradas as razes , C da resolvente, podemos
tomar u =
1/3
e v =
1/3
.
Nota: Sabemos se z uma das razes cbicas complexas de C,
ento as trs razes cbicas de so z, wz e wz, onde w = e
i(2/3)
=
cos 2/3 + i sen 2/3 = 1/2 + i

3/2 uma raiz cbica da unidade.

Em(B) os possveis valores para uv so
p
3
,
wp
3
ou
w
2
p
3
. Devemos
eliminar as solues "estranhas"(u, v) tais que uv 6=
p
3
. Pela frmula
de Baskhara, aplicada resolvente quadrtica, obtemos u
3
= q/2 +
p
q
2
/4 + p
3
/27 e v
3
= q/2
p
q
2
/4 + p
3
/27.
Temos, ento nove solues (u, v) para o sistema (B), onde u e v re-
presentam, respectivamente, uma das razes cbicas complexas de q/2+
p
q
2
/4 + p
3
/27 e q/2
p
q
2
/4 + p
3
/27.
Escolhamos para u qualquer uma das razes cbicas complexas de
q/2+
p
q
2
/4 + p
3
/27, que indicaremos por u =
3
q
q/2 +
p
q
2
/4 + p
3
/27.
Tomemos v =
p
3u
. Ento,
v
3
=
p
3
27u
3
=
p
3
27(
q
2
+
p
q
2
/4 + p
3
/27)
=
p
3
(q/2
p
q
2
/4 + p
3
/27)
27(
q
2
+
p
q
2
/4 + p
3
/27)(
q
2

p
q
2
/4 + p
3
/27)
=
p
3
(q/2
p
q
2
/4 + p
3
/27)
27u
3
v
3
=q/2
p
q
2
/4 + p
3
/27
Logo, v uma das razes cbicas complexas de q/2
p
q
2
/4 + p
3
/27
com 3uv = p, a qual denotaremos por v =
3
q
q/2
p
q
2
/4 + p
3
/27.
Obtemos ento uma raiz de (3) dada por
4
x = u + v =
3
q
q/2 +
p
q
2
/4 + p
3
/27 +
3
q
q/2
p
q
2
/4 + p
3
/27
Uma vez obtida essa raiz, x = u + v, observemos que
[x (u + v)][x (wu + wv)][x (wu + wv)] =
[x (u + v)][x (wu + w
2
v)][x (w
2
u + wv)] =
[x (u +v)][x
2
(wu +w
2
v +w
2
u +wv)x +(u
2
+w
2
uv +wuv +v
2
)] =
[x (u + v)][x
2
(u + v)(w + w
2
)x + u
2
uv + v
2
] =
x
3
[(u + v) + (u + v)(1)]x
2
+
[(u+v)
2
(1)+u
2
uv+v
2
]x(u+v)(u
2
uv+v
2
) = x
3
3uv+(u
3
+v
3
) =
x
3
+ px + q.
Logo, as razes de (3) so dadas por
x
1
=
3
q
q/2 +
p
q
2
/4 + p
3
/27 +
3
q
q/2
p
q
2
/4 + p
3
/27
x
2
= w
3
q
q/2 +
p
q
2
/4 + p
3
/27 + w
3
q
q/2
p
q
2
/4 + p
3
/27
x
3
= w
3
q
q/2 +
p
q
2
/4 + p
3
/27 + w
3
q
q/2
p
q
2
/4 + p
3
/27
onde os radicais
3
q
q/2 +
p
q
2
/4 + p
3
/27 e
3
q
q/2
p
q
2
/4 + p
3
/27
so escolhidos sob a condio uv = p/3. Portanto, as razes x de (3)
se expressam pela chamada frmula de Cardano:
x = w
k
3
q
q/2 +
p
q
2
/4 + p
3
/27+w
k
3
q
q/2
p
q
2
/4 + p
3
/27, k = 0, 1, 2.
Example 1 x
3
x + 1 = 0. Temos p = 1 e q = 1. Portanto, temos
x
1
=
3
q
1/2 +
p
1/4 1/27 +
3
q
1/2
p
1/4 1/27
=
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108
x
2
= w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
x
3
= w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
onde w =
1
2
+i

3
2
e os dois radicais podem ser tomados como os rad-
icais cbicos reais, pois (
3
q
1/2 +
p
23/108)(
3
q
1/2
p
23/108) =
1/3 = p/3.
Example 2 Tomemos agora um exemplo de equao com razes pres-
critas: (x5)(x+1)(x+4) = x
3
21x20 = 0. Escolhendo inicialmente
qualquer raiz cbica u =
3
p
10 + i

243, vimos que existe uma nica raiz

cbica v =
3
p
10 i

243 tal que 5 = u + v. Agora, tudo o que podemos

acrescentar que {1, 4} = {wu+wv, wu+wv}. Poderamos, claro,
ter partido de 1 ou de 4.
5
Example 3 A equao x
3
3x + 2 = 0 tem como razes
x
1
=
3

1 +
3

1 = 2
x
2
= w
3

1 + w
3

1 = 1
x
3
= w
3

1 + w
3

1 = 1.
3.1 O Discriminante
O discriminante da equao (3) denido por
= (x
1
x
2
)
2
(x
1
x
3
)
2
(x
2
x
3
)
2
, onde x
i
C (i = 1, 2, 3) so as razes
da equao.
Proposition 4 O discriminante da equao x
2
+ px + q dado, em
termos dos seus coecientes, por
= 4p
3
27q
2
.
Proof. Sabemos que as razes da equao so dadas por x
1
= u+v, x
2
=
wu + w
2
v e x
3
= w
2
u + wv, onde u (resp. v) uma das razes cbicas
complexas de q/2 +
p
q
2
/4 + p
3
/27 (resp. q/2
p
q
2
/4 + p
3
/27) e
uv = p/3. Logo,
x
1
x
2
=(1 w)u + (1 w
2
)v = (1 w)(u w
2
v)
x
1
x
3
=(1 w
2
)u + (1 w)v = (1 w)(w
2
u + v)
x
2
x
3
=(w w
2
)u + (w
2
w)v = w(1 w)(u v)
(x
1
x
2
)(x
1
x
3
)(x
2
x
3
) = w(1 w)
3
w
2
(v
3
u
3
) =
(1 w)
3
(2
p
q
2
/4 + p
3
/27).
Por outro lado temos (1w)
6
= [(1w)
3
]
2
= (13w+3w
2
w
3
)
2
=
(3i

3)
2
= 27.
= [(x
1
x
2
)(x
1
x
3
)(x
2
x
3
)]
2
= 27(q
2
+4p
3
/27) = 4p
3
27q
2
.
Como as razes da equao do 3.
o
grau completa x
3
+ax
2
+bx+c = 0
so obtidas subtraindo-se a/3 das razes x
i
da equao reduzida, ento
o discriminante o mesmo que o da equao reduzida. Fazendo as
substituies p = b a
2
/3 e q = 2a
3
/27 + c, obtemos = 4a
3
c +
a
2
b
2
+ 18abc 4b
3
27c
2
. Do mesmo modo, podemos obter expresses
para as razes da equao completa em termos dos coecientes a, b e c.
Em termos do discriminante, as razes da cbica reduzida so:
x
1
=
3
q
q/2 +
p
/108 +
3
q
q/2
p
/108
x
2
= w
3
q
q/2 +
p
/108 + w
3
q
q/2
p
/108
x
1
= w
3
q
q/2 +
p
/108 + w
3
q
q/2
p
/108
6
onde os radicais cbicos indicam razes cbicas tais que
(
3
q
q/2 +
p
/108)(
3
q
q/2
p
/108) = p/3, e w a raiz cbica
da unidade dada por w = e
2i/3
= cos 2/3+i sen 2/3 = 1/2+i

3/2.
3.2 Discusso da Equao do 3.
o
Grau
Consideremos o polinmio f(X) = X
3
+ pX + q R[X], e a equao
cbica f(x) = x
3
+ px + q = 0. Em primeiro lugar, observemos que
z C raiz de f(X) se e somente se z raiz de f(X). De fato, de
x
3
+ px + q = 0, tiramos (x)
3
+ px + q = x
3
+ px + q = 0 = 0.
1. A equao tem uma raiz tripla se e somente se p = q = 0. Com
efeito, se p = q = 0, claro que x
1
= x
2
= x
3
= 0. Reciprocamente,
se x
1
= x
2
= x
3
= c, tem-se x
3
+ px + q = (x c)
3
= x
3
3cx
2
+
3c
2
x + c
3
, para todo x C. Logo, c = 0, i.e. p = q = 0.
2. A equao tem uma raiz dupla, x
1
= x
2
6= x
3
= 0 e (p, q) 6=
(0, 0). A implicao decorre imediatamente da denio do
discriminante e de (1). Novamente por (1), se (p, q) 6= (0, 0), ento
temos, pelo menos, duas razes distintas. Se, alm disso, = 0,
teremos somente uma raiz dupla.
3. As trs razes so simples (i.e. no h raiz repetida) se e somente
se 6= 0, como se v a partir da denio do discriminante.
4. 0 se e somente se todas as razes da equao so reais. A
condio obviamente necessria, pois o quadrado de qualquer
nmero real no negativo. Tambm suciente, pois se uma
das razes imaginria, tem-se duas imaginrias conjugadas, diga-
mos x
1
e x
2
= x
1
, e temos f(X) = (X x
1
)(X x
1
)(X x
3
).
Comparando os termos constantes, obtemos |x
1
|
2
x
3
= q R;
logo, x
3
= c R. Portanto, = [(x
1
x
1
)(x
1
c)(x
1
c)]
2
=
[2=(x
1
)i |x
1
c|
2
]
2
= r
2
< 0.
5. Se < 0, podemos tomar
x
1
=
3
q
q/2 +
p
/108 +
3
q
q/2
p
/108, onde as razes
cbicas so as reais, pois o produto delas p/3. Ademais, temos
neste caso, duas razes complexas no reais conjugadas. Pelas re-
laes (

), tem-se: q = x
1
|x
2
|
2
0 x
1
0.
6. Se > 0, tem-se trs razes reais distintas. Neste caso, tem-se
4p
3
27q
2
> 0 e portanto p < 0.
7
Quando a equao do 3.
o
grau, com coecientes racionais, f(x) = 0
tem uma raiz x
1
Q, podemos escrever f(x) = (x x
1
)g(x). Portanto,
as razes dessa equao so x
1
e mais as razes da equao quadrtica
g(x) = 0, no havendo necessidade do uso da frmula de Cardano. Caso
contrrio, f(x) = x
3
+px +q um polinmio com coecentes racionais,
irredutvel sobre Q. Se = 4p
3
27q
2
> 0, a equao f(x) = 0 tem
trs razes reais (irracionais), x
1
, x
2
, x
3
, distintas
x
1
=
3
q
q/2 + i
p
/108 +
3
q
q/2 i
p
/108
x
2
= w
3
q
q/2 + i
p
/108 + w
2
3
q
q/2 i
p
/108
x
3
= w
2
3
q
q/2 + i
p
/108 + w
3
q
q/2 i
p
/108
Notemos que no obstante serem reais, as razes se expressam em
termos de radicais cbicos de nmeros complexos no reais. Esta situ-
ao conhecida como o casus irreducibilis, o qual na poca de Cardano
era envolto em mistrio pois os nmeros complexos no eram ainda bem
denidos; por exemplo, os radicais quadrticos de nmeros negativos
eram chamados nmeros imaginrios. Hoje sabemos que os dois radi-
cais na expresso de x
1
so complexos conjugados.
Example 5 x
3
4x 1 = 0. Temos p = 4, q = 1,
= 4 (4)
3
27 (1)
2
= 229 > 0. Assim, a equao tem trs razes
reais distintas, dadas pela frmula de Cardano:
x
1
=
3
q
1/2 + i
p
229/108 +
3
q
1/2 i
p
229/108
x
2
= w
3
q
1/2 + i
p
229/108 + w
3
q
1/2 i
p
229/108,
x
3
= w
3
q
1/2 + i
p
229/108+w
3
q
1/2 + i
p
229/108. Usando o computa-
dor, encontramos essas razes dadas numericamente:
{[x = 1. 860 8] , [x = 0.254 1] , [x = 2. 114 9]}; o grco da curva y =
x
3
4x 1 o que se v abaixo.
2.5 1.25 0 -1.25 -2.5
10
5
0
-5
-10
-15
x
y
x
y
8
4 Equao do 4.
o
Grau
A equao completa x
4
+ ax
3
+ bx
2
+ cx + d pode ser escrita na forma
(x+a/4)
4
+p(x+a/4)
2
+q(x+a/4)+r, pelo processo de completamento
da quarta potncia. Assim basta considerar a equao do quarto grau
reduzida x
4
+ px
2
+ qx + r = 0 (4). Como no caso da equao cbica,
faamos x = u +v +z, com u 6= 0, v 6= 0, z 6= 0. Temos: x
2
(u
2
+v
2
+
z
2
) = 2(uv + uz + vz)
[x
2
(u
2
+ v
2
+ z
2
)]
2
= 4(uv + uz + vz)
2
x
4
2(u
2
+ v
2
+ z
2
)x
2
+
(u
2
+ v
2
+ z
2
)
2
= 4[u
2
v
2
+ u
2
z
2
+ v
2
z
2
+ 2(u
2
vz + uv
2
z + uvz
2
)] =
4(u
2
v
2
+ u
2
z
2
+ v
2
z
2
)+
8uvz(u +v +z) x
4
2(u
2
+v
2
+z
2
)x
2
8(uvz)x +[(u
2
+v
2
+z
2
)
2

4(u
2
v
2
+u
2
z
2
+v
2
z
2
)] = 0. Assim, se (u, v, z) uma soluo do sistema:

u
2
+ v
2
+ z
2
= p/2
uvz = q/8
u
2
v
2
+ u
2
z
2
+ v
2
z
2
= (p
2
4r)/16
, ento x = u +v +z uma raiz de
(4). mais fcil resolver o sistema seguinte

u
2
+ v
2
+ z
2
= p/2
u
2
v
2
z
2
= q
2
/64
u
2
v
2
+ u
2
z
2
+ v
2
z
2
= (p
2
4r)/16
em u
2
, v
2
, z
2
. De fato, temos que
u
2
, v
2
e z
2
so as razes da cbica
y
3
+ (p/2)y
2
+ [(p
2
4r)/16]y q
2
/64 = 0
chamada a cbica resolvente de (4). Encontramos ento nmeros com-
plexos u
2
= , v
2
= , z
2
= . Escolhendo duas razes quadradas
u =

e v =

, determinamos z = q/8uv. Como = z
2
=
q
2
/64u
2
v
2
= (q/8uv)
2
, temos que z = q/8uv uma das razes
quadradas de . Assim, x =

uma raiz de (4). Temos

ento as quatro razes de (4), dadas por:
x
1
=

x
2
=

x
3
=

x
4
=

Example 6 Na equao x
4
+ 8x + 4 = 0, temos p = 0, q = 8 e r = 4.
Logo, a cbica resolvente y
3
(16/16)y 64/64 = y
3
y 1 = 0, com
= 4(1)
3
27 (1)
2
= 23 < 0. Logo, u
2
=
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108(radicais reais),
v
2
= w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
z
2
= w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108, onde w = 1/2 +
9
i

3/2.
Para f(x) = x
4
+ x + 4 , temos f
0
(x) = 4x
3
+ 1 = 0 x =
3
p
1/4.
Temos f(
3
p
1/4) = (
3
p
1/4)
4

3
p
1/4 + 4 = 4
3
16
4
2
3
= 3. 527 5 ,
f
00
(x) = 12x
2
e portanto f
00
(
3
p
1/4) > 0. Assim, no h raiz real para
a nossa equao; todas razes so complexas no reais, dadas por
x
1
=
2
r
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108 +
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108 +
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
x
2
=
2
r
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
x
3
=
2
r
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108 +
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
x
4
=
2
r
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108 +
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108.
Os trs radicais quadrticos em cada raiz so tomados satisfazendo
condio:
2
r
3
q
1/2 +
p
23/108 +
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108
2
r
w
3
q
1/2 +
p
23/108 + w
3
q
1/2
p
23/108 = 1/8.
Usando o computador, encontramos essas razes numericamente:
[x = 1. 003 9 0.871 02i] , [x = 1. 003 9 + 0.871 02i] ,
[x = 1. 003 9 1. 121 1i] , [x = 1. 003 9 + 1. 121 1i].
10
5 A Equao de Grau n 5
A insolubilidade da equao geral de grau n 5 provada nos cursos
de lgebra sobre a teoria dos corpos, podendo ser encontrada em
[E, 9]. Parte deles dedicada s extenses algbricas de corpos, cul-
minando com o chamado teorema fundamental da teoria de Galois para
uma extenso K L de certo tipo, determinando uma correspodncia
biunvoca entre os subcorpos intermedirios K F L e os subgrupos
do grupo G(L|K) dos automorsmos de L sobre K. Resulta dessa teoria
que a equao f(x) = x
n
+ t
1
x
n1
+ ... + t
n
= 0 pode ser resolvida por
radicais se e somente se G
f
= G(L|K) um grupo solvel, onde L
construdo a partir do polinmio f. Prova-se que esse grupo pode ser
considerado como um subgrupo do grupo simtrico S
n
, das permutaes
das n razes de f. Hoje em dia, a teoria dos grupos faz parte do pro-
grama do curso inicial de lgebra abstrata dos cursos de graduao em
matemtica. Um dos resultados importantes da teoria dos grupos o
que mostra que S
n
somente solvel se n 4 (veja.[B], cap.2). Como a
equao geral de grau n tem S
n
como o grupo G
f
, ento conclui-se que
f(x) = 0, para n 5 no admite uma frmula para suas razes como as
dos casos n 4.
6 Referncias
[B] G. G. Bastos, Notas de lgebra, Edies Livro Tcnico, Fortaleza,
2002
[E] O. Endler, Teoria dos Corpos, Monog. de Matemtica N.
o
44, IMPA,
1987
[M] C. P. Milies, Breve Introduo Histria da Teoria dos Grupos,
Notas da XII Escola de lgebra, Diamantina (MG), 1992.
Gervasio Gurgel Bastos
UFC
ggbastos@ufc.br
11