NUMEROS COMPLEJOS

Supongamos que queremos resolver la ecuacin 0 13 4

2
+ x x , aplicando la frmula cuadrtica se
tiene que
2
36 4
,
2
36 4
2 1

+
x x , decimos entonces que esta ecuacin no tiene solucin en el
conjunto de los nmeros reales.
Una ecuacin an ms simple 0 1
2
+ x , implica 1 t x , que tampoco tiene solucin en los nmeros
reales.
Necesitamos entonces ampliar el sistema de los nmeros de modo que ecuaciones como esta tengan
solucin.
Euler introdujo el smbolo i para denotar la unidad imaginaria con la cual se defini un nuevo nmero
tal que 1
2
i , es decir 1 i
A partir de la introduccin de la unidad imaginaria radicales como 36 encontraron solucin, puesto
que podemos escribir
i 6 36 1 36 ) 1 ( 36
.
La introduccin del nmero i , tal que 1
2
i , permiti la generacin de un nuevo tipo de nmeros que
se escriban en forma de binomio, bi a z + . A este conjunto de nmeros se llamo conjunto de nmeros
complejos, que se identifica con el smbolo C.
1. Definicin:
Se llama nmero complejo al nmero bi a z + ,
a
se denomina parte real y b se denomina parte
imaginaria, en smbolos
b z a z ) Im( ; ) Re(
2. Igualdad
Dos nmeros complejos son iguales ssi tienen la misma parte real y la misma parte imaginaria.
i b a z i b a z
2 2 2 1 1 1
; + +
,
2 1 2 1 2 1
b b y a a si z z
3. Si un nmero complejo tiene la parte imaginaria nula se le llama complejo real y si tiene la parte
real nula se le llama imaginario puro.
4. Operaciones
Sean i b a z i b a z
2 2 2 1 1 1
; + + , y c un escalar o nmero real, se definen las siguientes operaciones:
a) Suma: i b b a a z z ) ( ) (
2 1 2 1 2 1
+ + + +
b) Multiplicacin: i a b b a b b a a z z ) ( ) (
2 1 2 1 2 1 2 1 2 1
+ + (aplicando la propiedad
distributiva)
c) Producto por un escalar:
i cb ca cz
1 1 1
+
4.1. Propiedades de las operaciones
a) Propiedades de la suma
- Ley de composicin interna: si i b a z i b a z
2 2 2 1 1 1
; + + , son nmeros complejos, entonces la suma
es tambin un nmero complejo.
- Conmutativa:
1 2 2 1
z z z z + +
- Asociativa: 3 2 1 3 2 1
) ( ) ( z z z z z z + + + +
- Existencia del elemento neutro: existe el elemento neutro al cual llamaremos i e e e
2 1
+ , tal que
para todo complejo z se tiene que z z e e z + +
Demostracin:
Sea bi a z + , entonces bi a i e b e a e z + + + + + ) ( ) (
2 1
, luego por la definicin de igualdad se tiene

'

+
+
b e b
a e a
2
1
de donde i e 0 0 +
- Existencia del elemento opuesto: si z es un nmero complejo, existe ' z tambin
complejo, tal que
- e z z z z + + ' '
A partir de la existencia del opuesto se define la resta como:
) (
2 1 2 1
z z z z +
b) Propiedades de la multiplicacin: Sea el conjunto
{ } i C C 0 0 * +
, entonces se verifica:
- Ley de composicin interna: si i b a z i b a z
2 2 2 1 1 1
; + + , son nmeros complejos, entonces el
producto es tambin un nmero complejo.
- Conmutativa:
1 2 2 1
z z z z
- Asociativa: 3 2 1 3 2 1
) ( ) ( z z z z z z
- Existencia del elemento neutro: existe un elemento
e
tal que
z z e e z
Demostracin:
Sea bi a z + , queremos encontrar el elemento neutro i e e e
2 1
+ , tal que
z z e e z
bi a i be ae be ae i e e bi a e z + + + + + ) ( ) ( ) )( (
1 2 2 1 2 1
, de donde

'

+

b be ae
a be ae
1 2
2 1
, de donde
2 1
2 1
ae b be
be a ae


despejando de (1):
b
e a
e
) 1 (
1
2

, llevando en (2):
b
e a
e b
) 1 (
) 1 (
1
2
1


Luego: 0 ) )( 1 ( ); 1 ( ) 1 (
2 2
1 1
2
1
2
+ b a e e a e b , como 0
2 2
+ b a , debe ser
0 1
2 1
e y e
Por tanto el elemento neutro de la multiplicacin es el nmero i e 0 1+
- Existencia del inverso multiplicativo: si z es un nmero complejo, existe el inverso
e z z z z que tal z
1 1 1
siendo i e 0 1+ .
Demostracin
Sea bi a z + , queremos encontrar el inverso i b a z ' '
1
+

, tal que e z z z z
1 1
Aplicando la definicin llegamos a

'

+

0 ' '
1 ' '
ab ba
bb aa
, multiplicando la ecuacin (1) por a y la ecuacin (2)
por b, tenemos

'

+

0 ' '
' '
2
2
abb a b
a abb a a
, de donde
2 2 2 2
' '
b a
b
b y
b a
a
a
+

+

Divisin: sean
1
2 1
2
1
2 2 2 1 1 1
; ;

+ + z z
z
z
i b a z i b a z
- Distributividad del producto respecto a la suma: Si 3 2 1
, z y z z
son nmeros complejos se tiene
3 1 2 1 3 2 1
) ( z z z z z z z + +
c) Propiedades del producto por un escalar.
- Ley de composicin interna: si z es un nmero complejo y c es un escalar, cz es un nmero
complejo.
- Asociatividad respecto al producto de escalares: (cd)z=c(dz)=d(cz)
- Distributiva respecto a la suma de nmeros complejos:
2 1 2 1
) ( cz cz z z c + +
- Distributividad respecto a la suma de escalares:
dz cz z d c + + ) (
- El escalar 1 es el elemento neutro para el producto por un escalar, es decir, 1 z = z.
5. Isomorfismo entre espacios vectoriales y nmeros complejos
5.1. Representacin de un nmero complejo en forma de par ordenado
Todo nmero complejo z = a+bi puede ser representado por un par ordenado de nmeros reales de
la forma ( a, b), siendo a la parte real y b la parte imaginaria.
Si consideramos el eje X como eje real y el eje Y como eje imaginario podemos obtener una
representacin del nmero z = a+bi = (a, b), el punto P(a,b) se llama afijo de z y es la representacin
grfica del complejo z. Todo nmero complejo z = a+bi tiene asociado un vector con origen en el
origen de coordenadas y extremo en el afijo del nmero complejo.
5.2. Operaciones entre nmeros complejos en forma de pares ordenados
Sean ) , ( ) , (
2 1
d c z y b a z dos nmeros complejos, se define:
- Igualdad: (a, b) = (c, d) si a = c y b = d
- Adicin: (a, b) +(c, d) = (a+c, b+d)
- Resta: (a, b) -(c, d) = (a-c, b-d)
- Multiplicacin: (a, b) (c, d) = (ac-bd, ad+bc)
- Cociente:
,
_

+


2 2 2 2
1
2 1
2
1
, ) , (
d c
d
d c
c
b a z z
z
z
, siendo
,
_

+
2 2 2 2
,
d c
d
d c
c
el inverso de
2
z
Existencia del inverso o recproco
Sea el complejo (a, b) no nulo queremos probar que existe un complejo (c,d) tal que
(a,b) (c,d) =(1,0)
efectuando el producto se tiene que: ac-bd= 1 y ad+bc=0, multiplicando por a en la primera
ecuacin:
a abd c a
2
; y como a c b a a c b c a bc ad + + ) ( ; ;
2 2 2 2
de donde
2 2 2 2
;
b a
b
d
b a
a
c
+

+
y como
) 0 , 0 ( ) , ( b a
podemos afirmar que 0
2 2
+ b a por lo que
el inverso est bien definido. As pues
,
_

2 2 2 2
1
, ) , (
b a
b
b a
a
b a
6. Teorema
El conjunto de los nmeros complejos es una extensin del conjunto de los nmeros reales.
Demostracin
Designemos como C el conjunto de los nmeros complejos y consideremos el subconjunto
R
C
de C
constituido por los complejos de la forma (a, 0), es decir con la parte imaginaria nula.
Si efectuamos la suma y el producto de dos elemento del conjunto
R
C :
(a,0) +(b,0) = (a+b,0)
(a,0) (b,0) =(ab-0.0, a.0+0.b) =(ab, 0)
esto demuestra que podemos sumar y multiplicar dos nmeros complejos de
R
C
como si fueran
nmeros reales, o lo que es lo mismo, respecto a la adicin y a la multiplicacin los nmeros de
R
C
se comportan de la misma manera que si fuesen nmeros reales. Por este motivo podemos
identificar el nmero real x como el complejo (x, 0) y escribimos x = (x,0), 0 = (0,0), 1 = (1, 0),
-1= (-1, 0) etc. Podemos entonces imaginar el sistema de los nmeros complejos como una
extensin del de los nmeros reales.
7. Potencias de i
Se tiene que 1 ) 1 )( 1 ( . ; ) 1 .( . ; 1 ; 1
2 2 4 2 3 2 0
i i i i i i i i i i
i i i i i i i i
i i i i i i i i i i i i i


1 . . ; 1 1 . 1 .
; ) .( 1 . ; 1 ) 1 .( 1 . ; . 1 .
4 5 9 4 4 8
3 4 7 2 4 6 4 5
8. CONJUGADO DE UN NMERO COMPLEJO
Definicin
Dado el complejo z = a+bi, el complejo a-bi se llama el conjugado de z y se simboliza por z . Es
decir, dos nmeros complejos son conjugados si tienen la misma parte real y sus partes imaginarias
son opuestas.
Un complejo z es igual a su conjugado ssi z es real.
Demostracin: Sea
bi a z bi a z + ;
, si
0 ; 0 2 ; ; + b bi bi bi bi a bi a
, luego z es real.
8.1. Cociente de dos nmeros complejos
Podemos definir el cociente entre nmeros complejos utilizando el complejo conjugado del divisor:
i
d c
ad bc
d c
bd ac
d c
i ad bc bd ac
d c
bd bci adi ac
di c di c
di c bi a
di c
bi a
2 2 2 2 2 2 2 2
) ( ) ( ) (
) )( (
) )( (
+

+
+
+

+
+ +

+
+ +

+
+

+
+
8.2. Propiedades de la conjugacin en C.
Cualesquiera sean los complejos i y x z y i y x z yi x z
2 2 2 1 1 1
, + + + , se tiene:
a) z z b)
) Re( 2 z z z +
c)
2 2
y x z z +
d)
2 1 2 1
z z z z + +
e)
2 1 2 1
z z z z
f)
2
1
2
1
z
z
z
z

g)
i z z z ) Im( 2
Demostracin
b)
) Re( 2 2 z x yi x yi x z z + + +
c)
2 2 2 2
) )( ( y x y xyi xyi x yi x yi x z z + + + +
d)
2 1 2 2 1 1 2 1 2 1 2 1 2 1 2 1
) ( ) ( z z i y x i y x i y y x x i y y x x z z + + + + + + + +
e)
i y x y x y y x x y y i y x i y x x x i y x i y x z z
y x y x y y x x i x y y x y y x x z z
) ( ) ( ) )( (
) ( ) ( ) ( ) (
2 1 1 2 2 1 2 1 2 1 1 2 2 1 2 1 2 2 1 1 2 1
1 2 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1
+
+ + +
g)
i z yi y x y x z z
i i
) Im( 2 2 + +
9. Mdulo de un nmero complejo
9.1.Definicin
Sabemos que todo nmero complejo z = a+bi tiene asociado un vector con origen en el origen de
coordenadas y extremo en el afijo del nmero complejo, el mdulo del nmero complejo es la
longitud de este vector.
El mdulo de z es la distancia del punto P(a,b)= a+bi, al origen O, entonces
2 2
b a z +
9.2. Propiedades del mdulo
Si z = a+bi se tiene:
a)
z z ) Re(
y
z z ) Im(
b)
z z
c)
2
z z z
d) 2 1 2 1
z z z z
e)
n
n
z z
f)
2
1
2
1
z
z
z
z

g) 2 1 2 1
z z z z + +
10. Raz cuadrada de un nmero complejo
Dado el complejo z = a+bi hallar la raz cuadrada de z es encontrar un complejo w tal que z w
2
.
Sea
yi x w +
; xyi y x y xyi xyi x yi x yi x w 2 ) ( ) )( (
2 2 2 2 2
+ + + + + , si queremos que z w
2
, debe
ser

'

b xy
a y x
2
2 2
Elevando al cuadrado ambas ecuaciones y sumando tenemos:
2 2 4 2 2 4 2 2 4 2 2 4
2 4 2 b a y y x x y x y y x x + + + + + , de donde:
( )
2 2 2 2 2 2
2
2 2
; b a y x b a y x + + + + , combinando con la primera ecuacin se tiene

'

+ +

2 2 2 2
2 2
b a y x
a y x
2
; 2
2 2
2 2 2 2
b a a
x b a a x
+ +
+ + y por tanto
2
2 2
b a a
x
+ +
t
;
2
2 2
b a a
y
+ +
t
11. Forma trigonomtrica de un complejo
Como un nmero complejo es un par ordenado de nmeros reales, le podemos hacer corresponder
a cada nmero complejo (x, y) el punto (x, y ) del plano cartesiano. En esta correspondencia, el eje
X se llama eje real y el eje Y se llama eje imaginario, puesto que a los complejos de la forma (x, 0) le
corresponden los puntos del eje X y a los complejos de la forma (0, y) le corresponden los puntos
del eje Y.
Si al nmero complejo z = x+yi le corresponde el punto (x, y) del plano cartesiano, podemos
interpretar el mdulo del complejo z,
2 2
y x z +
como la distancia entre el punto (x, y) y el origen
del sistema.
As,
z
x
cos
,
z
y
sen
z= x+yi
Se llama argumento del complejo z = x + yi, a cualquiera de los nmeros que son solucin del
sistema de ecuaciones:
z
x
cos
z
y
sen
Notemos que no est definido el argumento del complejo z = 0 y que si es solucin del sistema
anterior, tambin lo es k 2 + . Se llama argumento principal del complejo z = x + yi al argumento
elegido en
[ ] 2 , 0
.
Si z = x + yi y = arg z, entonces
sen z y z x ; cos
; si
z r
; tenemos que
) (cos isen r z +
, el segundo miembro de esta igualdad se llama forma trigonomtrica del
complejo z.
Ejemplos
a) Escribir en forma trigonomtrica el complejo i z
2
3
2
1
+
Hallamos 1
4
3
4
1
+ z , luego
2
1
cos
z
x

;
2
3

z
y
sen
k + 360 60
) 360 60 ( ) 360 60 cos( k sen k z + + +
y el argumento principal de z es 60 o
3

b) Determinar en qu cuadrante est el complejo cuyo argumento es

6
5

.
Como
6
7
2
6
5

+
, este es tambin argumento del mismo complejo y est en el tercer cuadrante,
el complejo dado es del tercer cuadrante.
11.1. Operaciones en forma trigonomtrica
Si
) (cos ); (cos
2 2 2 2 1 1 1 1
isen r z isen r z + +
, entonces:
a) Producto:
)) ( ) (cos(
2 1 2 1 2 1 2 1
+ + + i sen r r z z
Demostracin
)) ( ) (cos(
) cos cos cos (cos ) )(cos (cos
2 1 2 1 2 1
2 1 2 1 2 1 2 1 2 1 2 2 1 1 2 1 2 1


+ + +
+ + + +
i sen r r
sen sen isen sen i r r isen isen r r z z
b) Cociente:
)) ( ) (cos(
2 1 2 1
2
1
2
1
+ sen i
r
r
z
z
Demostracin
) ( ) ((cos(
) (cos
) cos cos cos (cos
) )(cos (cos
) )(cos (cos
) (cos
) (cos
2 1 2 1
2
1
2
2
2
2
2
2 1 2 1 2 1 2 1 1
2 2 2 2 2
2 2 1 1 1
2 2 2
1 1 1
2
1







+
+
+ +

+
+

+
+

sen i
r
r
sen r
sen sen isen sen i r
isen isen r
isen isen r
isen r
isen r
z
z
c) Potenciacin: Cualquiera que sea el complejo 0 z y cualquiera sea el entero n, tenemos la
frmula de Moivre: ) (cos )) (cos ( n sen n r sen r z
n n n
+ +
Demostracin
Sea n un entero positivo, entonces:
Si n = 2
Aplicando la frmula dada en la primera parte:
) 2 2 (cos
2 2
isen r z +
Suponemos vlido para (n-1): ) ) 1 ( ) 1 (cos(
1 1
+

n isen n r z
n n
Probaremos para n:
) (cos
) ) 1 ( ( ) ) 1 ( (cos( ) ) 1 ( ) 1 (cos( ) (cos .
1 1


n sen i n r
n isen n r n isen n r isen r z z z
n
n n n n
+
+ + + + +

12. Races de nmeros complejos.
Todo nmero complejo 0 z tiene siempre n races n-simas distintas, es decir, existen n y solamente
n nmeros complejos 1 1 0
,... ,
n
w w w
tales que z w
n
k
,
1 ,..., 1 , 0 n k
.
Sea
) (cos isen r z +
, si w es una raz ensima de z, es decir z w
n
o w z
n

Por la frmula de Moivre, )) 360 (

1
( ) 360 (
1
(cos
1 1
k
n
isen k
n
r z
n n
+ + + , donde k = 0, 1, 2; estas son las
races n-simas de z.
Ejemplo
Determinar las races cbicas de i z 2 2
Hallamos
8 4 4 + z r
Hallamos el argumento de z
cos z x
;
;
8
2
;
8
2
cos

sen
arg z=315+360k
por tanto
,
_

+
+
+

3
360 315
3
360 315
cos 8
3
k
sen i
k
w
k
k=0,1,2
tenemos as que las races cbicas de z son:
( ) ( ) ( )
( ) ( ) + + + +
+ + + + +
345 345 cos 2 240 105 ( ) 240 105 cos( 2
225 225 cos 2 120 105 ( ) 120 105 cos( 2 ; 105 105 cos 2
2
1 0
isen isen w
isen isen w isen w