Captulo 8

Nmeros Complejos
8 l . . 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. C
Definicin 1.
El cuerpo est formado por todos los pares ordenados de nmeros reales, en ste C
cuerpo se definen las operaciones siguientes:
Suma ( ) ( ) ( ) a, / c, d = a c, / d
Multiplicacin ( ) ( ) ( ) a, / c, d = ac /d, ad /c
Igualdad
Como acabamos de definir los nmeros complejos como pares ordenados se tiene
que:
( ) ( ) a, / = c, d = a = c . / = d
Nota 1.
Con estas definiciones es posible verificar los , cuya tarea axiomas de cuerpo
dejaremos al lector.
Ntese que : v a, / ( ) C
El neutro de la suma es el . ( ) 0, 0
El inverso de la suma es . ( ) a, /
El neutro de la multiplicacin es ( ) 1, 0 .
El inverso de la multiplicacin es
_ _
a /
a / a /
, .
2 2 2 2
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 . C
Notacin
Al inverso multiplicativo para cada elemento de , lo denotaremos por: . = a, / ( ) C
[ . = a, / [
1 1
( )
Definicin 2.
Sean . , . . . . ( . )
1 2 1 2 1 2
, = C definiremos:

.
.
= .
1
2
1
.
2
1
Definicin 3.
Dado se llama parte real de a la primera componente del par y . = a, / . a, / ( ) ( )
parte imaginaria a la segunda componente, las que se acostumbran a denotar por:
, 1c . = a 1:. = /
Los complejos de la forma se acostumbran a llamar reales puros y ( ) a, 0
simplemente se denotan por es decir . A su vez los de la forma a, a, 0 = a 0, / ( ) ( )
se llaman imaginarios puros y se denotan por /i.
Note que si / = 1 = . i = 0, l
Tambin que i = 0, 1 0, 1 = 0 0 1 1, 0 1 1 0 = 1, 0 = 1
2
( ) ( ) ( ) ( )
8 2 . . Representacin grfica.
Complejo Conjugado.
Como se han definido los complejos como pares ordenados, es posible
representarlos grficamente en el plano cartesiano, por tanto el complejo . = a, / ( )
est representado por el par ordenado fig. 1 ( ) a, / .
y
x
( ) b a z , =
a
b
o

fig. 1
Definicin 4.
Sea definimos el producto de un real por un complejo mediante: . = a, / ( )
/ . = / a, / = /a, // ( ) ( )
Propiedades 1.
Sean y entonces . , . /,
1 2
C R
1. / .
1
C
2. / . = / . ( ) ( )
1 1
3. / . = /. . ( )
1 1 1
4. / . . = /. /. ( )
1 2 1 2
5. 1 . = ., 1 R
Demostracin.
Todas son inmediatas por tanto se dejan propuestas.
Forma cannica.
Notemos que para todo complejo se tiene: . = a, j ( )
lo que se justifica por la . = a, j = a 1, 0 j 0, 1 = a1 ji = a ji , ( ) ( ) ( )
definicin y notacin establecida con anterioridad.
Por tanto se llama forma cannica de un complejo a: .,
. = a j i, a, j R
Con respecto a las operaciones definidas anteriormente, se tienen:
1. . . = (a /i) c di = a c / d i
1 2
( ) ( )
2. se us . . = (a /i) c di = (ac /d) ad /c i, i = 1
1 2
2
( ) ( )
3. / . = / (a /i) = /a //i, v / .
1
R
Los inversos de la suma y multiplicacin de son: a /i
y a /i i
a /
a / a /
2 2 2 2
Complejo conjugado.
Definicin 5.
Sea . = a /i ., . se llama complejo conjugado de simblicamente y se define
por . = a /i
Propiedades 2.
Sean y ., n C / R
1. . = .
2. /. = / .
3. . n = . n
4. .n = . n
5. (
. .
n n
=
Demostracin.
Son todas sencillas, solo demostraremos dos de ellas.
Sean luego 8. . a /i . n = c di =
. n = a c / d i = a c / d i = a /i c di = . n ( ) ( )
4. .n = (a /i) c di = ac /d ad /c i = ac /d ad /c i ( ) ( ) ( )
= ac adi /ci /d = a /i c di = . n ( )( )
8 3 . . Mdulo.
Sea . = a /i ., [.[, se define el mdulo del complejo simblicamente al
nmero real
[.[ = a /
_ 2 2
Note que si el complejo es su mdulo coincide con su . real puro valor absoluto
Propiedades 3.
1. [.[ _ [.[ = 0 = . = 0 0i 0,
2. [/.[ = [/[[.[, v / R
3. [.[ = [ .[ = [.[
4. [.[ = . .
2
5. [.n[ = [.[[n[
6.
| |
. [.[
n [n[
= , n = 0 0i
7. [ 1c . [ _ [.[; [ 1:. [ _ [.[
8. [. n[ _ [.[ [n[
Demostracin.
Solo demostraremos algunas de ellas, dejando el resto para su ejercicio.
4. . . = a /i a /i = a / i = a / = ( )( )
2 2 2 2 2
[.[
2
6.
| | | |
( )
. 1
n c di c d
= = [ac /d /c ad i[ ; c, d = 0
a /i
2 2
= ac /d /c ad = a / c d
1 1
c d c d
2 2 2 2
2 2
2 2 2 2
_
( ) ( ) ( )( )
_
= =
a / [.[
c d
[n[
_
_
2 2
2 2
8. [. n[ = . n ( . n) = . n . n = . . .n n. nn
2
( ) ( )( )
= [.[ 2 1c . 1c n 1:. 1:n [n[
2 2
( )
pero = [.[ 2 1c (.n) [n[ , 1c (.n) _ [. n[ = [.[[n[
2 2
_ [.[ 2 [.[[n[ [n[ = [.[ [n[
2 2
2
( )
luego: [. n[ _ [.[ [n[
Propiedad 4.
no es un cuerpo ordenado. C
Demostracin.
Lo demostraremos por contradiccin, supongamos existe que cumpla los C

axiomas de cuerpo ordenado.

Como entonces i = 0 i . i C C

( )
Supngase que (*) i = i i = i = 1 = 1 y C C C
2
pero lo que se contradice con (*), luego ( )( ) 1 1 = 1 i y C C C

en forma anloga se prueba que ( ) i y . C

Por tanto no es un cuerpo ordenado y solo pueden usarse desigualdades entre C

partes reales o partes imaginarias o mdulos de complejos, pero no entre estos.
. . Complejos y vectores. 8 4
Como se dijo anteriormente un complejo queda representado por un par ordenado
( ) a, / , en el plano cartesiano pero tambien se acostumbra a representarlo no por un
punto sino por el vector que va desde el origen hasta el punto , introduciendo ( ) a, /
con ello la representatividad de complejos por medio de vectores geomtricos con
todo el potencial que implican tratarlos como tales. fig. 2 ( )
Es ms, estos complejos representados as se consideran vectores deslizantes es por
eso que cada complejo o bien no tiene solamente un vector que 7(a, /) . = a /i
lo representa. fig. 3 ( )
En el plano cartesiano al eje se acostumbra a llamar eje real, eje en el que se A
ubica la parte real del complejo , y a su vez al eje se llama eje a a /i Y
imaginario y en el que se ubica la parte imaginaria de . / a /i
b
i b a+
a
i b a+
x
y
y
xx
x
o
o
b
a

fig. 2 fig. 3
Suma y ponderacin.
La tpica suma y ponderacin fig. 4 definida entre los vectores geomtricos, se ( )
define naturalmente para los complejos considerados como vectores, con todas las
consecuencias que llevan estas definiciones .
z
w z+
z w
w
1 0 , < <k z k
z
0 , > k z k
z
y
x
y
x

fig.4
Consecuencias tales como por ejemplo: la ponderacin de un nmero real por un
complejo representa el alargamiento o acortamiento con o sin cambio /., / R
de sentido del complejo segn sean los valores del real /.
Con respecto al mdulo del complejo coincide con la magnitud del vector . . .
La distancia entre los complejos y est dada por . n [. n[
La multiplicacin de un complejo por la unidad imaginaria obtiene . = a ji i,
otro complejo y cuyo efecto geomtrico es el de una n = (a ji)i = j ai
rotacin en torno al origen de radianes del complejo en sentido contrario a

2
.
los
punteros de un reloj.
y
x
i y x z + =
i x y w + =

8 5 . . Forma Trigonomtrica.
Sea el ngulo orientado, medido desde el eje real al vector en sentido 0 .
antihorario, de la fig. 5 para cualquier se tiene: 0
y
x
i b a z + =
a
b

fig. 5

a = [.[ co- , / = [.[ -c: = . = a /i = [.[( co- i -c: ) 0 0 0 0
a sta ltima expresin se llama forma trigonomtrica del complejo , qu tambin .
se suele denotar por
donde . = ci- ; = j 0 j [.[, ci- = co- i -c: 0 0 0
El ngulo se acostumbra a llamar "argumento de " y su valor et comprendido 0 .
entre 0 y 2 .
Tambin de la figura se obtiene la frmula no menos importante, que tq =
/
a
0
nos permite calcular el argumento , note que la ubicacin del argumento segn el 0
cuadrante es importante, as se tiene:
Si I cuadrante a 0 . / 0 = 0
Si II cuadrante a < 0 . / 0 = 0
Si III cuadrante a < 0 . / < 0 = 0
Si IV cuadrante a 0 . / < 0 = 0
Si Si a = 0 . / 0 = = , a = 0 . / < 0 = = . =
2 2 2
8
0 0 0

Si Si a 0 . / = 0 = = 0, a < 0 . / = 0 = = 0 0
Multiplicacin y Cuociente
Dados y entonces . = ci- . = ci- ; = [. [, = [. [
1 1 2 2 1 1 2 2
j c j c j j
1) . . = ci-
1 2 1 2
j j c u ( )
2)
.
.
= ci-
1 1
2 2
j
j
c u ( )
Demostracin.
. . = co- i -c: co- i -c:
1 2 1 2
j j c c u u ( )( )
= [co- co- -c: -c: (-c: co- co- -c: )i[ j j c u c u c u c u
1 2
= [co- i -c: [ = ci- j j c u c u j j c u
1 2 1 2
( ) ( ) ( )

. co- i -c: co- i -c: co- i -c:
. co- i -c: co- i -c:
= =
1 1 1
2 2 2
2 2 2
j c c j c c u u
j u u j u u
( ) ( )( )
( ) ( )
= [co- co- -c: -c: (-c: co- co- -c: )i[
j
j
c u c u c u c u
1
2
= [co- i -c: [ = ci-
j j
j j
c u c u c u
1 1
2 2
( ) ( ) ( )
Multiplicacin de un complejo por un complejo de mdulo uno.
Sea el complejo de mdulo 1 y un complejo n = ci- , O7 = . = ci-

0 j c
1 1
dado,
entonces O7 = . n = . = ci-( ).

2 1 2
j 0 c
La demostracin es inmediata se deja propuesta como ejercicio.
Lo importante radica en: al multiplicar un complejo por otro de mdulo 1 se
produce el efecto geomtrico de una rotacin de ngulo en torno del origen y en c
sentido contrario a las manecillas de un reloj.
1
Z
2
Z

O

Potenciacin.
Frmula de Moivre.
Dado entonces . = [co- i -c: [ . = [co- : i -c:: [ , : j c c j c c N
: :
Para obtenemos la frmula de es decir j = 1 Moivre
[co- i -c: [ = co- : i -c:: c c c c
:
Demostracin.
Por induccin,
i) Para se tiene lo que es verdadero : = 1, . = [co- i -c: [ j c c
ii) Sea vlido para , o sea: H.I. : . = [co- : i -c:: [
: :
j c c
Por demostrar para o sea qu : 1,
( T. . = [co- : 1) i -c:(: 1) [
: : +1 +1
j c c
En efecto, . = . . = [co- : i -c:: [ [co- i -c: [
: : : +1
j c c j c c
= [(co- : co- -c:: -c: ) (-c:: co- co- : -c: )i[ j c c c c c c c c
:1
= j c c c c
:1
[co- (: ) -c:(: )[
= [co- : 1) i -c:(: 1) [ j c c
:+1
(
Observacin.
Si es negativo tambin se cumple la frmula de Moivre, pus :
Sean , con . = co- i -c: : = : : c c N
. = [co- i -c: [ = [co- i -c: [
: : :
c c c c
. = =
1 1
[co- i -c: [ co- : i -c::
:
:
c c c c
Radicacin.
Dado , . = (co- i -c: ) = [.[ j c c j
entonces
_
_ ( )
:
:
. = [co- i -c: [, / = 0, 1, 2 . . . . : 1
2/ 2/
: :
j
c c
Demostracin.

_
:
. v(co- i-c: ) es de suponer que es un complejo de la forma por tanto 0 0

_
:
1
:
. = ( [co- i -c: [) = v(co- i-c: ) j c c 0 0 de donde obtenemos
j c c 0 0 (co- i -c: ) = v (co- : i-c:: )
:
ahora, por igualdad de complejos
cos j c 0 = v co- : 1
:
( )
j c 0 -c: = v -c:: 2
:
( )
elevando al cuadrado y sumando se obtiene en resulta j j
2 2:
= v = v = 1 _ ( )
:
notemos que estos valores co- : = co- = : = 2/ = =
2/
:
0 c 0 c 0
c
de verifican la ecuacin en consecuencia se tiene 0 ( ) 2

_
_ ( )
:
:
. = [co- i -c: [, / = 0, 1, 2 . . . . : 1
2/ 2/
: :
j
c c
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 se puede expresar como . = [co- i -c: [ j 0 0
donde . = c c = co- i -c: j 0 0
i i 0 0
" " es la base de los logaritmos naturales. c
Propiedad 5.
1. c c = c
i i i 0 0 0 0
1 2 1 2
( )
2. c = c
j
i i
1
0 0
8. = c
c
c
i
i
1
i
2
1 2
0
0
( ) 0 0
4. c = c , /
i 2/ i ( ) 0 0
Z
. c = c , /
j
i i/
/
0 0
Z
Demostracin
Todas son sencillas de demostrar, solo mostraremos una de ellas el resto quedan
para su ejercitacin.
1. c c = co- i -c: co- i -c:
i i
1 1 2 2
0 0
1 2
( )( ) 0 0 0 0
= [co- co- -c: -c: (-c: co- co- -c: )i[ 0 0 0 0 0 0 0 0
1 2 1 2 1 2 1 2
= [co- i -c: [ = c ( ) ( ) 0 0 0 0
1 2 1 2
i ( ) 0 0
1 2
8 6 . . Ejercicios Resueltos