H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
7
AS FÓRMULAS RESOLVENTES
Como se sabe, uma equação susceptível de ser reduzida à forma: ib0 ) x + ( a1 + ib1 ) x −1 + ⋅ ⋅ ⋅ + ( a −1 + ib −1 ) x + a + ib ib = 0 ( a 0 + ib n
n
n
n
n
n
(1)
com a j , b j ∈R, (j=0,1,..,n), a 0 ≠ 0 ou b0 ≠ 0 , e onde inteira na incógnita x , definida em C, e de grau n ∈N.
i
é a unidade imaginária, diz-se algébrica racional
Sabe-se, por igual, que toda a equação inteira de grau n >1, com coeficientes em C, tem, pelo menos, uma raiz neste conjunto. Contudo, no caso em que os coeficientes da equação são elemento de R, se existirem raízes imaginárias, terão de ser em número par e conjugadas duas a duas. Desde que os matemáticos procuraram encontrar as soluções de uma equação inteira qualquer, que se gerou o sonho de ser possível obter uma fórmula resolvente geral para a equação de grau n ≥ 1. Para certo valor de n obter-se-ia a fórmula resolvente para a correspondente equação inteira. Este objectivo de resolver uma equação inteira de grau n∈N por meio de uma fórmula resolvente, envolvendo apenas operações algébricas - adição e subtracção, multiplicação e divisão, e extracção de raiz de índice inteiro - sobre os coeficientes da equação, foi sendo conseguido, sucessivamente, para as equações inteiras dos primeiro, segundo, terceiro e quarto graus. Acontece que o matemático norueguês Niels Abel, na sequência de trabalho anterior de Ruffini, provou não ser possível obter uma fórmula resolvente para o caso geral da equação inteira do quinto grau. Uma conclusão que acarretou, assim, implicação idêntica para o caso das equações de grau acima do quinto. Mais tarde, Evaristo Galois veio a desenvolver a sua Teoria da Irresolubilidade Algébrica, deste modo colocando um ponto final doutrinário no sonho dos seus predecessores, no sentido de encontrar uma fórmula resolvente geral para a equação inteira de grau n∈N. 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 Ciências de Lisboa. Contudo, para as equações dos primeiro, segundo, terceiro e quarto graus, foi possível obter fórmulas resolventes, embora se perceba facilmente que o grau de dificuldade do respectivo manuseio cresce muito rapidamente rapidamente com o grau da equação. É esta a razão por que se não recorre, na vida corrente, às fórmulas resolventes das equações dos terceiro e quarto graus. Ainda assim, o conhecimento destas fórmulas resolventes constitui um útil instrumento formativo, ao menos por envolver uma variedade larga de instrumentos matemáticos.
EQUAÇÃO DO PRIMEIRO GRAU Equação do primeiro grau na incógnita x , definida em C e com coeficientes neste conjunto, é toda a igualdade que possa reduzir-se à forma:
( a 0 + ib0 ) x + a 1 + ib 1 =0 (2)
com a j , b j ∈R, (j=0,1), a 0
≠0
ou b0
≠ 0 , e onde i é a unidade imaginária.
_____
8
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
Uma tal equação pode escrever-se na forma equivalente:
+ ib 0 0
a
( a 0 + ib0 ) x + a 1 + ib1 = 0
+ ib1 = 0. a 0 + ib0
⇔
x+
a1
( 3)
A equação (3) é uma equação binómia, de resolução muito simples, que não n ão requer, sequer, o recurso à radiciação para ser resolvida, tendo-se: x +
+ ib1 =0 a 0 + ib0 a1
a + ib =− 1 1 ⋅ a 0 + ib0
⇔
x
(4)
A expressão (4) constitui, pois, a fórmula resolvente da equação (2). Seja, a título de exemplo, a equação:
2 x + 3 − i = 0. Neste caso, tem-se: a0
+ ib0 = 2
∧
a1
+ ib1 = 3 − i
pelo que a fórmula resolvente (4) fornece a solução da equação dada: x
=−
3− i 3 1 = − + i. 2 2 2
Para a nova equação:
( 2 + i ) x − ( 1 − 3i )
=0
ela pode escrever-se na forma equivalente:
( 2 + i ) x + ( − 1 + 3i )
=0
sendo, pois: a0
+ ib0 = 2 + i
∧
a1
+ ib1 = −1 + 3i.
Assim, a solução da equação dada, recorrendo à fórmula resolvente, é: x
=−
( − 1 + 3i ) ( 2 − i ) − 1 + 3i 1 7 =− = − − i. ( 2 + i) ( 2 − i) 2+i 5 5
Seja, desta vez, a equação:
2 x + 3 = 0.
Aqui, tem-se: a0
+ ib0 = 2
∧
a1
+ b1 = 3
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
9
pelo que a fórmula resolvente fornece a solução da equação dada: x
3 2
=− ⋅
EQUAÇÃO DO SEGUNDO GRAU Equação do segundo grau na incógnita x , definida em C e com coeficientes neste conjunto, é toda a igualdade que possa reduzir-se à forma:
( a 0 + ib0 ) x 2 + ( a1 + ib 1 ) x + a 2 + ib 2 =0 ( 5)
com a j , b j ∈R, (j=0,1,2), a 0
≠0
≠ 0 , e onde i é a unidade imaginária.
ou b0
A equação (5) pode escrever-se na forma equivalente:
a
+ ib
a
+ ib 0 0
( a 0 + ib0 ) x 2 + a 1 + ib1 x + a2 + ib2 = 0 0
0
⇔
+ ib1 a 2 + ib2 x+ = 0. a 0 + ib0 a 0 + ib0 x2
+
a1
( 6)
No sentido de se obter uma equação binómia do segundo grau, que seja facilmente resolúvel por radiciação, procede-se em (6) à mudança de variável: x = y+ h
determinando o valor de h que anule o coeficiente do termo em y : 2
( y + h) +
a + ib + ib1 ( y + h) + 2 2 = 0 a 0 + ib0 a 0 + ib0 a1
ou seja:
a + ib a + ib a + ib + 1 1 + 2h y + h 2 + 1 1 h + 2 2 = 0 a + ib a + ib a + ib 0 0 0 0 0 0
y 2
(7)
pelo que terá de ser: h=−
1 a1 + ib1 ⋅ ⋅ 2 a 0 + ib0
Introduzindo em (7) este valor de h , virá, após simplificações: 2
2
y 2
ib ) − 4( a 0 + ib i b0 ) ( a 2 + ib2 ) ( a + ib = 1 1 2 4( a 0 + ib0 )
⇔
ib1 ) − 4( a 0 + ib i b0 ) ( a 2 + ib2 ) ( a1 + ib y = ± 2( a 0 + ib0 )
e, tendo em conta que:
_____
10
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
x = y+ h
⇔
y = x− h= x+
1 a1 + ib1 ⋅ 2 a 0 + ib0
surge, finalmente, a fórmula resolvente de (5): 2
− ( a1 + ib1 ) ± ( a1 + ib1 ) − 4( a 0 + ib ib0 ) ( a 2 + ib ib2 ) x = 2( a + ib ) 0 0 ( 8)
Como pode constatar-se, surgem já raízes de índice 2. E, como facilmente se percebe, se os coeficientes de (5) forem números reais, caso em que b0 = b1 = b2 = 0 , a fórmula resolvente (8) assume a conhecida expressão:
x
=
− a1 ±
a12
− 4a 0 a 2
2a 0
⋅
Seja, agora, a nova equação: x 2
− 3x + 2 = 0.
Neste caso: a0
+ ib0 = 1 ∧
a1
+ ib1 = −3 ∧
a2
+ ib2 = 2
pelo que virá, por substituição na fórmula resolvente (8) as duas soluções da equação:
3 ± ( − 3) 2 − 4 × 1 × 2 3 ± 1 = x = 2 ×1 2
⇔
( = 2x
∨
= 1)x
ambas reais e diferentes. Seja, desta vez, a nova equação: x 2
Tem-se aqui: a0
+ ib0 = 1 ∧
− 2 x + 2 = 0.
a1
+ ib1 = −2 ∧
a2
+ ib2 = 2
pelo que, recorrendo à fórmula resolvente (8), virão as duas soluções procuradas:
2 ± ( − 2) 2 − 4 × 1 × 2 2 ± 2i = x = 2 ×1 2
⇔
( x= 1 +
i
∨
x = 1 − i) .
Dado que os coeficientes desta equação são números reais, embora as duas soluções sejam imaginárias, elas são conjugadas entre si. Tome-se, agora, a equação: x2
− 3 x+ 3 + i= 0
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
11
onde se tem: a0
+ ib0 = 1 ∧
a1
+ ib1 = −3 ∧
a2
+ ib2 = 3 + i.
Aplicando a fórmula resolvente (8), virá:
3 ± ( − 3) 2 − 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 equação dada (do segund segundo o grau) tenha duas raízes imaginárias, imaginárias, elas não são conjugadas entre si, o que fica a dever-se a não serem reais todos os coeficientes da equação. Por fim, convém chamar a atenção para a importância do designado discriminante da equação do segundo grau: 2
∆ = ( a1 + ib ib1 ) − 4( a 0 + ib i b0 ) ( a 2 + ib i b2 )
.
No caso de todos os coeficientes da equação serem reais, caso em que se tem b0 valor do discriminante indica a natureza das soluções da equação. Ter-se-á, neste caso:
∆=
a12
= b1 = b2 = 0 , o
− 4a 0 a 2
pelo que, se o radicando de ∆ for positivo, as duas soluções são reais e diferentes; se for nulo, haverá uma raiz real com grau de multiplicidade 2; se for negativo, ocorrerão duas raízes imaginárias conjugadas.
EQUAÇÃO DO TERCEIRO GRAU Equação do terceiro grau na incógnita x , definida em C e com coeficientes neste conjunto, é toda a igualdade que possa reduzir-se à forma:
( a 0 + ib0 ) x 3 + ( a1 + i b1 ) x 2+ ( a 2 + ib 2 ) x + a 3 + ib 3 =0 ( 9)
com a j , b j ∈R, (j=0,1,2,3), a 0
≠0
ou b0
≠ 0 , e onde i é a unidade imaginária.
Tal como nos dois casos anteriores, a obtenção de uma fórmula resolvente para (9) passa por se conseguir obter uma equação binómia, facilmente resolúvel por radiciação. Embora nos casos das equações dos primeiro e segundo graus se tenha considerado o caso geral dos coeficientes das equações serem números imaginários, nos casos das equações dos terceiro e quarto graus vão considerar-se, sem perda de generalidade, apenas equações com coeficientes reais. Considerar-se-á, ainda, que a 0 = 1 , pelo que se pretende encontrar uma fórmula resolvente para a equação: x3
+ a1 x 2 + a2 x + a3 = 0
com a j ∈ R, (j=1,2,3).
_____
12
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
Tal como se fez com a equação do segundo grau, procede-se procede- se à mudança de variável: x = y+ h
obtendo-se a nova equação: 3
2
( y + h) + a1 ( y + h) + a2 ( y + h) + a3 = 0 ou seja:
+ ( 3h + a1 ) y 2 + ( 3h2 + 2 ha1 + a2 ) y + h3 + a1 h2 + a2 h + a3 = 0. y3
(10)
Para que esta equação não tenha termo em y 2 , terá de ser:
3h + a1 = 0
a
=− 1⋅ 3
⇔
h
(11)
Introduzindo (11) em (10), obtém-se uma equação do terceiro grau em y , mas sem o termo em y 2 , ou seja, do tipo: y3
+ py + q =0 (12 )
com p, q ∈ R. Significa isto, pois, que o objectivo de encontrar uma fórmula resolvente para a equação geral do terceiro grau recai, afinal, na resolução de uma equação do tipo (12). Para resolver uma tal equação procede-se à nova mudança de variável: y = u+ v
obtendo-se:
( u + v) 3
+ p( u + v) + q = 0
ou seja: u3
+ v 3 + 3u 2 v + 3uv 2 + p( u + v) + q = 0
+ v 3 + ( 3uv + p) ( u + v ) + q = 0 .
u3
⇔
(13)
Ora, a equação (13) terá solução se forem: u3
+ v 3 = −q ∧
uv
p
=− ⋅ 3
Daqui se tira que:
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
3 3 u + v = − q p = − uv 3
13
u 3 + v 3 = − q 3 3 p 3 = − uv 27
⇒
(14 )
pelo que de (14) se percebe que u 3 e v 3 são as soluções da equação do segundo grau: p 3
2
+ qz− = 0 27 z
(15)
que toma a designação de equação resovente de (12). Resolvendo a equação (15), obtêm-se as soluções:
2 3 u 3 = − q + q + p 2 4 27 2 3 v 3 = − q − q + p 2 4 27 (16) Assim, determinando os valores de u 3 e de v 3 , podem calcular-se as correspondentes raízes cúbicas. Nos termos da Fórmula De Moivre Generalizada, encontram-se, em C, três valores para u e outros tantos para v , pelo que se conseguem nove pares ordenados ( u, v ) . Embora estes nove pares ordenados satisfaçam ao sistema:
3 3 u + v = − q 3 3 p 3 u v = − 27 nem todos satisfarão a este outro:
uma vez que a equação:
3 3 u + v − q p uv = − 3 3 3
u v
=−
p 3
27
_____
14
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
resultou de:
=−
uv
p
3
por elevação ao expoente 3. Há, assim, que considerar apenas os pares ordenados ( u, v ) que satisfaçam à equação:
=−
uv
p
3
pelo que as três raízes da equação (12) vêm dadas por: q
q2
p3
q2
q
p3
= − + + + − − + ⋅ 2 4 2 7 2 4 27
y
3
3
(17 )
À expressão:
∆ = 27q 2 + 4 p 3 dá-se o nome de discriminante da equação (12). A anterior expressão (17), conseguida por Sipião del Ferro, é a conhecida Fórmula de Tartaglia1. E, à semelhança semelhança do que se referiu para a equação do segundo grau, sendo os coeficiente coeficientess da equação cúbica cúbica números reais, a natureza das soluções da equação vem dependente do sinal do seu discriminante, surgindo, por igual, três situações distintas. Admita-se, em primeiro lugar, que o discriminante é positivo: ∆ =
2 3 27q + 4 p > 0.
Nesta situação os valores fornecidos por (16) são números reais, pelo que as raízes cúbicas de u 3 são: u1
,
v1
,
−1+i 3 2
u1
,
v1
,
−1− i 3 2
u1
e as de v 3:
onde u1 , v1 ∈ R, u13
= u3
e v13
−1+ i 3 2
−1− i 3 2
v1
= v3 .
Ora, dos nove valores encontrados para ( u, v ) , os únicos que satisfazem à equação:
1
É muitas vezes, embora injustamente, designada por Fórmula de Cardano.
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
uv
=−
15
p
3
são y1
=
y 2
=
y 3
=
u1 + v1
−1+ i 3 2
−1− i 3 2
u1
+
u1
+
− 1− i 3 2
−1+ i 3 2
v1
v1
sendo y1 real e y 2 e y 3 imaginários conjugados. Assim, y1 , y 2 e y 3 são as soluções de (12), pelo que as soluções da equação incialmente dada serão y1 + h, y2 + h e y 3 + h. Seja, então, a equação do terceiro grau: x3
− 3 x2 + 4 x− 2 = 0
onde se tem: a0
=1 ∧
a1
= −3 ∧
Procedendo à transformação: x= y−
−3 3
=4 ∧
a2
a3
= −2 .
= y+ 1
virá a equação do terceiro grau em y : 3
2
( y+ 1) − 3( y+ 1) + 4( y+ 1) − 2 = 0
⇔
y3 + y= 0
que já não apresenta o termo de grau dois, e onde se tem: p = 1
∧
q
= 0.
Portanto, o discriminante da equação a que se chegou vale:
∆= 4>0 pelo que a equação em y a que se chegou imediatamente atrás terá uma raiz real e duas imaginárias conjugadas. Te-se-á, Te-se-á, neste caso: u
3
=3
−
3 2
∧
v
3
= −3
−
3 2
pelo que virá:
_____
16
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
u1
=3
−
1 2
∧
v1
−
1 2
= −3 .
Assim, as soluções da equação transformada da dada são: y1
−
1 2
−
1 2
= 3 −3 =0 =3
y 2
=3
y 3
−
−
1 2
−1+ i 3
1 2
−1− i 3
−3
2
−3
2
−
−
1 2
−1− i 3
1 2
−1+i 3
2 2
=i = − i.
Logo, as soluções da equação inicialmente dada obtêm-se destas pela transformação inversa, ou seja, adicionando-lhes a unidade, vindo as três soluções procuradas: x1
= 0 +1 = 1
x2
= i+ 1 = 1 +
x3
= − i+ 1 = 1 − .i
i
Admita-se, agora, que o valor do discriminante é nulo: ∆ =
Neste caso, de (16) se tira que u 3 todas reais, tendo-se: y1
y2
2 3 27q + 4 p = 0.
= v 3 , pelo que
u1
= v1 . Assim, as raízes da equação transformada são
= 2u1 =
y3
− 1+ i 3 − 1− i 3 = u1 + = − u1 2 2
ou seja, uma raiz real simples e outra real e de grau de multiplicidade dois. Seja a nova equação do terceiro grau: x3
−9
x2
+ 24 x− 16 = 0
na qual se tem: a0
=1 ∧
a1
= −9 ∧
Procedendo à transformação: x= y−
a2
−9 3
= 24 ∧
a3
= −16 .
= y+ 3
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
17
obtém-se a nova equação: 3
2
( y+ 3) − 9( y+ 3) + 24( y+ 3) − 16 = 0 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 equação inicial apresenta três raízes reais, sendo uma com grau de multiplicidade dois. Aplicando as equações (16), obtêm-se os valores de u 3 e de v 3 : u3
= v 3 = −1
u1
= v1 = − 1.
pelo que virá:
Portanto, as soluções da equação transformada são: y1
= 2u1 = − 2
y 2
= y 3 = − ( −1) = 1
Logo, as soluções soluções da solução solução inicialmen inicialmente te dada obtêm-se destas pela transformaç transformação ão inversa inversa da aplicada, 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 à situação em que ocorrem três raízes reais diferentes. Ora, sendo
∆ < 0, as equações (16) podem escrever-se na forma:
_____
18
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
q q2 p3 3 u = − + i − − 2 4 27 q q2 p3 3 v = − − i − − 2 4 27 dado dado que que u 3 e v 3 são são aqui aqui núme número ross imagi imaginá nári rios os.. E pode podem, m, claro claro está está,, ser ser expre express ssos os na form formaa trigonométrica: u3
= ρ( cos θ+ isen θ)
v3
= ρ( cos θ− isen θ)
sendo que o módulo e o argumento se determinam, respectivamente, por:
ρ
= −
p 3
q . 2 ρ
∧
27
θ = arccos −
Nestas circunstâncias, as soluções da equação transformada são: y1
y 2
y 3
1 ρ 3
=2
cos
θ
3
1 ρ 3
θ 2π cos + 3 3
1 ρ 3
θ 4π cos + 3 3
=2 =2
Este é o designado caso irredutível, dado que a anterior expressão complexa se calcula pelo recurso à sua expressão na forma trigonométrica. Conhecidas as soluções da equação transformada, acham-se as da inicialmente dada, tendo presente que: x = y + h.
Considere-se, pois, a nova equação do terceiro grau na incógnita x : x3
−9
x2
+ 20 x− 12 = 0
para a qual se tem: a0
=1 ∧
a1
= −9 ∧
a2
= 20 ∧
a3
= −12 .
Procedendo à transformação:
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
−9
x= y−
3
19
= y+ 3
obtém-se a equação: y 3
− 7y − 6 = 0
ou seja: p
= −7 ∧
q
= −6.
Ora, de acordo com o anteriormente explanado, tem-se:
73 ρ = 33
6 . 2 ρ
∧
θ = arccos
Recorrendo a uma máquina de calcular, obtêm-se as soluções da equação transformada:
=3 ∧
1y
= −2 ∧
2y
= −1
3y
vindo para as soluções da equação inicial estes mesmos valores, mas adicionados de 3:
=6 ∧
1x
2x
=1 ∧
3x
= 2.
Como se pôde ver, a resolução da equação do terceiro grau, feita através da fórmula resolvente, é complicada de realizar, exigindo mesmo, quando todas as raízes são reais e distintas, o recurso a máquina de calcular razoavelmente potente. Por outro lado, já surge a necessidade de calcular raízes cúbicas, para lá de continuarem a ter de realizar-se raízes quadradas.
EQUAÇÃO DO QUARTO GRAU Equação do quarto grau na incógnita x , definida em C e com coeficientes neste conjunto, é toda a igualdade que possa reduzir-se à forma:
( a 0 + ib0 ) x 4 + ( a1 + ib1 ) x 3 + ( a 2 + ib2 ) x 2 + ( a 3 + ib3 ) x + a4 + ib4 = 0 com a j , b j ∈R, (j=0,1,2,3,4), a 0
≠0
ou b0
≠ 0 , e onde i é a unidade imaginária.
Considera-se aqui, sem perda de generalidade, uma equação com todos os coeficientes reais e com a0 = 1 : x4
+ a1 x 3 + a2 x 2 + a3 x + a4 = 0. (18 )
Tal como nos casos anteriores, procede-se p rocede-se à mudança de variável: variá vel: x = y+ h
introduzindo-a em (18), procurando o valor de h que anula o termo em y 3 . Esse valor é, pois:
_____
20
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
h
a1
=−
4
caindo-se na nova equação de grau quatro: y4
+ py2 + qy+ r= 0 (19 )
cujas soluções são as de (18) adicionadas de: a1 4
⋅
A fim de estabelecer a fórmula resolvente para este tipo de equação, procede-se de modo em tudo semelhante ao realizado com a equação do terceiro grau, fazendo a transformação:
y = u+ v + w. ( 20)
Elevando ambos os membros de (20) ao quadrado, obtém-se a expressão: y2
u2 + v2 + w2 ) = 2( uv+ vw+ wu) − ( ( 21)
que, elevada de novo ao quadrado, fornecerá: y4
2
− 2( u2 + v2 + w2 ) y2 − 8 uvwy + ( u2 + v2 + w2 ) − 4( u2 v2 + v2 w2 + w2 u2 ) = 0.
Ora, a equação (19) é satisfeita se for possível determinar valores para u, v , w que satisfaçam ao sistema de equações abaixo: p 2 2 2 + + = − u v w 2 uvw = − q 8 ( u 2 + v 2 + w 2 ) 2 − 4( u 2 v 2 + v 2 w 2 + w 2u 2 ) = r .
Se neste sistema se elevarem ao quadrado ambos os membros da segunda equação e se introduzir a primeira na terceira, obtém-se o novo sistema:
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
21
p 2 2 2 + + = − u v w 2 q2 2 2 2 u v w = 64 p 2 − 4r 2 2 2 2 2 2 u v + v w + w u = 16
e que mostra que u 2 , v 2 e w 2 são as raízes da equação cúbica:
− 4r q 2 =0 z + z + z − 2 16 6 4 p
3
p 2
2
( 22 )
que toma a designação de equação resolvente da equação (19). Simplesme Simplesmente, nte, esta equação equação,, sendo do terceiro terceiro grau, já se sabe resolver resolver.. Sejam, Sejam, então,z1 , z 2 , z 3 as suas soluções. Dado que se tem: z1
=
u2
∧
z2
= v2 ∧
w2
z3
=
w
=±
virão: u
=±
z1
∧
v
=±
z2
∧
z3 .
Dos oito ternos ordenados, ( u, v , w) , só podem ser considerados os que satisfaçam a condição: uvw = −
q
8
pelo que terá de ser: y=
±
z
±
z
±
z
1 2 3 ( 23)
expressão esta que acaba por fornecer as quatro raízes de (19), e onde z1 , z2 , z3 se encontram através da resolução de (22), usando a metodologia de Tartaglia. Tartaglia. No caso de se ter q = 0 , a equação (19) é de resolução imediata, e, num sentido que se compreende, o problema deixa de o ser. Se q (19) são:
≠0
e z j ∈ R + , (j=1,2,3), há duas situações. Seja, então, q ∈ R + . Neste caso, as soluções de
_____
22
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
y1
=−
z1
+
z2
+
z3
y2
=−
z1
−
z2
−
z3
y3
=+
z1
+
z2
−
z3
y4
=+
z1
−
z2
+
z3 .
Em contrapartida, se z j ∈ R + , (j=1,2,3), e q ∈ R − , as soluções de (19) são: y1
=+
z1
+
z2
+
z3
y2
=+
z1
−
z2
−
z3
y3
=−
z1
+
z2
−
z3
y4
=−
z1
−
z2
+
z3 .
Se z 1 ∈ R + e z 2 , z 3 ∈ R − , com q ∈ R + , as soluções de (19) serão: 1y
=+
1z
+ ( α + β )
i
2y
=+
1z
− ( α + β )
i
3y
=−
1z
+ ( α − β )
i
4y
=−
1z
− ( α − β )
i
onde: z2
= ±α i ∧
z3
= ±β i.
No caso em que z 1 ∈ R + e z 2 , z 3 ∈ R − , com q ∈ R − , as raízes de (19) são: 1y
=−
1z
+ ( α + β )
i
2y
=−
1z
− ( α + β )
i
3y
=+
1z
+ ( α − β )
i
4y
=+
1z
− ( α − β ) .i
_____
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
Finalmente, se for z 1 ∈ R + e z 2 , z 3 ∈ C, z 2
23
= z 3 , as soluções de (19) são:
y1
=−
z 1
+ 2α
y 2
=−
z 1
− 2α
y3
=+
1z
+ 2β i
y4
=+
1z
− 2β i
y1
=+
z 1
+ 2α
y 2
=+
z 1
− 2α
y3
=−
1z
+ 2β i
y4
=−
1z
− 2β i
se se tiver q ∈ R + , e serão:
se se tiver q ∈ R − . Nestes dois últimos casos, dado que z 2 , z 3 ∈ C e z 2 2z
= ±( α + βi ) ∧
3z
= z 3 , tem-se:
= ±( α − βi ) .
Numa perspectiva estritamente teórica, a fórmula (23) permite resolver a equação geral do quarto grau, usando uma expressão algébrica irracional sobre os coeficientes da equação. A verdade, contudo, é que o seu valor prático é quase nulo, como se pôde perceber de quanto de expôs até aqui. Para se poder aquilatar do fantástico trabalho que envolve a utilização da fórmula resolvente da equação inteira e completa do quarto grau, basta aplicá-la à resolução da equação: x4
− 10 x3 + 35 x2 − 50 x+ 12 = 0
cujas soluções são 1, 2, 3 e 4. Em contrapartida, uma máquina de calcular actual fornece, em segundos, as soluções da equação. Finalmente, não é excessivo voltar a convidar o leitor interessado a envolver-se no estudo e na dominância da excelente obra, TEORIA DE GALOIS, de Owen J. Brison, editada pela Faculdade de Ciências de Lisboa, por onde se pode compreender a razão de ser da impossibilidade de se encontrar uma fórmula resolvente para a equação geral de grau maior ou igual a um e natural, nem mesmo fórmulas particulares para equações completas com grau superior a quatro. Em todo o caso, o leitor, desde que realmente queira aprender por si mesmo, tente pôr em causa o que aqui se diz, e, deitando mão do método geral usado nas equações aqui tratadas, aplique-o ao caso de uma equação inteira e completa do quinto grau, com coeficientes reais, no sentido de encontrar a correspondente fórmula resolvente. Tal como refere LOPES, 2004, a sempre actual Teoria da Irresolubilidade Algébrica, enunciada por Galois e Abel, é um tema que requer já um nível intelectual de verdadeira excelência, mas que se constitui num
_____
24
H. Bernardo Lopes ____________________ __________________________________________ ___________________________________________1 _____________________1
extraordinário passeio do espírito. Procure você mesmo, aluno interessado e desejoso da excelência, realizar esse passeio. Só pela extraordinária dificuldade que vai encontrar, vale a pena.
BIBLIOGRAFIA
BRISON, Owen J., (2003): TEORIA TEORIA DE GALOIS GALOIS,, 4ª Edição Edição,, Text extos os de Mat Matemá emátic tica, a, Dep Depart artame amento nto de Matemática, Faculdade de Ciências de Lisboa. GARBI, Gilberto G., (1997): O ROMANCE DAS EQUAÇÕES ALGÉBRICAS ALGÉBRICAS,, MAKRON Books do Brasil, São Paulo. LOPES, H. Bern Bernar ardo, do, (1985 (1985): ): SOBRE SOBRE A RESOL RESOLUÇÃ UÇÃO O DE EQUAÇ EQUAÇÕE ÕES S ALGÉ ALGÉBRI BRICAS CAS RACION RACIONAIS AIS INTEIRAS, INTEIRAS, Edição Restricta e Particular. LOPES, Hélio Bernardo, (2004): A (2004): A RESOLUÇÃO DE EQUAÇÕES, EQUAÇÕES, Millenium, Nº 29, ISPV, Viseu.
_____