NUMEROS COMPLEJOS

Supongamos que queremos resolver la ecuacin x 2 4 x 13 0 , aplicando la frmula cuadrtica se

tiene que x1

4 36
4 36
, x2
, decimos entonces que esta ecuacin no tiene solucin en el
2
2

conjunto de los nmeros reales.

Una ecuacin an ms simple x 2 1 0 , implica x 1 , 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 i 2 1 , es decir i 1
A partir de la introduccin de la unidad imaginaria radicales como 36 encontraron solucin, puesto
que podemos escribir 36 (1)36 1 36 6i .
La introduccin del nmero i , tal que i 2 1 , permiti la generacin de un nuevo tipo de nmeros que
se escriban en forma de binomio, z a bi . 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 z a bi ,
imaginaria, en smbolos Re( z ) a; Im( z ) b

a se denomina parte real y

b se denomina parte

2. Igualdad
Dos nmeros complejos son iguales ssi tienen la misma parte real y la misma parte imaginaria.
z1 a1 b1i; z 2 a 2 b2 i , z1 z 2 si a1 a 2 y b1 b2
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 z1 a1 b1i; z 2 a 2 b2 i , y c un escalar o nmero real, se definen las siguientes operaciones:
a) Suma: z1 z 2 (a1 a 2 ) (b1 b2 )i
b) Multiplicacin: z1 z 2 (a1 a 2 b1b2 ) (a1b2 b1 a 2 )i (aplicando la propiedad
distributiva)
c) Producto por un escalar: cz1 ca1 cb1i
4.1. Propiedades de las operaciones
a) Propiedades de la suma
- Ley de composicin interna: si z1 a1 b1i; z 2 a 2 b2 i , son nmeros complejos, entonces la suma
es tambin un nmero complejo.
- Conmutativa: z1 z 2 z 2 z1
- Asociativa: z1 ( z 2 z 3 ) ( z1 z 2 ) z 3
- Existencia del elemento neutro: existe el elemento neutro al cual llamaremos e e1 e2 i , tal que
para todo complejo z se tiene que z e e z z
Demostracin:
Sea z a bi , entonces z e (a e1 ) (b e2 )i a bi , luego por la definicin de igualdad se tiene

 a e1 a
de donde e 0 0i

b e2 b

Existencia del elemento opuesto: si z es un nmero complejo, existe z ' tambin

complejo, tal que
- z z ' z ' z e
A partir de la existencia del opuesto se define la resta como: z1 z 2 z1 ( z 2 )
-

b) Propiedades de la multiplicacin: Sea el conjunto C* C 0 0i , entonces se verifica:

- Ley de composicin interna: si z1 a1 b1i; z 2 a 2 b2 i , son nmeros complejos, entonces el
producto es tambin un nmero complejo.
- Conmutativa: z1 z 2 z 2 z1
- Asociativa: z1 ( z 2 z 3 ) ( z1 z 2 ) z 3
- Existencia del elemento neutro: existe un elemento e tal que z e e z z
Demostracin:
Sea z a bi , queremos encontrar el elemento neutro e e1 e2 i , tal que z e e z z
ae1 be2 a
z e (a bi )(e1 e2 i ) (ae1 be2 ) (ae2 be1 )i a bi , de donde
, de donde
ae2 be1 b

ae1 a be2
be1 b ae2

despejando de (1): e2

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

Luego: b 2 (e1 1) a 2 (e1 1); (e1 1)(a 2 b 2 ) 0 , como a 2 b 2 0 , debe ser e1 1 y e2 0

Por tanto el elemento neutro de la multiplicacin es el nmero e 1 0i
- Existencia del inverso multiplicativo: si z es un nmero complejo, existe el inverso
z 1 tal que z z 1 z 1 z e siendo e 1 0i .
Demostracin
Sea z a bi , queremos encontrar el inverso z 1 a 'b' i , tal que z z 1 z 1 z e

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

Aplicando la definicin llegamos a

a 2 a ' abb' a

por b, tenemos

b a ' abb' 0
2

, de donde a '

Divisin: sean z1 a1 b1i; z 2 a 2 b2 i;

a
b
y b' 2
2
a b
a b2
2

z1
1
z1 z 2
z2

- Distributividad del producto respecto a la suma: Si z1 , z 2 y z 3 son nmeros complejos se tiene

z1 ( z 2 z 3 ) z1 z 2 z1 z 3

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: c( z1 z 2 ) cz1 cz 2
- Distributividad respecto a la suma de escalares: (c d ) z cz dz
- 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 z1 (a, b) y z 2 (c, d ) 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)
z1
c
d
c
d

z1 z 2 ( a, b) 2
, 2
, 2
z2
- Cociente:
2
2 , siendo
2
2
2 el inverso de
z2
c d c d
c d c d
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:
2
2
( a 2 b 2 )c a
a 2 c abd a ; y como ad bc; a c b c a;
a
b
de donde c 2 2 ; d 2 2 y como (a, b) (0,0) podemos afirmar que a 2 b 2 0 por lo que
a b
a b
a
b

1
, 2
el inverso est bien definido. As pues (a, b) 2
2
2
a b a b
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 C R 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 C R :
(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 C R como si fueran
nmeros reales, o lo que es lo mismo, respecto a la adicin y a la multiplicacin los nmeros de C R
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 i 0 1; i 2 1; i 3 i.i 2 i.(1) i; i 4 i 2 .i 2 ( 1)(1) 1
i 5 i 4 .i 1.i i;
i 8 i 4 .i 4 1.1 1;

i 6 i 4 .i 2 1.(1) 1;

i 7 i 4 .i 3 1.( i) i;

i 9 i 5 .i 4 i.1 i

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 z a bi; z a bi , si a bi a bi; bi bi; 2bi 0; b 0 , luego z es real.
8.1. Cociente de dos nmeros complejos
Podemos definir el cociente entre nmeros complejos utilizando el complejo conjugado del divisor:
a bi (a bi )(c di ) (ac adi bci bd ) (ac bd ) (bc ad )i ac bd bc ad

i
c di (c di )(c di )
c2 d 2
c2 d 2
c d 2 c2 d 2

8.2. Propiedades de la conjugacin en C.

Cualesquiera sean los complejos z x yi, z1 x1 y1i y z 2 x 2 y 2 i , se tiene:
a) z z
b) z z 2 Re( z )
c) z z x 2 y 2
d) z1 z 2 z1 z 2
e) z1 z 2 z1 z 2
z1 z1

f)
g) z z 2 Im( z )i
z2 z2
Demostracin
b) z z x yi x yi 2 x 2 Re( z )
c) z z ( x yi)( x yi ) x 2 xyi xyi y 2 x 2 y 2
d) z1 z 2 x1 x2 ( y1 y 2 )i x1 x2 ( y1 y 2 )i x1 y1i x2 y 2 i z1 z 2

e)

z1 z 2 ( x1 x 2 y1 y 2 ) ( x1 y 2 y1 x 2 )i ( x1 x 2 y1 y 2 ) ( x1 y 2 x 2 y1 )
z1 z 2 ( x1 y1i )( x 2 y 2 i ) x1 x 2 x1 y 2 i x 2 y1i y1 y 2 ( x1 x 2 y1 y 2 ) ( x 2 y1 x1 y 2 )i

g) z z x y i x y i 2 yi 2 Im( z )i
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
9.2. Propiedades del mdulo
Si z = a+bi se tiene:
a) Re( z ) z y Im( z ) z b)
e)

zn z

f)

z1
z1

z2
z2

z z

g)

c)

zz z

d)

a 2 b2

z1 z 2 z1 z 2

z1 z 2 z1 z 2

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 w 2 z .
Sea w x yi ; w 2 ( x yi)( x yi) x 2 xyi xyi y 2 ( x 2 y 2 ) 2 xyi , si queremos que w 2 z , debe
x2 y2 a

ser

2 xy b

Elevando al cuadrado ambas ecuaciones y sumando tenemos:

x 4 2 x 2 y 2 y 4 4 x 2 y 2 x 4 2 x 2 y 2 y 4 a 2 b 2 , de donde:

y2

a 2 b 2 ; x 2 y 2 a 2 b 2 , combinando con la primera ecuacin se tiene

x2 y2 a
2
2
2
2
x y a b

2x 2 a a 2 b 2 ; x 2

2
2
2
2
a a2 b2
y por tanto x a a b ; y a a b
2
2
2

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, z x 2 y 2 como la distancia entre el punto (x, y) y el origen
del sistema.
x

As, cos z , sen z

z= x+yi

Se llama argumento del complejo z = x + yi, a cualquiera de los nmeros que son solucin del
sistema de ecuaciones:
x
z
y
sen
z

cos

Notemos que no est definido el argumento del complejo z = 0 y que si es solucin del sistema
anterior, tambin lo es 2k . Se llama argumento principal del complejo z = x + yi al argumento
elegido en 0,2 .
Si z = x + yi y = arg z, entonces x z cos ; y z sen ; si r z ; tenemos que
z r (cos isen ) , el segundo miembro de esta igualdad se llama forma trigonomtrica del complejo
z.
Ejemplos
a) Escribir en forma trigonomtrica el complejo z
Hallamos z
60 360k

1
3

i
2
2

x
1
y
3
1 3

1 , luego cos z 2 ; sen

z
2
4 4

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

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

Como

5
.
6

5
7
2
, este es tambin argumento del mismo complejo y est en el tercer
6
6

cuadrante, el complejo dado es del tercer cuadrante.

11.1. Operaciones en forma trigonomtrica
z 2 r2 (cos 2 isen 2 ) , entonces:
Si z1 r1 (cos 1 isen 1 );
a) Producto: z1 z 2 r1 r2 (cos( 1 2 ) sen i ( 1 2 ))
Demostracin
z1 z 2 r1 r2 (cos 1 isen 1 )(cos 2 isen 2 ) r1 r2 (cos 1 cos 2 i cos 1 sen 2 isen 1 cos 2 sen 1 sen 2 )
r1 r2 (cos( 1 2 ) sen i ( 1 2 ))
z1
r1
b) Cociente: (cos( 1 2 ) i sen( 1 2 ))
z 2 r2
Demostracin
z1
r (cos 1 isen 1 )
r (cos 1 isen 1 )(cos 2 isen 2 )
1
1

z 2 r2 (cos 2 isen 2 ) r2 (cos 2 isen 2 )(cos 2 isen 2 )

r1 (cos 1 cos 2 i cos 1 sen 2 isen 1 cos 2 sen 1 sen 2 ) r1

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

Suponemos vlido para (n-1): z n 1 r n 1 (cos(n 1) isen(n 1) )

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

12. Races de nmeros complejos.

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

z w

1
1
Por la frmula de Moivre, z n r n (cos ( 360 k ) isen( ( 360 k )) , donde k = 0, 1, 2; estas son las
n
n
races n-simas de z.

Ejemplo
Determinar las races cbicas de z 2 2i
Hallamos r z 4 4 8
Hallamos el argumento de z
x z cos

2
2
; sen
;
arg z=315+360k
8
8
315 360k
315 360k

8 cos
i sen
k=0,1,2
3
3

; cos

por tanto wk 3

tenemos as que las races cbicas de z son:

w0
w2

2 cos105 isen105 ;

w1

2 cos(105 120) isen(105 120

2 cos(105 240) isen(105 240

2 cos 345 isen345

2 cos 225 isen 225