Revista del Instituto de Matemática y Fı́sica Artı́culos

Los números complejos y

una bella fórmula de la matemática

Genaro Castillo G10 .

Universidad de Talca.
Instituto de Matemática y Fı́sica

Introducción

Estas notas se proponen puesto que pueden ser de ayuda a los profesores de enseñanza
media que deseen implementar un curso electivo para sus alumnos más avanzados. Habrı́a
que agregarle una cantidad de ejercicios que ejemplifiquen y refuercen cada concepto; aquı́,
por razones de espacio, se han desarrollado sólo algunos y se ha sumado un anexo con
ejercicios propuestos, a modo de insinuación.

Los alumnos que postulan a carreras de ingenierı́a deben en alguna instancia enfrentarse con
esta temática, más aún, si ingresan a una ingenierı́a “dura”deben sortear un ramo extenso
de Variable Compleja; ası́...¿por qué no anticiparse a los acontecimientos?

Antes de entrar en el terreno mismo, debemos aclarar algunos conceptos o expresiones si lo

fuesen, debido a su naturaleza polémica intrı́nseca. Siempre que nos referimos a lo bello (o
a lo feo) lo hacemos atados y limitados a nuestros sentidos, formateo previo o prejuicios. La
belleza la concebimos especialmente a través de los sentidos de la visión, el oı́do y el olfato,
tal vez mediante algún receptor intelectual captador de belleza espiritual, y nos produce una
especie de admiración y placer en nuestro interior; comunicarla es tarea muy difı́cil para
poetas, pintores, escultores, músicos, artistas, en general. Como el hombre se considera la
medida de todas las cosas, el mismo deberı́a ser la causa de la belleza. En el fondo, el hombre
se mira en el espejo de las cosas y considera bello todo lo que le devuelve su imagen. El juzgar
algo bello constituye la vanidad caracterı́stica de nuestra especie , nos enrostra Nietzsche.

¿Porqué hay belleza en los sonidos, en los colores, en los olores y en los movimientos rı́tmicos
de la naturaleza? ¿Qué es lo que hace que se manifieste la belleza? Responde Platón, toda
belleza estimula a la reproducción, siendo éste su efecto más caracterı́stico, desde lo más
sensual a lo más espiritual, bueno, aquı́ nos situaremos en la frontera de este último extremo.

Comenzamos por introducir el cuerpo de los números complejos, la conjugación, los conceptos
de módulo y argumento.

Los números complejos

Se llama número complejo a todo par ordenado de número reales. El conjunto de los números
10
email: gcastil@[Link]

31
Revista del Instituto de Matemática y Fı́sica Artı́culos

complejos se designa por C,

C := {(x, y) / x, y ∈ IR}.
(El sı́mbolo := se usa para indicar que la igualdad lo es por definición).

Visto como un conjunto sin estructura dirı́amos que C = IR2 .

Para un número complejo z := (x, y), se denomina parte real de z , y se anota Re z, a su

primera coordenada; la segunda coordenada se llama parte imaginaria de z, y se denota por
Im z; es decir, Re z := x e Im z = y.

Vamos ahora a dotar al conjunto de los números complejos de una estructura algebraica,
definiendo en él las operaciones de adición y multiplicación que siguen.

Para dos números complejos z1 = (x1 , y1 ) y z2 = (x2 , y2 ), se define la suma z1 + z2 , y su

producto z1 z2 , respectivamente, por
z1 + z2 := (x1 + x2 , y1 + y2 ) , z1 z2 := (x1 x2 − y1 y2 , x1 y2 + y1 x2 ).
No es complicado comprobar que con estas operaciones el conjunto C queda dotado de una
estructura algebraica denominada cuerpo, el cuerpo de los números complejos.

Se puede observar que el número complejo (1, 0) es el neutro multiplicativo. Si deseamos

determinar el inverso multiplicativo del número complejo (a, b) 6= (0, 0), entonces debemos
resolver el sistema que resulta de la igualdad (a, b)(x, y) = (1, 0); es decir, de

ax − by = 1
bx + ay = 0

a −b
de donde se obtiene que x = a2 +b2
, y= a2 +b2
. Por lo tanto, el inverso multiplicativo de (a, b)
−b
es (a, b)−1 = a2 +b
a


2 , a2 +b2 .

Debemos aclarar que aunque C y IR2 tengan los mismos elementos, poseen estructuras dife-
rentes. Cuando vemos a IR2 pensamos en los pares ordenados como elementos de un espacio
vectorial en cambio, al escribir C como pares ordenados también están provistos de una
multiplicación y son elementos del cuerpo complejo.

Los números complejos con parte imaginaria cero, (x, 0), se les denomina reales puros; mien-
tras que, aquellos con parte real nula, (0, y), se les llama imaginarios puros.

Sabemos que IR con las operaciones de adición y multiplicación constituye un cuerpo; ahora
si consideramos la función F : IR −→ C tal que F (x) = (x, 0), es fácil ver que esta función
es inyectiva y conserva las operaciones en el sentido de que
F (x1 + x2 ) = (x1 + x2 , 0) = (x1 , 0) + (x2 , 0) = F (x1 ) + F (x2 )
F (x1 x2 ) = (x1 x2 , 0) = (x1 , 0)(x2 , 0) = F (x1 )F (x2 )

32
Revista del Instituto de Matemática y Fı́sica Artı́culos

y, en este caso, se dice que hay un isomorfismo entre el cuerpo de los números reales y el
subcuerpo de C consistente de los números complejos con parte imaginaria cero.

Esto identifica x con (x, 0); convengamos en decir que x = (x, 0) y por tanto IR se puede
considerar como un subcuerpo de C. Esta identificación trae como consecuencia que, para
cada y ∈ IR,
(0, y) = (0, 1)(y, 0) = (0, 1)y
y que
(0, 1)(0, 1) = (−1, 0) = −1
propiedad que jamás satisface un número real (que el cuadrado sea negativo) gracias a la
cual el cuerpo complejo es algebraicamente cerrado (algebraicamente cerrado significa que
cualquiera ecuación de grado n ≥ 1 con coeficientes complejos tiene al menos una raı́z. El
conjunto de los números reales no es algebraicamente cerrado puesto que, por ejemplo, la
ecuación x2 + 1 = 0 no tiene solución en IR).

Al número complejo (0, 1) se denomina unidad imaginaria compleja y se denota por la letra
i, es decir, i := (0, 1).

En términos de la unidad imaginaria, cualquier número complejo (a, b) se puede expresar en

la forma
(a, b) = (a, 0) + (0, b) = a(1, 0) + b(0, 1) = a + bi
que es la notación que usualmente se utiliza cuando se trabaja con números complejos, por
ser más manejable desde el punto de vista operacional.

Como en todo cuerpo, se puede restar y dividir números complejos:

z − w = z + (−w), para cada z, w ∈ C ; z ÷ w = z · w−1 , para cada z, w ∈ C, z 6= (0, 0).

El conjunto IR2 dotado de la suma compleja y el producto por números reales, posee la
estructura algebraica denominada espacio vectorial real bidimensional y se puede probar que
el conjunto {(1, 0), (0, 1)} = {1, i} constituye una base de este espacio. Por este motivo, se
puede identificar C con los vectores del plano IR2 y gracias a esta identificación, a IR2 se le
acostumbra también denominarlo plano complejo. Los ejes de este plano y = 0, x = 0, se
llaman eje real y eje imaginario, respectivamente.

Módulo y Argumento.

El módulo de un número complejo z = (x, y) se anota por |z| y es el número real

p
|z| := x2 + y 2 .

El módulo de z corresponde a la longitud euclı́dea del vector (x, y).

Si z = (x, y) 6= (0, 0), se denomina argumento principal de z que anotaremos por Arg (z) y
es el único valor θ ∈ [−π, π[ que cumple θ = arctan xy .

33
Revista del Instituto de Matemática y Fı́sica Artı́culos

El ángulo θ es uno de los posibles que forma la parte positiva del eje X y el vector (x, y)
medido positivo en sentido antihorario y negativo en sentido horario. Al conjunto de todos
estos ángulos se le llama simplemente argumento de z y se denota arg (z), es decir,

arg (z) := {Arg (z) + 2kπ : k ∈ Z}.

Esta correspondencia se dice multiunı́voca ya que posee infinitas determinaciones, el argu-

mento de z está definida como un conjunto, de entre las cuales se llama principal al elemento
que toma valores entre [−π, π[.

Cuando z 6= (0, 0), para cada θ ∈ arg (z) se verifica que

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

expresión que corresponde a la forma polar del número complejo z.

El par (|z|, arg (z)) son las coordenadas polares de z.

Antes de revisar una propiedad del argumento veamos las siguientes definiciones de suma
de conjuntos y de la multiplicación de un número complejo por un conjunto: Sean A , B
subconjuntos de C y λ un número complejo, se definen

A + B := {a + b : a ∈ A, b ∈ B} , λA := {λa : a ∈ A}.

Nótese que, en general, A + A 6= 2A; por ejemplo, si A = {1, 2} entonces A + A = {2, 3, 4};
en cambio, 2A = {2, 4}.

Propiedad del Argumento

Sean z, w ∈ C\{(0, 0)}, entonces el argumento del producto es igual a la suma de argumentos;
en sı́mbolos,
arg (zw) = arg (z) + arg (w).
Como, nπ o
arg (i) = + 2kπ : k ∈ Z ,
2
entonces
arg (i) + arg (i) = {π + 2kπ : k ∈ Z};
en cambio,
2arg (i) = {π + 4kπ : k ∈ Z, }
o sea,
arg (i) + arg (i) 6= 2 arg (i).
Además, si z 6= (0, 0) entonces

arg (z 2 ) = arg (z) + arg (z)

34
Revista del Instituto de Matemática y Fı́sica Artı́culos

pero ésto no significa que arg (z 2 ) = 2 arg (z), relación que en general es falsa.

Observe también que

Arg (i2 ) = Arg (−1) = −π;
mientras que
π π
Arg (i) + Arg (i) =+ = π.
2 2
Esto muestra que no siempre el argumento principal de un producto es igual a la suma de
los argumentos principales; es decir, en general

Arg (zw) 6= Arg (z) + Arg (w).

Ahora probaremos que el argumento de un producto es igual a la suma de los argumentos.

Sean θ1 ∈ arg (z) y θ2 ∈ arg (w), entonces

arg (z) = {θ1 + 2kπ : k ∈ Z} , arg (w) = {θ2 + 2kπ : k ∈ Z}

zw = |z||w|(cos θ1 + i sin θ1 )(cos θ2 + i sin θ2 )

= |z||w|(cos(θ1 + θ2 ) + i sin(θ1 + θ2 )).

Por lo tanto, θ1 + θ2 ∈ arg (zw). Ası́:

arg (zw) = {θ1 + θ2 + 2kπ : k ∈ Z}

= {θ1 + 2kπ : k ∈ Z} + {θ2 + 2kπ : k ∈ Z}
= arg (z) + arg (w).

La conjugación

Si z = x + iy, se denomina conjugado de z y se anota z al número complejo z := x − iy. El

conjugado de z es el simétrico de z en el plano complejo respecto al eje real X. Si z 6= (0, 0)
entonces z está caracterizado por

|z| = |z| , Arg (z) = −Arg (z).

Es simple ver que se cumplen las siguientes propiedades:

z+z z−z
1. Para cada z ∈ C, Re z = 2
e Im z = 2i
.

2. Para cada x ∈ IR, x = x.

3. Para cada z ∈ C, z = z.

4. Para cada z, w ∈ C, z + w = z + w, además, zw = zw.

35
Revista del Instituto de Matemática y Fı́sica Artı́culos

Es un buen ejercicio demostrar estas afirmaciones.

También se cumplen las siguientes propiedades que involucran el módulo de un complejo:

1. Para cada z ∈ C, |z|2 = zz.

|z|
2. Para cada z, w ∈ C, |zw| = |z||w| y | wz | = |w|
, siempre que w 6= (0, 0).

3. Para cada z, w ∈ C, |z + w| ≤ |z| + |w| y ||z| − |w|| ≤ |z − w|.

La función exponencial

Si z = x + iy, se define ez por la identidad

ez := ex (cos y + i sin y),

donde ex es la exponencial real. De acuerdo con la definición, cuando y = 0 , ez = ex ; es decir,

la función exponencial compleja definida por z 7−→ ez es una extensión al plano complejo de
la exponencial real x 7−→ ex .

El siguiente listado, que invitamos a verificar, establece algunas propiedades algebraicas

importantes de la función exponencial:

1. Para cada z, w ∈ C, ez+w = ez ew .

2. Para cada z ∈ C, |ez | = eRe z . En particular, |eiy | = 1 donde y es un número real.

3. ez = 1 si y sólo si z ∈ 2πiZ.

4. Para cada z 6= (0, 0), z = |z|eiarg (z)

.

5. Para cada z ∈ C, (ez )−1 = e−z .

6. Para cada k ∈ Z y z ∈ C, (ez )k = ekz .

Demostraremos esta última aseveración puesto que tiene otra implicancia importante. En
efecto, la igualdad es cierta, por definición, para los valores de k = 0 y k = 1. Ahora, si
k ≥ 2, la propiedad en cuestión es una consecuencia inmediata de (1.) de esta lista, aplicando
inducción. La parte (5.) prueba el resultado para k = −1. Por último, para k ≤ −2

(ez )k = [(ez )−1 ]−k = (e−z )−k = e(−z)(−k) = ekz .

Debido a este resultado, para cada θ ∈ IR y k ∈ Z se cumple que

(eiθ )k = (cos θ + i sin θ)k = eikθ = cos(kθ) + i sin(kθ).

36
Revista del Instituto de Matemática y Fı́sica Artı́culos

La identidad (cos θ +i sin θ)k = cos(kθ)+i sin(kθ) es conocida como la fórmula de De Moivre.

En particular, la igualdad eiθ = cos θ + i sin θ se conoce como la fórmula de Euler.

Ahora, si en esta última fórmula reemplazamos θ = π, resulta eiπ = −1, de donde,

eiπ + 1 = 0

Permı́tanme citar nuevamente a Nietzsche: el silencio en el que caemos ante lo bello es

un profundo esperar, un querer oir las más finas y lejanas tonalidades; nos conducimos
como una persona que fuera todo oı́dos y ojos; la belleza tiene algo que decirnos, por eso
guardamos silencio y no pensamos lo que en otra ocasión pensarı́amos. Por consiguiente,
nuestro silencio, nuestra expectación, nuestra paciencia, es una preparación y nada más.
Esto es lo que sucede en toda contemplación.

Es probable que en la evolución de la matemática en el tiempo, los números: 1, 0, π, e, i,

hayan surgido en ese orden como verdaderos motores del desarrollo de esta ciencia, pero lo
más extraordinario de todo es que a una suerte de llamado causal se congreguen en una
minúscula fórmula de equilibrada belleza.

Para continuar esta unidad, aprovechemos que la función exponencial está estrechamente
ligada con la función logaritmo; por este motivo se va a introducir el logaritmo complejo
tal vez una de las nociones que, en este tema, más confunden a los alumnos; se tratará de
alumbrar en esa dirección.

Logaritmo complejo

Denotaremos por ln a la función logaritmo natural real; por tanto, por definición, para cada
número positivo x, u := ln x es el único número real que verifica la relación eu = x.

El logaritmo complejo, que anotamos en estas notas por log, no es una función en el sentido
estricto, sino es más bien una correspondencia multiunı́voca de modo que, a cada número
complejo z 6= (0, 0), asocia el conjunto de soluciones w de la ecuación ew = z; es decir,

log z := {w ∈ C : ew = z}.

Ası́ como el argumento, el logaritmo complejo està definido en tèrminos de un conjunto.

Como la ecuación ew = z puede escribirse en la forma

eRe w ei Im w = |z|eiarg (z)

(1)

37
Revista del Instituto de Matemática y Fı́sica Artı́culos

Tomando módulo en ambos miembros de la relación (1), resulta

eRe w = |z|,

de donde se obtiene, aplicando logaritmo natural real, que

Re w = ln |z|.

Ahora, si ambos miembros de (1) es dividido por |z|, Obtenemos que

eiIm w = ei arg (z)

,

igualdad que se verifica si y sólo si la parte imaginaria de z está en el argumento de z. Por

tanto, el logaritmo complejo
log z = ln |z| + i arg (z).
A modo de ejemplo, vamos a calcular el logaritmo de los números complejos z1 = −1 + i,
z2 = i y z3 = −1.
√
• Como |z1 | = 2 y arctan +1
−1
= 3π
4
= Arg (−1 + i), entonces
  
3π
arg (−1 + i) = + 2kπ i : k ∈ Z .
4
Por consiguiente,
√
  
3π
log(−1 + i) = ln 2 + + 2kπ i : k ∈ Z .
4
• Como |z2 | = |i| = 1 y arg (i) = {( π2 + 2kπ)i : k ∈ Z}, por tanto
n π  o n π  o
log(i) = ln 1 + + 2kπ i : k ∈ Z = + 2kπ i : k ∈ Z .
2 2
• Como |z3 | = | − 1| = 1 y arg (−1) = {−π + 2kπ : k ∈ Z}, entonces

log(−1) = {(2k − 1)πi : k ∈ Z}.

Obsérvese que
log i + log i = {(2k − 1)πi : k ∈ Z};
en cambio,
2 log i = {(1 + 4k)πi : k ∈ Z};
es decir,
2 log i 6= log i + log i;
no obstante,
log i2 = log i + log i.

38
Revista del Instituto de Matemática y Fı́sica Artı́culos

El logaritmo complejo debe ser considerado como una correspondencia multiunı́voca, a menos
que se fije una determinación del argumento, en cuyo caso, se transforma en una función.
Llamaremos logaritmo principal y se denotará por Log aquel valor del del logaritmo complejo
en que sólo se considera el argumento principal; o sea,

Log z = ln |z| + i Arg (z) , z 6= (0, 0).

De acuerdo con lo anterior,

√ 3π π
Log (−1 + i) = ln 2 + i , Log (i) = i , Log (−1) = −πi.
4 2
Nótese que si x es un número real positivo, entonces Log x = ln x y, en particular, Log |z| =
ln |z|; es decir, la función logaritmo principal, Log, es una extensión al conjunto de los
números complejos menos el (0, 0) del logaritmo natural real ln.

El siguiente resultado establece las principales propiedades del logaritmo complejo log.

Para cada z, w números complejos distintos de (0, 0), se cumple que

z
(a) log(zw) = log z + logw ; (b) log = log z − log w.
w
Demostración caso (a):

log(zw) = ln |zw| + i arg (zw)

= ln |z| + ln |w| + i arg (z) + i arg (w)
= log z + log w.

Exponenciales complejas

Si A es un subconjunto del conjunto de los números complejos, denotaremos por eA al

conjunto
eA := {ea : a ∈ A}.
Para cada z, c, z 6= (0, 0), números complejos, se define z c como el conjunto de números
complejos
z c := ec log z = ec(Log |z|+i arg (z)) .
Ası́, por ejemplo,
π 1
ii = ei log i = {ei( 2 +2kπ)i : k ∈ Z} = {e−π( 2 +2k) ; k ∈ Z}.

Al igual que con el logaritmo complejo, z 7−→ z c y c 7−→ z c son correspondencias multi-
unı́vocas. Se denomina determinación principal de z c y se anota DP (z c ), a la función

DP (z c ) := ecLog z = ec(ln |z|+i Arg (z))

39
Revista del Instituto de Matemática y Fı́sica Artı́culos

De acuerdo con esta definición

π
DP (ii ) = ei Log i = e− 2 .
Para finalizar revisaremos la raı́z n-ésima de un número complejo.

Raı́z n-ésima de un número complejo

1 1
Si z 6= (0, 0) es un número complejo, según la definición, z n = e n log z ; no obstante,
1 1
n
log z = n
{Log|z| + i(Arg (z) + 2kπ) : k ∈ Z}
 
1 i Arg (z) + 2kπ
= Log|z| n + : k∈Z .
n
Luego,
1/n +i Arg (z) + 2kπ
1
z n = {eLog |z| (
n n ) : k ∈ Z}
1 i Arg (z) 2kπi
= |z| n e n {e n : k ∈ Z}
1 i Arg (z) 2kπi
= |z| e n n {e n : 0 ≤ k ≤ n − 1}.
A cada uno de estos números se denomina raı́z n-ésima de z.
1 i Arg (z) 2πi
Si llamamos z0 := |z| n e n , wk = wk−1 e n , para 1 ≤ k ≤ n − 1, entonces
1
z n = {wk : 0 ≤ k ≤ n − 1}.
Por consiguiente, todas las raı́ces n-ésimas del número complejo z están en una circunferencia
1
de centro (0, 0) y radio |z| n . El número complejo w0 está en esta circunferencia con argumento
Arg (z)
n
y cada una de las restantes (n−1) raı́ces de z se obtienen incrementando el argumento
de w0 por la cantidad fija 2π n
.

Finalizamos el tema calculando las raı́ces quinta del número complejo 4 + 4i.
1 √
Si z = (4+4i) 5 , entonces el módulo de z es 32 y el argumento es π4 puesto que arctan 1 = π4 .
Ası́,
√ 1 πi √ πi
w0 = ( 32) 5 e 20 = 2 e 20 ,

2πi √ πi πi √ 9πi
w1 = w0 e 5 = 2 e 20 e 5 = 2e 20 ,

2πi √ 9πi πi √ 17πi

w2 = w1 e 5 = 2e 20 e 5 = 2e 20 ,

2πi √ 17πi 2πi √ 25πi

w3 = w2 e 5 = 2e 20 e 5 = 2e 20 ,

2πi √ 25πi 2πi √ 33πi

w4 = w3 e 5 = 2e 20 e 5 = 2e 20 .

40
Revista del Instituto de Matemática y Fı́sica Artı́culos

Las raı́ces quintas del número complejo 4 + 4i son√los vértices de un pentágono regular
inscrito en la circunferencia de centro (0, 0) y radio 2.

ANEXO

Si se desea saber como están sus conocimientos sobre números complejos:

1. Determine el conjunto con todas las soluciones de la ecuación z = z 2 .

n √ √ o
Respuesta: (0, 0), (1, 0), (− 12 , 23 ), (− 12 , − 23 ) .
−2
2. Determine el módulo, argumento principal y argumentos de z = √ .
1+ 3i
Respuesta: 2, − π3 , {− π3 + 2kπ : k ∈ Z}, respectivamente.
√
3. Calcule el logaritmo principal y el logaritmo complejo de z = −1 + 3i. Además,
calcule el logaritmo complejo del número e.
Respuesta: Log z = ln |z| + 2π i , log z = {ln |z| + i 2π


3 3
+ 2kπ : k ∈ Z},
log e = {1 + 2kπ : k ∈ Z}, respectivamente.
4. Resuelva sobre el cuerpo de los números complejos las siguientes ecuaciones:
√
(a) ez = −1, (b) ez = 1 + 3i.
Respuesta: (a) {π(2k − 1)i : k ∈ Z}; (b) {ln 2 + π(2k + 31 )i : k ∈ Z}.

√ raı́ces cuartas del número complejo z = −1 y las raı́ces cúbicas del número
5. Calcule las
w = 1 − 3i.
πi 3πi 5πi πi πi
Respuesta: Raı́ces cuartas de z: e−πi , e 4 , e 4 , e 4 . Raı́ces cúbicas de w: e− 3 , e 3 , eπi .
6. Calcule (1 + i)i y también su parte principal.
√ √
2− π4 2− π4
Respuesta: ei ln {e−2kπ : k ∈ Z} y ei ln , respectivamente.
1
7. Determine la parte real de e z , en términos de las coordenadas cartesianas.
x
y
Respuesta: e x2 +y2 cos x2 +y 2.

8. Compruebe que Log (1+i)2 = 2Log (1+i); mientras que Log (−1+i)2 6= 2Log (−1+i).
√
9. Pruebe que, para cada z ∈ C, |Re z| + |= z| ≤ 2|z|.
10. Represente en el plano cartesiano los conjuntos siguientes:
(a) {z ∈ C : |2z − 1 + i| = 2} ; (b) {z ∈ C : Re (z − i) = 2}.

11. Pruebe que si |z| < 1, entonces |Im z(1 − z + z 2 )| < 3.

 1
12. Pruebe que log z n = n1 log z.

41