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 x2 = 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 R2 = 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 1 aib inverso de z = (a,b) es = z( 1 ) = 2 . z a + b2 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 i2 = 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) = m y b = n. si y slo si: a

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 := a2 + b2 ; print( " El argumento de z es el arco cuya tangente mide b/a" ) ; b argumento_de_Z := artan ; 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 b otro giro completo volveremos al mismo valor, arctan ; por ello si queremos los a 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( ) y r 2 = x2 + y2 ; tan( ) = 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( . > 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: 3 1 )= 3

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. a2 + b2 = 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 z2 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 z2 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 + z1 z + z1 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 i2 = 1 . Si z1 = 3 + 4 i y z2 = 2 i, hagamos las siguientes operaciones; z1 z2 : Suma: z1 + z2 = [ 3 + 4 i ] + [ 2 i ] = 5 + 3 i Resta: z1 z2 = [ 3 + 4 i ] [ 2 i ] = 1 + 5 i Producto: z1 z2 = [ 3 + 4 i ] . [ 2 i ] = 6 3 i + 8 i 4 i2 = 6 + 5 i + 4 = 10 + 5 i z1 + z2, z1 z2 y

> 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 + 4 i ] [ 2 i ] = 10 + 5 i entonces si los complejos son elementos de un Cuerpo, podemos reescribir la expresin anterior de esta otra manera: 10 + 5 i 10 + i 5 =2i o =3 + 4 i . 3+4i 2i A la vista de lo anterior, 10 + i 5 = x + i y <=> 10 + i 5= ( 2 i ) ( x + i y ) = 2i 2 x + y + i ( 2 y 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 + 5 i 3+4i = [ 10 + 5 i ] . [ 3 4 i ] [3 + 4 i] . [3 4 i]

30 20 i2 + 15 i 40 i 25 = 50 25 i 25 =2i.

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

2i [2 i] . [2 + i] 2 20 + 5 i + 10 i + 10 i = 5 = 15 + 20 i

5 =3+4i. > Cociente1=(10+5*I)/(3+4*I); Cociente2=(10+5*I)/(2-I);

Page 11

Ejercicios: 1) Calcular 1 (2 + 3 i) 5 (2 i) . 3+5i

2)

1+3i 1+4i + 1i 34i 2 3+i 5i 1i 1+2i

3)

Potencias de la unidad imaginaria. Sabemos que i = 1 , por lo tanto i2 = -1 y a partir de ah: i3 = - i..... cuanto vale in ? i0 = 1 = i4 = i8 = .... i = i = i5 = i9= .. ... i2 = 1= i6= .............. i3 = i = i7 = ............. as, haciendo {0,1,2,3} de forma que in = ir. Ejemplo i27 = i3 = i, ya que al dividir 27 4 el cociente da 6 y de resto 3. n 4 , el resto r debe ser un numero del conjunto

> 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: que si elevo al cuadrado ambos miembros: a + i b = ( x + i y ) 2 = x2 y2 + 2 x y i e identificando queda el sistema: x2 y2 = a (eq 1) ;
2

a+ib =x+iy

de modo

2 x y = b. (eq 2)

elevando ambas ecuaciones al cuadrado: ( x2 y2 ) = a2 ; 4x2 y2 = b2 la primera queda, , x4 + y4 2 x2 y2 = a2 y si le sumo la segunda, x4 + y4 + 2 x2 y2 = a2 + b2 con lo que (eq 3) z 2 = a2 + b2 = ( x2 + y2 ) =>
2

z = x2 + y2

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

a+ z 2

; x=

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

mod(z) =

( 15 )2 + ( 8 )2 = 17. a = -15; b= -8 luego:

15 8 i = +-

Page 13

17 15 2

17 + 15 2 i

r1=

17 15 2 17 15 2 i

17 + 15 2 17 + 15 2

=14i

r2= -

= 1 + 4 i.

Ejercicios: 1) Calcular 3 + 4 i 2) Resolver z2 ( 2 i ) z + 2 i = 0. 3) Resolver z2 ( 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) = 3 2 12 + 3 = 2 y Arg(z) = arctan 1 donde claramente el signo negativo lo tiene el coseno (numerador), luego el argumento es un angulo de radianes pero en el 4 cuadrante => argumento de z 3
Page 14

= = z = 2[

5 3 5

+2k

5 5 ] = 2{ cos + i sin } . 3 3 3

2) Si nos dan Mod (z) = 2, arg(z) = 2 3

2 3

+2k

2 1 hacemos, cos = , sen 3 2

1 i 3 )= de modo que z = 2 ( + 3 2 2 2 Con Maple. Forma binmica:

=> z = 1 + i 3 .

> 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 + 2 I

> z3:=z1*z2;
z3 := 1 + 3 I

> c1:=polar(z1);
1 c1 := polar 2, 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 radianes en torno al (0,0): 2 >
z1 := 2 + 3 I z2 := 3 + 2 I

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: zn = rn ( cos( n ) + i sin( n ) ). Si n > 0, esta frmula se obtiene simplemente multiplicando z por si mismo n veces, si n = 0, zn = 1 y si n <0 es una consecuencia de la igualdad: z z( 1 ) = 2 . z > restart; readlib(polar):conjugate(z)/abs(z)^2;
z z 1 z
2

> simplify(conjugate(z)/abs(z)^2);

> z:=r*(cos(theta)+I*sin(theta));
z := r ( cos( ) + I sin( ) )

> z^(-1)=simplify(evalc(z^(-1)));
Page 19

1 cos( ) + I sin( ) = r ( cos( ) + I sin( ) ) r

> z^2=factor(combine(z^(2),trig));
r2 ( cos( ) + I sin( ) )2 = r2 ( cos( 2 ) + I sin( 2 ) )

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

cos( 2 ) + I sin( 2 ) r2

Ejemplo. > z:= 3*(cos(Pi/3)+I*sin(Pi/3));

z := 3 3 + I 3 2 2 -27

> evalc(z^(3)); > 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: ez = e( a + i b ) = ea ( cos( b ) + i sen( b ) ).

> restart;z:=a+b*I;
z := a + I b

> exp(z);
e( a + I b )

> factor(evalc(exp(z)));
ea ( 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 1 2+ I 2 2 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 5 I

> r:=abs(z);
r := 34

> theta:=argument(z);
5 := arctan 3

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

> simplify(r*(cos(theta)+I*sin(theta)));
35I

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));
r4 e( 4 i )
Page 21

> simplify(z1^(-4));
e ( 4 i ) r4

Ejercicio. Obtener los valores de r y para que se cumpla: ( 3 2 i ) ( r e ( i ) ) = 4 + 6 i. Ejercicios de potencias y raices.Ejemplo. Dado el complejo z = 2 ( 1 + i ), calcular z3 y z4. Lo transformamos convenientemente:
i 3 z = 2 ; arg(z) = Arc Tan ( )= => z = 2 e 4 2 3 4 i3 3 4 3 y con esto: z = 2 e =

23 e

2 i3 4

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

i3 4 4 4 z = 2 e = 24 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 x2 + 4 x + 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 z4 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 =2 k de modo que z = 16
Page 22

(i 2 k )

. Si aplicamos la frmula de Moivre:

1 4 1 4 i2k 4 ik 2

=2e Las raices cuartas de z sern, w = z = ( 16 e( i 2 k ) ) = 2 e dando los valores k = 0 , 1, 2 y 3 obtendremos las cuatro races buscadas: w1= 2 e0= 2 ; i 2

=>

w2= 2 e

= 2 (cos + i sin ) = 2 i 2 2

w3= 2 e

i2 2 i3 2

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

w4= 2 e

3 3 = 2 (cos + i sin ) = 2 i. 2 2

Con Maple. > restart; > r:=solve(z^4 -16=0, z);

r := 2, -2, 2 I, 2 I

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 z1,...,zn tales que la potencia n-sima de cada uno de ellos nos da como resultado el numero complejo z, es decir la ecuacin xn= 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 2k k= + (k=0,...,n-1), por lo que las flechas que las representan dividen el n n 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 Page 25+ I

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 1 1 1 ( 1 + I )( 1 / 3 ) + I 3 ( 1 + I )( 1 / 3 ), ( 1 + I )( 1 / 3 ) I 3 ( 1 + I )( 1 / 3 ) 2 2 2 2

> 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 2 circunferencia de radio 1 y separadas entre s radianes. Vemoslo graficamente. n
Page 26

z2 = 1 1, -1 La raz principal es , cos( 0 ) + I sin( 0 ) Simblicamente , 1.

z3 = 1 1 1 1 1 1, + I 3 , I 3 2 2 2 2 La raz principal es , cos( 0 ) + I sin( 0 ) Simblicamente , 1.

Page 27

z5 = 1 1, 1 4 1 4 5 1 4 + 1 4 I 2 I 2 5+ 5, 5 5, 1 4 5 5 1 4 + 1 4 I 2 5 5, 5+ 5

1 4

1 4

1 4

1 4

1 4

I 2

La raz principal es , cos( 0 ) + I sin( 0 ) Simblicamente , 1.

Page 28

FIN:

Page 29