You are on page 1of 29

Introducción 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 solución 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), expresión que llamaremos cartesiana. Se llama unidad imaginaria al numero complejo i = ( 0,1), que satisface la relación i 2 = ( −1 , 0 ). (0,0) es el elemento neutro de la adición. El opuesto de (a,b) es (-a,-b)= -(a,b).
Page 1

(1,0) es el elemento neutro de la multiplicación y, si z = (a,b) no es igual a (0,0), el 1 a−ib 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 binómica, 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 sólo si: a

Representación 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 módulo 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 expresión del numero complejo en su forma polar. assume( ) Permite imponer restricciones a las variables. evalc(expresion) Simplifica la expresión compleja al maximo y suele dar la salida en forma binómica. combine(expresion,trig) Simplifica la expresión compleja aplicando identidades trigonometricas.
Page 2

⎝a⎠ parte_real_de_Z := a . arctan⎜ ⎜ ⎟ ⎟ .Argumento_General=arg ument(z)+2*K*Pi. Ejemplo. Parte_imaginaria:=Im(z). y ] de modo que se interrelacionan de la forma siguiente. Modulo:=abs(z).y) = x + i y = r cos( θ ) + i r sin( θ ) = rθ. debemos escribir Arg(z) =θ + 2 K π y ahi si estaran todos. Page 3 . podemos escribir que z = (x. parte_imaginaria_de_Z := b Hemos de añadir que el argumento no es unico. 1 ). ⎛b⎞ argumento_de_Z := artan⎜ ⎜ ⎟ ⎟.> Z = a + b i. Por ejemplo con el complejo z = 2 + i = ( 2 . print( "El módulo de z es la raz cuadrada positiva de la suma de los cuadrados de s\ us afijos" ). pero cada vez que demos ⎛b⎞ otro giro completo volveremos al mismo valor. modulo_de_Z := a2 + b2 . por ello si queremos los ⎝a⎠ argumentos de z y su argumento principal es θ. Parte_real:=Re(z). Expresión trigonometrica ( polar) del complejo. > z:=2+I. tan( θ ) = x Con estas fórmulas. Con una longitud (módulo) y un angulo (argumento): [ r. Argumento_principal:=argument(z). y = r sin( θ ) y r 2 = x2 + y2 . print( " El argumento de z es el arco cuya tangente mide b/a" ) . habitualmente usamos el llamado argumento principal que es el contenido en [ 0. 2 π ]. x = r cos( θ ) . θ ] podemos cubrir cualquier punto del plano exactamente igual que con las llamadas coordenadas cartesianas [ x.

Argumento_principal:=argument(z). Page 4 .display):with(plottools):with(plots. Si hacemos la representación grafica: 3 1 )= π 3 Si superponemos unos ejes cartesianos. podemos tomarlo como el complejo z = (1. que llamaremos coordenadas polares.Sea el punto P= ( 1. 3 ) = 1+ i 3 que tiene de módulo: z = 2 y de argumento principal: arg(z)= arctan( . > with(plots. es muy facil deducir las relaciones. Modulo:=abs(z). P=(1.sqrt(3)). 3 ) .conform al): > z:=2*(cos(Pi/3)+I*sin(Pi/3)). entre coordenadas cartesianas y nuevas. ya descritas.

Consideramos un circulo de radio el módulo de un cierto complejo. con este módulo habra infinitos complejos. Page 5 . tantos como argumentos podamos elegir. Ahora se trata de manejar una longitud r y un angulo θ.Fijate que es una nueva concepción de definir puntos del plano. Vamos a considerar todos los complejos de módulo fijo y argumentos comprendidos entre 0 y 2 π radianes.

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

Page 7 . conjugado_de_z:=conjugate(z).El conjugado de z = a + bi es el complejo z = a . Parte_imaginaria:=Im(conjugate(z)). Veamos sus representaciones graficas conjuntas.bi. Los dos tiene el mismo módulo. Argumento_z:=argument(z). Argumento_Conjugado:=argument(conjugate(z)). Modulo_Conjugado:=abs(conjugate(z)). > restart: z:=3+I*4. Modulo_z:=abs(z). Parte_real:=Re(conjugate(z)). pero sus argumentos son opuestos.

conjugado de z. Page 8 . Propiedades del conjugado de un numero complejo. opuesto del conjugado de z.Opuesto de z. Veamos sus representaciones conjuntas en el plano de Argand.

> conjugate(z[1]-z[2])=expand(conjugate(z[1]-z[2])). 6.Sea z = a +i b => z = a. > conjugate(z[1]+z[2])=expand(conjugate(z[1]+z[2])). > z:='z': 'conjugate'('conjugate'(z))=conjugate(conjugate(z)). 'conjugate(z)'=conjugate(z). coinciden. > conjugate(z[1]*z[2])=expand(conjugate(z[1]*z[2])). 5.real. 1. 2. > z:=a+0*I. El módulo de un complejo y el de su conjugado. 'z*conjugate(z)'=expand(z*conjugate(z)). > restart: z:=a+I*b:assume(a. z = z si sólo si z ε R.b. 4. El módulo de un complejo es un numero real no negativo: 0 ≤ z . El conjugado de un cociente es el cociente de los conjugados. 2. > is(abs(z)>=0). > conjugate(z[1]/z[2])=expand(conjugate(z[1]/z[2])). Page 9 . El conjugado de una suma es la suma de los conjugados. Anlogamente para la diferencia. 1. 3.real). El conjugado del producto es igual al producto de los conjugados. a2 + b2 = z z = z 2. El conjugado del conjugado de z es z.ib. pero debe ser z2 ≠ 0. Propiedades del módulo. 7.

y considerar que i2 = −1 . Para sumar. restar y multiplicar. binomios por ejemplo. 4. el módulo del cociente de dos complejos. El módulo del producto de dos complejos es el producto de los módulos. Para dividir dos complejos. producto=z1 * z2. > abs(z[1]*z[2])=expand(abs(z[1]*z[2])). 5. sólo hay que respetar las reglas de las operaciones con pares ordenados de elementos.I. es el cociente de los módulos. Si z2 ≠ 0 . es suficiente con observar una multiplicación. es menor o igual que la suma de los módulos: z + z1 ≤ z + z1 Operaciones basicas con numeros complejos.z2. 3. resta=z1 . suma=z1 + z2. z2 := 2 . 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 ] . Page 10 . Si z1 = 3 + 4 i y z2 = 2 − i.> 'abs'(conjugate(z))=expand('abs'(conjugate(z))). hagamos las siguientes operaciones. [ 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. El módulo de la suma de dos complejos. > abs(z[1]/z[2])=expand(abs(z[1]/z[2])).

[ 3 − 4 i ] [3 + 4 i] . [2 + i] 2 20 + 5 i + 10 i + 10 i = 5 = 15 + 20 i 5 =3+4i. [ 2 + i ] 2−i [2 − i] . Cociente2=(10+5*I)/(2-I). 10 + i 5 = x + i y <=> 10 + i 5= ( 2 − i ) ( x + i y ) = 2−i 2 x + y + i ( 2 y − x ) => identificando: 2x+y = 10 -x+2y = 5 sistema que al resolverse da el resultado de la división. 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 ] .Sabemos que [ 3 + 4 i ] [ 2 − i ] = 10 + 5 i entonces si los complejos son elementos de un Cuerpo. Page 11 . Otro: 10 + 5 i = [ 10 + 5 i ] . 3+4i 2−i A la vista de lo anterior. [3 − 4 i] = 30 − 20 i2 + 15 i − 40 i 25 = 50 − 25 i 25 =2−i. podemos reescribir la expresión anterior de esta otra manera: 10 + 5 i 10 + i 5 =2−i o =3 + 4 i . > Cociente1=(10+5*I)/(3+4*I).

Sabemos que i = −1 .. i3 = −i = i7 = . ¿ cuanto vale in ? i0 = 1 = i4 = i8 = ..1... .20)].. i^136=I^136... Ejemplo i27 = i3 = −i........ ya que al dividir 27 4 el cociente da 6 y de resto 3........ Page 12 .. el resto r debe ser un numero del conjunto > Potencias_de_i:=[seq(I^k. i2 = −1= i6= .3} de forma que in = ir.2.Ejercicios: 1) Calcular 1 ⎞ ⎛ ⎟ (2 + 3 i) ⎜ ⎜5 − (2 − i) ⎟......i.. 3+5i⎠ ⎝ 2) 1+3i 1+4i + 1−i 3−4i 2 3+i − 5i 1−i 1+2i 3) Potencias de la unidad imaginaria.. n 4 .Mas adelante estudiaremos el calculo de raices de cualquier orden de un complejo. as.k=0.. por lo tanto i2 = -1 y a partir de ah: i3 = ... i = i = i5 = i9= ... Calculo de raices cuadradas de complejos. i^27=I^27. haciendo {0...

. b= -8 luego: −15 − 8 i = +- Page 13 . a = -15. 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) . 4x2 y2 = b2 la primera queda. 2 x2 = a + z => x2 = a+ z 2 y = +y sustituyendo en (eq 3). x4 + y4 − 2 x2 y2 = a2 y si le sumo la segunda.[ de la raiz cuadrada. 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 a+ib =x+iy de modo 2 x y = b. −a + z 2 a+ z 2 .Ahora nos limitaremos a resolver el usual problema de calcular las dos raices cuadradas de z = a + i b. x= En resumen: a + b i = +. (eq 2) elevando ambas ecuaciones al cuadrado: ( x2 − y2 ) = a2 . 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.

(0. (3.-4). Mod(z) = ⎛− 3 ⎞ 2 ⎟ 12 + 3 = 2 y Arg(z) = arctan⎜ ⎜ ⎟ ⎝ 1 ⎠ donde claramente el signo negativo lo tiene el coseno (numerador). a dichos valores se les denomina coordenadas polares del nmero complejo dado. o tambien forma polar del numero complejo.17 − 15 2 −i 17 + 15 2 −i . (1. Puesto que cualquier complejo no nulo viene determinado por su módulo y su argumento.-2). 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. polar y trigonomtrica los siguientes numeros complejos: (1. luego el π argumento es un angulo de radianes pero en el 4º cuadrante => argumento de z 3 Page 14 .1). Este problema de pasar un complejo de una a otra expresión es sencillo. vemoslo con un ejemplo a imitar: 1) Si nos dan z = 1 − 3 i . Ejemplo: Expresar en forma binómica.-1). r1= 17 − 15 2 17 − 15 2 −i 17 + 15 2 17 + 15 2 =1−4i y r2= - = − 1 + 4 i.

En efecto. Donde el argumento calculado por MAPLE es el argumento principal. z4=(0-2*I). z3=(1+I).= θ= z = 2[ 5π 3 5π +2kπ ⎛5π⎞ ⎛5π⎞ ⎟ ⎟ ] = 2{ cos⎜ ⎜ ⎟ + i sin⎜ ⎜ ⎟} . cos⎜ ⎜ ⎟ = − . Page 15 . > Z2:=polar(2-sqrt(3)*I). arg(z) = 2π 3 2π 3 +2kπ ⎛2π⎞ 1 ⎟ hacemos. sen ⎝ 3 ⎠ 2 ⎛ 1 i 3 )= de modo que z = 2 ⎜ ( ⎜− + 3 2 ⎝ 2 2 Con Maple. Forma polar. 3 ⎝ 3 ⎠ ⎝ 3 ⎠ 2) Si nos dan Mod (z) = 2. En nuestro caso concreto se tiene por tanto > Z1:=polar(1-I). z2=(2-sqrt(3)*I). ⎠ > restart. Forma binómica: ⎞ ⎟ ⎟ => z = −1 + i 3 . el comando map(evalc. %). para ello se llama a la librera polar > readlib(polar): y se utiliza la función polar > polar(a+b*I). z1=1-I. > Z3:=polar(1+I). polar(a+bI)) (donde map es un operador que aplica el comando evalc de evaluación simbólica a la expresión polar(a+bI)) nos muestra que la forma polar es > map(evalc.

> arg_Z2:=evalf(argument(Z2)). z := r cos( θ ) + I r sin( θ ) Definiendo convenientemente la función anterior (que proporciona la forma trigonometrica buscada) para obtener una expresión mas clara (sacando factor comun r) se tiene: > Expr_Trigonometrica:=factor(evalc(polar(r. de obtener una representación polar del nmero complejo consiste en utilizar el comando convert: > convert(3+3*I. Expr_Trigonometrica := r ( cos( θ ) + I sin( θ ) ) Producto y potencia entera en forma trigonometrica.theta))). Otra forma.> Z4:=polar(0-2*I). basta sustituir en la fórmula dada. Hacer el paso a forma trigonometrica es muy facil. Con Maple.theta)). Nótese que si queremos saber un valor aproximado de la función arcotangente en el punto -2/3 tendremos que utilizar el comando evalf aplicado a la expresión anterior > argument(Z2). Para obtener la forma trigonometrica de un nmero complejo. Forma trigonometrica de un numero complejo. donde r = z y θ es el argumento de z. Recordamos que todo numero complejo z no nulo se puede expresar en forma trigonometrica: z = r ( cos( θ ) + I sin( θ ) ). alternativa. Como hemos dicho. los argumentos principales de cada nmero complejo se obtienen utilizando el comando argument y vienen dados por > argument(Z1). Sean z1= r ( cos( θ ) + I sin( θ ) ) y z2 = s ( cos( φ ) + I sin( φ ) ) dos numeros Page 16 .theta)). siendo evalc el comando de evaluación simbólica especial para numeros complejos introducido antes: > z:=evalc(polar(r. hay que usar el comando evalc(polar(r. polar).

z1 := 1 + I > z2:=1+2*I. z3 := −1 + 3 I > c1:=polar(z1). Ejemplo. z3 := r s ( cos( θ ) cos( φ ) − sin( θ ) sin( φ ) + I sin( θ ) cos( φ ) + I cos( θ ) sin( φ ) ) que tiene módulo igual al producto de los módulos r s y argumento igual a la suma de los argumentos θ + φ. Podemos comprobar grficamente que el numero complejo resultado de multiplicar dos numeros complejos es el que tiene como módulo el producto de los módulos y como argumento la suma de los argumentos de los dos complejos dados. c2 := polar( 5 . −arctan( 3 ) + π ) Podemos representar los tres numeros de forma grafica (obsrevese que necesitamos conocer el valor de los complejos en forma binómica para poder representar las "flechas" correspondientes): Page 17 . ⎛ 1 ⎞ c1 := polar⎜ ⎜ 2. > z1:=1+I. c3 := polar( 10 . 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)). arctan( 2 ) ) > c3:=polar(z3). z2 := 1 + 2 I > z3:=z1*z2. readlib(polar): z1:= r*(cos(theta)+I*sin(theta)). > restart. π⎟ ⎟ ⎝ 4 ⎠ > c2:=polar(z2).complejos en forma trigonometrica.

0): 2 > z1 := 2 + 3 I z2 := −3 + 2 I Page 18 . esta claro que multiplicar por un numero complejo cuyo módulo sea igual a 1 es equivalente a "realizar un giro" en el plano en torno al origen. veamos que multiplicar un numero complejo por la unidad imaginaria π (cuyo módulo es 1) es equivalente a realizar un giro de radianes en torno al (0.A partir de aqui. de angulo el argumento de dicho numero complejo. Por ejemplo.

zn = 1 y si n <0 es una consecuencia de la igualdad: z z( −1 ) = 2 . z := r ( cos( θ ) + I sin( θ ) ) > z^(-1)=simplify(evalc(z^(-1))).Para calcular la potencia entera de orden n de z . se utiliza la fórmula de de Moivre: zn = rn ( cos( n θ ) + i sin( n θ ) ). esta fórmula se obtiene simplemente multiplicando z por si mismo n veces. Page 19 . Si n > 0. z z 1 z 2 > simplify(conjugate(z)/abs(z)^2). donde n es un elemento de z. > z:=r*(cos(theta)+I*sin(theta)). z > restart. readlib(polar):conjugate(z)/abs(z)^2. si n = 0.

1 −cos( θ ) + I sin( θ ) =− r ( cos( θ ) + I sin( θ ) ) r > z^2=factor(combine(z^(2). 1 r ( cos( θ ) + I sin( θ ) ) 2 2 =− −cos( 2 θ ) + I sin( 2 θ ) r2 Ejemplo. > restart.z:=a+b*I. Page 20 . z := 3 3 + I 3 2 2 -27 > evalc(z^(3)). e( a + I b ) > factor(evalc(exp(z))). Otra forma de representar los nmeros complejos es a partir de la definición de exponencial de un numero complejo z = a + bi: ez = e( a + i b ) = ea ( cos( b ) + i sen( b ) ).trig)). > z:= 3*(cos(Pi/3)+I*sin(Pi/3)). entonces z = b I y se obtiene la identidad e( i b )= cos( b ) + i sin( b ). r2 ( cos( θ ) + I sin( θ ) )2 = r2 ( cos( 2 θ ) + I sin( 2 θ ) ) > z^(-2)=simplify(evalc(factor(combine(z^(-2). > evalc(z^(-3)).trig)))). -1 27 Forma exponencial de un numero complejo. z := a + I b > exp(z). > exp(I*b)=factor(evalc(exp(I*b))). ea ( cos( b ) + I sin( b ) ) Si a = 0. e( I b ) = cos( b ) + I sin( b ) Por ejemplo.

r4 e( 4 i θ ) Page 21 . ( r e( i θ ) ) n > simplify(z1^(4)). r := 34 > theta:=argument(z). z2 := 1 1 2+ I 2 2 2 Entonces. donde r = z es su módulo y θ su argumento: A la fórmula e( i θ ) = cos( θ ) + i sin( θ ) se le llama fórmula de Euler. 3−5I El producto y las potencias enteras de numeros complejos en forma exponencial tienen expresiones muy sencillas: > restart. r s e( i ( θ + φ ) ) > expand(simplify(z1^(n))).z1:=r*exp(i*theta). z1 := I > z2:=exp((Pi/4)*I). > z:=3-5*I. ⎛5⎞ θ := −arctan⎜ ⎜ ⎟ ⎟ ⎝3⎠ > r*(cos(theta)+I*sin(theta)).> z1:=exp((Pi/2)*I). si z = r ( cos( θ ) + i sin( θ ) ) es la forma trigonometrica del numero complejo z. ⎛3 ⎞ 5 34 ⎜ 34 − I 34 ⎟ ⎜ ⎟ ⎝ 34 ⎠ 34 > simplify(r*(cos(theta)+I*sin(theta))). z := 3 − 5 I > r:=abs(z). z1 := r e( i θ ) > z2:=s*exp(i*phi). z2 := s e( i φ ) > simplify(z1*z2). su forma exponencial ser igual a z = r e( i θ ) = r ( cos( θ ) + i sin( θ ) ).

Ejercicios de potencias y raices. calcular z3 y z4. solve(%).> simplify(z1^(-4)). Obtener los valores de r y α para que se cumpla: ( 3 − 2 i ) ( r e ( i α ) ) = 4 + 6 i. ( 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 cómo se resuelven ecuaciones polinómicas en el plano complejo. = 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. lo que equivale a decir que vamos a calcular las cuatro races cuartas de 16. > restart:with(student): completesquare(x^2+4*x+5=0). ( Es muy importante resaltar que una ecuación polinómica 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 ecuación z4 − 16 = 0 . Lo transformamos convenientemente: ⎜i 3π ⎝ z = 2 . e ( −4 i θ ) r4 Ejercicio.Ejemplo. Dado el complejo z = 2 ( −1 + i ). factor(x^2+4*x+5=0). arg(z) = Arc Tan ( )= => z = 2 e 4 − 2 ⎛ 3π⎞ ⎜ ⎟ ⎟ 4 ⎠ i3π⎞ 3 ⎛ ⎛ ⎜ ⎟ ⎜ ⎟⎞ ⎜ ⎝ 4 ⎠⎟ 3 y con esto: z = ⎝ 2 e ⎠ = 2 2 23 e ⎛ 2 ⎞ ⎜i3 π⎟ ⎜ ⎟ ⎜ ⎟ ⎝ 4 ⎠ ⎛ 9 π ⎞⎞ 1 ⎛ ⎛9π⎞ ⎟ ⎟ ( 1 + i ). El complejo z = 16 tiene módulo 16 y argumentos θ =2 k π de modo que z = 16 Page 22 .

Im(r[i])]. ⎛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. ⎝ 2 ⎠ ⎝ 2 ⎠ Con Maple. > restart. w4= 2 e ⎛3π⎞ ⎛3π⎞ ⎟ ⎟ = 2 (cos⎜ ⎜ ⎟ + i sin⎜ ⎜ ⎟) = −2 i. z). Para ello necesitamos nuevamente algunos comandos que estan en la librera plots.e (i 2 k π) . 1. Page 23 .06. w = z = ( 16 e( i 2 k π ) ) = 2 e dando los valores k = 0 . −2 I Podemos visualizar grficamente las 4 races encontradas. Si aplicamos la fórmula de Moivre: ⎛1⎞ ⎜ ⎜ ⎟ ⎟ ⎝4⎠ ⎛1⎞ ⎜ ⎜ ⎟ ⎟ ⎝4⎠ ⎛i2kπ⎞ ⎜ ⎟ ⎜ ⎟ ⎝ 4 ⎠ ⎛ikπ⎞ ⎜ ⎟ ⎜ ⎟ ⎝ 2 ⎠ =2e Las raices cuartas de z sern. 2 y 3 obtendremos las cuatro races buscadas: w1= 2 e0= 2 . filled=true) od: > display({seq(raiz[i].scaling=constrained).. -2.i=1. por lo que utilizamos el comando "with( )" para llamarla: > with(plots): with(plottools): y a continuación escribimos las cuatro raices obtenidas por medio de su representación 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]). 2 I. color=black.4)}. > r:=solve(z^4 -16=0. r := 2. 0.

> C:=disk([0.4).scaling=constrained).2.color=yellow): > display({seq(raiz[i].0]..C}.Nótese como las raices estan todas en el borde del circulo (circunferencia) centrado en el origen y de radio el módulo. Page 24 .i=1.

..n-1).Im(r[i])]..zn tales que la potencia n-sima de cada uno de ellos nos da como resultado el numero complejo z. siendo θ el argumento de z. symbol=circle.. w := 1 Page 25+ I .. 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 . existen exactamente n numeros complejos z1. Dado un numero complejo no nulo z.style=point. A dichos numeros complejos se les denomina raices n-simas de z. sus argumentos satisfacen la relación θ 2kπ θk= + (k=0.Otra forma alternativa de visualizar las raices es la que hemos visto al principio: > plot([seq([Re(r[i]).4)]. El ejemplo anterior sirve para introducir el concepto de raiz de un numero complejo. Todos ellos tienen como módulo la raz n-sima del módulo de z y.. es decir la ecuación xn= z tiene n soluciones distintas. Veamos un ejemplo: > restart: > with(plots): with(plottools): > w:=1+I.scaling=constrained)....i=1.

las races de orden n de 1 seran exactamente n numeros complejos. b := 2( 1 / 6 ) > r:=solve(z^3-w=0.Im(r[i])]. n Page 26 . a := 2 > b:=surd(abs(w). − 1 1 1 1 ( 1 + I )( 1 / 3 ) + I 3 ( 1 + I )( 1 / 3 ).scaling=constrained).3). A la vista de lo anterior. − ( 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]). r := ( 1 + I )( 1 / 3 ). 0. Raices n-simas de la unidad. 1 por lo que se representarn sobre una 2π circunferencia de radio 1 y separadas entre s radianes. todos de igual módulo.color=yellow): > display({seq(raiz[i].i=1.b.Calculemos el radio de la circunferencia en la que estan las raices (la raiz cubica del módulo de w): > a:=abs(w). Vemoslo graficamente. color=black..z).02. filled=true) od: > C:=disk([0.C}.3).0].

z2 = 1 1. Page 27 . cos( 0 ) + I sin( 0 ) Simbólicamente . z3 = 1 1 1 1 1 1. -1 La raíz principal es . 1. 1. − − I 3 2 2 2 2 La raíz principal es . cos( 0 ) + I sin( 0 ) Simbólicamente . − + I 3 .

Page 28 . cos( 0 ) + I sin( 0 ) Simbólicamente .− 5− 5. 5+ 5 − 5− 1 4 − 1 4 1 4 1 4 − 1 4 I 2 La raíz principal es . 1 4 5− 5− 1 4 + 1 4 I 2 5− 5. 1. 1 4 1 4 5− 1 4 + 1 4 I 2 I 2 5+ 5.z5 = 1 1.

FIN: Page 29 .