i i

i i
“Libro” — 2021/9/23 — 20:10 — page 63 — #73

3.1 Aritmética de los números complejos 63

1| 1. w |w|
(4) Si z 6= 0, entonces |z = |z| En particular, = .
z |z|
(5) | Re(z)|  |z| y |Im(z)|  |z|.
(6) |z + w|  |z| + |w|.
Demostración. Los incisos (1), (2) y (3) son sencillos de verificar.
El inciso (4) es consecuencia
p de la afirmación
p (3). Para la afirmación (5)
notemos que | Re(z)| = | x2 |  |z| = x2 + y 2 . Ası́ que sólo nos queda
justificar la afirmación (6). Primero observemos que
|z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + zw + wz + ww.
zw + zw
Pero zw = zw, ası́ Re(zw) = . Por lo tanto, usando el inciso 5 de
2
este teorema tenemos
|z + w|2 = zz + zw + wz + ww = |z|2 + 2 Re(zw) + |w|2  |z|2 + 2|zw| + |w|2 ,
ası́ |z + w|2  |z|2 + 2|zw| + |w|2 = (|z| + |w|)2 , y por lo tanto
|z + w|  |z| + |w|.
⇤
PROBLEMAS

1. Demostrar la asociatividad, conmutatividad de la suma y producto en

C.
3. Demostrar la propiedad distributiva en C.
3. Completar la demostración el Teorema 3.1.1.
4. Usando los números complejos como pares ordenados de números reales,
resolver la ecuación x2 = a con a 2 R y a < 0.
5. Realizar las siguientes operaciones:
a) ( 2 5i)(3 + i).
b) 2i ( 3 + 2i).
c) (2 + 3i)(4 + i).
d) i7 + i28 .
6. Escribir en la forma a + bi los siguientes números complejos:
1
a) .
i
2 + 3i
b) .
5 i

i i

i i
 i i

i i
“Libro” — 2021/9/23 — 20:10 — page 64 — #74

64 C

1 2
c) 1 + .
1+i
d) ( i)n si n 2 N.
1 i
e) + .
i 1 + 2i
1
f) .
(8 + 6i)2
i + 1 i4 + i6 + i8
g) + i.
i 1 i + i3 + i5
7. Sea z = a + bi. Encontrar Re(z) y Im(z) en las siguientes expresiones:
1
a) 2 .
z
z+1
b) .
2z 5
c) z 5 .
8. Muestre que si n 2 Z, entonces i4n = 1, i4n+1 = i, i4n+2 = 1, i4n+3 =
i.
9. Encontrar el conjugado de cada uno de los siguientes números y escri-
birlo en la forma a + bi.
1 2i
a) .
4+i
i
b) .
1 2i
x + yi
c) .
x yi
10. Describir geométricamente los siguientes conjuntos:
a) {z 2 C : |z (4 + i)| < 5}.
b) {z 2 C : Im(z 2) = 0}.
c) {z 2 C : Re(z) = 1}.
d) {z 2 C : |z (1 + i)| + |z ( 1 i)| = 4}.
e) {z 2 C : |z (1 + 2i)| |z ( 1 + 2i)| = 6}.
f) {z 2 C : Re(z) Im(z) > 0}.
g) {z 2 C : 2 < |z|  4}.
11. Encontrar z, w 2 C tales que:
a) z + iw = 1.
b) iz + w = 1 + i.
c) (2 + i)z iw = 2 i.
12. Encontrar una solución de la ecuación z 2 = z 2 .

i i

i i
 i i

i i
“Libro” — 2021/9/23 — 20:10 — page 65 — #75

3.2 Raı́ces n-ésimas de un número complejo 65

13. [Teorema del Binomio] Sean z, w 2 C. Usa inducción para demostrar

que si n 2 N, entonces:
Xn ✓ ◆
n n j j
(z + w)n = z w ,
j
j=0
✓ ◆
n n!
donde = .
j j!(n j)!
14. Usar el Teorema 3.1.6 para encontrar la raı́z cuadrada de los siguientes
números:
a) 2i.
b) 3 9i.
⇡ ⇡
c) cos + i sen .
3 3
15. Interpretar geométricamente |z w|.
16. Encontrar z, w 2 C que satisfacen |z w|  |z + w|.
17. Verificar geométricamente que
⇡ ⇡
(cos + i sen )n , n = 1, . . . , 6,
3 3
son los vértices de un polı́gono regular inscrito en un circunferencia de
radio 1.
18. Sea z, r 2 C \ {0} tal que Im(r) = 0. Interpreta geométricamente el
producto zr.
19. Sean a, b, c 2 C. Demostrar que si a 6= 0, la fórmula cuadrática usual
resuelve la ecuación az 2 + bz + c = 0.
20. Resolver las siguientes ecuaciones:
a) x2 + x + 1 = 0
b) 2z 2 + z + 1 = 0.
c) (1 i)z 2 + iz + 4 i = 0.
21. No todas las propiedades que tiene el campo de los números reales R
las tiene el campo de los números complejos C. Demuestra que el orden
usual de R no puede ser extendido al campo C. Sugerencia: si ası́
fuera, entonces i > 0 ó i < 0.

3.2. Raı́ces n-ésimas de un número complejo

En el Teorema 3.1.6 demostramos, usando sólo las operaciones elemen-
tales de C, que cualquier número complejo tiene raı́z cuadrada. Usar ese
método algebraico para demostrar que cualquier número complejo tiene
raı́ces n-ésimas para cualquier entero positivo n, serı́a muy complicado pues

i i

i i
 i i

i i
“Libro” — 2021/9/23 — 20:10 — page 69 — #79

3.2 Raı́ces n-ésimas de un número complejo 69

Im

w3 w2

w4 w1
real

w5 w6

Teorema 3.2.5. Sea µn = {w 2 C : wn = 1}. Si w1 , w2 2 µn , entonces

2⇡ 2⇡
w1 w2 2 µn y w1 1 2 µn . Si w1 = cos + i sen y w 2 µn , entonces
n n
existe k 2 N tal que w = w1k .
Demostración. Es claro que (w1 w2 )n = (w1 1 )n = 1 y ası́ w1 w2 , w1 1 2
µn . La última parte se sigue de observar que por el Ejemplo 3.2.4, necesa-
riamente w es de la forma
2k⇡ 2k⇡
cos + i sen
n n
para algún 0  k  n 1. Por el Teorema de D’Moivre tenemos que
w = w1k . ⇤
La parte final del teorema anterior nos dice que cualquier elemento de
µn es una potencia de w1 . El conjunto µn con la multiplicación es un grupo
cı́clico de orden n y cualquier grupo cı́clico con n elementos debe tener la
misma estructura aritmética que el grupo Z/nZ.

PROBLEMAS

1. Escribir los siguientes números complejos en su forma polar:

a) 1 i.
p
b) 3 + i.
c) 2 2i.
d) cos 26o + i sen 26o .

i i

i i
 i i

i i
“Libro” — 2021/9/23 — 20:10 — page 70 — #80

70 C

(a + bi)n
e) , con n, m 2 N.
(x + yi)m
2. Sea z = |z|(cos ↵ + i sen ↵). Demuestra que:
a) z = |z|(cos (2⇡ ↵) + i sen (2⇡ ↵)).
b) z = |z|(cos (⇡ + ↵) + i sen (⇡ + ↵)).
3. Encontrar el conjunto de soluciones de cada una de las siguientes
ecuaciones y graficarlas:
a) w8 = 1.
b) w6 = 1.
c) w4 = i.
d) w6 = i.
e) w5 = 1 + i.
f) w6 = 2 + i.
g) w7 = 3 2i.
4. En el Ejercicio 3.2 sea S el conjunto de soluciones en cada caso. ¿qué
conjunto de soluciones de alguna de las ecuaciones satisface que: existe
s1 2 S tal que para s 2 S, se tiene s = sk1 para algún k 2 Z?
5. Use el Teorema de D’Moivre o el Teorema del Binomio para calcular
las siguientes potencias:
a) ( 1 i)9 .
b) (1 i)12p .
⇣ 1 3 ⌘6
c) .
2 2
d) (cos 35 o i sen 35o ) 25 .
n
e) (2 + i) .
6. Sea a 6= 0. Para encontrar las 2
p soluciones de la ecuación az + bz + c = 0
b ± b2 4ac
utilizamos la fórmula . El Teorema 3.2.3 nos afirma que
2a
el número b 2 4ac tiene dos raı́ces cuadradas w1 , w2 . Entonces, para
b ± wi
cada uno de estos números, la fórmula , i = 1, 2 proporciona
2a
dos soluciones de az 2 + bz + c = 0. Aparentemente tenemos cuatro
soluciones. ¿Qué está pasando? ¿cuál es el detalle fino que se debe
aclarar? ¿sólo alguna de las wi nos sirve?
7. Encontrar las raı́ces sextas de 3 + 2i y graficarlas. ¿Se nota algún
parecido geométrico con las raı́ces sextas de 1?

i i

i i
 i i

i i
“Libro” — 2021/9/23 — 20:10 — page 71 — #81

3.3 Polinomios 71

X
8. Sea n > 1. Entonces d > n. Demostrar que si d | n y xd = 1,
d|n
entonces xn = 1. Puesto que para cada d existen
Xexactamente d raı́ces
de 1, entonces aparentemente existen al menos d raı́ces n-ésimas de
d|n
1. ¿En qué contradice esto al Teorema 3.2.3? la raíz n-ésima primitiva de 1
2⇡ 2⇡
9. Sea z, v 2 C tal que v n = z y w1 = cos + i sen la raı́z que aparece
n n
en el Teorema 3.2.5. Demostrar que v, w1 v, w1 v, . . . , w1n 1 v son las
2

raı́ces n-ésimas de z.
10. Sea w una raı́z n-ésima de 1. Si w satisface que wm 6= 1 para 0 < m < n,
entonces w se llama n-raı́z primitiva de la unidad. Demuestra que:
a) El número w1 que aparece en el Teorema 3.2.5 es una n-raı́z pri-
mitiva de 1.
b) Si w es una n-raı́z primitiva de 1, entonces 1, w, w 2 , . . . , wn 1 son
todas las raı́ces n-ésimas de 1.
c) Si w es una n-raı́z primitiva de 1, entonces wl es una n-raı́z
primitiva de 1 si y sólo si mcd(n, l) = 1.
d) Concluir que 1 tiene '(n)-raı́ces primitivas, donde '(n) es la fun-
ción de Euler.
e) Si w es una n-raı́z primitiva de 1, entonces 1 + w + · · · + wn 1 = 0.
2⇡ 2⇡
11. Sea w1 = cos + i sen y f : µn ! Z/nZ definida como f (w1k ) = k.
n n
Demostrar que f es biyectiva y f (w1k w1j ) = f (w1k ) + f (w1j ).
12. El plano complejo está dividido de manera natural en cuatro cuadrantes.
Para k = 1, 2, 3, 4, formalmente z está en el k-ésimo cuadrante si y sólo
(k 1)⇡ k⇡
si  arg(z) < . El lector entiende muy bien qué significa
2 2
que dos números complejos se encuentran en cuadrantes opuestos. Si
z se encuentra en el cuadrante j escribimos c(z) = j. Entonces z y w
están en cuadrantes opuestos si y sólo si |c(z) c(w)| = 2. Justificar
geométricamente que si z, w están en cuadrantes opuestos, entonces
|z|, |w|  |z w|. ¿Es cierta la afirmación inversa?

3.3. Polinomios
Los campos más interesantes para nosotros serán Q, R, C, y los teoremas
aquı́ demostrados son válidos en cualquier campo; finitos o infinitos. Ası́,
si F es un campo, definimos el anillo de polinomios con coeficientes en F

i i

i i