Algebra

I (Ingeniero Industrial) - Curso 2008/09

Tema 2: EL CUERPO DE LOS

NUMEROS
COMPLEJOS

1.

Definici
on y propiedades. Operaciones con n
umeros complejos

Se pretende construir un cuerpo1 que contenga naturalmente al de los n

umeros reales, cuyas
operaciones sean coherentes con las de R, y en el cual todo elemento admita raz cuadrada.
El conjunto de los n
umeros complejos, que denotamos por C, es el plano R2 , es decir, el conjunto
de los pares ordenados (a, b) de n
umeros reales. Sin embargo, para facilitar la expresion de las
propiedades anteriores, conviene expresar (a, b) como a + bi, donde la letra i representa el complejo
(0, 1).
Definici
on.- Se define el conjunto C de los n
umeros complejos, como
C := {a + bi : a, b R}.

El complejo i se denomina unidad imaginaria. Un n

umero complejo a+bi queda determinado
unvocamente por los dos n
umeros reales a, b que lo definen. Esta expresion del n
umero complejo
z se denomina forma binomica.
A menudo denotaremos cada n
umero complejo por una sola letra, que representa la variable
compleja.
Dado z = a + bi C, con a, b R, el n
umero real a se llama parte real de z, mientras que el
n
umero real b se denomina parte imaginaria de z. Se denotan por
Re z = a , Im z = b.

Podemos interpretar geometricamente los n

umeros complejos como puntos (que denominaremos afijos) del plano ordinario, o bien como vectores en dicho plano; esta u
ltima interpretacion
sera la que nos permita definir la suma de complejos, que no sera sino la suma vectorial en R2 .
1

Un cuerpo es, esencialmente, un conjunto dotado de suma y producto, cuyos elementos se pueden sumar, restar,
multiplicar y dividir entre s, obteniendose siempre elementos de dicho conjunto como resultado. Por ejemplo, Q y R
son cuerpos. En la construcci
on del cuerpo de los complejos se repasaran las propiedades (axiomas constitutivos) que
deben satisfacer los elementos y operaciones que definen un cuerpo.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

b = Im z
Eje
imaginario

z = a+bi

Eje real

a = Re z

Figura 1: N
umero complejo
Definici
on.- Dados dos n
umeros complejos (a, b), (c, d) se define su suma como
(a, b) + (c, d) := (a + c, b + d),
que, en forma binomica, se escribe
(a + bi) + (c + di) = (a + c) + (b + d)i.
Definimos su producto como
(a, b)(c, d) := (ac bd, ad + bc),
que, en forma binomica, queda
(a + bi)(c + di) = (ac bd) + (ad + bc)i.
Como consecuencia de la definicion del producto, se tiene que
i2 = (0, 1) (0, 1) = (1, 0) = 1 + 0 i = 1.
Es decir: los n
umeros complejos se suman agrupando sus partes reales e imaginarias, y se multiplican operando formalmente y teniendo presente que i2 = 1.
Geometricamente, la suma de vectores se corresponde con la conocida regla del paralelogramo.
Obviamente, la suma es una ley de composicion interna en C. Ademas, satisface de manera
evidente las siguientes propiedades, heredadas de la suma de n
umeros reales:
Propiedades de la suma:
1. Asociativa: z, w, u C, (z + w) + u = z + (w + u).
2. Elemento neutro: 0 = 0 + 0i C tal que, z C, z + 0 = 0 + z = z.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

z+w = a+c+(b+d)i

z = a+bi

w = c+di

Figura 2: Suma de n
umeros complejos
3. Elemento simetrico (opuesto): z = a + bi C, z = a + (b)i C tal que z + (z) = 0.
4. Conmutativa: z, w C, z + w = w + z.
Las cuatro propiedades dichas confieren a C, con la ley de composicion interna +, la estructura de
grupo abeliano.
El producto es una ley de composicion interna en C. Es facil comprobar que el producto de
n
umeros complejos satisface, esencialmente, las mismas propiedades que la suma:
Propiedades del producto: Se verifican:
1. Asociativa: z, w, u C, (zw)u = z(wu).
2. Elemento neutro: 1 = 1 + 0i C tal que, z C, z 1 = 1 z = z.
3. Elemento simetrico (inverso): z = a + bi C \ {0}, z 1 C tal que zz 1 = z 1 z = 1.
a
b
(Compruebese que (a + bi)1 = 2
+ 2
i).
2
a +b
a + b2
4. Conmutativa: z, w C, zw = wz.
Las cuatro propiedades anteriores confieren a C = C \ {0}, con la ley de composicion interna , la
estructura de grupo abeliano.
Es facil comprobar tambien que suma y producto quedan relacionadas mediante la siguiente
propiedad:
Proposici
on.- (Propiedad distributiva del producto respecto a la suma): z, w, u C, se
tiene que z(w + u) = zw + zu y que (w + u)z = wz + uz.
Reuniendo todas las propiedades anteriores, podemos decir que la terna (C, +, ) tiene estructura
de cuerpo (conmutativo).


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

z = a + bi

z = a - bi

Figura 3: Conjugacion de un n
umero complejo
Observese que los complejos de la forma a + 0i (es decir, los n
umeros reales) constituyen un
subconjunto cerrado para la suma y tambien para el producto, ya que
(a + 0i) + (c + 0i) = a + c + 0i;
(a + 0i)(c + 0i) = ac + 0i.
Tambien es obvio que el producto de dos n
umeros complejos no nulos es no nulo, es decir:
Proposici
on.- Sean z, w C; si zw = 0, entonces z = 0 w = 0.

Podemos decir que las operaciones definidas sobre C son extension de la suma y el producto de
n
umeros reales.
Nota.- Puesto que en el cuerpo de los complejos no tenemos definida ninguna relacion de orden
(se demuestra que no puede definirse ninguna relacion de orden coherente con las operaciones), no
tiene sentido decir que un n
umero complejo sea mayor que otro; as pues, siempre que aparezca
una inecuaci
on, como por ejemplo a < b o z 0, interpretaremos automaticamente que ambos
miembros de la misma son reales.

2.

Conjugaci
on y m
odulo.

Definici
on.- Dado z = a + ib C, con a, b R, definimos su conjugado, y lo denotamos por z,
como el complejo a ib.

Tambien se puede denotar por z .

La interpretacion geometrica de la conjugacion es que los vectores correspondientes a complejos
conjugados entre s son simetricos respecto al eje de abscisas.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

a2 + b
z = a+bi
2

|z|=

b
a

Figura 4: Modulo de un n
umero complejo
Observaci
on.- z = a + ib C, zz = a2 + b2 R; ademas, zz 0, y zz = 0 z = 0.
Propiedades de la conjugaci
on:
z C, z = z.
z, w C, z + w = z + w.
z, w C, zw = z w.
1
i
z C, Re z = (z + z) ; Im z =
(z z).
2
2
Definici
on.- Dado z C, definimos su m
odulo como

|z| := zz.

Observaci
on.- Si z = x + iy, con x, y R, |z| =

p
x2 + y 2 .

Geometricamente, representa la longitud del vector que representa z en el plano o, equivalentemente, la distancia del afijo de z al origen de coordenadas.
Tambien se cumple, evidentemente, que |z| 0 y (|z| = 0 z = 0).
Propiedades del m
odulo:
z C, |Re z|, |Im z| |z| |Re z| + |Im z|.
z C, |z| = |z|.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

z, w C, |zw| = |z||w|.
Desigualdad triangular: z, w C, |z + w| |z| + |w|; ademas, si w 6= 0, entonces |z + w| =
|z| + |w| z = w para alg
un R, 0.
Demostraci
on.- |z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + wz + zw =
|z|2 + |w|2 + zw + zw = |z|2 + |w|2 + 2Re (zw) |z|2 + |w|2 + 2|Re (zw)| |z|2 + |w|2 + 2|zw| =
|z|2 + |w|2 + 2|z||w| = (|z| + |w|)2 , y tomando races cuadradas se obtiene la inecuacion del
enunciado.
En el razonamiento anterior, podemos cambiar los signos de por =si y solo si Re (zw) =
|Re (zw)| = |zw|; la segunda igualdad equivale a que zw R, y la primera a que Re (zw) 0,
luego ambas equivalen a que
zw = 0 zww = w con 0,

lo que equivale, puesto que ww > 0, a que z = w con 0.

Observaci
on.- Si |z| = 1, entonces zz = 1, es decir: z 1 = z.

3.

Argumento de un complejo.

3.1.

Definici
on y significado geom
etrico.

Definici
on.- Dado un complejo z no nulo, se denomina argumento de z el angulo, medido en
sentido positivo, que el vector que representa a z forma con el eje de abscisas.
Lo denotaremos por arg z.
Podemos representar arg z por cualquier n
umero real tal que
z = |z|(cos + i sen ),

que lo denominaremos un valor del argumento de |z|. Cualesquiera valores de un mismo

argumento difieren en un m
ultiplo entero de 2. Existe un u
nico valor del argumento en el
intervalo [0, 2) (o en cualquier otro intervalo semiabierto de longitud 2).
Im z
. Por ejemplo, si
Observaci
on.- Si Re z 6= 0, cualquier valor de arg z satisface que tan =
Re z
Im z
Re z > 0, podemos tomar = arctan
, pero esta expresion no es valida si Re z < 0.
Re z
La expresion de z como |z|(cos + i sen ) se llama forma trigonometrica de z; se puede abreviar
como |z| , que recibe el nombre de forma polar. Por ejemplo,
!



2
3
3 3
2
1
3
+ i sen
.
=3 +i
= +i
3 2 = 3 cos
3
3
3
2
2
2
2
Se verifican las siguientes relaciones:
arg(z) = arg(z) = 2 arg(z).
arg(z) = + arg(z).


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

z = a+bi

Argumento = {+2k : k entero}

Figura 5: Argumanto de un n
umero complejo

z = -2+3i

z = 2+3i

+
z = -2-3i

= arctan (3/2) (con 0 /2)

- (2-)
z = 2-3i

Figura 6: Calculo del argumento en el intervalo [0,2)


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

z = | z |(cos + i sen) =

= | z | exp (i)

Figura 7: Forma trigonometrica de un n

umero complejo e identidad de Euler

3.2.

Argumento de un producto. La f
ormula de De Moivre.

Proposici
on.- Dados dos complejos no nulos z = |z|(cos +i sen ) y |w|(cos +i sen ), se cumple
que
zw = |z||w| (cos( + ) + i sen( + )) .
Es decir, que el argumento de un producto es la suma de los argumentos.
Demostraci
on.- zw = |z||w|(cos + i sen )(cos + i sen ) =
= |z||w| (cos cos sen sen + i(cos sen + sen cos )) =
= |z||w| (cos( + ) + i sen( + )), en donde la u
ltima igualdad se ha obtenido en virtud de las
formulas del angulo suma.
El resultado anterior motiva la siguiente notacion:
Identidad de Euler: R, ei = cos + i sen .
As pues, la expresion general de los n
umeros complejos es rei , con r 0 y (, ].
Cuando un n
umero complejo se escribe seg
un la expresion anterior, se dice que esta en forma
exponencial.
De modo que, si tenemos dos n
umeros complejos de modulo unidad ei y ei , su producto vale
ei(+) = ei ei ; ademas, la unidad, que es el n
umero de modulo 1 y argumento 0, se puede expresar
como 1 = ei0 ; es decir, que esta notacion es coherente con las propiedades de la exponencial.
Nota.- En el contexto presente, la identidad de Euler no es mas que una notacion, pero en realidad
responde al concepto de exponencial de un n
umero complejo que se estudia en la asignatura de
Ampliacion de Calculo.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

zw = | z | | w | exp (i (+))

w = | w | exp (i)

z = | z | exp (i)

Figura 8: Producto de dos n

umeros complejos
Observaci
on.- El producto de un cierto n
umero z por otro de modulo unidad ei , se interpreta
geometricamente como el resultado de girar el vector que representa z un angulo en sentido positivo.
Consecuencia de la anterior proposicion es el siguiente resultado:
Corolario.- F
ormula de De Moivre: Dados R y n Z, se tiene que
(cos + i sen )n = cos n + i sen n.

Demostraci
on.- Para n > 0 es la aplicacion reiterada del argumento de un producto; para n = 0
es obvio; para n < 0,

n
(cos + i sen )n = (cos + i sen )1
= (cos i sen )n = (cos() + i sen())n ,

y, aplicando el resultado valido para n > 0, obtenemos

cos (n()) + i sen (n()) = cos n + i sen n.

As pues, la potenciacion de n
umeros complejos (para potencias enteras) consiste en elevar el
modulo a la correspondiente potencia y multiplicar el argumento por dicha potencia:

n
rei = rn ein .

4.
4.1.

Las races n-
esimas.
Races n-
esimas de un n
umero complejo.

Definici
on.- Dados z C \ {0}, y n N \ {0}, una raz n-
esima de z es cualquier n
umero
complejo w tal que wn = z.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

10

C
alculo de las races n-
esimas. Si representamos z como z = |z| = ei , y el n
umero w que
i
n
buscamos como w = |w|e , se tendra que cumplir que w = z, es decir:
|w|n ein = |z|ei .
Para que dos n
umeros complejos sean iguales, deben serlo sus respectivos modulos y argumentos; la
igualdad de modulos nos lleva a
p
1
|w|n = |z| |w| = n |z| = |z| n ,

en donde la raz n-esima anterior esta tomada en el sentido de los n

umeros reales positivos, determinando un u
nico valor para |w|.
Ahora, la igualdad entre los argumentos significa:
n = + 2k para cualquier k Z,
es decir, que obtenemos los valores de como
k =

+ 2k
k Z.
n

En principio parece que son validos infinitos valores del argumento . Pero ahora observamos que
k+n =

+ 2k
+ 2(k + n)
=
+ 2 = k + 2,
n
n

y por lo tanto
eik+n = eik e2i = eik .
En conclusion, cada n valores de k se repiten los mismos argumentos y, por tanto, basta con que
tomemos n valores consecutivos de k, por ejemplo, k = 0, 1, . . . , n 1. As que hemos obtenido n
valores distintos para las races n-esimas de z, que son:
1

wn = z w = wk = |z| n ei

+2k
n

, k = 0, 1, . . . , n 1.

(Compruebese que esos n complejos son distintos dos a dos).

Observaci
on.- Dada cualquier wk0 raz n-esima de z, todas las races de z se obtienen como
i 2k
n
wk 0 e
, para k = 0, 1, . . . , n 1. Observese ademas que
ei

2k
n

, para k = 0, 1, . . . , n 1

son las n races n-esimas de 1 = ei0 ; es decir, que las races de un n

umero complejo se obtienen
multiplicando una cualquiera de ellas por todas las races de la unidad; esto hace que estas
u
ltimas sean particularmente importantes, por lo que las estudiaremos detenidamente.
Interpretaci
on geom
etrica: Las n races n-esimas de un mismo n
umero z 6= 0 tienen el mismo
modulo, es decir, se encuentran a igual distancia del (0, 0); ademas, cada una de ellas se obtiene
en sentido positivo; por
a partir de la anterior girando el vector que la representa un angulo 2
n
todo ello, los afijos de dichas races son los vertices de un polgono regular de n lados, inscrito en la
1
circunferencia de centro (0, 0) y radio |z| n .


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

radio =
8 m exp(i(+4)/8)
8 m exp(i(+6)/8)
8 m exp(i(+8)/8)
8 m exp(i(+10)/8)

11

8 m exp(i(+2)/8)

2/8

m exp(i/8)

/8

8 m exp(i(+14)/8)
8 m exp(i(+12)/8)

Races octavas de z = m exp(i)

Figura 9: Races n-esimas de un n

umero complejo

4.2.

Las races n-
esimas de la unidad.

Como hemos visto, las races n-

esimas de 1 son
 2 k
2k
ei n = ei n , para k = 0, 1, . . . , n 1

y la expresion anterior muestra que se encuentran en progresi

on geom
etrica.
Como consecuencia, en virtud de una observacion anterior, las races n-
esimas de cualquier
n
umero complejo no nulo tambien se encuentran en progresi
on geom
etrica.
2
De modo que, si denotamos por la primera raz, = ei n , tenemos que
{1, , 2 , . . . , n1 }
es el conjunto de todas las races n-esimas de 1 (observese que 1 = 0 = n ).
Si sumamos dichas races como los n primeros terminos de una progresion geometrica, obtenemos,
para n > 1,
n 1
n1 1
=
= 0.
1 + + 2 + . . . + n1 =
1
1
As pues,
Proposici
on.- La suma de las races n-
esimas (n > 1) de la unidad vale 0.
Y, de nuevo en virtud de la observacion antes mencionada,
Corolario.- La suma de las races n-
esimas (n > 1) de cualquier complejo no nulo vale
0.


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

5.

12

El teorema fundamental del Algebra.

Enunciaremos sin demostracion este importantsimo resultado, pues una prueba algebraica de
dicho teorema excedera con mucho los propositos de esta asignatura.

Teorema.- (Fundamental del Algebra.)

Todo polinomio complejo no constante posee alguna
raz.
Si P es un polinomio de grado n > 1, tiene alguna raz a1 C; entonces P (z) = (z a1 )Q(z),
donde Q es un polinomio de grado n 1 que tambien tendra alguna raz a2 C; podemos aplicar
el teorema recursivamente hasta llegar a un polinomio de grado 0 (es decir, constante), lo que nos
permite concluir el siguiente resultado:
Corolario.- (Teorema de factorizaci
on en C[z].) Todo polinomio complejo no nulo puede escribirse como producto de factores lineales, es decir: si P tiene grado n,
P (z) = (z z1 )(z z2 ) . . . (z zn ),
en donde C es el coeficiente principal de P y z1 , z2 , . . . , zn C son sus races.
Observaci
on.- Otra forma de expresar la factorizacion es
P (z) =

p
Y

k=1

(z k )mk

en donde las races k son todas distintas entre s, mk son sus respectivas multiplicidades y

p
X

mk =

k=1

n.

Observaci
on.- (Races de polinomios reales.) Sea P (z) = a0 +a1 z+. . .+an z n C[z]; Entonces
P (z) = a0 + a1 z + . . . + an z n , con lo que z0 C sera raz de P si y solo si su conjugada z 0 lo es
del polinomio P (el polinomio cuyos coeficientes son los conjugados de los de P ), y ambas tienen la
P (z)
).
misma multiplicidad (se deduce razonando sobre el polinomio
z z0
En particular, si P R[x], z0 sera raz de P si y solo si z 0 lo es. As, las races de un polinomio
con coeficientes reales, o bien son reales, o bien aparecen como pares de complejos conjugados, ambos
de la misma multiplicidad.
Como consecuencia, todo polinomio real y de grado impar tiene alguna raz real.

6.

Las relaciones de Cardano.

Si factorizamos un polinomio complejo en factores lineales, tenemos la igualdad
a0 + a1 z + . . . + an1 z n1 + an z n = an (z z1 )(z z2 ) . . . (z zn ),

que, al efectuar el producto del segundo miembro e igualar coeficientes con el primero, nos da las
siguientes relaciones entre los coeficientes del polinomio y sus races:


Algebra
I (Ingeniero Industrial) - Tema 2: El cuerpo de los n
umeros complejos

13

Proposici
on.- (Relaciones de Cardano). Sea un polinomio a0 +a1 z +. . .+an z n C[z] de grado
n, y sean z1 , z2 , . . . , zn C sus races. Entonces se cumplen las siguientes n ecuaciones:
z1 + z2 + . . . + zn =
z1 z2 + z1 z3 + . . . + zn1 zn =

z1 z2 . . . zk + . . . + znk+1 znk+2 . . . zn

z1 z2 . . . zn

an1
an

an2
an

..
.
ank
= (1)k
an
..
.
a0
= (1)n .
an

Observese que el primer miembro de cada ecuacion, digamos k-esima, consiste en la suma de
todos los posibles productos formados con k races.
Por ejemplo, para n = 3, para el polinomio monico z 3 + a2 z 2 + a1 z + a0 = (z z1 )(z z2 )(z z3 ),
se cumplen las igualdades:
z1 + z2 + z3 = a2
z1 z2 + z1 z3 + z2 z3 = a1
z1 z2 z3 = a0 .
Observese ademas que, puesto que el dividir un polinomio por su coeficiente principal no afecta
a sus races, basta utilizar las relaciones de Cardano para polinomios monicos.
Es importante resaltar que las n ecuaciones de Cardano son completamente equivalentes a la
ecuacion polinomica de grado n que resulta de igualar el polinomio a 0, es decir, no aportan ninguna
informacion adicional; sin embargo, pueden facilitar el calculo de las races cuando se conoce alg
un
dato suplementario sobre ellas.