658 _Nociones de geomet ansliticaysgeba line SiTUACION mcrat La impedancia compleja de un circuito eléctrico constituido por un resistor R, un capaci- tor Cy un inductor L conectados en serie est dada por la siguiente expresi6n: a + (ox-4), donde j equivale a la unidad imaginaria i, R, Ly C son cons- tantes positivas para un circuito dado, y w es variable y se le llama pulsaci6n angular dela sefial aplicada: | | ! a) Determine w > 0 tal que Im (2) = 0. Fisicamente, se dice que en este caso el circuito se comporta como resistivo puro. i b) Determine w > 0 tal que Im (2) > 0. Fisicamente, se dice que en este caso el circuito se i comporta como inductivo, ! ©) Determine > 0 tal que Im (2) <0. Fisicamente, se dice que en este caso el circuito se | comporta como capacitivo. d) Determine a > 0 tal que Re (z) = Im (2). | Nota: En electronica se reemplaza la unidad imaginaria i por j, puesto que el simbolo ies empleado para denotar intensidad de corriente. Al investigar la historia de los ntimeros complejos, encontramos que sus primeras apari- ciones se registran en trabajos de Cardano (1501-1576) y Bombelli (1526-1572) relaciona- dos con el célculo de las raices de ecuaciones de segundo y tercer grado. En esa época, uno de los problemas que los matemiticos trataban de resolver era, por ejemplo, determinar si es posible expresar al mimero 4 como suma de dos niimeros reales, tales que el producto entre ellos sea igual a 13. = a resolucién de este problema arrojaba como respuesta una ecuacién cuadrética sin solucién en el conjunto de los mimeros reales. A saber: 42-36 fie a a(4-x)=13 3x! 4x-132059%,,= eyes 2 E*) aa = 4-36 wate | A raiz de este tipo de resultados, algunos matemiticos tuvieron la idea de seguir tra- / bajando con expresiones como 36 utilizando las operaciones posibles entre ntimeros : reales y propiedades de las mismas, Paradéjicamente, sucedi6 que algo no existente oima- ginario como J—36 se comportaba como si fuese realmente un niimero. Fueron los mateméticos Euler (1707-1783) y Gauss (1777-1855) quienes tuvieron éxi- to trabajando con estos nuevos mimeros, puesto que indagaron su utilidad. = Euler introdujo el simbolo i para denotar la unidad imaginaria con la cual se definié ‘un nuevo nuimero tal que # = ~1. A Gauss debemos el nombre de nimeros complejos, ¥ fue quien les concedié un lugar privilegiado dentro de las mateméticas al probar, en 1799, I l teorema fundamental del Algebra que afirma: toda ecuacién de grado n con coeficientes I complejos tiene, si cada rafz se cuenta tanta veces como sea su orden, m rafces que también I son niimeros complejos,Capitulo 11 Nemeros complejos. 659 A partir de la introduccién de la unidad imaginaria i, radicales como ¥: encontra- ron solucién. Fue Euler quien propuso resolverlos de la siguiente manera: Vb=Je Dave VA = Vb i, cond>0 pues: = En consecuencia, soluciones como la mostrada en (1) pasaron a escribirse como: Ast, la introduccién del nimero i—tal que # = ~1— permitié la generacién de un nuevo tipo de ntimeros que se escribian en forma de binomio: z= a + bi, y al conjunto de estos nimeros s¢ le lamé conjunto de los nimeros complejos, identificandolo con el sim- bolo €. + bi, es la forma binémica de un nimero complejo, donde a, b ER e ies la inidad imaginaria, Esta representacién como binomio de un nimero complejo permite identificar una parte real y una parte imaginaria en el ntimero complejo. Para todo mimero complejo z= a + bi, se tiene que a se denomina parte real de zy b ¢s la parte imaginaria de 2; en simbolos: Re(z) = ae Im(z) = b, respectivamente. Con lo cual queda establecida una relacién de igualdad. Sean 2 la thy 2, =(0, +b): TRelacin de igualdad: Dos ntimeros complejos son siguales si, y s6lo si, tienen la misma parte real y la misma parte imaginaria, En simbolos: z, =z, > Re(z,)=Re(z,) a Im(z,)=Im(z,) Alos mimeros complejos cuya parte imaginaria es nula se les denomina complejo real, es decir, z= a +0i =a es un complejo real puesto que Im(2) = 0; y a los niimeros complejos ccuya parte real es nula se les denomina imaginarios puros, esto es: 2 = 0 + bi = bi es un imaginario puro ya que Re(z) = 0660. Nociones de geomet analitica y Algebra lineal Por otra parte, como los ntimeros complejos son expresados como binomios, pueden sumarse y multiplicarse como si fueran polinomios. Sean z,=(a, +i), z, =(a,+b,i, y 2ER + Suma: 2,42, =(a, +) +(a, +b) =(a, +a,)+(, +B) + Multiplicacié: : 2,°2, = (aa,—bb,)+ (ab, +b,4,) ‘Ya que por propiedad distributiva del producto con respecto ala suma se tiene que z,-z,= (a, +b): (a, + bi) =a,a, + a,b,i + b,a,i + b,b,?, y como # =-1, entonces. 2-2, =(aa,-bb,)+(ab, +b,a,)- i Producto por un escalar: Ja, = Ha, +h 1 (245i) + (6+ 41) = (4410!) + (6+ 4i)(4-6) + (10+ 4) +5i)-(-6 + 4i) = ~12 + 8i— 301 + 201° = -32-22i Las definiciones dadas hasta este punto s6lo son el comienzo del estudio del conjunto de Jos nimeros complejos. En este capitulo, estudiaremos la aritmética de los nimeros complejos y realizaremos un breve recorrido por conceptos tratados en los capitulos an- teriores, con el objetivo de despertar la curiosidad del lector interesado en profundizar en tales conceptos. Esperamos que al finalizar la lectura comprensiva y activa de la presente seccién, usted pueda: : Si Utilizar las distintas formas de expresar un ntimero complejo en la resolucién de operaciones de suma, producto, potenciacién y division en C. 22 Obtener las m soluciones de la raiz enésima de un ntimero complejo. i Calcular el logaritmo natural de mimeros complejos no nulos. © Operar con matrices con elementos complejos. ® Resolver determinantes de matrices cuadradas cuyos elementos son ntimeros com- plejos. © Resolver sistemas lineales con coeficientes complejos. 181 Aplicar los conceptos tratados en el capitulo 8 en el marco de los espacios vectoriales complejos.11.1.1 WALT Capitulo11 _Némeros complejos 661 Propiedades de la suma, la multiplicacién y el producto por un escalar en C ‘Teniendo en cuenta la definicién de las operaciones de suma, multiplicacién y producto or un escalar enunciadas en la introduccién, analizaremos qué propiedades se verifican. Propiedades de la suma y la multiplicacién de nimeros complejos La terna (C; +; ) tiene estructura de cuerpo, esto es: 2) El par (C; +) es grupo conmutativo. i) ELpar(C— {e}s-) es grupo conmutativo (siendo el elemento neutro de la sume en ©). iii) El producto es distributive con respecto a la suma. Analicemos cada item. i) Elpar (C; +) es grupo conmutativo, es decir, se cumplen las siguientes propiedades: 1. Ley de composicién interna, Vaz, eCi(2,+2,)€C 2. Propiedad conmutativa, We OW zeC:z +2444 3. Propiedad asociativa, Vz6C,Vz6C,Vze C2, +2) +2274 (442) 4. Existencia de elemento neutro, V 26C, JecC:zte=etz=2 5. Existencia de elemento opuesto, VW zeC, 3 c’eCiztz’=2’+z=€ La demostracién de las propiedades (1), (2) y (3) se deja como ejercicio para el lector. Para z= a + bi, necesitamos encontrar un mimero complejo, que lamaremos ¢ = ¢, + €,i, tal quez+e=z Entonces z+e=(a+bi)+(¢, +6,i) = (abi) Aplicamos la definicién de adicién en C y el concepto de igualdad de los niimeros complejos para obtener fate =a be, de donde se deduce que e=0 + 03 Luego, como la adicién en C es conmutativa, también se cumple que e+2=2 El mimero complejo ¢ = 0 + Oi es el elemento neutro de la suma de niimeros com- plejos.662. Nociones de geometria analitca y algebra lineal TUE Sbemostracion dea'propiedad Para z= a+ bi, necesitamos encontrar un mimero complejo, que llamaremos 2’ = a’ +b/i, tal quez +2! =0+ 01 Entonces 22" =(a+bi)+(a’ +b'i)=0+0i Aplicamos la definicién de adicién en C y el concepto de igualdad de los mimeros complejos para obtener de donde se deduce que a’=-a_” B/=-b, porlo tanto 2 Luego, como la adicién en € es conmutativa, se cumple que 2’ +z Elntimero complejo ~zes el elemento opuesto de la suma de mimeros complejos. Observaci6n: A partir de la existencia del elemento opuesto para la suma en C, se define la resta de ntimeros complejos. jemplo 3 ii) EL par (C-{0+0i};.) es un grupo conmutativo, es decir, se verifican las siguientes propiedades. Observacién: Llamaremos C* =C-{0+0i} 1. Ley de composicién interna, Va 2, 0%: (z,-2,)eC* 2. Propiedad conmutativa, Vayy2, €C*: 2-2, 224-2, 3. Propiedad asociativa, eqs 25924 €C* (2, -2,)2, =2,-(2,°%) 4. Existencia de elemento neutro, V zeC*,J eeC*:z. HZEZ 5. Existencia de elemento inverso multiplicativo, V eC Cte as za‘Capitulo 11 Niémeros complejos 663. talquez-e=2 Entonces 2-e=(a+bi)-(e, +e,i) =(a+bi) Aplicamos la definicién de multiplicacién en C y el concepto de igualdad de los ntime- ros complejos para obtener él siguiente sistema de ecuaciones lineales: ace, bs a-e,+b-e, a b de donde se deduce que ¢,=1 A ¢,=0, porlo tanto e=1 +0i=1 Luego, como la multiplicacién en € es conmutativa, se cumple que ez = 2 El ndmero complejo ¢ = 1 + 04 = 1 es el elemento neutro de la multiplicacién de ni- metros complejos. Para z= a + bi, necesitamos encontrar un ntimero complejo, que lamaremos 2° =a’+b'i, tal que 2-2" =1+0 Entonces 2-2" =(a+bi)-(a’+b'i)=1401 Aplicamos le definicién de multiplicacién en C y el concepto de igualdad de los nitme- ros complejos para obtener el siguiente sistema de ecuaciones lineales: Porlo tanto, z'=|—"—) + |- i, siempre que 2=a+bi#0+0i wre ©°=( 55) + (pty alma Luego, como la multiplicacién en € es conmutativa, se cumple que 2*-2=1+0i ate) + (-2); ec et elemento inverso mult- a+b a+e plicativo del producto de nimeros complejos. El mimero complejo 2” Observacién: De la existencia del elemento inverso multiplicativo para la multiplica- cién en C, se tiene la definicién de divisi6n de los mimeros complejos.664 Nociones de geometria analitica y algebra lineal Sean z,=(a, +%i) y z,=(a,+b,i) dos ndimeros complejos tales que z, #0+01 mtonces, ho 2-27! % Ejemplo 4 Sean 4,=243i y z,=—4+2i, encontrar 2, a Solucién: Fn 248! ys (aezy? Ba Bat 3-44.29) Por la definicién del inverso multiplicativo, y(t), (2 (a one +2 Entonces iii) El producto es distributivo con respecto de la suma, Wo,12,52,€C12, (2, +2,)= 2:2, 42-2, Sean 4,=4,+bj, z,=4, +b y %=0,+bi Entonces, por definicién de multiplicacién y suma en C y por las propiedades en R: 2G +e )=(4, +H), +b D449) = porsuma en © =(a,+b,)-((a, +4,)+(b, +b) ; por producto en C =la,(a, +4,)-G, HIG AB) (G +a) F por producto en R =(a,a, +4,2, ~b,b, -b,b,) (a,b, +4,b, +,a, +b,a,}i ; por propiedad asociativa yconmutativa de la suma en C =Ula,a, ~bP,) +(ab, +a, D+lqa, HEH, +RG)) por producto en € =(a,+b,i)-(a, +b, +(a, +bA)-(a, +b) = 2,2, +42, Por lo tanto, queda comprobado que la terna (C; +5-) tiene estructura de cuerpo.SET TT 1AA.2 Capitulo11 Nameros complejos 665. Propiedades del producto de un escalar por un néimero complejo Al principio definimos que, siendo 4¢R y z=a+bieC, entonces da Marbi)= hat di 11.1.2 El lector puede comprobar que la operacién de producto de un miimero real por un niimero complejo verifica las mismas propiedades que el producto de un ntimero real por tun vector del espacio I, es decir: Propiedades Sean 4,4,,,€R y 2,2, 2,6C 1, Ley de composicién externa: (iz) eC 2. Asociatividad mixta: A,(4,2)=(,4,)2=4,(4,2) 3. Propiedad distributiva del producto de un ntimero complejo por un escalar con res- pecto a la suma de niimeros complejos: A(z, +z,) = Az, +z, 4. Propiedad distributiva del producto de un némero complejo por un escalar con res- ecto a la suma de ntimeros reales: (4, +4,)2=4,2+4,2, 5. Elescalar 1 es neutro para el producto de un ntimero complejo por un escalar: 1z= 2 En consecuencia, a partir de las propiedades de la suma de mémeros complejos y de las, propiedades del producto entre un escalar (ntimero real) y un nimero complejo, podemos afirmar que la cuaterna (C; +5 R; -) tiene estructura de espacio vectorial. Pero también, como comprobamos que la terna (C; +; BR ) tiene estructura de cuer- po, el lector puede comprobar que la cuaterna (C; +; C; -) verifica los axiomas de espacio ‘vectorial, siendo este un caso de espacio vectorial complejo. Isomorfismo entre los espacios vectoriales C, y Ci En esta seccin trataremos de relacionar distintas estructuras ya conocidas por el lector. Para ello necesitamos hacer uso de cierta clase de funciones que, posteriormente, nos per- mitirén extraer conclusiones. El estudio de cualquier teoria matematica no tiene sentido si no se analizan los morfismos que acttian en ella, asi que al estudiar los espacios vectoriales nos vemos obligados a analizar las transformaciones lineales, lo cual haremos enseguida mediante un ejemplo. ‘Supongamos que tenemos los siguientes espacios vectoriales: 1. (C4R,), donde + y- son las operaciones de suma y producto usuales en C, respec- tivamente, 2. (R?,+4R,s) donde + eslasuma usual en Ry la Ley #se define de a siguiente manera: (a; b)*(6; d)=(ac~bas ad+be)666 Nociones de geometria anallticay Algebra lines! Nuestro objetivo es relacionar amibas estructuras, para ello definimos f£(C,4,R,) > (R’,4,R,*) como f (a+bi) = (a,b) En primer lugar, observemos que la funci6n definida es claramente lineal y biyectiva, Ahora bien, trataremos de mostrar que los espacios vectoriales considerados anteriormnen- te son “iguales en algin sentido”, para ello comenzaremos probando la linealidad de f. 4) Tomemos dos elementos de (C,+R,), por ejemplo (a-bi) y(c+di), y operemos con ellos, entonces (a++bi)+(c+-di)=(a+c)+(b-+d)i, ahora, aplicando la fancién ya definida, tenemos que: fllate)+(b+d)i)=(ateb+d). o Por otro lado, si primero aplicamos la funcién a los elementos de € y luego operamos, nos queda: fla+bi) =(a;b) flctdi)=(6d) Yentonces (a,b)+(ed)=(a+eb-+d) ay A partir de (I) y (11) podemos concluir que Sabi) +e (+ di)) = flat bi) ty, flctai) b) Consideremos (a + bi) un elemento de (C; + Rs) yAEeR Entonces: f(A(a + bi)) = f(a + Abi) = (Aa; Ab)= Aa; b) = Af(a + bi) Dea) yb), queda demostrada la linealidad de f. Se deja como ejercicio para el lector demostrar que la funcién anterior es biyectiva, De esta forma lo que conseguimos es identificar a cada mimero complejo con un par ordenado mediante una funcién que respeta las operaciones, es decir, da lo mismo operar en el espacio de partida (€) y luego aplicar la funcién que primero aplicar la funcién y luego operar en el conjunto de Hlegada (R°); consideremos esto: Sean (a+ b) y (c+ di) los elementos de (C: y Bs), entonces (a+bi):(c+ di) = (ac—bd) +(ad + be)i luego: ‘f((ac— bd) +(ad + be)i) = (ae—bd,ad + be) a Por otro lado, Sla+bi)=(a5b) fle+di) =(cd) Entonces resulta que (a:b) *(¢;d) = (ac~bds ad +be) av) A pattir de (II) y (IV) podemos concluir que F((arbi)(c+di)) = flarbi)* fle+di) Note elector que este resultado valida lo dicho anteriormente. A.una transformacién lineal y biyectiva, como Ja analizada se le lama isomorfismo, y alos espacios vectoriales considerados se les denomina isomorfos. Observemos que la frase “iguales en algiin sentido”, anotada en lineas previas, hace referencia al isomorfismo xi tente, y aunque los espacios vectoriales no son exactamente iguales, se comportan como si Jo fueran a la hora de trabajar con ellos.i Capitulo. Nimeroscomplejos 667 Asi, tenemos que: ‘Todo ntimero complejo z = a + bi puede ser representado por un par ordenado de mtimeros reales, el cual se identifica como z= (a; b) En particular, por ser (C3 +5 IR;-) isomorfo con (R*; +; R;-), se tiene que ies equi- valente a (0; 1). En simbolos: i = (0; 1) 114.21 255), donde Re(z,)=2 y Im(z,)=5 ~2+0i=(-2:0), donde Re(z,)=—2 y Im(z,)=0 0+3i=(0;3), donde Re(z,)=0y Im(z,)=3 En consecuencia, es posible asignar a los ntimeros complejos una representacion geométrica, Si consideramos un sistema de coordenadas cartesianas, cada ntimero com- plejo se corresponde con un punto del plano y viceversa. Esta representacién fue introdu- cida por Argand (1768-1822), y cuando el plano cartesiano es utilizado para representar mtimeros complejos se nombra como plano complejo o diagrama de Argand. Figura 11-2 El eje x se denomina: eje real y en él se ubica la parte real del y ntimero complejo. Eleje y se denomina: eje imaginario y en él se ubica la parte imaginaria del ntimero complejo. a) 4 2=(a; 6) =(Re(2)s Im(z)) Por lo tanto, el punto P(a;b) es la representacién grafica de zy-selo denomina: afio de z. El vector que se muestra en la figura 11-2, con origen en el origen de coordenadas y extremo en el punto P, es el vector aso- ciado al afijo del mimero complejo z Operaciones entre nimeros complejos en forma de pares ordenados Sean 2, =(a,5 b) ¥ 2, =(a,5 b,) dos niimeros complejos,y AR Entonces definimos la relacién de igualdad como: Relacin de igualdad: 2 aaa, Ab =b,668 Nociones de geometria analitica y slgebra lineal ‘Suma: 2,42, =(@ D+(G d= (are b+d) ‘Resta: = (a; b)—(c; d)=(a—c; b—d) Producto de un escalar por un némero real: Az= Ma; b)=(2a; 2b) Producto: a Division: siendo z, # (0; 0): = (a; b)-(c5 d)=(ac—bd; ad+be) Faz 1=(a; DAG a)" =(a; B) z es el inverso multiplicativo o recfproco de z, Sean z, =(2: 3) yz,=(-4} 2), encontrar, y 22, -2,,2,+2, y 2b z Solucién ° 22, ~Z, =2(2; 3)—(—4; 2)=(4; 6)-(-45 2) = (8: 8), 2,2, (25 3)-(~45 2)=(2-(-A) 3-25 2-243-(-4)) =(“14s -8), 23) % (42) way .(—_=4 = oe AG 42° nr) ( Entonces = (2; 3)-(—4; 2), por definicién de inverso multiplicative: 11.1.2.2 Isomorfismo entre By los complejos reales Si consideramos el conjunto de los ntimeros complejos reales C, = {(a;b)¢C/b=0} y las operaciones usuales en C, es sencillo demostrar que (C,;+sIR;-) es un subespacio vecto- rial de (C545 R;-). Ademés, observemos que gréficamente el conjunte C, es una recta que ‘pasa por el origen de coordenadas.670 Nociones de geometria analitica y slgebra lineal 11.1.3 ©) Propiedad distributiva del producto de un mimero complejo por un escalar con res- pecto a la suma de ntimeros complejos, A(z, +2,)=Az, + Az, 4) Propiedad distributiva del producto de un nimero complejo por un escalar con res- pecto ala suma de atimeros complejos, (2, +2,)2=4,2+4,2 €) Elescalar 1 es neutro para el producto de un ntimero complejo por un escalar, lz = z, Fercicio 11-4 Resolver a) 3015 0)—40; +05 D4 =) 2 37-1 GY _Ce-} ° a) BO Potencias de fa unidad imaginaria 2Qué resultados obtenemos al calcular i*con ne N,? | (1) =1 | Observemos que los resultados son 1, i, siguiente manera ¥~i los cuales podemos agrupar de la i, con kEN, en cada uno de los casos.Capitulo 11 Nameros complejos 671 [ Observemos que la sucesién de exponentes forma progresiones aritméticas, es decir, cada nuevo exponente se deduce del anterior al sumarle un ntimero fijo, En estos cuatro ‘casos las progresiones aritméticas se forman sumando 4. Por otra parte, cada progresi6n aritmética comienza con los ntimeros 0, 1, 2, y 3 los cuales, teniendo en cuenta el algoritmo de la divisién entera, son los restos posibles de la divisién entera cuando el divisor es 4. Las observaciones realizadas permiten generalizar el resultado de la operacién i* con nen, Pata neN,, if, donder=0,1,2,3 pues 124 es miiltiplo de 4; es decir, el resto de la division es 0. pues 125 dividido entre 4 tiene como resto 1. ==, ya que el resto de la division de 126 entre 4 es 2 El resto de la division de 127 entre 4 es 3, por lo tanto i” =7 Fjemplo 8 Bae g Ejemplo 9 (245i) =2"-+3-2* Si+3-2-(5i)" + (Gi)! = 8+ 60i+150(—1)+125(—i) = -142- 654 “SF 2G) 11.1.4 Conjugado de un ndmero complejo ‘Dos ntimeros complejos son conjugados si, y s6lo si, tienen la misma parte real y sus f ~ partes imaginarias son opuestas. En simbolos:Z es el conjugado de z <> Re(z)=Re(Z) A Im(z)= ~Im(z) f Es decir, si z=atbi=>Z=a-bi : : :672. Nociones de geometra anaitic y algebra lines! Figura 11.3 iQué relacion tienen las gréficas de dos ntimeros complejos conjugados? En la figura 11-3 se observa que dos nimeros complejos conjugados son simétricos con respecto al je real. a) El conjugado de b) Elconjugado de z=(—V7; V6) es2=(-V7;—¥e) ©) Si z=(h+k)+(3-Wi, scudles son los valores para he R ykeR tales que el conju- gado dezsea 7=1+2i? Solucién Panes A partir dela definicién de conjugado, se tiene que iF a Entonces, de la segunda ecuacién k = 5, y reemplazando en la primera ecuacin: hat 11.1.4.1 Propiedades de la conjugacién en Seaz=a + bi, entonces 242 =(a+bi)+(atbi)=a+bi+a-bi=2a 2 bt 2-2=(a+bi)a+bi)=(a+bi)-(a—bi)=a* + abi-abi+b? =a? +b* La conjugacién en C también verifica las siguientes propiedades relativas a la suma y al producto de nimeros complejos. Entonces, si z, = (a, +b,i) y 2, =(a,+b,i), se tiene que: 4. El conjugado de la suma de dos niimeros complejos es igual a la suma entre los conju- gados de cada ntimero complejo. En simbolos: 2, +2, =2, +2,Capitulo 1 Nimeroscompleos 673 Por definicién de suma y conjugacién en C, se tiene que =(@,+4,)—( +0,)1= bd a, b= 2,42, 5. El conjugado del producto de dos mimeros complejos es igual al producto entre los conjugados de cada ntimero complejo. En simbolos: 2,-Z, hy +b) @, +89) 2, a,b, )+ (ab, +4,b, 1b, —a,b,)~(a,b, + a,b, Fercicio 11-5 b Resolver Ati 1 1 9 Sari iB oat @ vei Me i 11.1.5 Médulo de un néimero complejo Figura 11-4 En los inicios del capitulo se establecié que todo niimero complejo z tiene aso- ciado un vector con origen en el origen de coordenadas y extremo en el afijo del nimero complejo. La longitud de este vector es el médulo del niimero com- plejo. Si P(q; b) es el afijo de z= a + bi, la distancia desde el punto O hasta el punto P se denomina médulo del néimero complejo z El médulo de un néimero complejo z, se simboliza mediantep 0 con] z|. Si observamos la figura 11-4, es evidente, por el teorema de Pitagoras que: Elmodulo de un nimero complejo674. Nociones de geometlaanaliticay algebra lineal A partir de la definicion de médulo de un ntimero complejo se deduce que i W2eC:|z|20 0 |2|=0e2=0 =344i|z,[=V3 48 =V25=5 b) 2, =3-dimo|x,|= JF +4) = V8 5 ° 7 =|2z,)=J7F +0? =7 3i=e VO+S? =3 Figura 11-5 Advierta que los ntimeros complejos de los casos a) y b) previos tienen el mismo médulo, y en particular, son conjugados. Pero, son los tinicos casos? Supongamos que |z|=k ~ k>0, y si pensamos en la interpretacién ‘geométrica del médulo de un mimero complejo, concluiremos que existen in- finitos néimeros complejos cuyo médulo es k. Estos infinitos mtimeros comple- jos son todos los que distan k unidades del origen de coordenadas, porlo tanto, son los puntos de una circunferencia con centro en el origen de coordenadas y radio k. (Ver figura 11-5.) |ZIEk (k>0) describe una circunferencia de centro O(0; 0) y radio k. } Araiz de este hecho, podemos afirmar que el valor del médulo de un ntimero comple- jono lo determina de manera untvoca. Propiedades del médulo de un miimero complejo Sea z= a+ bi, entonces 1 Re(z)<|2| y Im(2)s|2}. oc in [ Demostraremos que Re(z)<| | I Sea z=a+bi, entonces |al=a°=|a[’|a/s|2| ® I Luego, como aeR:a5|al am A partir de (1) y (II) se tiene que @$|z|=> Re(z)<|z| Dejamos como ejercicio para el lector demostrar que Im(z)$| | La demostracién de la propiedad 2 queda como ejercicio para el lector.Copitalo 11 Némeroscomplejos 675 Sea z= a + bi, entonces, por definicién de conjugado de un niimero complejo, multipli- cando, y por definicién de médulo en C, resulta que 2-2=(a+bi)-(a—bi)=a V7 =a? +b =|2P ‘A partir de la propiedad 3 y de la definicién de conjugado de un némero complejo, puede demostrarse que el inverso multiplicativo de un némero complejo no nulo es como sigue: Zz {z/ a igualdad (I) resulta de utilidad para resolver la divisién entre nimeros complejos, veamos cémo es el procedimiento. Si z= a+bital quez #0, setiene que z (2) (Comprobarlo) Sean z, €C yz, #0€C, entonces t= ay Por lo tanto, para dividir dos ntimeros complejos, siendo el divisor un nulo, multipli- ‘camos al dividendo y al divisor por el conjugado de este titimo. Ejemplo 12 (3-41) (2+2i) (2-2) (2+2i) 2 (2-2) putspicamos y ivi por el conjugado aiNisor El lector puede comprobar que se obtiene el mismo resultado si multiplica al di- vvidendo por el inverso multiplicativo del divisor segtin la formula demostrada en el apartado 1.1.3.1, cuando se analizaron las propiedades del producto entre niimeros complejos. Para demostrar la propiedad enunciada, es necesario considerar la propiedad 2, a partir de la cual podemos afirmar que | 2,2, = (2,22)676 Nociones de geometsa antics y algebra lineal Aplicamos las propiedades del conjugado de un producto y de la multiplicacién en Cy resulta Web 2,P lz, Plaz,P=l2 lef laa P=@2,)-G2)=@ ee ‘Luego, como las bases son ntimeros reales positivos 0 nulos, resulta que la-% 5. WneN:|2"|=[2f" emostracion La demostracién de la propiedad 5 queda como ejercicio para el lector. La demostracién de la propiedad 6 queda como ejercicio para el lector. +2,|slal+la|- la cual podemos afirmar que |, +2, |'=(2,+2,)-@, +2) Aplicamos las propiedades del conjugado y de la multiplicacién en C, y obtenemos lz, +2, P=(z, +2,)@ $2) (,42,)-G, +2, BE +20, 403, +22, A zs y los términos centrales son conjugados: 2,2, =2, Z,=2,2,3 por lo tanto, la suma de estos conjugados es igual al doble de la parte real del némero complejo, es decir 22, +2,%, = 2Re(z,Z,) Entonces, en (I)| z, +z, =| 2z, +2Re(z, Z,)+|2z, |? (i) Luego, se tiene que: 2Re(z, Z,) $2|z,Z, = 21,11Z| am Sumamos (II) y (III), y resulta |z, +z, P + 2Re(z, Z,)S|z, f° +2Re(z,zZ) +12, +214, Zl Derivado de la cual se tiene que: (dz )+12.D° P +12,P-+212 [1z,h como |2, Hz) se obtiene |2, +2, la+4,PsFAGULTAD REGIONA! CONCEPCION DEL URUGUAY UNIVER ORE TES SLO GIG EN ARIQMRbmpiies 677 i wrenico WREIHAL Porllo tanto, come neeiséesi (uysonmdmerssaedesuSeumalegae; ENTHE RIGS REP ARGENTINA EB la+z,)slz [+12] io 11-6 + bi, determinar la regién del plano que describen las siguientes ecuaciones. b) [z—-(2+29)|<4 4) |zi<6 4 [22 Bercicio 11-7 a) Demostrar que, siz =a + bital quez#0, entonces 2) lef b) Aplicar la definicién del inverso multiplicativo dada en a) y resolver: 342i (2a 3+; iS ff ¢ 11.1.6 Forma trigonométrica de un némero complejo =a+bi tal quez#0. Al representar un mimero complejo z como un par ordenado de niimeros reales, el punto del plano que obtenemos tiene asociado un vector, segtin se obser- va enla figura 1-6, y este vector queda definido de manera tinica por dos valores: su médulo |z|= y la medida del angulo @ formado entre el semieje positivo de abscisas y el vector, que se denomina argumento de z. Dela figura 11-6, se deduce que Figura 11-6 Sea a=pcos6 a b=p send o Yque pava+h a = arcs” (a#0) ap Por lo tanto, de (1) z=atbi=(p cos 0)+(p sen O)i= plcos O+i sen 0) 1a forma trigonométrica de un mimero complejé es 2= p(cos 6+ sen 6), dondep es el médulo dezy@ es el argumento dez, - Sou Luego, de (1) se tiene que un niimero complejo z queda univocamente determinado si se conocen su modulo p y su argumento 8.=a 678 Nociones de geometsa analticaydlgebra lineal ‘Sin embargo, de (II) se observa que z determina de manera tinica a su médulo peronoa su argumento, ya que 6” = 0 + 2kar con ke Z también verifican las relaciones dadas en (1) 0 en (Il). Por esto, a continuacién se define el argumento principal de un néimero complejo. Argumento principal de un néimero complejo. Sea z=a+bi tal quez#0. Se denomina argumento principal de z, al éngulo 6 que satisface las siguientes condiciones: 1. a=p.os@ 0 b=p send 2. 0<0<2n, Ejemplo 13 11.1.6. 1.1.6.2 Encontrar la forma trigonométrica de z,=2-2i y z Solucion Siz, =2-2i, entonces =Ve=22 y O=aretg= (corn tiom2 4 4 13 Pi, entonces [2] = = wetg V5 = 4, porlo tanto 4 4 =| cossa+i sens 3 3 Igualdad en forma trigonométrica Sean 2, = (cos 8, +i sen 8,) y z,=,(c0s 0, +i sen B,) Los niimeros complejos z, y z, son iguales si, y sélo si, tienen el mismo médulo y sus argumentos s6lo difieren en un numero entero de giros. En simbolos: z,=z, © p,=p, A 0,=0,+2kn (keZ) Operaciones en forma trigonométrica Mediante la forma trigonométrica de un mimero complejo, pueden definirse las opera- ciones de multiplicacién, potenciacién y divisién en C. Ahora nos dedicaremos a analizar cada una de tales operaciones.Capitulo 11 Numeros complejos 679 \ Multiplicacién en forma trigonométrica. Sean z, = p,(cos 6, +i sen 0,) y z, = p,(cos 6, +i sen 6,). Elproducto de dos niimeros complejos tiene por médulo el producto de los médulos y por argumento la suma de los argumentos. Entonces 2, = p,p,{cos (0,+0,) +i sen (0, + 8,)] Sean z,=p,(cos 6, +i sen 6,) y 2 = p,(cos @,+i sen @,) Entonces, resolviendo las operaciones y aplicando la definicién de coseno y seno de la suma de dos éngulos, se tiene 2,2, =[0,(cos 8, +i sen 8,)]-[p,(cos 8, +i sen 0,)1= =p, p,-(cos 8, +i sen 8,)-(cos 8, + sen 8,)= = p,-p,llcos 6, cos 6,~ sen 8, sen 0,)+ilcos 0, sen 0, + sen 8, cos 6,)}= = p,-pjleos (0, + 6,)+i sen (0,+ 4,)] Division en forma trigonométrica Soe : ais Sean 2, = p,(cos 0, +i sen-0,) y z,=p,(cos 0, +i sen 0,), siendoz, #0 Entonces, el cociente de dos ntimeros complejos tiene por médulo el cociente de Jos médulos y por argumento la resta de los argumentos. Fiteos @,= 8,)+i sen (@,- 8,)) ae z p,(cos 8, +i sen 6,) ¥ z,=,(cos 0, +i sen 9,) Entonces, resolviendo las operaciones, aplicando la relacién pitagrica y la definicion de coseno y seno de la diferencia, se tiene que: Z, _ Pi(cos 6, +i sen 6,) (cos 0, +i sen 8,) (cos 8,~i sen @,) _ 2% p,(cos 0, +i sen 0,) p, (cos0,+i sen ,) (cos 8,~i sen O,) Pi (cos 8, +i sen 6,)-(cos ,~i sen O,) Pr cos’ 8, +sen* 8, =o {(cos 6,cos 6, + sen 8, sen 0,)-ri(sen 8, cos 6, ~ cos 6, sen @,)]= 7 {cos (0, ~8,)+i sen (8, ~ 9,)]680 Nocions de geometria malta y dgsbra lineal jemplo 14 vial cos Zar-+i sen 2a} y z Ejempl rt ayy a Encontrar z,+z, y+. a Solucion z i Cean 2} cos—n-+i sen—z |-—| cosza+isen=m 4 a P23 3 vac (2 n+ $a }sien{ 2a |e Sees) = V2) cos +i sen 2 2 2A{cos Zrsi sen 2 4 4 Neos Sasisen 4x 2 3 3 ~1if co ZnS} on (2-42). =4V2{ cos Sti sen 2a 2 2 Potenciacién de exponente natural Sea z= plcos O+i sen O)yneN. _Eripnces a potenca soéyina de lene porndanlel nee atin dees -dezy su argumento es 9 argumento dez, cos (w0) +i sen (78). @) La formula 2° = p*{cos (nO)-+i sen (nB)] se conoce como formula de De Moivre. La demostracién formal de la formula de De Moivre implica la utilizacién de un mé- todo de demostracién denominado por induecién completa, el cual no trataremos en este libro. Sin embargo, baséndonos en la definicién de multiplicacién de los ntimeros comple- jos en forma trigonométrica, podemos inferir la validez de la formula de De Moivre.Capito 1 Names complejos 681 Para ello, consideremos z= p(cos 6-+i sen 6) y calculemos distintas potencias de ex- ponente natural de z [cos (1-8)+i sen (1-8))=2 z= pplcos (0 +6)+i sen (6+0)]= p*[cos (2-6)+i sen (2-6)] pcos (20+6)+i sen (20+0)]= p°[cos (30)-+i sen (36)] ppl cos (30+6)+i sen (30+6)]= p*[cos (40)+i sen (46)] z= p™ plcos ((n~1+2)6)+(sen ((n—1+1)6)]= p"[cos (n0) +i sen(n8)] Ejemplo 15 Calcular, aplicando la formula de De Moivre, 2”, siendo z= Solucion, Para aplicar la formula de De Moivre, es necesario conocer Ia forma trigonométrica de z, entonces, calculamos su médulo y su argumento: 4 Por lo tanto, 2=5 {cos Sati sen 4a) Entonces, 2s (cofaei en 4s)| gation 5 Si calculamos el coseno y el seno del angulo 3x, podemos encontrar la forma biné- mica de 2; esto es, 2” -(-8)i i 6B2_Neciones de geometiaanaltica y dlgebea lineal Ejemplo 16 Siendo 2=sal co oH sen’ 2), youd es el resultado de 2*, 2’, 2" yz"? Solucién Urn 2 2 V8) (oo si send 2). wh(-1+i-0)=-23 2° (i) [co 12 i eta) = cost j sent) 64 11.1.7 Radicacién en C sCudles son las soluciones de la ecuacién 2‘ +1=0 en R2, y jen C? Si z‘-+1=0, entoncesz ‘Queda claro que la ecuacién no tiene solucién en Rs sin embargo, en C presenta cua- tro soluciones, y son: ‘Cémo encontrar estas soluciones es el tema que trataremos en este apartado, es decir {que analizaremos la forma de determinar las rafces n-enésimas de un ntimero complejo. El nmero complejo s raz n-engsima del némezo complejo 2, y los, 2° En simbolos: Jz=w ow" =2Capitulo 11 Nameroscomplejos 683 (cos O-+i sen 6) tal que 20. Todo nimero complejo z no nulo admite n raices dadas por la formula oft] ” dondep y@ son el médulo y el argumento principal de z, respectivamente, n es el indice del radical, ¥ el parametro k adopta los valores naturales k=0;1;25...5—1. Sean 2= p(cos 0+: sen 6) tal quez#0 y w= R(cos w+i sen w) O+ 2k n Debemos probar que R= 4p yo= Sabemos que Vz =w ew" =z @ De (1), se tiene que: w" =[R(cos @+i sen @)J" = R"[cos (na)+i sen (ne»)) z=w" © p(cos O+i sen 8) = R" [cos (naa) +i sen (na)] a Por igualdad de nimeros complejos en forma trigonométrica, en (I1) surge: no=O+2kn (keZ) ~ |= 0+? 2 exe R=ap (keZ) Por lo tanto, Eaweadinn,=dp| col M2) in 22248)] ay donde todas las raices enésimas de z tienen el mismo médulo y difieren en el argumento, O+2ka_ 0, Ia ee nm quees (kez) Nos resta ver que es suficiente con que el parémetro k adopte los valores naturales k=051;2;...5n—1 para generar las m raices de z.684 Nociones de geometra analitcay algebra lineal Para ello, observemos la tabla siguiente: Raices, ‘Argumento de W, Q ® eo , ena nn a fee " 8 ont Pcne ‘Notemos que cuando k = n, los argumentos de w, y w, son Angulos coterminales, en consecuencia, w,y w, definen la misma raiz.z. En general, w, ,, = w, por lo tanto, sélo existen n raices enésimas distintas. Las rafces enésimas de un niimero complejo admiten interpretacién grafica. 42) Dela formula (II1), se tiene que las n raices son de igual médulo: |, |=. Por esto podemos afirmar que las m raices estén a la misma distancia del origen de coordena- das, porlo tanto son puntos de una circunferencia de radio igual a a[p. b) Dela tabla anterior observamos que entre dos raices consecutivas la diferencia angular es constante ¢ igual a 2, Advierta que 2% puede interpretarse como un giro divi- ” dido en n partes. A partir de a) y b) se concluye que n rafces n-ésimas dé un nimeto complejo son los vértices de un poligono regular inscripto en una circunferencia de radio igual a fp.Cepia 11 Numero complejos 6B5 Ejemplo 17 AJ inicio preguntamos cudles son las soluciones de la ecuaci6n z‘ +1=0 en C. Y afirmamos que son Jos niimeros complejos By, FB seo 2 2 2 2 Comprobemos esta afirmacién aplicando la formula iewote= [oo ABE): (224) o 1" " Entonces, si z*+1=0, 2=41 Llamamos z’=-1y tenemos quep=1y0=s, ademas n=4 yk=0;1;2;3. ‘Reemplazamos en (1) para obtener vom (I ” dif (e4)4 sen Advierta que las cuatro rafces tienen igual médulo, y que entre dos raices consecuti- vasla diferencia angular es de 90°; en consecuencia, gréficamente, estas cuatro raices son los vértices de un cuadrado inscripto en una circunferencia de radio uno. Figura 11-7 7686 Nociones de geomet analticaysgebra lines Ejemplo 18. Encontrar los raices ctibicas de Solucion ara determinar las raices n-ésimas de un mimero complejo, es necesario encontrar el médulo y el argumento de dicho niimero, en este caso p= V0" +1" =1y6 Luego fT [cos (<2 on 24288) siendo p y 0 el médulo y el argumento de z = 1, respectivamente, y donde k toma los valores 0, 1, y2, generéndose de esta manera las tres soluciones buscadas, Entonces o lS m iif (22 En este caso, gréficamente, las tres rafces encontradas son los vértices de un tridngu- Jo equilétero inscripto en una circunferencia de radio 1, tal como se muestra en la fi- gura 11-8. a > donde w, Figura 14-811.1.8 Capitulo 11 Némeros comptes GB7 Ejercicio 11-8 Resolver a) Get +P sit +e) Ejercicio 11-9 Resolver las siguientes ecuaciones en C. a) (ti)tz=-i b) z=(4)0-) 2) d) 2+4=0 e) z4+z+4=0 p g -64=0 h) Z7+1=0 8 2 i) 2- 0 jf) 2teQtit? +..+i)=0 Forma exponencial de un ntimero complejo Formula de Euler : “Para todo @¢ R, se verifica que La demostracién de la f6rmula de Euler escapa a los fines de este texto, ya que su vali- dez se comprueba mediante el desarrollo en serie de las funciones trigonométricas seno y coseno de x€ R y dela funcién exponencial e*. Sin embargo, es mediante la formula de Euler que surge la notacién de los ntimeros complejos denominada forma exponencial. Al considerar la forma trigonométrica de un niimero complejo = plcos 0 +i sen 0) yla f6rmula de Euler tenemos e” =cos 6 +i sen 8, y se deduce que z= pe".