Capı́tulo 3

El sistema de los números complejos

3.1. Los números complejos y el plano complejo

La ecuación cuadrática
x2 + 1 = 0,
no tiene soluciones reales, pues cualquiera sea x ∈ R, se verifica que x2 + 1 > 0. Debemos
ampliar R a un conjunto en el cual puedan resolverse situaciones del tipo anterior, de manera
que las propiedades del sistema R se conserven.
Definición 3.1.
1. El número no real solución única de la ecuación
x2 = −1
es llamado la unidad imaginaria y se representa por i.
2. El conjunto
C = { x + yi : x, y ∈ R }
formado por los binomios algebraicos en la indeterminada i y coeficientes reales, es
llamado conjunto de los números complejos.
Observaciones 3.2.
1. Tenemos
z ∈ C ⇔ z = x + yi, x, y ∈ R.
La binomio x + yi se denomina forma binómica del número complejo z, mientras que
los números reales x e y son llamados parte real de z y parte imaginaria de z represen-
tadas por x = Re (z) e y = Im (z), respectivamente.
2. Un número complejo z = x + yi se

representa en el plano cartesiano me-

Eje imaginario
diante radio vector (segmento dirigi-
do), con punto inicial en (0, 0) y pun- P
y z
to final en ( x, y). En este caso, los ejes
abscisas y ordenadas se llaman eje
real y eje imaginario, respectivamen-
te, y al plano cartesiano se conoce co-
mo plano complejo o diagrama de
Argand.
O x Eje real
2 Juan Montealegre Scott

Definición 3.3.

1. Un número complejo de la forma z = x + 0i se llama número real.

2. Un número complejo de la forma z = 0 + yi se llama número imaginario (puro).

3.2. El sistema de los números complejos

El sistema de los números complejos es el conjunto C provisto de una relación de igual-
dad, y de las operaciones de adición y multiplicación de números complejos. 1

Definición 3.4 (Igualdad en C). Si z1 = x1 + y1 i y z2 = x2 + y2 i, se dice que

z1 = z2 ⇔ x1 = x2 y y1 = y2 .

Definición 3.5 (Adición en C). Si z1 = x1 + y1 i y z2 = x2 + y2 i, se define la suma de z1 y z2 ,

como
z1 + z2 = ( x1 + x2 ) + (y1 + y2 ) i.

Definición 3.6 (Multiplicación en C). Si z1 = x1 + y1 i y z2 = x2 + y2 i, se define el producto

de z1 y z2 como
z1 z2 = ( x1 x2 − y1 y2 ) + ( x1 y2 + x2 y1 ) i.

La adición y la multiplicación de números complejos tienen las siguientes propiedades.

Teorema 3.7. Si z1 , z2 , z3 ∈ C, entonces

1. (z1 + z2 ) ∈ C.

2. z1 + z2 = z2 + z1 .

3. z1 + (z2 + z3 ) = (z1 + z2 ) + z3 .

4. ∃!0 ∈ C, ∀z ∈ C : z + 0 = z.

5. ∀z ∈ C, ∃ (−z) ∈ C : z + (−z) = 0.
Si z = x + yi, entonces −z = − x − yi.

6. z1 z2 ∈ C

7. z1 z2 = z2 z1 .

8. (z1 z2 ) z3 = z1 (z2 z3 ).

9. ∃!1 ∈ C, ∀z ∈ C : z · 1 = z.

10. ∀z ∈ C − {0} ∃!z−1 ∈ C : z · z−1 = 1.

Si z = x + yi, entonces
x y
z −1 = − 2 i.
x2 +y 2 x + y2

11. z1 (z2 + z3 ) = z1 z2 + z1 z3 .

1 Se
puede demostrar que no hay una relación de orden apropiada para el sistema de los números complejos,
hecho que no probaremos por estar fuera del alcance del texto.
Números complejos 3

Demostración.

4. Es claro que si 0 = 0 + 0i, entonces para cualquier número complejo z se cumple que
z + 0 = z. Por otro lado, si hubiera otro número complejo 0 tal que z + 0 = z para todo
número complejo z, entonces

0 = 0 + 0 = 0 + 0 = 0 ,

lo que prueba la unicidad.

5. Si z = x + yi y −z = − x − yi, es claro que z + (−z) = 0. Además, si hubiera otro número

complejo z tal que z + z = 0, entonces
 
z = z + 0 = z + [z + (−z)] = z + z + (−z) = 0 + (−z) = −z,

probándose la unicidad.

9. Es claro que si 1 = 1 + 0i, entonces para cualquier número complejo z se cumple que
z · 1 = z. Por otro lado, si hubiera otro número complejo w tal que z · w = z, para todo
número complejo z tenemos

w = 1 · w = w · 1 = 1,

lo que prueba la unicidad.

10. Existencia. Si z = x + yi es un número complejo distinto de 0, consideremos z−1 = a + bi.

Entonces, la condición z · z−1 = 1 implica que

( xa − yb) + ( xb + ya) i = 1 + 0i.

Lo que equivale al sistema de ecuaciones en las incógnitas a y b,


xa − yb = 1
xb + ya = 0.

Para resolver el sistema, usamos el hecho que x2 + y2 = 0, obteniendo a = x

x 2 + y2
y
b= − x2 +y y2 . Por lo tanto
x y
z −1 = − 2 i.
x2 +y 2 x + y2
Unicidad. Supongamos que el número complejo w es tal que z · w = 1, entonces
 
w = w · 1 = w · z · z −1 = ( w · z ) · z −1 = 1 · z −1 = z −1 ,

lo que prueba la unicidad. 

La adición y multiplicación de números complejos permiten definir las operaciones de

sustracción, división y potenciación en C.
Definición 3.8 (Sustracción en C). Sean z1 y z2 dos números complejos,

1. se define la diferencia de z1 y z2 como el número complejo z tal que

z = z1 + (−z2 ) = z1 − z2 .
4 Juan Montealegre Scott

2. si z2 = 0, se define el cociente de z1 y z2 , como el número complejo z tal que

z1
z = z1 z2−1 =
z2
Definición 3.9 (Potenciación en C). Si z = 0 es un número complejo, se define
 0
z =1
zn = zn−1 z, n ≥ 1
y si el exponente es entero negativo, definimos
z − n = ( z −1 ) n , n ∈ Z + .
Teorema 3.10.
1. zn zm = zn+m .
zn
2. m = zn−m siempre que z = 0.
z
Teorema 3.11. Si n ∈ Z + entonces
 n
n n− j j
(z + w) = ∑
n
z w.
j=0
j

Teorema 3.12. Si n en Z + , entonces

i n = ir
donde n = 4q + r con 0 ≤ r < 4 y
i0 = 1 i1 = i i2 = −1 i3 = −i.

Otros teoremas del sistema de los números complejos

Las propiedades del sistema de los números complejos que enunciaremos, permiten de-
ducir que las reglas de cálculo que familiares en R se siguen cumpliendo en C.
Teorema 3.13.
1. Si z = w entonces z + u = w + u.
2. Si z = w entonces zu = wu.
3. Si z + u = w + u entonces z = w.
4. Si zu = wu entonces z = w.
5. Para todo número complejo z, se cumple −z = (−1) z.
6. Si z y w son números complejos cualesquiera, entonces (−z) + (−w) = −(z + w).
7. Para todos los números complejos z y w, se tiene z(−w) = −(zw) = (−z)w.
8. Para todo número complejo z, se cumple −(−z) = z
9. Para todo número complejo no nulo z, se cumple (z−1 )−1 = z.
10. Si z y w son números complejos no nulos, entonces (zw)−1 = z−1 w−1 .
Teorema 3.14.
1. zw = 0 si y sólo si z = 0 o w = 0.
2. z2 = w2 si y sólo si z = w o z = −w.
Números complejos 5

3.3. Conjugado, módulo y argumento de un número complejo

Definición 3.15. Si z = x + yi es un
número complejo, su conjugado, re-
presentado por z, es el número com-
plejo definido por z = x − yi. Es decir,

z = x + yi ⇔ z = x − yi

Observe que z y z son simétricos res-

pecto del eje real.

Teorema 3.16. Para z, w ∈ C se cumplen

1. z = z. 5. z + z = 2 Re (z) .

2. (z + w) = z + w. 6. z − z = 2i Im (z) .

3. (z · w) = z · w. 7. z es real ⇔ z = z.
z z
4. = , w = 0. 8. z es imaginario ⇔ z = −z.
w w

Demostración. Ejercicio para el estudiante. 

Definición 3.17. El módulo de un número complejo z = x + yi, representado por |z| , es el

número real no negativo dado por

| z| = x 2 + y2 .

El módulo del número complejo z es la longitud del radio vector de z.

Teorema 3.18. Para z, w ∈ C se cumplen

1. |z| ≥ 0. 6. |z|2 = zz.

z1 z ·z
2. | z| = 0 ⇔ z = 0. 7. = 1 22
z2 | z2 |

3. |−z| = | z| = |z| . 8. Re (z) ≤ | z| y Im (z) ≤ | z| .

4. |zw| = |z| |w| . 9. | z ± w|2 = |z| 2 ± 2 Re (zw ) + | w|2 .

z
| z|

5.

= , w = 0. 10 | z + w| ≤ | z| + | w| .
w |w |
6 Juan Montealegre Scott

Demostración. Sólo probamos 8. Por la propiedad 6,

| z + w |2 = (z + w) · (z + w)
= ( z + w ) · ( z + w)
= zz + zw + wz + ww
= |z|2 + zw + wz + |w|2

ası́,

|z + w|2 = |z|2 + zw + wz + |w|2 (1)

Como wz = wz, entonces

zw + wz = zw + zw = 2 Re(zw).

Por lo tanto, en (1) resulta

|z + w|2 = |z|2 + 2 Re(zw) + |w|2 . 

Definición 3.19. El argumento del

número complejo z = 0, representa- Eje imaginario
z
do por arg(z), es la medida del ángu- y
lo formado por el eje real y el radio
vector de z descrito en sentido anti-
horario a partir del eje real.
De la definición y la figura, si q

z = x + yi O q = arg(z ) x Eje real

tenemos,

⎧ y
⎪
⎪ arctan si x = 0
⎪
⎪ x
⎪
⎪
⎪
⎨ π
arg(z) = + 2nπ, n ∈ Z si x = 0 e y > 0
⎪
⎪ 2
⎪
⎪
⎪
⎪
⎩ − π + 2nπ, n ∈ Z si x = 0 e y < 0.
⎪
2

Convenio 1. En los cálculos el valor principal del argumento de z será

Arg (z) = θ ∈ [0, 2π [ .