Transformadas de Mbius

e equaes do terceiro grau

Jos Carlos Santos
Boletim da Sociedade Portuguesa de Matemtica, Maio de 2005
Considere-se uma equao de terceiro grau com coecientes complexos:
(1) X
3
+ xX
2
+ yX + z = 0.
Uma maneira clssica e bem conhecida de simplicar uma tal equao consiste
em substituir X por Y x/3, obtendo-se assim uma nova equao de terceiro
grau da forma:
(2) Y
3
+ pY + q = 0.
Caso p = 0, as solues desta equao so as razes cbicas de q. Suponha-se
agora que p = 0. Para resolver a equao (2), os mtodos usuais consistem em
escrever Y sob a forma de uma soma u + v ou recorrer substituio de Vite
Y = Z p/(3Z), a m de se obter a frmula de Cardano:
Y =
3

q
2
+

q
2
4
+
p
3
27
+
3

q
2

q
2
4
+
p
3
27
,
sobre a qual mais ser dito abaixo. Geraes de estudantes queixaram-se da
existncia de algo de mgico nestes mtodos. Um destes estudantes foi Mark
Kac, que conseguiu (aos 15 anos de idade!) chegar frmula de Cardano sem
usar nenhum destes mtodos; veja-se [1] e [4, pp. 5660]. Outra abordagem
a de E. W. von Tschirnhaus, que recorreu a uma substituio do tipo Y
2
=
aY +b+Z para obter uma nova equao do terceiro grau na qual os coecientes
de Z e de Z
2
so ambos iguais a 0 (veja-se [3, 4]).
Neste artigo, a equao (2) ser resolvida por outro mtodo que, embora
leve a mais clculos que as substituies Y = u + v ou Y = Z p/(3Z),
talvez mais natural e que, contrariamente ao mtodo de Kac, no pressupe a
existncia de solues. A ideia anloga abordagem de von Tschirnhaus, mas
leva a clculos mais simples (veja-se [5, 5.4] para uma descrio moderna do
mtodo de von Tschirnhaus para resolver equaes do terceiro grau) e consiste
no uso de transformaes de Mbius, i. e. o uso de substituies da forma
Y =
aZ + b
cZ + d
,
onde

a b
c d

pertence ao conjunto GL(2, C) das matrizes invertveis da forma

2 2 e com entradas complexas. Aps esta substituio, Y
3
+ pY + q torna-se
numa fraco racional. Caso a e c tenham sido escolhidos tais que
(3) a
3
+ pac
2
+ qc
3
= 0,
1
ento esta frao racional pode ser escrita como o quociente de dois polinmios
de terceiro grau, cujo numerador da forma
Z
3
+ x

Z
2
+ y

Z + z

,
com
x

=
b

3a
2
+ c
2
p

+ d

2acp + 3c
2
q

a
3
+ pac
2
+ qc
3
, (4)
y

=
a

3b
2
+ d
2
p

+ c

2bdp + 3d
2
q

a
3
+ pac
2
+ qc
3
(5)
e
z

=
b
3
+ pbd
2
+ qd
3
a
3
+ pac
2
+ qc
3
(6)
Quer-se tentar encontrar a, b, c e d tais que
1. x

= y

= 0;
2. a, b, c e d obtm-se de x, y e z usando unicamente operaes aritmticas
e extraco de razes.
Ser sempre possvel encontrar a, b, c e d nestas condies? De facto, a resposta
negativa. Para compreender porqu, necessrio recorrer ao conceito de soluo
mltipla. Se P(X) um polinmio com coecientes complexos, dizer que um
nmero complexo r soluo da equao P(X) = 0 equivale a dizer que P(X)
mltiplo de X r. Naturalmente, mesmo possvel que P(X) seja mltiplo
de (X r)
n
, para algum n > 1. Diz-se que r uma raiz simples de P(X) caso
isto no acontea, diz-se que uma raiz dupla caso isto acontea para n = 2
mas no para valores superiores de n e diz-se que uma raiz tripla caso isto
acontea para n = 3 mas no para valores superiores de n. Como, neste artigo,
s estamos interessados em polinmios de terceiro grau, claro que, de facto, n
no pode exceder 3. Diremos que r uma soluo simples, dupla ou tripla da
equao P(X) = 0 quando r for, respectivamente, uma raiz simples, dupla ou
tripla do polinmio P(X).
agora fcil compreender porque que nem sempre possvel encontrar a,
b, c e d nas condies atrs descritas. Uma vez que a equao Z
3
+ z

= 0 ou
tem trs solues simples (caso z

= 0) ou uma soluo tripla (caso z

= 0),
quando o mtodo atrs descrito puder ser aplicado, a equao Y
3
+pY +q = 0
no poder ter uma soluo dupla. Como iremos ver, este o nico obstculo
e pode ser facilmente contornado.
Suponha-se que 3b
2
+ d
2
p = 0. Ento, se se tomar
(7) a = c
2bdp + 3d
2
q
3b
2
+ d
2
p
,
resulta de (4) e de (5) que y

= 0 e que x

pode ser escrito como uma fraco

racional cujo numerador
3c
2

b
3
+ pbd
2
+ qd
3

3b
2
p + 9bdq d
2
p
2

.
2
Tome-se agora d = 1 e seja b tal que 3b
2
p + 9bq p
2
= 0, pelo que x

= 0. H
diversas maneiras de se obter uma expresso explcita para b. Ser conveniente
para o que se segue introduzir uma raiz quadrada s de q
2
/4+p
3
/27 (este nmero
o quociente do discriminante do polinmio Y
3
+ pY + q por 108; veja-se [2,
p. 259] ou [6, p. 102]); com estas notaes, podemos tomar
b =
q/2 + s
p/3

Um clculo simples mostra que 3b
2
+p = 54s(s q/2)p
2
; logo, uma vez que a
igualdade s q/2 = 0 implicaria que p = 0, tem-se a desigualdade 3b
2
+ p = 0
se e s se s = 0. Vai-se supor ento que s = 0; o caso em que s = 0 ser tratado
mais frente. Tome-se agora c = 1. Resulta de (7) que
a =
2bp + 3q
3b
2
+ p
=
6s
54s(s q/2)p
2
=
p
2
9(s q/2)
=
q/2 s
p/3

Observe-se que com estas escolhas de a, b, c e d,
det

a b
c d

= a b =
6s
p
= 0
e, portanto,

a b
c d

GL(2, C). Resulta ento do que foi feito atrs que as

solues da equao (2) so os nmeros da forma
(8)
ar + b
r + 1
,
onde r uma raiz cbica de z

. Note-se que em (8) no se est a dividir por

0; por outras palavras, z

no pode ser igual a 1. A m de se demonstrar isto,

observe-se que
(9) a
3
+ pa + q = 36a.

s
p

2
e b
3
+ pb + q = 36b.

s
p

2
,
o que resulta de um clculo directo. Deduz-se de (6) e de se ter tomado c = d = 1
que
z

=
b
3
+ pb + q
a
3
+ pa + q
=
b
a
;
logo, z

= 1 a = b s = 0. Por outro lado, resulta de (9) que a

condio (3) se verica. Finalmente, uma vez que z

= b/a, um nmero da
forma (8) para alguma raiz cbica r de z

se e s se for da forma (bar

)/(1r

)
para alguma raiz cbica r

de b/a.
O facto de o algoritmo atrs descrito no funcionar quando s = 0 pode ser
contornado do seguinte modo: se continuarmos a denir a, b, c e d no caso em
que s = 0 (e p = 0) da mesma maneira que anteriormente, obtemos a = b =
3q
2p
e, portanto,
aZ + b
cZ + d
=
3q
2p

Resulta de (9) que este nmero efectivamente uma soluo de (2). De facto,
prova-se facilmente que
3q
2p
uma soluo dupla de (2) e que
3q
p
uma soluo
simples; por outras palavras,
Y
3
+ pY + q =

Y +
3q
2p

Y
3q
p

.
3
Resumindo, o algoritmo para resolver a equao (2) consiste em:
Caso p = 0: as solues da equao so as razes cbicas de q.
Caso p = 0 e q
2
/4 +p
3
/27 = 0:
3q
2p
uma soluo dupla de (2) e
3q
p
uma
soluo simples.
Caso p, q
2
/4 +p
3
/27 = 0: seja s uma raiz quadrada de q
2
/4+p
3
/27 e dena-
-se
=
q/2 s
p/3
e =
q/2 + s
p/3

Ento as solues da equao (2) so os nmeros da forma
r
1 r
,
onde r uma raiz cbica de /.
Observe-se que possvel obter um algoritmo anlogo partindo directamente
da equao (1) sem se ter a equao (2) como passo intermdio.
Comparemos agora este algoritmo com a frmula de Cardano (veja-se [2, p.
264] ou [6, p. 189]). Com as notaes atrs introduzidas, esta frmula arma
que as solues da equao (2) so os nmeros da forma u + v, onde u e v
so razes cbicas de q/2 + s e de q/2 s respectivamente, sendo estas
razes cbicas escolhidas de modo a que o seu produto seja igual a p/3. Ou-
tra maneira de descrever a frmula de Cardano a seguinte: se denirmos
= cos(2/3) + i sen(2/3) e se u e v forem razes cbicas de q/2 + s e de
q/2 s respectivamente cujo produto seja igual a p/3, ento as solues da
equao (2) so u + v, u +
2
v e
2
u + v. Logo, a frmula de Cardano tem
a vantagem de no exigir separao em diversos casos, enquanto que o algo-
ritmo atrs descrito tem a vantagem de apenas exigir o clculo de uma nica
raiz cbica. Naturalmente, se, na frmula de Cardano, tivessemos denido v
como sendo o quociente de p/3 por u, ento tambm s haveria necessidade
de se calcular uma nica raiz cbica, mas ento teramos tambm de separar
o problema de resolver a equao (2) em vrios casos, visto que seria possvel
ter-se u = 0.
Finalmente, vejamos que a frmula de Cardano e o algoritmo levam aos
mesmos resultados. Isto fcil no primeiro caso do algoritmo, visto que s =
q/2. No segundo caso, uma vez que estamos a supor que q
2
/4 + p
3
/27 = 0,
ento

3q
2p

3
=
27q
3
8p
3
=
q
2
e

3q
2p

2
=
9q
2
4p
2
=
p
3
;
logo, a frmula de Cardano diz que as solues so
3q
2p
+
3q
2p
=
3q
p
,
3q
2p
+
2
3q
2p
=
3q
2p
e
2
3q
2p
+
3q
2p
=
3q
2p

No terceiro caso, sejam s, , e r como no algoritmo. No que se segue, sempre

que os nmeros
3

q/2 s e
3

q/2 + s surgirem na mesma expresso, as

4
razes cbicas so escolhidas de modo a que o seu produto seja igual a p/3.
Ento,
r
1 r
=
1
p/3

(q/2 + s)
3

q/2 s (q/2 s)
3

q/2 + s
3

q/2 s
3

q/2 + s
=
3

q/2 + s.
3

q/2 s.

q/2 + s
3

q/2 s

p/3
=
3

q/2 + s +
3

q/2 s,
sendo a segunda igualdade um caso particular da igualdade
(x, y C) : x = y =
x
3
y xy
3
x y
= xy(x + y).
Referncias
[1] M. Feigenbaum, An interview with Stan Ulam and Mark Kac, J. Stat. Phys.
39 (1985), pp. 455476
[2] N. Jacobson, Basic Algebra I, W. H. Freeman, 1985
[3] M. Kracht; E. Kreyszig, E. W. von Tschirnhaus: His role in early Calculus
and his work and impact on Algebra, Hist. Math. 17 (1990), pp. 1635
[4] M. Kac; S. M. Ulam, Mathematics and Logic, Dover, 1992
[5] J. Shurman, Geometry of the Quintic, John Wiley & Sons, 1997
[6] B. L. van der Waerden, Algebra I, Springer-Verlag, 1991
5