Nmeros complejos

1.1 Definicin y origen de los nmeros complejos.

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 justificara 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 5x = 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. 1.2 Operaciones fundamentales con nmeros complejos 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 = p(1)(25) = 125 = 5i. Necesitaramos poder sumar y multiplicar estos nuevos nmeros. Est claro que si b, c R, se debiera tener bi + ci = (b + c)i. Por otro lado, para a, b R no podremos simplificar la expresin a + bi. Veamos el producto. En primer lugar est claro que si hemos definido i como 1, entonces i2 = 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

1.3 Potencias De i, mdulo o valor absoluto de un nmero complejo 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 definidos 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 identificar (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 definidos. Es muy fcil darse cuenta de que podemos identificar 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. 1.4 Forma polar y exponencial de un numero complejo. 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 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 Arg(z) = arc tg_b a_,teniendo en cuenta que podemos tener que sumar o restar _ al ngulo as obtenido, en funcin de los signos de a y b. 0
b b b b

z1 = _1 z2 = _2 z3 = _3 z4 = _4
3

2 + 23i 4 + 3i 2 23i 4 3i

_1 = arc tg(3) = _ 3 ; _3 = _ + _1 = 4_ _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 _, b = _ sen _, 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 _. 0 z = _(cos _ + i sen _) _ _ _ cos _ _ sen _ 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 definiremos 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 definido 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 = eaeib.
b

Puesto que a R, ea es su valor habitual. Falta dar sentido a eib. Admitid como vlida la siguiente afirmacin/definicin: Definicin 7.1. Para todo nmero real _ definimos ei_ como ei_ = cos _ + i sen _. Inicialmente resulta chocante la existencia de una relacin tan estrecha entre funcin exponencial y las funciones trigonomtricas (en el curso de Variable Compleja se desvelar esta conexin). Admitida la definicin 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. 1.5 TEOREMA DE MOIVRE, POTENCIAS Y EXTRACCION DE RAIZES DE NUMERO COMPLEJO Potencia. Sea z = rx un nmero complejo en forma polar. Para calcular su potencia n-sima, bastar con multiplicarlo por s mismo n veces, con lo que se obtiene: zn = zz..(n veces)..z = (rx)(rx)..(n veces)..(rx) = (rr..(n veces)..r)x+x+.. ..+x = (rn)nx Es decir, (rx)n = (rn)nx Si escribimos el nmero z en forma trigonomtrica obtenemos: z = r(cos x + isen x) ==> zn = rn(cos x + isen x)n = rn(cos nx + isen nx) De donde: cos(nx) + isen(nx) = (cos x + isen x)n expresin que recibe el nombre de frmula de Moivre. Como aplicacin de esta frmula podemos obtener las razones trigonomtricas seno y coseno de mltiplos de un ngulo conocidas las razones trigonomtricas del ngulo.
(n veces)

Ejemplo:
Conocidos cos x y sen x , calculemos cos 4x y sen 4x : cos 4x + isen 4x = (cos x + isen x)4 = (40)cos4x + (41)cos3xisen x + (42)cos2xi2sen2x + (43)cos xi3sen3x + (44)i4sen4x = cos4x + 4icos3xsen x - 6cos2xsen2x - 4icos xsen3x + sen4x = (cos4x - 6cos2sen2x + sen4x) + (4cos3xsen x - 4cos xsen3x)i Como dos complejos son iguales si y slo si lo son sus partes reales as como sus partes imaginarias, tenemos que: cos 4x = cos4x - 6cos2xsen2x + sen4x sen 4x = 4cos3xsen x - 4cos xsen3x 1.6 Ecuaciones Polinmicas 1- TRANSPOSICIN: Lo primero que debemos hacer es colocar los terminos con X en un lado, y los numeros enteros en otro. Para ello, podemos ver que hay algunos nmeros que tendremos que pasarlos al otro termino. Esto lo podemos hacer teniendo en cuenta que: Si el nmero esta restando (Ej: 6): Pasa al otro lado sumando (+6) Si el nmero esta sumando (Ej: +9): Pasa al otro lado restando (9) Si el nmero esta multiplicando (Ej: 2) Pasa al otro lado dividiendo (en forma fraccionaria) (n/2) Si el nmero esta dividiendo (en forma fraccionaria) (Ej: n/5) Pasa al otro lado multiplicando (5) Una vez hemos pasado todos los terminos en nuestra ecuacin, esta quedara as: 9x + 108x 6x

 16x = 28 + 396 + 9 + 92 Como podrs comprobar todos los monomios con X han quedado a la izquierda del signo igual, y todos los nmeros enteros se han quedado en la derecha. 2- SIMPLIFICACIN: Nuestro siguiente objetivo es convertir nuestra ecuacin en otra equivalente ms simple y corta, por lo que realizaremos la operacin de polinomios que se nos plantea Es decir en nuestro caso, por un lado realizamos la operacin: 9x+108x6x-16x Y por otro lado: 28+396+9+92 De forma que nuestra ecuacin pasara a ser esta: 95x = 475 3- DESPEJAR: Ahora es cuando debemos cumplir nuestro objetivo final, dejar la X completamente sola, para ello volveremos a recurrir a la transposicin. Es decir, en nuestra ecuacin deberamos pasar el 95 al otro lado, y, como est multiplicando, pasa dividiendo: x = 475 / 95 Comprueba que el ejercicio ya est tericamente resuelto, ya que tenemos una igualdad en la que nos dice que la x ocultaba el nmero 475/95. Sin embargo debemos simplificar esto. Resolvemos la fraccin (Numerador dividido entre denominador) en caso de que el resultado diera exacto, si nos diera decimal, simplificamos la fraccin y ese es el resultado. En nuestra ecuacin vemos que si se puede resolver la fraccin (475:95=5) por lo tanto x=5 Ya s hemos resuelto la ecuacin, es decir hemos averiguado que el nmero que x representaba era el 5. Resolucin de ecuaciones de primer grado (Problema) Pongamos el siguiente problema: El nmero de canicas que tengo ms tres es igual al doble de las canicas que tengo menos 2.Cuntas canicas tengo? El primer paso para resolver este problema es expresar el enunciado como una expresin algebraica: x + 3 = 2x 2 El enunciado est expresado, pero no podemos ver claramente cul es el valor de x, para ello se sigue este procedimiento: x + 3 = 2x 2//Primero se pasan todas las x al primer trmino y los trminos independientes al segundo. Para ello tenemos en cuenta que cualquier expresin pasa al otro trmino haciendo la operacin opuesta. As obtenemos: x 2x = 2 3//Que simplificado resulta: x = 5//Esta expresin nos lleva a una parte muy importante del lgebra, que dice que si modificamos igualmente ambos trminos de una ecuacin, el resultado es el mismo. Esto significa que podemos sumar, restar, multiplicar, dividir, elevar y radicar los dos trminos de la ecuacin por el mismo nmero sin que esta sufra cambios. En este caso, si multiplicamos ambos trminos por 1 obtendremos: x = 5//El problema est resuelto Resolucin de ecuaciones de segundo grado Todas las ecuaciones de segundo grado pueden tener como mucho 2 soluciones vlidas.Para la resolucin de ecuaciones de segundo grado tenemos que distinguir entre tres tipos distintos de ecuaciones: -Ecuaciones de la forma ax2 + c = 0 Este tipo de ecuaciones son las ms sencillas de resolver, ya que se resuelven igual que las de primer grado. Tengamos por ejemplo: x2 16 = 0//Pasamos 16 al segundo trmino x2 = 16//Ahora pasamos el exponente al segundo trmino haciendo la operacin opuesta, en este caso raz cuadrada

Algebra Lineal 8va Edicin Bernard Kolman

& David R. Hill