Calculando logaritmos de uma forma eciente

Lenimar Nunes de Andrade

UFPB - Joao Pessoa
e-mail: lenimar@mat.ufpb.br
7 de abril de 2007
Resumo
Assim como existem formulas com a funcao trigonometrica arco-
tangente que sao usadas no calculo do valor de , existem formulas que
envolvem a funcao arco-tangente hiperbolica que sao uteis no calculo
de logaritmos. Neste artigo, destacamos a utilizacao dessas formulas
no calculo de logaritmos de alguns n umeros.
1 Introducao
Desde o seculo XVII que os logaritmos vem sendo utilizados. Seu calculo
despertou a atenc ao de matematicos famosos como Newton, Euler, entre
outros.
Os valores dos logaritmos de varios n umeros eram publicados em forma de
longas tabelas chamadas tabuas de logaritmos. Devido `as propriedades dos
logaritmos, a utilizacao dessas tabelas tinha por objetivo facilitar calculos
onde apareciam multiplicac oes, divisoes, potencias e razes.
Como as tabuas de logaritmos sao construdas e a maneira como as cal-
culadoras ou computadores os calculam e algo que sempre chama a atencao
dos curiosos.
Neste artigo apresentamos algumas formulas que podem ser usadas para
calcular logaritmos de uma forma eciente, ou seja, com poucas operacoes
aritmeticas envolvidas e boa precisao numerica dos resultados obtidos.
1
2 A funcao arco-tangente hiperbolica
A func ao arco-tangente hiperbolica arctgh(x) pode ser denida por
arctgh(x) =
1
2
ln
_
1 + x
1 x
_
,
onde ln(x) = log
e
(x) representa o logaritmo natural de x.
Em geral, para toda formula envolvendo uma func ao trigonometrica existe
uma formula analoga envolvendo uma func ao hiperbolica. Por exemplo, a
partir das conhecidas formulas para o calculo da soma dos termos de uma
progressao geometrica innita com |x| < 1
1
1 + x
2
= 1 x
2
+ x
4
x
6
+ x
8

e
1
1 x
2
= 1 + x
2
+ x
4
+ x
6
+ x
8
+
podemos obter as formulas
arctg x =

k=0
(1)
k
x
2k+1
2k + 1
= x
x
3
3
+
x
5
5

x
7
7
+
x
9
9

e
arctgh x =

k=0
x
2k+1
2k + 1
= x +
x
3
3
+
x
5
5
+
x
7
7
+
x
9
9
+ .
Uma formula muito utilizada para calcular o valor de e a formula de
Machin:

4
= 4 arctg
1
5
arctg
1
239
.
Usando essa formula, ele calculou com 100 casas decimais em 1706.
Temos varias formulas parecidas com a formula de Machin onde aparecem
logaritmos no lugar de . Como por exemplo,
ln 2 = 2 arctgh
1
5
+ 2 arctgh
1
7
,
(que e equivalente a ln 2 = ln(3/2) + ln(4/3)). Essa formula foi usada por
Euler em 1748 para calcular ln 2 com 25 casas decimais.

E impressionante
o fato de n umeros tao distintos quanto e ln 2 serem obtidos atraves de
calculos tao semelhantes.
2
Muitas outras formulas podem ser obtidas a partir de valores particulares
das funcoes arctgh(x) e ln(x). Por exemplo, a partir de
1/2 ln(3/4) + arctgh(1/2) pode-se chegar a
ln 2 =

k=0
_
1
8k + 8
+
1
4k + 2
_
1
4
k
,
que e uma serie de convergencia muito rapida, somando-se poucos termos
podemos obter resultados bem proximos do valor exato.
3 Uma formula eciente
Em 1997, P. Sebah obteve a formula
ln 2 = 10 arctgh
1
17
+ 4 arctgh
13
499
.
A vericac ao da validade desse tipo de formula em geral e imediata, bas-
tando usar as denicoes e propriedades basicas das funcoes envolvidas. Por
exemplo, a formula anterior e equivalente a
ln 2 = 5 ln(9/8) + 2 ln(256/243) = 5(2 ln 3 3 ln 2) + 2(8 ln 2 5 ln 3)
Essa formula foi utilizada em 2001 para calcular ln 2 com mais de 500 milhoes
de casas decimais.
Substituindo-se arctgh(1/17) e arctgh(13/499) pela soma de tres termos
de cada uma das respectivas series, podemos obter um valor aproximado de
ln 2 com 8 casas decimais exatas (isto e, 8 casas decimais do valor aproximado
coincidindo com as do valor exato), conforme mostrado a seguir. Utilizamos
o smbolo signicando aproximadamente igual a.
arctgh
1
17

1
17
+
1
14739
+
1
7099285
= 0, 05889152
arctgh
13
499

13
499
+
2197
372754497
+
371293
154693737512495
= 0, 02605800
ln 2 10(0, 05889152) + 4(0, 02605800) = 0, 69314718.
4 Logaritmos de outros n umeros
Conhecendo-se um valor como o de ln 2, usando propriedades basicas dos
logaritmos podemos determinar varios outros como ln 0, 5 = ln(1/2) = ln 2,
ln 4 = 2 ln 2, ln 0, 25 = ln(1/4) = 2 ln 2, etc.
3
Alem disso, a partir de
2 arctgh
_
1
2x + 1
_
= ln
_
1 +
1
2x+1
1
1
2x+1
_
= ln
_
x + 1
x
_
,
obtemos ln(x + 1) = ln(x) + 2 arctgh
_
1
2x+1
_
, ou seja,
ln(x+1) = ln(x)+2
_
1
2x + 1
+
1
3(2x + 1)
3
+
1
5(2x + 1)
5
+
1
7(2x + 1)
7
+
_
.
que pode ser usada para calcular logaritmos de outros n umeros, conforme
mostrado a seguir onde a partir de ln 2 calculamos ln 3, depois ln 9 e ln 10.
ln 3 ln 2 + 2
_
1
5
+
1
375
+
1
15625
+
1
546875
+
1
17578125
_
= 1, 09861228
ln 9 = ln 3
2
= 2 ln 3 2 1, 09861228 = 2, 19722456
ln 10 ln 9+2
_
1
19
+
1
20577
+
1
12380495
+
1
6257102173
+
1
2904189280011
_
= 2, 30258508.
5 Logaritmos decimais
Para obter logaritmos decimais, basta dividir os logaritmos naturais por
ln 10. Podemos obter assim os seguintes valores:
log 2 =
ln 2
ln 10

0, 69314718
2, 30258508
= 0, 30103000
log 3 =
ln 3
ln 10

1, 09861228
2, 30258508
= 0, 47712125
que sao valores com 8 casas decimais exatas.
Note que usamos apenas uma quantidade bem modesta de termos dos
desenvolvimentos em series de potencias. Se tivessemos usado mais termos,
teramos obtidos resultados muito melhores. Por exemplo, se tivessemos
usado 10 termos dos desenvolvimentos de cada serie, no nal teramos obtido
log 2 e log 3 com 15 casas decimais exatas.
4
6 Recordes no calculo de ln 2
Em 2001, foi divulgado um calculo de ln 2 com mais de 500 milhoes de
casas decimais. A seguir, a evoluc ao da quantidade de casas decimais desse
tipo de calculo ao longo de varias decadas.
N. dgitos Ano Calculador
16 1671 I. Newton
25 1748 L. Euler
137 1853 W. Shanks
273 1878 Adams
330 1940 H. S. Uhler
3.683 1962 D.W. Sweeney
2.015.926 1997 P. Demichel
5.039.926 1997 P. Demichel
10.079.926 1997 P. Demichel
29.243.200 1997 X. Gourdon
58.484.499 1997 X. Gourdon
108.000.000 1998 X. Gourdon
200.001.000 2001 X. Gourdon & S. Kondo
240.000.000 2001 X. Gourdon & P. Sebah
500.000.999 2001 X. Gourdon & S. Kondo
Referencias
[1]

Avila, G., Como se constroi uma tabua de logaritmos, Revista do
Professor de Matematica 26, 1994.
[2] Gourdon, X., Sebah, P., The logarithm constant log(2), 2001, dis-
ponvel na internet em numbers.computation.free.fr
[3] Markushevich, A. I., Areas y logaritmos, Editorial Mir, 1975.
5