A FRMULA DE CARDANO ALM DAS CBICAS

Jos Cloves Verde Saraiva, So Luis MA

Nvel Avanado.
INTRODUO:
Motivado pela leitura do trabalho Equao do Terceiro Grau do Professor Alberto de Azevedo [1],
ocorreu-me a curiosidade de saber as frmulas das razes calculadas por radicais de uma equao
polinomial do 5

grau, solvel, que no fosse a trivial 0

5
+a x , que todos conhecem. Da ento,
seguindo os mesmos passos da deduo da frmula de Cardano para as equaes polinomiais
cbicas foi possvel provar que a 0
5
1
2 3 5
+ r x p px x , j estudada por DE MOIVRE, tem
razes dadas por uma frmula anloga a de Cardano. Alm desta, outras frmulas semelhantes so
possveis deduzir para graus maiores que o quinto.
Deixamos para o leitor essa generalizao!.
A FRMULA DE CARDANO:
fascinante toda a histria da resoluo das equaes polinomiais do 3

grau. Em resumo a
referncia [2] apresenta o seguinte:
"O descobridor do mtodo foi Scipione del Ferro (1465 - 1562), matemtico italiano, que antes de
morrer o revelou aos discpulos Antnio Maria Fior e Annibale Della Nave".
"Houve uma disputa matemtica entre Fior contra Niccolo Fontana (1500 1557), conhecido pelo
apelido de Tartaglia (gago, em italiano). A vitria deste ltimo, muito divulgada, foi do
conhecimento do mdico e professor Girolano Cardano (1501 1576) que conseguiu lhe atrair para
ensinar a regra de resoluo sob o juramento de jamais public-la. Cardano procurou a
demonstrao da regra - e achou - e ainda motivou seu discpulo Ludovico Ferrari (1522 1565) a
descobrir soluo para as equaes do quarto grau."
"Cardano, numa visita a Della Nave, soube do manuscrito de Del Ferro contendo a regra de
Tartaglia que j existia h 30 anos. Motivo que o levou quebrar o juramento. Publicou os mtodos
no seu famoso livro Ars Magna, em 1545, onde no deixou de fazer referncia aos descobridores,
embora a contragosto de Tartaglia que se considerou trado."
Podemos representar a equao geral do 3

grau na forma 0
3 2
2
1
3
+ + + a x a x a x e por uma
mudana de varivel
3
1
a
y x a equao fica mais simples na forma . 0
3
q py y
Calculando o cubo de um binmio
3 2 2 3 3
3 3 ) ( v uv v u u v u + + + + , e pondo em evidncia 3uv,
temos:
(*) ) ( ) ( 3 ) (
3 3 3
v u v u uv v u + + + +
ou melhor,
0 ) ( ) ( 3 ) (
3 3 3
+ + + v u v u uv v u
isto , y = u + v uma raiz para valores de p = 3uv e q = u
3
+ v
3
, onde podemos elevar ao cubo a
primeira e ter
3 3
3
27
v u
p
e
3 3
v u q + e cair num problema onde u
3
e v
3
so as razes de uma
equao do 2

grau conhecendo a soma e o produto das razes, cuja soluo conhecida:

27 4 2
3 2
3
p q q
u + e
27 4 2
3 2
3
p q q
v
donde obtemos a famosa frmula de Cardano:
3
3 2
3
3 2
27 4 2 27 4 2
p q q p q q
v u y + + +
A FRMULA DE CARDANO ALM DAS CBICAS:
O resultado principal destas notas foi motivado por uma analogia da deduo na frmula de
Cardano. Vamos provar que: a equao 0
5
1
2 3 5
+ r x p px x tem uma de suas razes dada pela
frmula:
5
5 2
5
5 2
3125 4 2 3125 4 2
p r r p r r
v u x + + + + +
DEMONSTRAO:
Considere 0
3 5
r qx px x . Calculemos polinmios do binmio:
5 4 3 2 2 3 4 5 5
5 10 10 5 ) ( v uv v u v u v u u v u + + + + + +
pondo em evidncia obtemos:
) ( ) ( 10 ) ( 5 ) (
5 5 2 2 3 3 5
v u v u v u v u uv v u + + + + + +
da igualdade (*) obtemos que:
) ( 3 ) ( ) (
3 3 3
v u uv v u v u + + +
para substituir no desenvolvimento donde obtemos que:
) ( ) ( 10 ) ( 15 ) ( 5 ) (
5 5 2 2 2 2 3 5
v u v u v u v u v u v u uv v u + + + + + + + ,
isto ,
) ( ) ( 5 ) ( 5 ) (
5 5 2 2 3 5
v u v u v u v u uv v u + + + + +
o que permite obter as igualdades: p = 5uv; q = 5u
2
v
2
e r = u
5
+ v
5
.
Estabelecemos , 25
2 2 2
v u p logo temos que
5
2
p
q faz com que a equao seja da forma
, 0
5
1
2 3 5
+ r x p px x se x = u + v for uma raiz.
Verificar as relaes

'

+
uv p
v u r
5
5 5
nos leva ao j estudado na deduo da frmula de Cardano
5 5
v u r + e
5 5
5
5
v u
p

,
_

, da mesma forma as razes so:

5
5 2
5
5 4 2
p r r
u + e
5
5 2
5
5 4 2
p r r
v
de onde conclumos que a raiz x = u + v dada pela frmula:
5
5 2
5
5 2
3125 4 2 3125 4 2
p r r p r r
x + +
.
OBSERVAES FINAIS:
Esta frmula torna mais fcil a determinao das razes do que a indicada por De Moivre estudada
na referncia [3], onde uma anlise completa das razes e o estudo dos Grupos de Galois nos
diversos casos feito.
Como exerccio estude a stima 0
3 5 7
+ + + s rx qx px x e generalize.
Finalizando, seria interessante o leitor paciente calcular todas as razes da equao abaixo estudada
por Adriaan van Roomen (1561 1615) por polinmios trigonomtricos.
+ + +
33 35 37 39 41 43 45
3764565 740259 111150 12300 945 45 x x x x x x x
+ + +
23 25 27 29 31
378658800 236030652 117679100 46955700 14945040 x x x x x
+ + +
13 15 17 19 21
105306075 232676280 384942375 488494125 483841800 x x x x x
2 2 45 3795 95634 1138500 7811375 34512075
3 5 7 9 11
+ + + + x x x x x x
(Ver referncia [4], pp 154).
REFERNCIAS:
[1] Alberto de Azevedo, Equao do 3

grau, Depto. Matemtica, UNB, 2002.

[2] Csar Polcino Milies, A Resoluo das equaes de terceiro e quarto graus, Notas de aula, IME-USP, 2000.
[3] R.L. Borger, On De Moivre' s Quintic, American Math. Monthly, pp. 171 - 174, vol. 15, 1908.
[4] Paulo A. Martin, Introduo Teoria dos Grupos e a Teoria de Galois, IME-USP, 1996.