Universidad Antonio Nari no Matem aticas Especiales umeros Complejos Gu a N 1: N

Grupo de Matem aticas Especiales

Resumen Se presenta el conjunto de los n umeros complejos junto con sus operaciones y estructuras relacionadas. Se estudia la representaci on geom etrica de los complejos, su forma polar, sus ra ces y potencias.

1.

Generalidades

Los n umeros complejos surgieron a partir de la necesidad de encontrar soluci on a ecuaciones del tipo ax2 + bx + c = 0 donde el discriminante b2 4ac es negativo. El ejemplo m as claro se presenta al intentar resolver la ecuaci on x2 + 1 = 0, pues se necesita un n umero tal que su cuadrado sea igual a 1 y en el conjunto de los n umeros reales no existe un n umero que satisfaga esta condici on. Denici on 1. El conjunto de los n umeros complejos, denotado por C, est a formado por todas las parejas ordenadas (a, b) de n umeros reales tales que: 1. (a, b) = (c, d) si y s olo si a = c y b = d (Igualdad ). 2. (a, b) + (c, d) = (a + c, b + d) (Suma ) 3. (a, b) (c, d) = (ac bd, ad + bc) (Producto ) El conjunto de los n umeros complejos C es un campo con las operaciones denidas anteriormente, es decir, las propiedades conmutativa, asociativa y distributiva son satisfechas. Adem as existen elementos neutros e inversos: 1

(0, 0) es el elemento neutro para la suma y (1, 0) lo es para la multiplicaci on. (a, b) es el inverso aditivo de (a, b), mientras que el inverso multia b siempre que a y b no sean plicativo de (a, b) es , a2 + b2 a2 + b2 ambos cero. El s mbolo i representa la unidad imaginaria y en este contexto corresponde a la pareja (0, 1). Notaci on. En lo que sigue, la pareja (a, b) ser a identicada con z = a + bi. a es la parte real de z , notada como Re(z ), y b la parte imaginaria de z , notada como Im(z ). De esta manera (1, 0) es 1 y (0, 1) es i. Si la parte real de un n umero complejo es cero, el n umero es un imaginario puro, mientras que si la parte imaginaria es cero, el n umero es un real. Volviendo a la ecuaci on x2 + 1 = 0 y con base en la denici on de multiplicaci on dada, es sencillo mostrar que i2 = 1: i2 = (0, 1)(0, 1) = (1, 0) = 1 Con base en la nueva notaci on, es posible redenir la suma y el producto en C. As , si z1 = a + bi y z2 = c + di entonces: z1 + z2 = (a + bi) + (c + di) = (a + c) + (b + d)i z1 z2 = (a + bi) (c + di) = (ac bd) + (bc + ad)i Para denir el cociente sigue: z1 , se debe suponer que z2 = 0 y se procede como z2

z1 a + bi (a + bi)(c di) ac adi + bci i2 bd = = = 2 z2 c + di (c + di)(c di) c cdi + cdi i2 d2 ac + bd bc ad (ac + bd) + (bc ad)i = 2 + 2 i = 2 2 c +d c + d2 c + d2 Ejemplo 2. Sean z1 = 2 + 3i, z2 = 7 4i, z3 = 2 5i. 2

z1 + z3 = (2 + 3i) + (2 5i) = (2 + 2) + (3 5)i = 0 2i = 2i z1 z2 = (2 + 3i) (7 4i) = 14 + 8i + 21i 12i2 = 2 + 29i (2 + 3i) (7 4i) 2 + 29i (2 + 29i)(2 + 5i) z1 z 2 = = = z3 2 5i 2 5i (2 5i)(2 + 5i) 4 10i + 58i + 145i2 149 + 48i 149 48 = = = + i 2 4 + 10i 10i 25i 29 29 29

Las potencias de n umeros complejos con exponentes enteros se denen de la misma forma que en el caso de los n umeros reales. Adem as, para z, z1 , z2 C y n, m Z se satisfacen las siguientes propiedades: 1. z 0 = 1, siempre que z = 0. 2. z n z m = z n+m . 3. (z n )m = z nm .
n zn. 4. (z1 z2 )n = z1 2

5. z n =

1 , siempre que z = 0. zn

Ejemplo 3 (Potencias de la unidad imaginaria). i0 = 1 i1 = i i3 = i2 i = (1)i = i i2 = 1

i4 = i3 i = (i)i = 1

N otese que para las potencias de i s olo hay cuatro valores distintos: 1, i, 1, i. En general para n Z se tiene que i4n = 1 i4n+1 = i i
4n+2

(1)

i4n+3 = i 3

= 1

 Ejemplo 4. Muestre que (1 + i)250 = 2125 i. En efecto, (1 + i)250 = (1 + i)2 ya que 125 = 4(31) + 1.
125

= (1 + 2i + i2 )125 = (2i)125 = 2125 i125 = 2125 i,

Denici on 5. Sea z = x + yi C. El conjugado complejo de z , notado como z se dene como z = x iy. Si z, z1 , z2 C entonces las siguientes propiedades son sencillas de vericar: 1. z = z . 2. z1 + z2 = z1 + z2 . 3. z1 z2 = (z1 ) z2 . 4. z1 z2 = z1 z2 . Como consecuencia, z 2 = z 2 y en general z n = z n para n N. 5. z1 z2 = z1 , siempre que z2 = 0. z2 z+z . 2 zz 2i

6. Re(z ) = 7. Im(z ) =

Ejemplo 6 (Ra ces conjugadas de polinomios). Muestre que si z0 es una ra z del polinomio P (z ) = an z n + an1 z n1 + + a1 z + a0 donde todos los coecientes a0 , a1 , . . . , an son n umeros reales, entonces z0 tambi en es una ra z del polinomio P (z ).

Como z0 es una ra z de P (z ) entonces P (z0 ) = 0. El objetivo es mostrar que P (z0 ) = 0. P (z0 ) = an z0 n + an1 z0 n1 + + a1 z0 + a0
n1 n+a = a n z0 + + a 1 z0 + a 0 n1 z0 n1 n+a + + a 1 z0 + a 0 = a n z0 n1 z0

= P (z0 ) = 0 = 0.

n1 n+a = a n z0 + + a 1 z0 + a 0 n1 z0

Denici on 7. Sea z = x + yi. El m odulo, norma o magnitud de z se dene como |z | = x2 + y 2 . Para z, z1 , z2 C, se tienen las siguientes propiedades: 1. |z | 0. Adem as, |z | = 0 si y s olo si z = 0. 2. |z |2 = x2 + y 2 = z z . 3. |z | = |z |. 4. |z1 + z2 | |z1 | + |z2 | (Desigualdad triangular ). La igualdad se tiene si z1 = z2 , con R. 5. |z1 z2 | = |z1 | |z2 |. 6. z1 |z1 | = , siempre que z2 = 0. z2 |z2 |

7. Re(z ) |z | y Im(z ) |z |.

2.

Representaci on geom etrica

A partir de la denici on inicial dada del campo de los n umeros complejos C, este puede ser visto como el producto cartesiano R R. De esta manera, el plano complejo se representa gr acamente por el plano cartesiano R 2 , donde el eje X es asociado al eje real y el eje Y corresponde al eje imaginario. 5

El n umero complejo z = x + yi es representado en el plano complejo por el vector con punto inicial en el origen y punto nal en (x, y ) (Ver Figura 1). Si z = x + yi entonces |z | = x2 + y 2 es precisamente la longitud del vector. En general, la distancia entre dos n umeros complejos z1 y z2 est a dada por |z1 z2 | = |z2 z1 |.
Eje imaginario

y
|z |

z = x + yi

Eje real

Figura 1: Representaci on geom etrica de z = x + yi Dado que se puede pensar en un n umero complejo como un vector en R2 , entonces la suma de dos complejos z1 + z2 puede hallarse geom etricamente como la diagonal del paralelogramo formado por ellos dos (Ver Figura 2).
z1 + z 2 z2

z1 0

Figura 2: Suma gr aca de n umeros complejos

Algunas regiones especiales del plano complejo pueden ser escritas en t erminos del m odulo. Por ejemplo:

z0

z0

z0

1.

2.

3.

Figura 3: Regiones especiales en el plano complejo 1. El conjunto {z C : |z z0 | = r} representa una circunferencia con centro en z0 y radio r. 2. El conjunto {z C : |z z0 | < r} representa un disco abierto centrado en z0 y con radio r. 3. El conjunto {z C : |z z0 | r} representa un disco cerrado con centro en z0 y radio r. A continuaci on se presentan algunos ejemplo de otras regiones en el plano complejo. Ejemplo 8. 1. Consid erese la ecuaci on general |z w1 | = |z w2 | donde w1 , w2 C son jos. Gr acamente esta ecuaci on representa el conjunto de puntos z que est an a la misma distancia de w1 y de w2 , es decir, los puntos que est an en la bisectriz perpendicular al segmento que une a w1 con w2 . Por ejemplo, si |z + 6i| = |z 1 + 3i| entonces la ecuaci on de la recta sobre la cual est an los puntos z deseados se obtiene como sigue: (z + 6i)(z 6i) = (z 1 + 3i)(z 1 3i) |z + 6i|2 = |z 1 + 3i|2

6i(z z ) + 36 = (z + z ) 3i(z z ) + 10 tomando z = x + iy se tiene que z + z = 2x y z z = 2iy , entonces 6i(2iy ) + 36 = 2x 3i(2iy ) + 10 1 y = (x + 13) 3 7

1 3i 1 y = (x + 3) 3

6i

2. Consid erense ahora las desigualdades |z + 6i| < |z 1 + 3i| y |z + 6i| |z 1 + 3i|. La primera representa aquellos puntos que est an m as cerca (a menor distancia) de 6i que de 1 3i sin incluir la recta, mientras que la segunda s incluye los puntos que est an sobre la recta.

1 3i

1 3i

6i

6i

Figura 4: Regiones |z + 6i| < |z 1 + 3i| y |z + 6i| |z 1 + 3i|

3.

Forma polar de un n umero complejo

Sea z = x + yi un n umero complejo. Al ubicar el vector correspondiente a z en el plano complejo y denotar por r a la magnitud de z y por al angulo que se forma con el eje real: entonces x = r cos y y = r sen

z = x + yi
= |z |

y = r sen

0 x = r cos

y de esta manera la forma polar de z es z = r (cos + i sen ) Si z = 0, entonces se tienen las relaciones cos = x , |z | sen = y |z | y tan = y x (3) (2)

El angulo se denomina argumento de z y se denota como arg (z ). Como las funciones seno y coseno son peri odicas, el argumento resulta ser una funci on multivaluada, esto es, puede tomar muchos valores. En este caso toma todos los angulos equivalentes a : arg (z ) = { + 2n : n Z} Cuando se escoge de tal manera que < arg(z ) , entonces este angulo se conoce como argumento principal de z y se denota por Arg (z ). Ejemplo 9. Encuentre la forma polar de cada uno de los siguientes n umeros complejos: 1. z = 3 + i. Inicialmente se calcula el m odulo de z : r = |z | = | 3 + i| = Como sen =
1 2

( 3)2 + 12 = 4 = 2.

y cos =

3 2

entonces est a en el primer cuadrante y 1 3 = 30 = , 6 3 + i es

= arctan

luego arg (z ) = { la forma polar de 6 + 2n, n Z} y as z = 2 cos + i sen 6 6 9 .

2. z = 2 + 2i. El m odulo de z est a dado por r = |z | = | 2 + 2i| =

2 1 Dado que sen = 2 = y cos = 2 2 el segundo cuadrante y

(2)2 + 22 = 2 2.
2 2 2

1 2

entonces est a en 3 , 4

= 180 arctan

2 2

= 180 arctan(1) = 180 45 = 135 =

luego arg (z ) = 34 + 2n ; n Z y de esta manera la forma polar de z = 2 + 2i es 3 3 + i sen . z = 2 2 cos 4 4 3. z = 1 3 i. Se calcula primero el m odulo de z : r = |z | = |1 3 i| = (1)2 + ( 3)2 = 4 = 2

Ahora bien, sen = cuadrante y

3 2

y cos = 3 1

1 2,

entonces est a en el cuarto 5 , 3

= 360 arctan

= 360 60 = 300 =

de donde arg (z ) = 53 + 2n, n Z . Si elegimos = 3 entonces la forma polar de z = 1 3 i es i sen . z = 2 cos 3 3

De esta manera, dependiendo del cuadrante en el que se encuentre el angulo (hecho que se puede identicar a partir de los signos de sen y cos ) se puede recurrir a las siguientes f ormulas para determinarlo, tomando siempre x, y > 0, Primer cuadrante Segundo cuadrante Tercer cuadrante Cuarto cuadrante 10 = arctan y x

y x y = 180 + arctan x y = 360 arctan x = 180 arctan

3.1.

Producto y cociente de n umeros complejos en forma polar

El producto y el cociente de n umeros complejos puede efectuarse de manera m as sencilla a partir de la forma polar de los n umeros. Sean z1 = r1 (cos 1 + i sen 1 ) y z2 = r2 (cos 2 + i sen 2 ), donde r1 = |z1 |, r2 = |z2 |, 1 = arg (z1 ) y 2 = arg (z2 ). A partir de las f ormulas para el seno y el coseno de una suma y una diferencia de angulos, se pueden vericar las relaciones: z1 z2 = r1 r2 [cos(1 + 2 ) + i sen(1 + 2 )] , z1 r1 = [cos(1 2 ) + i sen(1 2 )] , z2 = 0, z2 r2 de donde arg (z1 z2 ) = arg (z1 ) + arg (z2 ) + 2n, arg y |z1 z2 | = r1 r2 = |z1 | |z2 | |z1 | z1 r1 = = z2 r2 |z2 | z1 z2 = arg (z1 ) arg (z2 ) + 2n, nZ nZ (4)

De la f ormula (4) y usando un argumento de inducci on se puede demostrar el siguiente resultado notable: Teorema 10 (Teorema de Moivre). Para cada n Z, (cos + i sen )n = cos(n) + i sen(n). Ejemplo 11. Calcule polar de 3 + i es
5

(5)

3 + i . Del ejemplo anterior se tiene que la forma

+ i sen , 6 6 entonces usando el teorema de Moivre con n = 5 se tiene que z = 2 cos 3+i
5

= 2 cos

+ i sen 6 6

= 25 cos

5 6

+ i sen

5 6

11

4.

Ra ces de n umeros complejos

Sea w un n umero complejo jo y sea n un entero positivo. Las ra ces n- esimas de w son, por denici on w n := {z C : z n = w} , es decir, si z es una ra z n- esima de w entonces z n = w. Si w = |w| (cos + i sen ) y z = |z | (cos + i sen ), entonces a partir del teorema de Moivre y de la relaci on z n = w se sigue que |z |n [cos(n) + i sen(n)] = |w| (cos + i sen ) de donde cos(n) = cos |z |n = |w| n = + 2k y |z | = n |w| + 2k = n para alg un k Z. Por lo tanto las ra ces n- esimas de w son wn =
1 n 1

|w|

cos

+ 2k n
1

+ i sen

+ 2k n
m

; k = 0, 1, . . . , n 1 (6)

Nota 1. La igualdad (w m ) n = primos relativos.

wn

es v alida si y s olo si n y m son

Ejemplo 12 (Ra ces n- esimas de la unidad). Encuentre las ra ces n- esimas de la unidad y demuestre que su suma es cero. En primer lugar, 1 = 1 (cos 0 + i sen 0), entonces de (6) se sigue que 1n = =
1

cos cos

0 + 2k 0 + 2k + i sen ; k = 0, 1, . . . , n 1 n n 2k 2k + i sen ; k = 0, 1, . . . , n 1 n n

Sea = cos 2n + i sen 2n , entonces por el teorema de Moivre, las n ra ces n- esimas de la unidad son 1, , 2 , . . . , n1 . Adem as,

1 + + 2 + + n1 = 12

n 1 =0 1

ya que n = 1 y = 1. Las n ra ces n- esimas de la unidad son los v ertices de un pol gono regular de n lados inscrito en la circunferencia unitaria {z C : |z | = 1}. Por ejemplo, para n = 6 las ra ces sextas de 1 son 1 = cos 0 + i sen 0 = cos + i sen 3 3 2 2 2 = cos + i sen 3 3 3 = cos ( ) + i sen ( ) 4 = cos 5 = cos 4 3 5 3 + i sen + i sen 4 3 5 3

y gr acamente corresponden a los v ertices del hex agono regular

2

Ejemplo 13. Encuentre las ra ces cuartas de i. En primer lugar, i = 1 cos i4 = =

1

+ i sen + i sen

2 2

. Entonces de (6) se sigue que

+ 2k ; k = 0, 1, 2, 3 4 5 5 cos + i sen , cos + i sen , 8 8 8 8 9 9 13 13 cos + i sen , cos + i sen 8 8 8 8 cos

2

+ 2k 4

Ejemplo 14. Resuelva la ecuaci on z 10 + 4 = 0. Resolver esta ecuaci on equivale a encontrar z tal que z 10 = 4, esto es,

13

encontrar las ra ces d ecimas de 4 = 4 (cos + i sen ). De (6) se sigue que (4) 10 = =
1 10

4 cos

10

4 cos
10

4 cos 4 cos

10

10

4 cos 4 cos

10

+ 2k + 2k + i sen ; k = 0, 1, 2, . . . , 9 10 10 3 3 10 + i sen , 4 cos + i sen , 10 10 10 10 5 5 7 7 10 + i sen , 4 cos + i sen 10 10 10 10 9 9 11 11 10 + i sen , 4 cos + i sen , 10 10 10 10 13 13 15 15 10 + i sen , 4 cos + i sen , 10 10 10 10 17 19 17 19 10 + i sen , 4 cos + i sen . 10 10 10 10

Adem as, estas ra ces corresponden gr acamente a los v ertices de un dec agono regular inscrito en la circunferencia {z C; |z | = 10 4}.

Bibliograf a
[1] R.V. Churchill, Variable compleja con aplicaciones, McGraw-Hill, New York. 1990. [2] Peter V. ONeil, Matem aticas avanzadas para ingenier a, International Thomson Editores, S.A. Quinta Edici on. 2004. [3] W. Allen Smith, Elementary Complex Variables, Charles E. Merrill Publishing Company, 1974.

14