Sei sulla pagina 1di 19

Nmeros complejos

NMEROS COMPLEJOS
Autor:

Patrici

Molins

Mata

(pmolinas@uoc.edu),

Jos

Francisco

Martnez

Bosc

(jmartinezb@uoc.edu)

MAPA CONCEPTUAL

________________________

Definicin

Frmula
de
Cardano

NMEROS
COMPLEJOS

Resolucin de
ecuaciones de
segundo y
tercer grado

Operaciones
aritmticas

Propiedades
en forma binmica:

suma, resta, producto y divisin

en forma polar:

producto, divisin, potenciacin y radicacin

Teorema de
De Moivre

Frmula de Euler

Funciones
hiperblicas

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos

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: z2 +1=0. Sus soluciones son la unidad imaginaria j (j2=-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, a + b , y el producto, a b , 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 x + b = a con a y b naturales, llevan a la

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
operacin de resta, que se escribe x = a b . 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 bx = a para enteros cualesquiera a y b , con b 0 , los cuales
conducen a la operacin de divisin o inversa del producto, que se representa como
x = a / b (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 b = 1 .
El conjunto de nmeros racionales es cerrado bajo las operaciones de suma, sustraccin,
multiplicacin y divisin, excluyendo la divisin por cero.

2 = 1,41423 ... y = 3,14159 ... son nmeros que


no son racionales, es decir, no pueden ser expresados como a / b donde a y b son enteros
y b 0.

Los nmeros irracionales, tales como

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 a > b o b < a y a 0 si
a = 0 . Decimos que el conjunto de los nmeros reales satisfacen una relacin de orden.
El conjunto de todos los valores de x , tal que a < x < b se llama un intervalo abierto sobre el eje
real, minetras que a x b , 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 a > 0 , a a si a < 0 y a
0 si a = 0 . La distancia entre dos puntos a y b sobre el eje real es a b .

Definicin de un nmero complejo [2]

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

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

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

j 2 1 .

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
Si z = a + jb , a se llama la parte real de z y b la parte imaginaria de z y se denominan
mediante a = (z ) y b = (z ) , respectivamente. El smbolo z , que puede representar cualquier
elemento del conjunto de nmeros complejos, es llamado una variable compleja.
Dos nmeros complejos a + jb y c + jd son iguales si y solamente si a = c y b = d . Podemos
considerar los nmeros reales como el subconjunto del conjunto de los nmeros complejos con
b = 0 . En este caso por ejemplo, los nmeros complejos 0 + j 0 y 3 + j 0 representan los
nmeros reales 0 y 3, respectivamente. Si a = 0 , el nmero complejo 0 + jb o jb se llama un
nmero imaginario puro.
El conjugado de un nmero complejo a + jb es a jb . El conjugado de un nmero complejo z se
*

indica frecuentemente por z o z .

Operaciones aritmticas con nmeros complejos en forma binmica

Suma

(a + jb ) + (c +

Resta

(a + jb ) (c +

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

Producto

(a + jb ) (c +

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

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

Divisin

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

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

El cuerpo de los nmeros complejos

Se puede probar que si z1 , z 2 y z 3 pertenecen al conjunto de los nmeros complejos, C, z1 + z 2 ,


entonces, satisfacen las siguientes propiedades:
1.

z1 + z 2 y z1 z 2 pertenecen a C

Ley de clausura

2.

z1 + z 2 = z 2 + z1

Ley conmutativa de la suma

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos

3.

z1 + ( z 2 + z 3 ) = ( z1 + z 2 ) + z 3

Ley asociativa de la suma

4.

z1 z 2 = z 2 z1

Ley conmutativa del producto

5.

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

Ley asociativa del producto

6.

z1 ( z 2 + z 3 ) = z1 z 2 + z1 z 3

Ley distributiva

7.

z1 + 0 = 0 + z1 = z1 , 0 es llamado el elemento neutro de la suma y 1 es el llamado elemento


neutro del producto.

8. Para cualquier nmero complejo, z1 , distinto de cero, existe un nmero nico z en C tal que

z + z1 = 0 ; z se llama el opuesto de z1 con respecto a la suma y se denota por z1 .


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

z se llama el

o 1 z1 .

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 ( x, y ) o coordenadas cartesianas del punto. Como un nmero complejo x + jy
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 3 + j 4 tambin se puede leer, entonces, como el par ordenado (3,4 ) .
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 z1 = x1 + jy1 y z2 = x2 + jy2 en el plano
complejo viene dada por z1 z 2 =

(x1 x2 )2 + ( y1 y2 )2 .

Mdulo y argumento de un nmero complejo

Si P es un punto en el plano complejo correspondiente al nmero complejo ( x, y ) o x + jy , entonces

podemos definir el mdulo, mod( z ) o z , de dicho complejo de la siguiente forma:

z x2 + y2 .
Tambin podemos definir el argumento de este complejo, arg( z ) o ( z ) , como el ngulo que forma
la recta OP con el eje OX positivo. A partir de la trigonometria se deduce que:

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

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
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 z 0 corresponde solamente un valor de en 0 < 2 . 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

z1 = x1 + jy1 = r1 (cos 1 + j sin 1 ) y

z 2 = x 2 + jy 2 = r2 (cos 2 + j sin 2 ) 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:

z1 z 2 = r1 r2 = z1 z 2

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

para comprobarlo basta con ver que:

z1 z 2 = r1 r2 [(cos 1 cos 2 sin 1 sin 2 ) + j (sin 1 cos 2 + cos 1 sin 2 )] =


= r1 r2 [cos(1 + 2 ) + j sin (1 + 2 )]
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:

z1
z1
r
= 1 =
z2
r2
z2

arg(

z1
) = 1 2 = arg( z1 ) arg( z 2 )
z2

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:

z1 z 2 z 3 L z n = r1 r2 r3 L rn {cos(1 + 2 + 3 + L + n ) + j sin (1 + 2 + 3 + L + n )}
Tomando todos los complejos iguales z1 = z 2 = z 3 = L = z n = z , la expresin anterior queda
como:

z n = r n {cos(n ) + j sin (n )}
Por otro lado, la n-sima potencia del nmero complejo z tambin puede expresarse, lgicamente
como:

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos

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

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

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


n

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

w = z1 / n . Del Teorema de Moivre, podemos demostrar que las n races de z , wk son:


wk = z1 n = {r (cos( ) + j sin ( ))} =
1n

+ 2k
+ 2k
= r1 n cos
+ j sin

n
n

k = 0,1,2,K, n 1

con

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

e x = 1 + x + x 2 2!+ x 3 3!+ K
Substituyendo la variable x por j , llegamos al resultado siguiente:

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

) (

= 1 2 2 !+ 4 4! K + j 3 3 + K = cos + j sin
donde e = 2,71828K . Esta frmula recibe el nombre de frmula de Euler. A partir de esta
expresin y definiendo la exponencial de un nmero complejo como:

e z e x + jy e x e jy
y utilizando la frmula de Euler, obtenemos:

e z e x + jy e x e jy = e x (cos + j sin )
Un caso particular de la frmula de Euler es:

e j + 1 = 0

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
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:

cos z =

e jz + e jz
2

sin z =

e jz e jz
2j

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

e j y + e j y e y + e y e y + e y
cos jy =
=
=
2
2
2
j2 y
y
y
j2 y
y
e e
e e
e e y
e y e y
sin jy =
=
=
= j
2j
2j
2j
2
con lo cual podemos establecer la relacin existente entre las funciones trigonomtricas de
argumento complejo y las funciones hiperblicas:

cos jy = cosh y
sin jy = j sinh y

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

x 2 + 1 = 0 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: z z + z 1 = 0 .
3

Aplicaremos la frmula de Cardano [4] que proporciona las soluciones de cualquier ecuacin de
tercer grado con coeficientes reales: a3 z + a 2 z + a1 z + a 0 = 0 , substituyendo a2=-1, a1=1 y a0=-1.,
3

En primer lugar, calculemos los parmetros q , r , s1 y s 2 :

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
2

a1 a 2
1 1 2
= =
3 3
3 9 9
3
a a 3a0 a2 1 + 3 1 1 1 10
r= 1 2

=
+
= +
=
6
27
6
27 3 27 27
q=

s1 = 3 r + q 3 + r 2 = 3

10
8
100 3 10
108
+
+
=
+
27
729 729
27
729

s2 = 3 r q 3 + r 2 = 3

10
108

27
729

Entonces tenemos:

z1 = s1 + s2

a2 3 10
108 3 10
108 1 2 1
=
+
+

= + =1
3
27
729
27
729 3 3 3

z2 =

s1 + s2 a2
3
1 1
3 3 10
108 3 10
108

j= j
( s1 s2 ) j = + +
+
+

2
3
2
3 3 2 27
729
27
729

z3 =

s1 + s2 a2
3
1 1
3 3 10
108 3 10
108

j=j
( s1 s2 ) j = +

+

2
3
2
3 3 2 27
729
27
729

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

Utilicemos Mathcad para encontrar


las soluciones de la ecuacin z3-z2+z1.
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.

1
1
v :=
1
1

j
polyroots ( v ) = j

1

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

Nmeros complejos
10

Representemos
la
funcin real y=x3-x2+x-1
asociada a la ecuacin
compleja z3-z2+z-1=0.

x x + x1

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.

10

10

2
1

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

x x + x1

1
2

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)

z1 + z2 + 1
z1 + z2 + j

b)

1 z1 z2
+
2 z1 z2

c) Re 3 z1 z2

d) Im( z1 + z2 )

con los complejos z1=1-j, z2=3+j.


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

z1 + z2 + 1 = 1 j + 3 + j + 1 = 2 + 3
z1 + z2 + j = 1 j + 3 + j + j = 1 + 3 + j
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:

2+ 3
z + z +1
z1 + z2 + 1
= 1 2
=
=
z1 + z2 + j
z1 + z2 + j 1 + 3 + j

2+ 3

(1 + 3 ) + 1
2

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

10

Nmeros complejos

Utilicemos Mathcad para verificar


esta operacin. En primer lugar
definamos los complejos z1=1-j y
z2=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 )

( z1 + z2 + 1)
( z1 + z2 + j )

2
2 + 3
1

2
1 + 3 + i
1

2
2 + 3

1
2

1 + 3 2 +

= 1.283

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

1 z1 z2
+ =
2 z1 z2

1 1 j
3

2 1+ j
3+

j
=
j

1 (1 j ) (1 j )

+
2 (1 + j ) (1 j )

(
(

3 j
3+ j

)(
)(

)
)

3 j
=
3 j

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

12j 22 3j
=
=
+

2 2
4

( (

))

1
1 3 j 1
j +
= 1 2 + 3 j
2
2 4

Con Mathcad verificamos esta


operacin.
Despus de definir los complejos
z1 y z2, introducimos la expresin a
evaluar.
Utilizando la instruccin de
simplificacin Symbolic Complex
Evaluation
comprobamos
el
resultado.

z1 := 1 j

z2 := 3 + j

1 z1
1
1 1 2
3

+ complex + i
2 z1 z2
4
2 4

z2

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

11

Nmeros complejos
c) Evaluemos la expresin dentro de la operacin parte real (Re()):

3 z1 z2 = 3 (1 j )

3 j = 3 3 j 3 + j = 1 3 j

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

Despus de definir los complejos


z1 y z2, introducimos la expresin a
evaluar.

z1 := 1 j

z2 := 3 + j

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.

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:

Im(z1 + z2 ) = Im 1 + j +

))

((

3 + j = Im 1 + 3 + 2 j = 2

Verifiquemos este ltimo resultado


con Mathcad.

z1 := 1 j

Despus de definir los complejos


z1 y z2, introducimos la expresin a
evaluar.

z2 := 3 + j

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 + z2 complex 1 + 2 i + 3

Im z1 + z2 = 2

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

12

Nmeros complejos

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: z1=1-3j, z2=(3+j)/4 a su
forma polar y luego buscaremos el resultado de las siguientes expresiones:

z1
z2

a1)

a2) z1 z 2
5

10

Para convertir a forma polar los complejos z1 y z2 debemos calcular sus mdulos:

z1 = 12 + 3

= 4=2

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

16 16 2
4 4

y sus argumentos:

3
= 60 = 300
1 = arctan

14
= 30
2 = arctan

3
4

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

z1 = 2 (cos( 60 ) + j sin ( 60 )) = 2 e 60 j

z2 =

1
1
(cos(30 ) + j sin (30 )) = e 30 j
2
2

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

13

Nmeros complejos
a1) Efectuemos la divisin entre z1 y z 2 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 z1
y z 2 , es decir, de 60 y 30, pues tenemos que tomar el signo opuesto al de z 2 al estar conjugado.
Por lo tanto, el argumento del cociente ser 30. El complejo que estamos buscando es, pues:

4 (cos( 30 ) + j sin ( 30 )) = 4 e 30 j

a1

:=
z1 2e

Verifiquemos los clculos en forma polar


con Mathcad.
Despus de definir los complejos z1 y z2,
introducimos la expresin a evaluar.

Utilizando la instruccin de simplificacin


Symbolic Complex Evaluation obtenemos
el resultado en forma binmica.

1 6
z2 := e
2

z1
complex 2 3 2 i
z2

2 3 2 i simplify 4

Para obtener la forma polar y exponencial


de este complejo, basta con buscar el
mdulo y el argumento ayudndonos de la
instruccin Simplify.

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 z1 z 2 en forma exponencial. Como z1 = 2 e


5

10

60 j

y z1 =

1 30 j
,
e
2

tenemos:

60 j
z15 z 10
2 = 2e

10

1
1
1
1

e 30 j = 2 5 10 e 300 j e 300 j = 5 e 0 =
32
2
2
2

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

14

Nmeros complejos

a2
Verifiquemos los clculos en forma polar
con Mathcad.

Despus de definir los complejos z1 y z2,


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.


j
3
z1 := 2e

1 6
z2 := e
2
5 10

z1 z2 complex

1
32

simplify

1
32

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:

z3 +1 j = 0
Despejando obtenemos la siguiente ecuacin:

z 3 = 1 + j
cuyas soluciones vienen dadas por las races cbicas de 1 + j que en forma polar equival a:

3
2 cos
4

3
+ j sin

. Efectuemos esta operacin de radicacin mediante la frmula que

hemos derivado del Teorema de Moivre:

w1, 2,3 = 3 1 + j = 3


+ 2k
+ 2k

+ j sin 4
=
2 cos 4

3
3

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

15

Nmeros complejos

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

k = 0,1,2

As pues las races son:


1 1
1
1

w1 = 6 2 cos + j sin = 6 2
+ j
=3 + j 3
2 2
2
4
2
4

11
+ j sin

12

6
=

2+ 3
2 3
2+ 3
2 3
2
=
+ j
+ j
6
6

4
4
25
2 5

19
19
w3 = 6 2 cos
+ j sin
12
12

6
=

1
3
1
3
=
2 j
j

6
2 6 25
25
2

11
w2 = 6 2 cos
12

Si dibujamos los puntos w1 , w2 y w3 , vemos que representan tres puntos equidistantes situados
encima de una circumferencia de radio

2.

w :=

Verifiquemos los clculos en


forma polar con Mathcad.

w :=
2

w :=
3

1 + j 1
3

3
2
2
2+ 3
+ j

5
2

2
6

3
5

2 3
2 + 3
+ j

6
6

5
5
2
2

( w 1 )3 = 1 + j
Despus de intoducir las tres
races w1 , w2 y w3, calculamos
sus cubos.

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

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

16

Nmeros complejos

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

1
1

3
3
2
2

2
3
2 3
+

6
6
w :=

5
5
2
2

2 3 2+ 3

6
6 5

5
2
2

Coordenadas_x

:= w

Coordenadas_y

:= w

r :=

t := 0 , 0.1 .. 2
x( t ) := r cos ( t )

y ( t ) := r sin ( t )

Estan situados encima


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

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.

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

17

Nmeros complejos

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

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

18

Nmeros complejos
Presentacin en Power Point sobre los nmeros complejos. Ilustra las propiedades de estos
i

nmeros con ejemplos interesantes como 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).

Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)

19

Potrebbero piacerti anche