Teorema 1.56.

Z w1 · Z w2 = Z w1 +w2 si Z ̸= 0

Demostración: Partimos de la parte derecha de la igualdad.

Z w1 +w2 = e(w1 +w2 )logZ

= e(w1 logZ+w2 logZ
= ew1 logZ ew2 logZ
= Z w1 Z w2

Teorema 1.41. Si Z1 = x1 + iy1 y Z2 = x2 + iy2 son dos números complejos, en-

tonces tenemos

eZ1 eZ2 = eZ1 +Z1 .

Por propiedad distributiva de los complejos.

Por definición de potencias complejas.

Definición 1.55. Si Z ̸= 0 y si w es un número complejo cualquiera, definimos

Z w = ewLogZ

Por definición de potencias complejas w1 es un número complejo y w2 es un

numero complejo,por tanto su suma es un número complejo .

Teorema 1.57. Si Z1 Z2 ̸= 0, entonces

(Z1 Z2 )w = Z1w Z2w e2πwn(Z1 ,Z2 )

donde n(Z1 , Z2 ) es el entero definido en el teorema 1.48

1
Demostración.

(Z1 Z2 )w = ewLog(Z1 Z2 )

= ew[LogZ1 +LogZ2 +2πin(Z1 ,Z2 )]

Teorema 1.59. Si Z = x + iy, entonces tenemos

CosZ = CosxCoshy − iSenxSenhy

SenZ = SenxCoshy + iCosxSenhy
Demostración. Por hipótesis

CosZ = Cos(x + iy)

= CosxCosiy − SenxSeniy

ei(iy) − e−i(iy)
Cos(iy) =
2
i2 y 2
e − e−i y
=
2
e−y − ey
=
2
= Coshy Por definición de función hiperbólica

Ahora paraSen(iy)

ei(iy) − e−i(iy)
Sen(iy) =
2i
i2 y 2
e − e−i y
=
2i
e−y − ey i
= · Racionalizando
2i i
e−y − ey
= ·i
2i2
e−y − ey
= ·i
−2
ey − e−y
= ·i
2
= (Senhy) · i = i(Senhy)

2
Recordar las identidades trigonométricas.

Cos(A ∗ B) = CosACosB − SenASenB

eiz +e−iz
CosZ = 2
P or def inición.
eiz +e−iz
SenZ = 2i

3
 Entonces

Cos(x + iy) = CosxCoshy − iSenxSenhy

Parte 2.

SenZ = SenxCohy + iCosxSenhy

Demostración. Por hipótesis

SenZ = Sen(x + iy)

= SenxCosiy − CosxSeniy

De lo anterior tenemos que

Cos(iy) = Coshy
Sen(iy) = iSenhy
Entonces
Sen(x + iy) = SenxCoshy + iCosxSenhy

Recordar la identidad trigonométrica

Sen(A + B) = SenACosB + CosASenB