Está en la página 1de 19

Logaritmo

No debe confundirse con Algoritmo.


Logaritmo
Logarithms.svg
Grfica de Logaritmo
Definicin

\log_b(x) := \frac {\ln(x)}{\ln(b)} \,\!\,

\scriptstyle \mathrm{con} \; b \ \in \ \mathbb{R}_+\setminus\{ 1\}


Tipo

Funcin real

Descubridor(es)

John Napier (1614)

Dominio

(0,+\infty)\,

Codominio

(-\infty,+\infty)\,

Imagen

(-\infty,+\infty)\,

Propiedades Biyectiva
Cncava
Estrictamente creciente
Trascendente
Clculo infinitesimal
Derivada

\frac{1}{x\ln(b)}\,

Funcin inversa
Lmites

b^x\,

\lim_{x\to 0^+ \atop b>1}\log_b(x)=-\infty\,

\lim_{x\to+\infty \atop b>1}\log_b(x)=+\infty\,\lim_{x\to 0^+ \atop


0<b<1}\log_b(x)=+\infty\,
\lim_{x\to+\infty \atop 0<b<1}\log_b(x)=-\infty\,
Funciones relacionadas

Funcin exponencial

El rojo representa el logaritmo en base e.


El verde corresponde a la base 10.
El prpura al de la base 1,7.
[editar datos en Wikidata]
En anlisis matemtico, usualmente, el logaritmo de un nmero real positivo
en una base de logaritmo determinada es el exponente al cual hay que
elevar la base para obtener dicho nmero. Por ejemplo, el logaritmo de 1000

en base 10 es 3, porque 1000 es igual a 10 a la potencia 3: 1000 = 103 =


101010.

De la misma manera que la operacin opuesta de la suma es la resta y la de la


multiplicacin la divisin, el clculo de logaritmos es la operacin inversa a la
exponenciacin de la base del logaritmo.

Para representar la operacin de logaritmo en una determinada base se escribe


la abreviatura log y como subndice la base y despus el nmero resultante del
que deseamos hallar el logaritmo. Por ejemplo, 35=243 luego log3243=5.
Cuando se sobreentiende la base, se puede omitir.

Los logaritmos fueron introducidos por John Napier a principios del siglo XVII
como un medio de simplificacin de los clculos. Estos fueron prontamente
adoptados por cientficos, ingenieros, banqueros y otros para realizar
operaciones fcil y rpidamente, usando reglas de clculo y tablas de
logaritmos. Estos dispositivos se basan en el hecho ms importante por
identidades logartmicas que el logaritmo de un producto es la suma de los
logaritmos de los factores:

\log_b(xy) = \log_b (x) + \log_b (y). \,


La nocin actual de los logaritmos viene de Leonhard Euler, quien conect
estos con la funcin exponencial en el siglo XVIII.

ndice [ocultar]
1

Definiciones

Propiedades generales

Propiedades algebraicas

3.1

Seleccin y cambio de base

3.1.1 Base potencia


3.1.2 Mediante desigualdades
3.1.3 Empleos
4

Propiedades analticas

4.1

Funcin logartmica

4.2

Funcin inversa

4.3

Crecimiento o decrecimiento de la funcin

4.4

Derivada e integral indefinida

4.5

Representacin integral del logaritmo natural

4.6

Trascendencia del logaritmo

Clculo

5.1

Serie de potencias

5.2

Aproximacin mediante media aritmtico-geomtrica

Extensiones

6.1

Nmeros reales

6.2

Nmeros complejos

6.3

Logaritmo en base imaginaria

6.4

Matrices

6.5

Logaritmo discreto

Historia

Aplicaciones

Vigencia

10

Ecuaciones logartmicas

10.1 Casos resueltos


11

Vase tambin

12

Notas

13

Referencias

13.1 Bibliografa
14

Enlaces externos

Definiciones[editar]
Si los nmeros a y b son positivos, b la base diferente a 1 y a 0. Se dir que el
logaritmo de a en la base b es h si se cumple que

b^h = a, y se denota log_b = h

Logaritmo puede ser definido de diversas maneras: como exponente, cuando


se conocen la base de una potencia y el valor de esta; tal el caso si

2^x = \frac{1}{16}, como \scriptstyle x = -4 resuelve la ecuacin, se dice que


-4 es el logaritmo de 1/16 en base 2. O bien
\log_2 \frac{1}{16} = -4.1 .
Se exige que la base de logaritmos sea un nmero positivo distinto de 1.
Usualmente se ha considerado como base, 10: originando los logaritmos
decimales o vulgares. O bien la base, el nmero e: generando los logaritmos
naturales o neperianos.

Como una funcin real de variable real. Concretamente, considerando que la


funcin exponencial es una funcin creciente y continua de dominio y
codominio +, pues tiene funcin inversa de dominio +, y codominio , que
tambin es creciente y continua para base mayor que 1.2
Por integral definida
\int_1^a \frac{1}{x}\,dx = \ln a

que se lee logaritmo natural de a, en este caso la base de los logaritmos es el


nmero irracional trascendente e que es el lmite de

\left( 1+\frac{1}{n} \right)^n

cuando n tiende a infinito.3

Dado un nmero real (argumento x), la funcin logaritmo le asigna el


exponente n (o potencia) a la que un nmero fijo b (base) se ha de elevar para
obtener dicho argumento. Es la funcin inversa de b a la potencia n. Esta
funcin se escribe como: n = logb x, lo que permite obtener n.4

\log_b x = n \quad \Leftrightarrow\ \quad x = b^n\,

(esto se lee como: logaritmo en base b de x es igual a n; si y slo si b elevado a


la n da por resultado a x)

Para que la definicin sea vlida, no todas las bases y nmeros son posibles. La
base b tiene que ser positiva y distinta de 1, luego b> 0 y b 1, x tiene que
ser un nmero positivo x > 0 y n puede ser cualquier nmero real (n R).5

As, en la expresin 102 = 100, el logaritmo de 100 en base 10 es 2, y se


escribe como log10 100 = 2.

Propiedades generales[editar]
Los logaritmos, independientemente de la base elegida, cumplen una serie de
propiedades comunes que los caracterizan. As, logaritmo de su base es
siempre 1; logb b = 1 ya que b1 = b. El logaritmo de 1 es cero
(independientemente de la base); logb 1=0 ya que b0 = 1.

Si el nmero real a se encuentra dentro del intervalo 0 < a < 1 entonces logb
a da un valor negativo o se dice que es un logaritmo negativo. Es evidente, ya
que si logaritmo de 1 es cero, entonces valores reales menores que uno sern
negativos por ser la funcin logartmica estrictamente creciente y cuyo
recorrido es (-, +). Tambin usando la identidad logartmica logb(x/y)=logb
x - logb y; puesto que a pertenece al intervalo 0 < a < 1, su inverso a-1 ser
mayor que uno, con lo que logb(a)=logb(1/a-1) = logb 1 - logb(a-1)= -logb(a1).

Los nmeros negativos no tienen logaritmo en el cuerpo de los reales R, ya que


cualquiera que sea el exponente n, se tendr siempre que bn ser mayor que
cero, bn > 0; en consecuencia, no hay ningn valor real de n que pueda
satisfacer bn = x cuando x sea menor que 0. Sin embargo, este obstculo se
puede salvar, ampliando el dominio de definicin al cuerpo de los nmeros
complejos C, pudiendo calcular logaritmos de nmeros negativos usando el
logaritmo complejo o recurriendo a la frmula de Euler.

Las potencias consecutivas de una base forman una progresin geomtrica y la


de los exponentes una progresin aritmtica. Por ejemplo, las potencias de 2
son 1,2,4,8,16,32,64,..., etc. y sus exponentes sern 0, 1, 2, 3, 4,..., etc. ya que
20 = 1, 21 = 2, 22 = 4, 23 = 8, y 24 = 16, etc. luego log2 1 = 0, log2 2 = 1,
log2 4 = 2, log2 8 = 3 y log2 16 = 4, etc.

Propiedades algebraicas[editar]
Artculo principal: Identidades logartmicas
En esta parte se destaca la capacidad operativa del uso de logaritmos en el
sentido de operaciones coligadas; mediante logaritmos, una operacin se
convierte en otra operacin de menor nivel. Por ejemplo, un producto de n
factores se reduce a una adicin de n sumandos.Etc.

Ciertamente, las siguientes proposiciones funcionan como identidades para los


valores de su dominio de definicin. Sin embargo, el xito de la invencin y uso
de los logaritmos, justamente, radic en poder convertir productos en sumas;
cocientes en restas; potencia en producto y raz de grado n en un cociente.
Este hecho permite decir que, en su momento, el uso de logaritmos produjo un
cambio revolucionario en los clculos, empleados en la astronoma, navegacin
y matemtica financiera aplicada a la banca y los negocios colaterales. 6 Los
logaritmos mantienen ciertas identidades aritmticas muy tiles a la hora de
realizar clculos:

El logaritmo de un producto es igual a la suma de los logaritmos de los


factores.
\!\, \log_b(x y) = \log_b(x) + \log_b(y) \,
El logaritmo de un inverso multiplicativo es el inverso aditivo del logaritmo:
\log\left(\frac{1}{x}\right) = -\log \left(x\right) = \text{colog }(x)
El logaritmo de un cociente es igual al logaritmo del numerador menos el
logaritmo del denominador.
\!\, \log_b \left ( \frac{x}{y} \right ) = \log_b(x) - \log_b(y) \,
\!\, \log_b \left ( \frac{x}{y} \right ) = \log_b(x) + \text{colog }(y) \,
El logaritmo de una potencia es igual al producto entre el exponente y el
logaritmo de la base de la potencia.
\!\, \log_b(x ^ y) = y \log_b(x) \,
El logaritmo de una raz es igual al producto entre la inversa del ndice y el
logaritmo del radicando.
\!\, \log_b(\sqrt[y]{x}) = \frac{\log_b(x)}{y} \,
En realidad la cuarta y quinta identidad son equivalentes, sin ms que hacer:

\!\, \sqrt[y]{x} = x^\frac{1}{y} \,


Seleccin y cambio de base[editar]
Entre los logaritmos ms utilizados se encuentra el logaritmo natural, cuya
base es e, base 10 (logaritmo comn), base 2 (logaritmo binario), o en base
indefinida (logaritmo indefinido). La eleccin de un determinado nmero como
base de los logaritmos no es crucial, ya que todos son proporcionales entre s.
Es til la siguiente frmula que define al logaritmo de x en base b (suponiendo
que b, x, y k son nmeros reales positivos y que tanto b como k son diferentes
de 1):

\log_b(x) = \frac {\log_k(x)}{\log_k(b)} \,\!\,


en la que k es cualquier base vlida. Si hacemos k=x, obtendremos:

\log_b(x) = \frac {1}{\log_x(b)} \,\!\,


Base potencia[editar]
\log_{b^n} a = \frac{m}{n} si \log_b a = n
a^{\log_b c}= c^{\log_b a}
7

Mediante desigualdades[editar]
Variacin de base

Si 1< b< p, entonces log_b a > log_p a, a menor base mayor logaritmo.
Ejemplo log_2 64 > log_4 64 ; pues 6 > 3

Otra variacin de base

Si 0< b< p <1, entonces log_b a < log_p a, a menor base menor logaritmo.
Ejemplo log_{0,5} 16 < log_{0,25} 16 ; pues -4 < -2

Base fija

Si 1< b y 0< h < k , entonces log_b h < log_b k, con base fija:a mayor
nmero, mayor logaritmo. Ejemplo log_2 8 < log_2 32 ; pues 3 < 5

Otro caso de base fija

Si 0< b <1 y 0< h < k , entonces log_b h > log_b k, con base fija:a mayor
nmero, menor logaritmo. Ejemplo log_{0,5} 8 > log_{0,5} 32 ; pues -3 < -5

Si a > 1 se cumple que log b + logb10 2. En cambio si 0<b<1, cabe la


desigualdad log b + logb10 -2. 9
Empleos[editar]
El logaritmo ms ampliamente utilizado es el natural, ya que tiene multitud de
aplicaciones en fsica, matemticas, ingeniera y en ciencias en general.
Tambin es bastante utilizado el logaritmo decimal, que se indica como
\log(x)\,\!\,, en ciencias que hacen uso de las matemticas, como la qumica en
la medida de la acidez (denominada pH) y en fsica en magnitudes como la
medida de la luminosidad (candela), de intensidad de sonido (dB), de la
energa de un terremoto (escala sismolgica de Richter), etc. En informtica se
usa el logaritmo en base 2 la mayora de veces.

Propiedades analticas[editar]
Un estudio ms profundo de los logaritmos requiere el concepto de funcin. Un
ejemplo es la funcin que produce la x-sima potencia de b para cualquier
nmero real x, donde la base (o raz) b es un nmero fijo. Esta funcin se
escribe como

f(x) = b^x \,

Funcin logartmica[editar]
Para garantizar la definicin de logaritmos, es necesario demostrar que para la
ecuacin exponencial

b^x = y \,

existe una nica solucin x , asumiendo que y >0 \ y que b no es solucin de


la ecuacin t^2 - t = 0. Una demostracin de este hecho requiere del teorema
del valor intermedio del clculo elemental.10 Este teorema establece que una
funcin continua que produce dos valores m y n tambin produce cualquier

valor que se encuentre entre m y n. Una funcin es continua si esta no salta,


esto es, si su grfico puede ser escrito sin levantar el lpiz del papel.

Esta propiedad se puede demostrar que se cumple para la funcin f(x) = bx.
Puesto que f toma arbitrariamente valores grandes positivos y valores
pequeos positivos, cualquier nmero y > 0 que se encuentra entre f(x0) y
f(x1) para un adecuado x0 y x1. Por lo tanto, el teorema del valor intermedio
asegura que la ecuacin f(x) = y tiene una solucin. Ms an, hay nicamente
una solucin para esta ecuacin, puesto que la funcin f es estrictamente
creciente (para b > 1), o estrictamente decreciente (para 0 < b < 1).11

La nica solucin x es el logaritmo de y en la base b, logb(y). La funcin que


asigna a cada y su logaritmo se llama funcin logaritmo o funcin logartmica
(o logaritmo a secas).

Funcin inversa[editar]
The graphs of two functions.
Grfico de la funcin logartmica logb(x) (azul) se obtiene mediante reflexin
del grfico de la funcin bx (roja) sobre la lnea diagonal (x = y).
La frmula para el logaritmo de una potencia dice en particular que para
cualquier nmero x,

\log_b \left (b^x \right) = x \log_b(b) = x.


En lenguaje llano, tomando la x-sima potencia de b y luego el base-b
logaritmo se vuelve a obtener x. De modo contrario, dado un nmero positivo
y, la frmula

b^{\log_b(y)} = y
dice que tomando primero el logaritmo y despus exponenciando se vuelve a
obtener y. As, las dos maneras posibles de combinar (o componer) logaritmos
y exponenciales vuelve a dar el nmero original. Por lo tanto, el logaritmo en
base b es la funcin inversa de f(x) = bx.12

Las funciones inversas estn ntimamente relacionadas con las funciones


originales. Sus grficos se corresponden el uno con el otro mediante el
intercambio de las coordenadas x e y (o por reflexin sobre la lnea diagonal x
= y), como se muestra en la figura de la derecha: un punto (t, u = bt) sobre el

grfico de f proporciona un punto (u, t = logbu) sobre el grfico del logaritmo y


viceversa.

Crecimiento o decrecimiento de la funcin[editar]


Como consecuencia, logb(x) tiende a + infinito (se hace ms grande que
cualquier nmero dado) si x aproxima a + infinito, siempre que b sea mayor
que 1. En ese caso, logb(x) es un funcin creciente. Para b < 1, logb(x) tiende a
menos infinito en lugar de a infinito. Cuando x se aproxima a cero, logb(x)
tiende a menos infinito para b > 1 (a ms infinito cuando b < 1,
respectivamente). En cualquier caso, y para todo valor apropiado de la base b,
la grfica de la funcin logartmica corta al eje de las abscisas en el punto
(1,0).

Derivada e integral indefinida[editar]


A graph of the logarithm function and a line touching it in one point.
El grfico del logaritmo natural (verde) y su tangente en x = 1.5 (negro)
Las propiedades analticas de las funciones pasan a sus inversas.10 As, como
f(x) = bx es una funcin continua y diferenciable, tambin lo ser logb(y).
Toscamente hablando, una funcin continua es diferenciable si su grfico no
tiene trazos puntiagudos. Ms an, como la derivada de f(x) evaluada en
ln(b)bx por las propiedades de la funcin exponencial, la regla de la cadena
implica que la derivada de logb(x) es dada por11 13

\frac{\text{d}}{\text{d}x} \log_b(x) = \frac{1}{x\ln(b)}.

Esto es, la pendiente de la tangente que toca el grfico del logaritmo en base-b
en el punto (x, logb(x)) es igual a 1/(xln(b)). En particular, la derivada de ln(x)
es 1/x, lo que implica que la integral indefinida de 1/x es ln(x) + C.La derivada
con un argumento funcional generalizado f(x) es

\frac{\text{d}}{\text{d}x} \ln(f(x)) = \frac{f'(x)}{f(x)}.

El cociente del miembro derecho es denominado derivada logartmica de f.


Calcular f'(x) por medio de la derivada de ln(f(x)) se conoce como
diferenciacin logartmica.14 La integral indefinida del logaritmo natural ln(x)
es:15

\int \ln(x) \,\text{d}x = x \ln(x) - x + C.

Frmulas relacionadas, tales como integrales indefinidas de logaritmos en otras


bases pueden ser obtenidas de esta ecuacin usando el cambio de bases.16

Representacin integral del logaritmo natural[editar]


A hyperbola with part of the area underneath shaded in grey.
El logaritmo natural de t es el rea sombreada bajo el grfico de la funcin f(x)
= 1/x (inversa de x).
Artculo principal: Logaritmo natural
El logaritmo natural de t concuerda con la integral de 1/x dx desde 1 a t:

\ln (t) = \int_1^t \frac{1}{x} \, dx.


En otras palabras, ln(t) es igual al rea entre el eje x y el grfico de la funcin
1/x, recorrido desde x = 1 a x = t (figura a la derecha). Esto es una
consecuencia del teorema fundamental del clculo y del hecho de que la
derivada de ln(x) sea 1/x. El miembro de la derecha de esta ecuacin puede
servir con una definicin para el logaritmo natural. Las frmulas del producto y
potencias de logaritmo pueden ser obtenidas de esta definicin.17 Por ejemplo,
la frmula del producto ln(tu) = ln(t) + ln(u) se deduce como:

\ln(tu) = \int_1^{tu} \frac{1}{x} \, dx \ \stackrel {(1)} = \int_1^{t} \frac{1}


{x} \, dx + \int_t^{tu} \frac{1}{x} \, dx \ \stackrel {(2)} = \ln(t) + \int_1^u
\frac{1}{w} \, dw = \ln(t) + \ln(u).
La igualdad (1) descompone la integral en dos partes, mientras que la igualdad
(2) es un cambio de variable (w = x/t). En la ilustracin de abajo, la
descomposicin corresponde a dividir el rea en las partes azul y amarilla.
Reescalando el rea azul de la izquierda verticalmente mediante el factor t y
contrayendo esta por el mismo factor horizontalmente no se cambia su
tamao. Movindola apropiadamente, el rea de la grfica se ajusta a la
funcin f(x) = 1/x de nuevo. Por lo tanto, el rea azul del trmino izquierdo, que
es la integral de f(x) desde t a tu es la misma que la de la integral desde 1 a u.
Esto justifica la igualdad (2) con otra demostracin geomtrica ms.

The hyperbola depicted twice. The area underneath is split into different parts.
Una demostracin visual de la frmula del producto del logaritmo natural.
La frmula de la potencia ln(tr) = r ln(t) puede ser obtenida de manera similar:

\ln(t^r) = \int_1^{t^r} \frac{1}{x}dx = \int_1^t \frac{1}{w^r} \left(rw^{r 1} \, dw\right) = r \int_1^t \frac{1}{w} \, dw = r \ln(t).
La segunda igualdad usa los cambios de variable (integracin por sustitucin),
w := x1/r.

La suma sobre los inversos de los nmeros naturales,

1 + \frac 1 2 + \frac 1 3 + \cdots + \frac 1 n = \sum_{k=1}^n \frac{1}{k},


es llamada serie armnica. Est estrechamente vinculada al logaritmo natural:
cuando n tiende a infinito, la diferencia,

\sum_{k=1}^n \frac{1}{k} - \ln(n),


converge (i.e., se aproxima arbitrariamente cerca) a un nmero conocido como
constante de Euler-Mascheroni. Esta relacin ayuda a analizar el rendimiento
de algoritmos, como quicksort.18

Trascendencia del logaritmo[editar]


El logaritmo es un ejemplo de funcin trascendente y desde un punto de vista
terico, el teorema de Gelfond-Schneider afirma que los logaritmos suelen
tomar valores difciles . La declaracin formal se basa en la nocin de
nmeros algebraicos, que incluye a todos los nmeros racionales, pero tambin
nmeros tales como la raz cuadrada de 2 o

\sqrt{-5+\sqrt[3]{3 / 13}}.
Nmeros complejos que no son algebraicos son llamados transcendentes;19
por ejemplo, y e son dos de esos nmeros. Casi todos los nmeros complejos
son trascendentes. Usando estas nociones, el teorema de GelfondScheider
declara que dados dos nmeros algebraicos a y b, logb(a) es, o un nmero
trascendente, o un nmero racional p / q (en cuyo caso aq = bp, de manera
que, para empezar, a y b estaban estrechamente relacionados).20

Clculo[editar]

Los logaritmos son fciles de calcular en algunos casos, tales como


log10(1,000) = 3. En general, los logaritmos pueden ser calculados usando
series de potencias o la media aritmtico-geomtrica, o ser obtenidos de una
tabla de logaritmos precalculada que proporciona una precisin fijada.21 22 El
mtodo de Newton, un mtodo iterativo para resolver ecuaciones
aproximadamente, puede ser usado tambin para calcular el logaritmo, porque
su funcin inversa, la funcin exponencial, puede ser calculada
eficientemente.23 Usando tablas de referencias, mtodos como CORDIC
pueden ser usados para calcular logaritmos si la nicas operaciones
disponibles son la adicin y el desplazamiento de bits.24 25 Ms an, el
algoritmo del logaritmo binario calcula lb(x) recursivamente basado en la
repeticin cuadrtica de x, aprovechando la relacin

\log_2(x^2) = 2 \log_2 (x). \,


Serie de potencias[editar]
Serie de Taylor
An animation showing increasingly good approximations of the logarithm
graph.
Serie de Taylor de ln(z) at z = 1. La animacin muestra las primeras 10
aproximaciones junto con las aproximaciones 99 y 100.
Para cualquier nmero real z que satisfaga 0 < z < 2, la siguiente serie de
potencias se cumple:nb 1 26

\ln (z) = (z-1) - \frac{(z-1)^2}{2} + \frac{(z-1)^3}{3} - \frac{(z-1)^4}{4}


+ \cdots
Esta es una manera rpida de decir que ln(z) puede ser aproximado a un valor
ms y ms preciso mediante las siguientes expresiones:

\begin{array}{lllll}
(z-1) & & \\
(z-1) & - & \frac{(z-1)^2}{2} & \\
(z-1) & - & \frac{(z-1)^2}{2} & + & \frac{(z-1)^3}{3} \\
\vdots &
\end{array}

Por ejemplo, con z = 1.5 la tercera aproximacin obtiene 0.4167, que es


alrededor de 0.011 mayor que ln(1.5) = 0.405465. Esta serie aproxima ln(z)
con precisin arbitraria, siempre que el nmero de sumandos sea lo
suficientemente grande. En clculo elemental, ln(z) es por tanto, el lmite de la
serie. Esta es la serie de Taylor del logaritmo natural en z = 1. La serie de
Taylor de ln z proporciona una particular aproximacin til de ln(1+z) cuando z
es pequeo, |z| << 1, puesto que

\ln (1+z) = z - \frac{z^2}{2} + \cdots \approx z.


Por ejemplo, con z = 0.1 el primer orden de aproximacin da ln(1.1) 0.1, que
es menor del 5% del valor correcto 0.0953.

Series ms eficientes
Otra serie est basada en la funcin argumento de tangente hiperblica:

\ln (z) = 2\cdot\operatorname{artanh}\,\frac{z-1}{z+1} = 2 \left ( \frac{z-1}


{z+1} + \frac{1}{3}{\left(\frac{z-1}{z+1}\right)}^3 + \frac{1}{5}
{\left(\frac{z-1}{z+1}\right)}^5 + \cdots \right ),
para cualquier nmero real z > 0.nb 2 26 Usando la notacin sumatorio esta
tambin puede ser escrita como

\ln (z) = 2\sum_{n=0}^\infty\frac{1}{2n+1}\left(\frac{z-1}


{z+1}\right)^{2n+1}.
Esta serie se puede obtener de la serie de Taylor anterior. Converge ms rpido
que la serie de Taylor, especialmente si z es cercano a 1. Por ejemplo, para z =
1.5, los tres primeros trminos de la segunda serie aproximan ln(1.5) con un
error del entorno de 3106. La rpida convergencia para z cercano a 1 puede
ser tomada como una ventaja de la siguiente manera.: da una aproximacin de
baja exactitud y ln(z) y calculando

A = \frac z{\exp(y)}, \,
el logaritmo de z es:

\ln (z)=y+\ln (A). \,


Cuando mejor es la aproximacin inicial y, ms cerca est A de 1, as que su
logaritmo puede ser calculado eficientemente. A puede ser calculado usando la
serie exponencial, que converge rpidamente siempre que y no sea demasiado
grande. Calculando el logaritmo de un z mayor, puede ser reducido a valores
ms pequeos que z mediante la escritura z = a 10b, as que ln(z) = ln(a) + b
ln(10).

Un mtodo ntimamente relacionado puede ser utilizado para calcular el


logaritmo de enteros. De la serie anterior, se deduce que:

\ln (n+1) = \ln(n) + 2\sum_{k=0}^\infty\frac{1}{2k+1}\left(\frac{1}{2


n+1}\right)^{2k+1}.
Si el logaritmo de un entero grande n es conocido, entonces esta serie obtiene
una veloz serie convergente para log(n+1).

Aproximacin mediante media aritmtico-geomtrica[editar]


La media aritmtico-geomtrica da aproximaciones con gran precisin del
logaritmo natural. ln(x) es aproximado con una precisin de 2p (o p bits
precisos) mediante la siguiente frmula (dada por Carl Friedrich Gauss):27 28

\ln (x) \approx \frac{\pi}{2 M(1,2^{2-m}/x)} - m \ln (2).


Aqu M denota la media aritmtico-geomtrica. Se puede obtener mediante el
clculo repetido de la media (media aritmtica) y de la raz cuadrada del
producto de dos nmeros (media geomtrica). Ms an, m es escogido tal que

x \,2^m > 2^{p/2}.\,


Ambas, media aritmtico-geomtrica y las constantes y ln(2) pueden ser
calculadas mediante series convergentes muy rpidas.

Extensiones[editar]
Es posible extender el concepto de logaritmo ms all de los reales positivos.

Nmeros reales[editar]

Para enteros b y x, el nmero \log_b(x)\, es irracional (no puede representarse


como el cociente de dos enteros) si b o x tienen un factor primo que el otro no
tiene.

El logaritmo natural de un nmero real positivo est bien definido y es un


nmero real. Sin embargo, generalizar el logaritmo natural a nmeros reales
negativos solo puede hacerse introduciendo nmeros complejos.

Sin embargo, al igual que sucede el logaritmo de nmeros complejos la


eleccin de logaritmo de un nmero negativo no es nica, aunque la eleccin
hecha es la ms frecuentemente usada para extender el logaritmo a nmeros
reales negativos.

Nmeros complejos[editar]
Artculo principal: Logaritmo complejo

Principal rama del logaritmo complejo, Log(z).


El logaritmo natural de un nmero complejo z es otro nmero complejo b =
ln(z) que sea solucin de la ecuacin:

(*)z = e^b\;\,

La ecuacin anterior no tiene solucin nica. De hecho, tiene un nmero


infinito de soluciones, aunque todas ellas son fciles de encontrar. Dado un
nmero complejo z escrito en forma polar, una solucin posible de la ecuacin
(*) es b0:

b_0 = \ln \rho + i \theta \qquad \mbox{con}\ z = \rho e^{i\theta}\,

Puede comprobarse que esta no es la nica solucin, sino que para cualquier
valor k\in\mathbb{Z}\, resulta que el nmero complejo bk, definido a
continuacin, tambin es solucin:

b_k = \ln \rho + i\theta + 2\pi ki \qquad \Rightarrow e^{b_k} = \rho


e^{i\theta}\cdot e^{2\pi ki} = z\,

De hecho cada valor particular de k define una superficie de Riemann.

Logaritmo en base imaginaria[editar]


Artculo principal: Logaritmo en base imaginaria
Un logaritmo en base imaginaria es un logaritmo que tiene como base i (la
unidad imaginaria). Este tipo de logaritmos se puede resolver fcilmente con la
frmula:

\log_i(z) = {{2 \ln(z) } \over i\pi} .\,

Dnde z es cualquier nmero complejo excepto 0. Sin embargo, cabe sealar


que la frmula anterior solo es una de las posibles soluciones ya que la
ecuacin:

i^\lambda = z\,

admite no solo la solucin dada anteriormente sino que cualquier x de la


forma:

\lambda = \frac{2}{i \pi}\ln(z) + 4k = \log_i(z) + 4k , \qquad k \in


\mathbb{Z}\,

tambin es solucin.

Matrices[editar]
Artculo principal: Logaritmo de una matriz
Una matriz B es logaritmo de una matriz dada A si la exponenciacin de B es A:

e^B = A\,

A diferencia de la exponenciacin de matrices, el logaritmo de una matriz real


puede no estar definido siempre. En el caso de una matriz diagonalizable es

necesario que logaritmo est definido para todos y cada uno de los autovalores
o valores propios de la matriz. En ese caso el logaritmo de la matriz est
definido y es logaritmo de una matriz con autovalores positivos es otra matriz
real. Si el 0 es un autovalor de la matriz, entonces su logaritmo no est
definido.

Si el logaritmo est definido sobre el espectro o conjunto de autovalores y


estos incluyen algn nmero negativo, aun as es posible definir una matriz
logaritmo (en forma similar a como se definen los logaritmos de nmeros
negativos o complejos), aunque no resulta nica.

En el caso de una matriz no diagonalizable, este proceso es ms complicado,


ya que requiere encontrar primero su forma cannica de Jordan.

Logaritmo discreto[editar]
Artculo principal: Logaritmo discreto
Los logaritmos discretos son los anlogos en teora de grupos de los logaritmos
ordinarios. En particular, un logaritmo ordinario loga(b) es una solucin de la
ecuacin ax = b sobre nmeros reales o nmeros complejos. De manera
similar, si g y h son elementos de un grupo cclico finito G, entonces una
solucin x de la ecuacin gx = h es llamada logaritmo discreto en la base g de
h en el grupo G.

Si (G,) es un grupo cclico finito de orden n, donde es el operador


multiplicacin, si se escoge un generador g de G, entonces cada elemento h de
G puede ser escrito como h = gk para algn entero k, de manera que la funcin

\operatorname{log}_g:G \rightarrow \mathbb{Z}/n\mathbb{Z}


asigna a cada h la clase de equivalencia mdulo n de k, esto es, todos los k
que cumplan que h gk mod n.

Este logaritmo tiene aplicaciones en criptografa, en especial en el mtodo de


intercambio de claves de Diffie-Hellman o en el sistema de ElGamal.

Historia[editar]

John Napier (Neper), fue el primero que defini y desarroll los logaritmos.
El mtodo de clculo mediante logaritmos fue propuesto por primera vez,
pblicamente, por John Napier (latinizado Neperus) en 1614, en su libro titulado
Mirifici Logarithmorum Canonis Descriptio. Joost Brgi, un matemtico y
relojero suizo al servicio del duque de Hesse-Kassel, concibi por primera vez
los logaritmos; sin embargo, public su descubrimiento cuatro aos despus
que Napier. La inicial resistencia a la utilizacin de logaritmos fue cambiada por
Kepler, por el entusiasta apoyo de su publicacin y la impecable y clara
explicacin de cmo funcionaban.

Este mtodo contribuy al avance de la ciencia, y especialmente de la


astronoma, facilitando la resolucin de clculos muy complejos. Los logaritmos
fueron utilizados habitualmente en geodesia, navegacin martima y otras
ramas de la matemtica aplicada, antes de la llegada de las calculadoras y
computadoras. Adems de la utilidad en el clculo, los logaritmos tambin
ocuparon un importante lugar en las matemticas ms avanzadas; el logaritmo
natural presenta una solucin para el problema de la cuadratura de un sector
hiperblico ideado por Gregoire de Saint-Vincent en 1647.

Napier no us una base tal como ahora se entiende pero, sus logaritmos, como
factor de escala, funcionaban de manera eficaz con base 1/e. Para los
propsitos de interpolacin y facilidad de clculo, eran tiles para hallar la
relacin r en una serie geomtrica tendente a 1. Napier escogi r = 1 - 107 =
0,999999 (Brgi eligi r = 1 + 104 = 1,0001). Los logaritmos originales de
Napier no tenan log 1 = 0, sino log 107 = 0. As, si N es un nmero y L es el
logaritmo, Napier calcula: N = 107(1 107)L. Donde (1 107)107 es
aproximadamente 1/e, haciendo L/107 equivalente a log1/e N/107. Vase
logaritmo neperiano.

Inicialmente, Napier llam nmeros artificiales a los logaritmos y nmeros


naturales a los antilogaritmos. Ms tarde, Napier usa la palabra logaritmo en
el sentido de un nmero que indica una proporcin: (logos) el sentido de
proporcin, y (arithmos) significado nmero, y se define, literalmente,
como un nmero que indica una relacin o proporcin. Se refiere a la
proposicin que fue hecha por Napier en su teorema fundamental, que
establece que la diferencia de dos logaritmos determina la relacin de los
nmeros a los cuales corresponden, de manera que una progresin aritmtica
de logaritmos corresponde a una progresin geomtrica de nmeros. El
trmino antilogaritmo fue introducido a finales de siglo xvii y, aunque nunca se
utiliz ampliamente en matemticas, perdur en muchas tablas, hasta que
cay en desuso.