You are on page 1of 518

Logaritmo

Origem: Wikipdia, a enciclopdia livre.

O grfico do logaritmo na base 2[1]atravessa o eixo das abcissas em x = 1 e passa pelos pontos com
coordenadas (2, 1), (4, 2) e (8, 3). O grfico se aproxima do eixo das ordenadas, mas no chega a
toc-lo.[2]

Na matemtica, o logaritmo de um nmero o expoente a que outro valor fixo, a base,


deve ser elevado para produzir este nmero.[3]Por exemplo, o logaritmo de 1000 na base
10 3 porque 10 ao cubo 1000 (1000 = 101010 = 103). De maneira geral, para
quaisquer dois nmeros reais b e x, onde b positivo e b 1,[4]

.
O logaritmo da base 10 (b = 10) chamado de logaritmo comum (ou decimal) e tem
diversas aplicaes na cincia e engenharia. O logaritmo natural (ou neperiano) tem
a constante irracional e ( 2,718) como base e utilizado na matemtica pura,
principalmente em clculo diferencial. Ainda h o logaritmo binrio, no qual se usa
base 2 (b = 2), que importante para a cincia da computao.[5]
O conceito de logaritmo foi introduzido por John Napier no incio do sculo XVII a fim
de simplificar clculos, da a nomenclatura logaritmo neperiano.[6] Ele foi rapidamente
adotado por navegadores, cientistas, engenheiros e outros profissionais para facilitar
seus clculos, atravs do uso de rguas de clculo e tabelas logartmicas. Algumas
etapas tediosas da multiplicao com vrios dgitos podem ser substitudas por
consultas a tabelas ou por somas mais simples devido ao fato de o logaritmo de um
produto ser o somatrio dos logaritmos dos fatores:[7]

desde que b, x e y sejam positivos e b 1.


A atual noo de logaritmo advm de Leonhard Euler, que o relacionou com
a funo exponencial no sculo XVIII.[8] As escalas logartmicas permitem reduzir
grandezas de elevada amplitude para valores menores. Por exemplo, o decibel
uma unidade logartmica que indica a proporo de uma quantidade fsica
(geralmente energia ou intensidade) em relao a um nvel de referncia, isto ,
estabelece uma razo entre a quantificao da energia liberada e
a amplitude.[9] Em qumica, o potencial hidrogeninico (pH) mede a acidez e a
alcalinidade de solues aquosas. Os logaritmos ainda so comuns em frmulas
cientficas, na teoria da complexidade computacional e de figuras geomtricas
chamadas fractais.[10][11] Eles descrevem intervalos musicais, aparecem em
frmulas que contam os nmeros primos, informam vrios modelos
da psicofsica e podem auxiliar na percia contbil.[12]
Do mesmo modo como o logaritmo o inverso da exponenciao, o logaritmo
complexo a funo inversa da funo exponencial aplicada a nmeros
complexos. O logaritmo discreto outra variante; ele utilizado na criptografia
assimtrica.[13]

ndice
[esconder]

1Razo e definio
o 1.1Exponenciao
o 1.2Definio
o 1.3Exemplos
2Identidades logartmicas
o 2.1Produto, quociente, potncia e raiz
o 2.2Mudana de base
3Bases particulares
4Histria
o 4.1Antecessores
o 4.2De Napier a Euler
o 4.3Tabelas de logaritmos
o 4.4Rgua de clculo
5Propriedades analticas
o 5.1Funo logartmica
o 5.2Funo inversa
o 5.3Derivada e integral
o 5.4Representao da integral do logaritmo natural
o 5.5Transcendncia do logaritmo
6Clculo
o 6.1Srie de potncias
6.1.1Srie de Taylor
6.1.2Sries mais eficientes
o 6.2Mdia aritmtica-geomtrica
7Aplicaes
o 7.1Escalas logartmicas
o 7.2Psicologia
o 7.3Teoria da probabilidade e estatstica
o 7.4Complexidade computacional
o 7.5Entropia e caos
o 7.6Fractais
o 7.7Msica
o 7.8Teoria dos nmeros
8Generalizaes
o 8.1Logaritmos complexos
o 8.2Inversos de outras funes exponenciais
o 8.3Conceitos relacionados
9Ver tambm
10Referncias
11Ligaes externas

Razo e definio[editar | editar cdigo-fonte]


A ideia dos logaritmos reverter a operao de exponenciao, isto , elevar um
nmero a uma potncia.[14] A ttulo de exemplo, a potncia de trs (ou o cubo) de 2
8, porque 8 o produto dos trs fatores de 2:[15]
Disso resulta que o logaritmo de 8 na base 2 3, ou seja:[16] log2 8 = 3.
Exponenciao[editar | editar cdigo-fonte]
A potncia de trs de qualquer nmero b o produto de trs fatores de b. De
forma mais geral, elevar b ensima potncia, quando n um nmero
natural, se realiza pela multiplicao de n fatores de b. A ensima potncia
de b escrita como bn, que significa:[17]

A exponenciao pode ser estendida para by, onde b um nmero


positivo e o expoente y qualquer nmero real.[18] Por exemplo, b1
o inverso de b, ou seja, 1/b.[19]
Definio[editar | editar cdigo-fonte]

O logaritmo de um nmero positivo real , na base , o expoente

pelo qual deve ser elevado para se chegar a , sendo

nmero positivo real diferente de .[20] Em outras palavras, o logaritmo

de na base a soluo de na equao : [21]

Onde

a base do logaritmo;

o logaritmando;

o prprio logaritmo;

Sendo pronunciado como "o logaritmo de na

base ".[22]
Exemplos[editar | editar cdigo-fonte]

, visto que .
Os logaritmos tambm podem ser negativos:[23]

porque:

[24]

Um terceiro exemplo : log10(150) aproximadamente 2,176,


que se localiza entre 2 e 3, da mesma forma como 150 est
entre 102 = 100 e 103 = 1000.[25] Finalmente, para qualquer
base b, logb(b) = 1 e logb(1) = 0, pois b1 = b e b0 = 1,
respectivamente.[26]
Identidades logartmicas[editar | editar
cdigo-fonte]
Ver artigo principal: Identidades logartmicas
Vrias frmulas so importantes para relacionar um logaritmo
a outro, e essas relaes so chamadas de identidades
logartmicas ou leis de log.[27]
Produto, quociente, potncia e raiz[editar | editar
cdigo-fonte]
O logaritmo de um produto a soma dos logaritmos dos
nmeros a serem multiplicados; o logaritmo da razo a
diferena dos logaritmos; o logaritmo da p-sima potncia de
um nmero p vezes o logaritmo do nmero em questo e,
por fim, a p-sima raiz de um nmero o logaritmo do
nmero dividido por p.[28] A tabela a seguir lista essas
identidades com exemplos, sendo que todas podem ser
derivadas aps a substituio da definio de

logaritmo e/ou nos primeiros membros.[29]

Frmula[30] Exemplo

produto

quociente

potncia

raiz

Mudana de base[editar | editar cdigo-fonte]


O logaritmo logb(x) pode ser calculado a partir dos logaritmos
de x e de b, ambos com uma base arbitrria k, utilizando a
seguinte frmula:[31][32]

As tpicas calculadoras cientficas calculam os logaritmos


nas bases 10 e e.[33] Logaritmos com respeito a qualquer
base b podem ser determinados usando qualquer um
desses logaritmos, segundo a frmula:[34]

Dado um nmero x e seu logaritmo logb(x), a base


desconhecida b dada por:[35]

Bases particulares[editar | editar


cdigo-fonte]
Entre todas as opes para a base, trs so
particularmente comuns. Essas so 10, 2 e a
constante irracional e. Na anlise matemtica, o
uso do logaritmo de base e generalizado por
causa de suas particulares propriedades
analticas. Por outro lado, o uso da base 10
mais fcil para clculos manuais no sistema de
nmeros decimais.[36]

Assim, log10(x) est relacionado com o


nmero de dgitos decimais de um inteiro
positivo x, isto , o nmero de dgitos o
menor nmero inteiro estritamente maior que
log10(x).[37] Por exemplo, log10(1430)
aproximadamente 3,15: o prximo inteiro 4,
que a quantidade de dgitos de 1430. Tanto
o logaritmo natural quanto o logaritmo binrio
so utilizados na teoria da informao, o que
corresponde respectivamente ao uso
de nats ou bits como unidades fundamentais
de informao.[38] Os logaritmos de base 2
tambm se encontram na cincia da
computao, na teoria musical e
na fotografia.[39]

Nom Outra
Bas e do Notao I s
Usado em
eb logb( SO[40][41] nota
x) es

cincia da
ld(x), computa
logar
log(x), o, teoria da
itmo
2 lb(x)[42] lg(x), informao
binr
log2(x , teoria
io
) musical, fot
ografia

matemtica
, fsica,
qumica, es
logar tatsticas,
itmo log(x)[ economia,
e ln(x)[43] 44][45]
natur teoria da
al informao
e alguns
campos da
engenharia
engenharia,
ondulatria
, pH,
escalas,
logar
log(x), tbuas
itmo
10 lg(x) log10( logartmica
comu
x) s,
m
calculadora
s
e espectros
copia

Histria[editar | editar cdigo-fonte]


Antecessores[editar | editar cdigo-
fonte]
Os babilnios, entre os anos de 20001600
a.C., podem ter inventado a multiplicao dos
quadrados dos quartos para multiplicar dois
nmeros utilizando somente a adio, a
subtrao e uma tabela de quadrados dos
quartos.[46][47] Entretanto, ele no poderia ser
usado para diviso sem uma tabela adicional
dos inversos (ou o conhecimento de um
algoritmo suficientemente simples para gerar
os inversos). Grandes tabelas de quadrados
dos quartos foram utilizadas para simplificar a
multiplicao precisa de grandes nmeros a
partir de 1817, at este mtodo ser
substitudo pela utilizao dos
computadores.[48]
O matemtico indiano Virasena trabalhou
com o conceito de ardhaccheda, o nmero de
vezes em que um nmero da forma 2n pode
ser dividido por 2. Para potncias exatas de
2, este o logaritmo naquela base, que um
nmero inteiro; para outros nmeros, ele
indefinido. Ele descreveu relaes como a
frmula do produto e tambm introduziu
logaritmos inteiros nas bases 3 (trakacheda)
e 4 (caturthacheda).[49]
Michael Stifel publicou Arithmetica
integra em Nuremberg em 1544, contendo
uma tabela de inteiros e potncias de 2,
sendo considerada uma verso inicial da
tabela logartmica.[50]
No final do sculo XVI e incio do sculo XVII,
um algoritmo chamado prosthaphaeresis foi
usado para aproximar a multiplicao e a
diviso. Isto usava a identidade
trigonomtrica[51][52]
ou similar para converter as
multiplicaes em adies, bem como
consultas a tabelas. Entretanto, os
logaritmos so mais diretos e requerem
menos trabalho. Pode-se demonstrar,
com o uso da Frmula de Euler, que os
dois mtodos so relacionados.
De Napier a Euler[editar | editar
cdigo-fonte]

John Napier (15501617), o inventor dos


logaritmos.[32]

O mtodo dos logaritmos foi proposto


publicamente em 1614 por John Napier,
em um livro intitulado Mirifici
Logarithmorum Canonis
Descriptio (Descrio da maravilhosa
regra dos logaritmos).[53][54] Joost
Brgi construiu uma tabela de potncias
com base muito prxima a 1, e esta
tabela fornecia uma boa correspondncia
entre os inteiros 1-10 (ou 10-100, etc.) e
expoentes que podiam ser somados.
Esta tabela foi impressa (mas talvez no
publicada) em 1620. Entretanto, Brgi
no definiu uma funo abstrata contnua
como Napier, e tambm no resolveu a
preciso das interpolaes, o que
tambm foi trabalhado por Napier.
Johannes Kepler, que usou tabelas de
logaritmos extensivamente para compilar
o seu Ephemeris, que depois dedicou a
Napier,[55][55] observou:
a nfase em Rudolphine
clculo levou Tables
Justus Byrgius (1627)
[Joost Brgi]
pelo caminho
para esses
logaritmos
muitos anos antes
de o sistema de
Napier aparecer;
mas... em vez de
apresentar seu
filho para o
benefcio do
pblico, ele o
abandonou no
nascimento.
Johannes
Kepler[56]
Por meio de subtraes repetidas, Napier
calculou (1 107)L para L variando de 1
a 100. O resultado para L=100
aproximadamente 0.99999 = 1 105.
Napier ento calculou os produtos
desses nmeros com 107(1
105)L para L de 1 a 50, e fez
similarmente com 0.9998 (1
105)20 e 0.9 0.99520. Esses clculos,
que levaram vinte anos, permitiram-lhe
fornecer, para qualquer nmero N de 5 a
10 milhes, o nmero L que resolve a
equao

Napier primeiro chamou L um


nmero artificial, mas depois
introduziu o termo logaritmo para
significar um nmero que indica uma
razo: (logos) significando
proporo, e (arithmos)
significando nmero. Em notao
moderna, a relao para logaritmos
naturais :[57]

onde uma boa aproximao


corresponde observao que

A inveno dos logaritmos foi


rpida e amplamente
recebida com elogios. Os
trabalhos de Bonaventura
Cavalieri (Itlia), Edmund
Wingate (Frana), Xue
Fengzuo (China) e Johannes
Kepler (Alemanha) ajudaram
a espalhar e expandir ainda
mais o conceito e a utilidade
dos logaritmos.[58]
A hiprbole y = 1/x (curva
vermelha) e sua rea dada
por x = 1 a 6 (hachurada de
laranja).

Em 1649, Alphonse Antonio


de Sarasa, antigo aluno
de Grgoire de Saint-
Vincent, relacionou os
logaritmos com a quadratura
da hiprbole, apontando que
a rea f(t) do grfico de x =
1 a x = t satisfaz[59][60]

O logaritmo natural foi


descrito primeiramente
pelo alemo Nikolaus
Mercator em sua
obra Logarithmotechnia,[
61]
publicada em 1668,
embora o professor de
matemtica John
Speidell, em 1619, j
tivesse elaborado uma
tabela explicando o que
eram os logaritmos
naturais com base no
trabalho de
Napier.[62] Por volta de
1730, Leonhard
Euler definiu a funo
exponencial e o
logaritmo natural por

[63]

Euler tambm
mostrou que
uma funo o
inverso da
outra.[64][65][66]
Tabelas de
logaritmos[e
ditar | editar
cdigo-fonte]
Ver artigo
principal: Tabela
matemtica

Definio de
logaritmos
segundo
a Encyclopdi
a
Britannica (17
97).

Com a
simplificao de
clculos difceis,
os logaritmos
contriburam
para o avano
da cincia,
especialmente
da astronomia.
Foram crticos
para os avanos
na agrimensura,
na navegao
astronmica e
em outros
domnios.[67]Pierr
e Simon
Laplace coment
ou sobre os
logaritmos:
"... um admirvel artifcio que, ao reduzir para poucos dias um trabalho de muitos
meses, duplica a vida dos astrnomos e poupa-os dos erros e desgostos
inseparveis dos longos clculos."[68]
A
ferramenta-
chave que
possibilitou
o uso prtico
dos
logaritmos
antes das
calculadoras
e
computador
es foi
a tabela de
logaritmos.[6
9]
A primeira
tabela deste
tipo foi
compilada
por Henry
Briggs em
1617,
imediatamen
te aps a
inveno de
Napier.
Ulteriorment
e, tabelas
com maior
alcance e
preciso
foram
publicadas.
Essas
tabelas
listavam
valores de
logb(x)
e bx para
qualquer
nmero x e
m um certo
intervalo,
com uma
determinada
preciso,
para uma
certa
base b (usu
almente, b =
10). Por
exemplo, a
primeira
tabela de
Briggs
contm o
logaritmo
comum de
todos os
nmeros
inteiros de 1
a 1000, com
preciso de
oito dgitos.
Como a
funo f(x)
= bx a
funo
inversa de
logb(x), ela
foi chamada
de
antilogaritmo
.[70] O
produto e o
quociente de
dois
nmeros
positivos c e
d eram
rotineiramen
te
calculados
pela soma e
diferena de
seus
logaritmos.
O
produto cd o
uo
quociente c/
d so
encontrados
por meio de
consulta aos
antilogaritmo
s da soma
ou
diferena,
na mesma
tabela:

Par
a
clc
ulos
man
uais
que
dem
and
am
prec
ise
s
apre
civ
eis,
reali
zar
a
pes
quis
a
dos
dois
loga
ritm
os
(na
tabe
la
loga
rtmi
ca),
reali
zar
sua
som
a ou
difer
en
ae
local
izar
o
antil
ogar
itmo
na
tabe
la[71]

muit
o
mai
s
rpi
do
do
que
a
mult
iplic
a
o
por
mt
odo
s
ante
riore
s,
tal
com
o
o pr
osth
aph
aere
sis,
que
dep
end
e
das
iden
tida
des
trigo
nom
tric
as.
Clc
ulos
de p
otn
cias
e ra
zes
so
redu
zido
s
mult
iplic
a
o ou

divis
o
da
seg
uint
e
man
eira:
[72]

M
u
i
t
a
s
t
a
b
e
l
a
s
d
e
l
o
g
a
r
i
t
m
o
s
f
o
r
n
e
c
e
m
o
s
l
o
g
a
r
i
t
m
o
s
s
e
p
a
r
a
d
a
m
e
n
t
e
p
e
l
a
c
a
r
a
c
t
e
r

s
t
i
c
a
e
a

m
a
n
t
i
s
s
a

d
e

x
,
o
u
s
e
j
a
,
a

p
a
r
t
e
i
n
t
e
i
r
a

e
a
p
a
r
t
e
f
r
a
c
i
o
n

r
i
a

d
e
l
o
g
1
0
(
x
)
.
[
7
3
]

A
c
a
r
a
c
t
e
r

s
t
i
c
a
d
e

1
0

x

1
m
a
i
s
a
c
a
r
a
c
t
e
r

s
t
i
c
a
d
e

x
,
e
s
e
u
s

s
i
g
n
i
f
i
c
a
n
d
o
s

o
o
s
m
e
s
m
o
s
.
I
s
s
o
e
s
t
e
n
d
e
o
e
s
c
o
p
o
d
a
s
t
a
b
e
l
a
s
d
e
l
o
g
a
r
i
t
m
o
s
:
d
a
d
a
u
m
a
t
a
b
e
l
a
l
i
s
t
a
n
d
o
l
o
g
1
0
(
x
)
p
a
r
a
t
o
d
o
s
o
s
i
n
t
e
i
r
o
s
d
e
1
a
1
0
0
0
,
o
l
o
g
a
r
i
t
m
o
d
e
3
5
4
2

a
p
r
o
x
i
m
a
d
a
m
e
n
t
e
:
[
7
4
]

R

g
u
a
d
e
c

l
c
u
l
o
[
e
d
i
t
a
r

e
d
i
t
a
r
c

d
i
g
o
-
f
o
n
t
e
]
O
u
t
r
a
a
p
l
i
c
a

o
c
r

t
i
c
a
f
o
i
a

g
u
a
d
e
c

l
c
u
l
o
,
u
m
p
a
r
d
e
e
s
c
a
l
a
s
l
o
g
a
r

t
m
i
c
a
s
u
t
i
l
i
z
a
d
a
s
p
a
r
a
c

l
c
u
l
o
s
,
d
a
s
e
g
u
i
n
t
e
m
a
n
e
i
r
a
:
[
7
5
]

R
e
p
r
e
s
e
n
t
a

o
e
s
q
u
e
m

t
i
c
a
d
e
u
m
a
r

g
u
a
d
e
c

l
c
u
l
o
.
N
e
s
t
e
e
x
e
m
p
l
o
,
c
o
l
o
c
a
n
d
o
2
n
a
e
s
c
a
l
a
i
n
f
e
r
i
o
r
e
3
n
a
e
s
c
a
l
a
s
u
p
e
r
i
o
r
,
a
t
i
n
g
e
-
s
e
6
p
e
l
o
p
r
o
d
u
t
o
.
E
s
t
a
r

g
u
a
f
u
n
c
i
o
n
a
p
o
r
q
u
e
a
d
i
s
t

n
c
i
a
d
e
1
a

m
a
r
c
a
d
a
p
r
o
p
o
r
c
i
o
n
a
l
m
e
n
t
e
a
o
l
o
g
a
r
i
t
m
o
d
e

x
.
A
e
s
c
a
l
a
l
o
g
a
r

t
m
i
c
a
n

o
d
e
s
l
i
z
a
n
t
e
d
e
E
d
m
u
n
d
G
u
n
t
e
r

f
o
i
d
e
s
e
n
v
o
l
v
i
d
a
l
o
g
o
d
e
p
o
i
s
d
a
i
n
v
e
n

o
d
e
N
a
p
i
e
r
.
O
p
a
d
r
e
i
n
g
l

W
i
l
l
i
a
m
O
u
g
h
t
r
e
d

a
a
p
r
i
m
o
r
o
u
p
a
r
a
c
r
i
a
r
a
r

g
u
a
d
e
c

l
c
u
l
o

u
m
p
a
r
d
e
e
s
c
a
l
a
s
l
o
g
a
r

t
m
i
c
a
s
m

v
e
i
s
,
e
m
q
u
e
o
s
n

m
e
r
o
s
s

o
c
o
l
o
c
a
d
o
s
e
m
d
i
s
t

n
c
i
a
s
p
r
o
p
o
r
c
i
o
n
a
i
s

s
d
i
f
e
r
e
n

a
s
d
e
s
e
u
s
l
o
g
a
r
i
t
m
o
s
.
D
e
s
l
i
z
a
n
d
o
-
s
e
a
e
s
c
a
l
a
s
u
p
e
r
i
o
r
e
m
r
e
l
a

e
s
c
a
l
a
i
n
f
e
r
i
o
r
p
e
r
m
i
t
e
a
s
o
m
a
m
e
c

n
i
c
a
d
o
s
l
o
g
a
r
i
t
m
o
s
.
[
7
6
]

P
o
r
e
x
e
m
p
l
o
,
c
o
l
o
c
a
n
d
o
-
s
e
a
d
i
s
t

n
c
i
a
d
e
1
a
2
n
a
e
s
c
a
l
a
i
n
f
e
r
i
o
r
e
a
d
i
s
t

n
c
i
a
d
e
1
a
3
n
a
e
s
c
a
l
a
s
u
p
e
r
i
o
r
,
c
h
e
g
a
-
s
e
n
a
e
s
c
a
l
a
i
n
f
e
r
i
o
r
a
o
p
r
o
d
u
t
o
6
.
[
7
7
]

A
r

g
u
a
d
e
c

l
c
u
l
o
f
o
i
u
m
a
f
e
r
r
a
m
e
n
t
a
e
s
s
e
n
c
i
a
l
p
a
r
a
e
n
g
e
n
h
e
i
r
o
s
e
c
i
e
n
t
i
s
t
a
s
a
t

a
d

c
a
d
a
d
e
1
9
7
0
,
p
o
r
q
u
e
e
l
a
p
e
r
m
i
t
e
,
e
m
d
e
t
r
i
m
e
n
t
o
d
a
p
r
e
c
i
s

o
,
m
u
i
t
o
m
a
i
s
r
a
p
i
d
e
z
n
o
c

l
c
u
l
o
q
u
e
a
s
t

c
n
i
c
a
s
b
a
s
e
a
d
a
s
n
a
s
t
a
b
e
l
a
s
l
o
g
a
r

t
m
i
c
a
s
.
[
6
4
]

P
r
o
p
r
i
e
d
a
d
e
s
a
n
a
l

t
i
c
a
s
[
e
d
i
t
a
r

e
d
i
t
a
r
c

d
i
g
o
-
f
o
n
t
e
]
U
m
e
s
t
u
d
o
m
a
i
s
p
r
o
f
u
n
d
o
d
o
s
l
o
g
a
r
i
t
m
o
s
r
e
q
u
e
r
o
c
o
n
c
e
i
t
o
d
e

f
u
n

o
:
u
m
a
r
e
l
a

o
e
n
t
r
e
d
o
i
s

c
o
n
j
u
n
t
o
s
,
n
a
q
u
a
l
h

u
m
a
c
o
n
d
i

o
e
n
t
r
e
c
a
d
a
u
m
d
e
s
e
u
s
e
l
e
m
e
n
t
o
s
.
U
m
e
x
e
m
p
l
o

a
f
u
n

o
e
x
p
o
n
e
n
c
i
a
l
,
n
a
q
u
a
l
a
e
n

s
i
m
a
p
o
t

n
c
i
a
d
e
b
r
e
s
u
l
t
a
e
m
u
m
n

m
e
r
o
r
e
a
l
y
.
[
7
8
]

E
s
t
a
f
u
n

o
s
e
e
s
c
r
e
v
e
:

F
u
n


o
l
o
g
a
r

t
m
i
c
a
[
e
d
i
t
a
r

e
d
i
t
a
r
c

d
i
g
o
-
f
o
n
t
e
]
P
a
r
a
j
u
s
t
i
f
i
c
a
r
a
d
e
f
i
n
i

o
d
e
l
o
g
a
r
i
t
m
o
,

n
e
c
e
s
s

r
i
o
m
o
s
t
r
a
r
q
u
e
a
e
q
u
a

t
e
m
a
s
o
l
u

o
x
e
q
u
e
e
s
t
a

n
i
c
a
,
d
e
s
d
e
q
u
e
y
s
e
j
a
p
o
s
i
t
i
v
o
e
b
s
e
j
a
p
o
s
i
t
i
v
o
e
d
i
f
e
r
e
n
t
e
d
e
1
.
U
m
a
p
r
o
v
a
p
a
r
a
e
s
t
e
f
a
t
o
r
e
q
u
e
r
o

t
e
o
r
e
m
a
d
o
v
a
l
o
r
i
n
t
e
r
m
e
d
i

r
i
o

d
o

l
c
u
l
o
e
l
e
m
e
n
t
a
r
.
[
7
9
]

E
s
t
e
t
e
o
r
e
m
a
a
f
i
r
m
a
q
u
e
u
m
a

f
u
n

o
c
o
n
t

n
u
a

q
u
e
p
r
o
d
u
z
d
o
i
s
v
a
l
o
r
e
s

t
a
m
b

m
p
r
o
d
u
z
q
u
a
l
q
u
e
r
v
a
l
o
r
q
u
e
s
e
s
i
t
u
e
e
n
t
r
e

n
.
[
8
0
]

U
m
a
f
u
n

c
o
n
t

n
u
a
q
u
a
n
d
o
e
l
a
n

o
d

s
a
l
t
o
s

,
i
s
t
o

,
q
u
a
n
d
o
s
e
u
g
r

f
i
c
o
p
o
d
e
s
e
r
d
e
s
e
n
h
a
d
o
s
e
m
s
e
l
e
v
a
n
t
a
r
a
c
a
n
e
t
a
.
P
o
d
e
-
s
e
d
e
m
o
n
s
t
r
a
r
q
u
e
e
s
t
a
p
r
o
p
r
i
e
d
a
d
e
s
e
a
p
l
i
c
a

f
u
n

f
(
x
)
=

b
x

.
C
o
m
o

a
s
s
u
m
e
v
a
l
o
r
e
s
p
o
s
i
t
i
v
o
s
a
r
b
i
t
r
a
r
i
a
m
e
n
t
e
g
r
a
n
d
e
s
e
a
r
b
i
t
r
a
r
i
a
m
e
n
t
e
p
e
q
u
e
n
o
s
,
q
u
a
l
q
u
e
r
n

m
e
r
o

>
0

s
i
t
u
a
-
s
e
e
n
t
r
e

f
(
x
0
)
e

f
(
x
1
)
p
a
r
a
a
p
r
o
p
r
i
a
d
o
s

x
0

e
x
1
.
[
8
1
]

L
o
g
o
,
o
t
e
o
r
e
m
a
d
o
v
a
l
o
r
i
n
t
e
r
m
e
d
i

r
i
o
g
a
r
a
n
t
e
q
u
e
a
e
q
u
a

f
(
x
)
=

t
e
m
u
m
a
s
o
l
u

o
.
A
l

m
d
i
s
s
o
,
h

a
p
e
n
a
s
u
m
a
s
o
l
u

o
p
a
r
a
e
s
s
a
e
q
u
a

o
,
p
o
r
q
u
e
a
f
u
n

e
s
t
r
i
t
a
m
e
n
t
e
c
r
e
s
c
e
n
t
e

(
p
a
r
a

>
1
)
o
u
e
s
t
r
i
t
a
m
e
n
t
e
d
e
c
r
e
s
c
e
n
t
e
(
p
a
r
a

0
<

<
1
)
.
[
8
2
]

n
i
c
a
s
o
l
u

o
l
o
g
a
r
i
t
m
o
d
e
y
n
a
b
a
s
e
b
,
l
o
g
b
(
y
)
.
A
f
u
n

o
q
u
e
a
t
r
i
b
u
i
a
y
o
s
e
u
l
o
g
a
r
i
t
m
o

c
h
a
m
a
d
a
d
e
f
u
n

o
l
o
g
a
r

t
m
i
c
a
o
u
,
s
i
m
p
l
e
s
m
e
n
t
e
,
l
o
g
a
r
i
t
m
o
.
A
f
u
n

o
l
o
g
b
(
x
)

e
s
s
e
n
c
i
a
l
m
e
n
t
e
c
a
r
a
c
t
e
r
i
z
a
d
a
p
e
l
a
f

r
m
u
l
a
d
o
p
r
o
d
u
t
o
:
[
8
3
]

M
a
i
s
p
r
e
c
i
s
a
m
e
n
t
e
,
o
l
o
g
a
r
i
t
m
o
e
m
q
u
a
l
q
u
e
r
b
a
s
e

>
1

n
i
c
a
f
u
n

o
c
r
e
s
c
e
n
t
e

d
o
s
n

m
e
r
o
s
r
e
a
i
s
p
a
r
a
o
s
r
e
a
i
s
q
u
e
s
a
t
i
s
f
a

a
m

f
(
b
)
=
1

[
8
4
]
F
u
n

o
i
n
v
e
r
s
a
[
e
d
i
t
a
r

e
d
i
t
a
r
c

d
i
g
o
-
f
o
n
t
e
]
A
f

r
m
u
l
a
p
a
r
a
o
l
o
g
a
r
i
t
m
o
d
e
u
m
a
p
o
t

n
c
i
a
i
n
d
i
c
a
q
u
e
p
a
r
a
q
u
a
l
q
u
e
r
n

m
e
r
o

x
,

L
i
t
e
r
a
l
m
e
n
t
e
,
t
e
n
d
o
-
s
e
a
x
-

s
i
m
a
p
o
t

n
c
i
a
d
e

b
,
o
l
o
g
a
r
i
t
m
o
n
a
b
a
s
e

r
e
s
u
l
t
a
e
m

x
.
I
n
v
e
r
s
a
m
e
n
t
e
,
d
a
d
o
u
m
n

m
e
r
o
p
o
s
i
t
i
v
o

y
,
a
f

r
m
u
l
a

d
i
z
q
u
e
s
e
p
r
i
m
e
i
r
o
t
i
r
a
r
m
o
s
o
l
o
g
a
r
i
t
m
o
e
d
e
p
o
i
s
e
l
e
v
a
r
m
o
s
a
e
s
t
a
p
o
t

n
c
i
a
,
t
e
m
o
s
d
e
v
o
l
t
a

y
.
[
8
6
]
L
o
g
o
,
a
s
d
u
a
s
m
a
n
e
i
r
a
s
p
o
s
s

v
e
i
s
d
e
c
o
m
b
i
n
a
r
l
o
g
a
r
i
t
m
o
s
e
e
x
p
o
n
e
n
c
i
a

o
d

o
o
n

m
e
r
o
o
r
i
g
i
n
a
l
.
P
o
r
t
a
n
t
o
,
a
f
u
n

f
(
x
)
=
l
o
g
b
x

f
u
n

o
i
n
v
e
r
s
a

d
e

f
(
x
)
=

b
x

.
[
8
7
]

A
s
f
u
n

e
s
i
n
v
e
r
s
a
s
e
s
t

o
e
s
t
r
e
i
t
a
m
e
n
t
e
r
e
l
a
c
i
o
n
a
d
a
s

s
f
u
n

e
s
o
r
i
g
i
n
a
i
s
.
S
e
u
s
g
r

f
i
c
o
s
s

o
c
o
r
r
e
s
p
o
n
d
e
n
t
e
s
,
a
p
e
n
a
s
t
r
o
c
a
n
d
o
-
s
e
o
e
i
x
o
d
a
s
a
b
c
i
s
s
a
s
c
o
m
o
e
i
x
o
d
a
s
o
r
d
e
n
a
d
a
s
(
o
u
p
e
l
a
r
e
f
l
e
x

o
e
m
r
e
l
a

d
i
a
g
o
n
a
l

x
=
y
)
,
c
o
m
o
m
o
s
t
r
a
d
o
n
o
s
g
r

f
i
c
o
s
a
o
l
a
d
o
:
u
m
p
o
n
t
o
(
t
,

b
t

)
e
m
u
m
g
r

f
i
c
o
r
e
p
r
e
s
e
n
t
a
o
p
o
n
t
o
(
u
,

=
l
o
g
b
u
)
n
o
o
u
t
r
o
g
r

f
i
c
o
,
p
e
l
o
p
r
o
c
e
s
s
o
d
a

r
e
f
l
e
x

o
,
e
v
i
c
e
-
v
e
r
s
a
.
[
8
8
]

C
o
n
s
e
q
u
e
n
t
e
m
e
n
t
e
,
l
o
g
b
(
x
)

t
e
n
d
e
p
a
r
a
o
i
n
f
i
n
i
t
o

s
e
x
c
r
e
s
c
e
p
a
r
a
o
i
n
f
i
n
i
t
o
,
d
e
s
d
e
q
u
e

s
e
j
a
m
a
i
o
r
q
u
e
u
m
(
n
e
s
s
e
c
a
s
o
,
l
o
g
b
(
x
)

u
m
a
f
u
n

o
c
r
e
s
c
e
n
t
e
)
.
P
a
r
a

<
1
,
l
o
g
b
(
x
)
t
e
n
d
e
p
a
r
a
m
e
n
o
s
i
n
f
i
n
i
t
o
.
[
8
9
]

D
e
r
i
v
a
d
a
e
i
n
t
e
g
r
a
l
[
e
d
i
t
a
r

e
d
i
t
a
r
c

d
i
g
o
-
f
o
n
t
e
]
A
s
p
r
o
p
r
i
e
d
a
d
e
s
a
n
a
l

t
i
c
a
s
d
a
s
f
u
n

e
s
p
a
s
s
a
m
p
a
r
a
s
u
a
s
f
u
n

e
s
i
n
v
e
r
s
a
s
.
E
n
t

o
,
c
o
m
o

f
(
x
)
=

b
x

u
m
a

f
u
n

o
d
i
f
e
r
e
n
c
i

v
e
l
e
c
o
n
t

n
u
a
,
l
o
g
b
(
y
)
t
a
m
b

.
G
r
o
s
s
o
m
o
d
o
,
u
m
a
f
u
n

o
c
o
n
t

n
u
a

d
i
f
e
r
e
n
c
i

v
e
l
s
e
s
e
u
g
r

f
i
c
o
n

o
t
i
v
e
r
"

n
g
u
l
o
s
"
.
A
l

m
d
i
s
s
o
,
c
o
m
o
a
d
e
r
i
v
a
d
a

d
e

f
(
x
)
c
a
l
c
u
l
a
a
l
n
(
b
)
b
x

p
e
l
a
s
p
r
o
p
r
i
e
d
a
d
e
s
d
a

f
u
n

o
e
x
p
o
n
e
n
c
i
a
l
,
a

r
e
g
r
a
d
a
c
a
d
e
i
a

i
m
p
l
i
c
a
q
u
e
a
d
e
r
i
v
a
d
a
d
e
l
o
g
b
(
x
)

d
a
d
a
p
o
r
[
8
2
]
[
9
0
]
[96]

You might also like