Professional Documents
Culture Documents
CAPTULO 9: CONJUNTO DE LOS NMEROS COMPLEJOS SUMARIO: INTRODUCCIN OBJETIVOS DEL CAPTULO PARTE TERICA DEL TEMA: 9.1.- Definicin. 9.2.- Suma y producto. 9.3.- Partes real e imaginaria. 9.4.- Forma binmica. 9.5.- Potencias de la unidad imaginaria. 9.6.- Suma y producto en forma binmica. 9.7.- Complejos conjugados. 9.8.- Cociente en forma binmica. 9.9.- Mdulo y argumento de un nmero complejo. 9.10.- Interpretacin geomtrica. 9.11.- Formas trigonomtrica y polar. 9.12.- Forma exponencial. 9.13.- Producto y cociente en forma exponencial. 9.14.- Potencia de un nmero complejo. Frmula de Moivre. 9.15.- Races de un nmero complejo. 9.16.- Logaritmo neperiano de un nmero complejo.
MATEMTICAS I
9.17.- Potencias de base y exponente complejo. 9.18.- Frmulas de Euler. PROBLEMAS RESUELTOS
INTRODUCCIN En el cuerpo R de los reales hay operaciones que no tienen solucin. Por ejemplo, no existe ningn nmero real que verifique la ecuacin
MATEMTICA I
nmeros y se introduce un nuevo elemento, la unidad imaginaria i , dando origen al cuerpo de los nmeros complejos. Construiremos el nuevo conjunto definiendo una relacin binaria en R 2 y obteniendo el conjunto cociente. Veremos que existe un isomorfismo entre R y el subconjunto de C formado por los pares (r , 0) , con lo que
R quedar incluido en C .
Definiremos analticamente los conceptos de mdulo y argumento y estudiaremos las diferentes operaciones para las distintas formas de expresar un nmero complejo. Haremos una interpretacin geomtrica asignando a cada complejo un vector definido por el mdulo y el argumento del mismo, comprobando que el mdulo y argumento de la suma se corresponden, respectivamente, con los del vector suma representativo. Asimismo, destacaremos que el producto de un complejo por otro de mdulo 1 y argumento equivale a un giro de radianes del vector correspondiente. Estas propiedades hacen de este conjunto y sus operaciones una herramienta muy eficaz en muchos campos. En concreto en Fsica y Circuitos elctricos las impedancias de los circuitos de corriente alterna se expresan en forma compleja para facilitar la representacin de la diferencia de fase que se presenta entre la intensidad y la tensin de las diferentes ramas del circuito, dependiendo de los elementos
(condensadores, bobinas, resistencias) que contengan. Adems, el clculo con nmeros complejos es de aplicacin directa en la resolucin de ecuaciones, en la determinacin de primitivas de funciones racionales o en temas ms avanzados como es el estudio de Variable Compleja que el alumno ha de tratar en otras asignaturas de Matemticas.
MATEMTICAS I
potenciacin, radicacin y clculo de logaritmos con estos nmeros, no solo para su utilizacin en otros temas de matemticas, sino para su aplicacin directa en asignaturas como Fsica o Teora de Circuitos.
9.1. DEFINICIN Se define un nmero complejo como un par ordenado de nmeros reales.
C = {( a, b ) /a, b R} .
MATEMTICA I
9.2. SUMA Y PRODUCTO Dados los nmeros complejos z1 = ( a, b ) y z2 = ( c, d ) , se definen: 9.2.1. Suma
z1 + z2 = ( a, b ) + ( c, d ) = ( a + c, b + d )
9.2.2. Producto
z1 z2 = ( a, b )( c, d ) = ( ac bd , ad + bc )
9.3. PARTES REAL E IMAGINARIA Entre el conjunto de los nmeros reales R y el subconjunto C de los nmeros complejos, constituido por los elementos de la forma ( a, 0 ) , se puede establecer un isomorfismo, de manera que al complejo hacemos corresponder el nmero real a . Por otro lado, los complejos de la forma ( 0, b ) , reciben el nombre de imaginarios puros. As, en z = ( a, b ) , a la componente a se le llama parte real y a b parte imaginaria. En particular, al nmero representamos por i .
( a, 0 )
le
( 0,1)
MATEMTICAS I
9.4. FORMA
BINMICA
Con lo anterior,
z = ( a, b ) = ( a, 0 ) + ( 0, b ) . Pero,
( 0, b ) = ( b, 0 )( 0,1)
Entonces,
z = ( a, b ) = ( a, 0 ) + ( b, 0 )( 0,1) = a + bi
MATEMTICA I
9.6. SUMA Y PRODUCTO EN FORMA BINMICA La utilizacin de la forma binmica nos permite operar con los complejos como si fueran polinomios. 9.6.1. Suma
z1 + z2 = ( a + bi ) + ( c + di ) = ( a + c ) + ( b + d ) i
9.6.2. Producto
Propiedades
z1 , z2 C
a) z1 + z2 = z1 + z2 b) z1 z2 = z1 z2
_____
________
9.8. COCIENTE EN FORMA BINMICA Para dividir complejos en forma binmica se multiplican,
MATEMTICAS I
z1 z2 =
z1 z2 ( a + bi )( c di ) ac + bd bc ad i = = + z2 z2 ( c + di )( c di ) c 2 + d 2 c 2 + d 2
b) z1 z2 = z1 z2 c) Si z2 ( 0, 0 ) ,
z z1 = 1 z2 z2
d) z1 + z2 z1 + z2
9.10. ARGUMENTO DE UN NMERO COMPLEJO Dado el nmero complejo z = a + bi , se define el argumento como aquel ngulo , que tomaremos en el intervalo [ 0, 2 ) , tal que,
cos = a z , sen = b z
MATEMTICA I
9.11. INTERPRETACIN GEOMTRICA Podemos establecer una correspondencia entre el conjunto C de nmeros complejos y el conjunto de puntos del plano R 2 , de tal forma que representando en el eje horizontal (eje real) la parte real y en el eje vertical (eje imaginario), la parte imaginaria, a cada elemento z C le corresponde uno y slo un punto de R 2 . Este punto recibe el nombre de afijo del nmero complejo.
E. imaginario
b z z = a + bi
E. real
Figura 1
MATEMTICAS I
Asimismo, a cada nmero complejo le corresponde uno y solo un vector de R 2 . Vector que tendr como origen el origen de coordenadas y como extremo el afijo del complejo. Con las operaciones suma, ya definida, y la operacin externa , producto por un escalar perteneciente a un cuerpo K , el conjunto C adopta la estructura de espacio vectorial y podemos establecer un isomorfismo entre C y el espacio vectorial V de los vectores libres de
R 2 , lo cual nos va a permitir trabajar indistintamente con nmeros
tg =
b ; a =| z | cos , a
b =| z | sen
Escribiendo en forma simblica el complejo z como z =| z | , se obtiene la llamada forma polar mdulo-argumental.
9.13 FORMA EXPONENCIAL Desarrollando en serie las funciones ei , cos y sen se puede comprobar,
10
MATEMTICA I
e = cos + isen
9.14 PRODUCTO
ARGUMENTOS
COCIENTE
EN
FUNCIN
DE
LOS
MDULOS
Los mdulos se dividen y los argumentos se restan. 9.15. POTENCIA DE UN NMERO COMPLEJO. FRMULA DE MOIVRE. Sea z =| z | ei
z n = | z | ei
=| z |n ein
MATEMTICAS I
11
9.16 RACES DE NMEROS COMPLEJOS. Sea z =| z | . Su raiz n-sima ser otro nmero complejo r , r =| r | , tal que,
n
z = r rn = z
De esta igualdad,
| r |n =| z | , n = + 2k
Es decir, | r |= n | z | ,
+ 2k
n
En principio, k puede adoptar los valores 0, 1, 2, 3 ,..., pero solo se obtienen argumentos distintos para n valores. Tomaremos
|z|
9.17 LOGARITMO NEPERIANO DE UN NMERO COMPLEJO. Sea z =| z | ei Notemos que figurando en el exponente, podramos pensar, para generalizar, sustituir por + 2k , ya que cos = cos ( + 2k ) y
sen = sen ( + 2k ) , pero,
e(
i + 2 k )
= ei ei 2 k = ei ( cos 2k + isen2k ) = ei
12
MATEMTICA I
Es decir, que mientras figure en el exponente no se estn restringiendo soluciones por escribir en lugar + 2k . Pero, al aplicar logaritmos el exponente pasara como factor y pondramos: z =| z | e ( ln z = ln | z | + ln e (
i + 2 k ) i + 2 k )
= ln | z | +i ( + 2k )
Para k = 0, 1, 2, 3... Existiran infinitas soluciones para el logaritmo, todas con la misma parte real. Aquel complejo que se obtiene para el valor de k / | + 2k | , recibe el nombre de valor principal del logaritmo. Los afijos de los correspondientes logaritmos estaran sobre una recta vertical. 9.18 POTENCIAS DE BASE Y EXPONENTe COMPLEJO. Supongamos que siendo z1 y z2 nmeros complejos, queramos efectuar la operacin z1z2 . Sea z = z1 2 , aplicando logaritmos neperianos
z
ln z = z2 ln z1 = z2 ln | z1 | +i (1 + 2k )
z = e 2
z ln | z1 |+ i (1 + 2 k )
9.19 FRMULAS DE EULER. Aprovechando las igualdades que se obtienen de los correspondientes desarrollos en serie:
ei = cos + isen e i = cos isen
MATEMTICAS I
13
Sumando: cos =
ei + e i 2
ei e i Restando: sen = 2i
i e + e i
i i
e e i
e 2i 1 = i ( e 2i + 1)
b) z2 = 2 + 2i
c) z3 = 2 2i d) z4 = 2i
SOLUCIN: a) z1 = 2 2i .
14
MATEMTICA I
E. imaginario
1
2
2 z1
E. real
Figura 2
En valor absoluto tg =
1 = 2
| z1 |= 2 + 2 = 2
Forma trigonomtrica:
= 2e
b) z2 = 2 + 2i
MATEMTICAS I
15
tg 2 = 1 ; 2 = arctg 1 = 450 =
rad
| z2 |= 2 + 2 = 2
E. imaginario
2 z2
2
2
E. real
Figura 3
Forma trigonomtrica:
z2 = 2 cos + isen 4 4
Forma exponencial:
z 2 = 2e
i
16
MATEMTICA I
c) z3 = 2 2i
De la figura,
tg = 1 ; = 45o =
z3 = 2
rad 3 = + =
5 4
E. imaginario
3
Eje real
Figura 4
MATEMTICAS I
17
Forma exponencial : z3 = 2e
i 5 4
4 =
z4 = 2
= 2e
18
MATEMTICA I
SOLUCIN:
z = 5(cos 1 2 2 3 5 5 3 + isen ) = 5 + i = +i 2 3 3 2 2 2 1+ i . 1 2i
SOLUCIN: Primero debemos escribir el complejo en forma binmica. Para ello efectuamos el cociente. Multiplicando numerador y denominador por el conjugado del denominador: z=
= 1 , resulta:
z=
SOLUCIN: Se podra desarrollar por el binomio de Newton pero es mucho ms cmodo expresar el complejo de la base en forma polar.
MATEMTICAS I
19
| 1 i |= 2 ; arg (1 i ) = As, z = 2 4 z=
8
Rad
( 2)
= 242 = 160 = 16
tg =
| z |= 3 + 1 = 2 As,
3
3 + i = 3 2 5
6
terica, 2 5 = 3 2 , siendo =
6
5 + 2k 6 para k = 0,1, 2. 3
2150 = 3 2 , siendo =
20
MATEMTICA I
Para k = 1 ; 2 = 3 2 170o = 3 2 cos170o + isen170o Para k = 2 ; r3 = 3 2 290o = 3 2 70o = 3 2 cos 70o + isen 70o = = 3 2 cos 70o isen70o
3 + 3i .
3 + 3i = 3 + 3 = 6 arg
3 + 3i =
Con esto, L
3 + 3i = L 6 + i + 2k 4
3 + 3i = L 6 + i 4
MATEMTICAS I
21
SOLUCIN: Sea A = (1 + i )
i
L (1 + i ) = L 2 + i + 2k 4 Sustituyendo: LA = i L 2 + i + 2k = iL 2 + 2k 4 4
A=e
+ 2 k + iL 2 4
=e
+ 2 k 4
) eil
Arg A = L 2 =
L2 rad 2
Hacer notar que existen infinitos complejos que son resultado de esta potencia, todos con el mismo argumento.
(1 3i )
2 2i .
22
MATEMTICA I
LA =
L ( 2 2i ) 1 3i
| 2 2i |= 8 ; Con esto,
arg ( 2 2i ) =
L 8 + i + 2k 4 = LA = 1 3i
L 8 + i 4 + 2k 1 + 3i = 1 3i 1 + 3i
)(
( )
L 8 3 + 2k + i 3 L 8 + 2k 4 4 = = 2 1 + 3i
L 8 3 + 2k 3 L 8 + 2k 4 +i 4 = 4 4 A=e
L 8 3 + 2 k 3 L 8 + 2 k 4 i 4 4 4
con lo que,
| A |= e
L 8 3 + 2 k 4 4
arg A =
3L 8 4
+ 2k
+ iL 2
que
MATEMTICAS I
23
SOLUCIN: Ya hemos visto en anteriores ejercicios que las potencias de base y exponentes complejos dan lugar a infinitas soluciones (segn los valores de k ). En este caso, tomaremos el valor de k que haga que su mdulo sea la unidad. A = (1 + i ) LA =
+ iL 2
9 + iL 2 L (1 + i ) 4
L (1 + i ) = L 2 + i + 2k 4 Sustituyendo, LA = =
9 + iL 2 L 2 + i + 2k = 4 4
2 9 9 L 2 L 2 + 2k + i L 2 + 4 4 4
2 9 9 L 2 L 2 + 2 k i L 2 + + 2 k 4 4 4 4
+ 2k 4
9 L 2 L 2 + 2 k 4 4
A=e
; | A |= e
9 L 2 L 2 + 2k = 0 4 4
9 9 2k = 0 , L 2 2k = 0 , k = 1 4 4 4 4
Es decir, para k = 1 el mdulo del complejo dado vale 1 y el argumento pedido ser
9 ( L 2 ) 9 = L 2 + + 2 = + 4 4 4 4
24
MATEMTICA I
z +i z
= 1 i .
z +i i = L (1 i ) , z + i = zL (1 i ) , z = z L (1 i ) 1 L (1 i ) = L 2 + i + 2k 4
Sustituyendo,
( 4 + 2k ) + i ( L 2 1) z= = L 2 1) + i ( + 2k ) ( L 2 1) + ( + 2k ) ( 4 4
i
2
z=
(L
+ 2k 4 2 1 + ( 4 + 2k )
2
+i
(L
2 1 + + 2k 4
2
) (
L 2 1
11.- La suma de dos nmeros complejos es 3 + 2i , el cociente es un nmero imaginario puro y la parte real de uno de ellos es 2 . Hallar dichos nmeros complejos. SOLUCIN: Sean z1 = a + bi y z2 = c + di Imponiendo las condiciones del enunciado:
z1 + z2 = ( a + c ) + ( b + d ) i = 3 + 2i
(1)
25
MATEMTICAS I
z1 a + bi = = ki z2 c + di
( 2)
y, por ejemplo, tomaremos la parte real de z , a = 2. Sustituyendo este valor en (1) e identificando: 2+c = 3
b+d = 2
De aqu, c = 1 y d = 2 b Sustituyendo en ( 2 ) :
2 ( 2 + bi ) 1 ( 2 b ) i 2 + bi = 2 + 2b b + 4 + 3b i = ki = 1 + ( 2 b ) i 1 + ( 2 b ) i 1 ( 2 b ) i 1 + ( 2 b ) 2 1 + ( 2 b ) 2
= 0 2 + 2b b 2 = 0
d = 2 1 3 = 1 3 d = 1+ 3
z1 = 2 + 1 + 3 i y z2 = 1 + 1 3 i
z1 = 2 + 1 3 i y z2 = 1 + 1 + 3 i
2 1+ i . L i 1 i
26
MATEMTICA I
SOLUCIN:
1 + i (1 + i )(1 + i ) 2i = = =i 1 i (1 i )(1 + i ) 2 As ,
z=
2 Li i
Como | i |= 1 y arg i =
, queda,
Li = i
Sustituyendo, 2 z = i = i 2
13.- Calcular los valores de z en la ecuacin 4 senz = 3i . SOLUCIN: Con las frmulas de Euler, quedara 4
eiz e iz = 3i 2i
MATEMTICAS I
27
e =
iz
(1 + 3i ) (1 + 3i )
4 8 + 6i
+ 16
1 + 3i 8 + 6i 4
(1)
Calculemos
| 8 + 6i |= 10
arg ( 8 + 6i ) = arctg
3 = (1 o cuadrante) 4
Con la expresin vista en la introduccin terica, 8 + 6i = 10 + 2 k 2 para k = {0,1} .Sustituyendo los valores de k:
r1 = 10 2
En forma binmica:
r2 = 10 ( + 2 ) 2
1+
1 1 + tg 2 3 10 = 2 10
= 10 10
= 1 cos 2
3 10 10 +i r1 = 10 = 3+i 10 10
Sabemos que las races cuadradas de un nmero complejo son complejos opuestos ya que sus argumentos difieren en radianes. As, la otra raiz ser r2 = 3 i . Sustituyendo en (1) , para r1 = 3 + i
28
MATEMTICA I
eiz =
(1 + 3i ) ( 3 + i )
4
( 2)
para r2 = 3 i
eiz =
(1 + 3i ) ( 3 i )
4
( 3)
Por supuesto, basta con tomar ( 2 ) ( 3) y operar con las dos soluciones correspondientes ya que las otras dos coincidiran, respectivamente, con estas. Por ejemplo, de ( 2 ) :
eiz =
(1 + 3i ) + ( 3 + i ) = 1 + i
4
eiz =
(1 + 3i ) ( 3 + i ) = 1 + 1 i
4 2 2
Por un lado,
eiz = 1 + i;
iz = L (1 + i ) = L 2 + i + 2k 4
z=
L 2 + i ( 4 + 2k ) = + 2k iL 2 i 4
1 z = + 2k iL = + 2k + iL 2 2 4 4
MATEMTICAS I
29
SOLUCIN: Las posibles races enteras seran {1, 2} . Slo admite la raz x = 2. Factorizando,
x5 2 x 4 + x3 2 x 2 + x 2 = ( x 2 ) ( x 4 + x 2 + 1) = 0
Las restantes races las obtendremos resolviendo la ecuacin bicuadrada
x 4 + x 2 + 1 = 0 . Haciendo x 2 = t :
t2 + t +1 = 0 ; t =
1 3 1 3i 1 3 = = i 2 2 2 2
1 3 Para t = + i ; 2 2 Pero, 1 3 + i =1 2 2 y
1 3 x= + i 2 2
1 3 2 arg + 2 2 i = 3
3
+ 2 k )
As, x = 12 = 1( 2
3
, para k = {0,1}
2
Para k = 1 , x = 1
2 3
2 = 1 cos 3
2 + isen 3
1 3 i = 2 2
30
MATEMTICA I
As,
x= 1
2 3
= 1( 2
+ 2 k )
, para k = {0,1} .
2
Para k = 0
x = 1 = 1 cos + isen 3 3 3
3 1 = i 2 2
x1 = 2, x2,3 =
1 3 1 3 i , x4,5 = i 2 2 2 2
15.- Expresar en forma binmica 1 + 3i + 1 3i . SOLUCIN: Para desarrollar las potencias expresamos los complejos en forma exponencial.
| 1 + 3i |= 2 ,
) (
n
arg 1 + 3i =
i
As, 1 + 3i = 2e
MATEMTICAS I
31
| 1 3i |= 2 ,
arg 1 3i =
i
As, 1 3i = 2e Sustituyendo,
(1 + 3i ) + (1 3i )
n
= 2e
n
3
+ 2e
n
3
=2 e
n
n 3
+2 e
n
n 3
=2 e
n i n 3
+e
n 3
cos =
ei + e i 2
En este caso,
cos n e = 3
i n 3
+2 e 2
n
n 3
Despejando y sustituyendo,
(1 + 3i ) + (1 3i )
n
= 2n 2 cos
x + iy =
a+i 1 + 2a + i
32
MATEMTICA I
x + 2ax + ix + iy + 2ayi + i y = a + i
2
a ( 2 x + 2 yi 1) = i x ix iy + y
a=
y x + i (1 x y ) ( y x ) + i (1 x y ) ( 2 x 1 i 2 y ) = = 2 x 1 + i2 y ( 2 x 1 + i 2 y )( 2 x 1 i 2 y )
( y x )( 2 x 1) + 2 y (1 x y ) + i (1 x y )( 2 x 1) ( y x ) 2 y 2 2 ( 2 x 1) + 4 y 2 ( 2 x 1) + 4 y 2
(1 x y )( 2 x 1) ( y x ) 2 y = 0
Operando, 2 x 2 + 2 y 2 3x y + 1 = 0 3 1 1 x2 + y 2 x y + = 0 2 2 2
3 1 El lugar geomtrico es, pues, una circunferencia de centro , y 4 4
radio
2 . 4
17.- Demostrar que si los vrtices de un tringulo equiltero son los afijos
2 2 de los nmeros z1 , z2 , z3 se verifica , z12 + z2 + z3 = z1 z2 + z1 z3 + z2 z3 .
SOLUCIN: Recordando la interpretacin vectorial de los nmeros complejos (ver figura) y llamando z1 , z2 y z3 , respectivamente, a los complejos (vectores), representativos de los vrtices, los lados correspondientes, con
MATEMTICAS I
33
los sentidos que se indican, vendrn representados por ( z2 z1 ) , ( z2 z3 ) y ( z3 z1 ) . Por otro lado, sabemos que multiplicar un complejo por otro de mdulo 1 y argumento , equivale geomtricamente a girar el vector representante del primero un ngulo . As,
z2 z1 = ( z2 z3 ) e z3 z1 = z2 z e
3 i 3 1 i
Operando,
2 2 z12 + z2 + z3 = z1 z2 + z1 z3 + z2 z3
z3
z1 z2
Figura 5
34
MATEMTICA I
Bibliografa
FERNNDEZ VIA, J. A. (1986). Anlisis Matemtico I. Madrid. Tecnos S.A. GARCA, A.; GARCA, F.; GUTIRREZ, A.; LPEZ, A.;
RODRGUEZ, G. y DE LA VILLA, A. (1996). Clculo I. Madrid. Universidad Pontificia de Comillas. GRANERO, F. (1995). Clculo Infinitesimal. Madrid. McGraw-Hill. GRANERO, F. (1991). Ejercicios y Problemas de Clculo. Tomo I. Albacete. Tbar Flores. LOSADA, R.. (1978). Anlisis Matemtico. Madrid. Pirmide S.A. MARTNEZ SALAS, J. L. (1975). Elementos de Matemticas. Valladolid. R.A.E.C. (1971). Problemas de Clculo Infinitesimal. Madrid. R.A.E.C. Madrid. TBAR, E. (1977). Problemas de Clculo Infinitesimal. Albacete. Tbar Flores.
MATEMTICAS I
35