HLIO BERNARDO LOPES

Como se sabe, uma equao suscetvel de ser reduzida forma:

(a

+ ib0 ) x n + (a1 + ib1 ) x n 1 + + (a n 1 + ibn 1 ) x + a n + ibn = 0

(1)

a j , b j R, (j=0,1,..,n), a 0 0 ou b0 0 , e onde i a unidade imaginria, diz-se algbrica

racional inteira na incgnita x , definida em C, e de grau n N.

com

Sabe-se, por igual, que toda a equao inteira de grau n >1, com coeficientes em C, tem, pelo menos,
uma raiz neste conjunto.
Contudo, no caso em que os coeficientes da equao so elementos de R, se existirem razes
imaginrias, tero de ser em nmero par e conjugadas duas a duas.
Desde que os matemticos procuraram encontrar as solues de uma equao inteira qualquer, que se
gerou o sonho de ser possvel obter uma frmula resolvente geral para a equao de grau n 1. Para certo
valor de n obter-se-ia a frmula resolvente para a correspondente equao inteira.
Este objetivo de resolver uma equao inteira de grau nN por meio de uma frmula resolvente,
envolvendo apenas operaes algbricas - adio e subtrao, multiplicao e diviso, e extrao de raiz
de ndice inteiro - sobre os coeficientes da equao, foi sendo conseguido, sucessivamente, para as
equaes inteiras dos primeiro, segundo, terceiro e quarto graus.
Acontece que o matemtico noruegus Niels Abel, na sequncia de trabalho anterior de Ruffini,
provou no ser possvel obter uma frmula resolvente para o caso geral da equao inteira do quinto grau.
Uma concluso que acarretou, assim, implicao idntica para o caso das equaes de grau acima do
quinto.
Mais tarde, Evaristo Galois veio a desenvolver a sua Teoria da Irresolubilidade Algbrica, deste
modo colocando um ponto final doutrinrio no sonho dos seus predecessores, no sentido de encontrar
uma frmula resolvente geral para a equao inteira de grau nN.
Sobre este tema, verdadeiramente complexo, vale a pena adquirir e estudar a excelente obra,
TEORIA DE GALOIS, de Owen J. Brison, publicada pela Faculdade de Cincias de Lisboa.
Contudo, para as equaes dos primeiro, segundo, terceiro e quarto graus, foi possvel obter frmulas
resolventes, embora se perceba facilmente que o grau de dificuldade do respetivo manuseio cresce muito
rapidamente com o grau da equao. esta a razo por que se no recorre, na vida corrente, s frmulas
resolventes das equaes dos terceiro e quarto graus.
Ainda assim, o conhecimento destas frmulas resolventes constitui um til instrumento formativo, ao
menos por envolver uma variedade larga de instrumentos matemticos.
EQUAO DO PRIMEIRO GRAU
Equao do primeiro grau na incgnita x , definida em C e com coeficientes neste conjunto, toda
a igualdade que possa reduzir-se forma:

(a

+ ib0 ) x + a1 + ib1 = 0
( 2)

com a j , b j R, (j=0,1), a 0

0 ou b0 0 , e onde i a unidade imaginria.

Uma tal equao pode escrever-se na forma equivalente:

(a

+ ib0 ) x +

a1 + ib1
=0
a 0 + ib0

x+

a1 + ib1
= 0.
a 0 + ib0
( 3)

A equao (3) uma equao binmia, de resoluo muito simples, que no requer, sequer, o recurso
radiciao para ser resolvida, tendo-se:

x+

a1 + ib1
=0
a 0 + ib0

x=

a1 + ib1

a 0 + ib0
(4)

A expresso (4) constitui, pois, a frmula resolvente da equao (2).

Seja, a ttulo de exemplo, a equao:

2 x + 3 i = 0.
Neste caso, tem-se:

a 0 + ib0 = 2

a1 + ib1 = 3 i

pelo que a frmula resolvente (4) fornece a soluo da equao dada:

x=

3i
3 1
= + i.
2
2 2

Para a nova equao:

( 2 + i ) x (1 3i ) = 0
ela pode escrever-se na forma equivalente:

( 2 + i ) x + ( 1 + 3i ) = 0
sendo, pois:

a 0 + ib0 = 2 + i

a1 + ib1 = 1 + 3i.

Assim, a soluo da equao dada, recorrendo frmula resolvente, :

x=

( 1 + 3i )( 2 i )
1 + 3i
1 7
=
= i.
( 2 + i )( 2 i )
2+i
5 5

Seja, desta vez, a equao:

2 x + 3 = 0.

Aqui, tem-se:

a 0 + ib0 = 2

a1 + b1 = 3

pelo que a frmula resolvente fornece a soluo da equao dada:

3
x=
2
EQUAO DO SEGUNDO GRAU
Equao do segundo grau na incgnita x , definida em C e com coeficientes neste conjunto, toda a
igualdade que possa reduzir-se forma:

(a

+ ib0 ) x 2 + (a1 + ib1 ) x + a 2 + ib2 = 0

( 5)

a j , b j R, (j=0,1,2), a 0 0 ou b0 0 , e onde i a unidade imaginria.

com

A equao (5) pode escrever-se na forma equivalente:

(a

+ ib0 ) x 2 +

a1 + ib1
a 2 + ib2
x+
=0
a 0 + ib0
a 0 + ib0

x2 +

a1 + ib1
a 2 + ib2
x+
= 0.
a 0 + ib0
a 0 + ib0
( 6)

No sentido de se obter uma equao binmia do segundo grau, que seja facilmente resolvel por
radiciao, procede-se em (6) mudana de varivel:

x = y+h
determinando o valor de

h que anule o coeficiente do termo em y :

( y + h)

a1 + ib1
a 2 + ib2
=0
y + h) +
(
a 0 + ib0
a 0 + ib0

ou seja:

y2 +

a1 + ib1
a1 + ib1
a 2 + ib2
+ 2h y + h 2 +
h+
=0
a 0 + ib0
a 0 + ib0
a 0 + ib0
(7)

pelo que ter de ser:

1 a1 + ib1
h=

2 a 0 + ib0
Introduzindo em (7) este valor de

h , vir, aps simplificaes:

y2 =

(a

+ ib1 ) 4(a 0 + ib0 )(a 2 + ib2 )

2

4(a 0 + ib0 )

y=

(a

+ ib1 ) 4(a 0 + ib0 )(a 2 + ib2 )

2

2(a 0 + ib0 )

e, tendo em conta que:

x = y+h

y = xh = x+

1 a1 + ib1

2 a 0 + ib0

surge, finalmente, a frmula resolvente de (5):

x=

(a1 + ib1 )

(a

+ ib1 ) 4(a 0 + ib0 )(a 2 + ib2 )

2

2(a 0 + ib0 )
( 8)

Como pode constatar-se, surgem j razes de ndice 2. E, como facilmente se percebe, se os

coeficientes de (5) forem nmeros reais, caso em que b0 = b1 = b2 = 0 , a frmula resolvente (8)
assume a conhecida expresso:

x=

a1 a12 4a 0 a 2
2a 0

Seja, agora, a nova equao:

x 2 3x + 2 = 0.
Neste caso:

a 0 + ib0 = 1 a1 + ib1 = 3 a 2 + ib2 = 2

pelo que vir, por substituio na frmula resolvente (8) as duas solues da equao:

x=

2
3 ( 3) 4 1 2 3 1
=
2 1
2

(x = 2

x = 1)

ambas reais e diferentes.

Seja, desta vez, a nova equao:

x 2 2 x + 2 = 0.
Tem-se aqui:

a 0 + ib0 = 1 a1 + ib1 = 2 a 2 + ib2 = 2

pelo que, recorrendo frmula resolvente (8), viro as duas solues procuradas:
2
2 ( 2) 4 1 2 2 2i
x=
=
2 1
2

(x = 1 + i

x = 1 i) .

Dado que os coeficientes desta equao so nmeros reais, embora as duas solues sejam
imaginrias, elas so conjugadas entre si.
Tome-se, agora, a equao:

x 2 3x + 3 + i = 0
onde se tem:

a 0 + ib0 = 1 a1 + ib1 = 3 a 2 + ib2 = 3 + i.

Aplicando a frmula resolvente (8), vir:
2
3 ( 3) 4 1( 3 + i ) 3 3 4i
x=
=
2 1
2

(x = 2 i

x = 1 + i)

uma vez que se tem:

3 4i = 1 2i

3 4i = 1 + 2i.

Neste caso, embora a equao dada (do segundo grau) tenha duas razes imaginrias, elas no so
conjugadas entre si, o que fica a dever-se a no serem reais todos os coeficientes da equao.
Por fim, convm chamar a ateno para a importncia do designado discriminante da equao do
segundo grau:

(a

+ ib1 ) 4(a 0 + ib0 )(a 2 + ib2 ) .

2

No caso de todos os coeficientes da equao serem reais, caso em que se tem b0

valor do discriminante indica a natureza das solues da equao. Ter-se-, neste caso:

= b1 = b2 = 0 , o

= a12 4a 0 a 2
pelo que, se o radicando de for positivo, as duas solues so reais e diferentes; se for nulo, haver
uma raiz real com grau de multiplicidade 2; se for negativo, ocorrero duas razes imaginrias
conjugadas.
EQUAO DO TERCEIRO GRAU
Equao do terceiro grau na incgnita x , definida em C e com coeficientes neste conjunto, toda a
igualdade que possa reduzir-se forma:

(a

+ ib0 ) x 3 + (a1 + ib1 ) x 2 + (a 2 + ib2 ) x + a 3 + ib3 = 0

(9)

com

a j , b j R, (j=0,1,2,3), a 0 0 ou b0 0 , e onde i a unidade imaginria.

Tal como nos dois casos anteriores, a obteno de uma frmula resolvente para (9) passa por se
conseguir obter uma equao binmia, facilmente resolvel por radiciao.
Embora nos casos das equaes dos primeiro e segundo graus se tenha considerado o caso geral dos
coeficientes das equaes serem nmeros imaginrios, nos casos das equaes dos terceiro e quarto graus

vo considerar-se, sem perda de generalidade, apenas equaes com coeficientes reais. Considerar-se-,
ainda, que a 0 = 1 , pelo que se pretende encontrar uma frmula resolvente para a equao:

x 3 + a1 x 2 + a 2 x + a 3 = 0
com

a j R, (j=1,2,3).
Tal como se fez com a equao do segundo grau, procede-se mudana de varivel:

x = y+h
obtendo-se a nova equao:

( y + h)

+ a1 ( y + h ) + a 2 ( y + h ) + a 3 = 0
2

ou seja:

y 3 + (3h + a1 ) y 2 + (3h 2 + 2ha1 + a 2 ) y + h 3 + a1h 2 + a 2 h + a 3 = 0.

(10 )

Para que esta equao no tenha termo em

y 2 , ter de ser:

3h + a1 = 0

h=

a1

(11)
2

Introduzindo (11) em (10), obtm-se uma equao do terceiro grau em y , mas sem o termo em y , ou
seja, do tipo:

y 3 + py + q = 0
(12 )

com

p, q R.

Significa isto, pois, que o objetivo de encontrar uma frmula resolvente para a equao geral do
terceiro grau recai, afinal, na resoluo de uma equao do tipo (12).
Para resolver uma tal equao procede-se nova mudana de varivel:

y =u+v
obtendo-se:

( u + v ) 3 + p( u + v ) + q = 0
ou seja:

u 3 + v 3 + 3u 2 v + 3uv 2 + p( u + v ) + q = 0

u 3 + v 3 + (3uv + p)( u + v ) + q = 0 .
(13)

Ora, a equao (13) ter soluo se forem:

u 3 + v 3 = q uv =

E daqui se tira, pois, que:

u3 + v 3

= q

uv

u3 + v3

p
3

3 3

u v

p3
=
27
(14 )

pelo que de (14) se percebe que u e v so as solues da equao do segundo grau:

p3
z + qz
=0
27
2

(15)

que toma a designao de equao resovente de (12). Resolvendo a equao (15), obtm-se as solues:

q
q 2 p3
u = +
+
2
4 27
3

v3 =

q
q2 p3

+
2
4 27
(16 )

Assim, determinando os valores de u e de v , podem calcular-se as correspondentes razes cbicas.

Nos termos da Frmula De Moivre Generalizada, encontram-se, em C, trs valores para u e outros tantos
para

v , pelo que se conseguem nove pares ordenados (u, v ) .

Embora estes nove pares ordenados satisfaam ao sistema:

u 3 + v 3 = q
p3
u v =
27
3

nem todos satisfaro a este outro:

u3 + v 3 q
uv =

p
3

uma vez que a equao:

p3
u v =
27
3

resultou de:

uv =

p
3

por elevao ao expoente 3.

(u, v ) que satisfaam equao:

H, assim, que considerar apenas os pares ordenados

uv =

p
3

pelo que as trs razes da equao (12) vm dadas por:

y=3

q
q 2 p3 3 q
q2 p3
+
+
+
+

2
4 27
2
4 27
(17 )

expresso:

= 27q 2 + 4 p 3
d-se o nome de discriminante da equao (12).
A anterior expresso (17), conseguida por Sipio del Ferro, a conhecida Frmula de Tartaglia1. E,
semelhana do que se referiu para a equao do segundo grau, sendo os coeficientes da equao cbica
nmeros reais, a natureza das solues da equao vem dependente do sinal do seu discriminante,
surgindo, por igual, trs situaes distintas.
Admita-se, em primeiro lugar, que o discriminante positivo:

= 27q 2 + 4 p 3 > 0.
Nesta situao os valores fornecidos por (16) so nmeros reais, pelo que as razes cbicas de

u1

1+ i 3
u1
2

muitas vezes, embora injustamente, designada por Frmula de Cardano.

1 i 3
u1
2

u 3 so:

e as de

v3:
v1

onde

1+ i 3
v1
2

1 i 3
v1
2

u1 , v1 R, u13 = u 3 e v13 = v 3 .

Ora, dos nove valores encontrados para

(u, v ) , os nicos que satisfazem equao:

uv =

so

sendo

p
3

y1

= u1 + v1

y2

1+ i 3
1 i 3
u1 +
v1
2
2

y3

1 i 3
1+ i 3
u1 +
v1
2
2

y1 real e y 2 e y 3 imaginrios conjugados.

y1 , y 2 e y 3 so as solues de (12), pelo que as solues da equao incialmente dada sero

y1 + h, y 2 + h e y 3 + h.
Assim,

Seja, ento, a equao do terceiro grau:

x 3 3x 2 + 4 x 2 = 0
onde se tem:

a 0 = 1 a 1 = 3 a 2 = 4 a 3 = 2 .
Procedendo transformao:

x= y

3
= y +1
3

vir a equao do terceiro grau em y :

( y + 1)

3( y + 1) + 4( y + 1) 2 = 0
2

que j no apresenta o termo de grau dois, e onde se tem:

p = 1 q = 0.
Portanto, o discriminante da equao a que se chegou vale:

=4>0

y3 + y = 0

pelo que a equao em y a que se chegou imediatamente atrs ter uma raiz real e duas imaginrias
conjugadas. Te-se-, neste caso:

u3 = 3

3
2

v 3 = 3

3
2

pelo que vir:

u1 = 3

1
2

v 1 = 3

1
2

Assim, as solues da equao transformada da dada so:

y1 = 3

1
2

=0

1
2

1
1+ i 3
1 i 3
2
3
=i
2
2

1
2

1
1 i 3
1+ i 3
2
3
= i .
2
2

y2 = 3
y3 = 3

1
2

Logo, as solues da equao inicialmente dada obtm-se destas pela transformao inversa, ou seja,
adicionando-lhes a unidade, vindo as trs solues procuradas:

x1 = 0 + 1 = 1
x2 = i + 1 = 1 + i
x 3 = i + 1 = 1 i .
Admita-se, agora, que o valor do discriminante nulo:

= 27q 2 + 4 p 3 = 0.
Neste caso, de (16) se tira que
todas reais, tendo-se:

u 3 = v 3 , pelo que u1 = v1 . Assim, as razes da equao transformada so

y1 = 2u1
y 2 = y 3 = u1

1+ i 3 1 i 3
+
= u1
2
2

ou seja, uma raiz real simples e outra real e de grau de multiplicidade dois.
Seja a nova equao do terceiro grau:

x 3 9 x 2 + 24 x 16 = 0

na qual se tem:

a 0 = 1 a1 = 9 a 2 = 24 a 3 = 16 .
Procedendo transformao:

x= y

9
= y+3
3

obtm-se a nova equao:

( y + 3)

9( y + 3) + 24( y + 3) 16 = 0
2

ou seja:

y 3 3y + 2 = 0
onde se tem:

p = 3 q = 2.
Neste caso o discriminante vale:

=0
o que mostra que a equao inicial apresenta trs razes reais, sendo uma com grau de multiplicidade dois.
Aplicando as equaes (16), obtm-se os valores de

u 3 e de v 3 :

u 3 = v 3 = 1
pelo que vir:

u1 = v1 = 1.
Portanto, as solues da equao transformada so:

y1 = 2u1 = 2
y 2 = y 3 = ( 1) = 1
Logo, as solues da soluo inicialmente dada obtm-se destas pela transformao inversa da aplicada,
ou seja, adicionando-lhes 3:

x1 = 2 + 3 = 1
x 2 = x 3 = 1 + 3 = 4.
Seja, por fim, o caso em que o discriminante negativo:

= 27q 2 + 4 p 3 < 0

e que corresponde situao em que ocorrem trs razes reais diferentes.

Ora, sendo

< 0, as equaes (16) podem escrever-se na forma:

u3 =

q
q 2 p3
+i

2
4 27

q
q 2 p3
v = i

2
4 27
3

dado que u e
trigonomtrica:

v 3 so aqui nmeros imaginrios. E podem, claro est, ser expressos na forma

u 3 = ( cos + isen )
v 3 = ( cos isen )

sendo que o mdulo e o argumento se determinam, respetivamente, por:

p3
=
27

= arccos

q
.
2

Nestas circunstncias, as solues da equao transformada so:

1

y1 = 2 3 cos
1

y 2 = 2 3 cos
1

y 3 = 2 3 cos

2
3

4
3

Este o designado caso irredutvel, dado que a anterior expresso complexa se calcula pelo recurso
sua expresso na forma trigonomtrica.
que:

Conhecidas as solues da equao transformada, acham-se as da inicialmente dada, tendo presente

x = y + h.
Considere-se, pois, a nova equao do terceiro grau na incgnita x :

x 3 9 x 2 + 20 x 12 = 0
para a qual se tem:

a 0 = 1 a1 = 9 a 2 = 20 a 3 = 12 .
Procedendo transformao:

x= y
obtm-se a equao:

9
= y+3
3

y3 7y 6 = 0
ou seja:

p = 7 q = 6.
Ora, de acordo com o anteriormente explanado, tem-se:

73
33

= arccos

6
.
2

Recorrendo a uma mquina de calcular, obtm-se as solues da equao transformada:

y1 = 3

y 2 = 2

y 3 = 1

vindo para as solues da equao inicial estes mesmos valores, mas adicionados de 3:

x1 = 6

x2 = 1

x3 = 2 .

Como se pde ver, a resoluo da equao do terceiro grau, feita atravs da frmula resolvente,
complicada de realizar, exigindo mesmo, quando todas as razes so reais e distintas, o recurso a mquina
de calcular razoavelmente potente.
Por outro lado, j surge a necessidade de calcular razes cbicas, para l de continuarem a ter de
realizar-se razes quadradas.
EQUAO DO QUARTO GRAU
Equao do quarto grau na incgnita x , definida em C e com coeficientes neste conjunto, toda a
igualdade que possa reduzir-se forma:

(a
com

a0

+ ib0 ) x 4 + (a1 + ib1 ) x 3 + (a 2 + ib2 ) x 2 + (a 3 + ib3 ) x + a 4 + ib4 = 0

a j , b j R, (j=0,1,2,3,4), a 0 0 ou b0 0 , e onde i a unidade imaginria.

Considera-se aqui, sem perda de generalidade, uma equao com todos os coeficientes reais e com
= 1:

x 4 + a1 x 3 + a 2 x 2 + a 3 x + a 4 = 0.
(18 )

Tal como nos casos anteriores, procede-se mudana de varivel:

x = y+h
introduzindo-a em (18), procurando o valor de

h que anula o termo em y 3 . Esse valor , pois:

h=
caindo-se na nova equao de grau quatro:

a1
4

y 4 + py 2 + qy + r = 0
(19 )

cujas solues so as de (18) adicionadas de:

a1

4
A fim de estabelecer a frmula resolvente para este tipo de equao, procede-se de modo em tudo
semelhante ao realizado com a equao do terceiro grau, fazendo a transformao:

y = u + v + w.
( 20 )

Elevando ambos os membros de (20) ao quadrado, obtm-se a expresso:

y 2 (u 2 + v 2 + w 2 ) = 2( uv + vw + wu)
( 21)

que, elevada de novo ao quadrado, fornecer:

y 4 2(u 2 + v 2 + w 2 ) y 2 8uvwy + (u 2 + v 2 + w 2 ) 4(u 2 v 2 + v 2 w 2 + w 2 u 2 ) = 0.

2

Ora, a equao (19) satisfeita se for possvel determinar valores para

sistema de equaes abaixo:

u2 + v 2 + w2 =
uvw =

u, v , w que satisfaam ao

p
2

q
8

(u 2 + v 2 + w 2 )2 4(u 2 v 2 + v 2 w 2 + w 2 u 2 ) = r.
Se neste sistema se elevarem ao quadrado ambos os membros da segunda equao e se introduzir a
primeira na terceira, obtm-se o novo sistema:

u2 + v 2 + w2 =

p
2

q2
u v w =
64
2

u2v 2 + v 2 w2 + w2u2 =

p 2 4r
16

e que mostra que

u 2 , v 2 e w 2 so as razes da equao cbica:

p 2 p 2 4r
q2
z +
z
=0
2
16
64

z3 +

( 22 )

que toma a designao de equao resolvente da equao (19).

Simplesmente, esta equao, sendo do terceiro grau, j se sabe resolver. Sejam, ento, z1 , z 2 , z 3 as
suas solues. Dado que se tem:

z1 = u 2

z2 = v 2

z3 = w 2

viro:

u = z1
Dos oito ternos ordenados,

v = z2

w = z3 .

(u, v, w) , s podem ser considerados os que satisfaam a condio:

uvw =

q
8

pelo que ter de ser:

y = z1 z2 z 3
( 23)

expresso esta que acaba por fornecer as quatro razes de (19), e onde
resoluo de (22), usando a metodologia de Tartaglia.
No caso de se ter q =
o problema deixa de o ser.
Se

z1 , z 2 , z 3 se encontram atravs da

0 , a equao (19) de resoluo imediata, e, num sentido que se compreende,

q 0 e z j R + , (j=1,2,3), h duas situaes. Seja, ento, q R + . Neste caso, as solues de

(19) so:

y1 = z1 + z 2 + z 3
y 2 = z1 z 2 z 3
y 3 = + z1 + z 2 z 3
y 4 = + z1 z 2 + z 3 .
Em contrapartida, se

z j R + , (j=1,2,3), e q R , as solues de (19) so:

y 1 = + z1 + z 2 + z 3
y 2 = + z1 z 2 z 3
y 3 = z1 + z 2 z 3
y 4 = z1 z 2 + z 3 .
Se

z1 R + e z 2 , z 3 R , com q R + , as solues de (19) sero:

y1 = + z1 + ( + )i
y 2 = + z1 ( + ) i
y 3 = z1 + ( ) i
y 4 = z1 ( )i

onde:

z 2 = i
No caso em que

z 3 = i .

z1 R + e z 2 , z 3 R , com q R , as razes de (19) so:

y1 = z1 + ( + )i
y 2 = z1 ( + )i
y 3 = + z1 + ( )i
y 4 = + z1 ( )i.

Finalmente, se for

z1 R + e z 2 , z 3 C, z 2 = z 3 , as solues de (19) so:

y1 = z1 + 2
y 2 = z1 2
y 3 = + z1 + 2 i
y 4 = + z1 2 i
se se tiver

q R + , e sero:

y1 = + z1 + 2
y 2 = + z1 2
y 3 = z1 + 2 i
y 4 = z1 2 i
se se tiver

q R . Nestes dois ltimos casos, dado que z 2 , z 3 C e z 2 = z 3 , tem-se:

z 2 = ( + i )

z 3 = ( i ) .

Numa perspetiva estritamente terica, a frmula (23) permite resolver a equao geral do quarto grau,
usando uma expresso algbrica irracional sobre os coeficientes da equao. A verdade, contudo, que o
seu valor prtico quase nulo, como se pde perceber de quanto de exps at aqui.
Para se poder aquilatar do fantstico trabalho que envolve a utilizao da frmula resolvente da
equao inteira e completa do quarto grau, basta aplic-la resoluo da equao:

x 4 10 x 3 + 35x 2 50 x + 12 = 0
cujas solues so 1, 2, 3 e 4. Em contrapartida, uma mquina de calcular atual fornece, em segundos, as
solues da equao.
Finalmente, no excessivo voltar a convidar o leitor interessado a envolver-se no estudo e na
dominncia da excelente obra, TEORIA DE GALOIS, de Owen J. Brison, editada pela Faculdade de
Cincias de Lisboa, por onde se pode compreender a razo de ser da impossibilidade de se encontrar uma
frmula resolvente para a equao geral de grau maior ou igual a um e natural, nem mesmo frmulas
particulares para equaes completas com grau superior a quatro. Em todo o caso, o leitor, desde que
realmente queira aprender por si mesmo, tente pr em causa o que aqui se diz, e, deitando mo do mtodo
geral usado nas equaes aqui tratadas, aplique-o ao caso de uma equao inteira e completa do quinto
grau, com coeficientes reais, no sentido de encontrar a correspondente frmula resolvente.
Tal como refere LOPES, 2004, a sempre atual Teoria da Irresolubilidade Algbrica, tratada por Galois
e Abel, um tema que requer j um nvel intelectual de verdadeira excelncia, mas que se constitui num
extraordinrio passeio do esprito. Procure voc mesmo, aluno interessado e desejoso da excelncia,
realizar esse passeio. S pela extraordinria dificuldade que vai encontrar, vale a pena.
BIBLIOGRAFIA

BRISON, Owen J., (2003): TEORIA DE GALOIS, 4 Edio, Textos de Matemtica, Departamento de
Matemtica, Faculdade de Cincias de Lisboa.
GARBI, Gilberto G., (1997): O ROMANCE DAS EQUAES ALGBRICAS, MAKRON Books do
Brasil, So Paulo.
LOPES, H. Bernardo, (1985): SOBRE A RESOLUO DE EQUAES ALGBRICAS RACIONAIS
INTEIRAS, Edio Restricta e Particular.
LOPES, Hlio Bernardo, (2004): A RESOLUO DE EQUAES, Millenium, N 29, ISPV, Viseu.