Capı́tulo 1

Números complejos

“Los descubrimientos matemáticos, como las violetas de primavera en el bosque, tienen

su estación que ningún humano puede acelerar o retrasar.”

Carl Friedrich Gauss

Una de las ramas de las matemáticas que aparecen constantemente en los problemas de la ingenierı́a
es el análisis complejo. En esta sección abordaremos de manera breva el estudio de los números
complejos, y dedicaremos un capı́tulo completo para estudiar variable compleja.

1.1. El campo de los números complejos

El concepto de número complejo aparece con la aparición de cierta ecuación cuadrática x2 +1 = 0, esta
ecuación no tiene solución en nuestro conocido conjunto de números reales R. Esto abre el concepto
de un nuevo conjunto de números.

Definición 1.1.1. Definimos el conjunto de números complejos C, como:

C = {a + ib | a, b ∈ R con i2 = −1}.

Definición 1.1.2. Sean z, w ∈ C dos números complejos de la forma z = a + ib y w = c + id. Decimos

que estos sin iguales z = w si y solo si a = c y b = d.

Para estudiar este conjunto, definimos a continuación como operar elementos de este.

Definición 1.1.3. Sean z, w ∈ C dos números complejos de la forma z = a + ib y w = c + id, definimos

la suma y la multiplicación, como las operaciones binarias:

+ : C × C −→ C . : C × C −→ C
(z, w) −→ z + w = (a + c) + i(b + d) (z, w) −→ z + w = (ac − bd) + i(ad + bc)

Esta definición de suma y producto en los números complejos, nos permite ver que C cumple la
estructura de campo:

Teorema 1.1.4. El conjunto C es un campo, esto es, sean v, w, z ∈ C se cumple:

1. (+ Asociatividad) (v + w) + z = v + (w + z)

1
2 Capı́tulo 1. Números complejos

2. (+ Conmuntatividad) w + z = z + w
3. (Neutro aditivo) ∃0C ∈ C tal que ∀z ∈ C tenemos z + 0C = z
4. (Inverso aditivo) ∀z ∈ C , ∃ − z ∈ C tal que tenemos z + (−z) = 0C
5. (. Asociatividad) (vw)z = v(wz)
6. (. Conmuntatividad) wz = zw
7. (Neutro multiplicativo) ∃1C ∈ C tal que ∀z ∈ C tenemos z1C = z
8. (Inverso multiplicativo) ∀z ∈ C − {0C } , ∃z−1 ∈ C tal que tenemos z z−1 = 1C
9. (Distributividad) v(w + z) = vw + vz

Veamos quienes son los neutros y los inversos tanto aditivos como multiplicativos.
Proposición 1.1.5. El neutro aditivo de C es 0 := 0 + i0.
Demostración. Sea z = a + ib ∈ C vemos que z + 0 = (a + 0) + i(b + 0) = a + ib = z. 

Proposición 1.1.6. El inverso aditivo de z = a + ib ∈ C es −z := (−a) + i(−b).

Demostración. Sea z = a + ib ∈ C, entonces z + (−z) = (a + (−a)) + i(b + (−b)) = 0 + 0i = 0 

Proposición 1.1.7. El neutro multiplicativo de C es 1 := 1 + i0.

Demostración. Sea z = a + ib ∈ C y queremos un 1 = u + iv ∈ C tal que z1 = z. Por definición de
multiplicación, tenemos:

z1 = (au − bv) + i(av + bu) = a + ib = z.

Ası́ tenemos el siguiente sistema de ecuaciones para u y v:

a = au − bv
b = av + bu

Veamos la solución por casos:

(Caso 1) Si a = 0 tenemos z = 0 + ib:

0 = −bv
b = bu

De aquı́ que u = 1 y v = 0.
(Caso 2) Si a , 0 del sistema de ecuaciones, tenemos:
  
− ba 1 
  
 a −b a   1 − ba 1   1
∼  ∼  2 
a b   0 a + ba 0 

b a b   b
b2
De aquı́ se tiene que (a + a )v = 0 de lo cual v = 0. Por otro lado como u − ba v = 1 enton-
ces u = 1.
1.1. El campo de los números complejos 3

Ası́ de ambos casos, concluimos que 1 = 1 + 0i 

Proposición 1.1.8. El inverso multiplicativo de z = a + ib ∈ C \ {0} es

a − ib
z−1 :=
a2 + b2
.

Demostración. Sea z = a + ib ∈ C − {0} esto es a , 0 y b , 0. Queremos un z−1 = u + iv ∈ C tal que

zz−1 = 1. Por definición de multiplicación, tenemos:

zz−1 = (au − bv) + i(av + bu) = 1 + i0 = 1

Ası́ tenemos el siguiente sistema de ecuaciones para u y v:

1 = au − bv
0 = av + bu

Resolviendo el sistema de ecuaciones, tenemos:

  1

− ab
  
 a −b 1   1 − ba 1a   1 a

 ∼   ∼  2 
0 a + a −a
b b

b a 0 b a b
De aquı́ se tiene que ( a +b
2 2
a )v = − a de lo cual v = − a2 +b2 . Por otro lado u − a v =
b b b 1
a de lo que
u = a2 +b
a
2 . Finalmente, obtenemos que z
−1 = a−ib .
a2 +b2


Demos algunas definiciones que son de relevancia para operar números complejos.

Definición 1.1.9. Sea z = a + ib ∈ C, definimos:

1. La parte real como <(z) = a,

2. La parte imaginaria como =(z) = b,

√
3. La norma como|z| = a2 + b2 ,

4. El conjugado como z̄ = a − ib.

Observación 1.1.10. Con estas definiciones podemos observar, que el inverso multiplicativo es de
forma
z̄
z−1 = 2 .
|z|
Veamos algunas proposiciones que nos serán útiles:

Proposición 1.1.11. Sea z = a + ib ∈ C entonces:

1. zz̄ = |z|2 ,

2. =(zz̄) = 0.
4 Capı́tulo 1. Números complejos

Demostración. En efecto pues:

zz̄ = (a + ib)(a − ib)

= (a2 + b2 ) + i(ab − ab)
= (a2 + b2 ) + i0.

1.2. La geometrı́a de los números complejos

Un lugar conocido para hacer geometrı́a es el plano Euclidiano, R2 . Sabemos por el álgebra lineal, que
dos espacios vectoriales sobre el mismo campo, son isomorfos si y sólo si estos espacios vectoriales
tienen la misma dimensión. Si consideramos al espacio vectorial R2 sobre los números reales R y al
espacio vectorial de los números complejos C sobre R, resulta que dimR (R2 ) = 2 = dimR (C). De aquı́
que existe un isomorfismo entre el espacio Euclidiano y el conjunto de los números complejos i.e.
R2  C.

Esto nos permite hacer geometrı́a sobre el conjunto de los números complejos de manera análoga
que en R2 . Veamos algunas interpretaciones geométricas de las diferentes operaciones en C. Para ello
hagamos la asociación natural:

T : C −→ R2
a + ib −→ (a, b)

Figura 1.1: Isomorfismo entre el espacio Euclidiano y el conjunto de los números complejos (R2  C)

Con esta asociación, veamos las siguientes interpretaciones:

1. (Suma) Sean z, w ∈ C la suma en C es análoga a la suma en R2 :

1.2. La geometrı́a de los números complejos 5

Figura 1.2: Suma de dos números complejos

2. (Norma) La norma de un número complejo es la norma Euclidiana definida en R2 :

Figura 1.3: Norma de un número complejo

3. (Conjugado) El conjugado de un número complejo es la reflexión respecto a la recta x = 0 en

R2 :

Figura 1.4: Conjugado de un número complejo

6 Capı́tulo 1. Números complejos

1.3. Representación polar

La asociación natural de C y R2 asocia el elemento z = a + ib ∈ C con el elemento (a, b) ∈ R2 .
Ahora, trabajando en el plano Euclidiano, podemos utilizar el cambio de coordenadas Euclidianas a
coordenadas polares, sabemos que todo punto (a, b) ∈ R2 \ {(0, 0)} queda determina un número real
positivo ρ > 0 que es la distancia al origen y un ángulo 0 ≤ ψ < 2π formado por el semieje positivo
de las abscisas con el punto.

Figura 1.5: Representación polar de un número complejo

Con un poco de trignometrı́a obtenemos

a = ρ cos(ψ), b = ρ sin(ψ).

Ası́, dado z = a + ib ∈ C \ {0}, lo podemos expresar como:

z = ρ cos(ψ) + i sin(ψ)
 

Observamos que ρ = |z|. Definimos el argumento de z como arg(z) = ψ. La relación

√ entre las coorde-
nadas polares (ρ, ψ) con las coordenadas cartesianas (a, b), está dada por ρ = a + b2 y
2

a>0



 arctan (b/a) y b≥0
π − arctan b/|a| a<0


y b≥0




π + arctan (b/a) a<0 b<0


 y
arg(z) = 


2π − arctan |b| /a a>0 b<0




 y
π/2 a=0 b>0

y





a=0 b<0


 3π/2 y
Con esto en mente, veamos como se interpreta la multiplicación de dos números complejos, sean
z1 , z2 ∈ C \ {0} y consideremos su representación polar, esto es z1 = ρ1 cos(ψ1 ) + i sin(ψ1 ) y z2 =
 
ρ2 cos(ψ2 ) + i sin(ψ2 ) , efectuando la multiplicación de ambos, tenemos:
 

z1 z2 = ρ1 ρ2 (cos(ψ1 ) cos(ψ2 ) − sin(ψ1 ) sin(ψ2 )) + i(cos(ψ1 ) sin(ψ2 ) + cos(ψ2 ) sin(ψ1 ))

 

= ρ1 ρ2 cos(ψ1 + ψ2 ) + i sin(ψ1 + ψ2 ) .
 

Entonces multiplicar dos elementos de C \ {0} implica, multiplicar sus radios y sumar sus ángulos:
1.4. Raı́ces n-ésimas 7

Figura 1.6: Multiplicación de dos números complejos

1.4. Raı́ces n-ésimas

Veamos ahora el cálculo de raı́ces n-ésimas para los números complejos, esto se resume en dos teore-
mas que presentaremos sin demostración:

Teorema 1.4.1 (Fórmula de Moivre). Sea z ∈ C, consideremos su representación polar i.e. z =

ρ cos(ψ) + i sin(ψ) , entonces
 

zn = ρn cos(nψ) + i sin(nψ)
 
∀n ∈ N

Teorema 1.4.2. Sea w ∈ C − {0} y n ∈ N. Entonces existen exactamente n números complejos distintos
z0 , z1 , · · · zn−1 tales que:

znk = w k ∈ {0, · · · n − 1}
y sea w = ρ cos(ψ) + i sin(ψ) la representación polar de w, zk está dada por:
 

ψ + 2πk ψ + 2πk 

 ! !
√n 
zk = ρ cos
 + i sin 
n n

1.5. Fórmula de Euler

Finalizaremos esta introducción a los números complejos con una de las fórmulas más importantes de
la matemática, la fórmula de Euler la cual enunciaremos y probaremos.

Teorema 1.5.1 (Fórmula de Euler). Sea z = a + ib ∈ C entonces:

exp(z) = exp(a) cos(b) + i sin(b)

 

Demostración. Para iniciar la prueba, usaremos un resultado de análisis, sabemos que una función
es analı́tica alrededor de a, si su serie de Taylor converge a ella, esto es que la podemos representar
como:
∞
X f n (a)
f (x) = (x − a)n (1.1)
n=0
n!
8 Capı́tulo 1. Números complejos

Sabemos que la función exponencial es analı́tica en todo R, ası́ consideramos su desarrollo de Taylor,
alrededor de a = 0,
∞
X xn
exp(x) = . (1.2)
n=0
n!
Hagamos la siguiente observación:




 1 n≡0 mod(4)

 i n≡1 mod(4)
i =
n
.





 −1 n≡2 mod(4)
−i n≡3 mod(4)




Tenemos entonces que podemos reescribir la función exponencial para x = ib como:

∞ ∞
X (ib)n X (−1)n (−1)n 2n+1
exp(ib) = = b2n + i b .
n=0
n! n=0
(2n)! (2n + 1)!
Las series en el desarrollo anterior, son los desarrollos de Taylor alrededor de a = 0 para el coseno y
seno respectivamente:
∞ ∞
X (−1)n X (−1)n 2n+1
cos(x) = x2n , sin(x) = x .
n=0
(2n)! n=0
(2n + 1)!
De esto, tenemos que:

exp(ib) = cos(b) + i sin(b)

Finalmente consideremos exp(a + ib), de donde obtenemos:

exp(a + ib) = exp(a) exp(ib) = exp(a) cos(b) + i sin(b) .

 

Ahora como caso particular de la Fórmula de Euler, veamos como relacionar los números más notables
de la matemática, los cuales son:

1. El neutro aditivo en R, el número 0

2. El neutro multiplicativo en R, el número 1

3. El número π

4. El número e

5. La unidad imaginaria i

Para ello, consideremos x = iπ, de la fórmula de Euler obtenemos:

eiπ + 1 = 0
Sin lugar a dudas la fórmula más hermosa dentro de la matemática, obtenida por el matemático más
prolı́fico de esa ciencia: Leonhard Euler.