LOS NMEROS COMPLEJOS

por Jorge Jos Oss Recio

Departamento de Matemticas - Universidad de los Andes Bogot Colombia - 2004
Cuando se estudi la solucin de la ecuacin de segundo grado
2
0 ax bx c + + se analiz el signo del
discriminante
2
4 b ac y su relacin con las soluciones. Si el discriminante era negativo se dijo que la
ecuacin no tena races reales sino que las races eran imaginarias o complejas. Vamos ahora a estudiar
los nmeros complejos que nos darn la idea completa de la solucin de la ecuacin de segundo grado y
una extensin de los conjuntos numricos. Realizaremos lo que se llama la definicin axiomtica del
conjunto de los nmeros complejos.
Seccin 1
Definicin y operaciones en el conjunto de los nmeros complejos.
Definicin. Llamamos conjunto de los nmeros complejos y lo denotamos con la letra al conjunto de
los pares de nmeros reales ( ) , a b
en el cual definimos las siguientes operaciones:
Suma. ( ) ( ) ( ) , , , a b c d a c b d + + +
Multiplicacin. ( ) ( ) ( ) , , , a b c d ac bd ad bc +
En el nmero complejo ( ) , a b
llamaremos a
a
la parte real y a b la parte imaginaria. Note que la
suma y producto de pares no est definida en
2

.
Dos propiedades que cumplen los pares de nmeros reales y que se mantienen para los complejos son:
Igualdad. ( ) ( ) , , a b c d a c b d
Multiplicacin por un escalar.
( , ) ( , ) a b a b
donde .
Ejemplo. Dados ( ) 2,1
y ( ) 0, 3
, hallar:
a) ( ) ( ) ( ) ( ) 2,1 0, 3 2 0,1 ( 3) 2, 2 + + +
b) ( ) ( ) ( ) ( ) 2, 1 0, 3 2(0) 1( 3), 2( 3) 1(0) 3, 6 +
c) ( ) ( ) ( ) ( ) ( ) ( ) 2,1 0, 3 2 1,1 3, 6 2, 2 5, 8 +
1
Como los nmeros complejos son pares de nmeros reales podemos efectuar una representacin de los
mismos mediante el plano
2

(Grfica 1) En esta representacin se le dice eje real (Re) al eje de las

x

y eje imaginario (Im) al eje de las
y
.
Grfica 1: Representacin del nmero complejo
( , ) a b
.
Podemos considerar que los nmeros reales estn contenidos en los nmeros complejos puesto que en el
plano
2
el nmero complejo ( ) , 0 a
coincide con el nmero real
a
. De este modo tenemos
( , 0) a a

cuando a . Los nmeros complejos de la forma
(0, ) b
son llamados imaginarios puros.
Vamos a demostrar la propiedad de la multiplicacin por un escalar :

( ) ( ) , , a b a b
Para eso escribimos el nmero real

en la forma ( ) , 0
y aplicamos la definicin de multiplicacin:
( ) ( ) ( ) ( ) ( ) , , 0 , 0 , 0 , a b a b a b b a a b +
.
Denotaremos el nmero complejo
(0,1)
con la letra i y lo llamaremos unidad imaginaria. Es fcil
demostrar que
2
1 i .
( )
2 2
(0,1) (0,1) (0,1) 0(0) 1(1) , 0(1) 1(0) ( 1, 0) 1 i +
Ahora estamos en condiciones de resolver la sencilla ecuacin
2
1 0 x + .
2 2 2 2
1 0 1 x x x i x i + t
Forma binmica de un nmero complejo
Sea
( , ) z a b
un nmero complejo. Entonces podemos escribirlo en la forma:

( , ) ( , 0) (0, ) (1, 0) (0,1) z a b a b a b + +
Pero como
(1, 0) 1
y
(0,1) i
, entonces
( , ) a b a bi +
. En este caso a bi + se llama forma binmica o
binomia del nmero complejo.
2
Suma y multiplicacin de nmeros complejos en la forma binmica
( ) ( ) ( ) ( ) a bi c di a c b d i + + + + + +
, puesto que
, , , a b c d
son todos nmeros reales.
( ) ( ) ( ) ( )
2
a bi c di ac adi bci bdi ac bd ad bc i + + + + + + +
porque
2
1 i .
Ahora observe que los resultados son los mismos que las definiciones de suma y producto dados al inicio;
por lo que la realizacin de las operaciones de suma y multiplicacin con nmeros complejos se puede
realizar en la forma de pares o en la forma binmica, con la ventaja a favor de la forma binmica que se
trabaja con las reglas del lgebra y no es necesario memorizar nada nuevo.
Ejemplo. Si
1
(3, 2) z
y
2
(4, 1) z
, halle
1 2
z z +
y
1 2
z z
.
( ) ( )
1 2
(3, 2) (4, 1) 3 2 4 7 z z i i i + + + + +
2
1 2
(3, 2) (4, 1) (3 2 )(4 ) 12 3 8 2 (12 2) ( 3 8) 14 5 z z i i i i i i i + + + + + +
Conjugado de un nmero complejo
Si
z x yi +
es un nmero complejo llamaremos conjugado del nmero z, al nmero
z x yi
, es
decir, al nmero complejo que tiene la misma parte real que
z
pero la parte imaginaria de signo opuesto.
Ejemplo. Si 3 2 z i + , entonces 3 2 z i y si 3 2 z i , entonces 3 2 z i + .
Mdulo y argumento de un nmero complejo
Sea
( , ) z a b a bi +
un nmero complejo cualquiera. Llamaremos mdulo del nmero complejo
z
, al
nmero real dado por
2 2
a b +
y lo denotaremos por
z
. El mdulo se interpreta como la distancia al
origen del nmero
z
(Grfica 2).
Por otra parte, llamaremos argumento del nmero complejo z a bi + , al ngulo comprendido entre el
eje
x
y el radio vector que determina a
z
. El argumento de
z
se denota por
arg( ) z
y se calcula
mediante la expresin:
arg( ) arctan
b
z
a
_

,
.
3
Grfica 2: Mdulo y argumento de un nmero complejo.
Propiedad:
2
z z z
Demostracin:
( ) ( )
2 2 2
2
2 2 2 2 2 2
( )( )
0
z z a bi a bi a abi abi y i
a b ab ab i a b i a b z
+ +
+ + + + + +
Divisin de nmeros complejos
La divisin de nmeros complejos se realiza mediante la multiplicacin y divisin por el conjugado del
denominador:
1
2 2 2
2
2
( ) ( ) z a bi a bi c di ac bd ad bc i ac bd ad bc i
z c di c di c di c d
z
+ + + + + + + +

+ + +
Ejemplo. Dados
1
2 3 z i
y
2
1 2 z i +
, halle: (a)
2
z
y (b)
1
2
z
z
.
(a) Como
2
1 2 z i +
entonces
2
1 2 z i
(b) Para hallar
1
2
z
z
multiplicamos y dividimos por el conjugado
2
z
.
1
2
2
2 2
2 3 2 3 1 2 (2 3 )( 1 2 )
1 2 1 2 1 2 ( 1 2 )( 1 2 )
2 4 3 6 8 8 1
5 5 5 ( 1) (2)
z i i i i i
z i i i i i
i i i i
i


+ + +
+ +

+
Races complejas de la ecuacin de segundo grado
Si el discriminante de la ecuacin
2
0 ax bx c + + es negativo, debe sustituirse el signo negativo por
2
i y
de esa forma se obtienen las races complejas de la ecuacin.
Ejemplo. Resolver la ecuacin
2
2 6 0 x x + .
Aplicando la frmula de la ecuacin cuadrtica:
2
( 2) ( 2) 4(1)(6) 2 4 24 2 20
2(1) 2 2
x
t t t

Se puede ver que el discriminante es 20 lo cual puede escribirse como
2
20i . Por lo tanto:

2
2 20 2 20 2 2 5
1 5
2 2 2
i i
x i
t t t
t
As, las races complejas de la ecuacin son:
1
1 5 x i y
2
1 5 x i + .
4
Ejercicios de la Seccin 1.
1) Dados los nmeros complejos
(3, 2) z
y
( 1, 4) w
, halle:
(a)
z w +
, (b)
z w
, (c) 3 4 z w , (d)
( 1, 0)w
, (e)
(0, 2)z
.
2) Muestre que
(0, 0)
es el elemento neutro para la suma de nmeros complejos.
3) Muestre que
(1, 0)
es el elemento neutro para la multiplicacin de nmeros complejos.
4) Calcule:
(a)
3
i , (b)
4
i , (c)
5
i , (d)
1
i
, (e)
2
1
i
.
5) Calcule:
(a)
4n
i , (b)
4 1 n
i
+
, (c)
4 2 n
i
+
, (d)
4 3 n
i
+
.
6) Dado el nmero complejo
( , ) x y
halle el par
( , ) u v
tal que
( , ) ( , ) (1, 0) x y u v
. Al par se le llama
inverso multiplicativo de
( , ) x y
. Concluya que el par
( , ) u v
es nico y que el
(0, 0)
no tiene inverso
multiplicativo.
7) Verifique que z z .
8) Verifique que uv y uv son conjugados.
9) Calcule:
(a)
3 3
2 4
i
i
+

, (b)
1 3
2 2
i
i

.
10) Resuelva la ecuacin
( 2 ) 3 i z i + +
.
11) Halle
z
tal que
(2 )(1 ) 2 i i z i + + +
.
12) Calcule y represente en el plano complejo los nmeros
z x yi +
, tales que:
(a)
5 z
, (b)
5 z
.
13) Calcule y represente en el plano complejo los nmeros
z x yi +
tales que:
(a)
2 5 z
, (b)
z i z i +
, (c)
2
z z z + .
14) Resuelva la ecuacin cuadrtica
2
3 3 0 x x + + .
15) Resuelva la ecuacin cuadrtica
2
2 4 5 0 x x + + .
16) Resuelva la ecuacin cuadrtica
2
3 8 0 x x + + .
17) Resuelva la ecuacin
4 2
13 36 0 x x + + .
5
Seccin 2
Forma trigonomtrica o polar de un nmero complejo
La forma trigonomtrica de un nmero complejo se establece observando el tringulo amarillo de la
Figura 3:
Grfica 3: Forma trigonomtrica de un nmero complejo.
En este caso se tiene que
( , ) r z x y
y que
1
arg( ) tan
y
z
x

_


,
.
Luego:
sin sin
cos cos
y
y r
r
x
x r
r

'

Por lo tanto:

( , ) cos sin (cos sin ) z x y x yi r i r r i + + +
sta es la llamada forma trigonomtrica o polar del nmero complejo, la cual est en trminos del
mdulo y el argumento. Se denota comnmente por cis z r .
Ejemplo: Halle la forma trigonomtrica de 1 z i .
Hallemos
2 2
(1) ( 1) 2 r +
y
1
1
tan
1 4

_


,
.
Note que est en el cuarto cuadrante. Por lo tanto:
1 2 cos sin 2 cos sin 2 cis
4 4 4 4 4
z i i i
_ _ _ _ _ _ _
+

, , , , , , ,
.
6
Multiplicacin de nmeros complejos en su forma trigonomtrica
Sean cis u r y
cis v s
, entonces ( ) ( ) cis u v rs +
. En otros trminos:
( ) ( ) cos( ) sin( ) uv rs i + + +
Demostracin:
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
2
cis cis
cis cis
cos sin cos sin
cos cos cos sin sin cos sin sin
cos cos sin sin (cos sin sin cos )
cos( ) sin( )
( ) cis( )
u v r s
rs
rs i i
rs i i i
rs i i
rs i
rs


+ +
+ + +
+ +
+ + +
+
Por lo tanto, la multiplicacin de dos nmeros complejos en su forma trigonomtrica da como resultado
un nmero complejo cuyo mdulo es igual al producto de sus mdulos y cuyo argumento es igual a la
suma de los argumentos.
Ejemplo. Sea
2cis
4
u
_

,
y
3 cos 3
4 4 4
v i sen cis
_ _ _ _


, , , ,
.
Entonces ( ) 6cis(0) 6 cos(0) sin(0) 6 u v i +
Frmula de Moivre
Empleando el resultado del Ejercicio 3b de esta seccin, cis( )
n n
z r n , y tomando 1 r , tenemos:
( ) cos sin cos( ) sin( )
n
i n i n + + .
Esta expresin es la llamada frmula de Moivre.
Forma exponencial de un nmero complejo
Vamos a asumir que se siguen cumpliendo, como en los nmeros reales, los conceptos de funcin,
derivadas, series, etc. Vamos a demostrar la frmula de Euler:
cos sin
i
e i

+ .
Empleemos el desarrollo en serie de potencias de la funcin
0
!
n
x
n
x
e
n

, suponiendo que sea vlido para

cuando la variable
x
es un nmero complejo
z
.
2 3
0
1 ..... ...
! 1! 2! 3! !
n n
z
n
z z z z z
e
n n

+ + + + + +

7
Si tomamos
z i
, nos queda:
2 3
0
2 3 4 5
2 3 4 5
2 3 4 5
( ) ( ) ( ) ( ) ( )
1 ..... ...
! 1! 2! 3! !
1 ...
1! 2! 3! 4! 5!
1 ....
1! 2! 3! 4! 5!
n n
i
n
i i i i i
e
n n
i i i i i
i i i

+ + + + + +

+ + + + + +

+ + + +

Agrupando tendremos:
2 4 3 5
1 .... ....
2! 4! 1! 3! 5!
i
e i

_ _
+ + + + +

, ,
Estos son los desarrollos de cos y sin respectivamente. As que cos sin
i
e i

+ .
Sea
(cos sin ) z r i +
un nmero complejo donde
r
es su mdulo y su argumento. Entonces
mediante el empleo de la frmula de Euler se obtiene:
(cos sin )
i
z r i r e

+ .
Esta expresin es la llamada forma exponencial del nmero complejo. Note que la forma exponencial es
equivalente a la trigonomtrica pues dependen de los mismos elementos: mdulo y argumento del nmero
complejo
z
. Esta forma es muy cmoda pues podemos efectuar la multiplicacin, divisin y potenciacin
empleando las leyes del lgebra.
Multiplicacin y divisin de nmeros complejos en su forma exponencial
Sean
i
u re

y
i
v se

. Entonces:
( )
( ) i i i
u v re se rs e
+

( )
i
i
i
u re r
e
v s se

_


,
Ejemplo: Sea 4
6
i
u e

y 4
3
i
v e

. Entonces 2
18 6
i
u v e i

y
(0)
2 2
i
u
e
v
.
Ejercicios de la Seccin 2.
1) Represente:
(a) en la forma trigonomtrica el nmero complejo 3 3i + .
(b) en la forma binmica el nmero complejo ( ) 2 cos sin i
.
2) Represente:
8
(a) en la forma trigonomtrica el nmero complejo 2 2i .
(b) en la forma binmica el nmero complejo
2 cos sin
3 3
i
_ _ _
+

, , ,
.
3) Multiplicando el mismo nmero complejo n veces, efecte y emplee identidades trigonomtricas para
comprobar que si
1 1 1 1
(cos sin ) z r i +
,
2 2 2 2
(cos sin ) z r i +
, ,
(cos sin )
n n n n
z r i +
entonces
(a) ( )
2 2
1 1 1 1
cos(2 ) sin(2 ) z r i +
(b) ( )
1 1 1 1
cos( ) sin( )
n n
z r n i n +
(c) ( ) ( )
1 2 1 2 1 2
... ... cis ...
n n n
z z z r r r + + +
.
Extienda el resultado a las potencias enteras negativas.
4) Calcule:
(a)
( )
9
1 3 i , (b)
( )
7
1
2 2i +
5) Dados 2 2 u i + y 2 2 v i , emplee la forma exponencial para hallar:
(a)
uv
, (b)
u v
.
6) Dados 2 2 u i + y 2 3 v i , emplee la forma exponencial para hallar:
(a)
uv
, (b)
u v
.
7) Halle
( )
( )
4
6
3
1 3
i
i
+
+
.
8) Halle
( )
( )
84
9
1
1
i
i
+

9
Seccin 3
Races n-simas de un nmero complejo
En la forma binmica de un nmero complejo la representacin es nica, mientras que en la forma
trigonomtrica o exponencial un mismo nmero complejo tiene infinitas representaciones diferentes,
( 2 ) i k
z r e
+
con k . Para cada valor de k habr una representacin diferente del nmero complejo
z
.
Definamos la radicacin como la operacin inversa de la potenciacin, esto es:
n n
z w z w .
Supngase que
i
w re

es un nmero complejo de mdulo
r
y argumento y que
i
z se

un nmero
complejo de mdulo
s
y argumento

. Entonces
n
z w equivale a:
( 2 ) n n i n i i k
z s e re r e w
+
.
De esta manera:
(1)
n
s r
(2)
2 n k +
Por lo tanto,
i
z se

donde
n
s r y
2k
n
+
, con 1, 2, , k n K .
Estas son las frmulas para hallar las
n
races n-simas de cualquier nmero complejo. Compruebe que
para todo otro valor de k , con k , se obtienen las mismas
n
races que para 0,1, , 1 k n K .
Ejemplo. Hallar 1 i + .
4
1 2
i
i e

+
. Por lo tanto
4
2 2 s
y
2
4
2
k

+

, con 0,1 k . Entonces:
Para 0 k , tenemos
4
8
1
2
i
z e

.
Para 1 k , tenemos
9
4
8
2
2
i
z e

.
El logaritmo de un nmero complejo
Al igual que para los reales, vamos a definir el logaritmo de un nmero complejo como la operacin
inversa de la exponencial, esto es:
log
z
z w e w .
Supngase que
i
w re

es un nmero complejo de mdulo

r
y argumento , entonces:
10
( 2 )
ln ( 2 )
z i k
e r e w z r i k
+
+ + .
Ejemplo. Sea
(0)
1 1
i
e . Por tanto
log(1) ln(1) (2 ) 2 i k k i +
, con
k
.
Ejercicios de la Seccin 3
1) Halle las races cuadradas de 1 y verifique que son i y i .
2) Halle las races cbicas de 1.
3) Halle las races cbicas de 1 .
4) Halle las races cuadradas del nmero 1 3 + i y exprselas en la forma binmica.
5) Halle las races cbicas del nmero 1 3 i y exprselas en la forma binmica.
6) Halle las races cuadradas de 2 2i y represntelas en el plano complejo.
7) Muestre que
log( 1) i
.
8) Halle:
(a)
log( ) e
, (b)
log( ) i
, (c)
log( ) ei
.
9) Muestre que
1
log(1 ) ln 2
2 4
i i

.
11
Respuestas
Seccin 1
1) a)
(2, 2)
, b)
(5, 14)
, c)
(13, 22)
, d)
(1, 4)
, e)
(4, 6)
6) ( )
2 2 2 2
, ,
x y
u v
x y x y
_

+ +
,
9) a)
3 9
10
i +
11) 3 i +
13) a) ( )
2
2
2 25 x y + , crculo de radio 5 centrado en
(2, 0)
y su interior.
15)
1
1
2
i t
17)
2 , 3 i i t t
Seccin 2
1 a)
3
3 2 cis
4
_

,
5) a) 2, b) i
7)
10
3
1
4
i
e

Seccin 3
3)
1 3
2 2
i t
5)
4 10 16
9 9 9
2 , 2 , 2
i i i
e e e

8) a)
1 2k i +
, c) 1
2
i

12
Tomado de http://temasmatematicos.uniandes.edu.co
13