Escolar Documentos
Profissional Documentos
Cultura Documentos
(a
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
(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)
2 x + 3 i = 0.
Neste caso, tem-se:
a 0 + ib0 = 2
a1 + ib1 = 3 i
x=
3i
3 1
= + i.
2
2 2
( 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.
x=
( 1 + 3i )( 2 i )
1 + 3i
1 7
=
= i.
( 2 + i )( 2 i )
2+i
5 5
2 x + 3 = 0.
Aqui, tem-se:
a 0 + ib0 = 2
a1 + b1 = 3
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
com
(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
( 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)
1 a1 + ib1
h=
2 a 0 + ib0
Introduzindo em (7) este valor de
y2 =
(a
4(a 0 + ib0 )
y=
(a
2(a 0 + ib0 )
x = y+h
y = xh = x+
1 a1 + ib1
2 a 0 + ib0
x=
(a1 + ib1 )
(a
2(a 0 + ib0 )
( 8)
x=
a1 a12 4a 0 a 2
2a 0
x 2 3x + 2 = 0.
Neste caso:
x=
2
3 ( 3) 4 1 2 3 1
=
2 1
2
(x = 2
x = 1)
x 2 2 x + 2 = 0.
Tem-se aqui:
(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:
(x = 2 i
x = 1 + i)
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
= 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
com
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 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)
u 3 + v 3 = q uv =
u3 + v 3
= q
uv
u3 + v3
p
3
3 3
u v
p3
=
27
(14 )
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 )
u 3 + v 3 = q
p3
u v =
27
3
u3 + v 3 q
uv =
p
3
p3
u v =
27
3
resultou de:
uv =
p
3
uv =
p
3
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
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 .
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
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
( y + 1)
3( y + 1) + 4( y + 1) 2 = 0
2
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
u1 = 3
1
2
v 1 = 3
1
2
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:
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
( 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
q
q 2 p3
+i
2
4 27
q
q 2 p3
v = i
2
4 27
3
dado que u e
trigonomtrica:
p3
=
27
= arccos
q
.
2
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:
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
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
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 )
x = y+h
introduzindo-a em (18), procurando o valor de
h=
caindo-se na nova equao de grau quatro:
a1
4
y 4 + py 2 + qy + r = 0
(19 )
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 )
y 2 (u 2 + v 2 + w 2 ) = 2( uv + vw + wu)
( 21)
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
z3 +
( 22 )
z1 = u 2
z2 = v 2
z3 = w 2
viro:
u = z1
Dos oito ternos ordenados,
v = z2
w = z3 .
q
8
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
(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
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
onde:
z 2 = i
No caso em que
z 3 = i .
Finalmente, se for
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
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.