y APENDICE | i Numeros complejos a a Old Macdonald had a farm, Minus E-Squared O Cancisn para nitios matematicamente simpliicada Muchos de los problemas a los que se aplica la matematica requieren la solucién de ecuaciones. A lo largo de los siglos los sistemas de numeracisn se han tenido que ampliar muchas veces para proporcionar soluciones a mas y més clases de ecuaciones. Los miimeros naturales N={1.2.3,4. 3 son inadecuados como soluciones de ecuaciones de la forma xtn=m — (mneN) Se pueden afiadir el cero y los mimeros negativos para crear los enteros Zu, 78-2, 1,012.3...) donde esa ecuacidn tiene como solucién x= m ~ n incluso si m 0, entonces Arg (q = tan™' (y/a). Muchas hojas de cAleulo de computador y paquetes de software matemstico implementan una funcién arctan de~ nnominada atan2 (x, 9} que proporciona el éngulo polar de (x, y} en el intervalo (—z, r]. Por tanto, Arg (xt yd = atan2 (x,y) Dado el médulo r= |vl y cualquier valor de la fase 0 = arg(w) de un mimero complejo w= a~ bi, tenemos que a= rcos0 y 6 = rsen8, por lo que w se puede expresar en funcién de su médulo y fase como w= reos0 + irsen 0 La expresién del miembro derecho se denomina representacién polar de 1: Revise la nota de atencién al final de la presentacién de la funcién ar- HW ATENCION Ht corangente en la Seccién 3.5; programas diferentes implementan la funcién arcotangente de dos variables utilizando notaciones diferentes yo diferente orden de variables. DEFINICION 5 El conjugado o complejo conjugado de un nimero complejo w= a+ bies otro mimero complejo, simbolizado por # y dado por an bi Obsérvese que Re (fi) = Re (w) lw = [wh Im (3) = —Im(w) ang (9) = —arg(w) En un diagrama de Argand el punto ies la reflexién del punto w con respecto al eje real (véase Ia Figura 1-4), Figura 14) Un nimero complejo y su conjugada son imagenes especulates entre sf con respecto al ee real. Notese que w es real (Im(w) = 0) si y sélo si i= w. Ademés, w es imaginario puro (Re (1) = 0) si y s6lo si = —w (en este caso, —w= —a~ bisi w= a+ bi)1096 cALCuLO Aritmética compleja Como Jos niimeros reales, los nimeros complejos se pueden sumnar, restar, multiplicar y dividir. Dos mimeros complejos se suman o restan como si fueran vectores bidimensionales cuyas com- pponentes son sus partes real ¢ imaginaria, ‘Suma y diferencia de mimeros complejos Si w= a+ biy z= x+ yi, siendo a, b, xe ymimeros reales, entonces (at a+ tyi (a-9+b-yi wre En un diagrama de Argand los puntos w+ zy w ~ zon los puntos cuyos vectores de posicién son, respectivamente, la suma y la diferencia de los vectores de posicién de los puntos wy z (véase la Figura 1.5). En particular, el ntimero complejo a+ bi es la suma del mimero real a= at Oiy el mimero imaginario puro bi= 0+ bi Figura 1S Dos nimeros complejos se suman y se restan vectorialmente Obsérvense los paralelogramos. La suma compleja obedece a las mismas reglas que la suma real: si wy, wp y wy Son tres ni- ‘meros complejos, las siguientes propiedades se pueden verificar facilmente: mts tm La suma es conmutativa (1% + Wy) + 3 = my + (We + Hy) La suma es asociativa. Lov, = wel < Lol + [nal desigualdad del tringulo Notese que |; — wal es la distancia entre los w, yw, en el plano complejo. Por tanto, la desi- gualdad del tringulo dice que en el triéngulo cuyas vértices son w;, FW; y 0, la longitud de un ado es menor que la suma de las longitudes de los otras dos. Se puede verificar también facilmente que el conjugado de una suma (0 diferencia) es la suma (0 diferencia) de los conjugados: Ejemplo 3 (@) Siw=2+3iy z = 5i,entonces wee=@+d + @-Hs= 6-2 @-4)+6-(-5) () 36+ 2h - 2439 +5 = 4-2,APENDICE |. Nomeros compljos 1097 La multiplicacién de dos mimeros complejos w= a+ bi y 2= x yise realiza multiplicando formalmente las expresiones binomiales y sustituyendo # por — 1 w= (at bi (x+y) = ax+ ayi+ bei + by? (ax by) + (ay + bs Producto de niimeros complejos Si w= a+ biy z= x+ yi, siendo a, b, xe y mimeros reales, entonces wee (ax by) + (ay + BOs (@) (2+ 390-29 = 2-414 31-67 = 8-1, (6) 8-4) = 5-4? = 4 4 5 (0 (@t bila bh = 2 = abit abi~ BP = PP El apartado () del ejemplo anterior muestra que ef cuadrado del médulo de un nimero complejo es el producto de dicho mimero con su complejo conjugado: wir = [wh La multiplicacién compleja comparte muchas propiedades con la multiplicacién real. En particu- lar, si ws, wa y 1 Son mimeros complejs, entonces samy = we 1.a multiplicacin es conmutativa (wim) = wy (wowed La multiplicacién es asociativa. snj(, + 14) = wim + ayary La multiplicacin es dstributiva respecto de la suma, 1 conjugado de un producto es el producto de los conjugados: Para ver que esto es asi, sean w +biyz Wa= (ax) + ay > i = (ax by} ~ (ay + bai a - bi (x yh = WE Es particularmente sencillo determinar el producto de médulos complejos expresados en forma polar, Si w= r(cos0 + fsen 0) y z= s{cos $+ isen d) siendo r= |w), @— arg (i), s~ [21 y @ — arg (9, entonces wz = rs(cos 6 + isen6)(cos ¢ + isen ¢) = 15((cosO.cos g — senOsen g) + s(sen Ocos + cos Osen @)) rs(cos(0 + d) + isen(0 + §))1098 cA.cuLo Vease la Figura 1.6. Como las fases sélo estan determinadas hasta un miiltiplo entero de 2n, he- mos demostrado que Modulo y fase de un producto |wz]=|wilz] yy arg (v2) = arg (w) + arg (2) |FIgUFa|IG) La fase de un producto es Ta suma de las fases de os factres, La segunda de estas ecuaciones dice que el conjunto arg (w2) esta formado por todos los mime- 10s 0+ 4, donde 8 pertenece al conjunto arg (w} y @ al conjunto arg De forma més general, si w, Wa... W, Son nimeros complejos, entonces [oii <-> wl = Loe || wal LW arg (ww w,) = arg (wy) + arg (m2) + ~~ arg (w,) La multiplicacién de un mimero complejo por i tiene una interpretacién geométrica particular- mente simple en un diagrama de Argand. Como [i|=1 y arg () = 1/2, la multiplicacion de w= a+ bi por ino modifica el médulo de w pero aumenta su fase en r/2 (véase la Figura 17) Por tanto, 1a multipticacién por i gira el vector de posicién de w en sentido contrario al de las agujas del reloj 90° alrededor det origen. |FIGUFAILT) La muluplicacisn por J coresponde a una rotaciin en sentida contrario al de las agujas del reo} de 90° Sea z= cos + isen 0, Entonces |2| ~ 1 y arg (a 0. Como el médulo de un producto es el producto de los médulos de los factores y la fase de un producto es la suma de las fases de los factores, tenemos |7"| = |2{"= 1 y arg (¢) = narg (2) = 20. Por tanto, 2 = cos nO + isen nd y hemos demostrado el Teorema de de Moivre.APENDICE | Numetes complejos 1099 TEOREMA GD) Teorena de Moivre (cos @ + isen 6)" = cos nf + isen nd oe | Observacién Una gran parte del estudio de las funciones complejas de variable compleja se sale del alcance de este libro. Sin embargo, en el Apéndice II presentaremos una versién comple- Jade la exponencial que tiene la siguiente propiedad: si z= x + iy (sienda xe y reales), entonces = = ee = e(cosy + iseny) Por tanto, el médulo de o es 44 ¢ Im (a) es un valor de arg (c). En este contexto, el Teorema de de Moivre dice simplemente que (re DEITIES sree (1+ 98 ex tafe a +b Soluci6n Como |(1 + 9°] = [1 + al? = (V2 = AVZy are (ll +0) = Sarg(1 + =~, tenemos Sarg, pM El Teorema de Moivre se puede utilizar para generar identidades trigonométricas de los miiti- plos de un éngulo. Por ejemplo, para n = 2 tenemos cos 20 + isen 20 = (cos + isen )® = cos @ — sen® 8 + 2icos OsenO Por tanto, cos 20 = cos 6 — sen®@ y sen20 = 2sen0 cos EL inverso de un niimero complejo distinto de cero wa + bi se puede calcular multipli cando el numerador y el denominador de la expresién del inverso por el conjugado de we 14 a-bi anh i w ath Ge FFF [we Como [iH = wl y arg (i) = —arg (w), tenemos Hy ag(2) ivF iwi YB w) ue El cociente 2/1 de dos nimeros complejos 2 = x-+ yy w= a+ bres el producto de z y 1/w, por lo que zit _ (xt yNa=b) xa yb+ Hya- xd) wow +e ete Tenemos Médulo y fase de un cociente ay ane (2) 0) tiene dos rafces cuadra- das; si w, e5 un nimero complejo tal que wf = z entonces w, = —w; también cumple w Es interesante sefialar una de esas raices para denominarla /z. Sea r= [2 de forma que r>0. Sea 0 = Arg (a). Por tanto, —n <0 0 para —nj2 <0 < n/2, En este intervalo sen (9/2) = 0 sélo si @ = 0 en cuyo caso ./Z es real y positiva. @ V4 = V/A cos 0 + tend) = 2. el mimero complejoAPENDICE | Numetos compjos 1101 Dado un numero complejo 2 distinto de cero, se pueden obtener # nimeros complejos distintos w que cumplen w* = z Estos 1 nimeros se denominan las raices nésimas de z. Por ejemplo, si 2=1=cos0 + ésen0, entonces todos los mtimeras mol cumplen w’= 1 y, por tanto, son raices mésimas de 1 (estos nimeros se denominan general- mente raices mésimas de la unidad). La Figura L8 muestra las tres raices cibicas de 1. Obsérve- se que estan en los tres vértices de un tridngulo equilatero cuyo centro esta en el origen y uno de sus Vértices esta en 1. En general, las n raices n-ésimas de la unidad estarén en una cigcunferen- cia de radio 1 centrada en el origen, y sus vértices formarén un poligono regular de 1 lados con uno de sus vértices en 1 y Figura 8) Las raices cubicas de la unida. Si zes un mémero complejo distinto de cero y 0 es la fase principal de z(—n <0-< 7), en tonces el mimero ma te(on8 ie?) se denomina raiz principal m-ésima de 2 Todas las raices n-ésimas de z estén en una circunfe- rencia de radio |)" centrada en el origen y ocupan los vértices de un poligono regular de m la- dos con uno de sus vértices en my; (véase la Figura 19). Las otras 1 raices son asa = tate(«os + ison anf. 0+ 4 O+ 48 wy = lal (cos ) a ( O+%n-De 0+ 2a ds)1102 cA.cuLo Figura 19) Las cinco raices quintas de x Podemos obtener todas las rafces mésimas de z multiplicando la raiz principal mésima por las raices nésimas de la unidad. PECETSIE cent as races cuartas de 4, Dbielas en un dagrama de Argand Solucion [By arg(—4) = m, ta raiz cuarta principal de — wee Vila aml) 0 Las otras tes raices cuartas estén en los vértices de un cuadrado cuyo centro es el origen y uno de sus vértices estd en 1 + # (véase la Figura 110). Por tanto, las otras raices son Soma | 4! werl+h mann s, Figura 110) Las cuateo races cuartas de —4 Ejercicios: Apéndice | En los Rjercicios 1-4, calcule las partes reales e imaginarias (Re (2 e Im (a) de los nimeros complejos z dados, y dibyje Ja posicion de cada uno de los mimeros en el plano complejo (es decir, en un diagrama de Argand) Les 542 2254-4 3.25 -ai A= 6 En Jos Rjercicios 5-15, caleule los médulos r= [al y las fases principales @ = Arg (2) de los niimeros complejos 45, dlados zy exprese xen funcion de ry 0. = 3c0s42 + sisen 4 2= Beos-E + Bisen =16. SiArg (3 1/2, calcule Arg (2). IZ. Si Arg (3 = ~ 50/6 y Arg (w} = n/, calcule Arg (2/v) En los Ejercicios 18.23, exprese en la forma 2= x+ yi los aiimeros complejos 2 con los médulos y fases dados, 3n/Ay Arg (wo) 18, [l= 2 argid= 7 19. [=5, arg =tan"? 5 an « 20. [al 1, arg = ag ~2 1 : 2. |=. wp—1 28. b=, ala = -4 2 3 En los Bjercictos 24-27, caleule los complejos conjugados de los niimeros complejos dados, 24. 5 431 25. -3- 53 26. 4 a. 2-3 Describa geométricamente (o realice un dibujo) del Conjunto de puntos z en el plano complejo que cumplen las ‘ecuaciones 0 desigualdades de los Ejercicios 28-33 28. [zl = 2 29. Jal <2 30. |z— 2 <3 31 |2— 4h 32 arge=2 Bi ncagia ct ‘Simplifique las exprsiones de los Rjercicios 34-42 4. (2+5)+ (3-3 35. 1- (3-2) + (7-38 36 (4 aA - a 37. (1+ )(2 — 39 38. (a+ bi Ga Bh 39. @ +a? 40. a Al. ie 2, 4, 45, 46. a1. 48. 49. 51 52 53. 5, 58. 56, 57. APENDICE | Numetes complejos 1103 Li at ae - 39 +H 2-385 Demuestre que F=W= 3+ % Demucsre que ( 3) 2 Beprese los mtimeros compejos 2= 3-+ 4/3 y w= —1 + 4/3 en forma polar (es dec, en fanciin de su mould fase). Uae estas expresions para cslelar sy 2 Repita el Bjercicio 46 para x = =14 dy w= 34 Uilice of Teorema de de Moivre para. obtener sna ‘dentidad trigonometica de cos 4 en funcdn de cos y otra para sen 30 en funcin de sen0 Desriba las solucones, si existen, dela ecuacién (a) B= Qizy (b) B= — Dz, Dados los mimeros positives ay b, siempre es certo ue fab = fax/b. (Se cumple una identidad sila para «/21, siendo zy w mimeros complejos? Sugerencia: Considere 2= w= ~1 Calcule las tes raices cibicas de — Calcule las tes rafees cibicas de ~8: Calcule las tes rafces etibicas de —1 + & Calcule todas las raices cuartas de 4 Calcule todas fas soluciones complejas de la ecuacion Av a/3=0, Calcule todas las soluciones de 2 + a® = 0, siendo a ‘un mimero real positive Demuestre que la suma de las raices mésimas de la lunidad es cero, Sugerencia: Demuestre que estas rafces son todas ellas potencias de la raiz principal