logab=lnblna pero a partir de la famosa fórmula eiπ=−1 tenemos iπ=ln(−1)
En lugar de utilizar la fórmula (1), ¿no estás simplemente aplicando ln en ambos lados y luego aplicando la fórmula lnez=z? Desafortunadamente, esta fórmula no es generalmente aplicable para z complejos; de hecho, ln(−1)=iπ+i2kπ.
por lo tanto para todo real y no nulo a podremos tener: ln(|a|a|a|)=ln(|a|)+ln(a|a|)
Desafortunadamente, la fórmula lnz1z2=lnz1+lnz2 tampoco es generalmente aplicable para z complejos.
por ejemplo para a negativo tenemos: ln(a)=ln(|a|)+iπ
De hecho, por la definición general de log, para a<0, ln(a)=ln(−a)+iπ+i2kπ.
Comentario del OP:
sí no presté atención a eso. de hecho, ya que \exp(iz)=\exp(i(z+2π)) ¡puede tener infinitos valores!
De hecho, \exp(z) típicamente denota una función univalente, mientras que e^z es o bien univalente o multivalente dependiendo del contexto; en la fórmula de Euler anterior, es fuertemente convencional leer e^{i\pi} como univalente.