NMEROS NEGATIVOS TM LOGARITMOS?

1
DO THE NEGATIVE NUMBERS HAVE LOGARITHM?
Flvia Regina Oliveira do Prado
2
Jos Pedro Pereira de Carvalho
3
RESUMO
Este estudo foi realizado com o propsito de pesquisar uma das in-
meras contribuies que o notvel Leonard Euler deixou para a matemtica.
Ao se falar em logaritmos, natural definir sua existncia somente para
nmeros positivos. As primeiras dvidas de um nmero negativo possuir
logaritmos surgiram no sculo XVIII, e foram discutidas, inicialmente, pe-
los matemticos Jean Bernoulli e Leibniz sem xito algum. Euler, usando os
conhecimentos da trigonometria, nmeros complexos e mantendo as princi-
pais propriedades dos logaritmos e exponenciais, criou uma teoria esclare-
cendo definitivamente a questo. Euler mostrou que um nico nmero real
negativo tem uma infinidade de logaritmos e nenhum deles real.
Palavras-chave: logaritmo, srie de Taylor, funo de Euler.
ABSTRACT
This study was made with the purpose of reserching one the countless
contributions that great Leonard Euler left for mathematics. When mentioning
logarithms, it is natural to define its existence only to the positive numbers.
The fisrt doubts of a negative number having a logarithm came in the XVIII
century, discussed at first, by the mathematicians Jean Bernoulli and Leibniz,
without any success. Euler, using trigonometry knowledge, complex numbers
and keeping the main proprieties of logarithms and exponentials, created a
theory explaining definitely the point. Euler showed that one negative real
number has infinity of logarithms and none of them is real.
Key words: logarithm, series of Taylor, function of Euler
INTRODUO
Quando se fala em logaritmos, natural definir-se o seu campo de
existncia somente para nmeros reais positivos. Surge uma pergunta: Exis-
te logaritmo de um nmero real negativo?
1
Trabalho Final de Graduao.
2
Curso de Matemtica - Licenciatura Plena. UNIFRA.
3
Orientador.
99 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
Foi baseado na trigonometria, nmeros complexos e mantendo as prin-
cipais propriedades dos logaritmos e exponenciais, que o notvel matemti-
co Leonard Euler criou uma teoria para provar a existncia de logaritmos
para nmeros reais negativos. Euler mostrou que um nico nmero real ne-
gativo tem uma infinidade de logaritmos e nenhum deles real. Para a
teoria dos logaritmos Euler contribuiu no s com a definio em termos de
expoentes que usamos hoje, mas com a idia correta quanto aos logaritmos
de nmeros negativos (BOYER, 1974, p.329).
O propsito que se tem ento, no presente trabalho, pesquisar mais
uma das maravilhosas contribuies que Euler deixou para a Matemtica.
NMEROS NEGATIVOS TM LOGARITMO?
Os logaritmos surgiram no incio do sculo XVII com a finalidade de
facilitar as operaes aritmticas, consideradas muito complexas. Segundo
LIMA (1991), Jobst Brgi (1552-1632), um suo fabricante de instrumen-
tos astronmicos e inventor, foi o matemtico que teve as primeiras idias
sobre logaritmos. Mas a enunciao da descoberta foi pelo escocs, telogo
e matemtico John Napier (1550-1617), o qual obteve maior influncia no
desenvolvimento dos logaritmos, sendo considerado por muitos autores, o
nico matemtico a descobrir os logaritmos.
Ficou sugerido, at agora, que a inveno dos logaritmos
foi obra de um s homem, mas tal impresso no deve
permanecer. Napier foi de fato o primeiro a publicar
uma obra sobre logaritmos, mas idias muito semelhan-
tes foram desenvolvidas independentemente na Sua
por Jobst Brgi mais ou menos ao mesmo tempo. Na
verdade, possvel que a idia de logaritmo tenha ocor-
rido a Brgi em 1588, o que seria meia dzia de anos
antes de Napier comear a trabalhar na mesma direo.
Porm Brgi s publicou seus resultados em 1620, meia
dzia de anos depois de Napier publicar sua Descriptio
(BOYER, 1974, p.230).
Na primeira metade do sculo XVIII, surgiram os primeiros
questionamentos sobre logaritmos de um nmero negativo. Os matemticos
Jean Bernoulli e Leibniz tentaram criar uma teoria que explicasse essa ques-
to, porm, ambos ficaram sem uma definio concreta.
Para BOYER (1974), o resultado da teoria dos logaritmos de nme-
ros negativos deveria ter sido claro para Bernoulli e outros matemticos,
100 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
pois j tinham conhecimento da frmula e
i
= cos( ) + i sen( ) mesmo
antes de Euler enunci-la. Porm, em 1749, Leonard Euler formulou uma
teoria provando a existncia de logaritmo para nmeros reais negativos.
Leibniz era de opinio que um nmero negativo no tinha logaritmo
real porque toda potncia de expoente real de um nmero positivo a, um
nmero positivo; isto , a
x
= y onde a > 0 e x IR. Bernoulli afirmava que
nmeros negativos tm logaritmo real, e ainda, que log (-x) = log x (Lima,
1991).
*
A funo exponencial f (x) = a
x
definida por f: IR IR
+
,tem sentido
apenas para a > 0 e a 1, isso mostra coerncia na afirmao de Leibniz.
Mas Leibniz olhava o logaritmo de x na base a como o expoente y, ou seja,
log
a
x = y, o que s compatvel para logaritmos de nmeros positivos. Se a
funo exponencial assume somente valores positivos e, como ela a funo
inversa da funo logartmica, no teria sentido a existncia de logaritmo
real para um nmero negativo. Isto tambm estava em contradio com a
expectativa de Bernoulli.
*
Em uma funo logartmica definida por g(y)=log y, onde g: IR
+
IR,
sendo g a inversa da funo exponencial, ento:
x=log
a
y a
x
=y, assim, a
log
a
y
=y, por definio.
Para que a afirmativa de Bernoulli estivesse correta, era necessrio
obter uma funo contnua ou montona, de forma que (a)=1 e (x.y)=
(x)+ (y), conforme as propriedades dos logaritmos reais. Tomando-se
(x)=log x, com x > 0, e (y)= 0, obtm-se das propriedades dos logaritmos
reais (x.0)= (x)+ (0), isto , (0)= (x)+ (0). Logo, (x)= 0.
Isto contradiz a condio (a)= 1.
Da, (y) 0 ser definida por :IR
*
IR, e (x)= log x. Como
log(1)= 0, ento 0= log 1= (1)= ((-1)(-1))= (-1) + (-1)= 2 (-1),
logo, (1)= 0.
Assim, (-y)= ((-1)(y))= (-1) + (y)= (y)= log y= log -y,
V y, isto evidencia a teoria de Bernoulli, mas a igualdade a
log
a
x
= x, no
mais valeria, passaria a a
log
a
x
=x.
Mas na verdade, nem Leibniz nem Bernoulli obtiveram xito em suas
teorias, pois nada concluram, e ainda, elas pareciam um tanto antagnicas.
Euler ento partiu dos pontos de vista de Leibniz e Bernoulli e escla-
receu definitivamente a questo com seu trabalho: Da controvrsia entre os
senhores Leibniz e Bernoulli sobre os logaritmos dos nmeros negativos e
imaginrios (LIMA, 1991).
Para provar a existncia de logaritmos de nmeros negativos, Euler
partiu do princpio de que o nmero e base para todos os logaritmos e
exponenciais, a fim de facilitar a demonstrao da teoria.
101 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
O nmero e, segundo GUIDORIZZI (1994), definido como o
lim(1+1)
n
, ou seja, uma seqncia crescente de termo geral a
n
para a qual,
n
n
Vn 1, existe n > 0 tal que a
n
< n. Conforme GUIDORIZZI (1994), pelo
teorema de Taylor, a srie: 1 + x +
x
2
+
x
3
+
x
4
+ ... +
x
n
+ ...
converge para
2! 3! 4! n!
e
x
se for tomado um n suficientemente grande.
Euler tambm definiu a potncia e
z
em srie de Taylor de maneira
anloga ao nmero e, ou seja: e
z
= 1 + z +
z
2
+
z
3
+
z
4
+ ... +
z
n
+ ...
,
em que
2! 3! 4! n!
z= x+iy. Assim escreveu cos z
=
1-
z
2
+
z
4
-
z
6
+ ... +
(-1)
n
z
2n
+...
2! 4! 6! 2n!
e sen z =z -
z
3
+
z
5
-
z
7
+ ... +
(-1)
n-1
z
2n-1
+..., em que z = x + yi .
3! 5! 7! (2n-1)!
Porm, deve-se observar que para y=0, a exponencial se reduz a e
z
=e
x
, mas
se x= 0, ento z seria um nmero imaginrio puro, pois z=iy.
Da, a srie de potncia para o cos z e sen z passaria a:
e
iy
=
1 - y
2
+ y
4
- y
6
+ ...
+ i
y - y
3
+ y
5
- y
7
+ ...

2! 4! 6!

3! 5! 7!

Quando x=0 em z=x+iy, tem-se e
iy
=cos y+i sen y. Sabe-se que para
x0, e
z
=e
x
(cos y+i sen y) onde e
x
=ze y=arg z que medido em radianos.
De fato, e
z
=e
x+iy
=e
x
e
iy
=e
x
(cosy+i sen y) e z=x+iy=z(cos y+i sen y) com
z= (x
2
+y
2
) = (e
x
cos y)
2
+(e
x
sen y)
2
= e
x
.
Geometricamente, e
z
o ponto cuja distncia at a origem representa
e
x
, e o ngulo formado entre o segmento e o eixo das abscissas o argumen-
to de z, Figura 1.
Figura 1
102 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
Euler definiu o logaritmo de um nmero complexo w 0 como um
nmero complexo z tal que e
z
= w, (LIMA, 1991 p. 184). w em funo de
z uma funo de varivel complexa z, isto , w=f(z)=e
z
, em que z pertence
ao conjunto S, denominado conjunto das vizinhanas de z e passa a ser o
domnio de definio da funo w, Fgura 2.
S
Figura 2
Seja S
1
(1)
de comprimento igual a 2 e t a medida de um arco em S
1
,
partindo do ponto U=(1,0) no sentido anti-horrio. Para se descrever um arco
de comprimento t>2 ou seja t >2 ou t < -2 , necessrio que se tenha
mais de uma volta em torno de S
1.
Segundo LIMA (1991), isto poder ser mos-
trado pela funo de Euler, que definida por E:IRS
1
na qual para cada valor
real de t, a funo E faz corresponder um ponto E(t) em S
1
, Figura 3.
Figura 3
(1)
S
1
o conjunto dos pontos do plano cuja distncia at a origem igual a 1. Assim, o ponto z = (x, y)
pertence a S
1
, se e somente se, x
2
+ y
2
= 1
103 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
A extremidade final do arco dada por E(t) o ponto de interseco do
eixo das abscissas x com o eixo das ordenadas y, isto , E(t)=(x,y). Sabe-se
que cos t=x e sen t=y, pela funo de Euler tem-se E(t)=(cos t, sen t), tIR.
Tomando-se arbitrariamente t=2k, onde kZ, tem-se E(2k)=U, em
que para:
k= -1,E(-2)=(1,0);
k= 0,E(0)=(1,0);
k= 1,E(2)=(1,0);
Mas E(t) uma funo peridica. De fato E(t+2k)=E(t), tIR,
assim:
E(t+2k)=(cos (t+2k), sen (t+2k))=
=(cos t cos 2k - sen t sen 2k, sen t cos 2k+sen 2k cos t)=
=(cos t. cos2k, sen t. cos 2k)=
=(cos t, sen t)= E(t).
As funes cos t e sen t so funes peridicas de perodo 2. Pela
funo de Euler so consideradas funes da varivel real t. Portanto, para
todo t real, tem-se cos t=cos (t+2) e sen t=sen (t+2) e para qualquer k
inteiro tem-se cos t=cos (t+2k) e sen t=sen (t+2k), pois, para um mlti-
plo inteiro de 2, tem-se outro perodo para estas funes.
Para Lima (1991), a funo de Euler, E: IRS
1
estabelece uma cone-
xo entre logaritmo, nmeros complexos e trigonometria, efetuando uma
sntese entre elas.
Como w uma funo de varivel complexa z, ento se
w=r(cos+i.sen)=r.e
i
onde log w=z,w0 tem-se w=e
z
.
Mas e
ln r
=r e w=e
ln r
(cos +i.sen )=e
z
, onde w=e
ln r
.e
i
=e
ln r+i
=e
z
,
portanto z=ln r+i.
Como r=we log w=log r+i ento log w= log w+i(+2k),
kZ (1).
Isto mostra que o logaritmo de um nmero complexo tem uma infini-
dade de valores medida que se toma um k inteiro qualquer. E ainda, todos
os logaritmos de um mesmo nmero so imaginrios, com exceo se o n-
mero for positivo. Mas os nmeros negativos ou imaginrios possuem
logaritmos imaginrios.
Pode-se escrever um nmero x real e positivo qualquer da seguinte forma:
-x=x(cos +i.sen )=xe
i
e para todo k inteiro fica -x=x[cos (+2k)+i.sen
(+2k)]= xe
i(1+2k)
, fazendo-se w= -x em (1), log(-x)=log x+log e
i(1+2k)
= log x+ i(1+2k) (2).
Qualquer que seja k inteiro, nunca se ter um nmero real para
log (-x). Por exemplo, fazendo-se em (2) x = 1, tem-se:
104 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001
log (-1)=log 1+ i(1+2k) (3)
Fazendo-se em (3) -2k2, com kZ, tem-se os seguintes logaritmos.
k=1, log (-1)=log 1+ i(1+2)=3 i;
k=-1, log (-1)=log 1+ i(1-2)=- i;
k=2, log (-1)=log 1+ i(1+4)=5 i;
k=-2, log (-1)=log 1+ i(1-4)=-3 i;
Por outro lado, se x ainda um nmero real positivo e, e
y
=x , tem-se
tambme
y+2k i
=x, kZ, assim, todos os nmeros da forma y+2k i, kZ
so logaritmos de x. Apenas k = 0 fornece um logaritmo real, os demais so
todos complexos.
Euler observou que, se o smbolo log w for interpretado como o con-
junto de todos os nmeros complexos z, tais que e
z
=w, continua vlida a
propriedade do logaritmo do produto, ou seja, um nmero complexo
logaritmo de (w z), se e somente se, log (w z)=log w+log z , como pretendia
Bernoulli.
A autenticidade de que, para cada nmero existe uma infinidade de
logaritmos, como Euler pretendia, pode ser verificada observando-se que a
nica funo contnua :C
*
C tal que (w z)= (w)+ (z) e (e)=1, a
funo definida por (w)=log w.
Isto significa que, ao admitir-se uma infinidade de logaritmos para
cada nmero, manteve-se a validade da regra e
log w
=w , como queria Leibniz.
O que no ocorreria se para cada nmero houvesse apenas um logaritmo.
CONCLUSO
Baseado neste estudo, pode-se concluir que, para cada nmero real
negativo, existe uma infinidade de logaritmos complexos ou imaginrios.
Nenhum deles real. Portanto, s tem sentido falar-se em logaritmo de um
nmero real negativo se o seu campo de existncia for o conjunto dos nme-
ros complexos.
REFERNCIAS BIBLIOGRFICAS
BOYER, Carl B. 1974. Histria da matemtica. 3.ed. So Paulo: Edgar Blcher.
CHURCHILL, Ruel V. 1975. Variveis complexas e suas aplicaes. 2.ed.
So Paulo: McGraw-Hill.
GUIDORIZZI, Hamilton Luiz. 1994. Um curso de clculo. 2.ed. So Paulo:
LTC editora.
LIMA, Elon Lages. 1991. Meu professor de matemtica e outras histrias.
Rio de Janeiro: Sociedade Brasileira de matemtica.
_____.1991. Logaritmos. Rio de Janeiro: Sociedade Brasileira de Matemtica.
105 Disciplinarum Scientia. Srie: Cincias Exatas, S. Maria, v.2, n.1, p.99-105, 2001