You are on page 1of 13

Curso Iberoamericano de formacin permanente de

profesores de matemtica



Tema 6: El nmero complejo


El nmero complejo

Contenido de este documento:

Introduccin
Los ltimos de la familia de los nmeros
Objetivos
La unidad imaginaria.
El nmero complejo. Definicin y propiedades.
Subconjunto de C isomorfo al conjunto de los nmeros reales.
El nmero complejo (0,1)
Forma binmica de un nmero complejo.
Representacin grfica.
Conjunto no ordenado.
Forma exponencial del nmero complejo.
Introduccin
En la gua didctica exponemos ideas y una metodologa para
comenzar la exposicin en el aula de esta unidad y para su
desarrollo. Gran parte de las cuestiones que all se plantean se
repetirn en lo que sigue y solo trataremos aqu de elevar el grado de
abstraccin porque estimamos que el profesor debe poseer unos
conocimientos ms amplios de aquello que va a explicar a sus
estudiantes y que le permitan, adems, poder dar respuesta y
materiales complementarios a aquellos que destaquen por sus
capacidades para las matemticas. Se dice en la gua que las
sucesivas ampliaciones de los campos numricos que se han ido
haciendo en estudios anteriores, es una buena forma de comenzar
esta unidad. En efecto, aunque eso no se corresponda estrictamente
con el desarrollo histrico, desde el punto de vista didctico es una
buena estrategia el ir comprobando cmo, por ejemplo, la ecuacin
8 + x = 3
no tiene solucin en el conjunto de los nmeros naturales. Ello puede
justificar la necesidad de conocer y manejar los nmeros enteros para
que, con la ayuda de los nmeros enteros negativos podamos
solucionar esa sencilla ecuacin. Se pasa luego a la ecuacin cuya
solucin es un nmero racional, por ejemplo 3x = 7, etc.
En cada caso se ir viendo cmo, una vez introducido el nuevo
conjunto numrico, aparecen ecuaciones que no pueden ser resueltas
en l y ello nos conduce a un campo numrico ms amplio en el que
s se puede resolver la ecuacin planteada. Sin embargo, la necesidad
de ampliar el conjunto de los nmeros reales aparece en los
desarrollos de los contenidos de los programas cuando hay que
resolver la ecuacin de segundo grado y esto ocurre antes de que se
introduzca el nmero complejo. Y como no se acomete su
introduccin de manera inmediata, este vaco cognitivo permanece a
veces varios aos antes de cerrarse. Incluso hay quienes dicen o
hacen creer a sus alumnos que esas ecuaciones no tienen solucin
sin completar la frase en el sentido de indicar que no tienen solucin
en los campos numricos que conocen hasta ese momento. Es una
precaucin que debemos tomar, es decir, que el alumnado sepa que
esas ecuaciones, como todas, tienen solucin pero que, de momento,
est fuera de su alcance y, desde el punto de vista didctico, hasta es
bueno que les quede esa expectativa.
Obviamente estamos hablando de ecuaciones del tipo:
x
2
+ a = 0 con a > 0 [1]
Si se aplican los mecanismos de resolucin conocidos, se tiene que
x
2
= - a [2]
Sabemos que, en el campo de los nmeros reales, no existe ninguno
que elevado al cuadrado d un resultado negativo. Cuando se tiene la
frmula, casi algoritmo, de clculo de la ecuacin de segundo grado
ax
2
+ b x + c = 0
ya sabemos que si el discriminante es menor que cero, esto es,
b
2
4ac < 0
entonces nos encontramos con esa situacin que vamos a resolver en
esta unidad y a tratar de conocer los nuevos nmeros que aparecen
que no son otros que los complejos.
La siguiente ecuacin responde a ese modelo:
x
2
+ 2x + 5 = 0 [3]
Insistimos en la necesidad de tener mucho cuidado en decir a los
estudiantes que esas ecuaciones no tienen solucin sin aadir es
que no la tienen en los campos numricos que conocemos hasta ese
momento. Ese momento ha llegado, precisamente, con esta unidad.
Haremos una introduccin formal de los nmeros complejos
demostrando que tienen estructura de cuerpo conmutativo con las
operaciones que se definen.
Es aconsejable leer primero la gua didctica.






Los ltimos de la familia de los nmeros
Si se atiende al desarrollo histrico, los nmeros complejos fueron los ltimos en
aparecer y ser conocidos con rigor por parte de los matemticos. Ya sabemos que
existen ecuaciones de segundo grado que no tienen solucin en el campo de los
nmeros reales. Esto se supo desde que el lgebra acometi la resolucin de esas
ecuaciones y se les adjudic el poco afortunado nombre de soluciones imaginarias
o nmeros imaginarios que dio paso a los nmeros complejos.
En el siglo XVI se introdujo el smbolo
1
como solucin de la ecuacin:
x
2
+ a = 0 con a > 0 [1]
que no es otra cosa que aplicar los mecanismos conocidos del lgebra a la expresin
x
2
= - a
Ms tarde fue representado por la letra i y se le consider como un nmero ficticio
o imaginario pero que deba tratarse algebraicamente como si fuera un nmero
real, solo que con la extraa propiedad de que su cuadrado es igual a 1, esto es:
i
2
= - 1
De esta forma, la ecuacin [1] puede escribirse:
x
2
+ 1 = x
2
i
2
= (x + i)(x i) = 0
lo que da como soluciones:
x1 = i ; x2 = - i
Con esta decisin, la ecuacin x
2
+ 2x + 5 = 0 tiene como soluciones:
x1 = - 1 + 2i ; x2 = - 1 2i
Pero estas expresiones fueron utilizadas de manera un tanto formal durante casi
300 aos hasta que a principios del siglo XIX Karl Friedrich Gauss (1777-1855) y
William Rowan Hamilton (1805-1865), de forma independiente uno del otro y casi
al mismo tiempo, propusieron la idea de definir los nmeros complejos como pares
ordenados de nmeros reales (a,b) pero con unas propiedades especiales como
veremos ms adelante.
Cabe indicar que el nombre de nmeros imaginarios, con que a veces se les
denomina, no se ajusta al significado estricto de la palabra pues son unos nmeros
que resuelven un sinfn de situaciones de la ciencia y la tecnologa. Se podra decir
que fue un nombre desafortunado pero que hizo fortuna









Objetivos
- Comprender por qu es necesario ampliar el conjunto de los
nmeros reales.
- Manejar la unidad imaginaria y sus potencias.
- Operar con nmeros complejos.
- Nmeros complejos conjugados y sus propiedades.
- Resolucin de ecuaciones de segundo grado.
- Representacin grfica del nmero complejo.
- Potencias de nmeros complejos. Frmula de De Moivre.
- Races de cualquier ndice de nmeros complejos.
La unidad imaginaria.
La gua introduce el tema con el conocimiento de las potencias
sucesivas de la unidad imaginaria que recordamos a continuacin. Es
un elemento clave para la correcta interpretacin de los nmeros
complejos. Si observamos las siguientes situaciones, veremos que
esas races de radicando negativo se pueden transformar en todos los
casos, en el producto de un nmero real por la raz cuadrada de la
unidad negativa:
1 21 ) 1 ( 21 21
1 4 1 16 ) 1 ( 16 16
= =
= = =

Pues bien, a ese misterioso nmero, Leonard Euler (1707-1783) lo
llam unidad imaginaria y lo represent con la letra i, es decir:
1 = i
En consecuencia,
i
0
= 1 (por qu)
i
1
= i
i
2
= - 1
i
3
= i
2
. i = (- 1).i = - i
Se comprueba cmo las potencias de i se repiten peridicamente de
cuatro en cuatro de tal forma que basta con dividir el exponente
entre 4 y observar el resto de la divisin.



En efecto, si queremos averiguar i
231
hacemos lo siguiente:



Por lo tanto
i
231
= i
57.4 + 3
= i
57.4
. i
3
= (i
4
)
57
. i
3
= i
3
= - i
ya que, por el resultado anterior sabemos que i
4
= 1

Un ejercicio para reforzar el procedimiento:
Ejercicio 1.- Calcular:
a) i
13
b) i
18
c) i
76
d) i
487
e) i
1289


El nmero complejo. Definicin y propiedades.
Pasemos a resolver la ecuacin
x
2
+ 2x + 5 = 0 [3]
mediante la conocida frmula:


=

=

=

= = + +
2
4 2
2
1 16 2
2
16 2
2
20 4 2
0 5 2
2
i
x x x

i
i
x
i
i
x
2 1
2
4 2
2 1
2
4 2
2
1
=

=
+ =
+
=

Pues bien, la unidad imaginaria i ha permitido expresar las dos races
de la ecuacin [3] que, como ya sabamos, no tiene solucin en el
campo de los nmeros reales.
A esos nmeros, que primero se les llam imaginarios, a partir de
Gauss se les ha venido llamando complejos. Obsrvese que las dos
soluciones x1 y x2 de la ecuacin de segundo grado resuelta y
simplificada, tienen dos partes: - 1 en ambas y 2i y 2i como
segundas partes. Pues bien, los nmeros que tienen esa forma,
reciben el nombre de nmeros complejos.



231 4
31 57 231=57. 4 +3
3
Este resultado permite definir el nmero complejo como un par de
nmeros reales ordenado (a,b) con unas propiedades que definimos a
continuacin.
Definicin Se llama nmero complejo al par ordenado de
nmeros reales z=(a, b) para los que la igualdad, la
suma y el producto se definen de la siguiente forma:
Igualdad: (a, b) = (c, d) si a = c y b = d
Suma: (a, b) + (c, d) = (a + c, b + d)
Producto: (a, b). (c, d) = (ac bd, ad + bc)
Los nmeros a y b se llaman, respectivamente, parte
real y parte imaginaria del nmero complejo z que
notaremos como Re(z) e Im(z).
Como puede observarse, con esta definicin no ha sido necesario
recurrir a la unidad imaginaria sino que aparecer despus como un
nmero complejo particular.
Se puede comprobar sin ms dificultad que la que supone el manejo
algebraico de las operaciones definidas, que stas verifican el
siguiente teorema:
Siendo x = (a, b), y = (c, d) y z = (e, f) tres nmeros complejos, las
operaciones definidas verifican las propiedades:
Tambin se verifica la propiedad distributiva de la suma respecto de
la multiplicacin:
x .(y + z) = x.y + x.z
Todas esas propiedades permiten afirmar que el conjunto de los
nmeros complejos tiene estructura de cuerpo conmutativo
respecto de las dos operaciones, suma y producto, definidas.
El conjunto de los nmeros complejos lo notaremos con la letra C.


Propiedad Suma Producto
Conmutativa x+y = y +x x. y = y. x
Existencia de
elemento neutro
(a, b)+(0,0)=(a, b) (a, b).(1,0) = (a, b)
Asociativa x+(y+z)=(x+y)+ z x.(y. z) = (x. y).z
Existencia de
elemento
opuesto/inverso
(a, b) +(-a,-b)=(0,0)
Siendo (a, b) (0,0),
(a, b).(a/a
2
+b
2
, -b/ a
2
+b
2
)= (1,0)
Demostremos la existencia del elemento inverso:
Decimos que el complejo (c, d) es el elemento inverso del complejo
(a, b) si:
(1,0) = d) b).(c, (a,
Teniendo en cuenta las definiciones de producto y de igualdad de
complejos dadas anteriormente se tiene que:
)
`

= +
=

0
1
(1,0) = bc) + ad bd, - (ac = d) b).(c, (a,
bc ad
bd ac

Se trata de un sistema de dos ecuaciones y dos incgnitas que son c
y d que, una vez resuelto permite obtener:
2 2 2 2
d ; c
b a
b
b a
a
+

=
+
=
De ese resultado se deduce la necesidad de imponer la condicin
(a, b) (0,0).
Podemos escribir, por tanto, que:
El inverso del nmero complejo (a, b) es:
|
.
|

\
|
+

+
= =

2 2 2 2
1
,
) , (
1
) , (
b a
b
b a
a
b a
b a
Divisin de nmeros complejos.
La existencia del nmero complejo inverso nos permite obtener el
cociente de dos nmeros complejos.
En efecto, dados los nmeros (a, b) y (c, d), el cociente de estos dos
nmeros ser un nmero complejo (m, n) tal que:
(a, b). (m, n) = (c, d)
con lo que:
(m, n) = (c, d). (a, b)
-1

La expresin final nos indica que el divisor ha de cumplir la condicin
(a, b) (0,0) por lo ya visto.
No vamos a desarrollar ese resultado final porque ms adelante
tendremos otra expresin del nmero complejo (la binomial), que nos
permitir hacerlo de forma ms sencilla.


Subconjunto de C isomorfo al conjunto de los nmeros
reales.
Consideramos el subconjunto C
0
de C formado por los nmeros
complejos de la forma (a, 0), es decir:
C
0 =
{ } R a a e ), 0 , (
Teorema La suma y el producto definidos en C son leyes internas
en C
0.


Demostracin
En efecto: Sean (a, 0) y (b, 0) dos elementos de C
0
.
Se comprueba que:
(a,0) + (b,0) = (a+b,0)eC
0

(a,0).(b,0) = (ab,0)eC
0

Por lo tanto, los elementos del conjunto C
0
tienen el mismo
comportamiento que el conjunto de los nmeros reales por lo
que podemos decir que ambos conjuntos son isomorfos. Por
eso no habr problemas con identificar con un nmero real al
nmero complejo (a,0), es decir, al que tiene nula la parte
imaginaria: (a,0) = a
El nmero complejo (0,1)
Como es sabido, el conjunto de los nmeros reales es un conjunto
ordenado y adems, el cuadrado de un nmero real no nulo es
siempre un nmero real positivo. Sin embargo, en el conjunto de los
nmeros complejos, con las operaciones definidas comprobaremos
que el cuadrado (0,1) se podr identificar con un nmero real
negativo. En efecto:
(0,1). (0,1) = (0.0 1.1, 0.1 + 1.0) = (- 1, 0) = -1
Pues bien, a este nmero le llamaremos unidad imaginaria y le
representaremos, como ya es sabido con la letra i, es decir:
i = (0,1)
Forma binmica de un nmero complejo.
El resultado anterior nos va a permitir pasar de la forma de par
ordenado que estamos dando al nmero complejo a la conocida
forma binmica.
Veamos primero el siguiente resultado:
(b, 0).(0,1) = (b.0 0.1, b.1 + 0.0) = (0,b)
Observemos ahora lo siguiente:
(a, b) = (a, 0) + (0, b) = (a,0) + (b,0).(0,1) = a + bi
Una vez que llegamos a este resultado, se puede ver el desarrollo de
las operaciones en la gua didctica que, en definitiva, no son otras
que las definidas anteriormente. Veamos algunas ideas que
complementan y completan lo expuesto en la unidad didctica.
Representacin grfica.
Se ha indicado que no conviene identificar la representacin del
nmero complejo en el plano complejo con el
vector aunque haya algunas coincidencias. As, por
ejemplo, si los nmeros complejos z
1
= a + bi y z
2
= c + di se representan mediante la
correspondiente flecha que une el origen con el
afijo, entonces para hallar la suma de ambos z
1
+
z
2
funciona la regla del paralelogramo como se
seala en la figura 1 y puede comprobarse con
algn ejemplo concreto.
Sin embargo, no podemos hablar, por ejemplo, de nmeros
complejos libres como ocurre con los vectores ni de otras muchas
cuestiones propias de stos.
Para el mdulo de un nmero complejo se utiliza una notacin que
coincide con la de valor absoluto de un nmero.
Ambos conceptos son equivalentes en el sentido de que el mdulo se
define como la distancia del origen al afijo del complejo y, desde
luego, el valor absoluto de un nmero real es tambin la distancia de
su afijo al origen como puede verse en la figura 2. Por eso en algunos
libros al mdulo de un complejo tambin se le llama valor absoluto.






Fig. 1




Fig. 2
Sean aeR R y ze C C a = distancia OA
z = distancia OZ




Conjunto no ordenado.
As como todos los conjuntos numricos estudiados son ordenados,
no sucede as con C. Existen sin embargo algunos criterios que
permiten definir una pseudoordenacin.
Por ejemplo: decimos que z = a + bi es positivo si y solo si a > 0.
Comprobar que no se cumplen todos los axiomas necesarios para que esta
relacin sea de orden.
Forma exponencial del nmero complejo.
Adems de las formas de par ordenado, binmica, polar y
trigonomtrica introducidas en la gua didctica, existe una forma
llamada exponencial que vamos a exponer a continuacin y que es
til en determinado tipo de problemas.
Para seguir adelante deben manejarse nociones de las ecuaciones
diferenciales porque van a surgir en el desarrollo. Si no se conocen,
puede pasarse a la expresin [5] que es la conocida como forma
exponencial del nmero complejo y observar cmo se verifican las
propiedades conocidas.
Sea z =x+yi. Si escribimos e
x + yi
y admitimos que se verifica la
conocida ley que nos permite dar el siguiente paso:
e
x + yi
= e
x
. e
yi

el factor e
x
es la conocida funcin exponencial al ser x un nmero
real. La novedad est en el factor e
yi
en el que la y es tambin un
nmero real pero yi es imaginario. Lo que se va a hacer a
continuacin es tratar de obtener una expresin de este factor que
est en el campo de los nmeros complejos. En ese sentido, si e
yi
ha
de ser un nmero complejo, puesto que y es una variable real, tendr
que tener la forma:
e
yi
=f(y)+ig(y) [1]
siendo f y g dos funciones reales. El objetivo es determinarlas.
Derivando ambos miembros resulta:
ie
yi
=f(y)+ig(y) [2]
Se vuelve a derivar:
i
2
e
yi
=-e
yi
=f(y)+ig(y)e
yi
=-f(y)-ig(y) [3]
De las dos expresiones [1] y [3] sealadas sacamos la conclusin de
que:
f(y)=-f(y)f(y)+f(y)=0
g(y)=-g(y)g(y)+g(y)=0

Por lo sabido de ecuaciones diferenciales, se trata de ecuaciones que
tienen una solucin con valores iniciales asignados f(0), f(0), g(0) y
g(0).
Teniendo en cuenta las expresiones [1] y [2] y recordando que e
0
=1,
entonces se deduce:
De [1]: e
yi
=f(y) + ig(y) e
0
=f(0) + ig(0) 1=f(0)+ig(0) f(0) =1;
g(0)=0
De [2]: ie
yi
=f(y)+ig(y)ie
0i
=f(0)+ig(0)i=f(0)+ig(0)f(0)=0;
g(0)=1
Segn el teorema de unicidad para las ecuaciones diferenciales de
segundo orden con coeficientes constantes, debe ser:
f(y)=cos y . g(y)=seny
As que, si e
yi
es un nmero complejo en la forma que acabamos de
obtener, entonces ha de ser
e
yi
=cos y+ isen y [4]

La frmula e
yi
=cos y+ isen y se denomina frmula de Euler.
Otra mtodo de deduccin de la formula de Euler est relacionado
con el desarrollo de funciones en serie.
Se sabe que:
Siendo de notar que la serie converge para todos x, lo que nos permite el
nmero x, en , si es posible, incluso complejo.


Pero se conoce que :
= + y =
(Las series tambin convergen para todos x)
llegamos de nuevo a la misma frmula de Euler : =cos k + i sen k





Todo este proceso da lugar a la siguiente definicin:
Definicin Si z=x+ iy, definimos e
z
como el nmero complejo dado
por la ecuacin:
e
z
= e
x+iy
= e
x
(cos y+isen y)
Con todo lo expuesto podemos obtener la conocida como forma
exponencial de un nmero complejo que dice as:

Siendo z un nmero complejo no nulo, cuyo mdulo es r y su
argumento , a partir de la forma trigonomtrica

y de [4] sabemos que (cos + isen) es e
i
entonces z puede
expresarse de la forma: z = re
i

Obsrvese que es una expresin de gran sencillez que permite, entre
otras cosas, operar con gran facilidad con nmeros complejos. As,
por ejemplo:
Si z =re
i
y w =se
i
entonces:
z.w=re
i
. se
i
=rse
i(+ )
z:w=re
i
: se
i
=(r:s). e
i ()
z
n
= (re
i
)
n
=r
n
(e
i
)
n
=r
n
e
in



[5]