Nmeros complejos

1. Introduccin

Podemos pensar en las progresivas ampliaciones de los conjuntos numricos como el mtodo necesario para resolver ecuaciones algebraicas progresivamente complicadas. As, el paso de N a Z se justicara por la necesidad de dar solucin a una ecuacin como x + 5 = 0, y el paso de Z a Q por la necesidad de dar solucin a ecuaciones de la forma 5 x = 1. El paso de Q a R es ms complicado de explicar en este momento, puesto que es ms topolgico que algebraico, pero permite adems dar solucin a ecuaciones como x2 2 = 0. El paso de R a C viene motivado histricamente por la necesidad de trabajar con las soluciones de ecuaciones como x2 + 1 = 0, es decir, con races cuadradas de nmeros negativos. Inicialmente, se trabajaba con dichas races, llamadas nmeros imaginarios por Descartes, como paso intermedio hasta llegar a un nmero real (tpicamente elevando el nmero imaginario al cuadrado en algn momento de los razonamientos). Posteriormente, en los siglos XVIII y XIX, se formaliza la nocin de nmero complejo, lo que convierte a estas entidades algebraicas en miembros de pleno derecho de las familias numricas. 2. Denicin

La manera ms sencilla de trabajar con los nmeros complejos es dar un nombre abreviado a 1. A esta cantidad la llamaremos i. Hecho eso, y suponiendo inicialmente que esta cantidad se portar bien, ya podemos realizar clculos como 25 = (1)(25) = 1 25 = 5i. Necesitaramos poder sumar y multiplicar estos nuevos nmeros. Est claro que si b, c R, se debiera tener bi + ci = (b + c)i. Veamos el producto. En primer lugar est claro que si hemos denido i como entonces i2 = 1. Por otro lado, para a, b R no podremos simplicar la expresin a + bi. 1,

Por otro lado, si vamos a tener un producto asociativo, conmutativo y distributivo respecto de la suma, se deber tener (a + bi)(c + di) = ac + bdi2 + adi + bci = ac bd + (ad + bc)i. Con esto ya sabramos sumar y multiplicar complejos.
1

3.

Formalizacin

Como siempre en matemticas, estas ideas intuitivas se pueden (y se deben) formalizar. Una de las formalizaciones ms habituales es pensar en los complejos como pares (a, b) R R con una suma y un producto denidos por (a, b) + (c, d) = (a + c, b + d) (a, b)(c, d) = (ac bd, ad + bc). Es un ejercicio sencillo comprobar que la suma es conmutativa, asociativa, que existe un elemento neutro (el (0, 0)) y que todo elemento tiene simtrico. Igualmente fcil es comprobar que el producto es conmutativo, asociativo, que existe un elemento neutro (el (1, 0)) y que todo elemento distinto de (0, 0) tiene inverso. Tambin es fcil comprobar que el producto es distributivo respecto de la suma. Decimos entonces que los nmeros complejos tienen estructura de cuerpo conmutativo, nocin que ya conoceris ms adelante. Es obvio que esta formalizacin (cuya notacin apenas utilizaremos) coincide con la nocin intuitiva descrita en la seccin anterior, sin ms que identicar (a, b) a + bi. A cualquiera de estas dos notaciones se las conoce como forma binmica del nmero complejo. Llamaremos C al conjunto de los nmeros complejos con la suma y producto denidos. Es muy fcil darse cuenta de que podemos identicar de manera natural un elemento a de R con el complejo a + 0i = (a, 0). De esta forma podemos considerar R como un subconjunto de C. Anlogamente, tendramos un conjunto destacado de nmeros complejos formado por aquellos de la forma bi = 0 + bi = (0, b). A estos nmeros se les denomina a menudo imaginarios puros. Dado un complejo z = a + bi nos referiremos a a como su parte real y a b como su parte imaginaria a = z, b = z.

4.

Interpretacin geomtrica

Puesto que podemos ver un nmero complejo como un par (a, b) R R, es natural interpretarlo como un punto del plano. Llamaremos plano complejo al plano R R cuando pensamos en l como formado por nmeros complejos. Es claro que en el plano podemos identicar el eje de abscisas con la recta de los nmeros reales, y el eje de ordenadas con la recta formada por los nmeros imaginarios puros.

6. FORMA MDULO-ARGUMENTAL

2 + 3i

3i 2i i 3 + 2i

0 i

3 2i

2i 3i

2 3i

5.

Conjugacin

Una nocin muy importante al usar nmeros complejos y que es propia de stos es la nocin de conjugacin. Definicin 5.1. Dado un complejo z = a + bi denimos su conjugado z como z = a bi. Observamos que si z = a + 0i es real, z = z . Para todo z C z = z y zz = a2 + b2 . 6. Forma mdulo-argumental

Si pensamos en un complejo z = a + bi como un punto del plano, podemos referirnos a l de varias formas. La primera, con la propia notacin binomial. Otra forma de describir ese punto del plano sera decir a qu distancia est el punto del origen y qu ngulo forma el segmento que une 0 con z con la parte positiva del eje de abscisas. Llamaremos mdulo de z a la longitud del segmento que une 0 con z , y lo denotaremos como |z | (una cantidad estrictamente positiva, salvo en el caso de z = 0, que es nula). Utilizando el Teorema de Pitgoras se tiene |z | = a2 + b2 = zz.

b |z |

z = a + bi Arg (z )

El argumento de un nmero complejo z distinto de 0, denotado Arg (z ), es el ngulo que forma el segmento que une 0 con z con la parte positiva del eje de abscisas, siendo el sentido positivo para la medida de dicho ngulo, como es habitual, el contrario al de las agujas del reloj. Se puede ver que b Arg (z ) = arc tg , a teniendo en cuenta que podemos tener que sumar o restar al ngulo as obtenido, en funcin de los signos de a y b. z2 = 4 + 3i z1 = 2 + 2 3i

1 0

1 = arc tg( 3) =

z3 = 2 2 3i
3

z4 = 4 3i
3 = + 1 =
4 3

4 = arc tg(0.75) = 0.6435;

2 = + 4 = 2.4981.

Por supuesto, debiera ser posible (y de hecho lo es) recuperar la forma binmica del complejo a partir de su mdulo y su argumento. Sea z = a + bi. Llamando = |z | y = Arg (z ), se puede ver que a = cos , de manera que tenemos z = (cos + i sen ). Notad que esta presentacin del complejo es formalmente binomial, pero a la vez deja a la vista quines son el mdulo y el argumento de . z = (cos + i sen ) 0 cos b = sen ,

sen

8. TRIGONOMETRA APLICADA: PRODUCTO DE COMPLEJOS

Por otro lado, si z puede escribirse de la forma z = (cos + i sen ) y z = r (cos + i sen ), para ciertos y r positivos y , reales, puesto que cos2 t + sen2 t = 1 para cualquier t real, se tendr que = r . Las propiedades de las funciones trigonomtricas garantizan que existir tambin un entero k tal que = + 2k . 7. Forma exponencial

A continuacin se presenta la notacin exponencial (probablemente la ms usada). Merece la pena tener presente este modo de referirse a los nmeros complejos distintos de 0. Un tratamiento riguroso exige algunos conocimientos extra, por lo que no deniremos la funcin exponencial compleja con el detalle que merece. Apuntamos que comparte propiedades clave con la funcin exponencial real (su derivada coincide con ella misma, lleva sumas en productos...) y coincide con la exponencial real cuando z = a + 0i es un nmero real. Si hubiramos denido ez de manera que ez +w = ez ew para todo par de nmeros complejos z y w , para z = a + bi tendramos ez = ea+bi = ea eib . Puesto que a R, ea es su valor habitual. Falta dar sentido a eib . Admitid como vlida la siguiente armacin/denicin: Definicin 7.1. Para todo nmero real denimos ei como ei = cos + i sen . Inicialmente resulta chocante la existencia de una relacin tan estrecha entre la funcin exponencial y las funciones trigonomtricas (en el curso de Variable Compleja se desvelar esta conexin). Admitida la denicin precedente, queda claro que si z es un complejo de mdulo y argumento podemos escribir z = ei . Comprobaremos lo til que resulta la notacin exponencial a la hora de multiplicar y dividir complejos. 8. Trigonometra Aplicada: producto de complejos cos( + ) = cos cos sen sen

Recordemos las siguientes igualdades trigonomtricas: sen( + ) = sen cos + cos sen cos( ) = cos cos + sen sen

Notad que las dos segundas (a travs de las que daremos una expresin del cociente de nmeros complejos) se siguen inmediatamente de las dos primeras (que nos sirven para expresar el producto de dos nmeros complejos). Escribamos z1 = r1 (cos 1 + i sen 1 ) y z2 = r2 (cos 2 + i sen 2 ). Entonces z1 z2 = r1 (cos 1 + i sen 1 )r2 (cos 2 + i sen 2 ) = r1 r2 cos(1 + 2 ) + i(sen 1 + 2 ) , = r1 r2 cos 1 cos 2 sen 1 sen 2 + i(sen 1 cos 2 + cos 1 sen 2 )

sen( ) = sen cos cos sen

de donde se sigue que para multiplicar nmeros complejos en forma mdulo argumental, se multiplican los mdulos y se suman los argumentos.

Veamos lo mismo con notacin exponencial. En ese caso escribimos zi = ri eii y por tanto z1 z2 = r1 ei1 r2 ei2 = r1 r2 ei(1 +2 ) . 9. Divisin

Podemos dividir complejos en forma binomial multiplicando y dividiendo por el conjugado del divisor: a + bi (a + bi)(c di) (a + bi)(c di) = = , c + di (c + di)(c di) c2 + d 2

pero, como veis, resulta algo farragoso. Si escribimos los complejos como z1 = r1 (cos 1 + i sen 1 ) y z2 = r2 (cos 2 + i sen 2 ) entonces tenemos r1 (cos 1 + i sen 1 ) r1 (cos 1 + i sen 1 )(cos 2 i sen 2 ) z1 = = z2 r2 (cos 2 + i sen 2 ) r2 (cos 2 + i sen 2 )(cos 2 i sen 2 ) r1 cos 1 cos 2 + sen 1 sen 2 + i(sen 1 cos 2 cos 1 sen 2 ) = r2 cos2 2 + sen2 2 r1 cos(1 2 ) + i sen(1 2 ) , = r2 y deducimos que para dividir nmeros complejos en forma mdulo argumental, se dividen los mdulos y se restan los argumentos. De nuevo podemos advertir que la notacin exponencial nos permite ahorrar clculos. Si escribimos z1 = r1 ei1 y z2 = r2 ei2 , tenemos z1 r1 ei1 r1 = = ei(1 2 ) . i 2 z2 r2 e r2 10. Potencias

Veamos cmo calcular las sucesivas potencias de un nmero complejo. Es fcil darse cuenta de que calcular potencias en forma binomial no es especialmente eciente. Notemos en cambio la siguiente Proposicin 10.1 (Frmula de Moivre). Para todo n N, para todo R, (cos + i sen )n = cos n + i sen n. Demostracin. Se prueba muy fcilmente usando las frmulas trigonomtricas antes mencionadas e induccin en n. Con la frmula de Moivre a nuestra disposicin, tenemos que si z = r (cos + i sen ) entonces z n = r n (cos n + i sen n). Por supuesto podamos haber deducido esto directamente de la frmula para el producto de complejos. De nuevo la notacin exponencial es la ms sencilla. Si escribimos z = rei tenemos z n = (rei )n = r n (ei )n = r n ein .

11. CLCULO DE RACES

11.

Clculo de races

En esta seccin se muestra que todas las ecuacines del tipo w n = a + bi tienen soluciones complejas. Es una manifestacin muy concreta de una de las diferencias principales entre los complejos y los reales: la completitud algebraica de C. Es claro que para cualquier n natural, la ecuacin w n = 0 posee una nica solucin, w = 0. Sea z = r (cos + i sen ) = rei un nmero complejo no nulo. Nos planteamos el problema de calcular las races n-simas de z , siendo n un nmero natural. Supongamos que w = (cos + i sen ) = ei es una de estas races: es decir w n = z . Se tiene que n (cos + i sen ) = r (cos + i sen ) y por tanto, (1) n (cos n + i sen n) = r (cos + i sen ). De aqu se sigue en primer lugar que n = r = n r. (La raz que aparece en la ltima expresin es la raz n-sima positiva de un nmero real, ya conocida). Por otro lado, de (1) no se sigue, como podra parecer a primera vista, que n = , sino, como apuntamos anteriormente, que existe k Z tal que n = + 2k. Por tanto, tenemos que 2k + . n n Eso nos dara en principio innitas soluciones k para , una para cada valor de k . Notemos, sin embargo, que si k = k + n, entonces 2k 2k + + = 2 k k = n n n n y por tanto, considerados como ngulos, y como argumentos de un complejo, son indistinguibles. En realidad, no tenemos innitas sino exactamente n soluciones para , correspondientes a n elecciones consecutivas de nmeros enteros, que den lugar a races n-simas distintas de z . Es decir, tenemos 0 = n 2 1 = + n n 4 2 = + n n . . . = n1 = 2(n 1) + n n y por tanto,

2n + = 0 + 2 n n y por tanto, como argumento de un complejo, da lugar a la misma solucin que 0 . En consecuencia, existen n races distintas wj (0 j n 1) dadas por wj = n r(cos j + i sen j ). n = Notad que el razonamiento es totalmente general, de manera que llegamos a que cualquier complejo (distinto del 0) tiene exactamente n races n-simas, todas ellas con el mismo mdulo, y argumentos que dieren entre s por 2n . Geomtricamente, esto se traduce en que las races n-simas de un complejo z de mdulo r estn situadas sobre los vrtices de un n-gono regular inscrito en la circunferencia de radio n r con centro en el origen.

y observamos que

w2 = ei

2 3

w1 = ei 3

w3 = 1 = ei

w0 = 1 = e2i 0

w4 = ei 3

w5 = ei 3 w6 = 1