Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Nmeros Complejos
).". El cuerpo de los complejos
Con los nmeros reales en el horizonte vamos a presentar un cuerpo que se
acostumbra a denotar por y llamar nmeros complejos.
Definicin 1.
El cuerpo est formado por todos los pares ordenados de nmeros reales, en
ste cuerpo se definen las operaciones siguientes:
Suma
Multiplicacin
a+ ,b a- . b a+ - , . b
a+ ,b a- . b a+- ,. +. ,- b
Igualdad
Como acabamos de definir los nmeros complejos como pares ordenados se tiene
que:
a+ ,b a- . b + - , .
Nota 1.
Con estas definiciones es posible verificar los axiomas de cuerpo, cuya tarea
dejaremos al lector.
Ntese que a a+ ,b
El inverso de la multiplicacin es
Nota 2.
+
,
+# , # +# , #
Las propiedades o teoremas de todo cuerpo, como las que se expusieron para el
caso de los nmeros reales en el captulo anterior, tambin los cumple .
Notacin
Definicin 2.
Sean D" D# definiremos:
D" D # D " D #
D"
D" D#"
D#
Definicin 3.
M7 D ,
Tambin que 3# a! "b a! "b a! ! " " ! " " !b a " !b "
z = (a, b)
fig. 1
Definicin 4.
Propiedades 1.
Sean D" D# y 5 : entonces
1. 5 D"
2 5 a:D" b a5:bD"
Forma cannica.
3. 5 D" 5 + ,3 5+ 5,3 a 5
Complejo conjugado.
Definicin 5.
Sea D + ,3 se llama complejo conjugado de D simblicamente D y se define
por D + ,3
Propiedades 2.
Sean D A y 5
1. D D
2. 5D 5 D
3. D A D A
4. DA D A
D
D
5.
A
A
Demostracin.
Son todas sencillas, solo demostraremos dos de ellas.
$ Sean D + ,3 A - .3 luego
D A + - a, . b3 + - a, . b3 + ,3 - .3 D A
).$. Mdulo.
Sea D + ,3 se define el mdulo del complejo D simblicamente lDl al
nmero real
lDl +# , #
Note que si el complejo es real puro su mdulo coincide con su valor absoluto.
Propiedades 3.
1. lDl 0, lDl ! D ! !3
2. l5Dl l5llDl a 5
3. lDl l Dl lDl
4. lDl# D D
5. lDAl lDllAl
D
lDl
6.
A ! !3
A
lAl
7. l V/ D l lDl l M7 D l lDl
8. lD Al lDl lAl
Demostracin.
Solo demostraremos algunas de ellas, dejando el resto para su ejercicio.
4. D D a+ ,3ba+ ,3b +# , # 3# +# , # lDl#
D
+ ,3
"
6.
l+- ,. a,- +. b3l
#
A
- .3
- .#
-#
- . !
"
" #
a+- ,. b# a,- +. b#
a+ , # ba- # . # b
#
#
.
- .#
+# , #
- # . #
lDl
lAl
8. lD Al# aD Ab D A aD AbaD Ab D D DA AD AA
lDl# #aV/ D V/ A M7 D M7 Ab lAl#
luego:
lD Al lDl lAl
Propiedad 4.
no es un cuerpo ordenado.
Demostracin.
Lo demostraremos por contradiccin, supongamos existe que cumpla los
axiomas de cuerpo ordenado.
Como 3 ! entonces 3 a 3b
a + bi
b
fig. 2
Suma y ponderacin.
a + bi
fig. 3
z+ w
z
k z ,0 < k < 1
w
k z, k > 0
w z
z
x
fig.4
Consecuencias tales como por ejemplo: la ponderacin de un nmero real por un
complejo 5D 5 representa el alargamiento o acortamiento con o sin cambio
de sentido del complejo segn sean los valores del real 5
Con respecto al mdulo del complejo D coincide con la magnitud del vector D .
La distancia entre los complejos D y A est dada por lD Al
y
z = a + bi
b
fig. 5
Si + ! , ! ) I cuadrante
Si + ! , ! ) II cuadrante
Si + ! , ! ) III cuadrante
Si + ! , ! ) IV cuadrante
1
$1
1
Si + ! , ! ) Si + ! , ! )
)
#
#
#
Si + ! , ! ) ! Si + ! , ! ) 1
Multiplicacin y Cuociente
Dados D" 3" -3= ! y D# 3# -3= ! 3" lD" l 3# lD# l entonces
1) D" D# 3" 3# -3= a! " b
2)
D"
3"
-3= a! " b
D#
3#
Demostracin.
D"
3" a-9= ! 3 =/8 !b
3" a-9= ! 3 =/8 !ba-9= " 3 =/8 " b
D#
3# a-9= " 3 =/8 " b
3# a-9=# " 3# =/8# " b
3"
-9= ! -9= " =/8 ! =/8 " =/8 ! -9= " -9= ! =/8 " 3
3#
3"
3"
-9= a! " b 3 =/8 a! " b
-3= a! " b
3#
3#
Potenciacin.
Frmula de Moivre.
Dado D 3 -9= ! 3 =/8 ! entonces D 8 38 -9= 8! 3 =/8 8! 8
Para 3 " obtenemos la frmula de Moivre es decir
-9= ! 3 =/8 !8 -9= 8! 3 =/8 8!
Demostracin.
Por induccin,
i) Para 8 " se tiene D 3 -9= ! 3 =/8 ! lo que es verdadero
ii) Sea vlido para 8, o sea: D 8 38 -9= 8! 3 =/8 8!
H.I.
T.
"
-9= !3 =/8 !7
"
-9= 7!3 =/8 7!
Radicacin.
Dado D 3 -9= ! 3 =/8 ! , 3 lDl
entonces
8
8 3-9= #5 1! 3 =/8
D
8
#5 1!
8
5 ! " # a8 "b
Demostracin.
a"b
a#b
8 3 en a"b resulta
elevando al cuadrado y sumando se obtiene 3# <#8 <
1
-9= 8) -9= ! 8) ! #5 1 ) !#5
notemos que estos valores de )
8
verifican la ecuacin a#b en consecuencia se tiene
8
8 3-9= #5 1! 3 =/8
D
8
#5 1!
8
5 ! " # a8 "b
Notacin de Euler.
La siguiente notacin de un nmero complejo tiene su justificacin en los
desarrollos en serie, tpico que excede las intenciones de ste texto, sin embargo
daremos una definicin con el fin de poder ocuparla en los ejercicios que procedan.
Definicin.
El complejo D 3 -9= ) 3 =/8 ) se puede expresar como
D 3 /3) donde /3) -9= ) 3 =/8 )
"/" es la base de los logaritmos naturales.
Propiedad 5.
1.
/3)"
/3)#
"
# /3) /3)
/3a)" )# b
% /3a)#51b /3) 5
5
& /3) /35) 5
Demostracin
Todas son sencillas de demostrar, solo mostraremos una de ellas el resto quedan
para su ejercitacin.
1.
-9= )" -9= )# =/8 )" =/8 )# =/8 )" -9= )# -9= )" =/8 )# 3
Solucin.
& %3
"
a& %3ba& '3b
#
$
3a$ #3b
3
& '3 '"
#& $'
'" '"
"
'" %*
"!3
#
'"
$
'" 3
"
'" a%(
"$3b
2. Expresar en la forma + ,3
a$ &3ba# 3b$
a) D
a%3 "b
b) A
3
#
Solucin.
a$ &3ba# 3b$
"
a) D
a$ &3b a# 3b$ a%3 "b
a%3 "b
"(
"
a$ &3ba# ""3ba%3 "b a* "$3b
"(
b)
3
#
3
#
3#
a3 #ba" 3b
"
A
a$ 3b
#
" 3 3a3 "b
"3 "3
"3
"3
#
3<
$
3 <
" #3< %
Solucin.
a) lDl
#'"$
#'
#"$
l& 3l
b) lAl
3<
$
3
" #3< %
%3 %< $3 '< 3#
" l#< 3l
" %<# "
"
%a" #3<b
% l" #3<l
% %<# "
%
4. Demostrar que
lD Al# lD Al# # lDl# lAl#
e interpretar geomtricamente esta igualdad.
Demostracin.
Ntese de la fig. 6, que el resultado anterior indica que la suma de los cuadrados de
las diagonales de un paralelogramo es igual al doble de la suma de los cuadrados de
sus lados
y
z+w
z
o
x
zw
fig. 6
#5 1
8 3
5 " # 8 "
"
l" Dl
lDl
Solucin.
Sea D B C3 de la igualdad dada se obtienen:
lDl# " B# C # "
De a#b B
$
"
" $
C
, luego D
3
#
#
#
#
7. Demostrar que si D
"
es real, entonces M7aD b ! lDl "
D
Demostracin.
Sea D B C3 entonces D
D
"
D
debetener
a"b
B
B# C#
C
B# C#
"
D
B C3
C
B# C # 3
"
BC3
B C3
"
B# C# aB
! C"
Si C ! M7aD b ! y si "
"
B# C #
"
B# C#
! C ! "
! lDl "
8. Demostrar que a D A
Sean D B C3 A + ,3
C3b
"
B# C #
D
A
V/
"
DA
DA
Demostracin.
Por la parte a) del problema anterior se tiene:
V/
D
A
D
A
V/
V/
V/" "
DA
DA
DA DA
DA
"
DA "
Demostracin.
Recordemos: lDl# D D lDl lDl adems D D "# " entonces
DA
DA
DA
"
"
"
DA "
DA D D
D A D
D
lDl
11. Sean D" D# D$ complejos cada uno de mdulo 1, tales que D" D# D$ !
probar que
"
"
"
!
D"
D#
D$
Prueba.
"
anlogamente para D# y D$ entonces
D"
"
"
"
"
"
"
!
!!
D"
D#
D$
D"
D#
D$
D" D# D $ !
Solucin.
la" 3bD a" $3bl " la" 3bB C3 a" $3bl "
*
!
#
*
"
! aB #b# aC "b# as el lugar
#
#
"
#
D"
D"
sea
imaginario puro
Solucin.
ecuacin que nos indica que D recorre una recta paralela a la recta C 7B 8
15. Sea D B C3 demuestre que lDl# lBl lCl
Demostracin.
Como lBl lCl# ! lBl# lCl# # lBCl #lBl# lCl# lBl lCl#
de donde extrayendo raz cuadrada se tiene lDl# lBl lCl.
b) a" A A# ba" A A# b %
c) a# #A &A# b (#*
'
Prueba.
Por ser A una raz cbica compleja de 1, satisface: A$ " A# A " !
a)
b)
c)
a" A# b a Ab% A$ A A
%
'
$' A$ # (#*
b) $ 3
c) 17 3
d) "$
e) $ % 3
f #3
Solucin.
a) 3 % # >1 )
b) 3 # >1 )
"
1
"
1
1
) M ) luego D # -3= # /3 '
$
'
'
) MM )
c) 3 "( + ! , "( )
1
#
&1
'
&1
$1
$1
$1
luego D # -3=
# /3 #
#
#
20. Calcular:
1
1 #
a) $ -3= # -3=
'
#
$ -3= &'1
b)
' -3= 1'
Solucin.
1
1 #
1
1
(1
a) $ -3= # -3= $ -3= a% -3= 1b "# -3= 1 "# -3=
'
#
'
'
'
b)
$ -3= &'1
"
&1 1
"
#1
-3=
-3=
1
' -3= '
#
'
'
#
$
21. Hallar
$
a)
)3
Solucin.
&
b)
"
&
c)
$#
$1
#5 1
$1
$
$
luego
D
) -3= #
5 ! " #
#
$
Con lo que, resultan: D" # -3= 1# D# # -3= ('1 y D$ # -3= ""'1
a) Sea D )3 3 ) )
&
b) Sea D " 3 " ) ! luego
D -3= #5&1 5 ! " # $ % de donde se
obtienen:
D" -3= ! D# -3= #&1 D$ -3= %&1 D% -3= '&1 y D -3= )&1
&
&
c) Sea D $# 3 $# ) 1 luego
D
$#-3= #51&1 5 ! " # $ %
de donde se obtienen:
D" #-3= &1 D# #-3= $&1 D$ #-3= 1 D% #-3= (&1 y D #-3= *&1
$ 3 8
$ 3 8
"#
Prueba
Por el teorema de Moivre, sean:
"$ 3
3 "
#
"# $ 3 3 "
>1 )
>1 )
$
#1
#81
8
" ) MM ) $ luego D -3= $
$
%1
%81
8
" ) MMM ) $ luego A -3= $
#81
%81
#81
-3=
# -9=
.
$
$
$
Si 8 $5 5 E # -9= #5 1 #
de donde E D 8 A8 -3=
$
$
$
$
$ "
$
"
3
3
"
#
#
#
#
Anlogamente, si 8 $5 # tambin se recibe E "
"3
"3
#
#
#
B
23. Resolver
Solucin.
1
%
a" 3b # -3=
-3= 1% B -3= 1% B #
1
1
1
1
-9= B 3 =/8 B -9= B 3 =/8 B #
%
%
%
%
#
1
1
1
# -9= B # B -9="
#5 1 B )5" 5
%
%
#
%
24. Si D
"
"
# -9= ! Demostrar que D 8 8 # -9= 8!
D
D
Demostracin.
Como D
"
D
obtenemos
D -9= ! 3 =/8 !
luego
D 8 -9= 8! 3 =/8 8!
de donde finalmente D 8
"
D 8 -9= 8! 3 =/8 8!
D8
"
# -9= 8!
D8
#3
=/8 9
=/8 9
"
-9= 89 3 =/8 89 -9= 89 3 =/8 89
#3 =/88 9
=/8 89 -9=/- 8 9
Demostracin.
81
%
81
81
81
81
3 =/8
-9=
3 =/8
%
%
%
%
8
8
81
81
# # # -9=
# # " -9=
%
%
8
Por a"b igualando partes imaginarias entre si, en este caso obtenemos
=/8 (! (" -9=' ! =/8 ! ($ -9=% ! =/8$ ! (& -9=# ! =/8& ! (( =/8( !
D
Solucin.
!
!
!
=/8 ! # =/8 -9=
#
#
#
9
9
9
-9= # -9= # 3=/8 #
lDl
29. Dado
-9= 9#
-9= )#
)
#
-3=
V/ D
+8 3 , 8
)
#
-3=
-9= 9#
-9= )#
-9=
)
#
-9= 9#
-9=
)
#
-3=
9)
luego
#
-9= 9#
9)
9)
y M7 D
=/8
)
#
#
-9= #
" 3 $ 8
"
$
#
$ 8
+8 3 ,8 " #3
=/8 $
$
$
$
#
"
"
"
#
" 3 a" 3b
a" 3b#)
Solucin.
Observe que los trminos de la suma forman una T K as:
a" 3b#* "
" 3 a"b
a" 3b "
a" 3b#)
1
Ahora, a" 3b#) # -3= #) #"% -3= (1 #"% luego en a"b
%
"%
W "#
" 3 " #"% " 3
W
31. Expresar
"
"
"
$
en la forma + ,3 y probar que lDl# % V/ D $
# -9= ) 3 =/8 )
Solucin.
$
# -9= ) 3 =/8 )
' $ -9= )
$ =/8 )
3
# -9= ) 3 =/8 ) # -9= ) 3 =/8 )
& % -9= ) & % -9= )
que es de la forma + ,3, ahora
' $ -9= ) #
$ =/8 ) #
*
lDl#
a"b
& % -9= )
& % -9= )
& % -9= )
por otra parte
' $ -9= )
*
% V/ D $ %
$
a#b
& % -9= )
& % -9= )
finalmente por a"b y a#b se tiene: lDl# % V/ D $
32. Pruebe que aB "b8 B8 " es divisible por
8 impar no mltiplo de $
B# B " si y solo si
Prueba.
Sea :aBb aB "b8 B8 " las races de B# B " deben satisfacer a :aBb
o sea B"
:aB" b "#
"
#
$
# 3
8
$
# 3
y B#
"
#
"
#
$
# 3
$
# 3
as
:aB" b -9= 8$1 3 =/8 8$1 -9= #8$1 3 =/8 #8$1 "
:aB" b -9= 8$1 -9= #8$1 " =/8 8$1 =/8 #8$1 3
#1
$
:aB" b a "b5 -9= 1$ -9= #$1 " a "b5 =/8 1$ =/8 #$1 3
#1
$ 3
"
#
"
#
"
$
#
$
#
33. Demostrar que uniendo los complejos D y A con el origen se forma un ngulo
recto si y solo si
D
es imaginario puro D A D A !
A
Demostracin.afig. 7b
a b Sea 9" 9#
1
D 3" -3= 9" A 3# -3= 9#
#
D
3"
1
D
3"
3 aimaginario purob
A
3#
#
A
3#
O bien,
D
3"
3#
3A D
3"
3#
3 A luego D A D A
z
1
1
w
2
2
3"
3#
3 AA
3"
3#
3 AA !
fig. 7
D
, 3 D A D A ! por definicin
A
D
3"
3"
1
-3= 9" 9# , 3
-9= 9" 9# ! 9" 9# tambin
3#
3#
A
#
observe que: D A D A ! # 3" 3# -9= 9" 9# ! 9" 9# 1#
34. Si A es una raz cbica compleja de la unidad, probar que los puntos
D" " A D# A A# D$ A# "
son los vrtices de un tringulo equiltero
Prueba.
Si A es una raz cbica compleja de la unidad entonces A -3= #$1 luego
D# A A# a" AbA D" -3= #$1
si D B#
8
8
B
+
+ -3=
#5 1
B5 5 ! " # 8 "
8
el producto de estas races ser:
#1
%1
#a8 "b1
#5
8
8
8
+ -3= 0
+ -3=
8 + -3=
+ -3=
+ -3= 1"
8
8
8
8
5!
8"
! #5
+ a "b 8
+ -3= 1
5!
+a "b8" +a "b8"
# a8"b8
#
8"
5!
Solucin.
5!
5!
5!
a"b
5!
" /3" 8 a" -9= " 3 =/8 " b8 # -9=# "# 3 #=/8 "# -9= "#
#8 -9=8 "# -9= "# 3 =/8 "# #8 -9=8 "# /38 # a#b
8
"
luego,
#
c)
Respuesta.
"
& $3
# $'3 ( #'3
d)
' )3
$ %3
b)
f) %+, #3a+# , # b
&
$
3
$% $%
f) + , a+ , b3
a) ( #%3
b)
c)
&
"#
3
"$ "$
d) 8
e) "
3A # 3
a# 3b D a# 3b A # 3
Respuesta.
"
"
D
a' *3b A
a "' ""3b
"$
"$
3. Encontrar B e C reales tales que:
"
#
"3
B 3C B 3C
Respuesta.
B !$ C !*
4. Simplifique las expresiones siguientes:
a) a+ ,3b# a+ ,3b#
b) a" +3b% a" +3b%
+ ,3
+ ,3
c)
- .3
- .3
Respuesta.
a) #a+# ,# b
b) # "#+# #+%
c)
#a+- ,. b
-# .#
"
A
A#
$
$
#
B" BA BA
B "
#
" !#
" !%
" !'
11. Calcule
a) a" 3b)8 8
"3
Respuesta.
a) #%8
12. Resolver
89
b) #8 -9=8 9# /3 #
c) #&%
Respuesta.
a) # 3 % $3
b) ( #3 $ &3
c)
$ "
"
3
3
#
#
'
#
Respuesta.
a) # $ 3
b) %' "%$ 3
b) ( $ 3
14. Precisar donde se encuentran las imgenes de los complejos D tales que:
a) lD 3l "
b) lDl D # 3
Respuesta.
lDl # lD "l
Respuesta.
b) lD "l # lD "l
"
"
"
D"
D#
D8
$8
" $ 3 8
$8
Respuesta.
V/ D #$8" M7 D !
18. Simplifique
a)
" 3 >1 ! 8
" 3 >1 !
b)
Respuesta.
a) -9= 8! 3 =/8 8!
b)
-9= 8 1# ) 3 =/8 8 1# )
"
$
3 "
8
"
$
" 8
$# &
8
a "b # " 8"
!
8
D" D# y D$ sea
Respuesta.
) #$ %$ 3 ) #$ %$ 3
21. Si ?" # $ 3 ?# " 3 y ?$ " # 3 Encontrar tres complejos D" D#
y D$ que verifiquen el sistema
? " D" D # D $
? # D" A " D # A # D $
? $ D" A # D # A " D $
Donde " A" y A# son las races cbicas de la unidad en orden creciente de sus
argumentos.
Respuesta.
23. Calcular a" Ab8 a" A# b en que A es una de las races cbicas complejas
de la unidad.
8
Respuesta.
#-9= 8 1$
24. Determinar + y , de manera que D " 3 sea una raz de la ecuacin
D & +D $ , !
Respuesta.
+ # , )
25. Demostrar que el nmero
siguientes:
a)
$
D"
"
D
"$ 3
#
"
b) D ) D ( D ' D # D "
26. Demostrar que si D # D# D es real o bien imaginario puro.
27. Calcular:
a) Las races quintas de $#
b) Las races cuadradas de 3
Respuesta.
a) D5 # /
a#5"b1
3
&
5 ! " # $ %
b) D5 /51 % 3 5 ! "
b) D ' " 3 !
Respuesta.
1
"
!5 /5 # 3 5 " # $
!5 "
1
"#
b) D
# /a)5"b % 3 5 ! " # $ % &
a) D
29. Dado el complejo D a=/8 ! =/8 " b -9= ! -9= " 3 calcular D #!
Respuesta.
c) D 8 aD "b8
Respuesta.
a) D
#5 1
!5 "3
!5 / 8 3 5 " # 8 "
!5 "
b) D "#! !5 /
5
c) D
"
!5 " !5
#5 1
8 3
#5 1
8 3
5 ! " # 8 "
5 " # 8 "
31. Demostrar que V/ D ! si y solo si lD "l lD "l y dibuje los puntos del
plano complejo que satisfacen esta relacin .
32. Demostrar que la ecuacin $# D & aD "b& tiene cuatro races imaginarias, dos
de las cuales estn en el segundo cuadrante y dos en el tercero. Demostrar tambien
#
que todas las races estn sobre la circunferencia B "$ C# #$ #
"
'% -9= ))
#) -9= %) $&
" D D# D8
" D 8"
"D
5!
"=/8 5 )
8
5!
#
# =/8 )#
"
) -9=a#8 "b #)
-9>1
! ) #1
#
#
# =/8 #)
36. Demostrar que si los puntos D" D# y D$ son los vrtices de un tringulo equiltero,
entonces D #" D #" D #" D" D# D# D$ D$ D"
37. Sean D" D# y D$ son los vrtices de un tringulo issceles, siendo " #
Demostrar que: D$ D# # %aD$ D" baD" D# b =/8#
1!
#
!
#
38. Sea el complejo D Ea" > 3b con > real, probar que cuando > vara D describe
una recta que pasa por E y perpendicular a SE
39. Probar que la ecuacin D! D D! D 5 ! con 5 real, representa a una recta que
es perpendicular a la direccin D!
40. Los complejos variables D y A verifican siempre A D # + + Determinar
el lugar geomtrico de A cuando D recorre:
i) La circunferencia B# C# "
ii) La recta C B
41. Probar que una circunferencia de centro - y radio < se puede expresar por
:-
" 3>
< >
" 3>