Professional Documents
Culture Documents
Introduccin
Nmeros complejos 2
2.1 Introduccin
Los algebristas de los siglos XV y XVI, al resolver ecuaciones de segundo grado, por ejemplo x 2 4x + 13 = 0, y obtener la expresin x = 4 236 , decan que no era posible extraer la raz cuadrada de un nmero negativo y por tanto la ecuacin no tena solucin. Pero en algn momento los algebristas se decidieron a operar con estas expresiones como si se tratara de nmeros reales:
4 36 2
4 36 1 2
= 2 3 1,
y seguan operando con 1 como si se tratara de un nmero real. Fu en 1777 cuando Euler le dio a 1 el nombre de i (por imaginario) y a partir de entonces se ha desarrollado toda la teora de los nmeros complejos. En estas notas vamos a dar solamente unos breves conceptos de distintas formas de expresar los nmeros complejos y como se trabaja con ellos. Pero antes de empezar una advertencia: aunque histricamente (y vulgarmente) se llama i a la raz cuadrada de 1 esta expresin no es totalmente cierta. Si as fuera obtendramos la siguiente cadena de igualdades que no es posible,... verdad? 1= 1 = (1)(1) = 1 1 = ii = i2 = 1.
2.2.1
Suma de complejos
Recordemos que para dotar a un conjunto, en este caso R R, de estructura de cuerpo se necesita una suma y un producto que veriquen ciertas propiedades. La suma no es nada nuevo, es la suma de R2 como espacio vectorial, es decir, si (a, b), (c, d) son dos elementos de R2 , denimos su suma como (a, b) + (c, d) = (a + c, b + d). Es evidente (por otra parte nosotros ya lo sabamos del estudio de espacios vectoriales) que esta suma cumple las propiedades que tiene que cumplir: 1) Asociativa. 2) Conmutativa. 3) Existencia de neutro ((0, 0)). 4) Existencia de inverso ((a, b) = (a, b)).
15
Nmeros complejos
z+w
a+c
Ilustracin 2.1 Suma de nmeros complejos La representacin grca de la suma es conocida. Dos nmeros complejos z = a + ib y w = c + id determinan un paralelogramo cuya diagonal (ver gura 2.1) es z + w.
2.2.2
Producto de complejos
El producto s es nuevo. Dados (a, b), (c, d) R2 , denimos su producto como (a, b)(c, d) = (ac bd, ad + bc). Tampoco es difcil comprobar que este producto es adecuado, en el sentido de que verica las propiedades 5) Asociativa, 6) Conmutativa, 7) Existencia de elemento neutro ( el neutro para el producto es (1, 0), comprebese). 8) Si (a, b) (0, 0) entonces su inverso es (a, b)1 =
b a a2 +b2 , a2 +b2
Comprueba tambin que (a, b)(a, b)1 = (1, 0). 9) Distributiva ((a, b)((c, d) + (e, f )) = (a, b)(c, d) + (a, b)(e, f )).
3 1 As, por ejemplo, (2,3) = (2, 3) 25 , 4 = 25 , 25 . Pues bien, los nmeros complejos son justa25 (3,4) mente el cuerpo (R2 , +, ). Es decir cada nmero complejo es una pareja (a, b) donde a y b son nmeros reales, y la suma y el producto de complejos son los que hemos descrito antes. A esta forma de representar los nmeros complejos se la suele llamar forma cartesiana. Esta forma es muy cmoda para trabajar con sumas de nmeros complejos pero no lo es tanto para trabajar con el producto: prueba a calcular (1, 1)4 . 18
Forma cartesiana
16
Nmeros complejos
0 < i2 = 1 (esto todava no es contradictorio porque pudiera ocurrir que la relacin no respetara el orden de R). Pero tambin 0 < 12 = 1, luego 0 < 1 + (1) = 0 y eso s que es contradictorio. Por tanto, es imposible denir un concepto de nmero complejo positivo de forma que la suma y el producto de complejos positivos sea positivo. Por ello no se dene en C ningn orden. As que ya sabes: mucho cuidado con no escribir desigualdades entre nmeros complejos! Naturalmente, puedes escribir desigualdades entre las partes reales o imaginarias de nmeros complejos, porque tanto la parte real como la parte imaginaria de un nmero complejo son nmeros reales.
Esto hace que el conjunto {(a, 0), a R}, con la suma y el producto denidos antes sea tambin un cuerpo, pero este cuerpo se puede identicar con los nmeros reales mediante la identicacin R {(a, 0), a R} a (a, 0) Usaremos esta identicacin; es decir para nosotros van a ser indistinguibles el complejo (a, 0) y el nmero real a. Entonces tenemos que cualquier nmero complejo (a, b) se puede poner como (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + b(0, 1). Si ahora llamamos (0, 1) = i, obtenemos que el nmero complejo z = (a, b) (se le suele llamar a los nmeros complejos con letras como z, u, v,...) se puede poner como z = a + ib. Esto es lo que se llama la forma binmica de un nmero complejo. Al nmero real a se le llama la parte real del complejo y al nmero b se le llama la parte imaginaria. A i tambin se le llama la unidad imaginaria. Es claro que i no es ningn nmero real (no es un par con la segunda componente 0) y cumple una propiedad que nos ser til, y es que i2 = ii = (0, 1)(0, 1) = (1, 0) = 1, es decir, el cuadrado de i es 1. Esto nos permite que las frmulas para la suma y el producto de nmeros complejos, cuando estn puestos en forma binmica, sean fciles de recordar, ya que, formalmente, los vamos a sumar y multiplicar como si fueran nmeros reales y simplemente tendremos en cuenta que i2 = 1. Nos referimos a lo siguiente: antes hemos denido la suma de dos nmeros complejos (puestos como pares) de la forma (a, b) + (c, d) = (a + c, b + d). Esta misma operacin, puesta en forma binmica, quedara a + ib + c + id = a + c + i(b + d), que es la suma formal de las parejas a + ib y c + id, sacando al nal factor comn el i. Para el producto sucede igual. Si multiplicamos dos complejos en forma de pares (a, b)(c, d) = (ac bd, ad + bc). Esto puesto en forma binmica sera (a + ib)(c + id) = ac bd + i(ad + bc). Pero este resultado es lo que se obtiene multiplicando formalmente a + ib por c + id y tenemos en cuenta que i2 = 1. (a + ib)(c + id) = ac + ibc + iad + i2 bd = ac bd + i(ad + bc).
17
Nmeros complejos
b |z|
z = a + bi
z = a bi
Denicin 2.1. Si z = x + iy es un nmero complejo (con x e y reales), entonces el conjugado de z se dene como: z = x iy y el mdulo o valor absoluto de z, se dene como: |z| = x 2 + y 2 . Observa que x 2 + y 2 est denido sin ambigedad; es la raz cuadrada del nmero real no negativo x 2 + y 2 . Geomtricamente z es sencillamente la reexin de z respecto al eje real, mientras que |z| es la distancia eucldea del punto (x, y) a (0, 0) o, tambin, la longitud o norma eucldea del vector (x, y) (ver gura 2.2). La distancia entre dos nmeros complejos z y w se dene como |z w|. La representacin grca de la suma es conocida. Dos nmeros complejos z = a + ib y w = c + id determinan un paralelogramo cuya diagonal (ver gura 2.1) es z + w. Proposicin 2.2. Sean z, w C. Entonces a) z = z, b) z + w = z + w, c) zw = z w. d) |z|2 = zz, e) max {|Re(z)| , |Im(z)|} |z| |Re(z)| + |Im(z)|, f) |zw| = |z| |w|, g) |z + w| |z| + |w|. Demostracin. La comprobacin de estas armaciones es inmediata. Por ejemplo, para comprobar que la propiedad f) se verica, basta observar que |zw| y |z| |w| son nmeros positivos cuyos cuadrados coinciden, pues |zw|2 = zwzw = zwzw = zzww = |z|2 |w|2 = (|z| |w|)2 . Para demostrar la ltima armacin es suciente probar que |z + w|2 (|z| + |w|)2 . En efecto:
18
Nmeros complejos
|z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + zw + zw = |z|2 + |w|2 + 2 Re (zw) |z|2 + |w|2 + 2 |Re (zw)| |z|2 + |w|2 + 2 |zw| = |z|2 + |w|2 + 2 |z| |w| = |z|2 + |w|2 + 2 |z| |w| = (|z| + |w|)2 . Observacin 2.3. De la demostracin de la ltima armacin se deduce que |z + w| = |z| + |w| si, y slo si, Re zw = |zw|, esto es, si zw R+ , o lo que es lo mismo zw = donde R+ . Esta 0 0 igualdad, puede escribirse de forma equivalente multiplicando por w como z |w|2 = w, esto es, z = w para algn R+ lo que quiere decir que z y w estn en una misma semirrecta a partir 0 del origen. Ejemplo 2.4. La divisin de nmeros complejos es fcil teniendo en cuenta que el producto de un complejo y su conjugado da como resultado el mdulo al cuadrado de dicho nmero complejo.
1+i 2i
1+3i 5
La divisin o el producto de dos nmeros complejos no es difcil pero s que puede ser aburrido calcular (1 + i)10 . Existe algo como el binomio de Newton para nmeros reales? Comprubalo t mismo. Lo que s es muy fcil es saber su mdulo: (1 + i)10 = |1 + i|10 = 10 2 = 25 .
19
Nmeros complejos
En el caso en que el complejo sea un nmero real su mdulo coincide con su valor absoluto lo que nos permite utilizar el mismo smbolo para ambos conceptos: el mdulo de un complejo es una generalizacin del valor absoluto. Para calcular el argumento principal de un complejo hay varias frmulas pero la ms intuitiva es la siguiente: si z = a + ib 0 su argumento principal ser arctan b , si a > 0, a , si a = 0 y b > 0 , 2 si a = 0 y b < 0 = 2 , b arctan a + si a < 0 y b > 0, arctan b si a < 0 y b < 0. a
Forma polar
Al nmero complejo de mdulo y argumento se le suele representar y las frmulas que hemos visto son la forma de pasar de la forma binmica a la forma polar de un complejo. Ejemplo 2.5. Si tenemos el complejo z = 2 + 2 3i, entonces su mdulo ser |z| = 4 + 12 = 16 = 4, mientras que el argumento se calcula de la siguiente forma. Como la parte real es negativa y la parte imaginaria es positiva, el argumento ser = arctan As 2 + 2 3i = 4 2 .
3
2 3 2
+ = arctan 3 + = + = 3
2 3 .
Forma trigonomtrica
Para pasar de la forma polar de un complejo a la forma binmica es an ms fcil. Utilizando las frmulas de la trigonometra se tiene que si z = su forma binmica ser z = cos() + i sen(). Realmente la frmula (cos() + i sen()) se llama la forma o expresin trigonomtrica del complejo z. Ejemplo 2.6. El complejo z = 5 3 = 5 cos
4
3 4
+ i5 sen
3 4
= 5
2 2
i5
2 2 .
Tambin se puede calcular el argumento de un nmero complejo mediante la frmula arg(z) = 2 arctan ,
Im(z) Re(z)+|z|
, si z R , / si z R .
2.5.1
20
Nmeros complejos
z1 z2
z2
1 + 2 2 1
z1
2.5.2
Frmula de De Moivre
Si en la frmula que hemos obtenido para la multiplicacin de complejos lo que nos tomamos es un mismo complejo multiplicado por s mismo y repetimos la operacin varias veces obtendremos que si z = (cos() + i sen()) y n es un natural entonces zn = (r (cos() + i sen()))n = n (cos(n) + i sen(n)), (2.1)
que se conoce como la frmula de De Moivre. Para n = 2 ya la hemos visto pero para n mayor que dos tambin es interesante, entre otras cosas porque nos da frmulas explcitas para cos(n) y para sen() en funcin de sen() y de cos(). Dedzcanse las frmulas para n = 3 y n = 4 por ejemplo.
2.5.3
2 =
4 n ,
...
n1 =
2(n1) . n
Obviamente hay ms nmeros enteros pero una leve observacin nos hara ver que cualquier otro entero nos da un ngulo que diere de uno de los que hemos obtenido en un mltiplo entero de 2 y produce el mismo argumento. Concluyendo, las races n-simas de 1 son n nmeros complejos distintos, z0 , z1 , . . . , zn1 todos con mdulo 1 y el argumento (no necesariamente el principal) de zk es 2k para k {0, 1, . . . , n 1}. n
21
Funciones elementales
Nmeros complejos
Ilustracin 2.5 Races quintas de i Ejemplo. Las races cbicas de la unidad seran los nmeros complejos z0 = 10 , z1 = 1 2 y z2 = 1 4 .
1 1 Es decir z0 = 1, z1 = 2 + i 23 , y z2 = 2 i 23 . Si las representamos en el plano complejo quedan las tres en la circunferencia unidad pero es que adems forman un tringulo equiltero uno de cuyos vrtices est en el 1. De igual forma las races cuartas de la unidad sern z0 = 10 , z1 = 1 2 , z2 = 1 4 y z3 = 1 6 , es decir 4 4 4 z0 = 1, z1 = i, z2 = 1 y z3 = i. En este caso, al igual que antes, todas las races se distribuyen en la circunferencia unidad (todas tienen mdulo 1) pero ahora sern los vrtices de un cuadrado, siendo uno de ellos (el que corresponde a z0 ) el nmero 1. Esta propiedad puede generalizarse a cualquier natural: dado n N las races n-simas de la unidad son los vrtices de un polgono regular de n lados inscrito en la circunferencia unidad, estando uno de dichos vrtices en el punto 1. Finalmente si lo que queremos es hacer las races n-simas z = para un natural n, haciendo pequeas modicaciones en el proceso anterior, obtendremos que las races son
3 3
z0 =
,
n
z1 =
+2 ,
n
z2 =
+4 , . . . zn1 = +2(n1) .
n n
Esto tambin tiene una interpretacin geomtrica clara. Las n races n-simas de un nmero com plejo z = se distribuyen todas en la circunferencia de centro 0 y radio formando los vrtices de un polgono regular de n lados, uno de los cuales est en el complejo cos( n ) + i sen( n ) .
que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. Haciendo t = tenemos la singular igualdad
22
Nmeros complejos
Funciones elementales
ei + 1 = 0 en la que intervienen los nmeros ms importantes de las matemticas. De la frmula de Euler se deducen fcilmente las llamadas ecuaciones de Euler : cos(t) =
eit +eit , 2
Ecuaciones de Euler
sen(t) =
eit eit 2i
(t R).
Se prueba fcilmente que ez+w = ez ew para todos z, w C. Se deduce que para todo z C y todo k Z es ez = ez+2k i . Lo que nos dice que la exponencial compleja es una funcin peridica con perodo 2 i. Naturalmente, esto supone una gran diferencia con la exponencial real que es una funcin inyectiva. Observa que la exponencial no se anula nunca pues |ez | = eRe(z) > 0.
2.6.2
Logaritmos complejos
El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a ver enseguida, en que la ecuacin ew = z, donde z es un nmero complejo no cero, va a tener innitas soluciones w C. Como ew = eRe(w) (cos(Im(w)) + i sen(Im(w))) Para que ew = z es necesario y suciente que: |ew | = |z|, esto es, eRe(w) = |z|, es decir, Re(w) = log |z| (logaritmo natural del nmero real positivo |z|). Arg (ew ) = Arg (z), esto es, Im(w) Arg(z) y esto se cumple si, y slo si Im(w) = arg(w)+2k , con k Z. Hemos probado que {w C : ew = z} = {log |z| + i(arg(z) + 2k ), k Z}. Por tanto, existen innitos nmeros complejos w que satisfacen la ecuacin ew = z. Cualquiera de ellos se llama un logaritmo de z. El conjunto de todos ellos lo representaremos por Log(z). De entre todos ellos elegimos uno, llamado logaritmo principal, denido por log(z) = log |z| + i arg(z), para todo z C .
Observa que cualquier otro logaritmo de z es de la forma log(z) + i2k para algn entero k. Es importante que observes que la igualdad log(zw) = log(z) + log(w) que es vlida para los logaritmos de los nmeros reales positivos, no es siempre cierta cierta para nmeros complejos. Por ejemplo: log(1 + i 3) = log | 1 + i 3| + i arg(1 + i 3) = log(2) + i(arctan( 3) + ) = log(2) + i 2 3 log( 3 + i) = log | 3 + i| + i arg( 3 + i) 5 = log(2) + i(arctan(1/ 3) + ) = log(2) + i 6 log((1 + i 3)( 3 + i)) = log(4i) = log(4) i 2 log(1 + i 3) + log( 3 + i) = log(4) + i 3 . 2 Lo que est claro es que el nmero log(z) + log(w) Log(zw), es decir, log(z) + log(w) es un logaritmo de zw pero no tiene por qu ser el logaritmo principal de zw. Como la funcin z arg(z) es continua en C \ R y discontinua en R , se deduce que el logaritmo 0 0 principal es discontinuo en R y continuo en C \ R . 0 0
23
Ejercicios
Nmeros complejos
2.6.3
Potencias complejas
Recuerda que dados dos nmeros reales a > 0 y b R, la potencia de base a y exponente b se dene como ab = eb log(a) . Ahora, dados a, b C, con a 0, sabemos que hay innitos logaritmos de a, todos ellos son de la forma log(a) + i2k , con k Z. Por ello, cualquier nmero complejo de la forma eb(log(a)+i2k ) donde k Z, es una potencia de base a y exponente b. De todas ellas se destaca una: ab = eb log(a) y dicho nmero se llama valor principal de la potencia de base a y exponente b. Observa que si b = 1/n donde n N, el nmero a1/n = exp
1 n log(a) log(a) arg(a) = exp +i n n arg(a) + i sen = |z|1/n cos n
arg(a) n
es el valor principal de la raz n-sima de a que antes hemos notado por n a. Esta denicin da lugar a las funciones exponenciales complejas de base a, z az , denidas por az = exp(z log(a)). Tambin permite denir la funcin potencia compleja de exponente b, z zb como zb = exp(b log(z)). z+w = az + aw pero las funLas funciones exponenciales cumplen evidentemente la igualdad a ciones potencias no cumplen, en general como vimos al estudiar las races, la propiedad (zw)b = zb w b . Esta igualdad se da en el caso de que exp(b log(zw)) = exp(b log(z) + b log(w)) o, puesto que la funcin exponencial es peridica de periodo 2 i, cuando se verique que b log(zw) = b log(z) + b log(w) + 2k i, para algn k Z.
Como caso particular, cuando z y w pertenecen al primer cuadrante la igualdad log(zw) = log(z)+ log(w) es cierta con lo cual lo anterior se cumple para k = 0. Por los mismos motivos la igualdad (zb )c = zbc no es cierta en general.
2.7 Ejercicios
2.7.1 Nmeros complejos
Ejercicio 2.1 Efectuar las operaciones indicadas: a) b) c)
23i 4i (2+i)(32i)(1+2i) (1i)2 4 (2i 1)2 1i + 2i 1+i
d)
Solucin 2.1
24
Nmeros complejos
Ejercicios
a) b)
23i 4i
11 17
10 17 i
(2+i)(32i)(1+2i) (1i)2 4 1i
= 15 + 5i 2
2i 1+i
c) (2i 1)2 d)
= 3 29i
=2+i
2 + |z3 2 z2 |2
Solucin 2.2
2 a) z1 + 2z1 3 = 1 4i
3 5
2 2 f) |z1 + z2 2 |2 + |z3 2 z2 |2 = 461 + (16 + 4 3)2 Ejercicio 2.3 Calcular el mdulo y el argumento de los nmeros complejos: a) 1 b) i c) 1 Solucin 2.3 Ejercicio 2.4 Expresar en forma polar los nmeros complejos: a) 3+3i b) 1 + 3i Solucin 2.4 falta c) -1 d) 2 3i falta d) i
e)
2 2
+i
2 2
25
Ejercicios
Nmeros complejos
b) 2 3 2i c) (4 + 4i)1/5
d) (16i)1/4 e) i2/3
falta
Encontrar todas las soluciones de las ecuaciones: a) x 4 1 = 0 Solucin 2.6 Ejercicio 2.7 Resolver las ecuaciones; a) z4 + 81 = 0 Solucin 2.7 Ejercicio 2.8 Representar grcamente el subconjunto de R2 denido por la desigualdad (z C) |z| + Solucin 2.8 Ejercicio 2.9 Resolver la ecuacin (1 + i)z3 2i = 0. Solucin 2.9 Ejercicio 2.10 Resolver la ecuacin z5 = z Solucin 2.10 falta falta falta (z) 1 falta b) z6 + 1 = 3i falta b) 2x 4 3x 3 7x 2 8x + 6 = 0
26