Nmeros Complejos

11.1.1 Ingeniera y nmeros complejos

Situacin 1:
Un estudiante de ingeniera electrnica, quera saber cmo hacen las computadoras que
muestran un reloj de agujas en la pantalla. Investigando, descubri que el reloj poda ser
representado en el plano cartesiano y que la posicin del minutero a cada instante era un
nmero complejo.
Por ejemplo, suponiendo que la aguja mide 1 (es decir el mdulo del nmero es 1), 0 minutos
es el nmero i , 15 minutos es el nmero 1, 30 minutos es el nmero i y el nmero
1 representa 45 minutos.

a) Por qu nmero complejo se debe multiplicar a i para pasar de 0 minutos a 15 minutos?

Y para pasar de 0 minutos a 45 minutos?
b) Cuntos minutos despus de cero son representados por los nmeros complejos:
2
2
2
2
+
i y
+
i?
2
2
2
2
Situacin 2:
La impedancia compleja de un circuito elctrico constituido por un Resistor R, un Capacitor C
y un Inductor L conectados en serie esta dada por la siguiente expresin.
1

(donde j equivale a la unidad imaginaria i )

z = R + j L

donde R , L y C son constantes positivas para un circuito dado mientras que es variable y
se llama pulsacin angular de la seal aplicada .
a) Determine > 0 tal que Im ( z ) = 0 . Fsicamente se dice que en este caso el circuito se

comporta como resistivo puro.

b) Determine > 0 tal que Im ( z ) > 0 . Fsicamente se dice que en este caso el circuito se
comporta como inductivo.

Kozak- Complejos_2009

c) Determine > 0 tal que Im ( z ) < 0 . Fsicamente se dice que en este caso el circuito se
comporta como capacitivo.
d) Determine > 0 tal que Re ( z ) = Im ( z )
Nota: En electrnica se reemplaza la unidad imaginaria i por j , puesto que el smbolo i es
empleado para denotar intensidad de corriente
11.1.2. Introduccin
Investigando la historia de los nmeros complejos, encontraremos que sus primeras
apariciones se registran en trabajos de Cardano (15011576) y Bombelli (1526 1672)
relacionadas con el clculo de la races de ecuaciones de segundo y tercer grado.
En esa poca, uno de los problemas que los matemticos trataban de resolver era, por
ejemplo, determinar si es posible expresar al nmero 4 como suma de dos nmeros reales
tales que el producto entre ellos sea igual a 13.
La resolucin de este problema, arrojaba como respuesta una ecuacin cuadrtica sin solucin
en el conjunto de nmeros reales:
x + y = 4
4 36 x1 = 2 + 36
x.( 4 x ) = 13 x 2 + 4 x 13 = 0 x1,2 =
=
(I)

2
6
=

x
2
3
x.y = 13
2
A raz de este tipo de resultados, varios matemticos tuvieron la idea de seguir trabajando
con expresiones como:
36 utilizando las operaciones entre nmeros reales y las
propiedades de las mismas. Paradjicamente, sucedi que algo no existente o imaginario
como 36 se comportaba como si fuese realmente un nmero.
Fueron, los matemticos Euler (1707-1783) y Gauss (1777-1855) quienes tuvieron xito
trabajando con estos nuevos nmeros, puesto que indagaron sus utilidades.
Es Euler quin introduce el smbolo i para denotar la unidad imaginaria para definir un
nuevo nmero tal que: i 2 = 1 . A Gauss, debemos el nombre de nmeros complejos, quin,
adems concede a los nmeros complejos un lugar privilegiado dentro de las matemticas al
probar en 1799 el Teorema Fundamental del lgebra que afirma que: toda ecuacin de grado
n con coeficientes complejos tiene, si cada raz se cuenta tanta veces como su orden, n races
que tambin son nmeros complejos.
A partir de la introduccin de la unidad imaginaria i , radicales como 36 tuvieron
solucin. Fue Euler quien propuso resolverlos de la siguiente manera:
=
b .i
b = b .( 1) = b . 1
con b > 0

pues: i 2 =1

x1 = 2 + 3i
En consecuencia, soluciones como la mostrada en (I), pasaron a escribirse como:
x2 = 2 3i
2
As, la introduccin del nmero i tal que: i = 1 permiti la generacin de un nuevo tipo
de nmeros, que se escriban en forma de binomio: z = a + bi y el conjunto de estos nmeros
se lo llam conjunto de nmeros complejos, identificndolo con el smbolo: .
Definicin
z = a + bi es la forma binmica de un nmero complejo, donde: a,b
imaginaria.

Kozak- Complejos_2009

e i es la unidad

Esta representacin como binomio de un nmero complejo permite identificar una parte real y
una parte imaginaria en el mismo.
Para todo nmero complejo: z = a + bi se tiene que: a se denomina parte real de z y b parte
imaginaria de z, en smbolos: Re ( z ) = a y Im ( z ) = b , respectivamente.
Ejemplo
Si z = 2 + 3i Re ( z ) = Re ( 2 + 3i ) = 2

Im ( z ) = Im ( 2 + 3i ) = 3

Con lo cual, queda establecida una relacin de igualdad

Definicin
Sean z1 = ( a1 + b1i ) , z2 = ( a2 + b2i ) y
Relacin de igualdad: Dos nmeros complejos son iguales si y slo si tienen la misma parte
real y la misma parte imaginaria.
En smbolos: z1 = z2 Re ( z1 ) = Re ( z2 ) Im ( z1 ) = Im ( z2 )

A los nmeros complejos cuya parte imaginaria es nula se los denomina complejo real, es
decir: z = a + 0i = a es un complejo real, puesto que: Im ( z ) = 0 y a los nmeros complejos
cuya parte real es nula se los denomina imaginarios puros, esto es: z = 0 + bi = bi es un
imaginario puro, ya que: Re ( z ) = 0
Por otra parte, como los nmeros complejos son expresados como binomios, pueden sumarse
y multiplicarse como si fueran polinomios.
Definicin
Sean z1 = ( a1 + b1i ) , z2 = ( a2 + b2i ) y
Suma:
z1 + z2 = ( a1 + b1i ) + ( a2 + b2i ) = ( a1 + a2 ) + ( b1 + b2 ) i

Multiplicacin:
z1 .z2 = ( a1a2 b1b2 ) + ( a1b2 + b1a2 ) i
Ya que, por propiedad distributiva del producto respecto de la suma se tiene que:
z1 .z2 = ( a1 + b1i ) .( a2 + b2i ) = a1a2 + a1b2i + b1a2i + b1b2i 2
y como: i 2 = 1 entonces: z1 .z2 = ( a1a2 b1b2 ) + ( a1b2 + b1a2 ) i
Producto por un escalar:
z1 = ( a1 + b1i ) = a1 + b1i

Ejemplo
2 z1 + z2 = 2 ( 2 + 5i ) + ( 6 + 4i ) = ( 4 + 10i ) + ( 6 + 4i )( 4 6 ) + (10 + 4 ) i = 2 + 14i

z1 .z2 = ( 2 + 5i ) .( 6 + 4i ) = 12 + 8i 30i + 20i 2 = 32 22i

Kozak- Complejos_2009

Las definiciones dadas hasta este punto, slo son el comienzo del estudio del conjunto de
nmeros complejos. Es este captulo estudiaremos, la aritmtica de los nmeros complejos y
realizaremos un breve recorrido por conceptos tratados en los captulos anteriores, con el
objetivo de despertar la curiosidad del lector interesado en profundizar los mismos.
11.1.2.1.Objetivos
Esperamos que cuando finalice la lectura comprensiva y activa de la presente seccin, usted
pueda:
Utilizar las distintas formas de expresar un nmero complejo en la resolucin de
operaciones de suma, producto, potenciacin y divisin en
Obtener las n soluciones de la raz n-sima de un nmero complejo
Calcular el logaritmo natural de nmeros complejos no nulos
Operar con matrices con elementos complejos
Resolver determinantes de matrices cuadradas cuyos elementos son nmeros complejos
Resolver sistemas lineales con coeficientes complejos
Aplicar los conceptos tratados en el captulo 8 en el marco de los espacios vectoriales
complejos

11.1.3. Propiedades de la suma, multiplicacin y producto por un escalar en

Teniendo en cuenta la definicin de las operaciones suma, multiplicacin y producto por un

escalar enunciadas en la introduccin, analizaremos que propiedades se verifican:
11.1.3.1. Propiedades de la suma y la multiplicacin de nmeros complejos

La terna:
I)

El par

; +;.) tiene estructura de Cuerpo, esto es:

{e} ;.) es grupo conmutativo (siendo e el elemento neutro de la suma en

III) El producto es distributivo respecto de la suma.

II) El par

;+ ) es grupo conmutativo

Analicemos cada tem:

I) El par ( ;+ ) es grupo conmutativo, es decir se cumplen las siguientes propiedades:
1) Ley de composicin interna:
z1 ,z2 : ( z1 + z2 )
2) Propiedad Conmutativa:
z1 , z2 : z1 + z2 = z2 + z1
3) Propiedad Asociativa:
z1 , z2 , z3 : (z1 + z2) + z3 = z1 + (z2 + z3 )
4) Existencia de Elemento Neutro:
z ,e : z + e = e + z = z
5) Existencia de elemento opuesto:
z ,z' : z + z' = z' + z = e

Kozak- Complejos_2009

Demostracin:
La demostracin de las propiedades (1), (2) y (3) se dejan como ejercicio para el lector.
Demostracin propiedad 4:
Sea z = a + bi necesitamos encontrar un nmero complejo que llamaremos e = e1 + e2i
que: z + e = z
Entonces: z + e = ( a + bi ) + ( e1 + e2i ) = ( a + bi )

tal

Aplicando la definicin de adicin en

y el concepto de igualdad de nmeros complejos,
tendremos que:
a + e1 = a

b + e2 = b
de donde se deduce que: e = 0 + 0i
Luego, como la adicin en es conmutativa, tambin se cumple que e + z = z
El nmero complejo: e = 0 + 0i es el elemento neutro de la suma de nmeros complejos
Demostracin propiedad 5
Sea z = a + bi , necesitamos encontrar un nmero complejo que llamaremos z' = a' + b' i tal
que: z + z' = 0 + 0i
Entonces:
z + z' = ( a + bi ) + ( a' + b' i ) = 0 + 0i

Aplicando la definicin de adicin en

y el concepto de igualdad de nmeros complejos,
tendremos que:
a + a' = 0

b + b' = 0
de donde se deduce que: a' = a b' = b , por lo tanto: z' = a bi = z
Luego, como la adicin en es conmutativa, se cumple que z' + z = 0 + 0i .
El nmero complejo: z es el elemento opuesto de la suma de nmeros complejos.
Observacin:
De la existencia de elemento opuesto para la suma en
complejos

, se define la resta de nmeros

Definicin de resta
Sean z1 = ( a1 + b1i ) y z2 = ( a2 + b2i ) dos nmeros complejos

Entonces: z1 z2 = z1 + ( z2 )
Ejemplo
( 2 + 3i ) ( 4 + 2i ) = ( 2 + 4 ) + ( 3 2 ) i = 6 + i

Kozak- Complejos_2009

II)

El par

{0 + 0i} ;.) es grupo conmutativo, es decir se verifican las siguientes

propiedades:
Observacin: Llamaremos

* = {0 + 0i}
1) Ley de composicin interna:
z1 ,z2 * : ( z1 .z2 ) *
2) Propiedad Conmutativa:
z1 ,z2 * : z1 .z2 = z2 .z1
3) Propiedad Asociativa:
z1 ,z2 ,z3 * : ( z1 .z2 ) z3 = z1 .( z2 .z3 )
4) Existencia de elemento neutro:
z *,e * : z.e = e.z = z
5) Existencia de Elemento Inverso Multiplicativo:
z *, z 1 * : z.z 1 = z 1 .z = e
Demostracin:
La demostracin de las propiedades (1), (2) y (3) se dejan como ejercicio para el lector.
Demostracin propiedad 4:
Sea z = a + bi necesitamos encontrar un nmero complejo que llamaremos e = e1 + e2i
que: z.e = z
Entonces: z.e = ( a + bi ) .( e1 + e2i ) = ( a + bi )

tal

Aplicando la definicin de multiplicacin en

y el concepto de igualdad de nmeros
complejos, obtendremos el siguiente sistema de ecuaciones lineales:
a.e1 b.e2 = a

a.e2 + b.e1 = b
de donde se deduce que: e1 = 1 e2 = 0 , por lo tanto: e = 1 + 0i = 1
Luego, como la multiplicacin en es conmutativa, se cumple que e.z = z
El nmero complejo: e = 1 + 0i = 1 es el elemento neutro de la multiplicacin de nmeros
complejos.
Demostracin propiedad 5
Sea z = a + bi , necesitamos encontrar un nmero complejo que llamaremos
tal que: z.z 1 = 1 + 0i
z.z 1 = ( a + bi ) .( a' + b' i ) = 1 + 0i
Entonces:

z 1 = a' + b' i

Aplicando la definicin de multiplicacin en

y el concepto de igualdad de nmeros
complejos, obtendremos el siguiente sistema de ecuaciones lineales:
a.a' bb' = 1

ba' + ab' = 0
Que resolvemos aplicando la Regla de Cramer, obtenindose:

Kozak- Complejos_2009

1 b
0 a
a
a' =
= 2
a b a + b 2
b a

a
b
b' =
a
b

1
0
b
= 2
b a + b 2
a

b
a
z 1 = 2
i siempre que: z = a + bi 0 + 0i
+ 2
2
2
a +b a +b
Luego, como la multiplicacin en es conmutativa, se cumple que z 1 .z = 1 + 0i
b
a
El nmero complejo: z 1 = 2
; 2
es el elemento inverso multiplicativo del
2
a + b2
a +b
producto de nmeros complejos.

Por lo tanto:

Observacin:
De la existencia de elemento inverso multiplicativo para la multiplicacin en
definicin de divisin de nmeros complejos

, se tiene la

Definicin de divisin
Sean z1 = ( a1 + b1i ) y z2 = ( a2 + b2i ) dos nmeros complejos tales que z2 0 + 0i

Entonces:

z1
= z1 .z2 1
z2

Ejemplo

Sean z1 = 2 + 3i y z2 = 4 + 2i , hallar:
Solucin:
z1
2 + 3i
1
=
= ( 2 + 3i ) .( 4 + 2i )
z2 4 + 2i
Por definicin de inverso multiplicativo:

4
2
+
( 4 + 2i )1 =
2
2
2
2
( 4 ) + 2 ( 4 ) + 2
Entonces:
z1
1 4
1 1
= ( 2 + 3i ) . i = i
z2
10 5
5 10

z1
z2

1 1
i = i

5 10

III) El producto es distributivo respecto de la suma:

z1 ,z2 ,z3 : z1 .( z2 + z2 ) = z1 .z2 + z1 .z3
Demostracin
Sean: z1 = a1 + b1i , z2 = a2 + b2i y z3 = a3 + b3i
Entonces, por definicin de multiplicacin y suma en

Kozak- Complejos_2009

y por propiedades en

z1 .( z2 + z2 ) = ( a1 + b1i ) . ( a2 + b2i ) + ( a3 + b3i )

= ( a1 + b1i ) . ( a2 + a3 ) + ( b2 + b3 ) i

por suma en

por producto en

= a1 ( a2 + a3 ) b1 ( b2 + b3 ) + a1 ( b2 + b3 ) + b1 ( a2 + a3 ) i
= ( a1a2 + a1a3 b1b2 b1b3 ) + ( a1b2 + a1b3 + b1a2 + b1a3 ) i

por producto en

por propiedad asociativa

y conmutativa de la suma en

= ( a1a2 b1b2 ) + ( a1b2 + b1a2 ) i + ( a1a3 b1b3 ) + ( a1b3 + b1a3 ) i

por producto en

= ( a1 + b1i ) .( a2 + b2i ) + ( a1 + b1i ) .( a3 + b3i ) = z1 z2 + z1 z3

Por lo tanto, queda comprobado que la terna:

; +;.) tiene estructura de Cuerpo.

11.1.3.2. Propiedades del producto de un escalar por un nmero complejo

Inicialmente definimos que, siendo

z = ( a + bi ) = a + bi
Ejemplo
5 ( 2 + 3i ) = 5 ( 2 + 3i ) = 10 + 15i

0 ( 2 + 3i ) = 0 + 0i

y z = a + bi

entonces:

1( 2 + 3i ) = 2 + 3i

1( 2 + 3i ) = 2 3i

El lector puede comprobar que la operacin de producto de un nmero real por un nmero
complejo verifica las mismas propiedades que el producto de un nmero real por un vector del
espacio 2 , es decir:
Propiedades
Sean ,1 , 2

y z,z1 ,z2

( z )
Asociatividad Mixta : 1 ( 2 z ) = ( 1 2 ) z = 2 ( 1z )

1) Ley de composicin externa:

2)

3) Propiedad distributiva del producto de un nmero complejo por un escalar respecto de la

suma de nmeros complejos: ( z1 + z2 ) = z1 + z2
4) Propiedad distributiva del producto de un nmero complejo por un escalar respecto de la
suma de nmeros complejos: ( 1 + 2 ) z = 1 z + 2 z
5) El escalar 1 es neutro para el producto de un nmero complejo por un escalar: 1z = z

Kozak- Complejos_2009

En consecuencia, de las propiedades de la suma de nmeros complejos y de las propiedades

del producto entre un escalar (nmero real) y un nmero complejo, podemos afirmar que la
cuaterna ( ; +; ;.) tiene estructura de espacio vectorial.
Pero tambin, como comprobamos que la terna
puede verificar que la cuaterna

; +;.) tiene estructura de Cuerpo, el lector

; +; ;.) verifica los axiomas de espacio vectorial, siendo

este un caso de espacio vectorial complejo.

11.1.4. Isomorfismo entre los espacios vectoriales:

y 2
En esta seccin trataremos de relacionar distintas estructuras ya conocidas por el lector. Para
ello necesitamos hacer uso de cierta clase de funciones que, a posteriori, nos permitirn
extraer conclusiones. El estudio de cualquier teora matemtica, no tiene sentido sino se
analizan los morfismos que actan en ella, es por ello que al estudiar los espacios vectoriales
nos vemos obligados a analizar las transformaciones lineales,
Haremos esto, con un ejemplo:
Supongamos que tenemos los siguientes espacios vectoriales:
1) ( , +, , ) donde + y son las operaciones de suma y producto usuales en
respectivamente.
2) ( 2 , +, , ) donde + es la suma usual en 2 y la ley se define de la siguiente manera:

( a;b ) ( c;d ) = ( ac bd ;ad + bc )

Nuestro objetivo es relacionar ambas estructuras, para ello definimos:
f : ( , +, , ) ( 2 , +, , ) como f (a + bi ) = (a, b)
En primer lugar, notemos que la funcin definida anteriormente es claramente lineal y
biyectiva. Ahora bien, trataremos de mostrar que los espacios vectoriales considerados
anteriormente son iguales en algn sentido, para ello comenzaremos probando la linealidad
de f .
Tomemos dos elementos de ( , +, , ) , por ejemplo ( a + bi ) y ( c + di ) y operemos con
ellos, entonces:
( a + bi ) + ( c + di ) = ( a + c ) + ( b + d ) i ,ahora aplicando la funcin anterior tenemos que:

f ((a + c) + (b + d )i ) = (a + c, b + d ) (I)
Por otro lado si primero aplicamos la funcin a los elementos de
queda:
f (a + bi ) = (a, b)
f (c + di ) = (c, d )
Y entonces: (a, b) + (c, d ) = (a + c, b + d ) (II)
De (I) y (II) podemos concluir que:
f (( a + bi ) + (c + di )) = f ( a + bi ) + 2 f (c + di )
Haremos ahora el mismo trabajo para la segunda ley de composicin
(a + bi ) (c + di ) = (ac bd ) + (ad + bc)i
luego :
f ((ac bd ) + (ad + bc)i ) = (ac bd , ad + bc) (I)
Por otro lado:

Kozak- Complejos_2009

y luego operamos nos

f ( a + bi ) = (a, b)
f (c + di ) = (c, d )
Entonces resulta que:
(a, b) (c, d ) = (ac bd , ad + bc) (II)
De (I) y (II) podemos concluir que:
f ((a + bi) (c + di )) = f (a + bi ) f (c + di)
Y la linealidad quedo demostrada.
Se deja como ejercicio, demostrar que la funcin anterior es biyectiva.
De esta forma, lo que conseguimos es identificar a cada nmero complejo con un par
ordenado por medio de una funcin que respeta las operaciones, es decir, que da lo mismo
operar en el espacio de partida ( ) y luego aplicar la funcin que primero aplicar la funcin y
luego operar en el espacio de llegada ( 2 ). Una transformacin lineal y biyectiva se dice un
isomorfismo y los espacios vectoriales considerados se dicen isomorfos. Notemos que
la frase igual en algn sentido que mencionamos anteriormente, hace referencia al
isomorfismo existente y si bien los espacios vectoriales no son exactamente iguales, se
comportan como si lo fueran a la hora de trabajar con ellos.
Resulta entonces que:

Definicin: Nmeros complejos como par ordenado de nmeros reales

Todo nmero complejo z = a + bi puede ser representado por un par ordenado de nmeros
reales, que se indica: z = ( a;b )

; + ; ;.) isomorfo con

En particular, por ser

Ejemplos
z1 = 2 + 5i ( 2; 5 )

donde: Re ( z1 ) = 2 y Im ( z1 ) = 5

; + ; ;. , se tiene que:

( 0;1) i

z2 = 2 + 0i ( 2; 0 ) donde: Re ( z2 ) = 2 y Im ( z2 ) = 0
z3 = 0 + 3i ( 0; 3)

donde: Re ( z3 ) = 0 y Im ( z3 ) = 3

En consecuencia, es posible asignarles una representacin geomtrica. Si consideramos un

sistema de coordenadas cartesianas, cada nmero complejo se corresponde con un punto del
plano y viceversa. Esta representacin fue introducida por Argand (1768-1822) y el plano
cartesiano cuando es utilizado para representar nmeros complejos se nombra como Plano
Complejo o Diagrama de Argand.

Kozak- Complejos_2009

10

El eje x se denomina: eje real y en l se ubica la

parte real del nmero complejo.
z = (a ; b)
b

El eje y se denomina: eje imaginario y en l se

ubica la parte imaginaria del nmero complejo.
z = ( a;b ) = ( Re ( z ) ; Im ( z ) )

Por lo tanto, el punto P ( a;b ) es la representacin

grfica de z y se lo denomina: afijo de z.
O

El vector que se muestra en la figura 1, con origen en el origen de coordenadas y extremo en

el punto P, es el vector asociado al afijo del nmero complejo z.

11.1.4.1.Operaciones entre nmeros complejos en forma de par ordenado

Sean z1 = ( a1 ;b1 ) y z2 = ( a2 ;b2 ) dos nmeros complejos y

Se define:
Definicin. Relacin de igualdad:
z1 = z 2 a1 = a 2 b1 = b2
Definicin de operaciones en forma de par ordenado:
Suma: z1+ z2 = ( a;b ) + ( c;d ) = ( a + c;b + d )

Resta: z1 z2 = ( a;b ) ( c;d ) = ( a c;b d )

Producto de un escalar por un nmero real: z = ( a;b ) = ( a; b )
Producto: z1 . z2 = ( a;b ) .( c;d ) = ( ac bd ;ad + bc )
Divisin:
z1
d
c
1

= z1 .z2 1 = ( a;b ) .( c;d ) = ( a;b ) . 2

; 2

2
z2
c + d2
c +d

c
d

donde: 2
; 2
es
2
c + d2
c +d

el inverso multiplicativo o recproco de z2

Kozak- Complejos_2009

11

Ejemplo

Sean z1 = ( 2; 3) y z2 = ( 4; 2 ) , hallar: 2z1 z2 , z1 .z2 y

z1
z2

Solucin:
2 z1 z2 = 2 ( 2; 3) ( 4; 2 ) = ( 4; 6 ) ( 4; 2 ) = ( 8; 8 )

z1 .z2 = ( 2; 3) .( 4; 2 ) = ( 2.( 4 ) 3.2 ; 2.2 + 3.( 4 ) ) = ( 14; 8 )

( 2; 3) = 2; 3 . 4; 2 1 , por definicin de inverso multiplicativo:

z1
=
( )(
)
z2 ( 4; 2 )

( 4; 2 )1 =

2
( 4 ) + 2
2

( 4 ) 2 + 2 2

1
1
i = ;
5 10

Entonces:
z1
1 1
4
1
= ( 2 + 3i ) . ; = ;
z2
5 10 10 5

11.1.4.2. Isomorfismo entre

y los complejos reales
Si consideramos el conjunto de los nmeros complejos reales C = {( a;b )

operaciones usuales en
de

/ b = 0} y las

, es sencillo demostrar que ( C , + ; ;.) es un subespacio vectorial

; +; ;.) , adems, observemos que grficamente el conjunto C

por el origen de coordenadas.

Luego, podemos establecer la funcin:

es una recta que pasa

f : ( C ; +; ;.) ( ; + ; ;.) / f ( a; 0 ) = a , que

afirmamos que es una transformacin lineal biyectiva, pues:

I) f es transformacin lineal:
a) Sean: z = ( a; 0 ) y z' = ( a'; 0 ) elementos de C :
f ( a; 0 ) + ( a'; 0 ) = f ( a + a'; 0 ) = a + a' = f ( a; 0 ) + f ( a'; 0 )
b) Sean: z = ( a; 0 ) C y
f ( a; 0 ) = f ( a; 0 ) = a = f ( a; 0 )
II) f es biyectiva:
Como f es transformacin lineal, es biyectiva si es un isomorfismo:

Claramente: Nu ( f ) = {( 0; 0 )} Im ( f ) =

Por lo tanto, existe un isomorfismo entre el conjunto C y el conjunto de nmeros reales.

Este isomorfismo nos permite establecer una correspondencia entre cada nmero complejo:
z = ( a; 0 ) con el nmero real a, es decir: ( a; 0 ) a
Esto, nos permite considerar a los nmeros reales como un caso particular de los nmeros
complejos.
En ambos conjuntos se conservan las propiedades fundamentales de las operaciones de suma
y multiplicacin.

Kozak- Complejos_2009

12

Aunque existe una diferencia notable entre estos conjunto, ya que en el conjunto de nmeros
reales podemos establecer relaciones de orden que carecen de sentido en el conjunto de
nmeros complejos.

11.1.5. Potencias de la unidad imaginaria

Qu resultados obtenemos al calcular i n con n

0?

i0 = 1
i1 = i
i2 = 1
i3 = i2 . i = (1) . i = i
i 4 = i2 . i 2 = (1) . (1) = 1
i5 = i4 . i = 1 . i = i
i 6 = i5 . i = i . i = i2 = 1
i 7 = i6 . i = (1) . i = i
i8 = i7 . i = (i ) . i = i2 = ( 1) = 1
i9 = i8 . i = 1 . i = i
i 10 = i 9 . i = i . i = i 2 = 1
i 11 = i 10 . i = ( 1 ) . i = i

Observemos que los resultados son: 1 , i , 1 y i , y podemos agruparlos de la siguiente

manera:
0+ 4

4+ 4

8+ 4

i = i = i = i12 =
0

1+ 4

5+ 4

9+ 4

i1 = i 5 = i 9 = i13 =
2+ 4

6+ 4

= i 4k = 1
= i 4 k +1 = 1

10+ 4

= i 4k +2 = 1

i 2 = i 6 = i10 = i14 =
3+ 4

7+4

i =i =i
3

11

11+ 4

= i15 =

= i 4 k +3 = 1

con k N0, en cada uno de los casos.

Notemos que la sucesin de exponentes son progresiones aritmticas, es decir, cada nuevo
exponente se deduce del anterior, sumndole un nmero fijo,

en estos cuatro casos las

progresiones aritmticas se forman sumando : 4.

Kozak- Complejos_2009

13

Por otra parte, cada progresin aritmtica comienza con los nmeros: 0 , 1, 2, y 3 los cuales,
teniendo en cuenta el algoritmo de la divisin entera, son los restos posibles de la divisin
entera cuando el divisor es 4.
Las observaciones realizadas permiten generalizar el resultado de la operacin i n :
Definicin

Sea n
i n = i(

0:

4q+r )

( )

= i 4q . i r = i 4

. ir = ir

donde r = 0,1, 2,3

=1

ejemplos

i124 = i 0 = 1 pues 124 es mltiplo de 4, esto es el resto de la divisin es 0

i125 = i1 = i , pues 125 dividido por 4 tiene resto 1

i126 = i 2 = 1 ya que el resto de la divisin de 126 por 4 es 2

El resto de la divisin de 127 por 4 es 3, por lo tanto: i127 = i 3 = i

ejemplos

i 225 ( 2 + i )
159

i (2 + i)
i

1 + 2i 1 + 2i i
=
= 2 i
i
i i

( 2 + 5i )3 = 23 + 3.22.5i + 3.2.( 5i )2 + ( 5i )3
= 25 i 2

= 8 + 60i + 150 ( 1) + 125 ( i ) = 142 65 i

=125( i )

11.1.6. Conjugado de un nmero complejo

Definicin
Dos nmeros complejos son conjugados si y slo si tienen la misma parte real , y sus partes
imaginarias son opuestas.
En smbolos:
z es el conjugado de z Re ( z ) = Re z Im ( z ) = Im z

()

()

Es decir, si z = a + bi z = a bi
Qu relacin tienen entre las grficas de dos nmeros complejos conjugados?

Kozak- Complejos_2009

14

En la figura, se observa que dos nmeros complejos conjugados son simtricos respecto del
eje real.
Ejemplo

a) El conjugado de z =

1 5
1 5
i es z = + i
2 4
2 4

b) El conjugado de z = 7 ; 3 6

es: z = 7 ; 3 6

c) Si z = ( h + k ) + ( 3 k ) i , cules son los valores para h

y k

tal que el conjugado

de z sea: z = 1 + 2i ?
Solucin:

h + k = 1
De la definicin de conjugado, se tiene que:
3 k = 2
Entonces, de la segunda ecuacin: k = 5 y reemplazando en la primera ecuacin: h = 4
11.6.1. Propiedades de la conjugacin en
Sea z = a + bi , entonces:

1) z = z
<Demostracin>
z = a + bi = a bi = a + bi = z

2) z + z = 2a
<Demostracin>
z + z = ( a + bi ) + ( a + bi ) = a + bi + a bi = 2a
3) z.z = a 2 + b 2
<Demostracin>
z.z = ( a + bi )( a + bi ) = ( a + bi ) .( a bi ) = a 2 + abi abi + b 2 = a 2 + b 2

La conjugacin en , tambin verifica las siguientes propiedades de relativas a la suma y al

producto de nmeros complejos, entonces:
Si z1 = ( a1 + b1i ) y z2 = ( a2 + b2i ) , se tiene que:

Kozak- Complejos_2009

15

4) El conjugado de la suma de dos nmeros complejos es igual a la suma entre los

conjugados de cada uno.
En smbolos: z1 + z2 = z1 + z2
<Demostracin>
Por definicin de suma y conjugacin en se tiene que:
z1 + z2 = ( a1 + b1i ) + ( a2 + b2i ) =
= ( a1 + a2 ) + ( b1 + b2 ) i =
= ( a1 + a2 ) ( b1 + b2 ) i =
= ( a1 b1i ) + ( a2 b2i ) = z1 + z2

5) El conjugado del producto de dos nmeros complejos es igual al producto entre los
conjugados de cada uno.
En smbolos: z1 .z2 = z1 . z2
<Demostracin>
z1 .z2 = ( a1 + b1i ) . ( a2 + b2i ) =
= ( a1b1 a2b2 ) + ( a1b2 + a2b1 ) i =
= ( a1b1 a2b2 ) ( a1b2 + a2b1 ) i =
= ( a1 b1i ) .( a2 b2i ) = z1 . z2

11.1.7. Mdulo de un nmero complejo

Inicialmente, se estableci que la todo nmero complejo z tiene asociado un vector con
origen en el origen de coordenadas y extremo en el afijo del nmero complejo. La longitud de
este vector es el mdulo del nmero complejo.
y
P
b

En la figura: Si P ( a;b ) es el afijo de z = a + bi , la distancia desde el punto O hasta el punto P

se denomina mdulo del nmero complejo z.
El mdulo de un nmero complejo z , se simboliza: z
Si observamos la figura, es evidente, por el Teorema de Pitgoras que:

Kozak- Complejos_2009

16

Definicin

El mdulo de un nmero complejo z = a + bi es: = z = a + bi = a 2 + b 2

De la definicin de mdulo de un nmero complejo se deduce que:
z : z 0 z = 0 z = 0
Ejemplo

a) z1 = 3 + 4i z1 = 32 + 42 = 25 = 5
b) z2 = 3 4i z2 = 32 + ( 4 ) = 25 = 5
2

c) z3 = 7 z3 =

( 7 )2 + 02

=7

d) z4 = 3i 02 + 32 = 3
Ntese que los nmeros complejos de los casos (a) y (b) del ejemplo tienen el mismo
mdulo, en particular, ellos son conjugados. Pero, es el nico caso?
Supongamos que: z = k k > 0 , si pensamos en la interpretacin geomtrica del mdulo
de un nmero complejo, concluiremos que existen infinitos nmeros complejos cuyo mdulo
es k. Estos son todos los que distan k unidades del origen de coordenadas, por lo tanto, son
los puntos de una circunferencia con centro en el origen de coordenadas y radio k. (ver figura)
Figura:
y
z

En la figura: z = k

( k > 0 ) describe una circunferencia de centro O ( 0; 0 )

y radio k

A raz de este hecho, podemos afirmar que el valor del mdulo de un nmero complejo no lo
determina de manera unvoca.

Kozak- Complejos_2009

17

Propiedades del mdulo de un nmero complejo

Sea z = a + bi , entonces:

1) Re ( z ) z

y Im ( z ) z

<Demostracin>
Demostraremos que: Re ( z ) z
2

Sea z = a + bi , entonces: a = a 2 a a 2 + b 2 a z a z (I)

Luego, como a

:a a (II)

De (I) y (II), se tiene que: a z Re ( z ) z

Dejamos como ejercicio para el lector demostrar que: Im ( z ) z
2) z = z
<Demostracin>
La demostracin de la propiedad 2, queda como ejercicio para el lector.
2

3) z . z = z
<Demostracin>
Sea z = a + bi , entonces, por definicin de conjugado, multiplicando y por definicin de
mdulo en , resulta que:

z .z = ( a + bi ) .( a bi ) = a 2 b 2i 2 = a 2 + b 2 = z

A partir de la propiedad 3 y de la definicin de conjugado de un nmero complejo, puede

demostrarse que el inverso multiplicativo de un nmero complejo no nulo es:
z
Si z = a + bi tal que z 0 se tiene que: z 1 = 2 (I)
(comprobarlo)
z
La igualdad (I) es de utilidad para resolver divisin entre nmeros complejos, veamos como:
z
z z
z
z
Sean: z1 y z2 0 entonces: 1 = 1 . 2 = z1 . 2 = z1 . 2 2
z 2 z2 z2
z2 .z2
z2
= z21

Por lo tanto, para dividir dos nmeros complejos, siendo el divisor un nulo, multiplicamos al
dividendo y al divisor por el conjugado de este ltimo.
<Ejemplo>
z1 ( 3 4i )
=
z2 ( 2 2i )

( 3 4i ) ( 2 + 2i )

( 2 2i ) ( 2 + 2i )
Multiplicamos y
=

divi dim os por el

conjugado del
divisor

Kozak- Complejos_2009

por propiedad:
z.z = z 2

( 3 4i ) .( 2 + 2i ) = 7 + 1 i
8

18

El lector puede comprobar que se obtiene el mismo resultado si multiplica al dividendo por el
inverso multiplicativo del divisor segn la frmula demostrada en el apartado 11.3, cuando se
analizaron las propiedades del producto entre nmeros complejos.

El mdulo de un nmero complejo, tambin verifica las siguientes propiedades de relativas a

la suma y al producto de nmeros complejos, entonces:
Si z1 = ( a1 + b1i ) y z2 = ( a2 + b2i ) , se tiene que:
4) El mdulo del producto entre dos nmeros complejos es igual al producto de los mdulos.
En smbolos: z1 .z2 = z1 . z2
<Demostracin>
Para demostrar la propiedad enunciada, es necesario considerar la propiedad 2, a partir de ella
podemos afirmar que: z1 z2 = ( z1 z2 ) .( z1 z2 )
2

Aplicando propiedades del conjugado de un producto y de la multiplicacin en

( )(

z1 z2 = ( z1 z2 ) .( z1 z2 ) = z1 z1 z2 z2 = z1
2

z2 z1 z2 = z1

z2 = ( z1 . z2
2

, resulta:
2

Luego, como las bases son nmeros reales positivos o nulos, resulta que: z1 .z2 = z1 . z2

5) Consecuencia propiedad 4: El mdulo de toda potencia de exponente natural de un

nmero complejo es igual a la potencia del mdulo del nmero complejo.
En smbolos: n

: zn = z

<Demostracin>
La demostracin de la propiedad 5, queda como ejercicio para el lector.

6) El mdulo del cociente entre dos nmeros complejos es igual al cociente de los mdulos.
z
z1
= 1
En smbolos: siendo z2 0 :
z2
z2
<Demostracin>
La demostracin de la propiedad 6, queda como ejercicio para el lector.

7) El mdulo de la suma de dos nmeros complejos es menor o igual a la suma de los

mdulos de cada nmero complejo.
En smbolos: z1 + z2 z1 + z2
<Demostracin>
Para demostrar la propiedad enunciada, es necesario considerar la propiedad 2, a partir de ella

z1 + z2 = ( z1 + z2 ) .( z1 + z2 )
Aplicando propiedades del conjugado y de la multiplicacin en

podemos afirmar que:

Kozak- Complejos_2009

, se obtiene:

19

z1 + z2 = ( z1 + z2 ) .( z1 + z2 ) =
2

= ( z1 + z2 ) . z1 + z2 =

( I)

= z1 z1 + z1 z2 + z2 z1 + z2 z2
2

donde: z1 z1 = z1 , z2 z2 = z2

y los trminos centrales son conjugados: z1 z2 = z1 z2 = z1 z2 y por lo tanto la suma de ellos es

igual al doble de la parte real del nmero complejo: z1 z2 + z2 z1 = 2 Re z1 z2

2

z1 + z2 = z1 + 2 Re z1 z2 + z2

Entonces, en (I):

(II)

Luego, se tiene que: 2 Re z1 z2 2 z1 z2 = 2 z1 z2

Sumando (II) y (III), resulta que:

(III)

z1 + z2 + 2 Re z1 z2 z1 + 2 Re z1 z2 + z2 + 2 z1 z2
De la cual, se tiene que:
2

z1 + z2 z1 + z2 + 2 z1 z2 y como z2 = z2 , se obtiene:

z1 + z2 ( z1 + z2
2

Por lo tanto, como las bases en (IV) son nmeros reales se cumple que: z1 + z2 z1 + z2
11.1. 8. Forma trigonomtrica de un nmero complejo

Sea z = a + bi tal que z 0 .

Al representar un nmero complejo z como un par ordenado de nmeros reales, el punto del
plano que obtenemos tiene asociado un vector segn se observa en la figura 5, y ste queda
definido de manera nica por dos valores: su mdulo: z = y la medida del ngulo
formado entre el semieje positivo de abscisas y el vector, que se denomina argumento de z.
Figura
y
z = a + bi

De la figura, se deduce que:

a = cos

b = sen (I)

Y que:

= a 2 + b2

= arctg

Kozak- Complejos_2009

b
a

( a 0)

(II)

20

Por lo tanto, de (I):

z = a + bi = ( cos ) + ( sen ) i = ( cos + i sen )

Definicin

La forma trigonomtrica de un nmero complejo es: z = ( cos + i sen )

donde: es el mdulo de z y es el argumento de z

Luego, de (I) se tiene que un nmero complejo z queda unvocamente determinado si se

conoce su mdulo y su argumento .
Sin embargo, de (II) se observa que z determina de manera nica a su mdulo pero no a
su argumento, ya que ' = + 2k con k

tambin verifican las relaciones dadas en

(I) o en (II). Por esto se define:

Argumento principal de un nmero complejo

Sea z = a + bi tal que z 0 .

Se denomina argumento principal de z, al ngulo que satisface las siguientes
condiciones:
1) a = cos

b = sen

2) 0 < 2

Ejemplo
1
3
Hallar la forma trigonomtrica de: z1 = 2 2i y z2 =
i
2 2

Solucin:
-Si z1 = 2 2i entonces: z1 = 8 = 2 2 y = arctg

2
7
= , entonces:
2
4

7
7

z1 = 2 2 cos + i sen
4
4

4
1
3
-Si z2 =
i entonces: z2 = 1 y = arctg 3 = , por lo tanto:
3
2 2
4
4

z2 = cos + i sen
3
3

Kozak- Complejos_2009

21

11.1.8.1. Igualdad en forma trigonomtrica

Definicin
Sean: z1 = 1 ( cos 1 + i sen 1 ) y z2 = 2 ( cos 2 + i sen 2 )

Los nmeros complejos: z1 y z2 son iguales si y slo si tienen el mismo mdulo y sus
argumentos son difieren en un nmero entero de giros.
En smbolos:

z1 = z2 1 = 2

1 = 2 + 2k

(k )

11.1.8.2.Operaciones en forma trigonomtrica

Mediante la forma trigonomtrica de un nmero complejo, puede definirse las operaciones de

multiplicacin, potenciacin y divisin en . Nos dedicaremos a analizar cada una de ellas:
Definicin
Multiplicacin en forma trigonomtrica
Sean: z1 = 1 ( cos 1 + i sen 1 ) y z2 = 2 ( cos 2 + i sen 2 )
Entonces: El producto de dos nmeros complejos tiene por mdulo el producto de los
mdulos y por argumento la suma de los argumentos
z1 z2 = 12 cos ( 1 + 2 ) + i sen ( 1 + 2 )

<Demostracin>
Sean: z1 = 1 ( cos 1 + i sen 1 ) y z2 = 2 ( cos 2 + i sen 2 )
Entonces, resolviendo las operaciones y aplicando la definicin de coseno y seno de la suma
de dos ngulo, se tiene que:
z1 z2 = 1 ( cos 1 + i sen 1 ) . 2 ( cos 2 + i sen 2 ) =
= 1 .2 .( cos 1 + i sen 1 ) .( cos 2 + i sen 2 ) =

= 1 .2 ( cos 1cos 2 sen 1 sen 2 ) + i ( cos 1sen 2 + sen 1 cos 2 ) =

= 1 .2 cos ( 1 + 2 ) + i sen ( 1 + 2 )

Definicin
Divisin en forma trigonomtrica
Sean: z1 = 1 ( cos 1 + i sen 1 ) y z2 = 2 ( cos 2 + i sen 2 ) siendo z2 0

Entonces: El cociente de dos nmeros complejos tiene por mdulo el cociente de los mdulos
y por argumento la resta de los argumentos.
z1 1
=
cos ( 1 2 ) + i sen ( 1 2 )
z2 2

Kozak- Complejos_2009

22

<Demostracin>
Sean: z1 = 1 ( cos 1 + i sen 1 ) y z2 = 2 ( cos 2 + i sen 2 )
Entonces, resolviendo las operaciones, aplicando la relacin pitagrica y la definicin de
coseno y seno de la diferencia, se tiene que:
z1 1 ( cos 1 + i sen 1 ) 1 ( cos 1 + i sen 1 ) ( cos 2 i sen 2 )
=
=
=

z2 2 ( cos 2 + i sen 2 ) 2 ( cos 2 + i sen 2 ) ( cos 2 i sen 2 )

=

1 ( cos 1 + i sen 1 ) .( cos 2 i sen 2 )

=
2
cos 2 2 + sen 2 2

1
( cos 1cos 2 + sen 1 sen 2 ) + i ( sen 1 cos 2 cos 1sen 2 ) =
2

1
cos ( 1 2 ) + i sen ( 1 2 )
2

<Ejemplo>
7
7
1
4
4

Sean z1 = 2 2 cos + i sen y z2 = cos + i sen

4
4
2
3
3

z
Hallar: z1 .z2 y 1
z2
Solucin:
7
7 1
4
4

z1 .z2 = 2 2 cos + i sen . cos + i sen =

4
4 2
3
3

4
4
7
7
= 2 cos + + i sen + =
3
3
4
4
13
13

= 2 cos + i sen
12
12

7
7

2 2 cos + i sen
z1
4
4

=
=
1
4
4
z2

cos + i sen
2
3
3

4
4
7
7
= 4 2 cos + i sen =
3
3
4
4
5
5

= 4 2 cos + i sen
12
12

Kozak- Complejos_2009

23

Definicin
Potenciacin de exponente natural
Sea: z = ( cos + i sen ) y n

Entonces: La potencia n-sima de z tiene por mdulo la potencia n-sima del mdulo de z y
su argumento es n veces el argumento de z.
z n = n cos ( n ) + i sen ( n )

(I)

La frmula z n = n cos ( n ) + i sen ( n ) se conoce con el nombre de Frmula de De Moivre

La demostracin formal de la Frmula de De Moivre, implica la utilizacin de un mtodo de
demostracin que se denomina: por induccin completa, el cual escapa a los contenidos del
libro.
Sin embargo, basndonos en la definicin de multiplicacin de nmeros complejos en forma
trigonomtrica, podemos inducir la validez de esta frmula.
Para ello, consideremos: z = ( cos + i sen ) y calculemos distintas potencias de exponente
natural de z:
z1 = 1 cos (1. ) + i sen (1. ) = z
z 2 = z.z = cos ( + ) + i sen ( + ) = 2 cos ( 2. ) + i sen ( 2. )
z 3 = z 2 .z = 2 cos ( 2 + ) + i sen ( 2 + ) = 3 cos ( 3 ) + i sen ( 3 )
z 3 = z 3 .z = 3 cos ( 3 + ) + i sen ( 3 + ) = 4 cos ( 4 ) + i sen ( 4 )

Por lo tanto: z n = n cos ( n ) + i sen ( n ) con n

<Ejemplo>
5 5 3
Calcular, aplicando la frmula de De Moivre: z 20 siendo z =
i
2
2
Solucin:
Para aplicar la frmula de De Moivre, es necesario conocer la forma trigonomtrica de z,
entonces, calculamos su mdulo y su argumento:
2

2
4
5 5 3
z = +
= 5 y = arctg 3 =
3
2 2
4
4

Por lo tanto: z = 5 cos + i sen

3
3

Kozak- Complejos_2009

24

Entonces:

4
4
= 5 cos + i sen
3
3

20

4
2
2
4

= 520 cos 20 + i sen 20 = 520 cos + i sen

3
3
3

3
2
Si calculamos el coseno y el seno del ngulo , podemos hallar la forma binmica de
3
1
3
z 20 , esto es: z 20 = 520 +
i
2
2

20

<Ejemplo>

Siendo z = 2 cos + i sen , cul es el resultado de: z 2 , z 3 , z12 y z 31 ?

3
3

Solucin:
2
1
3

z 2 = 2 cos 2 + i sen2 = 2 + i
= 1 + 3 i
3
3
2
2

z 3 = 2 cos 3 + i sen3 = 2 2 ( 1 + i.0 ) = 2 2

3
3

12

z12 = 2 cos12 + i sen12 = 26 ( cos 4 + i sen4 ) = 64

3
3

31
1
3

z 31 = 2 cos 31 + i sen 31 = 32768 2 +

i
3
3
2
2

( )

( )

( )

( )

11.1.9. Radicacin en

Cules son las soluciones de la ecuacin: z 4 + 1 = 0 en ?, y en ?

Si: z 4 + 1 = 0 entonces z = 4 1
Claramente, la ecuacin no tiene solucin en
, sin embargo en
presenta cuatro
2
2
2
2
2
2
soluciones, ellas son:
y
w0 =
+
i,
w1 =
+
i,
w2 =

i
2
2
2
2
2
2
2
2
w3 =

i
2
2
Cmo hallar estas soluciones es el tema que trataremos en este apartado, es decir
analizaremos como determinar las races n-simas de un nmero complejo.
<Definicin>
El nmero complejo w es raz n-sima del nmero complejo z si y slo si: z n = w
En smbolos: n z = w wn = z

Kozak- Complejos_2009

25

<Teorema>
Sea z = ( cos + i sen ) tal que: z 0

Todo nmero complejo z no nulo admite n races n-simas w dadas por la frmula:
+ 2k
+ 2k
wk = n cos
+ i sen

n
n

donde:
y son el mdulo y el argumento principal de z respectivamente, n es el ndice del radical
y el parmetro k adopta los valores naturales: k = 0,1, 2, ,n 1
<Demostracin>
Sea z = ( cos + i sen ) tal que: z 0 y w = R ( cos + i sen )

Debemos demostrar que: R = n y =

+ 2k
n

Sabemos que: n z = w wn = z (I)

De (I), se tiene que:
wn = R ( cos + i sen ) = R n cos ( n) + i sen ( n)
z = wn ( cos + i sen ) = R n cos ( n) + i sen ( n) (II)
n

Por igualdad de nmeros complejos en forma trigonomtrica, en (II) surge que:

R = n
= R n

+ 2k
(k )
n = + 2k ( k ) =
n

Por lo tanto:
+ 2k
+ 2k
n
z = w n z = wk = n cos
(III)
+ i sen

n
n

donde todas las races n-simas de z tienen el mismo mdulo y difieren en el argumento que
+ 2k
2
= +k
es:
(k )
n
n
n
Nos resta ver que alcanza con que el parmetro k adopte los valores naturales:
k = 0 ,1, 2, ,n 1 para generar las n races n-simas de z
Para ello, observemos el siguiente cuadro:
Races wk

Argumento de wk

w0

w1
w2

Kozak- Complejos_2009

2
+
n
n

2
+ 2
n
n

26

w3

2
+ 3
n
n

wn1

2
+ ( n 1)
n
n

2
+ n
= + 2
n
n
n

wn

Observemos que cuando k = n , los argumentos de wn y w0 son ngulos coterminales, en

consecuencia, wn y w0 definen la misma raz n-sima.
En general: wh+ n = wh y por lo tanto slo existen n races n-simas distintas.
<Fin de demostracin>

Las races n-simas de un nmero complejo admiten interpretacin grfica:

a) De la frmula (III) se tiene que las n races son de igual mdulo: wk = n . Por esto
podemos afirmar que las n races estn a la misma distancia del origen de coordenadas, por lo
tanto son puntos de una circunferencia de radio: n .
b) De la tabla anterior observamos que entre dos races consecutivas la diferencia angular es
2
2
. Ntese que
puede interpretarse como un giro dividido en n
constante e igual a
n
n
partes.
De (a) y (b) se concluye que, las n races n-simas de un nmero complejo son los vrtices
de un polgono regular inscripto en un circunferencia de radio n
<Ejemplo>
Inicialmente preguntamos cules son las soluciones de la ecuacin: z 4 + 1 = 0 en
Y afirmamos que ellas son los nmeros complejos:
2
2
2
2
2
2
2
2
w0 =
+
i , w1 =
+
i , w2 =

i y w3 =

i Si: z 4 + 1 = 0
2
2
2
2
2
2
2
2
Comprobemos, est afirmacin, aplicando la frmula:
+ 2k
+ 2k
n
z = w n z = wk = n cos
+ i sen
(I)
n
n

Entonces:
Si z 4 + 1 = 0 entonces z = 4 1
Llamando z' = 1 tenemos que: = 1 y = , adems: n = 4 y k = 0 ,1, 2,3

Reemplazando en (I), tendremos:

Kozak- Complejos_2009

27

 + 2.0.

2
2
+ 2.0.
+
i
w0 = 4 1 cos
+ i sen
= cos + i sen =
2
4
4
4
4
2

+ 2.1.
3
3
2
2
+ 2.1.
+
i
w1 = 4 1 cos
=
+ i sen
= cos + i sen
2
4
4
4
4
2

+ 2.2.
5
5
2
2
+ 2.2.

i
w2 = 4 1 cos
=
+ i sen
= cos + i sen
2
4
4
4
4
2

+ 2.3.
7
7
2
2
+ 2.3.

i
w3 = 4 1 cos
+ i sen
=
+ i sen
= cos
2
4
4
4
4
2

Ntese que las cuatro races tienen igual mdulo, y que entre dos races consecutivas la
diferencia angular es de 90, en consecuencia, grficamente, estas cuatro races son los
vrtices de un cuadrado inscripto en una circunferencia de radio uno.

w1

w0

w2

w3

<Ejemplo>
Hallar los races cbicas de z = i

Solucin:
Para determinar las races n-simas de un nmero complejo, es necesario hallar el mdulo y el
argumento de dicho nmero, en este caso: = 02 + 12 = 1

Luego:

Kozak- Complejos_2009

28

i = wk

+ 2k
+ 2k
donde: wk = 3 cos
+ i sen
siendo: y el mdulo y el
3
3

argumento de z = i respectivamente, y donde k toma los valores: 0, 1 y 2, generndose de

esta manera las tres soluciones buscadas.

Entonces:

+ 2.0.
2 + 2.0.
3 1

sen
+ i
+
w1 = 3 1 cos 2
i

= cos + i sen =
3
3
6
6
2 2

+ 2.1.
2 + 2.1.
5
5
3 1
+ i
=
w2 = 3 1 cos 2
+ i sen
= cos + i sen
3
3
6
6
2 2

2 + 2.2.
2 + 2.2.
3
3
= i
w3 = 1 cos
+ i sen
= cos + i sen
3
3
2
2

En este caso, grficamente, las tres races halladas son los vrtices de un tringulo equiltero
inscripto en una circunferencia de radio 1, tal como se muestra en la figura 7

w0

w1

w2

Kozak- Complejos_2009

29

11.1.10. Forma exponencial de un nmero complejo

Definicin
Frmula de Euler
Para todo , se verifica que:
ei = cos + i sen

La demostracin de la misma escapa a los fines de este texto, ya que su validez se comprueba
mediante el desarrollo en serie de las funciones trigonomtricas: seno y coseno de x y de
la funcin exponencial e x .
Sin embargo, es mediante la frmula de Euler que surge la notacin de los nmeros complejos
denominada forma exponencial.
Considerando:
La forma trigonomtrica de un nmero complejo z = ( cos + i sen ) y la frmula de Euler:
ei = cos + i sen , se deduce que: z = ei
Definicin
La forma exponencial de un nmero complejo es: z = ei donde: y son el mdulo y el
argumento de z respectivamente.

<Ejemplo>
4
4

Cul es la forma exponencial del nmero complejo: z = 5 cos

+ i sen
?
3
3

Solucin:
4 i
4
4

+ i sen = 5 e 3
z = 5 cos
3
3

4 i
= e 3 por formula de Euler

<Ejemplo>
Demostrar que: e i + 1 = 0
Solucin:
Por frmula de Euler:
e i + 1 = ( cos + i sen ) + 1 = ( 1 + 0 i ) + 1 = 0
<Ejemplo>
i

Cul es la forma binmica del nmero complejo: z = 3 e 6 ?

Solucin:
i
3 1 3 3 3

=
+ i =
+ i
z = 3e6
3 cos + i sen = 3

2
6
6
2
2
2

por formula
resolviendo
de Euler

Kozak- Complejos_2009

30

La frmula de Euler, verifica propiedades bsicas de la potenciacin como ser:

a)
e0 = e0 i = cos 0 + i sen 0 = 1+ 0 i = 1
b)
e1 i .e2 i = ( cos 1 + i sen 1 )( cos 2 + i sen 2 ) =
= ( cos 1cos 2 sen 1sen 2 ) + i ( cos 1sen 2 + sen 1cos 2 ) =
= cos ( 1 + 2 ) + i sen ( 1 + 2 ) =
+ i
= e( 1 2 )

c)
i
e i e i = 1 e( ) = 1 e0 i = 1 en consecuencia: e i es el recproco de e i
por ( b )

por ( a )

Tomando como base estas propiedades, y los resultados expuestos en el apartado 11.7.2:
Operaciones en forma trigonomtrica, se tiene como resolver operaciones de multiplicacin,
potenciacin y divisin entre nmeros complejos expresados en forma exponencial:
Sean z = e i , z1 = 1e1 i y z2 = 2 e2 i , entonces:
Multiplicacin:

Divisin:

z1 .z2 = 1e1 i . 2e2 i = 12 e(

z1 1e1 i

i
=
= 1 e( 1 2 )
2 i
z2 2 e
2

Potenciacin: n

: z n = e i

1 + 2 ) i

(siendo z2 0 )

= n e n i

11.1.11. Logaritmo natural en

Consideremos el nmero complejo w 0 , demostraremos que existen infinitos nmeros

complejos z tales que satisfacen la ecuacin: e z = w (I)
Para ello supongamos: z = a + bi y w = e i
Reemplazando en (I) y por igualdad de nmeros complejos, resulta que:
= e a a = ln
a +bi
a bi
i
i
= e e e = e
e
b = + 2k ( k )
Por lo tanto, la ecuacin (I) se cumple si z toma uno de los valores:
z = ln + i ( + 2k ) con k

Kozak- Complejos_2009

31

Luego, la ecuacin (I) es equivalente a escribir: ln w = z

Entonces: ln w = ln + i ( + 2k ) con k
(II)
A partir de (II), queda expuesta la definicin de la funcin logaritmo natural, multivaluada, en
variable compleja.
<Definicin>
La funcin logaritmo natural se define para los nmeros complejos z = e i
ln z = ln + i ( + 2k )

con k

( z 0)

como:

(III)

donde: y son el mdulo y el argumento de z respectivamente.

En particular, se denomina valor principal del logaritmo natural de z al valor que se obtiene
en (III) cuando k = 0 , que se indica:

Ln z = ln + i

<Ejemplos>
a) Calcular: ln 1
Solucin: tenemos que: z = 1 = 1 = 0 , aplicando (III) resulta que:
ln1 = ln1 + i ( 0 + 2k ) ln1 = 2k i
(k )

Observemos que el valor principal del ln1 es: Ln 1 = 0 que coincide con el resultado en el
conjunto de nmeros reales de la operacin.
Siempre que z = h h + el valor principal del logaritmo natural de z coincidir con el

resultado en el campo real.

b) Calcular: ln ( 1)

Solucin: tenemos que: z = 1 = 1 = , aplicando (III) resulta que:

ln ( 1) = ln1 + i ( + 2k ) ln ( 1) = (1 + 2k ) i
(k )
Y el valor principal es: Ln ( 1 ) = i
c) Hallar el logaritmo de z y su valor principal si z = 1 i

Solucin: Se tiene que: z = 1 i entonces: = 2

5

Entonces: ln ( 1 i ) = ln 2 + i + 2k
4

5
.
4

Luego, el valor principal es: Ln ( 1 i ) = ln 2 +

Kozak- Complejos_2009

5
i
4

(k = 0)

32

Si observamos los ejemplos, notaremos que los resultados del logaritmo natural de un nmero
complejo, tienen la misma parte real: Re ( ln z ) = ln , por lo tanto grficamente son puntos
de una recta vertical de ecuacin: x = ln
Por otra parte, asignando valores al parmetro k, la distancia entre dos valores del logaritmo
natural de z consecutivos es constante e igual a 2
En la figura, se muestra este hecho para los resultados del caso (c) del ejemplo previo.
Figura

y
21
4
13
4
5
4

Valor principal

ln 2

La funcin logaritmo natural que definimos nos permite resolver potencias donde tanto la
base como el exponente son nmeros complejos.
Sea w = z1z2 ( z1 0 )
Considerando logaritmo natural miembro a miembro, resulta que: ln w = z2 ln z1
Por lo tanto: w = e z2 ln z1
La expresin: w = e z2 ln z1 se denomina exponencial compleja general y su valor principal es
el que se obtiene si se considera el valor principal del ln z1

Kozak- Complejos_2009

33

<Ejemplo>
Calcular: w = i i y hallar su valor principal
Solucin:
Se tiene que: w = i i ln w = i ln i w = ei ln i

Calculamos: ln i = ln1 + i + 2k = i + 2k
2
2

Entonces:

w=e

i ln i

i ln + 2 k i
2

i 2 ln + 2 k
2

(k )

ln + 2 k
2

Si en (*) consideramos k = 0 , el valor principal de w = i es:

i

Kozak- Complejos_2009

(k )
w=e

ln

(*)

34