LOS NMEROS COMPLEJOS

por Jorge Jos Oss Recio Departamento de Matemticas - Universidad de los Andes Bogot Colombia - 2 !

C"ando se est"di# la sol"ci#n de la ec"aci#n de seg"ndo grado ax 2 + bx + c = se anali$# el signo del discriminante b 2 - !ac % s" relaci#n con las sol"ciones& 'i el discriminante era negativo se di(o )"e la ec"aci#n no ten*a ra*ces reales sino )"e las ra*ces eran imaginarias o comple(as& +amos a,ora a est"diar los nmeros complejos )"e nos darn la idea completa de la sol"ci#n de la ec"aci#n de seg"ndo grado % "na e-tensi#n de los con("ntos n"mricos& Reali$aremos lo )"e se llama la de.inici#n a-iomtica del con("nto de los n/meros comple(os&

'ecci#n 0

De.inici#n % operaciones en el con("nto de los n/meros comple(os&

Definicin& 1lamamos conjunto de los nmeros complejos % lo denotamos con la letra al con("nto de los pares de n/meros reales ( a2 b ) en el c"al de.inimos las sig"ientes operaciones3 Suma& ( a2 b ) + ( c2 d ) = ( a + c2 b + d ) Multiplicacin& ( a2 b ) ( c2 d ) = ( ac - bd 2 ad + bc ) 4n el n/mero comple(o ( a2 b ) llamaremos a a la parte real % a b la parte imaginaria& 5ote )"e la s"ma % prod"cto de pares no est de.inida en 2 & Dos propiedades )"e c"mplen los pares de n/meros reales % )"e se mantienen para los comple(os son3 Igualdad&

( a 2 b ) = ( c2 d ) a = c (

b=d

Multiplicacin por un escalar. a 6a2 b7 = 6a a2 a b7 donde a & Ejemplo& Dados ( 220) % 2 -8) 2 ,allar3

a7 ( 220) + ( 2 -8) = ( 2 + 20 + 6-87 ) = ( 22 - 2 ) b7 ( 22 0)( 2 - 8 ) = ( 26 7 - 06-872 26-87 + 06 7 ) = ( 82 - 9 ) c7 ( 220)( 2 -8) - 2 ( -020) = ( 82 - 9 ) + ( 22 - 2 ) = ( :2 - ;)

Como los n/meros comple(os son pares de n/meros reales podemos e.ect"ar "na representaci#n de los mismos mediante el plano 2 6Grfica 17 4n esta representaci#n se le dice eje real 6 e7 al e(e de las x % eje imaginario 6Im7 al e(e de las ! &

Grfica 13 Representaci#n del n/mero comple(o 6a2 b7 & <odemos considerar )"e los n/meros reales estn contenidos en los n/meros comple(os p"esto )"e en el plano 2 el n/mero comple(o ( a2 ) coincide con el n/mero real a & De este modo tenemos a = 6a2 7 c"ando a & 1os n/meros comple(os de la .orma 6 2 b7 son llamados imaginarios puros& +amos a demostrar la propiedad de la m"ltiplicaci#n por "n escalar a 3 a ( a 2 b ) = (a a 2 a b ) <ara eso escribimos el n/mero real a en la .orma (a 2 a ( a 2 b ) = (a 2

% aplicamos la de.inici#n de m"ltiplicaci#n3

)( a2 b ) = (a a -

b 2 a b + a ) = (a a 2 a b ) &

Denotaremos el n/mero comple(o 6 207 con la letra i % lo llamaremos unidad imaginaria& 4s .cil demostrar )"e i 2 = -0 & i 2 = 6 207 2 = 6 207 6 207 = ( 6 7 - 06072 607 + 06 7 ) = 6-02 7 = -0 A,ora estamos en condiciones de resolver la sencilla ec"aci#n x 2 + 0 = & x 2 + 0 = x 2 = -0 x 2 = i 2 x = i

=orma bin#mica de "n n/mero comple(o

'ea " = 6a 2 b7 "n n/mero comple(o& 4ntonces podemos escribirlo en la .orma3 " = 6a 2 b7 = 6a2 7 + 6 2 b7 = a 602 7 + b 6 207 <ero como 602 7 = 0 % 6 207 = i 2 entonces 6a2 b7 = a + bi & 4n este caso a + bi se llama forma binmica o binomia del n/mero comple(o&

'"ma % m"ltiplicaci#n de n/meros comple(os en la .orma bin#mica

( a + bi ) + ( c + di ) = ( a + c ) + ( b + d ) i 2 p"esto )"e a2 b2 c2 d son todos n/meros reales& ( a + bi )( c + di ) = ac + adi + bci + bdi 2 = ( ac - bd ) + ( ad + bc ) i por)"e i 2 = -0 &
A,ora observe )"e los res"ltados son los mismos )"e las de.iniciones de s"ma % prod"cto dados al inicio> por lo )"e la reali$aci#n de las operaciones de s"ma % m"ltiplicaci#n con n/meros comple(os se p"ede reali$ar en la .orma de pares o en la .orma bin#mica, con la venta(a a .avor de la .orma bin#mica )"e se traba(a con las reglas del lgebra % no es necesario memori$ar nada n"evo& Ejemplo& 'i "0 = 682 27 % "2 = 6!2 -07 2 ,alle "0 + "2 % "0 "2 & "0 + "2 = 682 27 + 6!2 -07 = ( 8 + 2i ) + ( ! - i ) = ? + i "0 "2 = 682 27 6!2 -07 = 68 + 2i 76! - i 7 = 02 - 8i + ;i - 2i 2 = 602 + 27 + 6-8 + ;7i = 0! + :i

Con("gado de "n n/mero comple(o

'i " = x + !i es "n n/mero comple(o llamaremos conjugado del nmero ", al n/mero " = x - !i 2 es decir2 al n/mero comple(o )"e tiene la misma parte real )"e " pero la parte imaginaria de signo op"esto& Ejemplo& 'i " = 8 + 2i 2 entonces " = 8 - 2i % si " = 8 - 2i 2 entonces " = 8 + 2i &

M#d"lo % arg"mento de "n n/mero comple(o

'ea " = 6a 2 b7 = a + bi "n n/mero comple(o c"al)"iera& 1lamaremos mdulo del n/mero comple(o " 2 al n/mero real dado por a 2 + b 2 % lo denotaremos por origen del n/mero " 6Grfica #7& " & 4l m#d"lo se interpreta como la distancia al

<or otra parte2 llamaremos argumento del n/mero comple(o " = a + bi 2 al ng"lo comprendido entre el e(e x % el radio vector )"e determina a " & 4l arg"mento de " se denota por arg6 " 7 % se calc"la mediante la e-presi#n3 b arg6 "7 = arctan & a

Grfica #3 M#d"lo % arg"mento de "n n/mero comple(o&

<ropiedad3 " " = " Demostracin3

" " = 6a + bi 76 a - bi 7 = a 2 - abi + abi - !2 i 2 = = a 2 + b 2 + ( - ab + ab) i = a2 + b2 + i = a2 + b2 = "

Divisi#n de n/meros comple(os

1a divisi#n de n/meros comple(os se reali$a mediante la m"ltiplicaci#n % divisi#n por el con("gado del denominador3
"0 a + bi a + bi c- di ac+ bd + 6- ad + bc7 i ac+ bd+ 6- ad+ bc 7i = = = = 2 2 2 " 2 c + di c + di c - di c +d "2

Ejemplo& Dados "0 = 2 - 8i % "2 = -0 + 2i 2 ,alle3 6a7 " 2 % 6b7

"0 & "2

6a7 Como "2 = -0 + 2i entonces "2 = -0 - 2i "0 6b7 <ara ,allar m"ltiplicamos % dividimos por el con("gado "2 & "2
"0 2 - 8i 2 - 8 i -0 - 2 i 62 - 8 i76 -0 -2 i7 = = = " 2 -0 + 2i - 0 + 2i - 0- 2i 6- 0 + 2i 76- 0 - 2 i 7 = -2 - ! i + 8 i + 9 i 2 -; - i ; 0 = =- - i 2 2 6 -07 + 627 : : :

Ra*ces comple(as de la ec"aci#n de seg"ndo grado

'i el discriminante de la ec"aci#n ax 2 + bx + c = es negativo2 debe s"stit"irse el signo negativo por i 2 % de esa .orma se obtienen las ra*ces comple(as de la ec"aci#n& Ejemplo& Resolver la ec"aci#n x 2 - 2 x + 9 = & Aplicando la .#rm"la de la ec"aci#n c"adrtica3
x= - 6- 27 6 -27 2 - !607697 2 ! - 2! 2 - 2 = = 2607 2 2

'e p"ede ver )"e el discriminante es -2 lo c"al p"ede escribirse como 2 i 2 & <or lo tanto3
x= 2 -2 2 2 i 2 2 2 :i = = = 0 : i 2 2 2

As*2 las ra*ces comple(as de la ec"aci#n son3 x0 = 0 - : i % x2 = 0 + : i &

4(ercicios de la 'ecci#n 0&

07 Dados los n/meros comple(os " = 682 27 % $ = 6-02 -!7 2 ,alle3 6a7 " + $ 2 6b7 " $ 2 6c7 8" - !$ 2 6d7 6-02 7 $ 2 6e7 6 2 -27 " & 27 M"estre )"e 6 2 7 es el elemento ne"tro para la s"ma de n/meros comple(os& 87 M"estre )"e 602 7 es el elemento ne"tro para la m"ltiplicaci#n de n/meros comple(os& !7 Calc"le3 6a7 i 8 2 6b7 i ! 2 6c7 i : 2 6d7 :7 Calc"le3 6a7 i ! n 2 6b7 i ! n +0 2 6c7 i ! n + 2 2 6d7 i ! n + 8 & 97 Dado el n/mero comple(o 6 x2 ! 7 ,alle el par 6u 2 %7 tal )"e 6 x2 ! 7 6u 2 %7 = 602 7 & Al par se le llama inverso m"ltiplicativo de 6 x2 ! 7 & Concl"%a )"e el par 6u 2 %7 es /nico % )"e el 6 2 7 no tiene inverso m"ltiplicativo& ?7 +eri.i)"e )"e " = " & ;7 +eri.i)"e )"e u% % u% son con("gados& @7 Calc"le3 6a7 8 + 8i 0 - 8i 2 6b7 & 2 - !i -2 - 2i 0 0 2 6e7 2 & i i

0 7 Res"elva la ec"aci#n 6-2 + i 7 " = 8 + i & 007 Aalle " tal )"e 62 + i 760 + i 7 = 2 + " i & 027 Calc"le % represente en el plano comple(o los n/meros " = x + !i 2 tales )"e3 6a7 " = : 2 6b7 " : & 087 Calc"le % represente en el plano comple(o los n/meros " = x + !i tales )"e3
2 6a7 " - 2 : 2 6b7 " - i " + i 2 6c7 " + " = " &

0!7 Res"elva la ec"aci#n c"adrtica x 2 + 8x + 8 = & 0:7 Res"elva la ec"aci#n c"adrtica 2 x 2 + ! x + : = & 097 Res"elva la ec"aci#n c"adrtica x 2 + 8x + ; = & 0?7 Res"elva la ec"aci#n x ! + 08x 2 + 89 = &

'ecci#n 2

=orma trigonomtrica o polar de "n n/mero comple(o

1a .orma trigonomtrica de "n n/mero comple(o se establece observando el tring"lo amarillo de la &igura '3

Grfica '3 =orma trigonomtrica de "n n/mero comple(o&

-0 ! 4n este caso se tiene )"e r = " = 6 x2 ! 7 % )"e q = arg6 " 7 = tan & x

1"ego3
! sin q = ! = r sin q r cos q = x x = r cos q r

<or lo tanto3 " = 6 x2 ! 7 = x + !i = r cos q + i r sin q = r 6cos q + i sin q 7 Bsta es la llamada forma trigonom(trica o polar del n/mero comple(o2 la c"al est en trminos del m#d"lo % el arg"mento& 'e denota com/nmente por " = r cis q . Ejemplo3 Aalle la .orma trigonomtrica de " = 0 - i &
p -0 -0 Aallemos r = 607 2 + 6-07 2 = 2 % q = tan = - & ! 0

5ote )"e q est en el c"arto c"adrante& <or lo tanto3

p p p p " = 0 - i = 2 cos - + i sin - = 2 cos - i sin ! ! ! ! = p 2 cis ! &

M"ltiplicaci#n de n/meros comple(os en s" .orma trigonomtrica

'ean u = r cis a % % = s cis b 2 entonces u % = ( rs ) cis (a + b ) & 4n otros trminos3 u% = ( rs )( cos6a + b 7 + i sin6a + b 7 ) Demostraci#n3
u % = r cis a s cis b = ( rs )( cis a cis a ) = ( rs )( cos a + i sin a )( cos b + i sin b ) = ( rs ) cosa cos b + i cosa sin b + i sina cosb + i 2 sina sin b = ( rs )( cos6a + b 7 + i sin6a + b 7 ) = 6 rs 7 cis6a + b 7

= ( rs )( cosa cos b - sina sin b + i 6cosa sin b + i sina cosb 7 )

<or lo tanto2 la m"ltiplicaci#n de dos n/meros comple(os en s" .orma trigonomtrica da como res"ltado "n n/mero comple(o c"%o m#d"lo es ig"al al prod"cto de s"s m#d"los % c"%o arg"mento es ig"al a la s"ma de los arg"mentos&
p p p p Ejemplo& 'ea u = 2 cis % % = 8 cos - i sen = 8 cis - & ! ! ! !

4ntonces u % = 9 cis6 7 = 9 ( cos6 7 + i sin6 7 ) = 9

=#rm"la de Moivre
4mpleando el res"ltado del Ejercicio 'b de esta secci#n2 " n = r n cis6nq 7 2 % tomando r = 0 2 tenemos3

( cos q + i sin q )
4sta e-presi#n es la llamada frmula de Moi%re.

= cos6nq 7 + i sin6nq 7 .

=orma e-ponencial de "n n/mero comple(o

+amos a as"mir )"e se sig"en c"mpliendo2 como en los n/meros reales2 los conceptos de ."nci#n2 derivadas2 series2 etc& +amos a demostrar la frmula de Euler3 eiq = cos q + i sin q & 4mpleemos el desarrollo en serie de potencias de la ."nci#n e x = c"ando la variable x es "n n/mero comple(o " &
e" =
n= n=

xn nC

2 s"poniendo )"e sea vlido para

"n nC

= 0+

" 0C

"2 2C

"8 8C

+ &&&&& +

"n nC

+ &&&

'i tomamos " = i q 2 nos )"eda3

eiq =
n=

6iq 7n 6iq 7 6iq 72 6iq 78 6iq 7 n =0+ + + + &&&&& + + &&& nC 0C 2C 8C nC

q 2 q 2 8q 8 !q ! :q: +i +i +i +i + &&& 0C 2C 8C !C :C q q2 q8 q! q: =0+i -i + +i + &&&& 0C 2C 8C !C :C =0+i

Agr"pando tendremos3
q2 q! q q8 q: eiq = 0 + + &&&& + i + + &&&& 2C !C 0C 8C :C

4stos son los desarrollos de cos q % sin q respectivamente& As* )"e eiq = cos q + i sin q & 'ea " = r 6cos q + i sin q 7 "n n/mero comple(o donde r es s" m#d"lo % q s" arg"mento& 4ntonces mediante el empleo de la .#rm"la de 4"ler se obtiene3 " = r 6cos q + i sin q 7 = r eiq & 4sta e-presi#n es la llamada forma exponencial del n/mero comple(o& 5ote )"e la .orma e-ponencial es e)"ivalente a la trigonomtrica p"es dependen de los mismos elementos3 m#d"lo % arg"mento del n/mero comple(o " & 4sta .orma es m"% c#moda p"es podemos e.ect"ar la m"ltiplicaci#n2 divisi#n % potenciaci#n empleando las le%es del lgebra&

M"ltiplicaci#n % divisi#n de n/meros comple(os en s" .orma e-ponencial

'ean u = reia % % = seib & 4ntonces3 u % = reia seib = ( rs ) ei 6a + b 7
u % = re ia
ib

r = ei 6a - b 7 se s

p p p u = 2e i 6 7 = 2 & Ejemplo3 'ea u = 9 ei ! % % = 8 ei ! & 4ntonces u % = 0; ei 2 = 9i % %

4(ercicios de la 'ecci#n 2&

07 Represente3 6a7 en la .orma trigonomtrica el n/mero comple(o -8 + 8i & 6b7 en la .orma bin#mica el n/mero comple(o 2 ( cos p - i sin p ) & 27 Represente3 6a7 en la .orma trigonomtrica el n/mero comple(o -2 - 2i & ;

 p p 6b7 en la .orma bin#mica el n/mero comple(o 2 cos + i sin & 8 8

87 M"ltiplicando el mismo n/mero comple(o n veces2 e.ect/e % emplee identidades trigonomtricas para comprobar )"e si "0 = r0 6cos q0 + i sin q0 7 2 "2 = r2 6cos q 2 + i sin q 2 7 2 D2 "n = rn 6cos q n + i sin q n 7 entonces
2 2 6a7 "0 = r0 ( cos62q0 7 + i sin62q0 7 ) n n 6b7 "0 = r0 ( cos6nq0 7 + i sin6nq0 7 )

6c7 "0 "2 &&& "n = ( r0r2 &&&rn ) cis (q0 + q 2 + &&& + q n ) &

4-tienda el res"ltado a las potencias enteras negativas& !7 Calc"le3 6a7 -0 - i 8 2 6b7

( 2 + 2i )

:7 Dados u = 2 + i 2 % % = 2 - i 2 2 emplee la .orma e-ponencial para ,allar3 6a7 u% 2 6b7 u % & 97 Dados u = 2 + i 2 % % = 2 - i 8 2 emplee la .orma e-ponencial para ,allar3 6a7 u% 2 6b7 u % &

?7 Aalle

( -0 + i 8 )
(0+ i ) @ ( -0 - i )
;!

8+i

&

;7 Aalle

'ecci#n 8

Ra*ces n-simas de "n n/mero comple(o

4n la .orma bin#mica de "n n/mero comple(o la representaci#n es /nica2 mientras )"e en la .orma trigonomtrica o e-ponencial "n mismo n/mero comple(o tiene in.initas representaciones di.erentes2 " = r ei 6q + 2 )p 7 con ) & <ara cada valor de ) ,abr "na representaci#n di.erente del n/mero comple(o "& De.inamos la radicaci#n como la operaci#n inversa de la potenciaci#n2 esto es3 " = n $ "n = $ & '"p#ngase )"e $ = reiq es "n n/mero comple(o de m#d"lo r % arg"mento q % )"e " = seif "n n/mero comple(o de m#d"lo s % arg"mento f & 4ntonces " n = $ e)"ivale a3 " n = s n ei nf = reiq = r ei 6q + 2 )p 7 = $ & De esta manera3 607 s n = r 627 nf = q + 2)p <or lo tanto2 " = seif donde s = n r % f = q + 2)p 2 con ) = 02 22K 2 n & n

4stas son las .#rm"las para ,allar las n ra*ces n-simas de c"al)"ier n/mero comple(o& Compr"ebe )"e para todo otro valor de ) 2 con ) 2 se obtienen las mismas n ra*ces )"e para ) = 202K 2 n - 0 & Ejemplo& Aallar
p

0+ i & 2=!2 % f =
p

i 0 + i = 2 e ! & <or lo tanto s =

p + 2 )p ! 2 con ) = 20 & 4ntonces3 2

<ara ) = 2 tenemos " = ! 2 ei ; & 0 <ara ) = 0 2 tenemos " = ! 2 ei 2

@p ;

&

4l logaritmo de "n n/mero comple(o

Al ig"al )"e para los reales2 vamos a de.inir el logaritmo de "n n/mero comple(o como la operaci#n inversa de la e-ponencial2 esto es3 " = log $ e " = $ & es "n n/mero comple(o de m#d"lo r % arg"mento q 2 entonces3

'"p#ngase )"e $ = reiq

e " = r ei 6q + 2 )p 7 = $ " = ln r + i 6q + 2)p 7 & Ejemplo& 'ea 0 = 0 ei 6 7 & <or tanto log 607 = ln607 + i 62)p 7 = 2)p i 2 con ) &

4(ercicios de la 'ecci#n 8
07 Aalle las ra*ces c"adradas de -0 % veri.i)"e )"e son i % -i & 27 Aalle las ra*ces c/bicas de 0& 87 Aalle las ra*ces c/bicas de -0 & !7 Aalle las ra*ces c"adradas del n/mero 0 + 8 i % e-prselas en la .orma bin#mica& :7 Aalle las ra*ces c/bicas del n/mero -0 - i 8 % e-prselas en la .orma bin#mica& 97 Aalle las ra*ces c"adradas de -2 - 2i % represntelas en el plano comple(o& ?7 M"estre )"e log6-07 = p i & ;7 Aalle3 6a7 log6e7 2 6b7 log6i 7 2 6c7 log6-ei 7 & @7 M"estre )"e log60 - i 7 = 0 p ln 2 - i & 2 !

00

Resp"estas
'ecci#n 0
07 a7 622 -27 2 b7 6:2 -0!7 2 c7 6082 227 2 d7 602 !7 2 e7 6!2 -97
x -! 2 2 97 ( u 2 % ) = 2 2 2 x + ! x +!

@7 a7

-8 + @i 0

007 8 + i
2 087 a7 ( x - 2 ) + ! 2 2: 2 c*rc"lo de radio : centrado en 622 7 % s" interior&

0 0:7 -0 i 2 0?7 2i 2 8i

'ecci#n 2
8p 0 a7 8 2 cis !

:7 a7 22 b7 i ?7 0 - 08 i e !

'ecci#n 8
87
0 8 i 2 2
! 0 09

:7 2ei @ p 2 2ei @ p 2 2ei @ p ;7 a7 0 + 2)p i 2 c7 0 p i 2

Eomado de ,ttp3FFtemasmatematicos&"niandes&ed"&co

02