Nmero Complejo / Definicin y Propiedades

1 NUMERO COMPLEJO
1.1

DEFINICION Y PROPIEDADES DE LOS NUMEROS COMPLEJOS

1.1.1 Definicin
La definicin de nmero complejo est basada en la nocin de pares ordenados de nmeros
reales. Si a, b, c, d son elementos de los pares ordenados (a, b) , (c, d) se dice que dichos
pares son iguales, (a, b) = (c, d) si a = c y b = d. De esto resulta que, si b a (a, b) (b, a), como
pares ordenados (a, b) y (b, a) son diferentes.
Definicin 1.1:
Sea ahora C el conjunto de todo los pares ordenados de nmeros reales, en el cual las
operaciones de adicin + y multiplicacin estn definidas por medio de las relaciones
siguientes:
(a, b) + (c, d) = (a + c , b + d)
(a, b) (c, d) = (a c b d, a d + b c)
El conjunto C es el conjunto de los nmeros complejos y los elementos de C se
llaman nmeros complejos
Fcilmente se verifica que las propiedades conocidas de la adicin y la
multiplicacin de nmeros reales se cumplen tambin para la adicin y la multiplicacin en C, a
saber:
Propiedades:
Para todo z1 , z2 , z3 C
a) z1 + z2 = z2 + z1
b) z1 + ( z2 + z3 ) = ( z1 + z2 ) + z3
c) z1 z2 = z2 z1
d) z1 ( z2 z3 ) = ( z1 z2 ) z3
e) z1 ( z2 + z3 ) = z1 z2 + z1 z3
f) un elemento nico C, a saber = (0,0), tal que
z + = z

zC

g) un elemento nico w C, w = (1,0), tal que

zw= z

zC

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Definicin y Propiedades

Ejemplo:
(1,2) + (3,4) = (1 + 3, 2 + 4) = (4,6)
(1,2) (3,4) = ( 1 3 2 4, 1 4 + 2 3) = (-5, 10)

1.1.2 La unidad imaginaria

Veamos ahora que pasa con los nmeros complejos de la forma z = (a,0)
(a, 0) + (b, 0) = (a + b, 0)
(a, 0) (b, 0) = (ab, 0)
Los nmeros complejos de la forma (a, 0) forman un subconjunto especial de C. En efecto,
existe una correspondencia biunvoca entre ese subconjunto y el conjunto , dada por (a, 0) a,
observar que:
(a, 0) + (b, 0) = (a + b, 0) a + b
(a, 0) (b, 0) = (ab, 0) a b
se tiene entonces que los nmeros complejos de la forma (a, 0) se comportan con respecto a
la adicin y a la multiplicacin como los nmeros reales. En vista de esto daremos la siguiente
definicin:
Definicin 1.2:
Sea z = (a,b) C, entonces el nmero real a se llama la parte real, y el nmero real
b la parte imaginaria del nmero complejo z, lo cual lo expresamos por medio de la
notacin: a = Re(z), b = Im(z)
Por esta definicin podemos ver un nmero real resulta ser precisamente un nmero
complejo cuya parte imaginaria es igual a cero.
Ejemplo:
consideremos el siguiente nmero complejo i = (0,1)
(0,1)2 = (0,1)(0,1) = (-1,0) -1, es decir que i2 = -1
El nmero i, llamado la unidad imaginaria, resulta ser una raz cuadrada de -1. La ecuacin
z2 + 1 = 0, que no tiene ninguna solucin en , tiene en C las soluciones z = i y z = - i ya que (-i)2
= (i)2 = -1.
La notacin de un nmero complejo como un par ordenado se le llama notacin cartesiana
para los nmeros complejos. Veremos ahora otra forma de representar los nmeros complejos

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Definicin y Propiedades

utilizando la unidad imaginaria i, para ello consideremos ahora un nmero complejo cualquiera z =
(a, b).
(a, b) = (a, 0) + (0, b) = (a, 0) + (0, 1) (b, 0) y (a, 0) a, (b, 0) b
resulta que todo z C se puede representar en la forma
z = a + i b = Re(z) + i Im(z)
y esta es lo que usualmente se llama notacin binmica
Debido a que el clculo con expresiones de la forma a + i b es ms fcil que con pares, es
comn y corriente utilizar la representacin binmica y sin que haya lugar a confusin, el cero de
los nmeros complejos (0, 0) = 0 + i 0 se suele denotar por 0, exactamente como el cero de los
nmeros reales.

1.1.3 Diferencia y cociente de nmeros complejos

Definicin 1.3:
Dados dos nmeros complejos u, v, el nmero z solucin de la ecuacin u + z = v se
llama la diferencia de minuendo u y substraendo v, y se denota por v - u.
Ejemplo:
Si u = (3, 1) = 3 + i y v = (2, 5) = 2 + i 5, entonces
v u = (2 - 3, 5 - 1) = -1 + i 4.
Dados dos nmeros complejos u y v 0, de la definicin de multiplicacin en C resulta que
existe un solo nmero complejo z, solucin de la ecuacin u = v z. En efecto en virtud de la
ac + bd bc ad
definicin de producto, si u = (a, b) y v = (c, d) 0 , se tiene z = 2
,
. Obsrvese
c + d 2 c2 + d 2
que la condicin v = (c, d) 0 es equivalente a c2 + d2 > 0.
Definicin 1.4:

Dados dos nmeros complejos u, v 0, el nmero z solucin de la ecuacin u = v z

se llama cociente entre u y v y se anota u/v
Ejemplo:
Para u = (4, 1) y v = (3, -1), se tiene u/v = (11/10,7/10) = 1/10(11 + i 7)
Las diferentes operaciones algebraicas definidas en el conjunto de los nmeros complejos
pueden enunciarse por medio de la notacin binomial en la forma siguiente:

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Conjugado y Mdulo

(a + i b) + (c + i d) = (a + c) + i (b + d)
(a + i b) (c + i d) = (a c b d) + i (a d + b c)
(a + i b) - (c + i d) = (a - c) + i (b - d)

a + ib
ac + bd
bc ad
= 2
+i 2
2
c + id
c +d
c +d2

1.2

CONJUGADO Y MODULO DE UN NUMERO COMPLEJO

1.2.1 Conjugado
Definicin 1.5:

El conjugado z de un numero complejo z = (a, b) = a + i b es el nmero z = (a, -b)

= a i b.
Propiedades:

Sean y y z C

a) y + z = y + z
b) y z = y z
c) y z = y - z
y
y
d) =
, z0
z
z

e) z = z
f) Re(z) =

1
1
(z + z ) , Im(z) =
(z z )
2
2i

La demostracin de las propiedades es inmediata.

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Conjugado y Mdulo

1.2.2 Mdulo
Definicin 1.6:

El mdulo o valor absoluto | z | de un nmero complejo z = (a, b) = a + i b es el

nmero real | z | =

a2 + b2

Ejemplo:
|3 +i4|=

32 + 4 2 =

9 + 16 = 5

Propiedades:

a) | z | 0 z C
b) | z | = 0 z = 0
c) | Re( z ) | | z | , | Im( z ) | | z |
d) | z | = | - z | = | z |
e) | z |2 = z z
f) | y z | = | y || z |
g) | y + z | | y | + | z | (Desigualdad Triangular)
Demostracin:
De la propiedad a) a la e) las demostraciones son inmediatas, haremos las dos
ltimas:
f) | y z |2 = ( y z )( y z ) = ( y z )( y z ) = y ( z y ) z = y ( y z) z = ( y y )( z z ) = | y |2| z |2
g) | y + z |2 = ( y + z )( y + z ) = ( y + z )( y + z ) = y y + z y + y z + z z =
= | y |2 + z y + y z + | z |2

Sea x = z y , vemos que x = z y = z y = z y = y z , entonces se verifica que:

z y + y z = x + x = 2 Re(x) = 2 Re(z y ) 2| z y | = 2| z || y | = 2| z || y |
| y + z |2 = | y |2 + z y + y z + | z |2 | y |2 + 2| z || y | + | z |2 = (| z | + | y |)2
#

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Conjugado y Mdulo

1.2.3 Interpretacin Geomtrica

En el clculo de nmeros complejos es muy conveniente hacer uso de la siguiente

interpretacin geomtrica de dichos nmeros:
al nmero complejo z = (a, b) se le hace corresponder el punto P del plano de abscisa a y
ordenada b; viceversa, a todo punto P del plano de abscisa a y ordenada b se asocia el nmero
complejo z = (a, b).
Como esta correspondencia entre puntos y nmeros es biunvoca, se suele identificar C con
el plano, llamado por esta razn el plano complejo, de modo que no se hace ninguna diferencia
entre el nmero z = (a, b) y el punto P (a, b) del plano. En el plano complejo, el eje de las x (o eje
de las abscisas) se llama el eje real y el eje de las y (o eje de las ordenadas) el eje imaginario. La
razn de tal denominacin es muy sencilla: la parte real de un nmero complejo est representada
por los puntos del eje real, mientras que los puntos del eje imaginario representan nmeros de la
forma i b, b , parte imaginaria de un nmero complejo.
Es grande la importancia y utilidad de esta representacin geomtrica de los nmeros
complejos: el conjugado del punto z no es otra cosa que el punto simtrico de z con respecto al eje
real; el mdulo de un nmero z resulta ser la distancia (euclidiana) del punto z al origen, y la
distancia entre dos puntos y = (a , b) y z = (c, d) definida por

(a c) 2 + (b d ) 2 no es ms que

|yz|
Por medio de la nocin de mdulo se pueden describir geomtricamente muchos conjuntos
de nmeros complejos. Por ejemplo, A = { z C / | z | = l }, es el lugar geomtrico de todos los
puntos z del plano complejo que estn a una distancia 1 del origen , es decir, A es la circunferencia
de centro el origen y radio 1

1.2.4 Representacin Polar

Veamos ahora que se entiende por la representacin polar de los nmeros complejos. Sea z
= x + i y un punto diferente de cero, es decir = | z | 0, y es el ngulo, medido en radianes,
formado por la direccin positiva del eje real y por el vector Oz, de origen O y extremo z .
Este ngulo , se llama argumento, de un nmero complejo z, arg(z). Para encontrar el
ngulo , se toma como sentido positivo el sentido opuesto al del movimiento de las agujas del
reloj. Como podemos observar en la figura para un mismo nmero complejo z, obtenemos infinitos
valores distintos de . Si el valor de ngulo est entre - y se le llama argumento principal y
cualquier otro valor de diferir en un valor 2 k del argumento principal, con k un valor entero.

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Funcin Exponencial Compleja

Como x = cos , y = sen , todo nmero complejo z = x + i y 0 se puede escribir de la

siguiente manera: z = (cos + i sen ), donde = | z | y = arg(z) + 2 k . Es usual representar los
complejos utilizando los valores de , que se llama notacin polar y se representa
Ejemplo:
Sea z = 1 i en este caso el argumento principal Arg(l i) = -/4, entonces el valor del
ngulo = -/4 + 2 k . El mdulo es en este caso | 1 i | = 2
Utilizando la notacin polar z =

1.3

2 -/4

FUNCION EXPONENCIAL COMPLEJA

1.3.1 Definicin de funcin exponencial compleja

En la teora de las funciones de variable compleja, la funcin exponencial ez desempea un

papel fundamental. En la definicin que damos a continuacin se supone conocida la funcin ex
para x real.
Definicin 1.7:

Dado el nmero complejo z = x + i y el valor de ez est definido de la siguiente

manera:
ez = ex ( cos y + i sen y)
Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Funcin Exponencial Compleja

Nota:
Cuando z = i y , el valor de la exponencial ei y = cos y + i sen y, ya que e0 = 1. Si
recordamos que en forma polar podemos representar los nmeros complejos z = (cos + i sen ),
podemos escribir cos + i sen = ei. De esta manera podemos representar los nmeros complejos
de la siguiente manera:
z = ei
donde = | z | y = arg(z) + 2 k . Esta notacin se llama notacin exponencial
Propiedades:

Sean y , z C
a) ey+z = ey ez
b) e-z =

1
ez

c) ez 0 z C
d) ez = 1 z = i (2k) con k un nmero entero
Demostracin:
a) ea+ibec+id = [ea(cos b + i sen b)] [ec(cos d + i sen d)] = ea+c[(cos b cos d sen b sen d) +
i(sen b cos d + sen d cos b)] = ea+c[cos(b + d) + i sen(b + d)] = e(a+c)+i(b+d)
b) e-z = e-a-ib = e-a(cos-b + i sen-b) = e-a( cos b i sen b )

cos 2 b + sen 2 b
cos b + i sen b
= a
=
cos b + i sen b e (cos b + i sen b)

1
ez

c) e-z ez = e0 = 1
d) () ez = cos(2k) + i sen(2k) = 1 ya que cos(2k) = 1 y sen(2k) = 0 k Z
() z = a + i b, ez = ea ( cos b + i sen b) = 1, entonces se verifica:
eacos b = 1 y easen b = 0
a , entonces ea 0, quedando entonces sen b = 0, por lo que b = n , n Z
1 si n es par
Ahora cos b = cos n =
, como ea > 0 a , necesariamente n es par.
- 1 si n es impar
Por lo tanto eacos b = eacos 2k = ea = 1, obteniendo a = 0

#
Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Funcin Exponencial Compleja

1.3.2 Producto

Sea z1 = 1 e i1 y z2 = 2 e i 2 , vemos que z1 z2 = 1 e i1 2 e i 2 = 1 2 e i (1 + 2 )

Por otro lado | z1 z2 | = | z1 | | z2 | = 1 2, entonces z1 z2 = 1 2 e i arg( z1 z 2 )
e i (1 + 2 ) = e i arg( z1 z 2 ) , multiplicando por el inverso obtenemos e i (arg( z1 z 2 ) - (1 + 2 )) = 1, por la
propiedad d) de la funcin exponencial obtenemos:

arg( z1 z2) = arg( z1) + arg( z2 ) + 2k, donde k Z

Conviene observar que el entero k puede ser distinto de cero, de modo que el argumento
principal del producto de dos nmeros complejos puede no ser igual a la suma de los argumentos
principales de esos dos nmeros. Por ejemplo, si z1 = z2 = -1, entonces arg(z1) = arg(z2) = , y sin
embargo, arg( z1 z2) = arg(1) = 0. En este caso el valor de k es -1.

1.3.3 Potencia

( )n = e

Sea n un entero positivo, se obtiene por induccin de la propiedad a) que e z

nz

En el caso particular de que z = i , obtenemos:

(ei )n = e

n i

= cos (n ) + i sen (n) = (cos + i sen )n

que se conoce con el nombre de Formula de De Moivre

1.3.4 Raz ensima de un nmero complejo

Para determinar z1/n, la raz ensima de un nmero complejo z, necesitamos hallar el o los
valores x que verifican que xn = z = ei
Sea x = ei, entonces xn = ( ei)n = n ein = ei en virtud de lo cual obtenemos las
+2k
siguiente ecuaciones = 1/n y n = + 2k, despejando nos queda, =
, donde el k es
n
un valor entero. De todos los posibles de valores de k basta slo considerar k = 0,1, 2,...,n-1, ya que
los otros valores conducen a valores de x que difieren en un mltiplo de 2, con lo que
obtendremos n races diferentes.
Ejemplo:
Las tres races cbicas de la unidad (n = 3) estn dada por:
= 1/3 = 11/3 = 1

0+2k
con k = 0, 1 , 2 obtenemos tres valores de , 1 = 0, 2 = 2/3 y 3 = 4/3, y
3
los complejos resultantes son:
=

Ctedra de Matemtica / Facultad de Qumica

Anlisis I

Nmero Complejo / Funcin Exponencial Compleja

10

z1 = 1 ei0 = 1
z2 = 1 ei2/3 = cos(2/3) + i sen(2/3) =

1+ i 3
2

z3 = 1 ei4/3 = cos(4/3) + i sen(4/3) =

1 i 3
2

Se puede ver que las tres races de la unidad son puntos que estn en la circunferencia de
centro en el origen y de radio uno, y que las tres races forman un tringulo equiltero inscripto en
dicha circunferencia.

Ctedra de Matemtica / Facultad de Qumica

Anlisis I