You are on page 1of 47

UNIVERSIDAD NACIONAL AUTNOMA DE MXICO

FACULTAD DE QU MI CA
Departamento de Matemticas



El Campo C
de los Nmeros Complejos


















Coautores:
Csar Alejandro Rincn Orta
Coordinador

(Por orden alfabtico)
Alberto Rosas Prez
Arturo Zentella Dehesa
Carlos Bruno Velarde Velzquez
Eugenio Len Fautsch Tapia
Guadalupe Josefina Toledo Macas
Susana Yalu Leticia Rubn Rivero























Publicacin autorizada por el Comit Editorial de la Facultad de Qumica

DEPARTAMENTO DE MATEMTICAS
FACULTAD DE QUMICA
UNAM
2004
Cd. Universitaria, D.F.

Telfono ((55) 56 22 35 34 Fax ((55) 56 22 37 66






Tabla de contenido

Presentacin............................................................................................................1
El campo

de los nmeros complejos.................................................................3


La inmersin de

en

........................................................................................10
La Conjugacin........................................................................................................11
La Norma.................................................................................................................13
La Ecuacin General de Segundo Grado................................................................15
Sistemas de Ecuaciones.........................................................................................20
Representacin Geomtrica de los Nmeros Complejos ......................................23
Races n-simas de un Nmero Complejo...............................................................30
El Argumento de un Nmero Complejo...................................................................33
La Funcin Exponencial Compleja..........................................................................34
Representacin Geomtrica de Algunas Rectas bajo la Transformacin E ........37
La Funcin Logaritmo..............................................................................................39
Las Funciones Trigonomtricas..............................................................................42








NUMEROS COMPLEJOS
1

Presentacin

De acuerdo con el Programa Editorial de nuestra facultad, un grupo de profesores del
Departamento de Matemticas nos reunimos para elaborar estas notas con las que tratamos de
contribuir a remediar las carencias que en el rengln de material didctico padece la Facultad de
Qumica de la UNAM.

Nuestra intencin nunca fue la de escribir un libro de anlisis complejo. Simplemente
quisimos ayudar a fijar un marco de referencia que establezca la extensin y profundidad con que
se pretende cubrir uno de los temas centrales de nuestro programa de lgebra, y con este
propsito solamente tratamos los temas bsicos indispensables para el estudio de la teora de los
polinomios y de las ecuaciones con una breve ampliacin a las funciones trascendentes complejas.

Cuando se estudian curvas algebraicas, resulta conveniente considerarlas inmersas en un
campo en el que la interseccin de cualesquiera dos de ellas de grados n y m respectivamente,
conste precisamente de n m puntos y esto requiere que en este campo, todo polinomio tenga en l
un juego completo de races.

Los campos que tienen la propiedad de tener a todas las races de sus polinomios, se
llaman algebraicamente cerrados y el teorema fundamental del lgebra garantiza que C tiene
esta caracterstica. Esto lo convierte en un hbitat natural para el estudio de la geometra
algebraica y por supuesto de la antes mencionada teora de las ecuaciones. El electromagnetismo
y el reciente estudio de los conjuntos de Mandelbrot y la clasificacin de los fractales complejos,
muestran otras aplicaciones de nuestro campo cuya estructura bsica presentamos en estas notas
sin otra pretensin que la ya expuesta.




NUMEROS COMPLEJOS
2



NUMEROS COMPLEJOS
3
Captulo
1








El Campo C de los Nmeros
Complejos

Una caracterstica importante del conjunt o de los nmeros reales es que tiene una clase
positiva
+
, que define al orden cannico en que por ser compatible con las operaciones tiene,
entre otras, la propiedad de que para toda a diferente de cero,
2
a es un positivo y por lo tanto la
ecuacin 0 1 x
2
+ no puede tener solucin en . Como en otros casos construcciones de
y se pens en extender a un campo ms grande, en el que la mencionada ecuacin
pudiera resolverse.
Era necesario construir un campo en el que existiera un nmero imaginario i que
satisficiera la ecuacin 0 1 x
2
+ , que fuera una extensin de y, por supuesto, que resultara el
ms econmico en el sentido de la contencin con esas propiedades.
En la poca en que surgi este problema no se conoca el teorema que asegura que para
todo campo K y todo polinomio f(x) no constante, con coeficientes en K , existe una extensin



NUMEROS COMPLEJOS
4
de K en la que el polinomio tiene al menos una raz, teorema que valida la construccin, que
resulta ms natural y que la hubiera librado de las objeciones injustificadas que en su
momento se hicieron y que se referan al invento de los nmeros imaginarios.
Es pertinente observar que en el campo cuya construccin se deseaba, no puede haber
una relacin de orden compatible con las operaciones, que es la nica que interesa al lgebra
ya que en ese caso, como en el de los reales, los cuadrados tendran que ser no negativos. Por
esta razn, algunos autores que enfatizan la propiedad, dicen que es el desordenado campo
de los nmeros complejos, a pesar de que como una consecuencia del axioma de seleccin resulta
que en todo conjunto se puede definir un buen orden. Lo que no puede asegurarse es que ese
orden resulte compatible con las operaciones.
Puestos a estudiar ese hipottico campo en el que figura esa misteriosa i , se vio que
tenan que estar tambin todas sus potencias
2 3
( , ,...) i i , productos de stas por nmeros reales y
sumas de tales productos, es decir que deban estar consideradas todas las expresiones de la
forma
2
0 1 2
... 0,1,...,
n
n j
a a i a i a i a j n + + + + (*)
adems de sus inversos multiplicativos. Se not que como:
( )
( ) ( )
2
3 2
4 2 2
1
1 1 1
i
i i i i i i
i i i




si nes un nmero natural tal que, 4 0 4 < + r r q n ,
( )
r r r
q
n
i i i i i 1
4

O sea,
n
i es 1 , , 1 i i observacin que permite simplificar las expresiones (*) que
pueden reducirse a binomios de la forma , , a bi a b + .
Ejemplos

1. ( ) ( ) i i i i i i i i i 7 9 7 1 2 1 7 2 3 7 2 7 2 3
5 4 3 2
+ + + + + + +
2. 0 1 1 1
204 37 3
+ + + i i i i i

Ejercicios

Exprese en la forma bi a + :



NUMEROS COMPLEJOS
5
1.
20 7 3
16 3 7 8 2 i i i i + +
2. ( )
5
3
2i
3.
( )
7 3 2
2
2 2 3 1
7 2
i i i i
i
+ + +



Tomando en cuenta lo anterior, procedieron a estudiar al subconjunto formado por los
elementos del nuevo campo que pueden expresarse como binomios. Es decir:
{ }
2
; , , 1 a bi C a b i +

Como siempre que se define un conjunto nombrando a sus elementos, es conveniente
aportar un criterio que permita decidir cuando dos nombres corresponden al mismo individuo.
Hacemos notar que, puesto que se trata de un campo, ( ) ( )i d b c a di c bi a + + y que
por lo tanto ( ) ( )
2 2
b d c a que es una igualdad en que implica que cada cuadrado debe
ser necesariamente 0 y por lo tanto c a y d b . Es decir que en cada elemento tiene
una representacin nica. As por ejemplo si supiramos que vi u i + , sabramos que 0 u y
1 v .
Como es subconjunto de un campo, ( ) ( ) ( ) ( ) a bi c di a c b d i + + + + + + , de donde
resulta que la adicin en de elementos de , produce un elemento de ( es cerrado
bajo la adicin de ) y por lo tanto la restriccin de sta a es una operacin binaria en
que, por herencia, resulta asociativa y conmutativa. 0 0 0i + est en y para cada
( ) ( ) a bi a b i + + , el inverso aditivo de bi a + , tambin es un elemento de , luego
{ } + , es un grupo abeliano.
Ejemplos

1. ( ) ( ) ( ) ( ) 3 4 6 5 3 6 4 5 9 9 i i i i + + + + + + +
2. ( ) ( ) i i i 31 16 17 10 14 6 +




NUMEROS COMPLEJOS
6
Ejercicios
Exprese el resultado de las operaciones siguientes en la forma bi a + .
1. ( ) ( ) i i 2 8 7 5 + + +
2. ( ) ( ) i i 2 8 7 5 + +
3. ( ) ( ) i i 14 3 2 11 + +
4. ( ) ( ) i i 13 2 19
5. ( ) ( ) i i 4 6 2 15 + +
6. ( ) ( ) i i 3 7 2 6 3 2 +
7. ( ) ( ) i i 12 2 19 +
8. ( ) ( ) [ ] ( ) i i i 11 4 5 6 6 2 + +
9. ( ) ( ) ( ) [ ] i i i 2 7 6 18 4 6 +
10.
( ) ( ) ( )
1 3 7 2 3 7 3 i i i + + +

El producto en de dos elementos de , est en . En efecto,
( ) ( ) ( ) ( ) a bi c di ac bd ad bc i + + + + , y por lo tanto, tiene tambin una multiplicacin que
por ser la restriccin de la de un campo, es asociativa, conmutativa, tiene idntico (1 1 0i + ) y se
distribuye sobre la suma por ambos lados.
Ejemplos

1. ( ) ( ) ( ) ( ) 6 3 2 4 12 12 6 24 30 i i i i + + + +
2.
( ) ( )
( )
( )
2 3 5 6 3 10 18 5 3 12 3 28 7 3 i i i i + + +

Finalmente, si + bi a y es i bi a 0 0+ + , ( 0 a 0 b y por lo tanto
0
2 2
> +b a ),
( )
1
2 2 2 2
a bi
a bi
a b a b

+ +
+ +




NUMEROS COMPLEJOS
7

como puede comprobarse efectuando el producto( )
2 2 2 2
a bi
a bi
a b a b
_
+ +

+ +
,
por lo que resulta
que es un campo.

Para ver cmo se obtiene el inverso multiplicativo de bi a + , consideremos un nmero
yi x + tal que multiplicado por bi a + nos d i 0 1+ , es decir:
( )( ) i bi a yi x 0 1+ + +
efectuando la multiplicacin:
( ) ( ) i i bx ay by ax 0 1+ + +


de donde:
0
1
+

ay bx
by ax

Como 0 +bi a , 0 a 0 b y por lo tanto 0
2 2
> + b a , por lo que, aplicando la
regla de Cramer se obtiene
2 2
2 2
0
1
0
1
b a
b
a b
b a
b
a
y
b a
a
a b
b a
a
b
x
+


es decir
( )
1
2 2 2 2
a bi
a bi
a b a b

+
+ +

Consideremos el ejemplo siguiente:

Se desea encontrar ( )
1
4 3

+ i , que de acuerdo con lo anterior resulta 25 / 4 25 / 3 i , y
comprobamos:



NUMEROS COMPLEJOS
8
( )( ) ( ) ( ) 1 25 / 12 25 / 12 25 / 16 25 / 9 25 / 4 25 / 3 4 3 + + + i i i

Definamos el conjugado de un nmero complejo bi a z + como bi a z .
As, si i z 4 3+ , su conjugado i z 4 3 , y entonces, recordando que la expresin / a b
representa al producto de a por el inverso de b, (
1
/

ab b a ), encontramos que para efectuar la
divisin de z entre w, basta multiplicar el cociente w z / por w w / , con lo que se obtiene el
resultado deseado.
Ejemplo
Dividir ( ) i 2 entre ( ) i + 1
i
i
i
i
i
i
i
i
2
3
2
1
2
3 1
1
1
1
2
1
2



En efecto, ( )( ) ( ) ( ) ( ) i i i i + + + 2 2 / 3 2 / 1 2 / 3 2 / 1 2 / 3 2 / 1 1

Ejemplos

1.
i
i
3 4
7 6

+
multiplicamos por
i
i
3 4
3 4
+
+

( )( )
( )( )
( ) ( )
( ) i
i i
i i
i i
w
w
w
z
46 3
25
1
25
46 3
9 16
18 28 21 24
3 4 3 4
3 4 7 6
+
+

+
+ +

+
+ +

2.
7 5
5 7
i
i
w
z
+
+

( )( )
( )( )
( ) ( )
( ) i
i i
i i
i i
w
w
w
z

+
+ +

+
+
35
6
1
12
2 35 2
7 5
7 5 35 35
7 5 7 5
7 5 5 7

Ejercicios
Exprese en la forma bi a + el resultado de las siguientes operaciones:

1. ( ) ( ) 9 8 7 6 i i +
2. ( ) ( ) 6 3 2 5 i i + +
3. ( )( ) i i 5 2 3 6 +



NUMEROS COMPLEJOS
9
4. ( )( ) i i 5 2 3 6
5. ( )( ) i i 5 2 3 6 +
6. ( )( ) i i 2 7 3 5
7. ( )( ) i i 5 7 2 2 5 6 2 7
8. ( ) ( )( ) [ ] i i i 9 2 8 7 2 3 + +
9. ( )
2
3 5 i +
10. ( )
3
2 3 i
11. ( ) ( ) i i 4 9 3 8 +
12. ( ) ( ) i i 2 3 11 2
13. ( ) i i 7 6 5
14. ( ) ( ) i i 7 3 3 2 7 3 +
15. ( ) ( ) i i 3 7 5 2 3 21 5 8 +
16. ( ) ( ) i i 10 3 6 2 10 6 6 +
17. ( )( ) ( ) i i i 5 4 4 3 3 2 + +
18. ( ) ( ) i i 2 9 6 5
2
+
19. ( ) ( )
2
2 3 8 5 i i + +
20.
( )( ) i i
i
2 5 6 5
7 8
+
+

21.
( )( )
8 9
3 4 3 10

+
i
i i

22.
( )( )
( )( ) i i
i i
5 4 4 3
3 2 2 1
+ +
+ +

23.
( )( )
( )( ) i i
i i
+
+
6 3 5
4 7 5 3





NUMEROS COMPLEJOS
10

La inmersin de

en



Cada nmero real i a a 0 + est en , as como i i 1 0+ . Obviamente, es el menor
campo en el sentido de la contencin con esas dos propiedades. Luego es el campo que
se deseaba construir.
Con objeto de contestar las objeciones que se hicieron a la construccin anterior la
existencia de nmeros imaginarios Gauss, tomando como base los resultados anteriores,
propuso el siguiente modelo:
Sea ( ) { }
, | , C a b a b
Definiciones
1. ( ) ( ) d b c a d c b a , , , (representacin nica)
2. ( ) ( ) ( ) d b c a d c b a + + , , , (la suma dentro del ltimo parntesis es la de
3. ( ) ( ) ( ) bc ad bd ac d c b a + , , ,
y con esto se pudo demostrar que { } e , , , , C es un campo, en el cual
( ) 0 , 0 , ( ) ( ) b , a b , a , ( ) 0 , 1 e
y si
( ) b a z , es z ,
entonces

,
_

2 2 2 2
1
b a
b
,
b a
a
z ( 0
2 2
+ b a z ).

En este modelo se acostumbra llamar a la primera componente de cada pareja la parte real
y a la segunda, la imaginaria Ntese que ambas partes son nmeros reales as si ( ) b a z ,
es un complejo, Rez a , Im z b y esta costumbre queda justificada con la inmersin
: f definida como ( ) ( ,0) f a a .
(Recuerde que una inmersin de una estructura en otra es una funcin inyectiva que
respeta las relaciones de ambas. Explcitamente, f debe ser inyectiva y , a b ,



NUMEROS COMPLEJOS
11
( ) ( ) ( )
( ) ( ) ( )
f a b f a f b
f ab f a f b
+



en donde por supuesto las operaciones de la izquierda de las igualdades son operaciones en
y las de la derecha, en ).
En vista de que las operaciones de las parejas adicin y multiplicacin se definieron
tomando como modelo las de los binomios, estas nuevas operaciones tienen necesariamente
las propiedades de las anteriores y, por lo tanto, ( ) { } { }
, | , , , a b a b resulta un campo,
como puede comprobarse fcilmente. La inmersin : f definida ( ) ( ,0) f a a muestra
que puede considerarse como una extensin de campo de y bautizando i como ( ) 1 0, i e
identificando a con ( ) ( ,0) f a a , puede verse que :
1. ( ) ( ) ( ) 1 0 1 1 0 1 0
2
, , , i
2. ( ) ( ) ( ) ( ) ( ) ( ) [ ] bi a , , b , a b , , a b , a + 1 0 0 0 0 0

Con lo que se recuperan los binomios de los que se parti como base en la construccin de Gauss.
La construccin del inverso multiplicativo de un complejo ( ) b , a no cero,
( )
1
2 2 2 2
, ,
a b
a b
a b a b
_


+ +
,
mostr la conveniencia de definir dos funciones
: , : f C C g C por medio de las formulas:
( ) ( ) ( ) b , a b , a f la conjugacin
( ) ( )
2 2
b a b , a g + el mdulo o tamao

La Conjugacin

Si ( ) ( ) ( ) b , a z f z , b , a z
(Cuando se identifican los complejos como puntos del plano coordenado
2
, es decir,
cuando ( ) b , a z es el punto de abscisa a y de ordenada b, la conjugacin puede interpretarse
geomtricamente como la reflexin sobre el eje X).
La conjugacin tiene, entre otras, las propiedades que expresa el siguiente :



NUMEROS COMPLEJOS
12
Teorema , C w , z
1. w z w z + + El conjugado de la suma es la suma de los conjugados.
2. z w z w El conjugado de un producto es el producto de los conjugados.
3. z z z
4. z z
5. w z w z
6. 2Re z z z + 2 Im z z i z
Demostracin
Sean ( ) ( ) d , c w , b , a z
1. ( ) ( ) ( ) ( ) ( ) ( ) w z d , c b , a d b , c a d b , c a w z + + + + + + +
2. ( ) ( ) ( ) ( )( ) w z d , c b , a bd ad , bd ac bc ad , bd ac w z + +
3. ( ) ( ) 0 , 0 , 0 z b z a a z
4. ( ) ( ) ( ) z b , a b , a b , a z
5. 2 2Re z z a z + 2 2 Im z z bi i z
Corolarios
(de 4) puesto que la conjugacin es auto-inversa, resulta biyectiva.
(de 2) si w es 0 w , ( ) w / z w / z .
En efecto, ( ) ( ) ( ) ( ) w w / z w w / z z w w / z z y por lo tanto ( ) w / z w / z
(Ntese que 0 0 w w ).
Cuando se interpreta la conjugacin como una funcin : f , el teorema prueba que
f es una funcin biyectiva que va bien con las operaciones de y que deja fijo a , en el
sentido de la parte 3 del teorema
1
.
Teorema Si : es un automorfismo que deja fijo a , ( ( ) a a a ),
entonces es la conjugacin o la identidad en .

1
Las funciones biyectivas que respetan las operaciones se llaman ISOMORFISMOS y cuando van de un campo en l
mismo, se conocen como AUTOMORFISMOS.



NUMEROS COMPLEJOS
13
Demostracin
Sea ( ) bi a b , a z + .
Entonces ) i ( b a ) i ( ) b ( ) a ( ) bi a ( ) z ( + + + (*)
( b ) b ( , a ) a ( b , a ).
Adems, ) i ( ) i i ( ) (
2
1 1 y por lo tanto ) i ( tiene que ser una raz
cuadrada de 1 , o sea, i ) i ( i ) i ( .
Si i ) i ( , (*) muestra que es la identidad en y si i ) i ( , es la
conjugacin.
Ejemplos
Se desea calcular z si : i z ) i ( iz 6 10 2 + +
Entonces , z x yi z x yi +
(2 ) ( ) (2 )( ) (2 2 ) 2
(2 2 ) 2 10 6 2 6,2 2 10
2, 3
iz i z i x yi i x yi x y yi
x y yi i y x y
x y
+ + +
+


Comprobacin i i i ) i ( ) i ( ) i ( i 6 10 4 7 2 3 3 2 2 3 2 + + + + +

Ejercicios

Resuelva:

1. (1 ) (1 ) 4 i z i z + +
2. 3( ) 7 zz z z + + , no tiene solucin?
3. iz+(1+i)w=3+i
4. (1 ) (6 ) 4 i z i w + +

La Norma

Si ( , ) z a b es un nmero complejo, se define su norma z como
1
2 2
2
( ) ( ) z g z a b + .
(Aqu tambin, si se identifi can los complejos como puntos del plano, la norma o tamao de z
puede interpretarse como la distancia euclidiana de ( , ) a b al origen).



NUMEROS COMPLEJOS
14
La funcin distancia tiene, entre otras, las propiedades que estn enumeradas en el
siguiente:

Teorema , , z w
1.
2
1
) z z ( z
2. ; z 0 0 0 z z
3. w z zw
4. w z w z + +

Demostracin
1. [ ] z ) b a ( ) b , a )( b , a ( ) z z ( +
2
1
2 2
2
1
2
1

2. Obvia, ya que el tamao de z es la raz cuadrada de un nmero no negativo, y sta
slo es cero si el radicando
2 2
( ) a b + lo es.
3.
2 2 2
w z w w z z zw zw zw y como los tamaos son nmeros reales, se
vale extraer races cuadradas. Luego . w z zw
4. Ntese que z z , z y que Re z z ; Imz z .
+ + + + + + w w w z w z z z ) w z ( ) w z ( w z
2

2 2 2 2
2Re( ) 2 z zw w z zw w + + + +
2 2
2
2 ( ) z z w w z w + + + que es una desigualdad de nmero reales no
negativos.
Por tanto . w z w z + +
Corolarios ( de 3) si
1 1
2
2 2
, ( ) ( ) . t t t t t t t z t z
En particular, si 1 t , z z .



NUMEROS COMPLEJOS
15
Una funcin de
2
en con las propiedades 2,3 y 4 del teorema anterior, se llama una
NORMA, y permite definir la distancia entre dos puntos de
2
, en este caso dos complejos w , z ,
como sigue:

Def: , z w , w z ) w , z ( d
De la definicin y de las propiedades de la norma, se deducen las propiedades siguientes
que confieren a d la categora de MTRICA.

Teorema , , , z y w

1. ( , ) 0 ; ( , ) 0 d z w d z w z w
2. ( , ) ( , ) d z w d w z
3. ( , ) ( , ) ( , ) d z w d z y d y w +

En efecto:
1. 0; 0 0 z w z w z w z w
2. z w w z
3. w y y z w y y z w z + + (De las propiedades consignadas en los
corolarios).


La Ecuacin General de Segundo Grado

Un teorema cuya importancia le ha valido el nombre de TEOREMA FUNDAMENTAL DEL
LGEBRA, cuya demostracin se sale del nivel de estas notas, asegura que es
algebraicamente cerrado, es decir que todo polinomio [ ] ( ) f x x de grado n, tiene n races
bien contadas en

. Sin embargo vale la pena demostrar la existencia de algunas de stas.


En particular las races cuadradas que deben calcularse cuando se usa la frmula para resolver la
ecuacin general de segundo grado. Veamos:

La demostracin de este teorema dentro del anlisis complejo es tan elegante corta que justifica plenamente que se
posponga sta que a este nivel resulta complicada y larga y que por descansar necesariamente en alguna construccin
de , no puede ser algebraica pura.




NUMEROS COMPLEJOS
16
Se desea resolver la ecuacin 0
2
+ + c bx ax , en donde C c , b , a , 0 a
1. Dividimos la ecuacin entre ) a ( a 0 y restamos
a
c
de cada lado
2
bx c
x
a a
+

2. Completamos el trinomio cuadrado perfecto por la izquierda, sumando a cada lado
2 2 2
2
2 2 2
:
4 4 4
b b b b c
x x
a a a a a
+ +

o sea:
2
2
2
4
2 4
b b ac
x
a a
_
+

,

3. Suponiendo que se puede sacar raz cuadrada a
2
4 b ac y que la representamos

como:
2
2
4
4 ,
2 2
b b ac
b ac x
a a

+ t
En donde el doble signo expresa el hecho de que para el caso sirve tanto la raz cuadrada
de
2
4 b ac cuya existencia supusimos, como su inverso.
4. Finalmente,
2
4
2
b b ac
x
a
t

Queda por justificar la antes mencionada existencia de las races cuadradas de
2
4 b ac ,
que es lo que afirma el teorema siguiente:

Teorema Para cada complejo bi a z + diferente de cero, existen (exactamente) dos races
cuadradas complejas, (una inversa aditiva de la otra).

Demostracin

Supongamos que w x yi + es tal que
2
w z .
Entonces
2 2 2 2
( )( ) 2 x yi x yi x y xyi a bi x y a + + + +

2xy b
Elevando al cuadrado cada ecuacin y sumando:




NUMEROS COMPLEJOS
17
( )
4 2 2 4 2
2 2 2
2
4 2 2 4 2 2 2 2 2 2
2
4
2
x x y y a
x y b
x x y y a b x y a b
+

+ + + + +


Entonces


2 2 2 2
2 2
2 2 2 2
2 2
( )
( Re )

2 2
x y a b z
x y a z
a b a a b a
x y
+ +

+ + +



y como
2 2
a b a + , cada una de las expresiones de la derecha en estas igualdades tiene
races cuadradas (reales) de donde resulta que

2 2 2 2
,
2 2
a b a a b a
x y
+ + +
t t

Para seleccionar la pareja de races que satisface nuestro problema producir una raz
cuadrada de z debe tenerse en cuenta que como 2 ,si 0 xy b b > deben escogerse x e y
signos iguales (ambos positivos o ambos negativos) y si 0 b < , x e y deben tener signos
diferentes.

Ejemplo
Se desea encontrar las races cuadradas de 5 12i , entonces si w x yi + es una de ellas:

2 2 2 2
2 2
5 12 13
5
x y
x y
+ +


Entonces
2
9 x 3 x t
2
4, 2 y y t

y como b es menor que cero, x e y deben escogerse con signos diferentes.

Entonces
1 2
3 2 , 3 2 w i w i + son las races cuadradas de z .




NUMEROS COMPLEJOS
18
Ejemplo
Se desea obtener las races de la siguiente ecuacin:
2
3 3 0 z z i +
Entonces: 1, 3, 3 , a b c i

y por lo tanto,
2
2
9
4 4(1)(3 ) 12 4 ; 4 3 4
b
ac i i b ac i

+ +


Como se va a requerir obtener
2
4 , b ac

Necesitamos x yi + tal que
( ) i ac b yi x 4 3 4
2 2
+ +

2
2
3 5
1
2
3 5
3
5
2 2
2 2
t
+
t



+
y x
y x
y x





como 4 2 xy los signos deben escogerse iguales.

Entonces
i i 2 1 2 1 + y


Finalmente,
i z
i z
) i (
z

+
+ t

1
2
2
2 1 3
2
1

Comprobacin ( slo se har para z
1
)

( ) 0 4 4 6 6 3 3 6 4 3 3 2 3 2
2
+ + + + + + i ) ( ) ( i i i i ) i ( i

Ejemplo

i i ac b
i c i - b a i iz z
24 32 24 36 4 4
6 9 2 1 0 6 9 2
2
2
+ + +



debe obtenerse yi x i + + 24 32




NUMEROS COMPLEJOS
19
de manera que
2 2
40, 2 24 x y xy + signos iguales
2 2
32 x y
6, 2 x y t t races 6 2 e 6 2 i i +
de donde regresando a nuestra ecuacin

( )
3
2
2 6 2
2 3
2
2 6 2
2
2 6 2
2
1

+
+ +

+ t

i i
z
i
i i
z
i i
z

Comprobacin para ( ) 3
0 6 9 6 9 6 9 3 2 3
2
+ i i i ) ( i ) (
Para ( ) i 2 3 +
( ) ( ) 0 12 12 9 4 5 6 9 4 6 12 4 9 6 9 2 3 2 2 3
2
+ + + + + + i i i i i i i i i

Ojo: Tambin puede comprobarse notando que la suma de las races debe ser b r r +
2 1
y su
producto c r r
2 1
. En efecto, si
1
r y
2
r son races de 0
2
+ + c bx x , se tiene que
( )( )
( )
2 1 2 1
2
2 1
2
r r x r r x
r x r x c bx x
+ +
+ +

o sea, b r r +
2 1

c r r
2 1


Ejercicio: Haga esta comprobacin en los ejemplos anteriores.

Ejercicios
Encuentre las races cuadradas de:
1. i z 3 1
2. i z 3 1
3. i z 2
4. 16 z
5. i z 2
6. 4 z
7. i z 10 24
8. i z 3 2 2 +



NUMEROS COMPLEJOS
20
9. i z 8
10. i z 12 5
11. i z 4 3
12. i z 4 3+
13. i z 4 3+
14. i z 4 3
15. i z 5 12 +
16. i z 8 15 +
17. i z 42 40+

Resuelva las ecuaciones siguientes:
18. 0 3 3
2
+ i z z
19. 0 6 9 2
2
i iz z
20. ( ) 0 5 1 3
2
+ + i z i z
21. ( ) ( ) 0 2 2 1 1
2
+ + + z i z i
22. 0 1 2
2
+ iz z
23. 0 1 2 5
2
+ x x
24. ( ) 0 5 4
2
+ + i z i z
25. ( ) 0 6 2 3 5
2
+ i z i z
26. ( ) ( ) 0 5 5 3 2
2
+ + i z i z
27.
0 1
3 6
+ + z z


Sistemas de Ecuaciones

i) Se desea resolver el sistema:
( )
( ) ( ) i w i z i
i w i iz
3 12 6 1
3 1
+ + +
+ +


Observamos que las incgnitas de las segunda ecuacin son las conjugadas de la primera,
por lo que la conjugamos, con lo que el sistema queda:



NUMEROS COMPLEJOS
21
( )
( ) ( ) i w i z i
i w i iz
3 12 6 1
3 1

+ +

y procediendo por suma y resta:

( ) ( )( ) ( )
( ) ( )( ) ( ) i i w i i z i i
i i w i i iz i
3 12 6 1
3 1 1 1 1

+ +

( )
( ) ( ) i w i z i i
i w z i i
12 3 6 1 1
3 3 2 1
+ + +
+ +


Por lo tanto,
( ) ( )
( )
i
i i
w i w i i w i +

+ + 2
5
2 1 5
5 2 1 15 6 3
y sustituyendo en la primer ecuacin,

( )( )
i
i
z ; iz
i i iz
i i i iz


+ +
+ + +
1
1
3 3 1
3 2 1

Comprobamos:

( ) ( )( )
( ) ( )( ) i i i i i i i
i i i i i i
3 12 4 13 1 2 6 1
3 3 1 1 2 1
+ + + + +
+ + + + +



ii) Se desea resolver el sistema:
i iw z
i w iz
3 5 2
4 3 2

+ +

Calclese:

3
2
2


i
i
Por lo tanto el sistema tiene solucin nica
i
i
w i
i
i i
i
i
z i
i i
i
w
z
+

+
+

+

1
3
3 3
3 3
3 5 2
4 3
2
3
3 6
3 6
3 5
2 4 3


Comprobacin:

( ) ( )
( ) ( ) i i i i
i i i i
3 5 1 2 2
4 3 1 2 2
+
+ + +





NUMEROS COMPLEJOS
22

Ejemplo

iii) Se desea resolver el sistema:

i z y x
i z y x
i z y x
5 5 2 2
2 4 2 2
2 4
+
+
+ + +


Indicaremos las operaciones usando:

'
R
2
(lase el nuevo rengln 2)
1 2
R R (lase rengln 2 menos rengln 1)

La matriz aumentada es:

,
_

,
_

+

+

,
_

+

+

,
_

+

+

i
i
i
R R R
R R R
i
i
i
R R
R
R R R
i
i
i
R R R
R R R
i
i
i
'
'
'
'
'
'
3
1
2
1 0 0
0 1 0
0 0 1
3
4
3
4 8
6 12
1 0 0
3 1 0
4 0 1
15
4
13
4 8
2 4
3 4 0
3 1 0
1 1 1
2
5 5
2 4
2 4
1 2 2
2 2 1
1 1 1
3 2 2
3 1 1
2 3
3
2 1 1
1 3 3
1 2 2

Comprobamos:

( ) ( )
( ) ( ) ( ) i i i i i i i
i i i i i i i
i i i i
5 5 3 2 2 4 3 1 2 2 2
2 4 2 6 2 2 2 3 2 1 2 2
2 4 3 1 2
+ + +
+ + +
+ + + +


Ejercicios

Resuelva:

1. ( ) i z z z z + 3
2. i z z z 2 4 2 +
3.
( )

'

+
+
i / w z
i w z
2 37 6
5 10 3 2

4.

'

+
+ +
i iw z
i w z
2 3 2
2 4 3




NUMEROS COMPLEJOS
23
5.
( ) ( )
( ) ( )

'

+ +
+ +
4 1 1
0 1 1
w i z i
w i z i

6. ( ) ( )

'

+
+ + + +
+ + +
i z iz z
i z i z i iz
i z z z
2
4 7 1 1
4 6
3 2 1
3 2 1
3 2 1

7.
1 2 3
1 2 3
1 2 3
2 3 1 2
4 5 6 2
7 8 9 3 4
z z z i
z z z i
z z z i
+ +

+ + +
'

+ + +




Representacin Geomtrica de los Nmeros Complejos

Tal como se ha mencionado en prrafos anteriores, todo nmero complejo bi a + puede hacerse
corresponder con el punto del plano cuyas coordenadas son a y b. Cuando se usa esta
representacin, el eje X se conoce como el eje real y el eje Y es el imaginario. Cada nmero
complejo z puede considerarse como la suma bi a + , la pareja ( ) b , a , el punto del plano
( ) b , a P , o el vector apoyado en el origen de extremo P , y si la longitud del segmento OP es
r y el ngulo que forma OP con el eje real es , el complejo z puede expresarse tambin en
coordenadas polares ( ) , r , en donde, por supuesto, cos a r y sen b r . El cambio
inverso rectangulares a polares est dado por las relaciones:


2 2
b a r +

arctan( / ) si 0
/ 2 si 0, 0
/ 2 si 0, 0
no definido si 0
b a a
a b
a b
a b

>

'
<



Equivalentemente, se define el argumento de z como el ngulo cuyo coseno es
2 2
a
a b +
y cuyo seno es
2 2
b
a b +
.



NUMEROS COMPLEJOS
24
no est definido si
2 2
0 a b + , es decir si 0 z .
Puede verse que esta manera de definir el argumento de z , permite la posibilidad de que
dos ngulos
1
y
2
sean argumentos de z si
1
y
2
difieren en un mltiplo entero de 2 y slo
entonces (ver ''argumento de un nmero complejo'' ms adelante), observacin que resultar
conveniente en lo que sigue.
2 1
cos (cos y
1 2 2 1
sen sen 2 , ) k k + .

Ejemplo
Pasar de coordenadas rectangulares a forma polar.
Considrese el vector (en el plano) de mdulo 2 y argumento 3 / , y calculemos sus
formas rectangular y polar.
(Se sugiere comenzar dibujando el vector de que se trate)


Entonces sus coordenadas rectangulares son 1 y 3 . Por lo tanto su forma rectngula es
1 3 i + y su forma polar es 2cis / 3 2cis60 . NOTA (cis cos sen i + )
Re
Im
O



NUMEROS COMPLEJOS
25


Ejemplo

Calcular las formas rectangular y polar de z , si z tiene mdulo 4 y argumento / 4 ( 45).


Entonces la forma rectangular es 2 2 2 2 i + y la forma polar es 4cis / 4

Ejemplo
Pasar el nmero i 4 3 4 + a la forma polar. (Tambin se sugiere empezar con un dibujo)



Como se puede ver, el tamao
2 2
(4 3) 4 64 8 + y el argumento / 6 ( 30) y
entonces, la forma polar queda 8cis30 8(cos30 sen30 ) z i + .

Re
Im
O
Re
Im
O



NUMEROS COMPLEJOS
26
Ejemplo
Pasar el nmero 2cis120 a la forma rectangular.


Entonces, como puede verse, las coordenadas de z son ) 3 , 1 ( y por lo tanto
1 3 z i +

Ejercicios
Calcular las coordenadas de los vectores del plano cuyo mdulo es r y cuyo argumento es s :
1. , 2 3 r 225 s
2. , 2 r 30 s
3. , 3 r 90 s
4. , 2 r 270 s
5. , 2 r 45 s
6. , 4 r 120 s
7. , 2 r 300 s
Reducir a coordenadas polares:

1. i 7 7 +
2. i 3
3. i 5 5 +
Re
Im
O



NUMEROS COMPLEJOS
27
4. 3 1 i
5. i 2 4 +
6. i 3 6 6
7. 4
8. i 8
Calcule las potencias siguientes:

1.
8
) 1 ( i +
2.
3
) 4 3 ( i +
3.
2
) 12 5 ( i

Entre las ventajas que tiene la representacin geomtri ca de los nmeros complejos, que
permite estudiar la geometra del plano a travs del lgebra de , sealamos que tal
representacin permite interpretar la suma de dos complejos
1
z y
2
z como la diagonal del
paralelogramo construido sobre los sumandos (ver figura),





y adems permite interpretar la multiplicacin en la forma que expresa el siguiente

Teorema Sean (cos sen ) 1,2
j j j j
z r i j + dos nmeros complejos (que por
comodidad denotaremos algunas veces en forma abreviada como cis
j j j
z r .
Entonces,
Re
Im
O



NUMEROS COMPLEJOS
28
1 2 1 2 1 2
cis( ) z z r r +
(Este teorema dice que para multiplicar dos complejos, se multiplican sus tamaos y se suman sus
argumentos).


Demostracin

1 1 1 1 2 2 2 2
( cos sen )( cos sen ) r ir r ir + +

[ ]
1 2 1 2 1 2 1 2 1 2
cos cos sen sen (sen cos cos sen ) r r i + +

[ ]
1 2 1 2 1 2 1 2 1 2
cos( ) sen( ) cis( ) rr i r r + + + +

Corolario
(Teorema de De Moivre) Si cis , z r es un nmero complejo, entonces
, cis( ).
n n
n z r n
Demostracin

(Induccin sobre n). La base, , 1 n es obvia.

Paso inductivo: ). 1 ( ) ( + k k

Supngase que el teorema vale para , k n es decir, cis( )
k k
z r k y aplquese el teorema.

Entonces
1 1
cis( ) cis cis[( 1) ].
k k k k
z z z r k r r k
+ +
+ g g
Paso inductivo aumentado: ) ( ) ( n n
2
1
2
(cos sen )
( ) /
n
n n n n
n
r n i n
z z z z
r




(cos( ) sen( )) ( cis( )
n n n
z r n i n r n

+

(Recuerde que cos es una funcin par y sen es una funcin impar, es decir:
cos( ) cos , sen( ) sen )




NUMEROS COMPLEJOS
29

Ejemplos

1. Se desea realizar la siguiente operacin:
1 2
2(cos25 sen25 ) 5(cos75 sen75 ) z z i i + +
10(cos100 sen100 ) 10cis100 i +
2. Otro ejemplo podra ser:
1 2
15cis140 4cis280 60cis420 60cis60 ) z z
3. Tenemos que resolver:
( )
5
5
5 5
2
(1 ) 2cis45 2 cis5(45 ) 4 2cis225 z i +

Ahora lo hacemos desarrollando el binomio:
5 4 3 2 5
5 10 10 5 1 ) 1 ( i i i i i i + + + + + +
1 5 10 10 5 i i i + + +
i 4 4
Pasando a forma polar este resultado:

+ 225 2 4 16 16 y z
5
4 2cis225 z

En este ejemplo se nota que es mucho ms corto sacar potencias de un nmero complejo
en forma polar usando el teorema de De Moivre que desarrollando el binomio en forma rectangular
(trate de calcular
200
) 1 ( i + en forma rectangular).
Ejercicios
Realice las operaciones indicadas. En el caso de los ejercicios que estn en forma
rectangular, primero habr que reducirlos a forma polar.

1. 2(cos25 sen25 )5(cos75 sen75 ) i i + +
2. 8(cos18 sen18 )6(cos24 sen24 ) i i + +
3. 15(cos140 sen140 )4(cos280 sen280 ) i i + +
4. ) 4 4 )( 3 1 ( i i + +
5. ) 3 7 7 )( 6 6 ( i i +



NUMEROS COMPLEJOS
30
6. 2(cos15 sen15 )3(cos70 sen70 )4(cos65 sen65 ) i i i + + +

Ejercicios
Use el teorema de De Moivre para elevar a la potencia indicada

1.
3
[4(cos12 sen12 )] i +
2.
4
[3(cos18 sen18 )] i +
3.
6
[ 3(cos25 sen25 )] i +
4.
8
[2(cos20 sen20 )] i +
5.
10
(1 ) i
6.
9
(1 3) i +
7.
8
( 2 3 2 ) i +
8.
12
( 3 ) i
9.
4
[5(cos16 sen16 )] i

+
10.
8
[ 7(cos20 sen20 )] i +
11.
6
[cos( 10 ) sen( 10 )] i +
12.
6
(cos10 sen10 ) i

+
13.
10
( 3 ) i

+
14.
12
( 1 ) i

Races n-simas de un Nmero Complejo

Supngase que se desea encontrar a todos los complejos w tales que
n
w z , y que
cis z , supongamos adems que
0
cis w r es uno de ellos.
Entonces, por el teorema de De Moivre,
0
cis cis ,
n n
n
w r n r (la raz real) y
n

Es decir
0
cis( )
n
w
n

.



NUMEROS COMPLEJOS
31
Considerando que si es un argumento de z los nmeros 2 , k k + , tambin lo
son, se encuentran las otras 1 n races de z , sumando a , el nmero
2
, 1,..., 1 k k n
n

.
As por ejemplo si 1 ( 1cis0) z z sus races cbicas (que son tres), son:
3 0
1 3
1cis 1 r
3 2 1
2 3 2 2
1cis[0 ] 1cis 120 r i w

+ +
2 3 2
3 3 2
1
1cis[0 2] 1cis 240
2
r i w

+




Si por ejemplo 32cis150 z , sus races quintas son:
150
1 5
2cis 2cis30 r


2
2
2cis(30 ) 2cis(30 72 ) 2cis102
5
r

+ +
3
2cis[30 2(72 )] 2cis174 r +
4
2cis[30 3(72 )] 2cis246 r +
5
2cis[30 4(72 )] 2cis318 r +





NUMEROS COMPLEJOS
32


Justificamos las afirmaciones anteriores con el siguiente:
Teorema Sea cis z un nmero complejo diferente de cero. Entonces para
cada n entero positivo, z tiene exactamente n races n-simas, que estn dadas por la frmula:
cis
n
k k
w en donde
2
, 0,1,..., 1
k
k
k n
n

+


(para fines prcticos, los ngulos pueden expresarse en grados, y en este caso,
360
, 0,1..., 1)
k
k
k n
n

+

Demostracin
Sea { }
0 1
,...,
n
w w

el conjunto formado por los n valores de la frmula que
corresponden a 0,1..., 1 k n
Entonces
1.
2
( ) ( ) cis( ) cis( 2 )
n n
n
k
k
w n k z
n


+
+
2. Supngase , 0
i
w j i n < . Entonces cis cis
n n
j j
y por lo tanto
i
y
j
difieren,
necesariamente, en un mltiplo entero de 2 es decir
2 2
2 2
i j
i j i j
k
n n n


+ +
por lo tanto
i j
k
n

, que debe ser entero, lo


que dice que n divide a i j pero 0 0, i j n i j i j .



NUMEROS COMPLEJOS
33
En resumen,
i j
w w i j y por contrapuesta,
i j
i j w w . Luego la cardinalidad
de es n y dado que la ecuacin 0
n
x z no puede tener ms de n races en , consta
de todas las races n-simas de z .
Ejercicios
Obtenga las races que se indican.

1. Races cbicas de 8(cos72 sen72 ) i +
2. Races cbicas de 216(cos27 sen27 ) i +
3. Races cuadradas de (1 3) i
4. Races cbicas de (1 3) i
5. Races cuadradas de ( 1 3) i
6. Races cbicas de 1
7. Races cbicas de 8
8. Races cbicas de 1
9. Races cbicas de i
10. Races cbicas de (3 4 ) i +
11. Races cuartas de 16 2( 1 ) i +
12. Races quintas de 1
13. Races sextas de 27i
14. Races quintas de 16 2( 1 ) i +
El Argumento de un Nmero Complejo

Cuando se cambian las coordenadas polares a rectangulares en un complejo , ( , ) z z r stas
ltimas quedan bien determinadas por las expresiones cos x r y sen y r pero el cambio
inverso-rectangulares a polares (en el que si ( , ), r z x y resulta ser
1
2
2 2
( ) r x y + , slo define a
mdulo 2 . Es decir: Si satisface sen , cos , ( 0
y x
r
r r
, por supuesto), entonces
satisfar las mismas relaciones si y slo si 2 k + , es decir si y solamente si y



NUMEROS COMPLEJOS
34
difieren en un mltiplo entero de 2 . Para evitar la ambigedad que esta situacin ocasiona, se
conviene en definir Arg z como el nico real con las propiedades:
cos , sen , ( 0) x r y r z <

Se sabe (Teorema de De Moivre) que para multiplicar 2 complejos, se multiplican (en )
sus tamaos y se suman sus argumentos'', pero para ser congruentes con la convencin anterior,
a esta suma se le debe aplicar una correccin para el caso de que no caiga dentro del rango
acordado ( , ] . De modo que si :
cis (Arg ) 1,2
j j j j j
z r z j , Se tiene que :
1 2 1 2 1 2
Arg( ) 2 ( ) z z c z z + + , en donde :

1 2
1 2 1 2
1 2
1
( , ) 0
1
si
c z z si
si



+

< +
'

+ >



As por ejemplo si
1 2
1; z z
1 2
1 cis , ( , ) 1 c z z
( 1)( 1) 1cis(2 2 ) 1cis0


La Funcin Exponencial Compleja

Una observacin importante:

Sea [ ] : , Z a b la descripcin de una trayectoria en
2
. Entonces,
( ) ( ) ( ) Z t x t iy t + muestra que tanto la parte real como la imaginaria de Z son funciones que
dependen de t , y entonces, la derivada de Z con respecto a t , debe definirse como :
( ) ( ) Z x t iy t +
As por ejemplo si ( ) cos sen Z t t i t + , ( que cuando la variable t se interpreta como el
tiempo'' describe una rotacin alrededor del origen con radio uno), la velocidad del movimiento la
derivada de Z con respecto a t es ( ) sen cos Z t t i t + , y del mismo modo, la aceleracin
resulta: ( ) cos sen Z t t i t +

Se desea extender exp: a : E de manera que se conserven las
propiedades bsicas de la exponencial. Explcitamente se desea que E tenga las propiedades
siguientes:



NUMEROS COMPLEJOS
35
a) ( ) exp( ) E x x x
b) , , ( ) ( ) ( ) z w E z w E z E w +
c) ( ) ( ) E z E z z g
En vista de esto, si z x iy + , con , x y , debe suceder que
( ) ( ) ( ) ( ) ( )
x
E z E x iy E x E iy e E iy + y por lo tanto, nuestro problema encontrar la forma
correcta de definir ( ) E z se reduce a decidir la manera en que debe interpretarse ( ) E iy que
obviamente es un complejo cuyas partes real e imaginaria dependen de y . Es decir
( ) ( ) ( ) E iy U y iV y + y se debe encontrar qu funciones U y V resultan adecuadas para nuestro
propsito ( conseguir que E tenga propiedades deseadas a), b) y c) )

Entonces

1. ( ) ( ) ( ) E iy U y iV y + por definicin.
Derivando en el supuesto de que E satisface c),
2. ( ) ( ) ( ) ( ) E iy iE iy U y iV y + en donde U y V
son derivadas con respecto a su variable y .

Derivando una vez ms:

3. ( ) ( ) ( ) ( ) ( ) ( ) E iy E iy U y iV y U y iV y +
resultado que muestra que tanto U como V son
funciones que satisfacen la ecuacin 0 f f +


Haciendo 0 y en (1) y en (2), se obtiene:

4. 1 (0) (0) (0) 1; (0) 0 U iV U V +
5. (0) (0) (0) 0; (0) 1 i U iV U V +
Los resultados anteriores muestran que tanto U como V deben ser las soluciones a los
problemas de valores iniciales siguientes:
: 0, (0) 1, (0) 0 U y y y y +
y
: 0, (0) 0, (0) 1 V y y y y +



NUMEROS COMPLEJOS
36
y como las soluciones a tales problemas son nicas, U debe ser la funcin coseno y V la funcin
seno. Luego:
( ) (cos sen ) cis
x x
E x iy e y i y e y + +

Teorema. La funcin : E as definida tiene las propiedades a), b) y c)

Demostracin de las propiedades:

a) ( ) exp( ) E x x x
, 0 , ( ) exp( )cis(0) z z x i E z x +
cis(0) 1 ( ) ( ) exp( ) E z E x x

b)
1 2 1 2
( ) ( ) ( ) E z z E z E z +
1, 2
j j j
z x iy j +
1 2 1 2 1 2
( ) ( ) z z x x i y y + + + +
1 2 1 2
1 2 1 2 1 2 1 2 1 2
( ) exp( )cis( ) cis( ) ( cis )( cis )
x x x x
E z z x x y y e e y y e y e y + + + +
1 2
( ) ( ) E z E z g

c) ( ) ( ) E z E z z
( ) ( ) ( ) ( ) (cos isen )
x
z t x t iy t E z e y y + +
( ) (cos isen ) ( sen cos )
x x
E z x e y y y e y i y + + +
(
2
sen sen y i y )
( ) (cos isen )( ) ( )
x
E z e y y x iy E z z + + g

Teorema. La funcin exponencial es peridica, y cada perodo es de la forma: 2 , ki k Z

Demostracin

Sea w un perodo de E, luego , ( ) ( ) z E z E z w + . Haciendo 0 z ,
1
1 ( ) y si , ( ) cis 1 0, sen 0,
x
E w w x yi E w e y x y

+
1
cos 1 entonces 2 , y y k k

Z.



NUMEROS COMPLEJOS
37

Una consecuencia de la demostracin es que ( ) 1 2 , E z z ki k .

Representacin Geomtrica de Algunas Rectas bajo la Transformacin E

Sea : T la transformacin: ( ) ( ) T z E z .

Obsrvese que el origen de , va a dar al punto (1,0) .
A medida que la variable recorre el eje x alejndose del origen en el sentido positivo,
x
e
aumenta exponencialmente, pero y se mantiene igual a cero, luego la imagen de
[ [ 0, ) es 1, ) mientras que ( ,0) es (0,1) E . De la misma manera puede analizarse la
imagen bajo la transformacin E de cualquier recta horizontal ( ) y cte . Se encuentra que la
imagen de la semirrecta cuyos puntos tienen abcisa positiva, es la parte que queda afuera del
crculo unitario, del rayo que parte del origen y cuyo argumento es la y de la recta. La semirrecta de
puntos con x negativa tiene por imagen la porcin del rayo que queda dentro del crculo,
( ( ) 0 E z z .

Ntese que como ( ( ) ( ) 1, E z E z z g , y por lo tanto, , 0,
z
z e el origen
del plano no es imagen de ningn complejo z bajo la transformacin ''exponencial''.

Las rectas verticales cte x (tamao fijo y argumento de a ), van a dar a
circunferencias de radio
x
e y las rectas que parten del origen se ''retratan'' como espirales que
''arrancan'' de (1,0) . (Las imgenes van aumentando tanto de tamao como de argumento, a
medida que la variable se va alejando del origen).



NUMEROS COMPLEJOS
38









NUMEROS COMPLEJOS
39
La Funcin Logaritmo

Con el deseo de definir la funcin inversa de la exponencial, el logaritmo complejo observamos
que si , ( ) cis ,
x
z x yi E z e y + (por supuesto, ( ) , Arg ( )
x
E z e E z y ). Por lo tanto
debe definirse:
( ) 1 Arg L z n z i z +
Ntese que si , , ( ) 1 0 1 z x x L z n x i nx
+
+ , es decir, L es una extensin de1n .
Si , ( ) 1 z x L z n x i + .
Ntese tambin que siendo la exponencial una funcin peridica, debe escogerse una
banda del plano de ancho2 para seleccionar en ella los argumentos de los logaritmos complejos.
En efecto, si escogemos la regin { } ( , ) | x y y < , entonces, la funcin exponencial
definida en ella, la ''mapea'' biyectivamente en todo el plano menos el origen.
Otra vez: Si se define { } | D x yi y + < , : {0} E D es biyectiva y
su inversa es : {0} L D .
En efecto, , , ( ) cis
x
z D z x yi E z e y + ; ( cis ) 1
x x
L e y n e iy x yi + + .
Y si z x yi + es un complejo no cero de tamao r y de argumento ( cos x r ,
sen y r ) entonces ( ) ln L z r i + , y por lo tanto,
ln
( ( )) cis cos sen
r
E L z e r ir +
x yi z + .
Obsrvese que la funcin : {0} L D est bien definida (en el sentido de
que 0, ( ) z L z D ya que, segn convinimos, el argumento de ( ) L z debe satisfacer
Arg z <
Ejemplo
( ) ln Arg ln1 ( / 2) ( / 2) L i i i i i i + +
Ejemplo
( 1) n 1 Arg( 1) ln1 L l i i i + +




NUMEROS COMPLEJOS
40



Teorema

Si
1 1 1 2 2 2
cis , cis z r z r ,
Entonces
1 2 1 2 1 2
( ) ( ) ( ) 2 ( , ) L z z L z L z ic z z + +

Demostracin

1 2 1 2 1 2 1 2
( ) ( cis( 2 ( , ))) L z z L r r c z z + +
1 2 1 2 1 2
1 ( ) ( 2 ( , )) n rr i c z z + + +
1 1 2 2 1 2
1 1 2 ( , ) nr i nr i ic z z + + + +
1 2 1 2
( ) ( ) 2 ( , ) L z L z ic z z + +

Definicin
Si es 0, , ( ( ))
w
z z w z E wL z
.


En el caso de que z x
+

,
w y
( ) ( ( )) ( 1 ) exp( 1 )
y
E x E yL x E y nx y nx por lo que, como puede verse, la
definicin anterior extiende a la que se tena para
Nota de ( ( ))
w
z E w z
,
aplicando la funcin L , se ve que ( ) ( )
w
L z wL z
Teorema
1.
1 2 1
2
1, 2
0, ,
w w w w
z w w z z z
+
g
2.
1 1 2
2
( )
w w w w
z z
3. Si
1
z y
2
z son distintos de cero,
1 2 1 2 1 2
, ( ) (2 ( )) :
w w w
w z z z z E wi c z z

Demostracin

1.
1 2
1 2 1 2
(( ) ( )) ( ( ) ( ))
w w
z E w w L z E w L z w L z + +
1 2
1 2
( ( )) ( ( ))
w w
E w L z E w L z z z g g
2.
1 2 1
2
( ) ( ( ))
w w w
z E w L z



NUMEROS COMPLEJOS
41
1 2
2 1
( ( ))
w w
E w w L z z g
3.
1 2 1 2
( ) ( ( ))
w
z z E wL z z
1 2 1 2
[ ( ( ) ( ) 2 ( ))] E w L z L z ic z z + +
1 2 1 2
[ ( ) ( ) 2 ( )] E wL z wL z wi c z z + +
1 2 1 2
( ( )) ( ( )) ( 2 ( )) E wL z E wL z E wic z z g g
1 2 1 2
(2 ( ))
w w
z z E wi c z z g g

Ejemplos

1.
1
2 2
( 1) (1/2 ( 1)) (1/2 )
i
E L E i e


cos / 2 isen / 2 i +

En la enseanza del lgebra elemental se asegura que para obtener la raz cuadrada de un
nmero negativo, se deber tomar la correspondiente a su valor absoluto multiplicada por i . As
por ejemplo se dice que 4 2i y se justifica escribiendo:

4 4( 1) 4 1 2 . i


Note que en el paso intermedio 4( 1) 4 1 no se tom en cuenta la correccin
multiplicar por
1
( 2 ( 1,4))
2
E i c que en este caso es cero ya que la suma de los
argumentos de los factores no excede , y as, el resultado es correcto, aunque el procedimiento
no. Si lo fuera, entonces valdra la conocida paradoja siguiente:

2
1 1 ( 1)( 1) 1 1 1. 1 1? i

La falacia aparece cuando se sustituye
( 1)( 1) por ( 1) ( 1) ya que aqu la
correccin no es cero. En efecto, Arg( 1) y por lo tanto Arg( 1) Arg( 1) 2 + , suma
que excede el rango que se escogi y que obliga en este caso a aplicar la correccin, es
decir debe multiplicarse el lado derecho de la igualdad por
1
( 2 ( 1, 1)) ( ) cis( ) 1
2
E i c E i .



NUMEROS COMPLEJOS
42
Ahora si:
2
( 1)( 1) 1 1( 1) ( 1) ( 1)( 1) 1 i


Las Funciones Trigonomtricas

Recordando que para todo nmero real , cos sen , cos sen ,
i i
e i e i

+ se ve que
entonces, 2cos
i i
e e

+
;
2 sen
i i
e e i

y que por lo tanto, cos


2
i i
e e

;
sen
2
i i
e e
i

,
conviene definir para cada , cos , sen
2 2
zi zi zi zi
e e e e
z z z
i

+

.
Con este acuerdo, las nuevas funciones que extienden a las correspondientes cos y sen
de variable real adquieren, entre otras, las siguientes propiedades:
Teorema
, z w
,
1.
2 2
sen cos 1 z z +

2. (sen ) cos z z
3.
(cos ) sen z z

4.
cos( ) cos cos sen sen z w z w z w +

5.
sen( ) sen cos cos sen z w z w z w + +


Demostracin

En efecto:
1.
2
2 2
2
2
sen
2 4
zi zi zi zi
e e e e
z
i

_ +

,

2
2 2
2
2
cos
2 4
zi zi zi zi
e e e e
z

_ + + +


,

por lo tanto:
2 2 2 2
2 2
2 2
cos 1
4
zi zi zi zi
e e e e
sen z z

+ + +
+

2.
( )
(sen ) cos
2 2 2
zi zi zi zi zi zi
e e i e e e e
z z
i i

_ + +


,

3.
2
( ) ( )
(cos ) sen
2 2 2
zi zi zi zi zi zi
e e i e e i e e
z z
i

_ +


,




NUMEROS COMPLEJOS
43
4.
( ) ( ) ( ) ( )
( )( )
cos cos
4 4
zi zi wi wi z w i z w i z w i z w i
e e e e e e e e
z w
+ + +
+ + + + +


( ) ( ) ( ) ( )
( )( )
sen sen
( 2) ( 2) 4
zi zi wi wi z w i z w i z w i z w i
e e e e e e e e
z w
i i
+ + +
+

( ) ( )
2 2
cos cos sen sen cos( )
2
z w i z w i
e e
z w z w z w
+ +
+
+

5.
( ) ( ) ( ) ( )
( )( )
sen cos
2(2 ) 4
zi zi wi wi z w i z w i z w z w i
e e e e e e e e
z w
i i
+ + +
+ +


( ) ( ) ( ) ( )
( )( )
cos sen
2(2 ) 4
zi zi wi wi z w i z w i z w i z w i
e e e e e e e e
z w
i i
+ + +
+ +


( ) ( )
2 2
sen cos cos sen sen( )
4
z w i z w i
e e
z w z w z w
i
+ +

+ +