Está en la página 1de 12

www.monografias.

com

Los nmeros complejos


en el entorno Maple 8
1.
2.
3.
4.
5.
6.
7.
8.
9.

Operaciones fundamentales con nmeros complejos


Representacin polar de los nmeros complejos
Potencias y races de los nmeros complejos
Frmula de Euler
Ecuaciones polinmicas
Races n-simas de la unidad
Parte real e imaginaria de un nmero complejo
Grficos de variable compleja
Bibliografa

i 1
El Espritu Divino encontr una salida sublime en esa maravilla del anlisis, ese portento
de mundo ideal, ese anfibio entre el ser y el no ser, que llamamos la raz imaginaria de la
unidad negativa.
Gottfried Wilhelm Leibniz
El presente artculo de corte divulgativo tiene como objetivo mostrar las bondades del
Sistema de Clculo Matemtico MAPLE 8, en el clculo de las operaciones usuales en el conjunto
de los nmeros complejos.
1. Operaciones fundamentales con nmeros complejos
Inicialmente recordemos las frmulas para sumar, multiplicar, restar y dividir nmeros
complejos:

Adicin: (a + bi) + (c + di) = (a + c) + (b + d)i


Sustraccin: (a + bi) - (c + di) = (a - c) + (b - d)i
Multiplicacin: (a + bi) (c + di) = (ac - bd) + (ad + bc)i
Divisin:

a bi (a bi )(c di ) ac bd bc ad

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

Ahora, realicemos estas operaciones con los comandos de MAPLE 8.


Ejemplo 1.1
Dados los nmeros complejos:
Z1 = 3 + 2i, Z2 = -1 + 4i y Z4 = - i
Calcular:
Z1 + Z2 Z3, Z1(Z2 + Z3), Z1Z2Z3, Z2/Z3.
Solucin
> 3 + 2*I + (-1 + 4*I) - (-I);
2 + 7I

> (3 + 2*I) * ((-1 + 4*I) + (-I));


- 9 + 7I
> (3 + 2*I) * (-1 + 4*I) * (-I);
10 + 11I
> (-1 + 4*I)/(-I);
-4-I
Ejemplo 1.2
Dados los nmeros complejos:
Z1 = 2 3i, Z2 = 2 + 3i y Z3 = i209
Calcular:
Z2 + Z3, Z1Z2Z3 y Z1/Z3
Solucin
> 2 + 3*I+I^209;
2 + 4I
> (2 - 3*I)*(2 + 3*I)*I^209;
13I
> (2 - 3*I)/I^209;
- 3 2I
2. Representacin polar de los nmeros complejos

El valor absoluto o mdulo de un nmero complejo


z = a + bi, se define como
r mod z z a bi a 2 b 2

P(a,b)

b
a

a = r cos b = rsen
Forma Polar:

z = r(cos+ isen) = rcis

El argumento o amplitud, es el ngulo y se denota arg z.


Ejemplo 2.1
En los nmeros complejos dados, determinar su mdulo, argumento y dar su forma polar.
a) Z1 = -3, b) Z2 = 3i,

c) Z3 = 2 2i

y d) Z4 = 2

+ 3i.

Solucin
a) > abs(-3);
3
> argument(-3);


> convert(-3,polar);
polar(3,)
b) > abs(3*I);
3
> argument(3*I);

> convert(3*I,polar);

c) > abs(2-2*I);

1
polar 3,
2
2 2

> argument(2-2*I);

1

4

> convert(2-2*I,polar);

polar 2 2 ,
4

d) > abs(2*sqrt(2)+3*I);

17
> argument(2*sqrt(2)+3*I);

3
2
4

arctan

Para aproximar el resultado utilizamos el comando evalf.


> evalf(argument(2*sqrt(2)+3*I));
.8148269165
> convert(2*sqrt(2)+3*I,polar);

polar

3
2
4

17 ,arctan

Ejemplo 2.2
Expresar en forma binmica o cartesiana el complejo

3
3

3 cos isen
2
2

Solucin
> convert(3*cos(3*Pi/2)+3*I*sin(3*Pi/2),trig);
- 3I
3. Potencias y races de los nmeros complejos

Sabemos que la n-sima potencia del nmero complejo r(cos + isen),


donde n es un nmero entero positivo, viene dada por
[r(cos + isen)]n = rn(cos(n + isen(n))
Para r = 1, se tiene el teorema de De Moivre.
El nmero u se denomina raz n-sima del nmero complejo z si un = z, y
se escribe u = z1/n. Por el teorema de De Moivre, se obtiene para n entero
positivo, que

2k
2k
u k n r cos
isen

n
n

k 0 , 1, 2 , , n 1

Si u 0 , entonces existen n races n-simas diferentes, u 0 , u1 , , u n 1 , de


Ejemplo 3.1

z.

Realizar las operaciones indicadas:


a)

2i

Solucin
> evalc((2+I*sqrt(2))^7);

208 344I 2
b)



2 cos 3 isen 3

Solucin
> evalc((2*(cos(Pi/3)-I*sin(Pi/3)))^5);

16 16I 3
c)



3 cos 6 isen 6

Solucin
> evalc((3*(cos(Pi/6)-I*sin(Pi/6)))^6);
- 729
d)

2i

1i

Solucin
> evalc((1-I*sqrt(2))^(1+I));

1/ 2 ln 3 arctan 2 cos 1 ln 3 arctan 2



2

1 / 2 ln 3 arctan 2 sin 1 ln 3 arctan 2


Ie
e

> evalf((1-I*sqrt(2))^(1+I));
4.136422267 1.778232318I
e) ii
Solucin
> evalc(I^I);

1 / 2

f) (3 - lni)1/i
Solucin
> evalc((3-ln(I))^(1/I));

arctan 1 / 6

Ie

1
1
ln 9 2
4
2

cos

arctan 1 / 6

g) icos(1 + i)

1
1
ln 9 2
4
2

sin

Solucin
> evalc(I^(cos(2+I)));

cos 2 cosh 1
2

1 / 2 sin 2 sinh 1
Ie
sin cos 2 cosh 1
2

1 / 2 sin 2 sinh 1

cos

h) ilog(a + i), a un nmero real cualquiera.

Solucin
> evalc(I^log(a+I));

ln a 2 1
4

1 / 2 arctan 1,a
Ie
sin ln a 2 1
4

1 / 2 arctan 1,a

cos

i)

2 i sen

3 i

Solucin
> evalc((2+I)^sin(sqrt(3)+I));

e
1
cos
2

cos

1
cos
2

sin

1/ 2 sin 3 cosh 1 ln 5 cos 3 sinh 1 arctan 1 / 2

3 sinh 1 ln 5 sin 3 cosh 1 arctan


Ie

1 / 2 sin 3 cosh 1 ln 5 cos 3 sinh 1 arctan 1 / 2

3 sinh 1 ln 5 sin 3 cosh 1 arctan

j) Hallar las races sptimas de

2

1

3 3i .

Solucin
> solve(u^7-3+sqrt(3)*I=0);

uo 3 I 3

1/ 7

3
2

u1 cos I cos
3 I 3
7
14

1/ 7

k) Hallar las races quintas de i.


Solucin
> evalc([solve(u^5-I=0)]);

1
1 1
4 2 5 5 I 4 4

1
1 1
2 5 5 I
5
4
4 4

1
1 1

5 ,
2 5 5 I
5 ,
4
4 4

1
1 1

,
2 5 5 I
5 , I
4
4 4

l) Hallar las races cuartas de z = - 23, es decir, resolver u = - 231/4.


Solucin
> solve(u^4+23=0);

1 1/ 4
23
2
m) Resolver

1 1/ 4
1
1
1 1/ 4
1/ 4
1/ 4
23
2 I 23 2 ,
I 23 2 23 2 ,
2
2
2
2
1
1
1 1/ 4
1/ 4
1/ 4
2 I 23 2 , I 23 2 23 2 .
2
2
2
i 6 i 6
i.
1 2i

Solucin
> (I^6-I^(-6))/(1+2*I)-1;
-1
4. Frmula de Euler

La expresin ei = cos + isen, se conoce como la frmula de Euler. De


manera general, se define
ez = ea + bi = ea ebi = ea(cosb + isenb).
Del teorema de De Moivre, se obtiene
(einein
Ejemplo 4.1
Expresar en forma binmica y polar el nmero complejo

2e i / 3 .

Solucin
> convert(3*exp(Pi*I/3),exp);

3 3
I 3
2 2
> convert(3*exp(Pi*I/3),polar);

1
polar 3,
3
5. Ecuaciones polinmicas

Una ecuacin del tipo a 0 z n a1 z n 1 a 2 z n 2 a n 1 z a n 0 ,


donde a 0 0, a1 , , a n son nmeros complejos y n es un entero positivo
denominado grado de la ecuacin, se denomina ecuacin polinmica. El
teorema fundamental del lgebra establece que una ecuacin de este tipo
tiene por lo menos una raz compleja. En realidad, tiene n races 7
complejas, que pueden ser algunas o todas idnticas.

Ejemplo 5.1
Resolver las ecuaciones dadas:
a) z2 + (3 + 2i)z 4 + i = 0
Solucin
> solve(z^2+(3 + 2*I)*z - 4 + I = 0);

3
1
3
1
I
21 8I , I
21 8I
2
2
2
2
b) - 10 + 3x +32x2 25x3 + 6x4 = 0
Solucin
> solve(-10+3*x+32*x^2-25*x^3+6*x^4=0);

1
,
2

2
, 2I , 2I
3

c) tan(X) = 5i/3
Solucin
> solve(tan(X)=5*I/3);

5
I arctan h
3
una aproximacin del resultado
> evalf(solve(tan(X)=5*I/3));
1.570796327 + .6931471804I
simplificando el resultado
> evalc(solve(tan(X)=5*I/3));

1
1
I ln 4
2
2
d) sen(X) = k, k es un nmero real cualquiera
Solucin
> evalc(solve(sin(X)=k,X));

1
1

k 1 k 1
2
2

arcsin

2
1

1
1
1

Isignum k ln k 1 k 1 k 1 k 1 1
2
2
2

e) sen(X) = 5
Solucin
> evalc(solve(sin(X)=5));

1
I ln 5 2 6
2

f) cos(X) = k, k es un nmero real positivo


Solucin
> assume(k>0):evalc(solve(cos(X)=k,X));

1 1
1
arccos k ~
2 2
2
1
1 1
I ln k ~
2 2
2

k ~ 1
2

1
1 1
k ~ 1 k ~
2 2
2
2

k ~ 1 1

El smbolo ~ indica que se asumi una condicin para k.


6. Races n-simas de la unidad

Las soluciones de la ecuacin zn = 1, n entero positivo, se denominan

las races n-simas de la unidad, vienen dadas por


2k
2k
2 ki / n
k 0, 1, 2, , n 1 .
isen
e
n
n

z cos

Haciendo

2
2
2 i / n
,
isen
e
n
n

u cos

1, u , u 2 , , u n 1 .

las

races

son

Ejemplo 6.1

Hallar las races quintas y octavas de -1 y 1, respectivamente.


Solucin
> solve(z^5+1=0);

1,

1
1 1
1 1
1
5 I 2 5 5,
5 I 2 5 5,
4
4 4
4 4
4

1 1
1
1
1 1

5 I 2 5 5,
5 I 2 5 5.
4 4
4
4
4 4
> solve(z^8-1=0);

I , I , 1, 1,

1
1
1
1
1
1
1
1
2 I 2,
2 I 2, I 2
2, I 2
2.
2
2
2
2
2
2
2
2

7. Parte real e imaginaria de un nmero complejo


MAPLE 8, tambin permite determinar la parte real e imaginaria de un nmero complejo.
Ejemplo 7.1
Determinar la parte real e imaginaria de:

a)

x yi

tan i ln
x

yi

, donde x y y son nmeros reales cualesquiera.

Solucin
> simplify(evalc(Re(tan(I*ln((x+I*y)/(x-I*y))))));

xy
x y2
2

> simplify(evalc(Im(tan(I*log((x+I*y)/(x-I*y))))));
0
b)

z 2 i sen 4i

> simplify(evalc(Re((2-I)^sin(4+I))));

1 / 2 sin 4 cosh 1

cos 4 sinh 1 arctan 1 / 2

cos cos 4 sinh 1 ln 5 sin 4 cosh 1 arctan

Aproximando el resultado

10

> evalf(simplify(evalc(Re((2-I)^sin(4+I)))));
.2728431672
> simplify(evalc(Im((2-I)^sin(4+I))));

1 / 2 sin 4 cosh 1

cos 4 sinh 1 arctan 1 / 2

sin cos 4 sinh 1 ln 5 sin 4 cosh 1 arctan

Aproximando el resultado
> evalf(simplify(evalc(Im((2-I)^sin(4+I)))));

- .02096932642
8. Grficos de variable compleja
A travs de los comandos contenidos en el paquete plots (with(plots)), MAPLE 7 permite
efectuar representaciones de funciones de variable compleja.
Ejemplo 8.1
Representar las funciones:
a)

i x , en el rango
xe 2

x .. .

Solucin
> with(plots):complexplot(x*(-exp(I*Pi/2*x)),x= -Pi..Pi,color=blue);

Figura 8.1
b)

f(z) z

1
,z
z

vara en el rectngulo

2 2i..2 2i x 2 2i..2 2i .

Solucin
> with(plots):conformal(z+1/z,z=-2-2*I..2+2*I,-2-2*I..2+2*I);

11

Figura 8.2
BIBLIOGRAFIA
Ainhoa Ochoa y et. al. (2002). Aprenda Maple 8 como si estuviera en primero. Espaa: Escuela
Superior de Ingenieros Industriales, Universidad de Navarra.
Churchill,B. (1974). Complex Variables and Applications.

USA: Mc Graw Hill Book Co.

MAPLE 8 De Waterloo. (2002). The Maple Handbook. USA: Maple 8 Software. Inc.
Marsden, J. (1996). Anlisis Bsico de Variables Compleja. Mxico: Trillas.
Prez, C. (1998). Mtodos Matemticos y Programacin con MAPLE V. Madrid: Ra-ma.
Rincn, F., Garca, A. y Martnez, A. (1995). Clculo Cientfico con MAPLE. Madrid: Ra-ma.
Spiegel, M. (1991). Complex Variables. U.S.A.: Schaums Outline. Mc Graw Hill Book Co.
Dr. Carlos Nez Rincn
cnunezr@cantv.net
cnunez@unet.edu.ve
El autor del Artculo, es Doctor en Ciencias de la Educacin, Magster en Educacin y Licenciado
en Educacin Mencin Matemtica Universidad de los Andes-ULA, Mrida-Venezuela.
Actualmente, es Profesor Titular adscrito al Departamento de Matemtica y Fsica de la
Universidad Nacional Experimental del Tchira, Tchira-Repblica Bolivariana de Venezuela.

12