Equac oes reais, Solucoes imaginarias.

Carlos A. Gomes
UFRN
1 Introducao
Na ultima edi cao da RPM (n umero 77) ha um artigo Por que e
i
= cos + i.sen?,
do professor Jose Paulo Carneiro, onde e exibida uma explicacao para a bela igualdade.
Motivado por este artigo, vamos utilizar a formula de Euler, e
i
= cos + isen, para
estender algumas funcoes reais para o ambiente dos n umeros complexos, investigando que
propriedades das funcoes antigas s ao mantidas e que propriedades sao alteradas no campo
dos n umeros complexos. Alem disso vamos usar as ideias desenvolvidas no incio do nosso
texto para mostrar que algumas equa coes tais como 1
x
= 3, sen(x) = 2, entre tantas outras,
que nao possuiam solucoes no campo dos n umeros reais passam a ter (varias) solu coes no
campo dos n umeros complexos.
2 Funcoes exponencial e logartmica complexas
Como sabemos um n umero complexo z sempre pode ser representado na sua forma algebrica
z = x + yi, com x, y R. Motivado bela formula de Euler e
i
= cos + i.sene pela
propriedade e
x+y
= e
x
.e
y
da fun cao exponencial real, denimos a fun cao exponencial
complexa por
e
z
= e
x+yi
= e
x
(cosy + iseny)
Note que no caso particular de z ser um n umero real (y = 0), segue que
e
z
= e
x
(cos0 + isen0) = e
x
(1 + i.0) = e
x
.1 = e
x
o que mostra que a deni cao de e
z
e boa, pois quando y = 0 a exponencial complexa
transforma-se na exponencial real. Alem disso, pode-se mostar sem grandes diculdades
que a expoencial complexa goza de algumas propriedades analogas as da expenencial real,
como por exemplo,
e
0
= 1, e
z
1
+z
2
= e
z
1
.e
z
2
,
e
z
1
e
z
2
= e
z
1
z
2
, (e
z
1
)
n
= e
nz
1
para n = 0, 1, 2,
Embora as funcoes exponencial real e complexa tenham todas essas semelhan cas elas
tambem possuem grandes diferencas. Uma das mais surpreendentes e que a funcao ex-
1
ponencial complexa e periodca de perodo 2i, pois
e
z+2i
= e
(x+yi)+2i
= e
x+(y+2)i
= e
x
(cos(y + 2) + isen(y + 2))
= e
x
(cosy + iseny)
= e
z
o que nos mostra que 2i e o perodo da funcao exponencial complexa.
Todo n umero complexo z = 0 pode ser escrito na forma z = |z|e
i
(forma exponencial
de z), onde e o argumento principal de z, pois
z = |z| (cos + i.sen)

=e

= |z|e
i
Assim, motivados pelas propriedades da fun cao logartmica real, escrevemos
z = |z|e
i
n(z) = n

|z|e
i

n(z) = n|z| + ne
i
n(z) = n|z| + i.ne
n(z) = n|z| + i, com = arg(z)
Diante do que foi exposto acima, para um n umero complexo z, denimos a funcao
(multivalente) nz como sendo
n(z) = log
e
|z| + iarg(z)
onde log
e
x e a fun cao logartmica real de base e. Note que a fun cao logartmica complexa
e multivalente, isto e, assume diversos valores para cada n umero complexo z, visto que
arg(z) nao e unico. Quando restringimos arg(z) ao intervalo (, ], dizemos que estamos
diante do valor principal da func ao n(z). Assim, por exemplo, se quisermos calcular o
valor principal n(2) (os n umeros reais negativos possuem logaritmos complexos!), basta
ver que 2 possui modulo 2 e argumento e portanto,
n(2) = log
e
2 + i
A funcao logartmica complexa goza das propriedades
n(z
1
.z
2
) = n(z
1
) + n(z
2
), n

z
1
z
1

= n(z
1
) n(z
2
), nz
n
1
= n.nz
1
que sao analogas as propriedades da fun cao logartmica real.
2
3 Funcoes seno e cosseno complexas
Voltando `a formula de Euler, e
i
= cos + isen, e substituindo R por x e depois por
x , com x R, segue que

e
ix
= cos(x) + isen(x)
e
ix
= cos(x) + isen(x)

e
ix
= cos(x) + isen(x)
e
ix
= cos(x) isen(x)
Inicialmente adicionando e depois subtraindo as duas ultimas igualdades acima obtemos:
cos(x) =
e
ix
+ e
ix
2
sen(x) =
e
ix
e
ix
2i
Motivados por essas igualdades denimos as funcoes cosseno e seno complexas, para cada
z = x + yi com x, y R como sendo
cos(z) =
e
iz
+ e
iz
2
e sen(z) =
e
iz
e
iz
2i
Perceba que se z for um n umero real y = 0 as funcoes cosseno e seno complexas transformam-
se nas fun coes cosseno e seno reais, visto que se z = x, com x R segue que
cos(z) =
e
iz
+ e
iz
2
=
e
ix
+ e
ix
2
= cos(x)
sen(z) =
e
iz
e
iz
2i
=
e
ix
e
ix
2i
= sen(x)
o que mostra que as denicoes de cos(z) e de sen(z) sao boas , pois quando y = 0 as
fun coes cosseno e seno complexas transformam-se nas funcoes cosseno e seno reais. Alem
disso, pode-se mostar sem grandes diculdades que as funcoes cosseno e seno complexas
gozam de algumas propriedades analogas as das funcoes cosseno e seno reais, como por
exemplo,
cos(z) = cos(z), sen(z) = sen(z)
cos
2
z + sen
2
(z) = 1
cos (z
1
z
2
) = cosz
1
cosz
2
senz
1
senz
2
sen(z
1
z
2
) = senz
1
cosz
2
senz
2
cosz
1
sen(2z) = 2sen(z)cos(z), cos(2z) = cos
2
z sen
2
z
3
Uma outra forte analogia entre as funcoes cosseno e seno complexas e as funcoes cosseno
e senos reais e que ambas sao periodicas de perodo 2, o que pode ser justicado pelas
igualdades:
cos (z + 2) =
e
i(z+2)
+ e
i(z+2)
2
=
e
iz+2i
+ e
iz2i
2
=
e
iz
+ e
iz
2
= cos(z)
sen(z + 2) =
e
i(z+2)
e
i(z+2)
2i
=
e
iz+2i
e
iz2i
2
=
e
iz
e
iz
2i
= sen(z)
visto que e
i(z+2)
= e
iz+2i
= e
iz
e e
i(z+2)
= e
iz2i
= e
iz
, pois, como ja vimos,
a fun cao exponencial complexa possui perodo 2i. Apesar destas fortes analogias, as
fun coes cosseno e seno complexas tambem possuem grandes diferencas em relacao as fun coes
cosseno e seno reais. Uma das mais marcantes e que as funcoes cosseno e seno complexas
sao ilimitadas, ao contratrio das fun coes cosseno e seno reais que cumprem a condi cao
1 cos(x) 1 e 1 sen(x) 1 para todo x real. Por exemplo, cosi = 1, 5431,
onde i =

1, o que pode ser vericado fazendo z = i em cos(z) =

e
iz
+e
iz
2
, conforme
ilustramos a seguir:
cos(i) =
e
i.i
+ e
i.i
2
=
e
i
2
+ e
i
2
2
=
e
1
+ e
2
= 1, 5431
Assim, no campo dos n umeros complexos, a equacao sen(z) = 5 possui solucao. Vejamos:
sen(z) = 5
e
iz
e
iz
2i
= 5 e
iz
e
iz
= 10i
e
iz

1
e
iz
10i = 0 e
2iz
+ 10ie
iz
1 = 0

e
iz

2
+ 10i

e
iz

1 = 0
que e uma equacao quadratica em e
iz
. Resolvendo essa equacao obtemos:
e
iz
=
10i

96
2
= 5i 2

6i =

5 2

i
Assim,
e
iz
=

5 + 2

i iz = n

5i + 2

6i

z = i.n

5i + 2

6i

Como

5 + 2

i e um n umero imaginario puro e 5+2

6 > 0, segue que arg

5 + 2

2
+ 2k, logo
z = i.n

5i + 2

6i

= i

5 + 2

+ i

2
+ 2k

2
+ 2k

i.n

5 + 2

4
onde k Z. Procedendo de modo analogo, segue que:
e
iz
=

5 2

i iz = n

5 2

i
z = i.n

5 2

i =
(4k + 1)
2
i.n

5 2

onde k Z. O que nos mostra que, no campo dos n umeros complexos, a equacao sen(z) = 5
possui innitas solucoes.
Para nalizarmos vamos analizar a equacao 1
x
= 3. Evidentemente que no campo dos
n umeros reais a equacao 1
x
= 3 n ao possui solu cao, visto que 1
x
= 1 para todo x real. Ja
no campo dos n umeros complexos podemos proceder da seguinte forma: fazendo = 2k,
com k Z, na formula de Euler e
i
= cos + i.sen, obtemos
e
i2k
= cos2k + isen2k = 1 + i.0 = 1
portanto,
1
z
= 3

e
i2k

z
= e
n3

e
2kiz
= e
n3

2kiz = n3
z =
n3
2ki

z =
n3
2k
i, com k Z
o que nos mostra que a equa cao 1
z
= 3 possui innitas solucoes no campo dos n umeros
complexos. Surpreendente, nao?!
4 Referencias
[1] Posamentier, Alfred - The Art of Problem Solving, Corwin press.
[2] Maor, Eli - Trigonometric Deligths, Princeton Universit Press.
[3] Zill, Dennis G - Curso Introdutorio de`a analise Complexa com Aplicacoes, LTC.
[4] RPM 77 - Revista do Professor de Matematica, SBM.
5