Introduccin al Calculo Infinitesimal.

I.T.I. de SISTEMAS.
2. Los numeros complejos.-
Primeros conceptos.
Sabido es que el cuadrado de cualquier numero real es siempre un numero positivo,
por lo que ecuaciones como = x
2
1 no tienen solucin en el campo de los numeros
reales. Para salvar esta dificultad ampliamos el campo de los numeros de modo que
los complejos que vamos a definir, nos permitiran obtener soluciones para estas
ecuaciones.
El conjunto R
2
=RxR ={(a,b), donde a y b son numeros reales} , con las siguientes
operaciones de suma y producto:
(a,b) +(c,d) =(a+c, b+d) ; (a,b) (c,d) =(ac-bd, ad+bc) ,
(donde a,b,c y d son numeros reales), tiene estructura de cuerpo y se denominar
cuerpo C de los numeros complejos.
Suele escribirse un complejo de la forma: z =(a,b), expresin que llamaremos
cartesiana.
Se llama unidad imaginaria al numero complejo i = ( 0,1), que satisface la relacin
= i
2
( ) , 1 0 .

(0,0) es el elemento neutro de la adicin.
El opuesto de (a,b) es (-a,-b)=-(a,b).
Page 1
(1,0) es el elemento neutro de la multiplicacin y, si z =(a,b) no es igual a (0,0), el
inverso de z =(a,b) es
1
z
= z
( ) 1
=
a i b
+ a
2
b
2
.
El conjunto R de los numeros reales se identifica con el subconjunto Rx{0}={(a,0), a
es un numero real} de C.
Entonces podemos escribir que = i
2
1.
Todo numero complejo z=(a,b) puede expresarse tambien en la que se llama su
forma binmica, que es: z = a + b i.
El numero a es su parte real, a=Re(z), y el numero b es su parte imaginaria,
b=Im(z). A la pareja a, b se le llama afijos del complejo.
Dos complejos son iguales si son identicos, es decir: (a,b) =(m,n) si y slo si: a
=m y b =n.
Representacin grafica de los numeros complejos.
> restart;
> ;
Representamos los numeros complejos en el plano de Argand-Gauss y para ello
debemos daremos algunos conceptos importantes.

Comandos de Maple que usaremos:
abs(z) Halla el mdulo del numero complejo z.
argument(z) Calcula el argumento de z.
Re(z) Calcula la parte real de z.
Im(z) Halla la parte imaginaria de z.
conjugate(z) Obtiene el numero complejo conjugado de z.
convert(z,polar) Obtiene la expresin del numero complejo en su forma polar.
assume( ) Permite imponer restricciones a las variables.
evalc(expresion) Simplifica la expresin compleja al maximo y suele dar la
salida en
forma binmica.
combine(expresion,trig) Simplifica la expresin compleja aplicando identidades
trigonometricas.
Page 2
> = Z + a b i;
print "El mdulo de z es la raz cuadrada positiva de la suma de los cuadrados de s\ (
us afijos");
:= modulo_de_Z + a
2
b
2
;
( ) print " El argumento de z es el arco cuya tangente mide b/a" ;
:= argumento_de_Z

artan
b
a
;
:= parte_real_de_Z a;
:= parte_imaginaria_de_Z b
Hemos de aadir que el argumento no es unico, habitualmente usamos el llamado
argumento principal que es el contenido en [ 0, 2 ], pero cada vez que demos
otro giro completo volveremos al mismo valor,

arctan
b
a
; por ello si queremos los
argumentos de z y su argumento principal es , debemos escribir Arg(z) = + 2 K
y ahi si estaran todos.
Por ejemplo con el complejo z =2 +i =( 2 , 1 ).
> z:=2+I;
Modulo:=abs(z);
Argumento_principal:=argument(z);Argumento_General=arg
ument(z)+2*K*Pi;
Parte_real:=Re(z);
Parte_imaginaria:=Im(z);
Con una longitud (mdulo) y un angulo (argumento): [ ] , r podemos cubrir
cualquier punto del plano exactamente igual que con las llamadas coordenadas
cartesianas [ ] , x y de modo que se interrelacionan de la forma siguiente;
= x r ( ) cos ; = y r ( ) sin
= r
2
+ x
2
y
2
; = ( ) tan
y
x
Con estas frmulas, podemos escribir que z =(x,y) = + x i y = + r ( ) cos i r ( ) sin
=r

. Expresin trigonometrica ( polar) del complejo.

Ejemplo.
Page 3
Sea el punto P=( 1, 3) , podemos tomarlo como el complejo z =(1, 3) =1+
i 3 que tiene de mdulo: z =2 y de argumento principal: arg(z)=arctan(
3
1
) =

3
.
> with(plots,display):with(plottools):with(plots,conform
al):
> z:=2*(cos(Pi/3)+I*sin(Pi/3));
P=(1,sqrt(3));
Modulo:=abs(z);
Argumento_principal:=argument(z);
Si hacemos la representacin grafica:
Si superponemos unos ejes cartesianos, es muy facil deducir las relaciones, ya
descritas, entre coordenadas cartesianas y nuevas, que llamaremos coordenadas
polares.
Page 4
Fijate que es una nueva concepcin de definir puntos del plano. Ahora se trata de
manejar una longitud r y un angulo .
Consideramos un circulo de radio el mdulo de un cierto complejo, con este mdulo
habra infinitos complejos, tantos como argumentos podamos elegir. Vamos a
considerar todos los complejos de mdulo fijo y argumentos comprendidos entre 0 y
2 radianes.
Page 5


Se puede representar cualquier numero complejo en el plano de ARGAND-GAUSS.
Al eje de abscisas ahora le llamamos eje real y al de ordenadas, eje imaginario.
Por ejemplo, para representar el complejo z =2 +i =( 2 , 1 ) y representamos dicho punto en unos
ejes coordenados. Este punto ser el extremo de un vector con origen el punto (0,0). Procedamos
de otra manera; calculamos el mdulo de z y trazamos una circunferencia con radio dicho mdulo,
despues calculamos el argumento, principal, de z y movemos el radio el angulo marcado por el
argumento, como se puede comprobar se reproduce el dibujo anterior.
Page 6

El conjugado de z =a +bi es el complejo z =a - bi. Los dos tiene el mismo
mdulo, pero sus argumentos son opuestos.
> restart:
z:=3+I*4;
Modulo_z:=abs(z);
Argumento_z:=argument(z);
conjugado_de_z:=conjugate(z);
Modulo_Conjugado:=abs(conjugate(z));
Argumento_Conjugado:=argument(conjugate(z));
Parte_real:=Re(conjugate(z));
Parte_imaginaria:=Im(conjugate(z));
Veamos sus representaciones graficas conjuntas.
Page 7
Opuesto de z, conjugado de z, opuesto del conjugado de z.
Veamos sus representaciones conjuntas en el plano de Argand.
Propiedades del conjugado de un numero complejo.
Page 8
Sea z = a +i b => z =a- ib.
1. = + a
2
b
2
z z = z
2
.
> restart:
z:=a+I*b:assume(a,real,b,real);
'z*conjugate(z)'=expand(z*conjugate(z));
2. = z z si slo si z R.
> z:=a+0*I;
'conjugate(z)'=conjugate(z);
3. El conjugado del conjugado de z es z.
> z:='z':
'conjugate'('conjugate'(z))=conjugate(conjugate(z));
4. El conjugado de una suma es la suma de los conjugados.
> conjugate(z[1]+z[2])=expand(conjugate(z[1]+z[2]));
5. Anlogamente para la diferencia.
> conjugate(z[1]-z[2])=expand(conjugate(z[1]-z[2]));
6. El conjugado del producto es igual al producto de los conjugados.
> conjugate(z[1]*z[2])=expand(conjugate(z[1]*z[2]));
7. El conjugado de un cociente es el cociente de los conjugados, pero debe ser z
2
0.

> conjugate(z[1]/z[2])=expand(conjugate(z[1]/z[2]));
Propiedades del mdulo.
1. El mdulo de un complejo es un numero real no negativo: 0 z .
> is(abs(z)>=0);
2. El mdulo de un complejo y el de su conjugado, coinciden.
Page 9
> 'abs'(conjugate(z))=expand('abs'(conjugate(z)));
3. El mdulo del producto de dos complejos es el producto de los mdulos.
> abs(z[1]*z[2])=expand(abs(z[1]*z[2]));
4. Si z
2
0 , el mdulo del cociente de dos complejos, es el cociente de los mdulos.
> abs(z[1]/z[2])=expand(abs(z[1]/z[2]));
5. El mdulo de la suma de dos complejos, es menor o igual que la suma de los
mdulos: + z z
1
+ z z
1
Operaciones basicas con numeros complejos.
Para sumar, restar y multiplicar, slo hay que respetar las reglas de las operaciones
con pares ordenados de elementos, binomios por ejemplo, y considerar que = i
2
1 .
Si = z
1
+ 3 4i y = z
2
2 i, hagamos las siguientes operaciones; , + z
1
z
2
z
1
z
2
y
z
1
z
2
:
Suma: = + z
1
z
2
+ [ ] + 3 4i [ ] 2 i = + 5 3i
Resta: = z
1
z
2
[ ] + 3 4i [ ] 2 i = + 1 5i
Producto: = z
1
z
2
[ ] + 3 4i . [ ] 2 i = = + 6 3i 8i 4i
2
+ + 6 5i 4 = + 10 5i
> z1 := 3 + 4*I;
z2 := 2 - I;
suma=z1 + z2;
resta=z1 - z2;
producto=z1 * z2;
Para dividir dos complejos, es suficiente con observar una multiplicacin.
Page 10
Sabemos que = [ ] + 3 4i [ ] 2 i + 10 5i entonces si los complejos son elementos de
un Cuerpo, podemos reescribir la expresin anterior de esta otra manera:
=
+ 10 5i
+ 3 4i
2 i o
+ 10 i 5
2 i
= + 3 4i .
A la vista de lo anterior,
+ 10 i 5
2 i
= + x i y <=> + 10 i 5=( ) 2 i ( ) + x i y =
+ + 2x y i ( ) 2y x =>identificando:
2x+y =10
-x+2y =5 sistema que al resolverse da el resultado de la divisin.
Otra manera:
Para dividir dos complejos basta con multiplicar y dividir el cociente por el
conjugado del denominador:
Un ejemplo: =
+ 10 5i
+ 3 4i
[ ] + 10 5i . [ ] 3 4i
[ ] + 3 4i . [ ] 3 4i

=
+ 30 20i
2
15i 40i
25

=
50 25i
25

= 2 i .
Otro:
=
+ 10 5i
2 i
[ ] + 10 5i . [ ] + 2 i
[ ] 2 i . [ ] + 2 i

=
+ + + 20 5i
2
10i 10i
5

=
+ 15 20i
5

= + 3 4i .
> Cociente1=(10+5*I)/(3+4*I);
Cociente2=(10+5*I)/(2-I);
Page 11
Ejercicios:
1) Calcular ( ) + 2 3 i

5 ( ) 2 i
1
+ 3 5 i
.
2) +
+ 1 3 i
1 i
+ 1 4 i
3 4 i


3)
2
1 i
+ 3 i
5 i
+ 1 2 i
Potencias de la unidad imaginaria.
Sabemos que i = 1 , por lo tanto i
2
=-1 y a partir de ah: i
3
=- i..... cuanto vale i
n
?
= i
0
1 = = i
4
i
8
= ....
= i i = = i
5
i
9
=.. ...
= i
2
1=i
6
=..............
= i
3
i =i
7
=............. as, haciendo
n
4
, el resto r debe ser un numero del conjunto
{0,1,2,3} de forma que = i
n
i
r
.
Ejemplo = i
27
i
3
=i, ya que al dividir
27
4
el cociente da 6 y de resto 3.
> Potencias_de_i:=[seq(I^k,k=0..20)];
i^27=I^27;
i^136=I^136;
Calculo de raices cuadradas de complejos.-
Mas adelante estudiaremos el calculo de raices de cualquier orden de un complejo.
Page 12
Ahora nos limitaremos a resolver el usual problema de calcular las dos raices
cuadradas de z = + a i b.
La raiz cuadrada de un complejo es otro complejo: = + a i b + x i y de modo
que si elevo al cuadrado ambos miembros:
= + a i b ( ) + x i y
2
= + x
2
y
2
2x y i
e identificando queda el sistema: x
2
y
2
= a (eq 1) ; 2 x y = b. (eq 2)
elevando ambas ecuaciones al cuadrado: = ( ) x
2
y
2
2
a
2
; 4 = x
2
y
2
b
2
la primera
queda, , = + x
4
y
4
2x
2
y
2
a
2
y si le sumo la segunda,
= + + x
4
y
4
2x
2
y
2
+ a
2
b
2
con lo que z
2
= + a
2
b
2
= ( ) + x
2
y
2
2
=> = z + x
2
y
2

(eq 3)
De las (eq 1) y (eq 3) se deduce que , = 2x
2
+ a z => x
2
=
+ a z
2
; x =
+ a z
2
y sustituyendo en (eq 3),
y = +-
+ a z
2

En resumen:
+ a b i = +- [
+ a z
2
+ i signo(b)
+ a z
2
] son las 2 soluciones
de la raiz cuadrada.

Ejemplo:
1) Calcular la raiz cuadrada: 15 8 i
mod(z) = + ( ) 15
2
( ) 8
2
=17. a =-15; b=-8 luego: 15 8i = +-
Page 13

17 15
2
i
+ 17 15
2
;
r1=
17 15
2
i
+ 17 15
2
= 1 4i y r2=-

17 15
2
i
+ 17 15
2
= + 1 4i.
Ejercicios:
1) Calcular + 3 4 i
2) Resolver = + z
2
( ) 2 i z 2 i 0.
3) Resolver = + + z
2
( ) 3 i z 2 3 i 0.
Puesto que cualquier complejo no nulo viene determinado por su mdulo y su
argumento, a dichos valores se les denomina coordenadas polares del nmero
complejo dado, o tambien forma polar del numero complejo.
Ejemplo:
Expresar en forma binmica, polar y trigonomtrica los siguientes numeros
complejos: (1,-1), (3,-2), (1,1), (0,-4).
Este problema de pasar un complejo de una a otra expresin es sencillo, vemoslo
con un ejemplo a imitar:
1) Si nos dan z = 1 3 i , Mod(z) = + 1
2
3
2
=2 y Arg(z) =

arctan
3
1

donde claramente el signo negativo lo tiene el coseno (numerador), luego el
argumento es un angulo de

3
radianes pero en el 4 cuadrante =>argumento de z
Page 14
= = +
5
3
2k
z =2[
5
3
] =2{ +

cos
5
3
i

sin
5
3
} .
2) Si nos dan Mod (z) =2, arg(z) = +
2
3
2k hacemos, =

cos
2
3

1
2
, sen
(
2
3
) =
3
2
de modo que z =2

+
1
2
i 3
2
=> z = + 1 i 3.
Con Maple.
Forma binmica:
> restart; z1=1-I; z2=(2-sqrt(3)*I); z3=(1+I);
z4=(0-2*I);
Forma polar, para ello se llama a la librera polar
> readlib(polar):
y se utiliza la funcin polar
> polar(a+b*I);
Donde el argumento calculado por MAPLE es el argumento principal. En efecto, el
comando map(evalc, polar(a+bI)) (donde map es un operador que aplica el
comando evalc de evaluacin simblica a la expresin polar(a+bI)) nos muestra que
la forma polar es
> map(evalc, %);
En nuestro caso concreto se tiene por tanto
> Z1:=polar(1-I);
> Z2:=polar(2-sqrt(3)*I);
> Z3:=polar(1+I);
Page 15
> Z4:=polar(0-2*I);
Otra forma, alternativa, de obtener una representacin polar del nmero complejo
consiste en utilizar el comando convert:
> convert(3+3*I, polar);
Como hemos dicho, los argumentos principales de cada nmero complejo se obtienen
utilizando el comando argument y vienen dados por
> argument(Z1);
Ntese que si queremos saber un valor aproximado de la funcin arcotangente en el
punto -2/3 tendremos que utilizar el comando evalf aplicado a la expresin anterior
> argument(Z2);
> arg_Z2:=evalf(argument(Z2));
Forma trigonometrica de un numero complejo.
Recordamos que todo numero complejo z no nulo se puede expresar en forma
trigonometrica: = z r ( ) + ( ) cos I ( ) sin , donde = r z y es el argumento
de z.
Hacer el paso a forma trigonometrica es muy facil, basta sustituir en la frmula dada.
Con Maple.
Para obtener la forma trigonometrica de un nmero complejo, hay que usar el
comando evalc(polar(r,theta)), siendo evalc el comando de evaluacin simblica
especial para numeros complejos introducido antes:
> z:=evalc(polar(r,theta));
:= z + r ( ) cos I r ( ) sin
Definiendo convenientemente la funcin anterior (que proporciona la forma
trigonometrica buscada) para obtener una expresin mas clara (sacando factor
comun r) se tiene:
> Expr_Trigonometrica:=factor(evalc(polar(r,theta)));
:= Expr_Trigonometrica r ( ) + ( ) cos I ( ) sin
Producto y potencia entera en forma trigonometrica.
Sean z1=r ( ) + ( ) cos I ( ) sin y = z2 s ( ) + ( ) cos I ( ) sin dos numeros
Page 16
complejos en forma trigonometrica.
> restart; readlib(polar):
z1:= r*(cos(theta)+I*sin(theta));
:= z1 r ( ) + ( ) cos I ( ) sin
> z2 := s*(cos(phi)+I*sin(phi));
:= z2 s ( ) + ( ) cos I ( ) sin
El producto z1 z2 es el numero complejo
> z3:=factor(evalc(z1*z2));
:= z3 r s ( ) + + ( ) cos ( ) cos ( ) sin ( ) sin I ( ) sin ( ) cos I ( ) cos ( ) sin
que tiene mdulo igual al producto de los mdulos r s y argumento igual a la suma
de los argumentos + .
Ejemplo.
Podemos comprobar grficamente que el numero complejo resultado de
multiplicar dos numeros complejos es el que tiene como mdulo el producto de
los mdulos y como argumento la suma de los argumentos de los dos complejos
dados.
> z1:=1+I;
:= z1 + 1 I
> z2:=1+2*I;
:= z2 + 1 2I
> z3:=z1*z2;
:= z3 + 1 3I
> c1:=polar(z1);
:= c1

polar , 2
1
4

> c2:=polar(z2);
:= c2 ( ) polar , 5 ( ) arctan 2
> c3:=polar(z3);
:= c3 ( ) polar , 10 + ( ) arctan 3
Podemos representar los tres numeros de forma grafica (obsrevese que necesitamos
conocer el valor de los complejos en forma binmica para poder representar las
"flechas" correspondientes):
Page 17
A partir de aqui, esta claro que multiplicar por un numero complejo cuyo mdulo
sea igual a 1 es equivalente a "realizar un giro" en el plano en torno al origen, de
angulo el argumento de dicho numero complejo.
Por ejemplo, veamos que multiplicar un numero complejo por la unidad imaginaria
(cuyo mdulo es 1) es equivalente a realizar un giro de

2
radianes en torno al (0,0):
>
:= z1 + 2 3I
:= z2 + 3 2I
Page 18
Para calcular la potencia entera de orden n de z , donde n es un elemento de z, se
utiliza la frmula de de Moivre:

= z
n
r
n
( ) + ( ) cos n i ( ) sin n .
Si n >0, esta frmula se obtiene simplemente multiplicando z por si mismo n veces,
si n =0, = z
n
1 y si n <0 es una consecuencia de la igualdad:
= z
( ) 1
z
z
2
.
> restart;
readlib(polar):conjugate(z)/abs(z)^2;
z
z
2
> simplify(conjugate(z)/abs(z)^2);
1
z
> z:=r*(cos(theta)+I*sin(theta));
:= z r ( ) + ( ) cos I ( ) sin
> z^(-1)=simplify(evalc(z^(-1)));
Page 19
=
1
r ( ) + ( ) cos I ( ) sin

+ ( ) cos I ( ) sin
r
> z^2=factor(combine(z^(2),trig));
= r
2
( ) + ( ) cos I ( ) sin
2
r
2
( ) + ( ) cos 2 I ( ) sin 2
> z^(-2)=simplify(evalc(factor(combine(z^(-2),trig))));
=
1
r
2
( ) + ( ) cos I ( ) sin
2

+ ( ) cos 2 I ( ) sin 2
r
2
Ejemplo.
> z:= 3*(cos(Pi/3)+I*sin(Pi/3));
:= z +
3
2
3
2
I 3
> evalc(z^(3));
-27
> evalc(z^(-3));
-1
27

Forma exponencial de un numero complejo.
Otra forma de representar los nmeros complejos es a partir de la definicin de
exponencial de un numero complejo = z + a bi:

e
z
= e
( ) + a i b
= e
a
( ) + ( ) cos b i ( ) sen b .
> restart;z:=a+b*I;
:= z + a I b
> exp(z);
e
( ) + a I b
> factor(evalc(exp(z)));
e
a
( ) + ( ) cos b I ( ) sin b
Si = a 0, entonces = z b I y se obtiene la identidad e
( ) i b
= + ( ) cos b i ( ) sin b .
> exp(I*b)=factor(evalc(exp(I*b)));
= e
( ) I b
+ ( ) cos b I ( ) sin b
Por ejemplo,
Page 20
> z1:=exp((Pi/2)*I);
:= z1 I
> z2:=exp((Pi/4)*I);
:= z2 +
1
2
2
1
2
I 2
Entonces, si = z r ( ) + ( ) cos i ( ) sin es la forma trigonometrica del numero
complejo z, su forma exponencial ser igual a
z = r e
( ) i
= r ( ) + ( ) cos i ( ) sin , donde r = z es su mdulo y su argumento:
A la frmula = e
( ) i
+ ( ) cos i ( ) sin se le llama frmula de Euler.
> z:=3-5*I;
:= z 3 5I
> r:=abs(z);
:= r 34
> theta:=argument(z);
:=

arctan
5
3
> r*(cos(theta)+I*sin(theta));
34

3
34
34
5
34
I 34
> simplify(r*(cos(theta)+I*sin(theta)));
3 5I
El producto y las potencias enteras de numeros complejos en forma exponencial
tienen expresiones muy sencillas:

> restart;z1:=r*exp(i*theta);
:= z1 r e
( ) i
> z2:=s*exp(i*phi);
:= z2 s e
( ) i
> simplify(z1*z2);
r s e
( ) i ( ) +
> expand(simplify(z1^(n)));
( ) r e
( ) i
n
> simplify(z1^(4));
r
4
e
( ) 4i
Page 21
> simplify(z1^(-4));
e
( ) 4i
r
4
Ejercicio. Obtener los valores de r y para que se cumpla:
= ( ) 3 2 i ( ) r e
( ) i
2
+ 4 6 i.
Ejercicios de potencias y raices.-
Ejemplo. Dado el complejo = z 2 ( ) + 1 i , calcular z
3
y z
4
.
Lo transformamos convenientemente:
z =2 ; arg(z) =Arc Tan (
2
2
) =
3
4
=>z =2 e

i
3
4
y con esto: z
3
=

2e

i 3
4
3
=
2
3
e

i 3
2

4
=

8 +

cos
9
4
i

sin
9
4
=8
1
2
( ) + 1 i .
z
4
=

2e

i 3
4
4
=2
4
e
( ) i 3
=16( + ( ) cos 3 i ( ) sin 3 ) =-16.
> restart:with(student):
completesquare(x^2+4*x+5=0);
factor(x^2+4*x+5=0);
solve(%);
= + ( ) + x 2
2
1 0
= + + x
2
4x 5 0
, + 2 I 2 I
A la vez que calculamos races de complejos vamos a ver cmo se resuelven
ecuaciones polinmicas en el plano complejo.
( Es muy importante resaltar que una ecuacin polinmica de grado n tiene
exactamente n raices en el campo complejo )
Para ello en primer lugar vamos a hallar y representar graficamente todas las raices
(soluciones) de la ecuacin = z
4
16 0 , lo que equivale a decir que vamos a
calcular las cuatro races cuartas de 16.
El complejo z =16 tiene mdulo 16 y argumentos =2k de modo que z =16
Page 22
e
( ) i 2k
. Si aplicamos la frmula de Moivre:
Las raices cuartas de z sern, w =z

1
4
=( ) 16e
( ) i 2k

1
4
=2e

i 2k
4
=2 e

i k
2
=>
dando los valores k =0 , 1, 2 y 3 obtendremos las cuatro races buscadas:
w1=2 e
0
=2 ;
w2=2 e

i
2
=2 ( +

cos

2
i

sin

2
) =2i
w3=2 e

i 2
2
=2 ( + ( ) cos i ( ) sin ) =-2;
w4=2 e

i 3
2
=2 ( +

cos
3
2
i

sin
3
2
) =2i.
Con Maple.
> restart;
> r:=solve(z^4 -16=0, z);
:= r , , , 2 -2 2I 2I
Podemos visualizar grficamente las 4 races encontradas. Para ello necesitamos
nuevamente algunos comandos que estan en la librera plots, por lo que utilizamos el
comando "with( )" para llamarla:
> with(plots): with(plottools):
y a continuacin escribimos las cuatro raices obtenidas por medio de su
representacin en el plano complejo como 4 pares ordenados de numeros reales:
> for i from 1 by 1 to 4 do
raiz[i]:=disk([Re(r[i]),Im(r[i])], 0.06, color=black,
filled=true) od:
> display({seq(raiz[i],i=1..4)},scaling=constrained);
Page 23
Ntese como las raices estan todas en el borde del circulo (circunferencia) centrado
en el origen y de radio el mdulo.
> C:=disk([0,0],2,color=yellow):
> display({seq(raiz[i],i=1..4),C},scaling=constrained);
Page 24
Otra forma alternativa de visualizar las raices es la que hemos visto al principio:
> plot([seq([Re(r[i]),Im(r[i])],i=1..4)],style=point,
symbol=circle,scaling=constrained);
El ejemplo anterior sirve para introducir el concepto de raiz de un numero
complejo. Dado un numero complejo no nulo z, existen exactamente n numeros
complejos z
1
,...,z
n
tales que la potencia n-sima de cada uno de ellos nos da como
resultado el numero
complejo z, es decir la ecuacin x
n
= z tiene n soluciones distintas. A dichos numeros
complejos se les denomina raices n-simas de z. Todos ellos tienen como mdulo la
raz n-sima del mdulo de z y, siendo el argumento de z, sus argumentos satisfacen
la relacin

k
= +

n
2k
n
(k=0,...,n-1), por lo que las flechas que las representan dividen el
disco de radio = R z

1
n
con centro en el origen en n sectores iguales .
Veamos un ejemplo:
> restart:
> with(plots): with(plottools):
> w:=1+I;
:= w + 1 I
Page 25
Calculemos el radio de la circunferencia en la que estan las raices (la raiz cubica del
mdulo de w):
> a:=abs(w);
:= a 2
> b:=surd(abs(w),3);
:= b 2
( ) / 1 6
> r:=solve(z^3-w=0,z);
:= r , , ( ) + 1 I
( ) / 1 3
+
1
2
( ) + 1 I
( ) / 1 3
1
2
I 3 ( ) + 1 I
( ) / 1 3

1
2
( ) + 1 I
( ) / 1 3
1
2
I 3 ( ) + 1 I
( ) / 1 3
> for i from 1 by 1 to 3 do
raiz[i]:=disk([Re(r[i]),Im(r[i])], 0.02, color=black,
filled=true) od:
> C:=disk([0,0],b,color=yellow):
> display({seq(raiz[i],i=1..3),C},scaling=constrained);
Raices n-simas de la unidad.
A la vista de lo anterior, las races de orden n de 1 seran exactamente n numeros
complejos, todos de igual mdulo, 1 por lo que se representarn sobre una
circunferencia de radio 1 y separadas entre s
2
n
radianes. Vemoslo graficamente.
Page 26
= z
2
1
, 1 -1
, La raz principal es + ( ) cos 0 I ( ) sin 0
, Simblicamente 1.
= z
3
1
, , 1 +
1
2
1
2
I 3
1
2
1
2
I 3
, La raz principal es + ( ) cos 0 I ( ) sin 0
, Simblicamente 1.
Page 27
= z
5
1
1 +
1
4
5
1
4
1
4
I 2 + 5 5 +
1
4
5
1
4
1
4
I 2 5 5 , , ,

1
4
5
1
4
1
4
I 2 5 5
1
4
5
1
4
1
4
I 2 + 5 5 ,
, La raz principal es + ( ) cos 0 I ( ) sin 0
, Simblicamente 1.
Page 28
FIN:
Page 29