Documentos de Académico
Documentos de Profesional
Documentos de Cultura
por Jorge Jos Oss Recio Departamento de Matemticas - Universidad de los Andes Bogot Colombia - 2004 Cuando se estudi la solucin de la ecuacin de segundo grado ax 2 + bx + c = 0 se analiz el signo del discriminante b 2 - 4ac y su relacin con las soluciones. Si el discriminante era negativo se dijo que la ecuacin no tena races reales sino que las races eran imaginarias o complejas. Vamos ahora a estudiar los nmeros complejos que nos darn la idea completa de la solucin de la ecuacin de segundo grado y una extensin de los conjuntos numricos. Realizaremos lo que se llama la definicin axiomtica del conjunto de los nmeros complejos.
Seccin 1
( a , b ) = ( c, d ) a = c
b=d
Multiplicacin por un escalar. a (a, b) = (a a, a b) donde a . Ejemplo. Dados ( 2,1) y ( 0, -3) , hallar: a) ( 2,1) + ( 0, -3) = ( 2 + 0,1 + (-3) ) = ( 2, - 2 ) b) ( 2, 1)( 0, - 3 ) = ( 2(0) - 1(-3), 2(-3) + 1(0) ) = ( 3, - 6 ) c) ( 2,1)( 0, -3) - 2 ( -1,1) = ( 3, - 6 ) + ( 2, - 2 ) = ( 5, - 8)
Como los nmeros complejos son pares de nmeros reales podemos efectuar una representacin de los mismos mediante el plano 2 (Grfica 1) En esta representacin se le dice eje real (Re) al eje de las x y eje imaginario (Im) al eje de las y .
Grfica 1: Representacin del nmero complejo (a, b) . Podemos considerar que los nmeros reales estn contenidos en los nmeros complejos puesto que en el plano 2 el nmero complejo ( a, 0 ) coincide con el nmero real a . De este modo tenemos a = (a, 0) cuando a . Los nmeros complejos de la forma (0, b) son llamados imaginarios puros. Vamos a demostrar la propiedad de la multiplicacin por un escalar a : a ( a , b ) = (a a , a b ) Para eso escribimos el nmero real a en la forma (a , 0 ) y aplicamos la definicin de multiplicacin: a ( a, b ) = (a , 0 )( a, b ) = (a a - 0b , a b + 0a ) = (a a, a b ) . Denotaremos el nmero complejo (0,1) con la letra i y lo llamaremos unidad imaginaria. Es fcil demostrar que i 2 = -1 . i 2 = (0,1) 2 = (0,1) (0,1) = ( 0(0) - 1(1), 0(1) + 1(0) ) = (-1, 0) = -1 Ahora estamos en condiciones de resolver la sencilla ecuacin x 2 + 1 = 0 . x 2 + 1 = 0 x 2 = -1 x 2 = i 2 x = i
Por otra parte, llamaremos argumento del nmero complejo z = a + bi , al ngulo comprendido entre el eje x y el radio vector que determina a z . El argumento de z se denota por arg( z ) y se calcula mediante la expresin: b arg( z) = arctan . a
Propiedad: z z = z Demostracin:
z1 . z2
(a) Como z2 = -1 + 2i entonces z2 = -1 - 2i z1 (b) Para hallar multiplicamos y dividimos por el conjugado z2 . z2
z1 2 - 3i 2 - 3 i -1 - 2 i (2 - 3 i)( -1 -2 i) = = = z 2 -1 + 2i - 1 + 2i - 1- 2i (- 1 + 2i )(- 1 - 2 i ) = -2 - 4 i + 3 i + 6 i 2 -8 - i 8 1 = =- - i 2 2 ( -1) + (2) 5 5 5
Se puede ver que el discriminante es -20 lo cual puede escribirse como 20i 2 . Por lo tanto:
x= 2 -20 2 20i 2 2 2 5 i = = = 1 5 i 2 2 2
Ejercicios de la Seccin 1.
1) Dados los nmeros complejos z = (3, 2) y w = (-1, -4) , halle: (a) z + w , (b) z w , (c) 3z - 4w , (d) (-1, 0)w , (e) (0, -2)z . 2) Muestre que (0, 0) es el elemento neutro para la suma de nmeros complejos. 3) Muestre que (1, 0) es el elemento neutro para la multiplicacin de nmeros complejos. 4) Calcule: (a) i 3 , (b) i 4 , (c) i 5 , (d) 5) Calcule: (a) i 4n , (b) i 4 n +1 , (c) i 4 n + 2 , (d) i 4 n + 3 . 6) Dado el nmero complejo ( x, y ) halle el par (u , v) tal que ( x, y ) (u , v) = (1, 0) . Al par se le llama inverso multiplicativo de ( x, y ) . Concluya que el par (u , v) es nico y que el (0, 0) no tiene inverso multiplicativo. 7) Verifique que z = z . 8) Verifique que uv y uv son conjugados. 9) Calcule: (a) 3 + 3i 1 - 3i , (b) . 2 - 4i -2 - 2i 1 1 , (e) 2 . i i
10) Resuelva la ecuacin (-2 + i ) z = 3 + i . 11) Halle z tal que (2 + i )(1 + i ) = 2 + z i . 12) Calcule y represente en el plano complejo los nmeros z = x + yi , tales que: (a) z = 5 , (b) z 5 . 13) Calcule y represente en el plano complejo los nmeros z = x + yi tales que:
2 (a) z - 2 5 , (b) z - i z + i , (c) z + z = z .
14) Resuelva la ecuacin cuadrtica x 2 + 3x + 3 = 0 . 15) Resuelva la ecuacin cuadrtica 2 x 2 + 4 x + 5 = 0 . 16) Resuelva la ecuacin cuadrtica x 2 + 3x + 8 = 0 . 17) Resuelva la ecuacin x 4 + 13x 2 + 36 = 0 .
Seccin 2
Luego:
y sin q = r y = r sin q cos q = x x = r cos q r
Por lo tanto: z = ( x, y ) = x + yi = r cos q + i r sin q = r (cos q + i sin q ) sta es la llamada forma trigonomtrica o polar del nmero complejo, la cual est en trminos del mdulo y el argumento. Se denota comnmente por z = r cis q . Ejemplo: Halle la forma trigonomtrica de z = 1 - i .
p -1 -1 Hallemos r = (1) 2 + (-1) 2 = 2 y q = tan = - . 4 1
Por lo tanto, la multiplicacin de dos nmeros complejos en su forma trigonomtrica da como resultado un nmero complejo cuyo mdulo es igual al producto de sus mdulos y cuyo argumento es igual a la suma de los argumentos.
p p p p Ejemplo. Sea u = 2 cis y v = 3 cos - i sen = 3 cis - . 4 4 4 4
Frmula de Moivre
Empleando el resultado del Ejercicio 3b de esta seccin, z n = r n cis(nq ) , y tomando r = 1 , tenemos:
( cos q + i sin q )
Esta expresin es la llamada frmula de Moivre.
= cos(nq ) + i sin(nq ) .
xn n!
zn n!
= 1+
z 1!
z2 2!
z3 3!
+ ..... +
zn n!
+ ...
Agrupando tendremos:
q2 q4 q q3 q5 eiq = 1 + + .... + i + + .... 2! 4! 1! 3! 5!
Estos son los desarrollos de cosq y sinq respectivamente. As que eiq = cos q + i sin q . Sea z = r (cos q + i sin q ) un nmero complejo donde r es su mdulo y q su argumento. Entonces mediante el empleo de la frmula de Euler se obtiene: z = r (cos q + i sin q ) = r eiq . Esta expresin es la llamada forma exponencial del nmero complejo. Note que la forma exponencial es equivalente a la trigonomtrica pues dependen de los mismos elementos: mdulo y argumento del nmero complejo z . Esta forma es muy cmoda pues podemos efectuar la multiplicacin, divisin y potenciacin empleando las leyes del lgebra.
r = ei (a - b ) se s
Ejercicios de la Seccin 2.
1) Represente: (a) en la forma trigonomtrica el nmero complejo -3 + 3i . (b) en la forma binmica el nmero complejo 2 ( cos p - i sin p ) . 2) Represente: (a) en la forma trigonomtrica el nmero complejo -2 - 2i . 8
3) Multiplicando el mismo nmero complejo n veces, efecte y emplee identidades trigonomtricas para comprobar que si z1 = r1 (cos q1 + i sin q1 ) , z2 = r2 (cos q 2 + i sin q 2 ) , , zn = rn (cos q n + i sin q n ) entonces
2 2 (a) z1 = r1 ( cos(2q1 ) + i sin(2q1 ) ) n n (b) z1 = r1 ( cos(nq1 ) + i sin(nq1 ) )
( 2 + 2i )
5) Dados u = 2 + i 2 y v = 2 - i 2 , emplee la forma exponencial para hallar: (a) uv , (b) u v . 6) Dados u = 2 + i 2 y v = 2 - i 3 , emplee la forma exponencial para hallar: (a) uv , (b) u v .
7) Halle
( -1 + i 3 )
(1+ i ) 9 ( -1 - i )
84
3+i
8) Halle
Seccin 3
Estas son las frmulas para hallar las n races n-simas de cualquier nmero complejo. Compruebe que para todo otro valor de k , con k , se obtienen las mismas n races que para k = 0,1,K , n - 1 . Ejemplo. Hallar
p
1+ i . 2=42 y f =
p
i 1 + i = 2 e 4 . Por lo tanto s =
10
e z = r ei (q + 2 kp ) = w z = ln r + i (q + 2kp ) . Ejemplo. Sea 1 = 1 ei (0) . Por tanto log (1) = ln(1) + i (2kp ) = 2kp i , con k .
Ejercicios de la Seccin 3
1) Halle las races cuadradas de -1 y verifique que son i y -i . 2) Halle las races cbicas de 1. 3) Halle las races cbicas de -1 . 4) Halle las races cuadradas del nmero 1 + 3 i y exprselas en la forma binmica. 5) Halle las races cbicas del nmero -1 - i 3 y exprselas en la forma binmica. 6) Halle las races cuadradas de -2 - 2i y represntelas en el plano complejo. 7) Muestre que log(-1) = p i . 8) Halle: (a) log(e) , (b) log(i ) , (c) log(-ei ) . 9) Muestre que log(1 - i ) = 1 p ln 2 - i . 2 4
11
Respuestas
Seccin 1
1) a) (2, -2) , b) (5, -14) , c) (13, 22) , d) (1, 4) , e) (4, -6)
x -y , 2 6) ( u , v ) = 2 2 2 x + y x +y
9) a)
-3 + 9i 10
11) 3 + i
2 13) a) ( x - 2 ) + y 2 25 , crculo de radio 5 centrado en (2, 0) y su interior.
1 15) -1 i 2 17) 2i , 3i
Seccin 2
3p 1 a) 3 2 cis 4
5) a) 2, b) i 7) 1 - 10 i e 3 4
Seccin 3
3)
1 3 i 2 2
4 10 16
Tomado de http://temasmatematicos.uniandes.edu.co
12