Capitulo I

Números Complejos
Los números naturales N y números enteros Z aparecieron de manera natural al resolver ecuaciones como

x−5=3 x+5=3 x + 5 = 5.

Pero, al atacar ecuaciones cuadráticas, los matemáticos de la antigüedad se toparon

√ con unos nuevos y extraños
números. Las soluciones de una ecuación tan sencilla como x2 + 4 = 0 eran x = ± −4. ¿Qué sentido tenı́a la
raı́z de un número negativo?
Todos recordamos desde el colegio la ecuación ax2 + bx + c = 0 y su solución general
√
b2 − 4ac
x = −b ± .
2a
√
Por ejemplo en la solución de x2 +√2x + 3 también aparece estos números
√ extraños
√ √ x = −1 ± −8. Observe que
estos “nuevos” números extraños −a siempre tienen algo en común −a = a −1 esto significa que,
n√ o
Números extraños = gen −1 = gen{i}

La necesidad de encontrar un universo C donde vivan todas las

soluciones de estas ecuaciones, nos lleva a incluir un nuevo inte-
grante a la familia R. Este integrante es número extraño i.

Este universo C que estamos construyendo ya contiene a la familia

real (R, +, ·), ahora debemos preservar la cerradura del producto
(·) con el nuevo integrante i, esto nos lleva a incluir inmediata-
mente en C la familia creada por i, esta familia es gen{i} y se
hacen llamar imaginarios puros.
Y si queremos preservar la cerradura de la suma (+), entonces cada “interacción” entre la familia real e imaginaria
debe pertenecer al universo C. Esta interacción tendrı́a la forma a + bi, con a perteneciente a la familia real y bi
pertenecientes a la familia de imaginarios puros.
Ese universo (C, +, ·) que hemos construido y que contiene esos “números extraños” es llamado: Conjunto de
números complejos y que se denota por C.
En 1806 el matemático suizo Jean Argand propuso la siguiente representación que consiste en visualizar el
conjunto de números complejos que denotamos por C como un par ordenado en R2

z = a + bi 7→ (a, b),

donde a es la parte real de z la cual denotamos Re(z) y b es la parte imaginaria de z que denotamos por Im(z).

Definición 1. (Números complejos)

Los números complejos se define como
n o
C = a + bi : a, b ∈ R

Si z = a + bi y a = 0 entonces z = bi es un imaginario puro, (el cual identificamos (0, b)).

Si z = a + bi y b = 0 tenemos z = a es un número real, (el cual identificamos (a, 0)). Por ende, R ⊆ C.

1
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Geométricamente, los números complejos se pueden identificar con los puntos del plano haciendo corresponder
al complejo z = x + yi y el punto de coordenadas (x, y). De ahı́ que el conjunto C reciba el nombre de plano
complejo. En adelante, identificaremos
z = a + bi ≡ (a, b)

La igualdad en C se define mediante

a + bi = c + di ⇔ a=c b=d

En particular, a + bi = 0 si y solo si a = b = 0.

Si z = x + yi, se define Re(z) = x y Im(z) = y (partes real e imaginaria del complejo

Ejercicio 1. Halle rápidamente

1. Re(iz)=

2. Im(iz)=

Teorema 2. En el conjunto de los números complejos C considere las siguientes operaciones

(a + bi) + (c + di) = (a + c) + i(b + d) (a, b) + (c, d) = (a + c, b + d)

(a + bi) · (c + di) = (ac − bd) + (ad + bc)i (a, b) · (c, d) = (ac − bd, ad + bc)

demuestre que (C, +, ·) tiene estructura de cuerpo

DEM: Sean z, zk ∈ C luego z = a + bi ≡ (a, b), y zk = ak + bk i ≡ (ak , bk ) veamos las siguientes propiedades

I) z1 + z2 = z2 + z1 V) z1 z2 = z2 z1
(a1 , b1 )(a2 , b2 ) = (a1 a2 − b1 b2 , a1 b2 + b1 a2 )
(a2 , b2 )(a1 , b1 ) = (a2 a1 − b2 b1 , a2 b1 + b2 a1 )

II) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) VI) z1 (z2 z3 ) = (z1 z2 )z3

III) z + 0 = z VII) z1 = z
(a, b) · (1, 0) = (a − b0, 0 + b) = (a, b) = z

IV) Existe −z ∈ C tal que z + (−z) = 0 VIII) Para z 6= 0 existe z −1 ∈ C tal que zz −1 = 1.

IX) la operación (·) es distributiva respecto a la operación (+),

z(z1 + z2 ) = zz1 + zz2 (z1 + z2 )z = z1 z + z2 z

Teorema 3. (Inverso)
 a b 
Si z ∈ C con z = a + bi 6= 0 entonces z −1 = , −
a 2 + b2 a 2 + b2

2
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Dem: Supongamos que z −1 = w que propiedades debe cumplir w? pues, la de siempre

zw = 1 = 1 + 0i,

Observe que si z = a + bi y w = x + yi entonces

zw = (a + bi)(x + yi) = (ax − by) + (ay + bx)i = 1 + 0i

ası́ que debemos resolver el siguiente sistema de ecuaciones:

  
 ax − by = 1 a −b 1
 
 bx + ay = 0 b a 0

a b
Como z = a + bi 6= 0 entonces a2 + b2 6= 0, podemos ver que la solución a este sistema es x = ,y=− 2
a2 +b 2 a + b2
Ası́ que es inverso multiplicativo de z = a + bi el cual denotamos por z1−1 está dado por

a b  a b 
z −1 = w = − i ≡ , − 
a 2 + b2 a 2 + b2 a 2 + b2 a 2 + b2

DIVISION ENTRE COMPLEJOS: Si z1 = a + bi y z2 = c + di entonces

z1  c d  (ac + bd) + (bc − ad)i

X) := z1 z2−1 = (a, b) 2 , − = .
z2 c + d2 c 2 + d2 c 2 + d2
1
XI) = z2−1 Sol: Propiedad (10). con z1 = 1
z2
z1 1
XII) = z1 z2−1 = z1
z2 z2

PROPIEDADES ALGEBRAICAS
z1 + z2 z2 z2 z1 + z2 (11) (9) (11) z
2 z2
= + = (z1 + z2 )z3−1 = z1 z3−1 + z2 z3−1 = +
z3 z3 z3 z3 z3 z3
(9 (9)
(1 + z)2 = 1 + 2z + z 2 (1 + z)2 = (1 + z)(1 + z) = (1 + z)1 + (1 + z)z = 1 + z + z + z 2 = 1 + 2z + z 2
(9)
(−1)z = −z z + (−1)z = z(1 + (−1)) = z(0) = 0
1 1
=z = 1(z −1 )−1 = zz −1 (z −1 )−1 = z1 = z
1/z z −1
(z1 z2 )(z3 z4 ) = z1 [z2 (z3 z4 )] = z1 [(z2 z3 )z4 ] = z1 [(z3 z2 )z4 ] = z1 [z3 (z2 z4 )]
= (z1 z3 )(z2 z4 )

(z1 z2 )(z3 z4 ) = (z1 z3 )(z2 z4 ) Implicaciones:

XIII) (z1 z2 )(z1−1 z2−1 ) = (z1 z1−1 )(z2 z2−1 )(1)(1) = 1

1 (11) (13) (11)  1  1 

XIV ) = (z1 z2 )−1 = z1−1 z2−1 =
z1 z2 z1 z2
z1 z2 z1 z2 z1 z2 (12)  1  (14)  1  1  (5)  1   1  (12)  z  z 
1 2
= = z1 z2 = z1 z2 = z1 z2 =
z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4
z1 z z1 z1 z z1 z z1  1  z1 −1 z1 z1
= = = z = zz = 1 =
z2 z z2 z2 z z2 z z2 z z2 z2 z2

3
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

1.1. Conjugado y módulo de un número complejo

Es natural asociar cada número complejo z = a + bi con el segmento dirigido o
vector, desde el origen hasta el punto (a, b). De hecho, nos referimos con frecuencia a
z como el punto z o el vector z.

Definición 4. (Módulo y Conjugado)

Si z = a + bi ∈ C, se define el módulo y el complejo conjugado de z respectivamente
como sigue:

 |z| = k(a, b)k = √a2 + b2


(distancia de z al origen)
 z̄ = a − bi (reflexión de z respecto del eje real)

El número |z| es la distancia del punto (a, b) al origen, osea la longitud del vector z.

La desigualdad z1 < z2 NO tiene sentido salvo que sean números reales, la desigualdad |z1 | < |z2 | SI tiene
sentido y significa que el punto z1 está más cercano al origen que el punto z2 .

El número z ∈ C es real si y sólo z = z̄, e imaginario puro si y sólo z = −z̄

i ≡ (0, 1) entonces i2 = ii = (0, 1)(0, 1) = (−1, 0) ≡ −1.

Nótese que para todo λ ∈ R se tiene λ(x, y) = (λx, λy) = (λ, 0)(x, y)

Propiedades conjugado: Sean z, w ∈ C.

z+z 4. zw = z w
1. Re(z) =
2

5. z = z
z−z
2. Im(z) =
2i 6. z n = z n , n ∈ N

z z 1 1
3. z + w = z + w 7. ( ) = en particular ( ) =
w w w w

Propiedades Modulo: Sean z, w ∈ C.

z |z|
1. |z| = |z| 5.   =
 
con w 6= 0
w |w|

z
2. zz = |z|2 . En particular z −1 =
|z|2 6. Re(z) ≤ |z|

3. |zw| = |z||w| 7. Im(z) ≤ |z|.

4. |z| = |−z| = |z|

4
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Ejemplo 1.
5(6 + 2i) − 5(1 + 3i)
Si z = + 7 + 2i. Halle z.
−1 + i − 2

Resuelva zz + 3(z − z) = 4 + 6i.

 (3 + 7i)2  (3 − 7i)2
Verifique =
8 + 6i 8 − 6i

 (2 + i√5)(1 + i√3)3 
 
Halle  √ √
 

 5+i 3 

 500
−3 + i
Ejemplo 2. Halle .
2i − 1

SOL: Para ello, primero observe que

−3 + i (−3 + i)(−2i − 1) 6i + 3 − 2i2 − i 5i + 5
= = = =1+i
2i − 1 (2i − 1)(−2i − 1) −4i2 + 1 5
 500
−3 + i 500
h
2
i250
Entonces = (1 + i) = (1 + i) = (2i)250 = 2250 i250 = −2250 .
2i − 1
Ejercicio 2. Calcule:
 3
1+i
1−i

√ !100
1+i 3
1−i

Proposición 5 (Desigualdad Triangular).

Sean z, w ∈ C. Demuestre
 
a) |z ± w| ≤ |z| + |w| |z ± w| ≥ |z| − |w|
 

Dem a): Observe que,

|z + w|2 =

 
Dem b): Demostrar |z| − |w| ≤ |z − w| es equivalente a demostrar que −|z − w| ≤ |z| − |w| ≤ |z − w|. Por otra
 

5
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

parte,
|z| =

|w| =

Representación polar y argumento principal

Hemos visto que los números complejos pueden representarse como vectores en el plano
C. Usando las coordenadas polares en R2 y la representación de C con este espacio R2 . Si
z = x + yi ∈ C\{0} entonces
x = r cos θ = |z| cos θ
y = r sen θ = |z| sin θ
donde θ es el ángulo (medido en radianes) entre z = x + yi y el semieje real positivo. El
angulo θ está dado por
y y π π
tan θ = ⇒ θ = tan−1 − <θ<
x x 2 2
Sin embargo esta expresión no será válida en el II-III cuadrante. Por otra parte los ángulos
de inclinación dados por
θ + 2πk, k = 0, ±1, ±2, . . .
también proporcionan la misma dirección en el plano complejo.
Definición 6. (Forma polar y Argumento)
Para z ∈ C definimos la forma polar de z como

z = r (cos θ + i sen θ) .

donde θ := arg(z) es un ángulo (cualquiera) formado por el eje real positivo con el
vector z. En adelante arg(z) es llamado argumento de z,

arg(z) NO es una función pues a z se le puede asociar θ o θ + 2π, ect. Es decir, puede tomar infinitos valores
posibles.
y
Un argumento para z puede hallarse a partir de la ecuación tan(θ) = pero hay que tener en cuenta que los
x
valores que arroja la calculadora siempre están entre (−π/2, π/2).

En general la forma polar se reescribe como

 
z = |z| cos(arg (z)) + i sin(arg (z))

Ejemplo 3. Halle la forma polar de −1, −i, 1 y −1 − i.

Definición 7. (Argumento principal de z)

Es el único valor de arg (z) que está entre (−π, π] y se denota por Arg(z). Ası́ que

arg (z) = Arg(z) + 2πk, k ∈ Z.

6
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

El argumento principal puede también ser definido en cualquier intervalo semiabierto I de longitud 2π, ArgI :
C − 0 → I. Por ejemplo
5π 5π
Arg[0,2π) (−1 − i) = Arg( π2 ,− 3π
2 ]
(−1 + i) = − .
4 4

Si z es un número real negativo entonces Arg(z) = π.

El argumento Arg = arg (−π,π]

Arg : C\{0} → (−π, π] es una función discontinua en R− ∪ {0}. Análogamente, Arg : C\{0} → [0, 2π) es
discontinua en R+ {0}.
Dado que el argumento principal de z depende del cuadrante donde se encuentra, usaremos los siguientes tips
para calcularlo.

tan−1 xy




 si x > 0 (osea z está en el I y IV cuadrante)

π




 2 si x = 0 e y > 0 (osea z está en el semieje imaginario positivo)
y


Arg(z) = π + tan −1
x si x < 0 e y ≥ 0 (osea z está en el II cuadrante)

y


−π + tan−1 x si x < 0 e y < 0 (osea z está en el III cuadrante)





 π
 −2 si x = 0 e y < 0 (osea z está en el semieje imaginario negativo)

Ejemplo 4. Exprese los arg (i) y de arg (−1 − i).

π
SOL: No es difı́cil dar los argumentos principales, Arg(i) = 2 y Arg(−1 − i) = − 3π
4 . Por tanto,
nπ o n 3π o n 5π o
arg(i) ∈ + 2πk k∈Z arg(−1 − i) ∈ − + 2πk k∈Z = + 2πk k∈Z
2 4 4

Proposición 8. Sean z, z1 , z2 ∈ C.

1. arg(z1 z2 ) = arg(z1 ) + arg(z2 ), 3. arg(z) = −arg(z)

 
z1
2. arg(z −1 ) = −arg(z). 4. arg = arg(z1 ) − arg(z2 )
z2

Dem 1): Supongamos que z1 = r1 (cos θ1 + i sen θ1 ), z2 = r2 (cos θ2 + i sen θ2 )

luego tenemos

z1 z2 = r1 (cos θ1 + i sen θ1 )r2 (cos θ2 + i sen θ2 )

= r1 r2 (cos θ1 cos θ2 − sen θ1 sen θ2 + i [cos θ1 sen θ2 + sen θ1 cos θ2 ])
= r1 r2 (cos(θ1 + θ2 ) + i sen(θ1 + θ2 )) .

De este cálculo se sigue que |z1 z2 | = r1 r2 = |z1 ||z2 | Luego,

arg(z1 z2 ) = θ1 + θ2 + 2πk = θ1 + 2πk1 + θ2 + 2πk2 = arg(z1 ) + arg(z2 ).

Dem: 2,3,4):

7
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Note que en general Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ). Por ejemplo

π
Arg(−i) = − 6= Arg(−1) + Arg(i) = 3π/2
2
Ejercicio 3. Halle:

Arg(−1 − i)

Arg(1 + i).

La forma polar de −1 + i

1.2. La función exponencial

En curso de calculo integral estudiamos la serie de potencias de ciertas funciones
∞ n
t2n t2n+1
∞ ∞
X t X X
et = cos t = (−1)n sin t = (−1)n
n=0
n! n=0
(2n)! n=0
(2n + 1)!

Si z = x + iy ∈ C, la propiedad et+s = et es sugiere definir ez = ex eiy . Pero que es eiy ?. Observe que de la
definición de et encontramos que

(iy)n (iy)n (iy)n (iy)2m (iy)2m+1

X∞ ∞
X X∞ X∞ X∞
eiy = = + = +
n=0
n! n=par
n! n=impar
n! m=0
(2m)! m=0
(2m + 1)!

y 2m y 2m+1
∞
X X∞
m
= (−1) +i (−1)m
m=0
(2m)! m=0
(2m + 1)!
= cos(y) + i sen(y)

Definición 9. (La función Exponencial)

Para z = x + iy ∈ C (x, y ∈ R), definimos
 
ez := ex+iy = ex eiy = ex cos(y) + i sen(y)

1
Para t ∈ R tenemos entonces que eit = cos(t) + i sen(t).

La forma polar de z se puede escribir de la siguiente manera z = reiθ .

Si z ∈ R, la exponencial compleja se reduce obviamente a la exponencial real.

Ejemplo 5. Algunos valores para eiθ

e0 eiπ/2 eiπ = ei3π/2 = ei2π

Proposición 10. (Propiedades de ez )

Para todo z, w ∈ C

1. |ez | = eRez 3. ez+w = ez ew 5. ez = 1 ⇔ z = 2πki con k ∈ Z

2. Arg(ez ) = Imz 4. (ez )−1 = e−z 6. ez = ez

7. ez es una función periódica, cuyos perı́odos son los números 2πki con k ∈ Z.

1 cos(t) + i sen(t) también es llamado cis(t)

8
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Dem:

3) Si z = x1 + iy1 , w = x2 + iy2
def   
ez ew = (ex1 +iy1 )(ex1 +iy1 ) = ex1 (cos y1 + i sin y1 ) ex2 (cos y2 + i sin y2 )
  def
= ex1 ex2 cos(y1 + y2 ) + i sen(y1 + y2 ) = ex1 +x2 ei(y1 +y2 )
= e(x1 +x2 )+i(y1 +y2 ) = ez+w

(3)
4) ez e−z = ez−z = e0 = 1 entonces deducimos, (ez )−1 = e−z .

5) ez = ex+iy = ex (cos y + i sen y) = 1 entonces ex sen y = 0; ex cos y = 1 de donde tenemos que sin y = 0; ex = 1.
Es decir, x = 0 y y = 2πk, con k ∈ Z. En conclusión z = x + iy = (2πk)i con k ∈ Z

6)

7)

Para finalizar esta sección expresemos cualquier z ∈ C en forma exponecial

Definición 11. (Forma Exponencial de z)
La representación exponencial de un complejo z está dada por

z = reiθ donde r = |z| y θ = arg (z)

Con el convenio de que e−iθ = ei(−θ) , entonces por ejemplo

√ √
−1 − i = 2ei(−3π/4) = 2e−i(3π/4)

Geométricamente los complejos z = eiθ están en la circuferencia de radio r

centrada en el origen, por ejemplo es geoemtricamente obvio que
π
eiπ = 1 e−i 2 = −i, e−i4π = 1

Hacemos notar, además, que la ecuación

z = Reiθ 0 ≤ θ ≤ 2π

es una representación paramétrica de la circunferencia |z| = R, centrada en el

origen y de radio R. Más en general, la circunferencia |z − z0 | = R con centro
en z0 y radio R, admite la representación paramétrica

z = z0 + Reiθ 0 ≤ θ ≤ 2π

Esto se puede ver vectorialmente (ver figura) sin más que observar que un punto
z que recorre la circunferencia |z − z0 | = R una vez en sentido antihorario
corresponde a la suma de vector fijo z0 y de un vector de longitud R cuyo
ángulo de inclinación θ varia entre 0 ≤ θ ≤ 2π.

9
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Mejor Notación Sea z = reiθ , z1 = r1 eiθ1 y z1 = r2 eiθ2 entonces

z1 z2 = (r1 eiθ1 )(r2 eiθ2 ) = r1 r2 ei(θ1 +θ2 ) 1 1
z −1 = = e−iθ
z r
z1 r1 eiθ1 r1
= = ei(θ1 −θ2 )
z2 r2 eiθ2 r2

Fórmula de de Moivre

La siguiente formula se debe al matemático francés Abraham De Moivre (1667-1754).

Teorema 12. (Fórmula de Moivre)

Si z = r(cos θ + i sin θ) = reiθ entonces
h i
z n = rn cos(nθ) + i sin(nθ) = rn einθ fórmula de Moivre (1.1)

Dem: (Inducción) Para n ≥ 0.

para n = 1, z 1 = reiθ .
Hip Inductiva Supongamos que la ecuación es valida para n = m es decir, z m = rm eimθ .
Demostremos la validez para n = m + 1

z m+1 = zz m = (reiθ ) rm eimθ = rm+1 ei(m+1)θ

Queda demostrado ası́ para todo entero positivo. Asimismo si adoptamos el convenio de z 0 = 1, entonces tambien
es valida para n = 0. Y que paso cuando n es negativo? Resp/ la ecuación se reescribe de la siguiente forma

z n = (z −1 )−n − n = 1, 2, 3 . . .
Dado que (1.1) es valida para los positivos entonces
1 −n  1 −n
z n = (z −1 )−n = ei(−θ) = ei(−n)(−θ) = rn einθ 
r r

OBS: Si r = 1, la expresión (1.1) se convierte en

n
eiθ = einθ n = 0, ±1, ±2, . . .

Ejemplo 6. Expresar cos(3θ) y sen(3θ) como un polinomio en cos θ y sen θ.

SOL: La fórmula de de Moivre permite decir que

cos(3θ) + i sin(3θ) = (cos θ + i sin θ)3

   
= cos(t)3 − 3 cos θ sin2 θ + i 3 cos2 sin θ − sin3 θ

Entonces,
cos(3θ) = cos(t)3 − 3 cos θ sin2 θ sin(3θ) = 3 cos2 sin θ − sin3 θ
√
7
Ejemplo 7. Hallar 3+i
√ π
SOL: No es difı́cil ver que Arg( 3 + i) = 6. Luego usando la formula de Moivre
√ 7 √ √
 π 7 7π  3 i 
i( 6 )
3+i = 2e = 27 ei( 6 ) =2 7
− − = −64 3+i
2 2
Ejemplo 8. Hallar (1 − i)23

10
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

SOL: No es difı́cil ver que Arg(1 − i) = − π4 . Luego usando la formula de Moivre

√ −π 23 √ 23π
(1 − i)23 = ( 2)ei( 4 ) = ( 2)23 e−i( 4 )

Pero, − 23π
4 =
π
4 − 6π. Por tanto,

√ 23π √ π √  √2 √ 
2
(1 − i) 23
=( 2)23 ei(− 4 ) = ( 2) e23 i( 4 )
= ( 2) 23
+i
2 2

1.3. Raı́ces de números complejos

Dado que z = reiθ está situada en una circunferencia de radio r y centrada en el
origen. Ahora, si dos números complejos no nulos

z1 = r1 eiθ1 y z1 = r1 eiθ2

son iguales si, y sólo si,

r1 = r2 y θ1 = θ2 + 2πk k = 1, 2, . . ..

Esta importante observación, unida a la expresión z n = rn einθ es útil para hallar las
raı́ces n-ésimas de un número complejo z0 = r0 eiθ0 . El método se basa en que una
raı́z n-ésima de z0 es un número complejo no nulo z = reiθ tal que

z n = z0 ⇔ (reiθ )n = r0 eiθ0 ⇔ rn = r y nθ = θ0 + 2πk

Luego, concluimos que
√ θ0 2πk
r= n
r0 y θ= + , k = 0, ±1, ±2, . . . .
n n

Definición 13. (Raı́ces n-ésimas)

Las raı́ces n-esimas de un complejo fijo z0 = r0 eiθ0 son números complejos distintos
dados por
√ θ0 2πk


ck = n r0 ei n + n k = 1, 2, . . . , n (1.2)

Las raı́ces ck son números que verifican la ecuación (ck )n = z0 , y podemos

reescribirlas como
√
θ0 2πk
ck = c0 wnk donde c0 = n
r0 ei n y wnk = ei( n )

donde k = 1, 2, . . . , n. Por tanto, las n raı́ces distintas son

c0 , c0 wn , c0 wn2 , c0 wn3 , . . . , c0 wnn−1

Geométricamente todos estas raı́ces están situadas en la circunferencia |z| =

√n r centradas en el origen y están uniformemente espaciadas por 2π/n radianes,
0
a partir del argumento inicial θn0 .

La primera raı́z c0 tiene argumento θ0 /n y es la raı́z principal

Las raı́ces forman un polı́gono regular de n lados inscrito en una circunferencia.

Ejemplo 9. Halle las n-raı́ces de la unidad, esto es, halle las soluciones de z n = 1.

11
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

SOL: Observe que 1 = 1ei(0+2πk) con k ∈ Z. Las n soluciones a esta ecuación están dadas por,
0 2πk 2πk
ck = 11/n = (1)1/n ei( n + n ) = ei( n )

Por ejemplo si n = 3 las raı́ces son

√ √
2π 1 3 4π 1 3
c0 = 1, c1 = ei( 3 ) =− +i , c2 = ei( 3 ) =− −i .
2 2 2 2
2πk
Observe que aquı́ c0 = 1 y wnk = ei( n ). Ilustremos gráficamente las n raı́ces de 1 para n = 3, 4, 6.

Ejemplo 10. Halle las raı́ces cúbicas de i es decir, resuelva la ecuación z 3 = i

π π 2πk
Sol: Observe que i = 1ei( 2 +2πk) con k ∈ Z. De manera que las 3 raices buscadas son ck = (i)1/3 = ei( 6 + 3 ), es
decir,
π 1 √ π 2π 1 √ π 4π
c0 = ei( 6 ) = ( 3 + i) c1 = ei( 6 + 3 ) = (− 3 + i) c2 = ei( 6 + 3 ) = −i
2 2

Ejemplo 11. Halle las raı́ces cúbicas de −8i. es decir, z 3 = −8i

π
Sol: Observe que −8i = | − 8i|ei(− 2 +2πk) con k ∈ Z. De manera que las raı́ces buscadas son
π 2πk


ck = 2ei − 6 + 3 k = 0, 1, 2

Por tanto,
π √ π 7π √
c0 = 2ei(− 6 ) = 3 − i, c1 = 2ei( 2 ) = 2i c2 = 2ei( 6 ) = − 3 − i.

Ejemplo 12. Encuentre y dibuje las raı́ces cubicas de 1 + i.

π
Sol: Observe que 1 + i = |1 + i|ei( 4 +2πk) con k ∈ Z. De manera que las raı́ces
cubicas buscadas son
√ π 2πk
ck = ( 2)1/3 ei( 12 + 3 ) k = 0, 1, 2

Por tanto,
π 3π 17π
c0 = (2)1/6 ei( 12 ) , c1 = (2)1/6 ei( 4 ) c2 = (2)1/6 ei( 12 )

1.3.1. Secciones Cónicas

Las secciones cónicas proporcionan ejemplos adicionales de conceptos vista hasta ahora.Aunque pueden utilizarse
las fórmulas de la geometrı́a analı́tica con x = Re(z) y z = Im(z), es fácil definir las secciones cónicas en términos
de distancia.

12
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Definición 14. (Cónica: Elipse)

Una elipse se define como el conjunto de todos los puntos z ∈ C tales que la suma
de sus distancia a dos puntos fijos z0 , z1 ∈ C, llamados focos, es constante. En otras
palabras, satisfacen la siguiente ecuación:

|z − z0 | + |z − z1 | = c, c es una constante real.

Ejemplo 13. ¿Cuál es la ecuación compleja de la elipse que pasa a través de i y que tiene
sus focos en ±1?

SOL: Basándonos en la definición de elipse conduce a

|z − 1| + |z + 1| = c, c es una constante real

¿Como hallamos la constante c? Resp/ dado√que la elipse pasa por z = i entonces debe
cumplir esta ecuación c = |i − 1| + |i + 1| = 2 2. Ası́ la ecuación de la elipse es:
√
|z − 1| + |z + 1| = 2 2

Definición 15. (Cónica: Parábola)

Una parábola se define como el conjunto de todos los puntos de C cuya distancia a
un punto dado z0 ∈ C, llamado foco, es igual a su distancia a una recta fija llamada
directriz. (recta Im(z) = b ó recta Re(z) = a). Matematicamente hablando

 Re(z) − a parábola abriendo derecha-izquierda
|z − z0 | =
 Im(z) − b parábola abriendo arriba-abajo

Ejemplo 14. Encuentre la ecuación de la parábola que tiene a i como foco y

la recta Im(z) = −1 como directriz.

SOL: Por definición, la ecuación compleja obtenemos

|z − i| = Im(z) + 1 ⇔ |z|2 − 2Re(zi) + 1 = (Im(z) + 1)2 .

Luego si y = Im(z) y |z|2 = x2 + y 2 obtenemos la parábola

x2
y=
4

Definición 16. (Cónica: Hipérbola)

Una hipérbola se define como el conjunto de todos los puntos z ∈ C tales que el
valor absoluto de la diferencia entre las distancias de z a dos puntos fijos z0 , z1 ∈ C
llamados focos es una constante. Matemáticamente hablando
 
|z − z0 | − |z − z1 | = c c es una constante real
 

Ejemplo 15. Cuál es la ecuación de la hipérbola con focos ±1 que pasa por el punto 1 + i.

SOL: Por definición, la ecuación compleja es

 
|z − 1| − |z + 1| = c.
 

¿Como hallamos la constante c? Resp/ dado que la hipérbola pasa por z = 1 + i entonces debe cumplir esta
 √
ecuación c = |1 + i − 1| − |1 + i + 1| = 5 − 1. Ası́ la ecuación de la hipérbola es:

  √
|z − 1| − |z + 1| = 5 − 1
 

13