MAT1600 Introduccin al Clculo

Luis Dissett
Facultad de Matemticas Ponticia Universidad Catlica de Chile

Diapositivas Complejos (2a parte)

La circunferencia unitaria
Consideremos el conjunto U = {z C : |z| = 1} = (a, b) R2 : a2 + b2 = 1 . La representacin en el plano de este conjunto es la circunferencia centrada en (0, 0) y de radio 1.

z a

Por esta razn, U es llamado la circunferencia unitaria, y sus elementos son los complejos unitarios.

Complejos unitarios

Sabemos que las coordenadas del vector z = (a, b) son (cos , sen ). En otras palabras, z = cos + i sen . Si movemos el ngulo entre 0 y 2 , podemos representar todos los complejos unitarios. A cada ngulo [0, 2 ) le corresponde un nico complejo unitario, y a cada complejo unitario le corresponde un nico [0, 2 ).

Notacin
Dado un ngulo cualquiera, denotaremos el nico complejo unitario cuyo vector forma un ngulo con el semieje X positivo (o sea, cos + i sen ) por ei . En otras palabras, ei = cos + i sen .

Note que (al menos hasta ahora) sta es simplemente una notacin, ya que no hemos denido la exponenciacin con exponente imaginario. Otra notacin usada para este efecto es cis (abreviacin de cos + i sen). Una de las razones que nos llevan a pensar en esta notacin efectivamente como una exponenciacin es la siguiente propiedad.

Multiplicacin de complejos unitarios

Sean z1 y z2 dos complejos unitarios. Geomtricamente, estos complejos corresponden a dos ngulos y . O sea: z1 = ei = cos + isen y z2 = ei = cos + isen. Si procedemos a multiplicarlos se tiene que z1 z2 = (cos + i sen ) (cos + i sen ) = (cos cos sen sen ) + i(sen cos + sen cos ) = cos( + ) + i sen( + ). As, hemos probado que ei ei = z1 z2 = ei(+ ) (que es una de las propiedades que esperaramos de una funcin de exponenciacin).

U es un grupo multiplicativo
Una consecuencia importante de la propiedad anterior es que el conjunto de los complejos unitarios es cerrado bajo multiplicacin. Ms an, es posible demostrar que

Lema
U es un grupo multiplicativo (o sea, la multiplicacin es asociativa, existe un neutro y todo elemento tiene un inverso). Algunos miembros importantes de este grupo son: ei0 = 1, ei/2 = i, ei = 1. Note que la representacin geomtrica de los complejos unitarios es fcil de visualizar, pues slo hay que trazar la semirecta que pasa por el origen que tenga inclinacin el ngulo correspondiente y el punto de interseccin de dicha recta con U es el nmero complejo buscado.

La frmula de De Moivre

Sea n Z+ . Si z U entonces zn tambin es un elemento de U (esto se puede demostrar por induccin). Ms an: es posible demostrar que, si z = ei entonces zn = ein = cos n + i sen n.

sta es la famosa frmula de De Moivre.

Argumento de un nmero complejo

Consideremos ahora un complejo no nulo cualquiera, no necesariamente unitario, z = a + bi. a b a b Como z = |z| + i ,y + i es un complejo unitario |z| |z| |z| |z| a b (por qu?), podemos escribir + i como ei con |z| |z| [0, 2 ). As, z = |z| ei . Diremos que es el argumento de z, lo que denotaremos arg z = . En realidad, deberamos decir que es un argumento de z, ya que si z = |z| ei entonces z = |z| ei(+2k) para todo k Z. As, cualquier nmero que diera de en un mltiplo entero de 2 puede ser considerado el argumento de z.

Interpretacin geomtrica del argumento

Dado z C {0}, su argumento es el ngulo que z forma con el semieje real positivo. En particular, vemos que el argumento de un complejo unitario ei es precisamente . Grcamente, la situacin es como sigue:

b |z |

(a,b)

= arg z a

Clculo del argumento

El argumento del complejo z = a + bi = 0 se puede calcular directamente a partir de a y b, como sigue: b Arctan si a > 0, b 0; a b si a < 0; Arctan a + = arg(a + bi) = b Arctan + 2 si a > 0, b < 0; a /2 si a = 0, b > 0; 3/2 si a = 0, b < 0. Note que, con esta denicin, forzamos que arg z [0, 2 ), y que esta denicin no es la nica posible.

Representacin polar de un complejo

La representacin polar de un nmero complejo z es aquella que describe a z utilizando su argumento y su mdulo. As, tenemos:

Lema
Todo nmero complejo z puede ser representado como: z = |z|ei arg z .

Ejemplo
Sea z = 1 + i. Su argumento es Artan(1/1) = 4 y su mdulo es |z| = 2. Por lo tanto su representacin polar es z = 2 ei/4 .

Paso de representacin polar a binomial

Al revs, si z = 2ei/4 entonces ei/4 representa el complejo unitario (o sea, el elemento de U) dado por 2 2 i/4 e = cos(/4) + i sen(/4) = +i , 2 2 y multiplicando este complejo unitario por |z| = 2 obtenemos z = 1 + 1 i = 1 + i. Notemos que si z = |z|ei y w = |w|ei entonces la multiplicacin z w queda inmediatamente expresada en su forma polar, puesto que z w = |z|ei |w|ei = |z||w|ei(+ )

Races de un nmero complejo

Sabemos que en R no todo nmero tiene raz cuadrada: no es posible extraer raz cuadrada de un nmero negativo.

Ejercicio
Pruebe que no existe x R tal que x2 = 2. Veremos ahora que este problema no se presenta en C. De hecho, dado C y n un entero positivo cualquiera, siempre existe (al menos) una raz n-sima de .

Races de un nmero complejo (cont.)

Para calcular una raz nsima de un nmero (real o complejo), primero necesitamos entender qu signica .

Denicin
Sea n un entero positivo, y sea C. Diremos que z es una raz nsima de si y solo si zn = . Veremos que el problema de calcular una raz n-sima de un complejo cualquiera puede ser reducido al de calcular una raz n-sima de 1.

Reduciendo el problema
Sea n un entero positivo, y sea C. Buscamos z C tal que zn = . Consideremos primero el caso = 0. Si zn = , entonces |z|n = |zn | = |0| = 0, de donde |z| = 0 y por lo tanto z = 0. O sea, la nica raz n-sima de 0 es 0. Consideremos ahora el caso en que = 0, y supongamos que z0 es una raz n-sima de . Claramente, debe tenerse z0 = 0, y cualquier raz n-sima z de satisface zn = zn 0 = , de donde z z0 As,
n

zn = = 1. n z0

z debe ser una raz n-sima de 1. z0

Reduciendo el problema (cont.)

Por otra parte, si z0 es una raz n-sima de y es una raz n-sima de 1 (o sea, si n = 1), entonces z = z0 satisface
n zn = (z0 )n = zn 0 = 1 = ,

o sea, z = z0 es una raz n-sima de . As, hay una correspondencia 1 a 1 entre las races n-simas de y las races n-simas de 1, y hemos reducido el problema de hallar todas las races n-simas de a dos problemas separados: hallar todas las races de zn = 1, y hallar una solucin particular de la ecuacin zn = . Atacaremos cada uno de estos problemas por separado.

Las races n-simas de la unidad

Buscamos todas las soluciones de la ecuacin zn = 1. A las soluciones de esta ecuacin se las conoce como races n-simas de la unidad . Si z es una tal solucin, debe tenerse |z|n = |zn | = |1| = 1, de donde |z| = 1. O sea, las soluciones de zn = 1 son complejos unitarios. Escribiendo z = ei = cos + i sen , y recordando la frmula de De Moivre, vemos que 1 = zn = ei
n

= ein = cos n + i sen n.

Pero 1 = cos n + i sen n implica que cos n = 1 y sen n = 0. La primera condicin implica que n = 2k para algn k Z, y es fcil ver que cualquiera de estos valores satisface automticamente la segunda condicin.

Las races n-simas de la unidad (cont.)

As, las soluciones de ein = 1 son todos los ngulos de la forma = 2k/n, de donde las races n-simas de la unidad son todos los complejos unitarios de la forma wk = e2ki/n , con k Z.

Cuntas de estas races hay? En principio, parece haber un nmero innito de complejos unitarios wk . Sin embargo, como ei = ei+2 , vemos que dado cualquier k Z se tiene wk = wk+n . O sea, los nmeros wk se repiten cclicamente cada n, lo que signica que en realidad hay n de ellos.

Las races n-simas de la unidad (cont.)

Cules son las n races de la unidad? Basta que encontremos un conjunto de n enteros S = {k1 , k2 , . . . , kn } tales que entre ellos no haya dos que dieran por un mltiplo de n para que {wk1 , wk2 , . . . , wkn } sea el conjunto completo de races n-simas de la unidad. Por ejemplo, podemos tomar (y esto es lo ms comn) S = {0, 1, 2, . . . , n 1}. Pero tambin sera posible tomar S = n, 2n + 1, 3n + 2, . . . , n2 1 . O, si n es impar, S = {(n 1)/2, (n 3)/2, . . . , 1, 0, 1, . . . , (n 3)/2, (n 1)/2} .

Representacin grca
Al representar grcamente las races n-simas de la unidad, obtenemos los vrtices de un polgono regular de n lados inscrito en la circunferencia unitaria.

Ejemplo
La siguiente gura muestra las races quintas de la unidad.

Solucin particular de zn =
Lo nico que nos falta para resolver zn = es hallar una solucin particular z0 de esta ecuacin. Escribamos y z0 en forma polar, como = || ei y z0 = |z| ei (donde = arg y = arg z0 ). Tenemos: |z0 |n = |zn 0 | = || , de donde |z0 | = n ||. Note que en esta ltima igualdad n es usada en un nmero real positivo, por lo que est bien denida. Adems, como
n i n i n ni zn 0 = (|z0 | e ) = |z0 | (e ) = || e

y || = 0, debe tenerse eni = ei .

Solucin particular de zn = (cont.)

Como nos basta encontrar un valor de que satisfaga lo anterior, es suciente tomar, por ejemplo, = . n As, hemos probado que z0 =
n

|| e n

es una solucin particular de la ecuacin zn = .

Todas las soluciones de zn =

Resumiendo: La ecuacin zn = tiene n soluciones, cada una de la forma zk = z0 wk donde z0 =
n

(k {0, 1, . . . , n 1})
i

|| e n

es una solucin particular de la ecuacin, y wk = e2ki/n (k {0, 1, . . . , n 1})

es una de las n races de la unidad. Otra forma de escribir esto es decir que las n soluciones de zn = son zk =
n

|| e

( +2k )i n

(k {0, 1, . . . , n 1}).

Ejemplo
Calculemos las races cuadradas del nmero imaginario i. Como |i| = 1 y su argumento es = /2 se obtiene que las races cuadradas de i son i = cos + 2k 2 + i sen + 2k 2 , k = 0, 1.

Es decir, 2 2 + i sen = +i , i = cos 4 4 2 2 5 5 2 2 i = cos + i sen = i 4 4 2 2

Ejercicios

1. Hallar todos los nmeros complejos z en U para los cuales z2 + (1 i)z tiene valores puramente imaginarios. Encontrar el lugar geomtrico de ellos. 2. Encuentre explcitamente las races cbicas de 3 + 3 3i. 3. Idem las races quintas de 2 + 2i.