FUNCIONES TRIGONOMÉTRICAS INVERSAS

ARCOCOSENO COMPLEJO

Dado un número complejo z ϵ se trata de calcular los complejos w tales que cos(w)=z.

eiw  eiw
 z  eiw  e  iw  2 z  0
2
Puesto que exp(w) ≠ 0 para cualquier w, podemos multiplicar 𝑒 𝑖𝑤 la expresión anterior:

𝑒 2𝑖𝑤 − 2𝑧𝑒 𝑖𝑤 + 1 = 0. Poniendo 𝑢 = 𝑒 𝑖𝑤 , la ecuación anterior podemos escribirla

𝑢2 − 2𝑧𝑢 + 1 = 0, cuyas raíces son:

u  z  z2 1  z  i 1 z2 .
Observa que dichas raíces son distintas de 0, de hecho una es inversa de la otra pues su
producto es igual a 1. Hemos obtenido que:


 z  

z  i 1  z 2  0     z  , 1
 1  z  i 
2

Naturalmente, hay infinitos valores de w que verifican la igualdad anterior. El conjunto de

todos ellos se representa por arcos(z).

1
arccos( z )  Log ( z  i 1  z 2 ).
i
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para 𝑧 = 𝑥 ∈ [−1,1] tenemos
que:

1 1
Log ( x  i 1  x 2 )  ( Log x  i 1  x 2  i arg( x  i 1  x 2 ))
i i
1
 ( Log (1)  i arg( x  i 1  x 2 ))
i
 arg( x  i 1  x 2 ).
Observemos que (𝑥, √1 − 𝑥 2 ) es un punto de la mitad superior de la circunferencia unidad y
una medida del ángulo que forma el número complejo (𝑥 + 𝑖√1 − 𝑥 2 ) con el eje real positivo
es precisamente el arco cuyo coseno es x. Además, para 𝑥 ∈ [−1,1] se tiene que
0 ≤ arccos(x) ≤ π.

Deducimos que arg(𝑥 + 𝑖√1 − 𝑥 2 ) = arccos(𝑥).

 1
Teniendo en cuenta que √1 − 𝑧 2 = exp⁡(2 𝐿𝑜𝑔(1 − 𝑧 2 )), y que el logaritmo principal es

, deducimos, por la regla de la cadena, que la función z  1  z es
2
holomorfo en / 0

holomorfa en el conjunto:

   z  :1  z 2  
0  \ (, 1  1, ).
Análogamente log(𝑧 + 𝑖√1 − 𝑧 2 ) es derivable en el conjunto


1  z  : z  i 1  z 2  
0 .
Como (𝑧 + 𝑖√1 − 𝑧 2 ) y (𝑧 − 𝑖√1 − 𝑧 2 ) son inversos, tenemos que:

 z   
  z  , 1

z  i 1 z  2
0 
 1  z  i 
2

Deducimos que Ω1 = 𝐶\]−∞, −1]⁡ɔ⁡Ω. Luego el arcocoseno es holomorfo en Ω. La regla de la

cadena nos permite calcular su derivada:

z
1 i
arccos'( z ) 
1 1 z2
i z  i 1 z2
1 1  z 2  iz 1
  .
1  z iz  1  z
2 2
1 z 2

ARCOSENO COMPLEJO

Dado un número complejo z queremos calcular los complejos w tales que sen(w)=z. El
conjunto de tales números lo representaremos arcsen. Aunque podemos repetir el mismo
𝜋
proceso anterior, podemos aprovechar lo ya hecho y observar que 𝑠𝑒𝑛(𝑤) = cos⁡( 2 − 𝑤),
𝜋 1
luego 𝑠𝑒𝑛(𝑤) = 𝑧 si, y solo si, 2 − 𝑤⁡𝜖⁡ 𝑖 𝐿𝑜𝑔(𝑧 ± 𝑖√1 − 𝑧 2 ). Equivalente si


w   iLog ( z  i 1  z 2 ).
2
El valor principal del arcoseno, que notaremos por arcsen(z), se define eligiendo el logaritmo
principal:


arcsen( z )   iLog ( z  i 1  z 2 ), z 
2
Y es una función holomorfa en \ , 1  1,  .