I

NUMEROS COMPLEJOS.

1.1 Definicin y origen de los nmeros
complejos.
1.2 Operaciones fundamentales con
nmeros complejos.
1.3 Potencias de i, modulo o valor
absoluto de un nmero
complejo.
1.4 Forma polar y exponencial de un
nmero complejo.
1.5 Teorema de Moivre, potencias y
extraccin de races de un nmero
complejo.
1.6 Ecuaciones polinmicas.







Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 2
UNIDAD I

NUMEROS COMPLEJOS

1.1 Definicin y origen de los nmeros complejos.

Los nmeros complejos Tienen la capacidad de representar todas las races de los polinomios, cosa que
con los reales no era posible. Esto se consigue gracias a que los complejos hacen uso de una unidad
imaginaria llamada nmero i, que verifica la propiedad:

Esta unidad imaginaria es de hecho la que permite definir las operaciones con esos nmeros, puesto
que para efectuarlas hay que tener presente que cada lado de esa unidad imaginaria debe trabajarse en
forma independiente.

Cada complejo se representa en forma binomial como: z = a + ib a es la parte real del nmero
complejo z, y b es su parte imaginaria. Esto se expresa as: a = Re (z) y b = Im (z), en el plano de los
nmeros complejos. Desde un punto de vista geomtrico la recta real (recta que representa el total de
nmeros reales) puede ser vista como un subconjunto del plano de los nmeros complejos. Cada
nmero complejo sera un punto en ese plano. Usando las definiciones que siguen, se hacen posibles la
suma, la resta, la multiplicacin y la divisin entre estos puntos.

Algunas veces, la representacin de nmeros complejos en la forma z = a + i b, es menos conveniente
que otra representacin, usando coordenadas polares. Representamos el nmero complejo z en el plano
de nmeros complejos como un punto con coordenadas (a, b), trazamos la distancia desde el punto
(0, 0) hasta (a, b), a la que llamaremos r, y, que como hemos visto antes, es igual al mdulo de z,
expresado | z |. Esta distancia forma, con respecto al eje real positivo, un ngulo, denominado .

Generalmente restringimos al intervalo (-, ] y a ste restringido lo llamamos argumento principal
de z y escribimos = arg (z). Con este convenio, las coordenadas estaran unvocamente determinadas
por z. La multiplicacin de nmeros complejos es especialmente sencilla con la notacin polar:

El termino nmero imaginario es una eleccin poco afortunada pero histrica y surgi del hecho de que
una ecuacin tal como 1
2
= x no tiene solucin en el conjunto de los nmeros reales. Ya desde el
siglo XV, los Matemticos hallaron conveniente el considerar a una ecuacin 1
2
= x de la misma
forma que una ecuacin 4
2
= x , la cual tiene soluciones reales. Desde su punto de vista un nmero
cuyo cuadrado es 1 no era real sino algo imaginario. Rene Descartes en 1637 introdujo los trminos
real (en francs, vrai) e imaginario (en francs, imaginaire) respecto de los conjuntos de nmeros y
Leonhard Euler en 1748 utilizaron el smbolo i para representar un nmero cuyo cuadrado es 1. Los
trminos y los smbolos se han vuelto usuales aunque los nmeros imaginarios son entidades tan reales
como los nmeros 7, -4 y 3 .

La primera referencia conocida a races cuadradas de nmeros negativos proviene del trabajo de los
matemticos griegos, como Heron de Alejandra en el siglo I antes de Cristo, como resultado de una
imposible seccin de una pirmide. Los complejos se hicieron ms patentes en el Siglo XVI, cuando la
bsqueda de frmulas que dieran las races exactas de los polinomios de grados 2 y 3 fue encontrada
por matemticos italianos como Tartaglia, Cardano. Aunque slo estaban interesados en las races
reales de este tipo de ecuaciones, se encontraban con la necesidad de lidiar con races de nmeros
Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 3
negativos. El trmino imaginario para estas cantidades fue acuado por Descartes en el Siglo XVII y
est en desuso. La existencia de nmeros complejos no fue completamente aceptada hasta la ms abajo
mencionada interpretacin geomtrica que fue descrita por Wessel en 1799, redescubierta algunos aos
despus y popularizada por Gauss. La implementacin ms formal, con pares de nmeros reales fue
dada en el Siglo XIX

En los nmeros reales se establece que si a y b son nmeros reales y n es un entero positivo tal que
a b
n
= , entonces b se denomina la raz ensima de a. Se indica que si a < 0 y n un entero positivo
par, no existe una raz n sima real de a porque una potencia par de un nmero real es un nmero no
negativo. Por ejemplo, supngase que en a b
n
= n es 2 y a es 25. Entonces en 25
2
= b no existe
ningn nmero real que pueda sustituir a b en esta ecuacin. Por lo tanto, no existe ninguna raz
cuadrada real de 25.

Se observa entonces que a fin de comprender las races cuadradas de nmeros negativos, se deben
considerar nmeros diferentes de los reales. De modo que se desarrolla un conjunto de nmeros que
contiene el conjunto R de nmeros reales como un subconjunto y tambin contiene las races cuadradas
de nmeros negativos. Tal conjunto se representa por C y se denomina el conjunto de los nmeros
complejos. Primero se requiere que el conjunto C sea tal que el nmero real 1 tenga una raz
cuadrada. Sea i un smbolo para un nmero en C cuyo cuadrado es 1; esto es, se define a i como un
nmero tal que 1
2
= i .

Como todo nmero real debe ser un elemento de C, se deduce que si R b e , entonces C b e . Para que
se cumpla la ley de cerradura de la multiplicacin, el nmero (b)(i), que se abrevia bi, debe ser un
elemento de C. Adems si R a e , entonces C a e y si se cumple la ley de la cerradura, el nmero a +
bi debe ser un elemento de C.

Definicin: Al conjunto de todos los nmeros de la forma a + bi donde R b a e , e 1
2
= i . Se
denomina el conjunto de los nmeros complejos y se denota por C; esto es
{ } 1 , |
2
= e + = i e R b a bi a C .

Para el nmero complejo a + bi el nmero a se denomina la parte real y el nmero b se denomina la
parte imaginaria. Si a = 0, el nmero complejo se llama imaginario puro, si b = 0 el numero complejo
se reduce a un nmero real a.

1.2 Operaciones fundamentales con nmeros complejos.

Propiedades de las operaciones con nmeros complejos.
Sea z
1
= a + bi y z
2
= c + di, entonces:

a) La condicin necesaria y suficiente para que los nmeros complejos z
1
= a + bi y z
2
= c + di sean
iguales es que a = c y b = d.

b) Para sumar dos nmeros complejos z
1
+ z
2
se suman por una parte, las partes reales y por otra las
imaginarias.

z
1
+ z
2
= (a + bi) + (c + di) = a + c + (b + d)i
Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 4
c) Para restar dos nmeros complejos z
1
- z
2
se restan, por una parte, las partes reales y por otra las
imaginarias.

z
1
z
2
= (a + bi) (c + di) = a c + (b d)i

d) Para multiplicar dos nmeros complejos z
1
z
2
se efecta la operacin como si se tratase de dos
binomios sustituyendo i
2
por -1.

z
1
z
2
= (a + bi) (c + di) = ac + adi + bci + bdi
2
= (ac bd) + (ad + bc)i.

e) Para dividir dos nmeros complejos
2
1
Z
Z
, se multiplican el numerador y denominador por el
conjugado del denominador y se sustituye i
2
por -1.


2 2
2
1
) (
) )( (
) )( (
) )( (
di c
i bc ad bd ac
di c di c
di c bi a
di c
bi a
z
z

+ +
=
+
+
=
+
+
=

PROPIEDADES DE LOS NUMEROS COMPLEJOS.

1. Propiedad conmutativa de la suma: z
1
+ z
2
= z
2
+ z
1
.

2. Propiedad asociativa de la suma: (z
1
+ z
2
) + z
3
= z
1
+ (z
2
+ z
3
).

3. propiedad conmutativa de la multiplicacin: z
1
z
2
= z
2
z
1.


4. propiedad asociativa de la multiplicacin: z
1
(z
2
z
3
) = (z
1
z
2
)z
3
.

5. propiedad distributiva: z
1
(z
2
+ z
3
) = z
1
z
2
+ z
1
z
3
.

1.3 Potencias de i, modulo o valor absoluto de un nmero complejo.

Como 1 = i entonces tenemos: 1
2
= i
i i i i i = = = ) ( 1 ) )( (
2 3

1 ) 1 ( ) (
2 2 2 4
= = = i i
i i i i i i = = = ) )( 1 )( 1 ( ) )( )( (
2 2 5


En las determinaciones anteriores se observa que se obtienen los resultados i, -i, 1 y 1. Se puede
hallar cualquier potencia de entero positivo de i, y ser uno de estos cuatro nmeros, obtenidos
anteriormente.

Interpretacin geomtrica de los nmeros complejos: Se puede graficar un nmero complejo z en el
plano x y graficando Re (z) sobre el eje x e Im (z) sobre el eje y. Entonces se puede pensar que cada
nmero complejo es un punto en el plano x y. Con esta representacin el plano x y se llama plano
complejo o Diagrama de Argand (fig. 1).
Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 5

fig. 1

Modulo de un numero complejo: Se llama modulo (o valor absoluto) de un nmero complejo la
longitud del vector correspondiente a este nmero. Para el modulo del nmero z se utiliza la notacin
z que tambin se designa frecuentemente por la letra r. Segn el teorema de Pitgoras, para el modulo
del nmero complejo z = a + bi se obtiene mediante la formula
2 2
b a z + = que expresa el modulo
del nmero complejo por su parte real e imaginaria.

Argumento de un nmero complejo: Llmese argumento del nmero complejo 0 ~ z , al valor del
ngulo comprendido entre el sentido positivo del eje real y el vector z. Para designar el argumento del
nmero complejo z = a + bi se utiliza la notacin arg z o arg (a + bi) y su valor depender de su
ubicacin en el plano de Argand, de manera que - < arg z .

definido sta no 0 arg
0 b y 0 a Si tg - z arg
0 b y 0 a Si z arg
0 b y 0 a Si
2
- z arg
0 b y 0 a Si
2
z arg
0 a Si
a
b
tg z arg
Entonces bi. a z Sea
z" " de Argumento
1 -
1 -
1 -
< < + =
> < =
< = =
> = =
> =
+ =
a
b
a
b
tg
t
t
t
t


1.4 Forma polar y exponencial de un nmero complejo.

Forma polar de un nmero complejo: En muchas ocasiones, es muy conveniente expresar un nmero
complejo en coordenadas polares en lugar de rectangulares, ya que muchos clculos se simplifican
enormemente.

4
2
-2
5
u
r
x = Re (z)
z = a + bi
y = Im (z)
Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 6


Si z = a + bi, a = r cos y b = r sen donde
2 2
b a z r + = = es el modulo de z y = arg z, es el
argumento de z. Entonces un nmero complejo expresado en forma polar es:

u u rsen r bi a z + = + = cos
( ) u u isen r z + = cos
o bien si ( ) u u u isen cis + = cos
u rcis z =

Multiplicacin en forma polar.

Sea
1 1 1
u cis r z = y
2 2 2
u cis r z = . Entonces

2 2 1 1 2 1
u u cis r cis r z z - = , donde
1 1 1
cos u u u isen cis + = y
2 2 2
cos u u u isen cis + =

Por lo tanto =
2 1
u u cis cis ( )
1 1
cos u u isen + ( )
2 2
cos u u isen +

2 1 1 2 2 1 2 1 2 1
cos cos cos cos u u u u u u u u u u isen isen isen isen cis cis + + + =
) )( 1 ( ) cos (cos cos cos
2 1 1 2 2 1 2 1
u u u u u u u u isen sen sen sen i + + + =
) cos cos ( cos cos
1 2 2 1 2 1 2 1
u u u u u u u u sen sen i sen sen + + =

como ) cos( cos cos
2 1 2 1 2 1
u u u u u u + = sen sen y ) ( cos cos
2 1 2 2 1
u u u u u u + = + sen sen sen




o tambin




el producto de complejos en forma general es:



4
2
-2
5
b
a
a = r cosu
b = r senu
u
r
x = Re (z)
z = a + bi
y = Im (z)
)] ( ) [cos(
2 1 2 1 2 1 2 1
u u u u + + + = isen r r z z

) (
2 1 2 1 2 1
u u + = cis r r z z

) ...... ( ...... ......
3 2 1 3 2 1 3 2 1 n n n
cis r r r r z z z z u u u u + + + + =

Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 7
Divisin en forma polar

Sean z
1
= r
1
cis
1
y z
2
= r
2
cis
2
. Entonces
2 2 2
1 1 1
2 2
1 1
2
1
(cos
(cos
u u
u u
u
u
isen r
isen r
cis r
cis r
z
z
+
+
= =
2 2
2 2
2 2
1 1
2
1
2 2
1 1
2
1
cos
cos
cos
cos
u u
u u
u u
u u
u
u
isen
isen
isen
isen
r
r
cis r
cis r
z
z

+
+
= =
2
2 2
2
2
2 1
2
2 1 2 1 2 1
2
1
cos
cos cos cos cos
u u
u u u u u u u u
sen i
sen sen i isen isen
r
r

+
=

2
2
2
2
2 1 2 1 2 1 2 1
2
1
cos
) cos (cos cos cos
u u
u u u u u u u u
sen
sen sen i sen sen
r
r
+
+ +
=

1
) ( ) cos(
1 2 1
2
1
u u u u +
=
isen
r
r


Por lo tanto la divisin de dos complejos es:




O tambin:





Forma exponencial de un nmero complejo: La operacin de elevar el nmero complejo e a la
potencia z = a + bi se determina por la formula e
z
= e
a
(cos b + i sen b). Ahora pongamos en la
formula z = i, y resulta como e
i
= cos + i sen , denominada formula de Euler. Cada nmero
complejo z 0 se puede representar en la formula trigonomtrica z = r (cos + i sen ) y conjuntado la
formula de Euler y la formula trigonomtrica se escribe de la forma z = r e
i
, que representa la notacin
del nmero complejo en la forma exponencial.

Al conocer la formula de Euler, se puede escribir la frmula para la elevacin de un nmero complejo a
una potencia natural del modo siguiente (r e
i
)
n
= r
n
e
in


La frmula que ofrece todas las soluciones de la ecuacin z
n
= w puede ser tambin escrita, merced a la
formula de Euler, en una forma ms compacta:

n k
n n
i
n i
k
re re z
)
2
(
t u
u
+
= = Para k = 0, 1, 2,..........., n -1.

1.5 Teorema de Moivre, potencias y extraccin de races de un nmero complejo.

Teorema de Moivre: Como caso particular se obtiene la formula z
n
= r
n
(cos n + isen n), a lo que
se llama formula de Moivre.

)] ( ) [cos(
2 1 2 1
2
1
2
1
u u u u + = isen
r
r
z
z

) (
2 1
2
1
2
1
u u = cis
r
r
z
z

Ing. Hctor Manuel de Len Filguerez Algebra Lineal

Instituto Tecnolgico de Tepic 8
El teorema de Moivre no solo es cierto para n natural, sino que tambin es cierto para enteros
negativos, para n racional e irracional, es decir, es valida para toda n real.

Para n negativo:
( ) ( ) ) (
1
u u u n cis
r
rcis rcis z
n
n n n
= = =



Para n racional
t
m
: ( ) u |
.
|

\
|
=
t
m
cis r z
t
m
n


Raz ensima de un nmero complejo 1 ,...., 3 , 2 , 1 , 0
2
1
= |
.
|

\
| +
= n k para
n
k
cis r z
n
k
t u


Raz ensima de la unidad 1 ,...., 3 , 2 , 1 , 0
2
= |
.
|

\
|
= n k para
n
k
cis z
k
t


1.6 Ecuaciones polinmicas.

Toda ecuacin cuadrtica con coeficientes reales tiene dos nmeros complejos como soluciones. Las
races de la ecuacin cuadrtica ax
2
+bx +c = 0 estn dadas por las formulas:


a
ac b b
x y
a
ac b b
x
2
4
2
4
2
2
2
1

=
+
=

Si b
2
4ac < 0, las dos races son nmeros imaginarios. Estos nmeros son conjugados entre s.