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
2
ax bx c + + se anali$# el signo del
discriminante
2
! b 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 ( ) 2 a b
en el c"al de.inimos las sig"ientes operaciones3
Suma& ( ) ( ) ( ) 2 2 2 a b c d a c b d + + +
Multiplicacin& ( ) ( ) ( ) 2 2 2 a b c d ac bd ad bc +
4n el n/mero comple(o ( ) 2 a 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& ( ) ( ) 2 2 a b c d a c b d
Multiplicacin por un escalar.
6 2 7 6 2 7 a b a b
donde &
Ejemplo& Dados ( ) 220
% ( ) 2 8
2 ,allar3
a7 ( ) ( ) ( ) ( ) 220 2 8 2 20 6 87 22 2 + + +
b7 ( ) ( ) ( ) ( ) 22 0 2 8 267 06 872 26 87 067 82 9 +
c7 ( ) ( ) ( ) ( ) ( ) ( ) 220 2 8 2 020 82 9 22 2 :2 ; +
0
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 6e7 al e(e de las
x
% eje imaginario 6Im7 al e(e de las
!
&
Grfica 13 Representaci#n del n/mero comple(o
6 2 7 a b
&
<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 ( ) 2 a
coincide con el n/mero real
a
& De este modo tenemos
6 2 7 a a
c"ando a & 1os n/meros comple(os de la .orma
62 7 b
son llamados imaginarios puros&
+amos a demostrar la propiedad de la m"ltiplicaci#n por "n escalar 3

( ) ( ) 2 2 a b a b
<ara eso escribimos el n/mero real

en la .orma ( ) 2
% aplicamos la de.inici#n de m"ltiplicaci#n3
( ) ( ) ( ) ( ) ( ) 2 2 2 2 2 a b a b a b b a a b +
&
Denotaremos el n/mero comple(o
6207
con la letra i % lo llamaremos unidad imaginaria& 4s .cil
demostrar )"e
2
0 i &
( )
2 2
6207 6207 6207 67 0607 2 607 067 6 02 7 0 i +
A,ora estamos en condiciones de resolver la sencilla ec"aci#n
2
0 x + &
2 2 2 2
0 0 x x x i x i + t
=orma bin#mica de "n n/mero comple(o
'ea
6 2 7 " a b
"n n/mero comple(o& 4ntonces podemos escribirlo en la .orma3

6 2 7 6 2 7 62 7 602 7 6207 " a b a b a b + +
<ero como
602 7 0
%
6207 i
2 entonces
6 2 7 a b a bi +
& 4n este caso a bi + se llama forma binmica o
binomia del n/mero comple(o&
2
'"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
2 2 2 a b c d
son todos n/meros reales&
( ) ( ) ( ) ( )
2
a bi c di ac adi bci bdi ac bd ad bc i + + + + + + +
por)"e
2
0 i &
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 2 ! ? " " i i i + + + + +
2
0 2
682 27 6!2 07 68 2 76! 7 02 8 ; 2 602 27 6 8 ;7 0! : " " i i i i i i 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 2 " i + 2 entonces 8 2 " i % si 8 2 " i 2 entonces 8 2 " i + &
M#d"lo % arg"mento de "n n/mero comple(o
'ea
6 2 7 " a b a bi +
"n n/mero comple(o c"al)"iera& 1lamaremos mdulo del n/mero comple(o
"
2 al
n/mero real dado por
2 2
a b +
% lo denotaremos por
"
& 4l m#d"lo se interpreta como la distancia al
origen del n/mero
"
6Grfica #7&
<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
arg6 7 arctan
b
"
a
_

,
&
8
Grfica #3 M#d"lo % arg"mento de "n n/mero comple(o&
<ropiedad3
2
" " "
Demostracin3
( ) ( )
2 2 2
2
2 2 2 2 2 2
6 76 7

" " a bi a bi a abi abi ! i

a b ab ab i a b i a b "
+ +
+ + + + + +
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
2 2 2
2
2
6 7 6 7 " a bi a bi c di ac bd ad bc i ac bd ad bc i
" c di c di c di c d
"
+ + + + + + + +

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


+ + +
+ +

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

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

2
2 2 2 2 2 2 :
0 :
2 2 2
i i
x i
t t t
t
As*2 las ra*ces comple(as de la ec"aci#n son3
0
0 : x i %
2
0 : x 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
62 27"
&
27 M"estre )"e
62 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
8
i 2 6b7
!
i 2 6c7
:
i 2 6d7
0
i
2 6e7
2
0
i
&
:7 Calc"le3
6a7
!n
i 2 6b7
! 0 n
i
+
2 6c7
! 2 n
i
+
2 6d7
! 8 n
i
+
&
97 Dado el n/mero comple(o
6 2 7 x !
,alle el par
6 2 7 u %
tal )"e
6 2 7 6 2 7 602 7 x ! u %
& Al par se le llama
inverso m"ltiplicativo de
6 2 7 x !
& Concl"%a )"e el par
6 2 7 u %
es /nico % )"e el
62 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 8
2 !
i
i
+

2 6b7
0 8
2 2
i
i

&
07 Res"elva la ec"aci#n
6 2 7 8 i " i + +
&
007 Aalle
"
tal )"e
62 760 7 2 i i " 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
6a7
2 : "
2 6b7
" i " i +
2 6c7
2
" " " + &
0!7 Res"elva la ec"aci#n c"adrtica
2
8 8 x x + + &
0:7 Res"elva la ec"aci#n c"adrtica
2
2 ! : x x + + &
097 Res"elva la ec"aci#n c"adrtica
2
8 ; x x + + &
0?7 Res"elva la ec"aci#n
! 2
08 89 x x + + &
:
'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&
4n este caso se tiene )"e
6 2 7 r " x !
% )"e
0
arg6 7 tan
!
"
x

_


,
&
1"ego3
sin sin
cos cos
!
! r
r
x
x r
r

'

<or lo tanto3

6 2 7 cos sin 6cos sin 7 " x ! x !i r i r r i + + +
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 cis " r .
Ejemplo3 Aalle la .orma trigonomtrica de 0 " i &
Aallemos
2 2
607 6 07 2 r +
%
0
0
tan
0 !

_


,
&
5ote )"e est en el c"arto c"adrante& <or lo tanto3
0 2 cos sin 2 cos sin 2 cis
! ! ! ! !
" i i i
_ _ _ _ _ _ _
+

, , , , , , ,
&
9
M"ltiplicaci#n de n/meros comple(os en s" .orma trigonomtrica
'ean cis u r %
cis % s
2 entonces ( ) ( ) cis u % rs +
& 4n otros trminos3
( ) ( ) cos6 7 sin6 7 u% rs i + + +
Demostraci#n3
( ) ( )
( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
2
cis cis
cis cis
cos sin cos sin
cos cos cos sin sin cos sin sin
cos cos sin sin 6cos sin sin cos 7
cos6 7 sin6 7
6 7 cis6 7
u % r s
rs
rs i i
rs i i i
rs i i
rs i
rs


+ +
+ + +
+ +
+ + +
+
<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&
Ejemplo& 'ea
2cis
!
u
_

,
%
8 cos 8
! ! !
% i sen cis
_ _ _ _


, , , ,
&
4ntonces ( ) 9cis67 9 cos67 sin67 9 u % i +
=#rm"la de Moivre
4mpleando el res"ltado del Ejercicio 'b de esta secci#n2 cis6 7
n n
" r n 2 % tomando 0 r 2 tenemos3
( ) cos sin cos6 7 sin6 7
n
i n i n + + .
4sta e-presi#n es la llamada frmula de Moi%re.
=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
cos sin
i
e i

+ &
4mpleemos el desarrollo en serie de potencias de la ."nci#n

C
n
x
n
x
e
n

2 s"poniendo )"e sea vlido para

c"ando la variable
x
es "n n/mero comple(o
"
&
2 8

0 &&&&& &&&
C 0C 2C 8C C
n n
"
n
" " " " "
e
n n

+ + + + + +

?
'i tomamos
" i
2 nos )"eda3
2 8

2 8 ! :
2 8 ! :
2 8 ! :
6 7 6 7 6 7 6 7 6 7
0 &&&&& &&&
C 0C 2C 8C C
0 &&&
0C 2C 8C !C :C
0 &&&&
0C 2C 8C !C :C
n n
i
n
i i i i i
e
n n
i i i i i
i i i

+ + + + + +

+ + + + + +

+ + + +

Agr"pando tendremos3
2 ! 8 :
0 &&&& &&&&
2C !C 0C 8C :C
i
e i

_ _
+ + + + +

, ,
4stos son los desarrollos de cos % sin respectivamente& As* )"e cos sin
i
e i

+ &
'ea
6cos sin 7 " r i +
"n n/mero comple(o donde
r
es s" m#d"lo % s" arg"mento& 4ntonces
mediante el empleo de la .#rm"la de 4"ler se obtiene3
6cos sin 7
i
" r i r e

+ &
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
i
u re

%
i
% se

& 4ntonces3
( )
6 7 i i i
u % re se rs e
+

6 7
i
i
i
u re r
e
% s se

_


,
Ejemplo3 'ea !
9
i
u e

% !
8
i
% e

& 4ntonces 2
0; 9
i
u % e i

%
67
2 2
i
u
e
%
&
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 sin i
&
27 Represente3
;
6a7 en la .orma trigonomtrica el n/mero comple(o 2 2i &
6b7 en la .orma bin#mica el n/mero comple(o
2 cos sin
8 8
i
_ _ _
+

, , ,
&
87 M"ltiplicando el mismo n/mero comple(o n veces2 e.ect/e % emplee identidades trigonomtricas para
comprobar )"e si
0 0 0 0
6cos sin 7 " r i +
2
2 2 2 2
6cos sin 7 " r i +
2 D2
6cos sin 7
n n n n
" r i +
entonces
6a7 ( )
2 2
0 0 0 0
cos62 7 sin62 7 " r i +
6b7 ( )
0 0 0 0
cos6 7 sin6 7
n n
" r n i n +
6c7 ( ) ( )
0 2 0 2 0 2
&&& &&& cis &&&
n n n
" " " r r r + + +
&
4-tienda el res"ltado a las potencias enteras negativas&
!7 Calc"le3
6a7
( )
@
0 8 i 2 6b7
( )
?
0
2 2i +
:7 Dados 2 2 u i + % 2 2 % i 2 emplee la .orma e-ponencial para ,allar3
6a7
u%
2 6b7
u %
&
97 Dados 2 2 u i + % 2 8 % i 2 emplee la .orma e-ponencial para ,allar3
6a7
u%
2 6b7
u %
&
?7 Aalle
( )
( )
!
9
8
0 8
i
i
+
+
&
;7 Aalle
( )
( )
;!
@
0
0
i
i
+

@
'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
6 2 7 i )
" r e
+
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
i
$ re

es "n n/mero comple(o de m#d"lo
r
% arg"mento % )"e
i
" se

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

& 4ntonces
n
" $ e)"ivale a3
6 2 7 n n i n i i )
" s e re r e $
+
&
De esta manera3
607
n
s r
627
2 n ) +
<or lo tanto2
i
" se

donde
n
s r
%
2)
n
+
2 con 02 22 2 ) n K &
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 202 2 0 ) n K &
Ejemplo& Aallar
0 i +
&
!
0 2
i
i e

+
& <or lo tanto
!
2 2 s
%
2
!
2
)

+

2 con 20 ) & 4ntonces3
<ara ) 2 tenemos
!
;
0
2
i
" e

&
<ara 0 ) 2 tenemos
@
!
;
2
2
i
" e

&
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 $ &
'"p#ngase )"e
i
$ re

es "n n/mero comple(o de m#d"lo

r
% arg"mento 2 entonces3
0
6 2 7
ln 6 2 7
" i )
e r e $ " r i )
+
+ + &
Ejemplo& 'ea
67
0 0
i
e & <or tanto
log607 ln607 62 7 2 i ) ) 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 8 i % 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 i
&
;7 Aalle3
6a7
log6 7 e
2 6b7
log6 7 i
2 6c7
log6 7 ei
&
@7 M"estre )"e
0
log60 7 ln 2
2 !
i i

&
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
97 ( )
2 2 2 2
2 2
x !
u %
x ! x !
_

+ +
,
@7 a7
8 @
0
i +
007 8 i +
087 a7 ( )
2
2
2 2: x ! + 2 c*rc"lo de radio : centrado en
622 7
% s" interior&
0:7
0
0
2
i t
0?7
2 2 8 i i t t
'ecci#n 2
0 a7
8
8 2 cis
!
_

,
:7 a7 22 b7 i
?7
0
8
0
!
i
e

'ecci#n 8
87
0 8
2 2
i t
:7
! 0 09
@ @ @
2 2 2 2 2
i i i
e e e

;7 a7
0 2) i +
2 c7 0
2
i

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