Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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
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.
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
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
3.
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
= arctan
(2)2 + 22 = 2 2.
2 2 2
1 2
entonces est a en 3 , 4
= 180 arctan
2 2
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
3 2
y cos = 3 1
1 2,
= 360 arctan
= 360 60 = 300 =
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
3.1.
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)
+ 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.
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)
wn
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
+ i sen + i sen
2 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