U

n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
N umeros complejos
Instituto de Matematicas
*
Facultad de Ciencias Exactas y Naturales
Unviersidad de Anquioquia
Medelln, 24 de julio de 2011
1. Introducci on
Figura 1: Conjunto de Mandelbrot
Aunque las operaciones algebraicas establecidas entre
n umeros reales, sus propiedades de orden, etc., permiten
resolver una gran variedad de problemas que se modelan
por medio de ecuaciones algebraicas, existen ecuaciones que
no poseen soluciones reales. La ecuaci on x
2
+ 1 = 0 por
ejemplo no tiene soluciones en R, pues no existe un x R
tal que x
2
= 1 (todo n umero real elevado al cuadrado es
no-negativo).
Los n umeros complejos fueron concebidos por el ma-
tematico italiano Gerolamo Cardano quien, en un intento
por obtener formulas cerradas para las races de ecuaciones
c ubicas, encontro soluciones que no eran reales. Estas so-
luciones que el denomino cticias posteriormente fueron formalizadas por el matematico italiano
Rafael Bombelli en lo que actualmente es conocido como el conjunto de los n umeros complejos
(C). Todas estas ideas condujeron a uno de los resultados mas importantes del algebra, a saber,
el teorema fundamental del algebra que establece que con n umeros complejos, siempre es posible
encontrar al menos una solucion de cualquier ecuaci on polinomica.
Los n umeros complejos son utilizados en una gran cantidad de campos de aplicacion como la
ingeniera, el electromagnetismo, la dinamica de uidos, la teora del caos y otros campos de la
fsica y de las matematicas aplicadas. El conjunto de Mandelbrot por ejemplo (gura 1) es un
conjunto de puntos en el plano complejo cuya frontera constituye una gura llamada fractal. Esta
gura autorecursiva modela patrones de crecimiento observados en la naturaleza y es generada
por medio de un proceso iterativo regido por una ecuaci on cuadratica con coecientes complejos.
2. Conceptos basicos
Los n umeros complejos resultan ser de mucha utilidad, pues nos permiten hallar soluciones de
ecuaciones que no se pueden resolver utilizando n umeros reales. Recordemos que
N Z Q R (1)
Dependiendo del tipo de ecuaci on, se hace necesario utilizar un conjunto numerico particular.
La ecuaci on x
2
= 16 tiene soluciones enteras, la ecuaci on 25x
2
= 16 tiene soluciones racionales
y la ecuaci on x
2
= 7 tiene soluciones irracionales. Todas estas ecuaciones tienen soluciones en R
mientras que la ecuaci on x
2
= 16 no tiene soluciones en R. Los n umeros complejos C ocupan la
jerarqua mas alta en la cadena de contenencias ilustradas en (1).
*
Esta obra es distribuida bajo una licencia Creative Commons Atribucion - No comercial 2.5 Colombia.
1
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
2 Instituto de Matem aticas, Universidad de Antioquia
2.1. Propiedades
Denicion 2.1 (N umeros complejos) El conjunto de los n umeros complejos (denotado por C)
esta formado por todas las parejas (a, b) con a y b n umeros reales. Se dice que dos n umeros complejos
(a, b) y (c, d) son iguales si a = c y b = d
Como ejemplos de n umeros complejos tenemos = (2, 3), = (1/3, 5/4), z = (

2, ) y
w = (2, 3). En este caso = w.
Si en
= (a, b) (2)
b = 0, escribiremos (a, 0) = a y as, el conjunto de los n umeros reales puede verse como un
subconjunto propio de los n umeros complejos y
N Z Q R C
En particular, el n umero complejo (0, 0) lo denotaremos por 0 y el n umero complejo (1, 0) lo
denotaremos por 1.
Los n umeros complejos se pueden sumar y multiplicar y el resultado es nuevamente un n umero
complejo como se dene a continuacion.
Denicion 2.2 (Suma y producto en C) En el conjunto de los n umeros complejos C se de-
nen las operaciones suma y producto de la manera siguiente:
1. (a, b) + (c, d) = (a + c, b + d)
2. (a, b) (c, d) = (ac bd, ad + bc)
Por ejemplo, si z = (3, 4) y w = (2, 5), entonces
z + w = (3, 4) + (2, 5) = (5, 9)
zw = (3, 4) (2, 5) = (3 2 4 5, 3 5 + 4 2) = (14, 23)
Observermos que a + c = (a, 0) + (c, 0) = (a + c, 0) = a + c y ac = (a, 0)(c, 0) = (ac, 0) = ac y
por tanto las operaciones de suma y producto en C son consistentes con las operaciones aritmeticas
en R.
Proposici on 2.1 (Propiedades de campo) Para todo , , C se tiene que:
1. + = + (la suma es conmutativa).
2. = (el producto es conmutativo).
3. + ( + ) = ( + ) + (la suma es asociativa).
4. () = () (el producto es asociativo).
5. ( + ) = + (el producto es distribuitivo respecto a la suma).
6. El n umero complejo 0 = (0, 0) satisface + 0 = 0 + = (elemento neutro para la suma).
7. Existe un unico n umero complejo tal que + () = 0 (inverso aditivo).
8. El n umero complejo 1 = (1, 0) satisface 1 = 1 = (elemento neutro para el producto).
9. Para todo = 0, existe un unico n umero complejo
1
= 0 tal que
1
= 1 (inverso
aditivo).
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
Instituto de Matem aticas, Universidad de Antioquia 3
Dado = (a, b), el elemento 0 enunciado en (6) satisface
0 = (a, b)(0, 0) = (a 0 b 0, a 0 + b 0) = (0, 0)
Dado = (a, b), el elemento enunciado en (7) viene dado por
= (a, b)
Otro n umero complejo de particular interes es (0, 1). Dicho n umero se denota por i y satisface
i
2
= i i = (0, 1)(0, 1) = (0 1 1 1, 0 1 + 1 0) = (1, 0)
Por tanto
i
2
= 1 (3)
Ning un n umero real satisface una igualdad como la enunciada en (3). El n umero complejo i =

1 se denomina unidad imaginaria y nos permite escribir cualquier n umero complejo arbitrario
= (a, b) en la forma
= (a, b) = (a, 0) + (b, 0) = (a, 0) + (b, 0)(0, 1) = a + bi (4)
En (4), el n umero real a se denomina la parte real del n umero complejo , mientras que el
n umero real b se denomina la parte imaginaria de . La parte real del n umero complejo z =
3
4

2i
por ejemplo es
3
4
mientras que su parte imaginaria es

2.
La parte real de un n umero complejo z la denotaremos por Re(z), la parte imaginaria por Im(z)
y por tanto
z = a + bi = Re(z) + Im(z)i (5)
Cuando los n umeros complejos se expresan en la forma a+bi, las operaciones suma y producto
de la denicion (2.2) quedan as:
Proposici on 2.2 Para todo par de n umeros complejos z = a + bi y w = c + di,
1. z + w = (a + bi) + (c + di) = (a + c) + (b + d)i
2. zw = (a + bi)(c + di) = (ac bd) + (ad + bc)i
Observemos que el producto enunciado en (2) tambien se puede deducir a partir de las propie-
dades de campo en C y de que i
2
= 1:
(a + bi)(c + di) = a(c + di) + bi(c + di)
= ac + adi + bic + bdi
2
= ac + adi + bic bd
= (ac bd) + (adi + bic)
= (ac bd) + (ad + bc)i
2.2. Conjugado de un n umero complejo
El conjugado de un n umero complejo nos permite realizar divisiones entre n umeros complejos
con facilidad.
Denicion 2.3 (Conjugado) Dado el n umero complejo z = a+bi, el n umero complejo z = abi
que se obtiene al cambiar el signo de la parte imaginaria de z se denomina el conjugado de z.
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
4 Instituto de Matem aticas, Universidad de Antioquia
Por ejemplo, el conjugado de z = 3 +4i es z = 3 4i mientras que para w = 2 5i, w = 2 +5i.
Primero observemos que dado z = a + bi,
z + z = (a + bi) + (a bi) = 2a = 2 Re(z) R
mientras que
zz = (a + bi)(a bi) = (a a b (b)) + (a (b) + b a)i = a
2
+ b
2
R
En ambos casos, el resultado es un n umero real puro (n umero complejo con parte imaginaria nula).
Proposici on 2.3 (Propiedades del conjugado) Para todo n umero complejo z = a + bi,
1. z + z = (a + bi) + (a bi) = 2a = 2 Re z R
2. zz = a
2
+ b
2
R
La propiedad (2) nos permite encontrar el inverso multiplicativo de un n umero complejo z =
a + bi:
zz = a
2
+ b
2
=
1
z
=
z
a
2
+ b
2
(6)
As mismo podemos dividir n umeros complejos:
w
z
=
1
z
w =
z
a
2
+ b
2
w =
z w
a
2
+ b
2
(7)
Ejemplo 2.1 Exprese en la forma a + bi los n umeros complejos
1.
1
3 + 4i
2.
1 + 2i
2 4i
Solucion
1.
1
3 + 4i
=
1
3 + 4i

3 4i
3 4i
=
3 4i
9 + 16
=
3 4i
25
=
3
25

4
25
i
2.
1 + 2i
2 4i
=
1 + 2i
2 4i

2 + 4i
2 + 4i
=
6 + 8i
4 + 16
=
6 + 8i
20
=
3
10
+
2
5
i
2.3. Exponentes
Sean n Z
+
y z C. Al igual que para n umeros reales, z
n
es una notaci on exponencial que
representa el producto de z multiplicado n veces por s mismo.
z
n
= z z z z
. .
n veces
Para z = 0,
z
0
= 1 y z
n
=
1
z
n
Las leyes de los exponentes para n umeros reales tambien son validas para n umeros complejos:
Proposici on 2.4 Para todo z, w C y m, n Z se tiene que
1. z
m
z
n
= z
m+n
2. (z
m
)
n
= z
mn
3. (zw)
n
= z
n
w
n
4. Para
_
z
w
_
n
=
z
n
w
n
, w = 0
5.
z
m
z
n
= z
mn
, z = 0
6.
z
m
z
n
=
1
z
nm
, z = 0
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
Instituto de Matem aticas, Universidad de Antioquia 5
2.4. Radicales
La nocion de raz n-esima desarrollada para n umeros reales puede extenderse al conjunto de
los n umeros complejos, pero a diferencia de lo que se presenta en los n umeros reales, algunas de
sus propiedades no siguen siendo validas en C.
La unidad imaginaria i es un n umero complejo que satisface la ecuaci on z
2
= 1. Utilizando
esta notaci on, podemos pensar en i como la raiz cuadrada de 1 y escribir i =

1. No obstante,
observemos que el n umero complejo i tambien satisface la ecuaci on z
2
= 1:
(i)
2
= i
2
= 1
Cual es entonces la raz cuadrada de 1? Esta discusi on pretende justicar la siguiente denicion:
Denicion 2.4 La raz cuadrada principal de 1 es i. Para cualquier n umero real r > 0 se
dene la raz cuadrada principal de r como el n umero complejo

r i y se denota por

r:

r =

r i (8)
Observemos que

4 =

4 i = 2i y

7 =

7 i. De lo anterior se deduce que para todo

n umero real p < 0 existen precisamente un par de n umeros complejos que satisfacen
z
2
= p (9)

Estos son la raz cuadrada principal de p y su inverso aditivo. La ecuaci on x

2
+ 25 = 0 tiene dos
soluciones complejas: x = 5i y x = 5i.
Es importante se nalar que la formula valida para n umeros reales positivos

y =

xy no es
valida en este contexto:

y =

xy , x, y < 0 (10)
Esta ultima observaci on es facil vericarla haciendo x = y = 1. El lado izquirdo de (10) queda

y =

1 = ii = i
2
= 1 (11)
mientras que el lado derecho de (10) queda

xy =
_
(1)(1) =

1 = 1 (12)
Ejemplo 2.2 Exprese en la forma a + bi el producto
_
3

9
_ _
2 +

4
_
.
Solucion
_
3

9
_ _
2 +

4
_
=
_
3

9
_ _
2 +

4
_
=
_
3

9 i
__
2 +

4 i
_
= (3 3i) (2 + 2i)
= 3 (2 + 2i) 3i (2 + 2i)
= 6 + 6i + 6i 6i
2
= 6 + 6i + 6i + 6
= 0 + 12i
3. El Plano Complejo
La representacion geometrica de los n umeros reales como puntos sobre una recta permite in-
troducir de manera intuitiva muchas de las propiedades abstractas que caracterizan a los n umeros
reales.
Por medio de esta representacion geometrica, cada punto de la recta representa un n umero real
y recprocamente, a cada n umero real le corresponde un punto de la recta.
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
6 Instituto de Matem aticas, Universidad de Antioquia
-5 -4 -3 -2 -1 0 1 2 3 4 5
R
La misma idea se puede extender para C. Cualquier n umero complejo z = (a, b) lo podemos
representar como un punto en un plano coordenado. El punto de coordenadas (a, b) es la repre-
sentacion geometica del n umero z = a + bi. Cada punto de este plano (llamado plano complejo
1
)
representa un n umero complejo y viseversa. Al eje x se le denomina eje real, al eje y se le denomina
eje imaginario. A la interseccion de los ejes se le denomina el origen
Todos los puntos sobre el eje real representan un n umero real, mientras que los puntos sobre
el eje imaginario representan n umeros imaginarios puros (n umeros complejos con parte real nula).
El punto de coordenadas (0, 1) por ejemplo representa a i
1
2
3
-1
-2
-3
1 2 3 4 -1 -2 -3 -4 -5
Re
Im
4 + i
4 i
2 + 3i
i
3 2i

5
2
+

2 i
3.1. M odulo de un n umero complejo
El concepto de valor absoluto establecido para n umeros reales se puede extender a C. Recor-
demos que para todo x R,
|x| =
_
x si x 0
x si x < 0
(13)
El valor absoluto nos permite estimar distancias entre puntos (n umeros reales) de la recta real.
Para el caso complejo, la nocion de valor absoluto o modulo, nos permite estimar distancias entre
puntos (n umeros complejos) del plano complejo.
Denicion 3.1 El valor absoluto o modulo de un n umero complejo z = a + bi viene dado por
|z| =
_
a
2
+ b
2
(14)
La denicion (3.1) de modulo de un n umero complejo z = a +bi corresponde a la distancia que
hay desde el origen hasta un punto de coordenadas (a, b) en el plano complejo. La formula (14)
corresponde al teorema de Pit agoras.
Por ejemplo |3 4i| =
_
3
2
+ (4)
2
=

25 = 5, |2i| =

0
2
+ 2
2
=

4 = 2 y | 5| =
_
(5)
2
+ 0
2
=

25 = 5.
El valor absoluto o modulo de un n umero complejo satisface importantes propiedades.
Proposici on 3.1 Para todo par de n umeros complejos z y w se tiene que
1
Al plano complejo tambien se le conoce como plano de Argand en honor al matem atico suizo Jean Argand,
(1768, 1822) quien en 1806 propuso esta representacion para los n umeros complejos.
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
Instituto de Matem aticas, Universidad de Antioquia 7
1. |z| 0
2. |z| = 0 z = 0
3. |z + w| |z| +|w|
4. |zw| = |z||w|
Existe una relacion importante entre el modulo de un n umero complejo y su conjugado. La
propiedad (2) de la proposicon (2.3) sobre el conjugado arma que para todo n umero complejo
z = a + bi, se cumple que zz = a
2
+ b
2
. Por tanto
Proposici on 3.2 Para todo n umero complejo z = a + bi se satisface la siguiente igualdad
zz = |z|
2
(15)
Observemos que para el caso en que b = 0, z = z = a y (3.2) se convierte en z
2
= |z|
2
3.2. Conjunto de Mandelbrot
El conjunto de Mandelbrot es un conjunto de puntos en el plano complejo cuya frontera cons-
tituye un fractal. El concepto fue desarrollado, entre otros, por el matematico frances Benot
Mandelbrot y se populariz o en 1985 tras la publicacion de un artculo en la revista Scientic
American en el que se present o un algoritmo para describirlo.
Matem aticamente est a denido por todos los puntos del plano complejo c C para los cuales
la sucesion
z
0
= 0 , z
1
= z
2
0
+ c , z
3
= z
2
2
+ c , . . . , z
n+1
= z
2
n
+ c , . . . (16)
resulta acotada, es decir, a medida que n aumenta, el termino n-esimo z
n
en modulo no crece
arbitrariamente. Por ejemplo, haciendo c = 1 en (16) obtenemos
z
0
= 0 , z
1
= z
2
0
+1 = 0
2
+1 = 1 , z
2
= z
2
1
+1 = 1 +1 = 2 , z
3
= z
2
2
+1 = 2
2
+1 = 5 , . . .
y los terminos de la sucesion generada resultante 0, 1, 2, 5, 26, . . . se hacen arbitrariamente gran-
des cuando n se hace grande, es decir, no est an acotados. Concluimos entonces que c = 1 no
pertenece al conjunto de Mandelbrot.
Por otra parte, al sustituir c = 1 en (16) obtenemos
z
0
= 0 , z
1
= z
2
0
1 = 01 = 1 , z
2
= z
2
1
+i = (1)
2
1 = 0 , z
3
= z
2
2
1 = 0
2
1 = 1 , . . .
y los modulos de los terminos de la sucesion generada resultante |0|, |1|, |0|, |1|, |0|, . . . no
crecen arbitrariamente. Por tanto c = 1 s pertenece al conjunto de Mandelbrot.
Cuando se implementa la denicion (16) en un lenguaje de programacion y se gracan los resul-
tados en un computador, surge una estructura compleja con una frontera aparentemente irregular.
La gura (1) de la p agina inicial del Taller muestra los resultados: los puntos que pertenecen al
conjunto de Mandelbrot se muestran en negro. Observese c omo -1 pertenece al conjunto mientras
que 1 no.
El conjunto de Mandelbrot goza de una propiedad de autosimilitud caracterstica de los frac-
tales
2
: al ampliarse una region de la imagen reaparece en miniatura la imagen total inicial como
se ilustra a continuacion.
2
Objeto semigeometrico cuya estructura basica, fragmentada o irregular, se repite a diferentes escalas.
U
n
i
v
e
r
s
i
d
a
d

d
e

A
n
t
i
o
q
u
i
a
8 Instituto de Matem aticas, Universidad de Antioquia
(a) (b)
(c) (d)
Figura 2: Conjunto de Mandelbrot
En la Figura (2a) se muestra el conjun-
to de Mandelbot, es decir, el conjunto de
puntos en el plano complejo que satisfa-
cen el criterio establecido en (16). En esta
gura se seleccionan tres regiones cuadra-
das.
En la Figura (2b) se muestra la imagen re-
sultante que se obtiene al amplicar la re-
gion cuadrada izquierda de la gura (2a).
En la Figura (2c) se muestra la imagen
resultante que se obtiene al amplicar la
region cuadrada superior de la gura (2a).
En la Figura (2b) se muestra la imagen
resultante que se obtiene al amplicar la
region cuadrada derecha de la gura (2a).
Este proceso se puede repetir indenida-
mente y los resultados son los mismos: in-
variabilidad con relacion a la escala.
Referencias
[1] E.W. Swokowski, J.A. Cole,

Algebra y Trigonometra con Geometra Analtica, undecima
edici on, editorial Thomson, 2006.
[2] M. Sullivan.,

Algebra y Trigonometra, septima edici on, editorial Pearson, 2006.
[3] F.D. Demana, B.K. Waits, G.D. Foley, D. Kennedy, Precalculo, septima edici on, editorial
Pearson, 2006.