Números Complejos

Segunda Parte

1. Forma polar o trigonométrica

1.1. Interpretación vectorial de números complejos

A todo número complejo z = a + bi se le puede asociar el vector →

−
oz cuyo origen es
o = (0, 0) y cuyo extremo es el afijo del complejo z = (a, b).
Llamaremos al → −
oz el vector posición de z o el radio vector de z.

Figura 1: Representación vectorial del complejo z

1.2. Módulo de un número complejo

Definición 1. Sea z ∈ C
Llamaremos módulo de z y lo denotaremos con kzk, al número real no negativo,
√
kzk = z · z ∈ R (1)

1
Álgebra y Geometría Analítica Números Complejos

Observación. Dado z = a + bi

∀z ∈ C z · z = kzk2

z · z = (a + bi).(a − bi) = a2 + b2 > 0

• por lo tanto kzk está bien definido. se cumple que:

z · z = a2 + b 2 ∈ R y z · z = a2 + b 2 ≥ 0

√
• ∀z ∈ C, kzk = a2 + b 2

Ejemplo 1. .
√
Si z = 3 − 4i entonces kzk =
p
32 + (−4)2 = 25 = 5

Interpretación Geométrica

Consideramos en el plano complejo a z = a + bi, entonces queda determinado un

triángulo rectángulo cuyos lados tienen longitud |a| y |b| , por teorema de Pitágora la
√
longitud de la hipotenusa es a2 + b2 , que por la observación anterior es kzk. Es decir
kzk es la longitud del vector →
−
oz

Figura 2: Módulo de un complejo

2 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Propiedades. :

1. ∀ z ∈ C kzk ≥ 0 ∧ (kzk = 0 ⇔ z = 0).

2. ∀ z ∈ C kzk = kzk = k−zk.

3. ∀ z ∈ C kzk ≥ |Re(z)| ∧ kzk ≥ |Img(z)|.

4. ∀ z ∈ C kzk ≤ |Re(z)| + |Img(z)|.

5. ∀ z1 , z2 ∈ C kz1 · z2 k = kz1 k · kz2 k.

6. ∀z ∈ C, z 6= 0kz −1 k = kzk−1

z1 kz1 k
7. ∀ z1 , z2 ∈ C z2 = z2 = kz2 k .
6 0

8. ∀ z1 , z2 ∈ C kz1 + z2 k ≤ kz1 k + kz2 k

Demostración. 6
Sea z ∈ C − {0}

z.z −1 = 1 por propiedad del neutro multiplicativo

−1
z.z = k1k aplico módulo en ambos miembros

kzk z −1 = 1 por propiedad del módulo del producto

|{z}
6=0

z = 1
−1
divido por un número real no nulo
kzk
z = kzk−1 por recíproco de un número real no nulo
−1

Demostración. 8. (Sólo para alumnos de Licenciatura y Profesorado en Matemática)

Sean z1 , z2 ∈ C
Por definición de módulo de un número complejos

kz1 + z2 k2 = (z1 + z2 ) · (z1 + z2 )

Por propiedad del conjugado de la suma

3 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

= (z1 + z2 ) · (z1 + z2 )

aplicando la propiedad distributiva del producto respecto de la suma de complejos

= z1 z1 + z1 z2 + z2 z1 + z2 z2

por definición de módulo de un número complejo

= kz1 k2 + z1 z2 + z2 z1 + kz2 k2

por propiedad conmutativa del producto de complejos

= kz1 k2 + z1 z2 + z1 z2 + kz2 k2

por propiedad del conjugado z=z

= kz1 k2 + z1 z2 + z1 z2 + kz2 k2

por propiedad del conjugado del producto de complejos

= kz1 k2 + z1 z2 + z1 z2 + kz2 k2

por propiedad del conjugado z + z = 2Re(z), por lo tanto

kz1 + z2 k2 = kz1 k2 + 2Re (z1 z2 ) + kz2 k2

por propiedades del valor absoluto Re (z1 z2 ) 6 |Re (z1 z2 ) |. Mayorando el segundo
miembro de la igualdad se tiene:
kz1 + z2 k2 6 kz1 k2 + 2|Re (z1 z2 ) | + kz2 k2
por propiedades de módulo |Re(z)| 6 kzk, por lo tanto
kz1 + z2 k2 6 kz1 k2 + 2kz1 z2 k + kz2 k2 luego, por propiedad del módulo de un producto

kz1 + z2 k2 6 kz1 k2 + 2kz1 kkz2 k + kz2 k2

como kz2 k = kz2 k

6 kz1 k2 + 2kz1 kkz2 k + kz2 k2 es un trinomio cuadrado perfecto

6 (kz1 k + kz2 k)2

Calculando raíz cuadrada en ambos miembros se tiene

| kz1 + z2 k | ≤ | kz1 k + kz2 k |

por lo tanto
kz1 + z2 k ≤ kz1 k + kz2 k

Las demostraciones restantes quedan para el alumno.

4 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Consecuencias

1. Para cada complejo su módulo es único.

2. Es sencillo probar que:

∀z = a, a ∈ R, kzk = |a|

∀ z = ib , b ∈ R, kzk = |b|

∀ z ∈ C; ∀ a ∈ R, ka · zk = |a| kzk

3. ∀ z1 , z2 ∈ C; z1 = z2 ⇒ kz1 k = kz2 k , el enunciado recíproco no es cierto.

4. ∀ z ∈ C − {0} ; ∀ n ∈ Z, kz n k = kzkn . En particular ∀ z ∈ C ; ∀ n ∈ N

n
kz n k = z.z......z = kzk . kzk ...... kzk = kzk

| {z } | {z }
n−veces n−veces

Ejemplo 2. :

(1 + i)(4 − 2i)
1. Calcular usando propiedades

1−i

2. Representar gráficamente a los números complejos z tal que:

a) kz − 1 + ik = 1

b) 2 ≤ kzk < 5

1.3. Argumento de un número complejo

Definición 2. Sea z ∈ C − {0}

Llamaremos argumento de z, que denotaremos arg(z), al ángulo, medido en radianes,
que forma el radio vector (vector posición) de z con el semieje positivo real.

5 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Gráficamente

Figura 3: Uno de los argumentos de un complejo

Sea z = a + b i ∈ C, no nulo, notaremos con ρ = kzk y ϕ = arg(z) donde ϕ se determina

a partir de las dos relaciones siguientes

cos ϕ =
 a
ρ

sen ϕ =
 b
ρ

Observación. :

Conocidos ρ y ϕ (módulo y argumento de un complejo) queda determinado

z =a+bi con a = ρ · cosϕ y b = ρ · senϕ.

Como las funciones seno y coseno son funciones trigonométricas periódicas con
período 2π, el argumento del complejo z no es único.
Es decir si ϕ es un argumento de z entonces ϕ + 2kπ con k ∈ Z también lo es.

se considera el recorrido del argumento en sentido positivo si es antihorario y el

sentido es negativo si es el horario.

El complejo nulo se excluye ya que z = 0 no tiene definido un argumento.

6 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

1.3.1. Argumento principal de un número complejo

Definición 3. Dado z = a + b i ∈ C : z 6= 0, llamaremos argumento principal del

complejo z y denotaremos Arg(z), al único ángulo ϕ (medido en radianes) que satisface:

1) 0 ≤ ϕ < 2π.

a
 cos ϕ =


2) kzk
b
 sen ϕ =


kzk
Observación. :
Entre los valores del argumento de un complejo no nulo, existe uno y sólo uno com-
prendido entre 0 y 2π.
Es decir ∀z ∈ C − {0}, ∃ ! Arg(z).

Figura 4: ϕ Argumento principal

En la figura: ϕ = Arg(z) ϕ1 = arg(z)

7 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

1.4. Forma Polar o Trigonométrica de un número complejo.

Forma Exponencial

Todo número complejo no nulo z = a + b i puede expresarse en la forma

√
z = ρ (cos ϕ + i sen ϕ) donde ρ = kzk = a2 + b2 y ϕ = arg(z).
√
Demostración. sea z = a + b i, ρ = kzk = a2 + b2 ; ϕ = arg(z) :

cos ϕ = a ⇒ a = ρ cos ϕ

ρ

b
sen ϕ = ⇒ b = ρ sen ϕ

ρ

luego

z =a+bi

= ρ cos ϕ + i ρ sen ϕ

= ρ (cos ϕ + i sen ϕ)

Obteniendo

z = ρ (cos ϕ + i sen ϕ) Forma polar o trigonométrica de z.

Si introducimos la expresión ei ϕ = cos ϕ + i sen ϕ (fórmula de Euler)

se obtiene

z = ρ ei ϕ Forma exponencial de z

RECUERDE: Cuando encontramos las soluciones de problemas y ejercicios expre-

samos, por lo general, el resultado utilizando Arg(z), ya que éste es único para cada
complejo.

Observación. :

Sea z = a + b i ∈ C

(a, b) son las coordenadas cartesianas de z.

Dado z = ρ (cos ϕ + i sen ϕ) ∈ C, ρ y ϕ se llaman coordenadas polares de z.

8 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Obtengamos el conjugado de un número complejo utilizando la forma tri-

gonométrica
Dado z = ρ (cos ϕ + i sen ϕ) = ρ cos ϕ + i ρ sen ϕ ∈ C − {0} , su conjugado es

z = ρ cos ϕ + i ρ senϕ

= ρ cos ϕ − i ρ sen ϕ

= ρ (cos ϕ − i sen ϕ)

como coseno es una función par y el seno es impar

= ρ (cos(−ϕ) + i sen(−ϕ))

por lo tanto z = ρ (cos(−ϕ) + i sen(−ϕ))

1.5. Igualdad de complejos en forma Trigonométrica

Definición 4. Dos números complejos no nulos

z1 = ρ1 (cos ϕ1 + i sen ϕ1 )

z2 = ρ2 (cos ϕ2 + i sen ϕ2 )

son iguales si y sólo si

ρ1 = ρ2 ∧ ϕ1 = ϕ2 + 2kπ, con k ∈ Z.

Es decir dos números complejos, no nulos, son iguales si y sólo si tienen el mismo
módulo y sus argumentos difieren en múltiplos de 2π ( es decir son coterminales ).

1.6. Operaciones en forma trigonométrica o polar

Dados los números complejos no nulos

z1 = ρ1 (cos ϕ1 + i sen ϕ1 )

z2 = ρ2 (cos ϕ2 + i sen ϕ2 )

Producto
z1 .z2 = ρ1 .ρ2 (cos (ϕ1 + ϕ2 ) + i sen (ϕ1 + ϕ2 ))

9 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Demostración.

z1 · z2 = ρ1 (cos ϕ1 + isenϕ1 ) · ρ2 (cos ϕ2 + isenϕ2 ) por conmutativa en C

= ρ1 ρ2 (cos ϕ1 + i sen ϕ1 ) · (cos ϕ2 + i sen ϕ2 )

por propiedad distributiva del producto respecto de la suma en C

!
i2 sen ϕ1 sen ϕ2
= ρ1 ρ2 cos ϕ1 cos ϕ2 + i cos ϕ1 sen ϕ2 + i sen ϕ1 cos ϕ2 + |{z}
−1

= ρ1 ρ2 (cos ϕ1 cos ϕ2 − sen ϕ1 sen ϕ2 + i cos ϕ1 sen ϕ2 + i sen ϕ1 cos ϕ2 )

= ρ1 ρ2 [(cos ϕ1 cos ϕ2 − sen ϕ1 sen ϕ2 ) + i (cos ϕ1 sen ϕ2 + sen ϕ1 cos ϕ2 )]

por relaciones trigonométricas

= ρ1 ρ2 (cos (ϕ1 + ϕ2 ) + i sen (ϕ1 + ϕ2 ))

Es decir:

kz1 · z2 k = kz1 k · kz2 k ∧ arg(z1 · z2 ) = arg(z1 ) + arg(z2 )

Cociente
z1 ρ1
= (cos(ϕ1 − ϕ2 ) + i sen(ϕ1 − ϕ2 ))
z2 ρ2

Demostración.
z1 z1 · z2
= multiplicando y dividiendo por el conjugado del denominador
z2 z2 · z2
ρ1 (cos ϕ1 + i sen ϕ1 ) .ρ2 (cos ϕ2 + i sen ϕ2 )
=
ρ2 (cos ϕ2 + i sen ϕ2 ) · ρ2 (cos ϕ2 + i sen ϕ2 )
por conjugado en forma trigonométrica y como z2 z2 = (ρ2 )2
ρ1 (cos ϕ1 + i sen ϕ1 ) ρ2 (cos(−ϕ2 ) + i sen(−ϕ2 ))
=
(ρ2 )2
por producto de complejos en forma trigonométrica
ρ1 ρ2
= (cos(ϕ1 − ϕ2 ) + i sen(ϕ1 − ϕ2 ))
(ρ2 )2
ρ1
= (cos(ϕ1 − ϕ2 ) + i sen(ϕ1 − ϕ2 ))
ρ2
Por lo tanto
z1 ρ1
= (cos(ϕ1 − ϕ2 ) + i sen(ϕ1 − ϕ2 ))
z2 ρ2

10 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Es decir:  
z1 kz1 k z1
=
z2 kz2 k ∧ arg = arg(z1 ) − arg(z2 )
z2
Potencia entera

Dados n ∈ Z − {0} y z = ρ. (cos ϕ + i sen ϕ) ∈ C − {0}, la potencia n−ésima de z

se expresa:

z n = ρn (cos(nϕ) + i sen(nϕ)) fórmula de De Moivre

Es decir que:

kz n k = kzkn ∧ arg(z n ) = n arg(z)

Si n = 0 entonces z n = 1 ∀ z 6= 0

Demostración. Se utiliza el Método de inducción matemática el cual sólo es reque-

rido a alumnos de licenciatura y profesorado en matemática.

1.7. Radicación de números complejos

Definición 5. Sea z ∈ C , n ∈ N.
w ∈ C es raíz n−ésima de z si y sólo si z = wn

En símbolos
√
w= n
z ⇔ z = wn
√
Observación. : ∀ n ∈ N n
0=0

Teorema 3. Todo número complejo no nulo admite n raíces n−ésimas diferentes, que se
obtienen de la siguiente manera:
Si z = ρ (cos ϕ + i sen ϕ)

√
    
√ ϕ + 2s π ϕ + 2s π
n
z = n ρ cos + i sen , 0≤s<n, s∈Z
n n
Demostración. (Sólo para alumnos de Licenciatura y Profesorado en Matemática)
Sea n ∈ N, z ∈ C, z 6= 0, escribimos al complejo no nulo z en forma trigonométrica
o polar.
z = ρ (cos ϕ + i sen ϕ)

11 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Se quiere obtener w ∈ C − {θ} tal que wn = z.

Sea w = r (cos ψ + i sen ψ), debemos determinar r = kwk y ψ = arg(w),

por definición de raíz n−ésima:

[r (cos ψ + i sen ψ)]n = ρ (cos ϕ + i sen ϕ)

y utilizando la fórmula de De Moivre se encuentra:

rn (cos (nψ) + i sen (nψ)) = ρ (cos ϕ + i sen ϕ) (2)

Luego, por definición de igualdad de números complejos en forma trigonométrica o polar,

obtenemos de (2):

rn = ρ


nψ = ϕ + 2kπ, k ∈ Z



r = √
 n ρ

ϕ+2kπ
ψ = , k∈Z

n
√
ρ cos ϕ+2kπ + i sen ϕ+2kπ


Luego ∀ k ∈ Z, w= n
n n
es raíz n−ésima de z.
Veamos que de estos infinitos valores para w hay sólo n diferentes.
Para todo k ∈ Z el argumento de w es
ϕ + 2kπ
ψ= , k∈Z
n
ϕ k
= + 2π , k ∈ Z
n n
Si dividimos k en n, por el algoritmo de división ∃! c, s ∈ Z : k = c n + s ; 0 ≤ s < n,
luego
ϕ cn + s
ψ= + 2π , c , s ∈ Z; 0 ≤ s < n
n n
ϕ s
= + c 2π + 2π , c , s ∈ Z; 0 ≤ s < n
n n
Como las funciones trigonométricas seno y coseno son periódicas con período 2π, vale que:
 
ϕ 2kπ ϕ s  ϕ s 
cos ψ = cos + = cos + c 2π + 2π = cos + 2π ; 0 ≤ s < n
n n n n n n
 
ϕ 2kπ ϕ s  ϕ s 
sen ψ = sen + = sen + c 2π + 2π = sen + 2π ; 0 ≤ s < n
n n n n n n

12 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

Por lo tanto

    
√ ϕ + 2sπ ϕ + 2sπ
w= n
ρ cos + i sen , 0≤s<n, s∈Z (3)
n n
son todas distintas y exactamente n valores.

Observación
La demostración del teorema determina la fórmula o expresión (3) que se utiliza para
encontrar las raíces n−ésimas de un complejo no nulo. Al asignar los valores posibles al
entero s, se obtienen las n raíces diferentes del complejo no nulo z.

Escribamos las raíces en forma exponencial:

∀n ∈ N , ∀ z ∈ C, z 6= 0, z = ρeiϕ ,
√ √ ϕ+2sπ
w= n
z = n ρ ei n , s = 0, 1, 2, · · · , n − 1

√ ϕ
s=0 n
ρ ei n
w0 =
√ ϕ+2π
s=1 w1 = n ρ ei n
..
.
√ ϕ+2(n−1)π
s=n−1 wn−1 = n ρ ei n

1.8. Representación gráfica

Sea z un complejo no nulo con kzk = ρ y Arg(z) = ϕ

√
1. Todas las raíces n−ésimas del complejo no nulo z tienen igual módulo, n ρ. Es decir

√
son puntos sobre una circunferencia de radio n ρ.

2. Los argumentos principales de las raíces n−ésimas del complejo no nulo z son:

ϕ ϕ + 2π ϕ + 4π ϕ + 6π ϕ + 2(n − 1)π
, , , , ··· ,
n n n n n
2π
y forman una progresión aritmética de razón n
. Es decir la diferencia de dos ar-
2π
gumentos, de raíces consecutivas cualesquiera, es n
, valor que se puede interpretar
como la división de un giro completo en el índice de la raíz.

13 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

3. De la geometría elemental sabemos que a ángulos congruentes le corresponden cuer-

das congruentes. Esto nos permite asegurar que, para n ≥ 3 las raíces n−ésimas de
un complejo no nulo z, son vértices del polígono regular de n lados inscripto en la
√
circunferencia de radio n ρ y centro en el origen.

Para n = 7

Figura 5: Raíz séptima de z = ρeiϕ

Teorema 4. La suma de las n raíces n−ésimas diferentes, de un complejo no nulo z, es

igual a cero.

Se acepta sin demostración.

√
Ejemplo 5. : Calcule las raíces sextas del complejo z = 1 + i 3

π
kzk = ρ = 2 , ϕ = argz = , n=6
3

√ π +s 2π
3
2 ei
6
w= 6 , s = 0, 1, 2, · · · , 5

14 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández

Álgebra y Geometría Analítica Números Complejos

√ π
2 ei 18
6
s=0 w0 =
√ 7π
2 ei 18
6
s=1 w1 =
√ 13 π
2 ei 18
6
s=2 w2 =
√ 19 π
2 ei 18
6
s=3 w3 =
√ 25 π
2 ei 18
6
s=4 w4 =
√ 31 π
2 ei 18
6
s=5 w5 =

Ejemplo 6. : Casos particulares

Todo número real positivo tiene una raíz real positiva.

Sea z un número real positivo, z = a > 0 luego kzk = |a| = a ∧ ϕ = 0, entonces
√ √
∀ n ∈ N, n z = n a cos 2kπ + i sen 2kπ




n n
, 0 ≤ k < n , k ∈ Z.
√ √
Para k = 0 se obtiene w0 = n a ei0 = n a que es raíz real positiva de radicando
positivo.

Un número real negativo tiene una raíz real negativa sólo si n es un natural impar.
En el caso de que el índice n sea par, todas las raíces son complejas y son conjugadas
de dos en dos.

15 Mg. M. Ganim - Mg. I. Lomas - Mg. E. Fernández