Anda di halaman 1dari 18

w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 2
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
INTRODUCCIN ___________________

A menudo los ms pequeos nos preguntan: Y cunto vale la raz de un nmero negativo? y
debemos responderles: No existe Este math-block pretende dar respuesta a estas preguntas a
partir de la resolucin de la ecuaciones introduciendo lo que llamamos los nmeros complejos.
Para ello partimos de la ecuacin sin solucin real ms sencilla que existe y que no posee
solucin en los nmeros reales: z
2
+1=0. Sus soluciones son la unidad imaginaria j (j
2
=-1) que nos
permite resolver la raz cuadrada de cualquier nmero real negativo, en particular del 1. Slo con
esta informacin somos capaces de obtener todas las soluciones de ecuaciones de segundo y
tercer grado, utilizando la frmula de segundo grado y la frmula de Cardano, respectivamente. A
partir de aqu presentaremos la aritmtica en los complejos que incluyen a los nmeros reales as
como algunas propiedades de inters.


OBJETIVOS DOCENTES ___ ___________________________________

Proporcionar una primera introduccin a los nmeros complejos, como soluciones de ecuaciones
algebraicas.

Desarrollar cierta soltura para calcular con ellos en los distintos formalismos.

Ilustrar la resolucin de ecuaciones y el clculo con nmeros complejos, en general, con el
programa Mathcad.


CONOCIMIENTOS PREVIOS ___________________________________

Es recomendable que, previamente, se dominen los siguientes apartados:

Ecuacin de segundo grado. Su resolucin. Grfica a la que corresponde.

Asimismo tambin es muy aconsejable que se tenga un conocimiento mnimo del programa Mathcad.

Por lo tanto se recomienda la lectura previa de los Mathblocks: Uso bsico del Mathcad en Anlisis
(I): clculo simblico y analtico, Funciones de una variable y Series de potencias.

CONCEPTOS FUNDAMENTALES ______________________________


Los nmeros reales

El sistema numrico, como nosotros lo conocemos en la actualidad, es el resultado de una evolucin
gradual en la historia de las Matemticas. Describimos brevemente los tipos de nmeros que la
humanidad ha ido descubriendo [1].

Los nmeros naturales: 1, 2, 3, ...., o tambin llamados enteros positivos. Fueron usados
primero para contar. Los smbolos han cambiado con las pocas, pues los romanos, por
ejemplo, utilizaban I, II, III, IV, .... . La suma, b a + , y el producto, b a , de dos nmeros
naturales sn tambin nmeros naturales, lo cual se puede expresar diciendo que el conjunto
de los nmeros naturales es cerrado respecto a las operaciones de suma y producto o que
cumple la propiedad de clausura con relacin a estas operaciones.

Los enteros negativos y el cero, despus denotados por 1, -2, -3, .... y 0, respectivamente,
que permiten resolver ecuaciones como a b x = + con a y b naturales, llevan a la
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 3
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
operacin de resta, que se escribe b a x = . El conjunto de enteros positivos y negativos
con el cero se llama el conjunto de los enteros y es cerrado bajo las operaciones de suma,
producto y resta.

Los nmeros racionales o fracciones, tales como 3/4, -8/3, ... permiten resolver
ecuaciones de la forma a bx = para enteros cualesquiera a y b , con 0 b , los cuales
conducen a la operacin de divisin o inversa del producto, que se representa como
b a x / = (llamado cociente de a y b ) donde a es el numerador y b el denominador.

El conjunto de los enteros es un subconjunto de los nmeros racionales, puesto que los
enteros corresponden a los nmeros racionales con 1 = b .

El conjunto de nmeros racionales es cerrado bajo las operaciones de suma, sustraccin,
multiplicacin y divisin, excluyendo la divisin por cero.

Los nmeros irracionales, tales como 41423 , 1 2 = ... y 14159 , 3 = ... son nmeros que
no son racionales, es decir, no pueden ser expresados como b a / donde a y b son enteros
y 0 b .

El conjunto de nmeros racionales e irracionales es llamado el conjunto de los nmeros reales. Se
supone que el estudiante est ya familiarizado con las diversas operaciones con nmeros reales.

Es conocido que los nmeros reales pueden representarse por puntos de una recta infinita que
llamamos eje o recta real. El punto correspondiente al cero, se llama origen. Recprocamente, para
cada punto sobre la recta hay uno y solamente un nmero real. Si un punto A correspondiente a un
nmero real a est ubicado a la derecha de un punto B correspondiente a un nmero real b, decimos
que a es mayor que b o que b es menor que a y escribimos respectivamente b a > o a b < y a 0 si
0 = a . Decimos que el conjunto de los nmeros reales satisfacen una relacin de orden.

El conjunto de todos los valores de x , tal que b x a < < se llama un intervalo abierto sobre el eje
real, minetras que b x a , el cual incluye los extremos a y b , se llama un intervalo cerrado. El
smbolo x , que puede representar a cualquier elemento del conjunto de nmeros reales, es llamado
una variable real.

El valor absoluto de un nmero real a , denotado por a es igual a a si 0 > a , a a si 0 < a y a
0 si 0 = a . La distancia entre dos puntos a y b sobre el eje real es b a .


Definicin de un nmero complejo [2]

No existe un nmero real x que satisfaga la ecuacin polinmica 0 1
2
= + x . Para resolver este tipo
de ecuaciones, es necesario introducir los nmeros complejos.

Se define un nmero complejo, z , mediante la siguiente expresin:

jy x z +

donde x e y son una pareja cualquiera de nmeros reales. Llamamos j a la unidad imaginaria
compleja. Definimos j de la siguiente manera:
1
2
j .

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 4
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Si jb a z + = , a se llama la parte real de z y b la parte imaginaria de z y se denominan
mediante ) (z a = y ) (z b = , respectivamente. El smbolo z , que puede representar cualquier
elemento del conjunto de nmeros complejos, es llamado una variable compleja.

Dos nmeros complejos jb a + y jd c + son iguales si y solamente si c a = y d b = . Podemos
considerar los nmeros reales como el subconjunto del conjunto de los nmeros complejos con
0 = b . En este caso por ejemplo, los nmeros complejos 0 0 j + y 0 3 j + representan los
nmeros reales 0 y 3, respectivamente. Si 0 = a , el nmero complejo jb + 0 o jb se llama un
nmero imaginario puro.

El conjugado de un nmero complejo jb a + es jb a . El conjugado de un nmero complejo z se
indica frecuentemente por
*
z o

z .


Operaciones aritmticas con nmeros complejos en forma binmica

Suma

( ) ( ) ( ) ( ) d b j c a jd c jb a + + + = + + +


Resta

( ) ( ) ( ) ( ) d b j c a jd c jb a + = + +


Producto

( ) ( ) ( ) ( ) bc ad j bd ac bd j jbc jad ac jd c jb a + + = + + + = + +
2



Divisin

( )
( )
( )
( )
( )
( )
=

+
=

+
+
=
+
+
2 2 2
2
d j c
bd j jbc jad ac
jd c
jd c
jd c
jb a
jd c
jb a


( )
2 2 2 2 2 2
d c
ad bc
j
d c
bd ac
d c
ad bc j bd ac
+

+
+
+
=
+
+ +
=


El cuerpo de los nmeros complejos

Se puede probar que si
1
z ,
2
z y
3
z pertenecen al conjunto de los nmeros complejos, C,
2 1
z z + ,
entonces, satisfacen las siguientes propiedades:

1.
2 1
z z + y
2 1
z z pertenecen a C Ley de clausura

2.
1 2 2 1
z z z z + = + Ley conmutativa de la suma
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 5
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

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

4.
1 2 2 1
z z z z = Ley conmutativa del producto

5. ( ) ( )
3 2 1 3 2 1
z z z z z z = Ley asociativa del producto

6. ( )
3 1 2 1 3 2 1
z z z z z z z + = + Ley distributiva

7.
1 1 1
0 0 z z z = + = + , 0 es llamado el elemento neutro de la suma y 1 es el llamado elemento
neutro del producto.

8. Para cualquier nmero complejo,
1
z , distinto de cero, existe un nmero nico z en C tal que
0
1
= + z z ; z se llama el opuesto de
1
z con respecto a la suma y se denota por
1
z .

9. Para cualquier 0
1
z , existe un nmero nico z en C tal que 1
1 1
= = zz z z ; z se llama el
inverso de
1
z con respecto al producto y es denotado por
1
1

z o
1
1 z .

En general, cualquier conjunto, como C, cuyos elementos satisfagan las propiedades anteriores, se
dice que es un cuerpo.


Representacin grfica de los nmeros complejos

Si se eligen ejes reales sobre dos rectas perpendiculares (los ejes x e y , respectivamente),
podemos situar cualquier punto del plano determinado por estas rectas mediante la pareja ordenada
de nmeros reales ( ) y x, o coordenadas cartesianas del punto. Como un nmero complejo jy x +
se puede considerar como una pareja ordenada de nmeros reales, podemos representar estos
nmeros por puntos en el plano xy , llamado el plano complementario o diagrama de Argand. Por
ejemplo, el nmero complejo 4 3 j + tambin se puede leer, entonces, como el par ordenado( ) 4 , 3 .
As, a cada nmero complejo corresponde uno y solamente un punto en el plano y recprocamente a
cada punto en el plano le corresponde uno y solamente un nmero complejo. A causa de esto, a
menudo mencionamos al nmero complejo z como el punto z .

Nos referimos a los ejes x y y como los ejes real e imaginario, respectivamente y al plano
complejo como al plano z . La distancia entre dos puntos
1 1 1
jy x z + = y
2 2 2
jy x z + = en el plano
complejo viene dada por ( ) ( )
2
2 1
2
2 1 2 1
y y x x z z + = .


Mdulo y argumento de un nmero complejo

Si P es un punto en el plano complejo correspondiente al nmero complejo ( ) y x, o jy x + , entonces
podemos definir el mdulo, ( ) z mod o z , de dicho complejo de la siguiente forma:
2 2
y x z + .
Tambin podemos definir el argumento de este complejo, ( ) z arg o ( ) z , como el ngulo que forma
la recta OP con el eje OX positivo. A partir de la trigonometria se deduce que:
( ) sin cos j r jy x z + = + =

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 6
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Esta ltima es la llamada forma polar o mdulo-argumental del nmero complejo r y ( ) z reciben el
nombre de coordenadas polares.

Para cualquier nmero complejo 0 z corresponde solamente un valor de en 2 0 < . No
obstante, cualquier otro intervalo de longitud 2 , por ejemplo, < , se puede emplear. Esta
eleccin particular recibe el nombre de la parte principal y el valor de se llama valor principal.


Producto, divisin y potenciacin [2]

El mdulo de un producto de nmeros complejos ( )
1 1 1 1 1 1
sin cos j r jy x z + = + = y
( )
2 2 2 2 2 2
sin cos j r jy x z + = + = es igual al producto de los mdulos de esos nmeros mientras
que el argumento del producto es igual a la suma de los argumentos de esos nmeros complejos. Es
decir:

2 1 2 1 2 1
z z r r z z = = ) arg( ) arg( ) arg(
2 1 2 1 2 1
z z z z + = + =


para comprobarlo basta con ver que:

( ) ( ) | | = + + =
2 1 2 1 2 1 2 1 2 1 2 1
sin cos cos sin sin sin cos cos j r r z z

( ) ( ) | |
2 1 2 1 2 1
sin cos + + + = j r r


En el caso de la divisin de dos nmeros complejos, el mdulo es el cociente entre los mdulos de
los dos nmeros, mientras que el argumento del cociente es igual a la diferencia de los argumentos
del dividendo y del divisor. El lector puede comprobar el resultado bien mediante el uso de
expresiones trigonomtricas o recordando que dividir es multiplicar por el inverso. El inverso de un
nmero complejo tiene por mdulo el inverso del mdulo y, por argumento menos el argumento del
complejo considerado. As pues:

2
1
2
1
2
1
z
z
r
r
z
z
= = ) arg( ) arg( ) arg(
2 1 2 1
2
1
z z
z
z
= =


Teorema de Moivre [1]

Si multiplicamos n nmeros complejos, a partir de la expresin del producto de dos nmeros
complejos obtenemos que el producto de n nmeros complejos equivale a un complejo cuyo mdulo
es el producto de los n mdulos y el argumento, la suma de los n argumentos. De esta forma:

( ) ( ) { }
n n n n
j r r r r z z z z + + + + + + + + + = L L L L
3 2 1 3 2 1 3 2 1 3 2 1
sin cos

Tomando todos los complejos iguales z z z z z
n
= = = = = L
3 2 1
, la expresin anterior queda
como:

( ) ( ) { } n j n r z
n n
sin cos + =

Por otro lado, la n-sima potencia del nmero complejo z tambin puede expresarse, lgicamente
como:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 7
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

( ) ( ) ( ) { }
n
n
j r z sin cos + =

y igualando las dos ltimas expresiones llegamos al Teorema de Moivre:

( ) ( ) ( ) { } ( ) ( ) ( ) n j n r j r z
n
n
n
sin cos sin cos + = + =


Radicacin [2]

El teorema de Moivre nos permite calcular fcilmente la expresin para las races de cualquier
nmero complejo. Un nmero w es una de las n races n-simas de un nmero complejo z , si
n
z w
/ 1
= . Del Teorema de Moivre, podemos demostrar que las n races de z ,
k
w son:

( ) ( ) ( ) { } = + = =
n
n
k
j r z w
1
1
sin cos

)
`

|
.
|

\
|
+
+
|
.
|

\
|
+
=
n
k
j
n
k
r
n
2
sin
2
cos
1
con 1 , , 2 , 1 , 0 = n k K


Estos n valores distintos surgen debido a la posibilidad de obtener un mismo nmero complejo
sumando vueltas enteras (de 2 ) al argumento.


Frmula de Euler [2]

La extensin compleja de la funcin exponencial viene definida a partir de la serie de potencias

K + + + + = ! 3 ! 2 1
3 2
x x x e
x



Substituyendo la variable x por j , llegamos al resultado siguiente:

( ) ( ) ( ) = + + + + + = K ! 4 ! 3 ! 2 1
4 3 2

j j j j e
j


( ) ( ) sin cos 3 ! 4 ! 2 1
3 4 2
j j + = + + + = K K


donde K 71828 , 2 = e . Esta frmula recibe el nombre de frmula de Euler. A partir de esta
expresin y definiendo la exponencial de un nmero complejo como:

jy x jy x z
e e e e
+


y utilizando la frmula de Euler, obtenemos:

( ) sin cos j e e e e e
x jy x jy x z
+ =
+


Un caso particular de la frmula de Euler es:

0 1 = +
j
e

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 8
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
que relaciona elementos matemticos tan diferentes como el 0 y el natural 1, los irracionales e y , y
el imaginario puro j.


Funciones trigonomtricas complejas y funciones hiperblicas [3]

Las funciones hiperblicas introducidas en el Mathblock Funciones de una variable se pueden
expresar a partir de funciones trigonomtricas en el plano complejo.

Ampliemos las definiciones de las funciones seno y coseno en el plano complejo:


2
cos
jz jz
e e
z

+
=
j
e e
z
jz jz
2
sin

=


Cuando z es real, estas frmulas coinciden con las funciones seno y coseno ordinarias. Cuando z
es imaginario puro, esto es jy z = , obtenemos:

2 2 2
cos
2 2
y y y y y j y j
e e e e e e
jy

+
=
+
=
+
=
2 2 2 2
sin
2 2
y y y y y y y j y j
e e
j
j
e e
j
e e
j
e e
jy

=


con lo cual podemos establecer la relacin existente entre las funciones trigonomtricas de
argumento complejo y las funciones hiperblicas:

y jy cosh cos =

y j jy sinh sin =



CASOS PRCTICOS CON SOFTWARE___________________________________


Resolucin de ecuaciones de tercer grado. Soluciones reales y complejas

La busqueda de todas las races o soluciones de un polinomio cualquiera de grado mayor o igual que
dos es en general un problema sin solucin en los nmeros reales. En particular, la ecuacin
0 1
2
= + x no presentan ninguna solucin en . Sabemos por el Mathblock Funciones de una
variable donde tratamos la interseccin de las parbolas con el eje de las x , que esta ecuacin
corresponde a buscar la interseccin entre una parbola que pasa por encima del eje de las x y este
eje. Como la interseccin no existe, la ecuacin no tiene ninguna solucin en . Veamos a
continuacin un ejemplo de resolucin de ecuaciones de tercer grado y su interpretacin grfica.
Vamos a encontrar las soluciones de la siguiente ecuacin de tercer grado: 0 1
2 3
= + z z z .

Aplicaremos la frmula de Cardano [4] que proporciona las soluciones de cualquier ecuacin de
tercer grado con coeficientes reales: 0
0 1
2
2
3
3
= + + + a z a z a z a , substituyendo a
2
=-1, a
1
=1 y a
0
=-1.,
En primer lugar, calculemos los parmetros q , r ,
1
s y
2
s :

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 9
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
9
2
9
1
3
1
3 3
2
2 1
= = |
.
|

\
|
=
a a
q
27
10
27
1
3
1
27
1
6
3 1
27 6
3
3
2 0 2 1
= + = +
+
=

=
a a a a
r

3 3
3
2 3
1
729
108
27
10
729
100
729
8
27
10
+ = + + = + + = r q r s
3
3
2 3
2
729
108
27
10
= + = r q r s


Entonces tenemos:

1
3
1
3
2
3
1
729
108
27
10
729
108
27
10
3
3 3
2
2 1 1
= + =
|
.
|

\
|
+ + = + =
a
s s z

j j j s s
a s s
z =
(
(

+ + + = +
+
=
3 3
2 1
2 2 1
2
729
108
27
10
729
108
27
10
2
3
3
1
3
1
) (
2
3
3 2


j j j s s
a s s
z =
(
(

+ + =
+
=
3 3
2 1
2 2 1
3
729
108
27
10
729
108
27
10
2
3
3
1
3
1
) (
2
3
3 2



Las tres soluciones de la ecuacin son: 1, +j y j. Y por lo tanto, tenemos que el polinomio z
3
-z
2
+z-1
tambin puede expresarse como (z-1)(z-j)(z+j).




Utilicemos Mathcad para encontrar
las soluciones de la ecuacin z
3
-z
2
+z-
1.


La instruccin polyroots permite a
partir del conocimiento de los
coeficientes de un polinomio,
obtener todas sus races, ya sean
reales o complejas. Para ello, basta
con haber construido el vector de
coeficientes y aplicarle la instruccin
mencionada.
v
1
1
1
1
|

\
|
|
|
|
|
.
:=
polyroots v ( )
j
j
1
|

\
|
|
|
.
=


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 10
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Representemos la
funcin real y=x
3
-x
2
+x-1
asociada a la ecuacin
compleja z
3
-z
2
+z-1=0.

Se observa que la
funcin tiende a menos
infinito cuando la
variable tiende a menos
infinito, y, a ms
infinito, cuando la
variable tiende a ms
infinito.

En particular, una
ampliacin cerca del
origen de coordenadas
nos permite comprobar
que el nico cruce con el
eje x se produce en x=1
e y=0.
10 0 10
10
0
10
x
3
x
2
x + 1
x
2 1 0 1 2
2
1
0
1
2
x
3
x
2
x + 1



Suma, resta, producto y divisin de nmeros complejos en forma binmica

Con el propsito de ilustrar las operaciones aritmticas con complejos en forma binmica, vamos a
efectuar las siguientes operaciones

a)
j z z
z z
+ +
+ +
2 1
2 1
1
b)
|
|
.
|

\
|
+
2
2
1
1
2
1
z
z
z
z
c) ( )
2 1
3 Re z z d) ( )
2 1
Im z z +

con los complejos z
1
=1-j, z
2
=3+j.


a) En primer lugar efectuemos las sumas en el numerador y el denominador:

3 2 1 3 1 1
2 1
+ = + + + = + + j j z z
j j j j j z z + + = + + + = + + 3 1 3 1
2 1


Como el mdulo de un cociente de complejos corresponde al cociente de los respectivos mdulos, no
es necesario multiplicar numerador y denominador por el conjugado del denominador. Basta con
buscar el mdulo de cada parte de la fraccin:

( ) 1 3 1
3 2
3 1
3 2
1
1
2
2 1
2 1
2 1
2 1
+ +
+
=
+ +
+
=
+ +
+ +
=
+ +
+ +
j
j z z
z z
j z z
z z

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 11
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Utilicemos Mathcad para verificar
esta operacin. En primer lugar
definamos los complejos z
1
=1-j y
z
2
=3+j.

Luego calculemos el complejo del
cual deseamos obtener el mdulo
mediante el Evaluate Symbolically.

Despus de calcular el mdulo,
tambin con la instruccin
Evaluate Symbolically, utilizamos
el Evaluate Numerically para
conocer el valor numrico de dicho
mdulo.

z1 1 j :=
z2 3 j + :=
z1 z2 + 1 + ( )
z1 z2 + j + ( )
2 3
1
2
+
|

\
|
|
.
1 3
1
2
+ i +
|

\
|
|
.

z1 z2 + 1 + ( )
z1 z2 + j + ( )
2 3
1
2
+
|

\
|
|
.
1 3
1
2
+
|

\
|
|
.
2
1 +

(
(
(

1
2
1.283 =



b) Aplicando la definicin de mdulo de un nmero complejo, podemos escribir:


( )
( )
( )
( )
( )
( )
( )
( )
=
|
|
.
|

\
|

=
|
|
.
|

\
|
+

+
+

=
|
|
.
|

\
|
+
j
j
j
j
j
j
j
j
j
j
j
j
z
z
z
z
3
3
3
3
1
1
1
1
2
1
3
3
1
1
2
1
2
1
2
2
1
1



donde hemos multiplicado numerador y denominador por el conjugado del denominador y obtenemos:

( ) ( ) j
j
j
j j
3 2 1
4
1
2
3 1
2
1
4
3 2 2
2
2
2
1
+ =
|
|
.
|

\
|

+ =
|
|
.
|

\
|

+

=


Con Mathcad verificamos esta
operacin.


Despus de definir los complejos
z
1
y z
2
, introducimos la expresin a
evaluar.

Utilizando la instruccin de
simplificacin Symbolic Complex
Evaluation comprobamos el
resultado.
z1 1 j :=
z2 3 j + :=
1
2
z1
z1

z2

z2
+
|

\
|
|
.
complex
1
4
i
1
2
1
4
3
1
2

|

\
|
|
|
.
+

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 12
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
c) Evaluemos la expresin dentro de la operacin parte real (Re()):

( ) ( ) ( )j j j j j z z 3 1 3 3 3 3 1 3 3
2 1
= + = =


cuya parte real es cero. Verificamos este resultado tambin con Mathcad.



Despus de definir los complejos
z
1
y z
2
, introducimos la expresin a
evaluar.


Utilizando la instruccin de
simplificacin Symbolic Complex
Evaluation comprobamos el valor
del complejo, cuya parte real es
nula como podemos ver utilizando
la instruccin Re, que extrae la
parte real de un complejo.
z1 1 j :=
z2 3 j + :=
3z1 z2

complex i 3 1 + ( )
Re 3z1 z2

( )
0 =



d) La parte imaginaria (Im()) de un nmero complejo es el coeficiente real que multiplica a la unidad
imaginaria. As pues:

( ) ( ) ( ) ( ) ( ) 2 2 3 1 Im 3 1 Im Im
2 1
= + + = + + + = + j j j z z



Verifiquemos este ltimo resultado
con Mathcad.


Despus de definir los complejos
z
1
y z
2
, introducimos la expresin a
evaluar.


Utilizando la instruccin de
simplificacin Symbolic Complex
Evaluation comprobamos el valor
del complejo, cuya parte
imaginaria es igual a 2 como
podemos ver utilizando la
instruccin Im, que extrae la parte
imaginaria de un complejo.
z1 1 j :=
z2 3 j + :=
z1

z2 + complex 1 2 i + 3 +
Imz1

z2 +
( )
2 =


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 13
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)


Producto, divisin y potenciacin de nmeros complejos en forma polar

Como ilustracin del clculo con nmeros complejos en forma polar, vamos primero a convertir
complejos en forma binmica a polar para luego efectuar operaciones con ellos. En primer lugar,
convertiremos los siguientes complejos expresados en forma binmica: z
1
=1-3j, z
2
=(3+j)/4 a su
forma polar y luego buscaremos el resultado de las siguientes expresiones:

a
1
)
2
1
z
z
a
2
)
10
2
5
1
z z

Para convertir a forma polar los complejos z
1
y z
2
debemos calcular sus mdulos:

( ) 2 4 3 1
2
2
1
= = + = z

2
1
16
1
16
3
4
1
4
3
2
2
2
= + =
|
.
|

\
|
+
|
|
.
|

\
|
= z


y sus argumentos:

300 60
1
3
arctan
1
= =
|
|
.
|

\
|
=
30
4 3
4 1
arctan
2
=
|
|
.
|

\
|
=


donde hemos utilizado, en la determinacin unvoca del argumento, el hecho de que z
1
est en el
cuarto cuadrante y z
2
, en el primero. En forma polar, estos complejos corresponden a:

( ) ( ) ( )
j
e j z

= + =
60
1
2 60 sin 60 cos 2

( ) ( ) ( )
j
e j z

= + =
30
2
2
1
30 sin 30 cos
2
1



w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 14
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
a1) Efectuemos la divisin entre
1
z y
2
z en forma polar. El mdulo de esta divisin ser el cociente
de mdulos, es decir, 2 entre 1/2, 4. El argumento corresponder a la resta de los argumentos de
1
z
y
2
z , es decir, de 60 y 30, pues tenemos que tomar el signo opuesto al de
2
z al estar conjugado.
Por lo tanto, el argumento del cociente ser 30. El complejo que estamos buscando es, pues:
( ) ( ) ( )
j
e j

= +
30
4 30 sin 30 cos 4


a1

Verifiquemos los clculos en forma polar
con Mathcad.

Despus de definir los complejos z
1
y z
2
,
introducimos la expresin a evaluar.



Utilizando la instruccin de simplificacin
Symbolic Complex Evaluation obtenemos
el resultado en forma binmica.


Para obtener la forma polar y exponencial
de este complejo, basta con buscar el
mdulo y el argumento ayudndonos de la
instruccin Simplify.


z1 2e

3
|

\
|
|
.
j
:=
z2
1
2
|

\
|
|
.
e

6
|

\
|
|
.
j
:=
z1
z2

complex 2 3 2 i
2 3 2 i simplify 4
arg 2 3 2 i ( )
simplify
1
6



Fijaos que el argumento /6 en radianes equivale a 30 puesto que radianes equivalen a 180.


a2) Calculemos la expresin
10
2
5
1
z z en forma exponencial. Como
j
e z

=
60
1
2 y
j
e z

=
30
1
2
1
,
tenemos:

( )
32
1
2
1
2
1
2
2
1
2
0
5
300 300
10
5
10
30
5
60 10
2
5
1
= = =
|
.
|

\
|
=

e e e e e z z
j j j j






w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 15
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

a2

Verifiquemos los clculos en forma polar
con Mathcad.



Despus de definir los complejos z
1
y z
2
,
introducimos la expresin a evaluar.


Utilizando la instruccin de simplificacin
Symbolic Complex Evaluation obtenemos
el resultado en forma binmica.


Al ser real y positivo, el mdulo coincide
con el complejo y el argumento es cero
como vemos ayudndonos de la
instruccin Simplify.


z1 2e

3
|

\
|
|
.
j
:=
z2
1
2
|

\
|
|
.
e

6
|

\
|
|
.
j
:=
z1
5
z2
10
complex
1
32

1
32
simplify
1
32




Radicacin de un nmero complejo en forma polar [5]

Como ilustracin de la radicacin de nmeros complejos, vamos a calcular la races que aparecen al
resolver la ecuacin:

0 1
3
= + j z


Despejando obtenemos la siguiente ecuacin:

j z + = 1
3



cuyas soluciones vienen dadas por las races cbicas de j + 1 que en forma polar equival a:
|
|
.
|

\
|
|
.
|

\
|
+
|
.
|

\
|
4
3
sin
4
3
cos 2

j . Efectuemos esta operacin de radicacin mediante la frmula que
hemos derivado del Teorema de Moivre:


=
|
|
|
|
.
|

\
|
|
|
|
|
.
|

\
|
+
+
|
|
|
|
.
|

\
|
+
= + =
3
2
4
3
sin
3
2
4
3
cos 2 1
3
3
3 , 2 , 1
k
j
k
j w





w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 16
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
|
|
.
|

\
|
|
.
|

\
|
+ +
|
.
|

\
|
+ = k j k
3
2
4
sin
3
2
4
cos 2
6

2 , 1 , 0 = k


As pues las races son:

|
.
|

\
|
+ = |
.
|

\
|
+ =
|
|
.
|

\
|
|
.
|

\
|
+
|
.
|

\
|
=
3 3
6 6
1
2
1
2
1
2
1
2
1
2
4
sin
4
cos 2 j j j w



|
|
.
|

\
|

+
+
=
|
|
.
|

\
|

+
+
=
|
|
.
|

\
|
|
.
|

\
|
+
|
.
|

\
|
=
6 5 6 5
6 6
2
2
3 2
2
3 2
4
3 2
4
3 2
2
12
11
sin
12
11
cos 2 j j j w


|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
.
|

\
|
|
.
|

\
|
+
|
.
|

\
|
=
6 5 6 5
6 6
3
2
3
2
1
2
3
2
1
2
12
19
sin
12
19
cos 2 j j j w




Si dibujamos los puntos
1
w ,
2
w y
3
w , vemos que representan tres puntos equidistantes situados
encima de una circumferencia de radio
6
2 .





Verifiquemos los clculos en
forma polar con Mathcad.












Despus de intoducir las tres
races w
1
, w
2
y w
3
, calculamos
sus cubos.



w
1
1
3
2
j
1
3
2
+
|

\
|
|
.
:=
w
2
2 3 +
6
2
5
j
2 3
6
2
5
+
|

\
|
|
|
.
:=
w
3
2 3
6
2
5
j
2 3 +
6
2
5
+
|

\
|
|
|
.
:=
w
1
( )
3
1 j + =
w
2
( )
3
1 j + =
w
2
( )
3
1 j + =




w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 17
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)










Podemos representar
los puntos en el plano
complejo que
representan las tres
races (puntos rojos).







Estan situados encima
de una circumferencia
de radio
6
2 (en trazo
continuo azul) y
separados 120 entre si.


w
1
3
2
2 3 +
6
2
5
2 3
6
2
5
1
3
2
2 3
6
2
5
2 3 +
6
2
5
|

\
|
|
|
|
|
|
|
|
|
|
.
:=
r
6
2 :=
t 0 0.1 , 2 .. :=
Coordenadas_x w
0

:=
x t ( ) r cos t ( ) :=
Coordenadas_y w
1

:= y t ( ) r sin t ( ) :=
2 0 2
2
0
2
Coordenadas_y
y t ( )
Coordenadas_x x t ( ) ,




CONCLUSIONES ___________________________________

Dentro del cuerpo de los nmeros complejos, toda ecuacin polinmica tiene solucin. Hemos
mostrado que mediante la frmula de Cardano y la unidad imaginaria, podemos obtener la solucin
de cualquier ecuacin de tercer grado. Una vez introducidos los nmeros complejos en sus formas
binmica y polar, hemos visto que tanto la suma como la resta se efectuan con extraordinaria
facilidad en forma binmica, mientras que el producto y la divisin se realizan ms facilmente en
forma polar. Una vez hemos deducido la Teorema de Euler, hemos podido construir la regla para la
radicacin de un nmero complejo cualquier. Todas estas operaciones se han ido acompaando de
ejemplos con el programa Mathcad, que constituye una herramienta tilisima para el clculo con
nmeros complejos.



w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 18
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
BIBLIOGRAFA ___________________________________


[1] M. R. Spiegel (1970): Teora y problemas de Variable Compleja, Serie de Compendios Schaum,
McGraw-Hill, Mexico.

[2] V.A. Kudryasvtsev and B.P. Demidovich (1981): A brief course of Higher Mathematics, Mir
Publishers, Mosc, p. 325-332.

[3] T.A. Apostol (1981): Calculus: Clculuo con funciones de una variable, con una introduccin al
lgebra lineal, Revert, Barcelona, p. 454.

[4] M. R. Spiegel (1970): Manual de Frmulas y Tablas Matemticas, Serie de Compendios
Schaum, McGraw-Hill, Mexico, p.32.

[5] R. Calm, N. Coll, y M.R. Estela (1992): Problemas de clculo, Micromar, Barcelona, p.1.

[6] R. Courant and F. John (1976): Introduccin al Clculo y al Anlisis Matemtico, Limusa,
Mxico, p. 126.

[7] T.M. Apostol, (1979): Anlisis Matemtico, Revert, Barcelona, p. 19-32.


ENLACES ___________________________________


[W1] http://wmatem.eis.uva.es/~matpag/Basicas/Contenidos/Complejos/complejos1.html
Introduccin amena e interesante a los nmeros complejos. Incluye una animacin a
propsito de las races de un complejo.

[W2] http://www.terra.es/personal/jftjft/Aritmetica/Numeros/Numcomp.htm
Resumen conciso y muy manejable sobre las operaciones y propiedades de los nmeros
complejos.

[W3] http://www.satd.uma.es/a_valverde/aula-calculo/calculo.html
Operaciones con nmeros complejos. Incluye el clculo del logaritmo de un nmero complejo
que no hemos presentado aqu.

[W4] http://nti.educa.rcanaria.es/fundoro/es_confboye.htm
Los nmeros complejos en la historia de las matemticas.

[W5] http://caminantes.metropoliglobal.com/web/matematicas/historia.htm
Artculo de divulgacin sobre la historia de las matemticas a caballo de los grandes
movimientos culturales. Los comentarios sobre los nmeros complejos empiezan con la
solucin de la ecuacin de segundo grado por Cardano, en pleno Renacimiento.

[W6] http://matgen.usach.cl/complejos.pdf
Extenso compendio de ejercicios con nmeros complejos.

[W7] http://www1.ceit.es/asignaturas/Algebra/Web/docs/Complejos95.ppt
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Nmeros complejos
Proyecto e-Math 19
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Presentacin en Power Point sobre los nmeros complejos. Ilustra las propiedades de estos
nmeros con ejemplos interesantes como
i
i .

[W8] http://www.monografias.com/trabajos10/comple/comple.shtml
Monografa sobre los nmeros complejos, sus operaciones y sus aplicaciones.

[W9] http://www.ping.be/math/complget.htm
Introduccin a los nmeros complejos. Axiomtica y propiedades (en ingls).

[W10] http://math.about.com/cs/complexnumbers/
Aproximacin prctica a los nmeros complejos (en ingls).