ANLISIS MATEMTICO I

Edicin: Febrero de 2013

Universidad de la Repblica, UdelaR

de

INSTITUTO DE MATEMTICA Y ESTADSTICA PROF. ING.

RAFAEL LAGUARDIA
OFICINA DE PUBLICACIONES
CENTRO DE ESTUDIANTES DE INGENIERA

ndice general
1. Nmero complejo
1.1. Nmero real . . . . . . . . . . . . . . . . . . . .
1.2. Axiomas de cuerpo . . . . . . . . . . . . . . . .
1.3. Axiomas de orden . . . . . . . . . . . . . . . . .
1.4. Nmero complejo: definicin y operaciones . . .
1.5. Relacin entre los nmeros reales y los complejos
1.6. Unidad imaginaria y representacin binmica . .
1.6.1. Representacin grfica . . . . . . . . . .
1.6.2. Propiedades del mdulo . . . . . . . . .
1.7. Exponencial compleja . . . . . . . . . . . . . . .
1.7.1. Frmulas de Euler . . . . . . . . . . . .
1.7.2. Aplicaciones geomtricas . . . . . . . .
1.7.3. Potencias enteras y races . . . . . . . . .
1.8. Logaritmo complejo . . . . . . . . . . . . . . . .
1.9. Seno y coseno complejo . . . . . . . . . . . . .
Bibliografa

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

7
7
7
8
12
15
16
16
19
20
22
22
24
27
28
31

ndice general

Reconocimientos
Estas notas, que en este semestre van a ser publicadas por captulos, son una reedicin de las Notas de Anlisis I elaboradas en el Instituto de Matemtica y Estadstica
Prof. Ing. Rafael Laguardia(IMERL) de la Facultad de Ingeniera de la Universidad de la Repblica. Dichas notas fueron elaboradas por Fernando Paganini, con la
colaboracin de Marcelo Cerminara, Enrique Cabaa y el equipo docente del curso de
Anlisis I durante 1991-1992. Gabriel Lema y Pablo Romero han corregido y modernizado la edicin original. Se ha procurado mantener la intencin de estas notas, que
si bien son autocontenidas no pretenden de ningn modo eliminar la consulta de otra
literatura bien autorizada, sugerida en las referencias bibliogrficas del presente texto.
Estos captulos sern impresos por la Oficina de Publicaciones del CEI, al igual que
lo fueron las notas originales. El material que se presenta es la base del contenido del
curso de Clculo I del primer semestre de 2013, junto con los prcticos de ejercicios
del curso. Es nuestro deseo que este material sea de vuestra utilidad. Confiamos que
sea bien enriquecido mediante las referencias bibliogrficas, que permiten ampliar los
temas aqu presentados.
Es un placer darles una clida bienvenida a este curso. Se sugiere mantenter un
espritu crtico en la lectura y el estudio. En especial recordarles que tanto el presente
material como otros que consultarn pueden contener errores, y en caso de hallarlos
nos ser muy grato recibir vuestra realimentacin, que nos ayuda a trabajar cada vez
ms y mejor.
Montevideo, marzo de 2013
Instituto de Matemtica y Estadstica Prof. Ing. Rafael Laguardia
Facultad de Ingeniera
Universidad de la Repblica.

ndice general

Captulo 1
Nmero complejo
1.1.

Nmero real

Haremos una construccin axiomtica del conjnunto de los nmeros reales demostrando algunas de sus propiedades ms relevantes. Sea R un conjunto no trivial y
sea + : R R R una operacin binaria, que llamaremos suma, y : R R R
otra operacin que llamaremos producto. (Notacin: +(x, y) = x + y, (x, y) = xy).

1.2.

Axiomas de cuerpo

Axioma 1 Propiedad Conmutativa

x + y = y + x; xy = yx, x, y R.
Axioma 2 Propiedad Asociativa
x + (y + z) = (x + y) + z; x(yz) = (xy)z, x, y, z R.
Axioma 3 Propiedad Distributiva
x(y + z) = xy + xz x, y, z R.
Axioma 4 Existencia de elementos neutros
0, 1 R : 0 6= 1 y x R, 0 + x = x + 0 = x, 1x = x1 = x.
Axioma 5 Existencia del opuesto
x R, y R : x + y = y + x = 0.
Axioma 6 Existencia del inverso
x R, x 6= 0, y R : xy = yx = 1.
De estos axiomas es posible deducir los teoremas clsicos del lgebra elemental.
Enunciamos algunos a modo de ejemplo. La demostracin se deja a cargo del lector.
7

Captulo 1. Nmero complejo

Proposicin 1 Si a + b = a + c entonces b = c, a, b, c R.
Proposicin 2 a, b R existe un nico x R tal que a + x = b.
Nota 1 A este x lo notamos b a (en particular 0 a lo escribimos a).
Proposicin 3 0a = a0 = 0.
Proposicin 4 Si ac = ab y a 6= 0, entonces b = c.
Proposicin 5 a, b R, a 6= 0, un nico x tal que ax = b.
Nota 2 Tal nmero x se designa por b/a. En particular 1/a se designa a1 .
Proposicin 6 Si ab = 0 entonces a = 0 o b = 0.

1.3.

Axiomas de orden

Este grupo de axiomas permite definir el concepto de orden en el conjunto de los

nmeros reales. Esto permite decidir si un nmero real es mayor o menor que otro.
Introduciremos un concepto primitivo, el de nmero positivo, que nos permite definir
esta relacin de orden.
Suponemos que existe un conjunto R+ R, llamado conjunto de los nmeros
positivos, que satisfacen lo siguiente:
Axioma 7 Si x, y R+ (x + y), (xy) R+ .
Axioma 8 x 6= 0, x R+ o (x) R+ , pero no ambos.
Axioma 9 0
/ R+ .
Definicin 1 Si x, y R, entonces x < y (x es menor que y) si y slo si y x R+ .
Observacin: 1.3.1
1. y > x significa que x < y.
2. x y significa que x < y o bien x = y.
3. y x significa que x y.
Es inmediato que x > 0 si x es positivo, (es decir, x R+ ). Si x < 0 entonces
decimos que x es negativo. Deducimos algunas propiedades de estos axiomas. Las
demostraciones omitidas son a cuenta del lector.

1.3. Axiomas de orden

Proposicin 7 Sea a, b, c R; si a < b y b < c a < c.

Demostracin. Si
a<bba>0
b<ccb>0
En virtud del Axioma 7 se puede sumar, y se tiene que (b a) + (c b) > 0, de donde
c a > 0 a < c.

Proposicin 8 Si a, b, c R entonces, es cierta una y slo una de las siguientes

relaciones: a < b; b < a o bien a = b.
Proposicin 9 Si a 6= 0, a2 > 0.
Demostracin. Si a > 0 entonces por el Axioma 7, a a > 0.
Si a < 0 entonces (a) > 0, y en este caso (a)(a) > 0 tambin como resultado
del Axioma 7.

Proposicin 10 Si a < b y c < 0 entonces ac > bc.

Proposicin 11 Si ab > 0 entonces a y b son ambos positivos o bien ambos negativos.
Para complementar nuestra construccin de los nmeros reales, falta enunciar un
ltimo axioma, que veremos con ms cuidado que los anteriores. Este axioma permite
definir los nmeros irracionales, y de l se deducen las propiedades de continuidad de
los nmeros reales.
Los nueve axiomas enunciados hasta el momento son satisfechos por el conjunto
de los nmeros racionales. Sin embargo, problemas elementales como el de encontrar
una solucin x2 = a no pueden ser resueltos apelando slo a este conjunto. Como un
dcimo axioma introducimos la posibilidad de resolver problemas como el del ejemplo.
Definicin 2 Sea S R, S 6= y k R; si x k x S diremos que k es una
cota superior de S.
Es evidente que si k es cota superior de S, entonces cualquier k 0 : k 0 > k es tambin
una cota superior.
Definicin 3 Sean k y S como en la Definicin 2. Diremos que k es un mximo de S
si k es cota superior y adems k S.

10

Captulo 1. Nmero complejo

Ejemplo 1 Sea S = {x R : 0 x 1}. S est acotado superiormente por

k : k 1. Como 1 es cota superior y adems 1 S entonces 1 es mximo de S.
Ejemplo 2 Consideremos ahora T = {x R : 0 x < 1}. k ser cota superior si
y slo si k 1. En este ejemplo a diferencia del anterior, 1
/ T , por lo cual 1 no es
mximo de T .
Definicin 4 Un nmero k R se denomina supremo de S 6= si k es la menor de
las cotas superiores de S. Esto es: k 0 es cota superior de S, entonces k 0 k.
Si S tiene mximo entonces este mximo ser supremo de S. El recproco no es
cierto. Es decir: un conjunto puede no tener mximo, y sin embargo s tener supremo.
El Ejemplo 2 muestra sto, pues 1 es el supremo de T . Las Figuras 1.1 y 1.2 ilustran
respectivamente a los conjuntos S, T R.
S
0

Figura 1.1: El conjunto S tiene mximo, que es supremo.

T
0

Figura 1.2: El conjunto T no tiene mximo, y 1 es supremo de T .

Proposicin 12 Si existe supremo de un conjunto, es nico.
Demostracin. Sea S 6= un conjunto y k, k 0 dos nmeros reales, supremos de S.
Como k es supremo, entonces k 0 k, pero como k 0 tambin es supremo, k k 0 , de
donde k = k 0 .

Con estos comentarios podemos enunciar el siguiente.

Axioma 10 Todo subconjunto real no vaco acotado superiormente tiene supremo:
S R, S 6= : s k0 s S, entonces k R : sup(S) = k.
A partir de los Axiomas 1 a 10 es posible dar la siguiente definicin.

1.3. Axiomas de orden

11

Definicin 5 El conjunto R que verifica los Axiomas 1 a 10 con las operaciones + y

lo llamaremos conjunto de los nmeros reales.
De manera anloga, como definimos cota superior, mximo y supremo, se puede
definir cota inferior, mnimo e nfimo. Queda a cargo del lector hacerlo.
Demostraremos la siguiente
Proposicin 13 Dado S 6= , S R acotado inferiormente, entonces existe l R tal
que l = nf(S).
Demostracin. Sea S = {x R : x S} entonces S 6= .
Si c es una cota inferior de S, entonces c x x S, de donde c x, x S.
Luego S es acotado superiormente, y por el Axioma 10, k R : k = sup(S).
Tomando l = k es fcil comprobar que l = nf(S). En efecto, l es cota inferior
de S. Falta ver que es la mayor. Sea l0 R tal que l0 x x S entonces l0
x, x S. Luego l0 sup(S) = l de donde l0 l.

Proposicin 14 Sean a, b nmeros reales tales que a b + , > 0 entonces a b.

Demostracin. Supongamos por absurdo que b < a, entonces tomando =
tiene b + = b + ab
= a+b
< a+a
= a, lo cual contradice la hiptesis.
2
2
2

ab
2

se

La siguiente propiedad establece que todo conjunto acotado superiormente (y por

lo tanto con supremo) contiene elementos tan prximos al supremo como se quiera.
Proposicin 15 Sean h R, h > 0 y S R un conjunto de reales, entonces:
1. Si S tiene supremo, existe x S tal que x > sup(S) h.
2. Si S tiene nfimo, existe x S tal que x < nf(S) + h.
Demostracin.
1. Supongamos nuevamente por absurdo que x sup(S) h, x S. Entonces
sup(S) h sera cota superior de S, pero como h > 0, sup(S) h < sup(S),
lo cual es absurdo.
2. Se demuestra de manera anloga.

12

Captulo 1. Nmero complejo

Por ltimo, recordaremos que no era posible utilizando slo los nueve primeros
axiomas resolver problemas como la ecuacin x2 = 2. Veremos a continuacin que
el Axioma 10 nos permite definir la raz cuadrada de cualquier nmero no negativo, y
por ende resolver este problema.
Proposicin 16 Cada nmero real a no negativo tiene una nica raz cuadrada no
negativa.
Demostracin. Si a = 0 entonces 0 es la nica raz. Supongamos entonces que a > 0.
Sea S = {x : x > 0, x2 a}. Como (1 + a)2 > a entonces 1 + a es cota superior
a
de S. Adems, S 6= , pues (1+a)
S. En efecto, como a2 a(1 + a)2 entonces
a2
(1+a)2

a
a. En virtud del Axioma 10, S tiene supremo. Sea sup(S) = b, b 1+a
,y
2
2
2
por lo tanto b > 0. Existen slo tres posibilidades: b > a, b < a o bien b = a.
2
Si b2 > a tomamos c = b b 2ba = 12 (b + ab ). Entonces 0 < c < b, y c2 =
2
2
2 a)2
b2 (b2 a) + (b 4ba)
= a + (b 4b
> a. Por lo tanto, c2 > x2 y c > x, x S,
2
siendo c cota superior de S, pero como c < b esto contradice que b = sup(S).
Si suponemos ahora que b2 < a como b > 0 es posible definir un nmero c > 0 tal
que c < b y c < (a b2 )/(3b). Se tiene entonces que: (b + c)2 = b2 + c(2b + c) <
b2 + 3bc < b2 + (a b2 ) = a.
Entonces (b + c) S y como b + c > b esto contradice el hecho que b sea una cota
superior de S. Por lo tanto debe ser b2 = a.

1.4.

Nmero complejo: definicin y operaciones

Hemos probado que el conjunto de los nmeros reales permite soluciones de x2 =

a, con a 0. Pero como el cuadrado de un real es un nmero positivo, la ecuacin
x2 = 1 sigue sin tener solucin para x R.
El inters en resolver esta ecuacin (y otras ecuaciones polinmicas) nos lleva a
buscar nuevas extensiones del campo de los nmeros reales. En principio se trata de
la motivacin puramente algebraica de obtener un campo numrico algebraicamente
cerrado, es decir donde todas las ecuaciones polinmicas tengan solucin. Sin embargo
el xito en la extensin (el nmero complejo) ha llevado a ir mucho ms all, y el
nmero complejo est presente en buena parte de la matemtica y sus aplicaciones.
En este curso se tratarn slo las operaciones ms elementales en el campo complejo. Se posterga para el curso de Funciones de variable compleja un tratamiento ms
a fondo del anlisis de variable compleja. Los lectores interesados pueden consultar
como referencia a este captulo [24], para lectura posterior [1].
Supongamos que hemos construido un campo numrico que incluye a los nmeros
reales, y donde la ecuacin x2 = 1 tiene una raz que llamaremos i, tal que i2 = 1.

1.4. Nmero complejo: definicin y operaciones

13

Si el campo numrico tiene definidas operaciones de suma y producto, estarn en l

nmero de la forma a + bi, con a y b reales, y tambin sumas y productos de esa forma.
Suponiendo que valen los axiomas de cuerpo y por lo tanto las reglas de operacin
habituales, tenemos:
(a + bi) + (c + di) = (a + c) + (b + d)i,
(a + bi)(c + di) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i,
i2 = 1.
Por lo tanto, la suma y el producto de nmeros de la forma a + bi dan otro nmero
de la misma forma. Parecera, entonces, que para nuestra extensin basta con nmeros
de esta forma.
Hasta ahora no hemos dado nungn argumento
que asegure la existencia de una

extensin de los reales que incluya a i = 1. Sin embargo, una ligera abstraccin a
partir de lo anterior permite realizar la construccin adecuada.
De hecho, lo que distingue a dos nmeros de la forma a + bi son los dos reales a y
b. Podramos identificar el nmero con un par de nmeros reales (a, b). Las frmulas
obtenidas informalmente en el desarrollo anterior se transforman en la definicin de las
operaciones de suma y producto entre estos pares. Este es el camino que desarrollamos
a continuacin.
Comentamos que el campo as construido permitir extender todas las propiedades
de cuerpo y garantiza la existencia de soluciones para cualquier ecuacin de la forma:
an xn + an1 xn1 + . . . + a1 x + a0 = 0
Este resultado se conoce como teorema fundamental del lgebra, y ser demostrado
en cursos posteriores. Ver [1].
Definicin 6 Un nmero complejo es un par ordenado de nmeros reales.
La primera componente de z = (a, b) se llama parte real de z, y la segunda parte
imaginaria de z.
Notacin 1 a = Re(z), b = Im(z).
Nota 3 Ordenado significa que (a, b) 6= (b, a) si a 6= b. En otras palabras, el complejo z = (a, b) y el complejo w = (c, d) son iguales si y slo si a = c y b = d. Denotemos
por C al conjunto de los nmeros complejos.
Definicin 7 Dados dos complejos z = (a, b) y w = (c, d), definimos la suma z + w y
el producto zw por:
z + w = (a + c, b + d); zw = (ac bd, ad + bc)

14

Captulo 1. Nmero complejo

El producto y la suma de complejos verifican las siguientes propiedades.

Proposicin 17 El producto y la suma de complejos son asociativos, conmutativos y
distributivos.
Demostracin. Slo demostraremos la distributiva. Las otras estn a cargo del lector.
Sean v = (a, b), w = (c, d) y z = (e, f ).
v(w + z) = (a, b)(c + e, d + f ) = (ac + ae bd bf, ad + af + bc + be)
= (ac bd, ad + bc) + (ae bf, af + be) = vw + vz.

Proposicin 18 Existen dos complejos (0, 0) y (1, 0) neutros de la suma y el producto

respectivamente.
Es decir, (a, b) C, (a, b) + (0, 0) = (a, b) y (a, b)(1, 0) = (a, b).
Demostracin a cargo del lector.
Proposicin 19
a) Dado z = (a, b) C, existe un opuesto z = (a, b) tal que
z + (z) = 0.
b) Dado z = (a, b) 6= (0, 0) existe un inverso:


b
a
1
,
z =
a2 + b 2 a2 + b 2
tal que zz 1 = (1, 0).
Demostracin. Inmediata haciendo cuentas.
Las afirmaciones anteriores permiten decir que el conjunto C, con las operaciones
de suma y producto de la Definicin 7, cumple los Axiomas de cuerpo 1 a 6.
Introducimos ahora la resta y la divisin.
Proposicin 20 Dados dos complejos z = (a, b) y w = (c, d) existe un complejo
v = (e, f ) tal que v + w = z. Lo designamos v = z w.
Demostracin. El complejo v = (a c, b d) cumple lo deseado.

Proposicin 21 Si z y w son nmeros complejos con w 6= (0, 0) existe un nmero

complejo v tal que wv = z. De hecho v = zw1
La demostracin es inmediata.

1.5. Relacin entre los nmeros reales y los complejos

1.5.

15

Relacin entre los nmeros reales y los complejos

Tenemos construido un cuerpo conjunto, formado por los pares de nmeros reales
de la forma (a, b). En virtud de lo dicho en la introduccin, utilizando la notacin
a + bi, es natural que el papel de los reales lo jueguen los complejos tales que b = 0,
es decir, los de la forma (a, 0).
Sea C0 el conjunto de los nmeros complejos de la forma (x, 0). Es decir los que
tienen parte imaginaria nula. Es inmediato que la suma y el producto y la suma de
elementos de C0 tambin pertenece a C0 , pues:
(a, 0) + (b, 0) = (a + b, 0), (a, 0)(b, 0) = (ab, 0).
Esto muestra que los nmeros complejos de la forma (a, 0) se comportan respecto de la
suma y el producto de la misma forma que los nmeros reales a. Por eso convenimos
con identificar (a, 0) con a.
Como ya hemos dicho los complejos verifican los Axiomas de cuerpo de los reales
(Axiomas 10 a 6), es decir que los nmeros complejos forman una estructura algebraica
de cuerpo.
Cuando entre dos estructuras algebraicas se puede establecer una correspondencia
1 a 1 que respete las operaciones, se dice que ambas estructuras son isomorfas, es
decir que esencialmente se comportan como si fueran lo mismo. Esto es lo que ocurre
entre C0 y R y por eso tiene sentido identificar, como hemos dicho, los complejos con
parte imaginaria nula y los nmeros reales.
Podemos formalizar un poco ms esta idea: Sea f : R 7 C0 : f (x) = (x, 0). Es
evidente que f es biyectiva. Veremos que f respeta las operaciones:
f (x + y) = (x + y, 0) = (x, 0) + (y, 0) = f (x) + f (y);
f (xy) = (xy, 0) = (x, 0)(y, 0) = f (x)f (y).
Luego f es un isomorfismo entre C0 y R.
Para que la identificacin sea completa hara falta adems definir un orden en C0
(Axiomas 7 a 10), lo que puede hacerse en forma natural, de modo que la correspondencia preserve tambin el orden. (f preserva el orden si definimos (a, 0) < (b, 0) si y
slo si a < b.)
Como C0 C podemos pensar a los nmeros complejos como una extensin de
los reales.

16

Captulo 1. Nmero complejo

1.6.

Unidad imaginaria y representacin binmica

Definicin 8 Llamaremos unidad imaginaria al complejo (0, 1), al que notaremos i.

Nota 4 i2 = (0, 1)(0, 1) = 1 de donde i es raz de la ecuacin x2 + 1 = 0.
La ley de multiplicacin nos permite la siguiente igualdad (b, 0)i = (b, 0)(0, 1) =
(0, b), de donde z = (a, b) = (a, 0) + (0, b) = (a, 0) + i(b, 0). Entonces poniendo (a, 0) = a y (b, 0) = b podemos escribir cualquier complejo z = (a, b) como
z = a + bi.
Reencontramos entonces las expresiones que fueron presentadas al principio. Haciendo la salvedad de que a y b no son aqu reales sino sus copias (a, 0) y (b, 0)
en C0 , todo lo que all se dijo es vlido y la notacin resulta cmoda como forma de
clculo.

1.6.1.

Representacin grfica

Es posible representar el nmero complejo z = (a, b) como el punto del plano xOy

de coordenadas (a, b). En esta situacin llamaremos eje real al eje 0x y eje imaginario

al eje 0y. Indistintamente identificaremos al nmero complejo z con el correspondiente

punto del plano.
De la misma forma es posible representar el complejo z como el vector geomtrico
que une el origen con el punto (a, b) como indica la Figura 1.3.
Im(z)

z = (a, b)

Re(z)

Figura 1.3: Representacin de un nmero complejo en el plano.

La suma y resta de complejos tiene una sencilla interpretacin geomtrica segn la
regla del paralelogramo tal como lo ilustra la Figura 1.4.

1.6. Unidad imaginaria y representacin binmica

17

Im(z)
z+w
z
zw

Re(z)
Figura 1.4: Representacin geomtrica de la suma de dos nmeros complejos.
Es decir que el vector z + w es una diagonal del paralelogramo de lados z y w, y
la diferencia z w el vector paralelo por el origen a la otra diagonal.

Definicin 9 Sea z = a + ib. Llamamos mdulo de z al nmero = |z| = a2 + b2

Si z 6= 0, sea el ngulo entre el eje Ox y el vector (a, b) (definido a menos de un

mltiplo de 2). se llama argumento de z (existen por lo tanto infinitos argumentos
de z que difieren en mltiplos de 2).
La Figura 1.5 muestra la representacin polar de un nmero complejo.
Im(z)

Re(z)

Figura 1.5: Representacin polar de un nmero complejo.

Se verifica

a = cos
b = sin

(1.1)

18

Captulo 1. Nmero complejo

Si se quiere una determinacin unvoca del argumento es usual elegir (, ]

y llamarle argumento principal de z (Arg(z)).
Ejemplo 3 |i| = 1, Arg(i) = /2
Un complejo puede estar dado entonces por sus partes real e imaginaria a y b, o por su
mdulo y argumento y .
Las ecuaciones 1.1 permiten pasar de (, ) a (a, b).
Para el pasaje inverso: = a2 + b2 . Calculamos para z 6= 0:

Arg(z) = /2
si b > 0
si a = 0 :
Arg(z) = /2 si b < 0
si a 6= 0: tan() = (b/a). La funcin arctg(.) es inversa de la funcin tan(.)
para (, ], de donde:
si a > 0: Arg(z) = arctg(b/a)

Arg(z) = arctg(b/a) +
si a < 0 :
Arg(z) = arctg(b/a)

si b > 0
si b < 0

Definicin 10 Llamaremos conjugado de z = a + bi al complejo z = a bi.

Obsrvese que el conjugado no es otra cosa que el simtrico de z respecto del eje

Ox. La Figura 1.6 representa al complejo z en el plano complejo.

Im(z)
b

a Re(z)

Figura 1.6: Representacin grfica del conjugado de z, denotado mediante z.

Algunas propiedades del conjugado:
Propiedad 1
1. z + w = z + w

1.6. Unidad imaginaria y representacin binmica

19

2. zw = zw
3. z + z = 2Re(z)
4. z z = 2iIm(z)
5. z = z
6. Si z es raz de un polinomio P(z) de coeficientes reales, entonces z tambin es raz.
La demostracin de 1 a 5 quedan como ejercicio. Para ver 6 observar que si P (z) =
an z n + + a1 z + a0 con ai R, entonces P (z) = P (z).
La conjugacin resulta til para el clculo de divisiones en C. Se multiplica numerador y denominador por el conjugado del denominador, y as se obtiene la forma
binmica del cociente.
Ejemplo 4

1.6.2.

2+3i
1+i

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

2+3i2i+3
2

5
2

+ 2i .

Propiedades del mdulo

Notemos que el mdulo de |z| es la distancia del punto z al origen, y como tal tiene
la propiedad de las longitudes de segmentos.
Propiedad 2
1. |z| 0
2. z = 0 sii z = (0, 0)
3. |Re(z)| |z| ; |Im(z)| |z|
4. |zw| = |z||w| ; | wz | =

|z|
|w|

5. zz = |z|2
6. |z + w| |z| + |w| (Desigualdad triangular)
Demostracin. Sea z = a + bi ; w = c + di
3. Re(z)2 = a2 a2 + b2 = |z|2 |Re(z)| |z| (Idem para |Im(z)| |z|)
4. |zw|2 = |(ac bd) + (ad + bc)i|2 = (ac bd)2 + (ad + bc)2 = a2 c2 + b2 d2 +
a2 d2 + b2 c2 = (a2 + b2 )(c2 + d2 ) = |z|2 |w|2 |zw| = |z||w|

20

Captulo 1. Nmero complejo

6. |z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + zw + zw =
|z|2 + |w|2 + zw + zw = |z|2 + |w|2 + 2Re(zw) |z|2 + |w|2 + 2|zw| =
|z|2 + |w|2 + 2|z||w| = (|z| + |w|)2 |z + w| |z| + |w|

Se pierde algo en la extensin de R a C? Hasta ahora nos hemos conformado

con tener en C una estructura de cuerpo, es decir con los Axiomas 1 a 6 presentados
al principio. Como veremos a continuacin, no es posible extender para C los Axiomas 7 a 9, es decir que no es posible definir un orden en los complejos que preserve
las propiedades que tiene en R.
Supongamos que esto fuera posible, y existiera C+ C cumpliendo los Axiomas 7 a 9. Si el complejo i C+ , deducimos por el Axioma 7 que i2 = 1 C+ , y
entonces (1)2 = 1 C+ , de donde 1+1 = 0 C+ , lo que contradice el Axioma 9.
Si i
/ C+ , por Axioma 8 i C+ , y en forma anloga se llega a una contradiccin.
Por lo tanto, si definimos un orden en C, debemos sacrificar algunas propiedades que
tiene en R (en particular, la monotona del producto del Axioma 7). En cuanto al Axioma 10, que da la completitud de R, obviamente depende tambin de la nocin de
orden que no tenemos en C. De hecho, pueden darse otras versiones equivalentes de
la nocin de completitud en R, que s pueden extenderse a C. Volveremos a esto en el
Captulo 2.

1.7.

Exponencial compleja

La idea es definir una funcion f : C C f (z) = ez , que llamaremos exponencial

compleja, y que tenga propiedades similares a la exponencial real ex . Las propiedades
de ex que deseamos conservar son la ley de exponentes ex+y = ex ey y por supuesto
que ez = ex si Im(z) = 0. Daremos una definicin para ez con z C y veremos que
se conservan estas propiedades.
Definicin 11 Si z = a + bi, definimos ez = ea+bi como el nmero complejo ez =
ea (cos(b) + isen(b)).
Proposicin 22 Si z = a + ib y w = c + id son dos nmeros complejos entonces
ez ew = ez+w .
Demostracin. ez = ea (cos(b) + isen(b)) ; ew = ec (cos(d) + isen(d)) ez ew =
ea ec (cos(b)cos(d)+icos(b)sen(d)sen(b)sen(d)+isen(b)cos(d)) = ea ec (cos(b)cos(d)
sen(b)sen(d) + i(cos(b)sen(d) + sen(b)cos(d))
Ahora

cos(b)cos(d) sen(b)sen(d) = cos(b + d)
cos(b)sen(d) + sen(b)cos(d) = sen(b + d)

1.7. Exponencial compleja

21

Adems ea ec = ea+c porque a y c son reales. Entonces tenemos que:

ez ew = ea+c (cos(b + d) + isen(b + d)) = ez+w

Es inmediato adems ver que si z = a + 0i, entonces ez = ea cos(0 + isen(0)) = ea .

Ejemplo 5 ei = 1
Proposicin 23 ez 6= 0 z C.
Demostracin. ez ez = e0 = 1 de donde ez 6= 0

Se deduce tambin de aqu que (ez )1 = ez .

Proposicin 24 Si z = a + ib entonces |ez | = ea ; en particular, |eib | = 1.
p
Demostracin. |ez | = ea cos(b)2 + sen(b)2 = ea

Proposicin 25 ez = 1 z es un mltiplo de 2i.

Demostracin.
() Si z = 2in donde n es entero entonces: ez = cos(2n) + isen(2n) = 1
() Supongamos ahora que ez = 1, entonces |ez | = ea = 1 a = 0.
Por lo tanto z = ib. Ahora, eib = cos(b) + isen(b) = 1, de donde cos(b) = 1, sen(b) =
0 y por lo tanto b = 2n.

Corolario 1 ez = ew z = w + i2n, con n entero.

Demostracin. ez = ew ezw = 1 z w = i2n z = w + i2n

22

Captulo 1. Nmero complejo

1.7.1.

Frmulas de Euler

A partir de las ecuaciones ei = cos() + isen(); ei = cos() isen()

se deduce que:
ei +ei
= cos()

ei ei
2i

= sen()

Estas frmulas son conocidas como frmulas de Euler. Veremos ahora una notacin
para los complejos sumamente cmoda para efectuar las operaciones de divisin y
multiplicacin.

Proposicin 26 Todo nmero complejo z = a + ib, puede ser representado como

z = ei donde = |z| y es un argumento de z.

Demostracin. z = a + ib. Recordemos la notacin polar: a = cos(), y

b = sen(), de donde: z = (cos() + isen()). Como ei = cos() + isen()
z = ei

Utilizando las propiedades de la exponencial es ahora muy fcil multiplicar y dividir dos complejos. Sea z1 = 1 ei1 y z2 = ei2
z1 z2 = (1 ei1 )(2 ei2 ) = 1 2 ei(1 +2 )
1 e1
1
z1
=
= ei(1 2 )

2
z2
2 e
2

1.7.2.

Aplicaciones geomtricas

Consideremos la funcin del plano complejo en s mismo dada por F (z) = z + ,

donde , C. Estudiaremos qu interpretacin geomtrica tiene esta transformacin
del plano en el plano.
Caso 1. = 1, arbitrario. En este caso F (z) = z + representa una traslacin de
vector en el plano, como se observa en la Figura 1.7

1.7. Exponencial compleja

23
z+

Im(z)

Re(z)
Figura 1.7: Traslacin del complejo z por el complejo , con resultado z + .

Caso 2. = 0, R. En este caso, se trata de una homotecia de centro (0, 0) y razn

como se observa en la Figura 1.8.

Im(y)

( > 1)
z
z

Re(z)
Figura 1.8: Multiplicacin del complejo z por el factor real , con resultado z.

Caso 3. = 0, = ei . Si z = ei , entonces z = ei(+) , de donde (ver Figura 1.9),

la funcin equivale a una rotacin de centro (0, 0) y ngulo .

24

Captulo 1. Nmero complejo

Im(z)

ei z
z

+
Re(z)

Figura 1.9: Rotacin del complejo z por un ngulo , con resultado zei .
Caso 4. = 0, = 0 ei . A partir de los casos 2 y 3 se deduce que la funcin F (z) = z
representa la composicin de una rotacin de ngulo y una homotecia de razn
0 , es decir una rotohomotecia en el plano.
Caso 5. El caso general se deduce de los anteriores. Se trata de la composicin de una
rotohomotecia con una traslacin, lo que equivale a una semejanza directa en el
plano.
Excepto en el caso de una traslacin ( = 1), se sabe que una tal semejanza tiene
un nico punto unido (z0 es un punto unido de F si F (z0 ) = z0 ). Obtengmoslo:
De z = F (z) = z + se tiene z = /(1 ), punto unido de F .
Ejercicio 1 Mostrar que F (z) = iz representa una rotacin en el plano de centro
(0,0) y de ngulo 90 .
Ejercicio 2 Sea F (z) = 21z + (1 2i). Hallar como ejercicio el punto unido y la
imagen del eje imaginario.

1.7.3.

Potencias enteras y races

Definicin 12 Dados un nmero complejo z y un entero, definimos la n-sima potencia de z como sigue
 0
z = 1; z n+1 = z n z si n 0
z n = (z 1 )n
si z 6= 0 y n > 0
Esta definicin permite mantener las reglas usuales de exponente, es decir si m y n son
enteros y z 6= 0:

1.7. Exponencial compleja

25

z n z m = z n+m y (z1 z2 )n = z1n z2n

Es fcil realizar la demostracin por induccin completa y queda a cargo del lector.
Ejemplo 6 Calcular las potencias de i: i0 = 1; i1 = i; i2 = 1; i3 = i; i4 = 1.
Observamos que i4 = i0 , de donde i4k+j = ij k, j. Es decir, las potencias de i se
repiten cada cuatro, solo tomando los valores 1, i, 1, i.
En coordenadas polares, si z = ei entonces z n = n ein . La potencia queda
expresada en forma mucha ms compacta que en notacin binmica. La Figura 1.10
ilustra geomtricamente la potencia compleja en notacin polar.
Im(z)
zn
n

( > 1)
n

Re(z)

Figura 1.10: Representacin polar de la potencia z n de un complejo z.

Ejercicio 3 Probar el teorema de De Moivre: Sea n un nmero entero, entonces
(cos() + isen())n = cos(n) + isen(n)
Aplicar lo anterior para demostrar que:
sin(3) = 3cos()2 sen() sen()3
cos(3) = cos()3 3cos()sen()2
El siguiente teorema da una frmula para la raz n-sima de un complejo.
Proposicin 27 Si z 6= 0, z = ei y si n es un entero positivo, entonces existen exactamente n nmeros complejos distintos z0 , z1 , . . . , zn1 (llamados races n-simas)
tales que:
 n
zk = z para cada k = 0, 1, . . . , n 1
1
(k = 0, 1, . . . , n 1)
zk = k eik con k = n y k = n + 2k
n

26

Captulo 1. Nmero complejo

Demostracin. Es evidente que los n nmeros zk (k = 0, 1, . . . , n 1) verifican que

zkn = z pues zkn = nk eink = ei .
Hay que probar que son los nicos nmeros que cumplen esto. Supongamos que
w = Aei verifica que wn = z. Entonces An ein = ei de donde An = (y por tanto
1
A = n ) y n = + 2k para algn k, de donde = +2k
. Pero si k toma todos los
n
valores enteros w slo toma valores z0 , z1 , . . . , zn1 .

La proposicin anterior prueba que un complejo tiene n races n-simas, que tienen
todas el mismo mdulo y argumentos que difieren en mltiplos de 2/n. Desde el
punto de vista geomtrico las n races ocupan los vrtices de un polgono regular (ver
Figura 1.11).
Im(z)

z1
2
n

z2

/n

z0
Re(z)

z3
z4

Figura 1.11: Las n races

el ejemplo n = 5

z del complejo z ocupan los vrtices de un polgono. En

Ejemplo 7 Las 4 races cuartas de 1 son zi = 1ei(2k/4) , k = 0, 1, 2, 3. O sea:

1, i, 1, i. Graficarlas.

1.8. Logaritmo complejo

1.8.

27

Logaritmo complejo

Ya hemos visto que ez 6= 0. Sin embargo 0 es el nico nmero que ez no puede

tomar jams. Esto se ve en el siguiente resultado que al mismo tiempo sirve para
justificar la definicin del logaritmo complejo.
Proposicin 28 Si z 6= 0 es un nmero complejo entonces existen infinitos nmeros
complejos w tales que ew = z. Adems estos nmeros tienen la forma
log |z| + i(Arg(z) + 2n), con n entero
.
Demostracin. Como elog |z|+iArg(z) = elog |z| eiArg(z) = |z|eiArg(z) = z, vemos que
w = log |z| + iArg(z) es una solucin de la ecuacin ew = z. Si w0 es otra solucin
entonces:
ew = ew0 y w w0 = 2ki.

Queda justificado entonces lo siguiente:

Definicin 13 Sea z 6= 0, z = ei . Denotamos por log(z) al conjunto de los logaritmos de z, es decir:
log(z) = {w C : ew = z} = {log() + i( + 2k), k Z}
Ntese que lo anterior no define una funcin, ya que existen infinitos logaritmos para
un complejo z. Se dice a veces que log(z) es una funcin multiforme aunque en rigor
no es una funcin.
Para definir una funcin, hace falta elegir uno de los logaritmos, lo que equivale a elegir
uno de los argumentos de z. Si se elige el argumento principal, se define la funcin
logaritmo principal:

Definicin 14 z 6= 0. La funcin log(z) = log |z| + iArg(z) se llama logaritmo principal de z.

Si z es real positivo entonces z = x + 0i log(z) = log(x) pues |z| = x y
Arg(z) = 0. Lo cual muestra que el logaritmo principal complejo extiende la definicin del logaritmo real al campo complejo.

28

1.9.

Captulo 1. Nmero complejo

Seno y coseno complejo

Definicin 15 Definimos la funcin seno, coseno y tangente compleja como:

cos(z) =

eiz + eiz
2

sen(z) =

eiz eiz
2i

tg(z) =

eiz eiz
sen(z)
=
cos(z)
i(eiz + eiz )

Estas definiciones extienden las frmulas de Euler al campo complejo. Es fcil observar que las funciones trigonomtricas complejas cuando z es real coinciden con las
trigonomtricas reales y adems el seno y coseno complejo son peridicas de perodo
2 y la tangente es peridica de perodo .
Al obtener frmulas para las funciones trigonomtricas en notacin binmica, aparecen las funciones hiperblicas reales. Las repasaremos brevemente.

sh(x) =

ex ex
2

ch(x) =

ex + ex
2

th(x) =

sh(x)
ex ex
= x
ch(x)
e + ex

(seno, coseno y tangente hiperblicas respectivamente). Tales funciones son representadas en la Figura 1.12:

1.9. Seno y coseno complejo

f (x) = ch(x)

29

f (x)
f (x) = sh(x)

1
x
1

f (x) = th(x)

Figura 1.12: Representacin grfica de las funciones ch(x), sh(x) y th(x).

Se cumple que ch(x)2 sh(x)2 = 1
La siguiente proposicin da una frmula cmoda para las funciones trigonomtricas complejas.
Proposicin 29 Sea z = a + ib, entonces tenemos:
1. cos(z) = cos(a)ch(b) isen(a)sh(b)
2. sen(z) = sen(a)ch(b) + icos(a)sh(b)
3. tg(z) =

tg(a)+ith(b)
1itg(a)tg(b)

Demostracin. 2cos(z) = eiz +eiz = eb (cos(a)+isen(a))+eb (cos(a)isen(a)) =

cos(a)(eb + eb ) + isen(a)(eb eb ) = 2cos(a)ch(b) 2isen(a)sh(b)

Anlogamente se demuestran las otras funciones.

Ejercicios. Probar las siguientes identidades:
1. sen(z)2 + cos(z)2 = 1
2. sen(z + w) = sen(z)cos(w) + cos(z)sen(w)

30

Captulo 1. Nmero complejo

3. cos(z + w) = cos(z)cos(w) sen(z)sen(w)
4. sen(2z) = 2sen(z)cos(z)
5. cos(2z) = cos(z)2 sen(z)2

|sen(z)|2 = sen(a)2 + sh(b)2
6. si z = a + ib
|cos(z)|2 = cos(a)2 + sh(b)2
de donde se deduce que |sen(z)| y |cos(z)| no son acotados.

Bibliografa
[1] L.V. Ahlfors. Anlisis de variable compleja: introduccin a la teora de funciones
analticas de una variable compleja. Ciencia y tcnica (Aguilar).: Matemticas y
Estadstica. Aguilar, 1966.
[2] T.M. Apostol. Calculus. Number v. 2 in Calculus: clculo con funciones de varias
variables y lgebra lineal, con aplicaciones a las ecuaciones diferenciales y a las
probabilidades. Revert, 1996.
[3] R. Courant. Differential and Integral Calculus. Number v. 1 in Wiley Classics
Library. Wiley, 1988.
[4] R. Courant and F. John. Introduccin al clculo y al anlisis matemtico. Number
vol. 2 in Introduccin al clculo y al anlisis matemtico. Limusa, 2005.

31