Documente Academic
Documente Profesional
Documente Cultură
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).[2]
As, en la expresin 102 = 100, el logaritmo de 100 en
base 10 es 2, y se escribe como log10 100 = 2.
2 Propiedades generales
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.
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 log3 243=5. Cuando se sobreentiende la base, se puede
omitir.
Denicin
x = bn
3 Propiedades algebraicas
4 PROPIEDADES ANALTICAS
racin de menor nivel. Por ejemplo, un producto de n fac- todos son proporcionales entre s. Es til la siguiente frtores se reduce a una adicin de n sumandos.
mula que dene al logaritmo de x en base b (suponiendo
Ciertamente, las siguientes proposiciones funcionan co- que b, x, y k son nmeros reales positivos y que tanto b
mo identidades para los valores de su dominio de deni- como k son diferentes de 1):
cin. 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 nanciera aplicada a la banca y los negocios colaterales.[3] Los logaritmos
mantienen ciertas identidades aritmticas muy tiles a la
hora de realizar clculos:
logb (x) =
logk (x)
logk (b)
logb (x) =
1
.
logx (b)
4 Propiedades analticas
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 jo. Esta funcin
se escribe como
logb (x)
logb ( y x) =
y
En realidad la tercera y cuarta identidad son equivalentes, Para garantizar la denicin de logaritmos, es necesario
sin ms que hacer:
demostrar que para la ecuacin exponencial
1
y
x = xy
3.1
bx = y
existe una nica solucin x , asumiendo que y es positivo y que b es positivo y distinto de 1. Una demostracin
de este hecho requiere del teorema del valor intermedio
del clculo elemental.[4] 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 grco
puede ser escrito sin levantar el lpiz del papel.
4.3
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 .[6]
Las funciones inversas estn ntimamente relacionadas
con las funciones originales. Sus grcos se corresponden
el uno con el otro mediante el intercambio de las coordenadas x e y (o por reexin sobre la lnea diagonal x = y),
como se muestra en la gura de la derecha: un punto (t,
u = bt ) sobre el grco de f proporciona un punto (u, t =
logbu) sobre el grco del logaritmo y viceversa.
4.2
Funcin inversa
t
log b ( x)
log b(t )
log b(t )
Grco de la funcin logartmica log (x) (azul) se obtiene mediante reexin del grco 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,
Las propiedades analticas de las funciones pasan a sus
inversas.[4] 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
logb (bx ) = x logb (b) = x.
grco no tiene trazos puntiagudos. Ms an, como la
En lenguaje llano, tomando la x-sima potencia de b y derivada de f(x) evaluada en ln(b)bx por las propiedades
luego el base-b logaritmo se vuelve a obtener x. De modo de la funcin exponencial, la regla de la cadena implica
contrario, dado un nmero positivo y, la frmula
que la derivada de logb(x) es dada por[5][7]
blogb (y) = y
d
dx
logb (x) =
1
x ln(b) .
dice que tomando primero el logaritmo y despus expo- Esto es, la pendiente de la tangente que toca el grco
nenciando se vuelve a obtener y. As, las dos maneras del logaritmo en base-b en el punto (x, logb(x)) es igual
4 PROPIEDADES ANALTICAS
ln(t)
ln(x) dx = x ln(x) x + C.
ln(u)
ln(tu)
u
tu
tu
4.5
tr
ln(tr ) =
1
1
dx =
x
1 ( r1 )
rw
dw = r
wr
1
dw = r ln(t).
w
1+
k=1
1
1 x
dx.
1
ln(n),
k
k=1
converge (es decir, se aproxima arbitrariamente cerEn otras palabras, ln(t) es igual al rea entre el eje x y el ca) a un nmero conocido como constante de Eulergrco de la funcin 1/x, recorrido desde x = 1 a x = t (- Mascheroni. Esta relacin ayuda a analizar el rendimiento
[12]
gura a la derecha). Esto es una consecuencia del teorema de algoritmos, como quicksort.
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 denicin para el logaritmo natu- 4.6 Trascendencia del logaritmo
ral. Las frmulas del producto y potencias de logaritmo
pueden ser obtenidas de esta denicin.[11] Por ejemplo, El logaritmo es un ejemplo de funcin trascendente y
la frmula del producto ln(tu) = ln(t) + ln(u) se deduce desde un punto de vista terico, el teorema de GelfondSchneider arma que los logaritmos suelen tomar valores
como:
difciles. La declaracin formal se basa en la nocin
de nmeros algebraicos, que incluye a todos los nmeros
tu
t
tu
uracionales, pero tambin nmeros tales como la raz cua1
1
1
1
(1)
(2)
ln(tu) =
dx =
dx+
dx = ln(t)+ drada
dwde
=2ln(t)+ln(u).
o
x
x
x
w
1
1
t
1
La igualdad (1) descompone la integral en dos partes,
5 + 3 3/13.
mientras que la igualdad (2) es un cambio de variable
5.1
Serie de potencias
Nmeros complejos que no son algebraicos son llama- Esta es una manera rpida de decir que ln(z) puede ser
dos transcendentes;[13] por ejemplo, y e son dos de esos aproximado a un valor ms y ms preciso mediante las
nmeros. Casi todos los nmeros complejos son trascen- siguientes expresiones:
dentes. Usando estas nociones, el teorema de Gelfond
Scheider declara que dados dos nmeros algebraicos a y
b, logb(a) es, o un nmero trascendente, o un nmero ra- (z 1)
2
cional p / q (en cuyo caso aq = bp , de manera que, para (z 1) (z1)
2 2
[14]
3
empezar, a y b estaban estrechamente relacionados).
(z 1) (z1)
+ (z1)
2
3
..
.
Clculo
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 jada.[15][16] 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 ecientemente.[17] 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.[18][19]
Ms an, el algoritmo del logaritmo binario calcula lb(x)
recursivamente basado en la repeticin cuadrtica de x,
aprovechando la relacin
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 sucientemente 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
z2
+ z.
2
5.1
5.1.1
Serie de potencias
Serie de Taylor
z1
ln(z) = 2artanh
=2
z+1
(
)3
(
)5
z1 1 z1
1 z1
+
+
+
z+1 3 z+1
5 z+1
1
ln(z) = 2
2n
+1
n=0
z1
z+1
)2n+1
.
+ el logaritmo de z es:
2
3
4
EXTENSIONES
ln(n + 1) = ln(n) + 2
k=0
1
2k + 1
1
2n + 1
Nmeros complejos
)2k+1
.
Si el logaritmo de un entero grande n es conocido, entonces esta serie obtiene una veloz serie convergente para
log(n+1).
5.2
Aproximacin
mediante
aritmtico-geomtrica
media
m ln(2).
2M (1, 22m /x)
Aqu M denota la media aritmtico-geomtrica. Se puede El logaritmo natural de un nmero complejo z es otro nobtener mediante el clculo repetido de la media (media mero complejo b = ln(z) que sea solucin de la ecuacin:
aritmtica) y de la raz cuadrada del producto de dos nmeros (media geomtrica). Ms an, m es escogido tal
(*) z = eb
que
La ecuacin anterior no tiene solucin nica. De hecho,
tiene un nmero innito de soluciones, aunque todas ellas
x2 > 2 .
son fciles de encontrar. Dado un nmero complejo z esAmbas, media aritmtico-geomtrica y las constantes y crito en forma polar, una solucin posible de la ecuacin
ln(2) pueden ser calculadas mediante series convergentes (*) es b0 :
muy rpidas.
m
p/2
b0 = ln + i
con z = ei
Extensiones
6.1
Nmeros reales
bk = ln + i + 2ki
e e2ki = z
eb k =
6.3
Un logaritmo en base imaginaria es un logaritmo que tieSi (G,) es un grupo cclico nito de orden n, donde es
ne como base i (la unidad imaginaria). Este tipo de logael operador multiplicacin, si se escoge un generador g de
ritmos se puede resolver fcilmente con la frmula:
G, entonces cada elemento h de G puede ser escrito como
h = gk para algn entero k, de manera que la funcin
2 ln(z)
logi (z) = i .
Dnde z es cualquier nmero complejo excepto 0. Sin logg : G Z/nZ
embargo, cabe sealar que la frmula anterior solo es una asigna a cada h la clase de equivalencia mdulo n de k,
de las posibles soluciones ya que la ecuacin:
esto es, todos los k que cumplan que h gk mod n.
i = z
admite no solo la solucin dada anteriormente sino que
cualquier x de la forma:
4k,
2
= i
ln(z) + 4k
kZ
logi (z) +
Este logaritmo tiene aplicaciones en criptografa, en especial en el mtodo de intercambio de claves de DieHellman o en el sistema de ElGamal.
7 Historia
tambin es solucin.
6.4
Matrices
10
Vase tambin
Identidades logartmicas
Cologaritmo
Logaritmo binario
Logaritmo natural
Logaritmo neperiano
Logaritmo decimal
Logaritmo complejo
Logaritmo en base imaginaria
Logaritmo iterado
Logaritmo discreto
Logaritmo de una matriz
REFERENCIAS
9 Notas
[1] La misma serie se cumple para el valor principal del logaritmo complejo para nmeros complejos z que satisfacen
que |z 1| < 1.
[2] La misma serie se cumple para el valor principal del logaritmo complejo para nmeros complejos z con parte real
positiva.
10 Referencias
[1] Weisstein, Eric W. Logaritmo. En Weisstein, Eric W.
MathWorld (en ingls). Wolfram Research.
[2] Gonzlez, Mario O.; Mancill, Julin (1980). lgebra Elemental Moderna. Buenos Aires: Editorial Kapelusz. p.
243.
[3] Kasner-Newman: Matemtica e imaginacin.
[4] Lang, 1997, Seccin III.3.
[5] Lang, 1997, Seccin IV.2.
[6] Stewart, James (2007), Single Variable Calculus: Early
Transcendentals, Belmont: Thomson Brooks/Cole, ISBN
978-0-495-01169-9, section 1.6
[7] Calculation of d/dx(Log(b,x)). Wolfram Alpha.
Wolfram Research. Consultado el 15 de marzo de 2011.
[8] Kline, Morris (1998), Calculus: an intuitive and physical approach, Dover books on mathematics, New York:
Dover Publications, ISBN 978-0-486-40453-0, p. 386
[9] Calculation of Integrate(ln(x)). Wolfram Alpha. Wolfram Research. Consultado el 15 de marzo de 2011.
[10] (Abramowitz y Stegun, 1972, p. 69)
[11] Courant, Richard (1988), Dierential and integral calculus. Vol. I, Wiley Classics Library, New York: John Wiley
& Sons, ISBN 978-0-471-60842-4, MR 1009558, section
III.6
[12] Havil, Julian (2003), Gamma: Exploring Eulers Constant, Princeton University Press, ISBN 978-0-691-099835, sections 11.5 and 13.8
[13] Nomizu, Katsumi (1996), Selected papers on number
theory and algebraic geometry 172, Providence, RI: AMS
Bookstore, p. 21, ISBN 978-0-8218-0445-2
10.1
Bibliografa
Lang, Serge (1997). Undergraduate analysis. Undergraduate Texts in Mathematics (2. edicin).
Berlin, New York: Springer-Verlag. ISBN 978-0-38794841-6. MR 1476913.
Doctor Honoris Causa Rito Rizquez, University of
Boston, J. Aritmtica razonada.
Marcos, C.; Martnez, J. Matemticas.
Gonzlez Aguilar. Matemticas.
Chvez Reyes, Carmen; Len Quintanar, Adriana.
La Biblia de las Matemticas.
11
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre LogaritmoCommons.
10
12
12.1
Logaritmo Fuente: https://es.wikipedia.org/wiki/Logaritmo?oldid=92178718 Colaboradores: Romero Schmidtke, PACO, P40p, Joseaperez, Lupinoid, Sabbut, Moriel, Pablo.cl, JorgeGG, Wesisnay, ManuelGR, Meredhit, Sanbec, Vivero, Dodo, Sms, Rsg, Tano4595, Murphy
era un optimista, El Moska, Rondador, Arkady, 142857, Balderai, Renabot, Soulreaper, Airunp, Taichi, Emijrp, Rembiapo pohyiete (bot),
RobotQuistnix, Adept~eswiki, Platonides, Superzerocool, Chobot, Jainfante, Dibujon, Yrbot, FlaBot, Vitamine, Cesarsorm, BOTijo, YurikBot, Echani, GermanX, Equi, Unaiaia, KnightRider, C-3POrao, Santiperez, Txo, Baneld, JanoMasoneria, Gtz, Vbenedetti, Maldoror,
Chlewbot, Filipo, Kn, Aleator, BOTpolicia, CEM-bot, Laura Fiorucci, JMCC1, Skuark, Marianov, Retama, Baiji, Neomow, Davius, Antur, Dorieo, Daniel JG, Ggenellina, Ingenioso Hidalgo, Fsd141, Resped, Thijs!bot, Alvaro qc, Gaby mda, Mahadeva, Roberto Fiadone,
Yeza, RoyFocker, Csoliverez, Kavanagh, Isha, Hanjin, Gngora, Kved, Muro de Aguas, Gsrdzl, TXiKiBoT, R2D2!, Humberto, Netito777, Algarabia, Nioger, Amanuense, Pedro Nonualco, Chabbot, Idioma-bot, Plux, Jtico, Biasoli, Kaprak, Bucephala, Aibot, VolkovBot,
Urdangaray, Jurock, Snakeyes, Technopat, Jose luis gonzalez tolosa, Belgrano, Matdrodes, Synthebot, Carcediano, DJ Nietzsche, Lucien
leGrey, Muro Bot, Maugemv, Cascaradeg7, Bucho, Gerakibot, SieBot, Ctrl Z, Bigsus-bot, BOTarate, Pacomegia, Malfer, OboeCrack,
Manw, Furado, Greek, BuenaGente, Mafores, Yonseca, Tirithel, Jarisleif, HUB, Mayolo, DragonBot, Farisori, Eduardosalg, Deltasubk,
Leonpolanco, Alejandrocaro35, LordT, Petruss, Alexbot, Juan Mayordomo, Darkicebot, Crichtoman, Raulshc, Aipni-Lovrij, Carlosavelar1992, Camilo, UA31, AVBOT, David0811, LucienBOT, Louperibot, MastiBot, Diegusjaimes, Andrestorreg, HerculeBot, Arjuno3,
Andreasmperu, Luckas-bot, Xtquique, Vini 17bot5, Jotterbot, Vic Fede, Dangelin5, Hampcky, Fernando101, Nixn, Arnajuan, ArthurBot, SuperBraulio13, Almabot, Manuelt15, Xqbot, Jkbw, Rubinbot, -Erick-, Ricardogpn, Kolbert, Kismalac, Igna, Torrente, Botarel, SrFrederick, Sonicriderslash, CARHER666, WLoku, BOTirithel, TiriBOT, TobeBot, Bonaire, Halfdrag, Marsal20, AoX, Joang4, KronAL,
Jerowiki, PatruBOT, TjBot, Humbefa, Tarawa1943, Foundling, GrouchoBot, Wikilptico, Miss Manzana, Axvolution, Edslov, EmausBot,
G katerin, Savh, Allforrous, Africanus, Rubpe19, Mecamtico, ChuispastonBot, Waka Waka, Alberto Leguiza, Etepero, Solaris3001, Antonorsi, Abin, MerlIwBot, JABO, JoshAcevedo, KLBot2, Vagobot, Mov0021, MetroBot, Invadibot, Dishtonio, Josher8a, C4Z4D0R159,
Bibliolotranstornado, Acratta, Jehtao, Harpagornis, LlamaAl, Elvisor, Creosota, MahdiBot, Helmy oved, Brittanygarcia, Dnamendoza,
Cyrax, Sebaleyenda, Leitoxx, LBuckstabu, Addbot, Balles2601, , Charlie suarezz, ConnieGB, Isaac9898, JacobRodrigues, Manuel Balarezo, LeoBoca, MrCharro, Peiers, LiaRodriguez71, Jarould, Ejerciciosmatematicasnet, Pinochoo, BenjaBot, Gab0dArknEss,
Mario-Vicente-99, X2y3, Sebas sarmiento, Wannaed, Alemadeo, Yupakuq, ANDRES CAMILO15 y Annimos: 592
12.2
Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.
Archivo:Complex_log.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d8/Complex_log.jpg Licencia: Public domain
Colaboradores: This mathematical image was created with Mathematica Artista original: Jan Homann; Color encoding image comment
author Hal Lane, September 28, 2009
Archivo:John_Napier_(Neper).jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4b/John_Napier_%28Neper%29.jpg
Licencia: Public domain Colaboradores: 100ciaquimica.net Artista original: Desconocido<a href='//www.wikidata.org/wiki/Q4233718'
title='wikidata:Q4233718'><img
alt='wikidata:Q4233718'
src='https://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/
Wikidata-logo.svg/20px-Wikidata-logo.svg.png' width='20' height='11' srcset='https://upload.wikimedia.org/wikipedia/commons/
thumb/f/ff/Wikidata-logo.svg/30px-Wikidata-logo.svg.png
1.5x,
https://upload.wikimedia.org/wikipedia/commons/thumb/f/ff/
Wikidata-logo.svg/40px-Wikidata-logo.svg.png 2x' data-le-width='1050' data-le-height='590' /></a>
Archivo:Logarithm_derivative.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/5/57/Logarithm_derivative.svg Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Krishnavedala
Archivo:Logarithm_inversefunctiontoexp.svg
Fuente:
https://upload.wikimedia.org/wikipedia/commons/4/49/Logarithm_
inversefunctiontoexp.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: Stpasha
Archivo:Logarithms.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/73/Logarithms.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: IllestFlip
Archivo:Natural_logarithm_integral.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/df/Natural_logarithm_integral.
svg Licencia: Public domain Colaboradores:
Log-pole-x.svg Artista original: Log-pole-x.svg: Wojciech Mua
Archivo:Natural_logarithm_product_formula_proven_geometrically.svg
Fuente:
https://upload.wikimedia.org/wikipedia/
commons/9/9b/Natural_logarithm_product_formula_proven_geometrically.svg Licencia: Public domain Colaboradores:
Natural_logarithm_integral.svg Artista original: Natural_logarithm_integral.svg: *Log-pole-x.svg: Wojciech Mua
Archivo:Taylor_approximation_of_natural_logarithm.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/0/02/Taylor_
approximation_of_natural_logarithm.gif Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Jakob.scholbach
12.3