HABLEMOS DE LOGARITMOS

DANIEL HURTADO

El objetivo de esta charla es mostrar los logaritmos de nmeros negativos.

Sea la ecuacin:
ln( ) =

O su equivalente

Donde

Es claro que
>0
nmeros complejos.
Sea

Donde

+
=

, por tanto la solucin debe existir en el cuerpo de los

un nmero complejo, escribmoslo en su forma polar, es decir:

= arctan

= (cos +

Sabemos que se define al exponente complejo como:

Si

(cos +

= 0 obtenemos la frmula de Euler

= (cos +

Luego, es claro que:

)
)

Que se llama forma exponencial de un nmero complejo.

Podemos afirmar que el logaritmo de un nmero complejo, es un nmero complejo.
En efecto:

Donde:

ln = ln( +

) = ln

ln = ln y tambin que

1
ln = ln(
2

ln

= ln + ln

= ln +

. Luego se sigue que:

)+ (

Debido a que existe un subconjunto

de los nmeros complejos isomorfo a , la
ltima expresin se puede considerar como una definicin mas general del logaritmo
de un nmero real.
Supongamos que en la expresin anterior
Dado que

=0y

tenemos que:
ln = ln

La ecuacin trigonomtrica
arctan 0 =

Tiene infinitas soluciones de la forma

{0}

Llamemos p al nmero complejo obtenido, tendremos:

p = ln( ) = ln

Comprobemos que p es nuestra solucin buscada.

=

(cos

{0}

)=

Se comprueba fcilmente que n no puede tomar valores pares ni cero, luego n es

un nmero de la forma 2 + 1 con
{0}.El conjunto {0} es infinito y por
tanto existen infinitos valores de logaritmos que satisfacen la ecuacin planteada.
Sea por ejemplo m=0
(cos +

(1) =

)=

Por tanto, un valor del logaritmo de w es:

ln

= ln

En base a los visto tendramos que definir a los logaritmos como sigue:

\{0} ln

= ln +

= 0,2,4,6
= 1,3,5,7

>0
<0

Se ve que el logaritmo de un nmero real tambin tiene una componente compleja.

Todo lo anterior nos ha demostrado el siguiente teorema:

Todo nmero real distinto de cero, tiene infinitos logaritmos