Nmeros complejos

Introduccin

Nmeros complejos
2
2.1 Introduccin
Los algebristas de los siglos XV y XVI, al resolver
ecuaciones de segundo grado, por ejemplo x 2

4 36
4x + 13 = 0, y obtener la expresin x =
, decan que no era posible extraer la raz cuadrada
2
de un nmero negativo y por tanto la ecuacin no tena solucin. Pero en algn momento los
algebristas se decidieron a operar con estas expresiones como si se tratara de nmeros reales:

4 36
2

4 36 1
2

= 2 3 1,

y seguan operando con 1 como si se tratara de un nmero real. Fu en 1777 cuando Euler le dio

a 1 el nombre de i (por imaginario) y a partir de entonces se ha desarrollado toda la teora de

los nmeros complejos. En estas notas vamos a dar solamente unos breves conceptos de distintas
formas de expresar los nmeros complejos y como se trabaja con ellos. Pero antes de empezar
una advertencia: aunque histricamente (y vulgarmente) se llama i a la raz cuadrada de 1 esta
expresin no es totalmente cierta. Si as fuera obtendramos la siguiente cadena de igualdades que
no es posible,... verdad?
q

1 = 1 = (1)(1) = 1 1 = ii = i2 = 1.

2.2 El cuerpo de los nmeros complejos.

A la vista de la paradoja anterior es evidente que no vamos a definir i = 1 para comenzar a

trabajar con complejos. Nuestra definicin va a ser ms acadmica y, puede que ms abstracta,
pero enseguida veremos que es mejor.
Para nosotros los nmeros complejos van a consistir en pares de nmeros reales dotados de una
suma y un producto que van a convertir a R R en un cuerpo conmutativo.

2.2.1

Suma de complejos
Recordemos que para dotar a un conjunto, en este caso R R, de estructura de cuerpo se necesita
una suma y un producto que verifiquen ciertas propiedades. La suma no es nada nuevo, es la suma
de R2 como espacio vectorial, es decir, si (a, b), (c, d) son dos elementos de R2 , definimos su suma
como
(a, b) + (c, d) = (a + c, b + d).
Es evidente (por otra parte nosotros ya lo sabamos del estudio de espacios vectoriales) que esta
suma cumple las propiedades que tiene que cumplir:
1) Asociativa.
2) Conmutativa.
3) Existencia de neutro ((0, 0)).
4) Existencia de inverso ((a, b) = (a, b)).

15

El cuerpo de los nmeros complejos.

Nmeros complejos

z+w

a+c

Ilustracin 2.1 Suma

de nmeros complejos
La representacin grfica de la suma es conocida. Dos nmeros complejos z = a + ib y w = c + id
determinan un paralelogramo cuya diagonal (ver figura 2.1) es z + w.

2.2.2

Producto de complejos
El producto s es nuevo. Dados (a, b), (c, d) R2 , definimos su producto como
(a, b)(c, d) = (ac bd, ad + bc).
Tampoco es difcil comprobar que este producto es adecuado, en el sentido de que verifica las
propiedades
5) Asociativa,
6) Conmutativa,
7) Existencia de elemento neutro ( el neutro para el producto es (1, 0), comprebese).
8) Si (a, b) (0, 0) entonces su inverso es


b
a
.
(a, b)1 = a2 +b
2 , a2 +b 2

Forma cartesiana

Comprueba tambin que (a, b)(a, b)1 = (1, 0).

9) Distributiva ((a, b)((c, d) + (e, f )) = (a, b)(c, d) + (a, b)(e, f )).




18 1
3 4
As, por ejemplo, (2,3)
(3,4) = (2, 3) 25 , 25 = 25 , 25 . Pues bien, los nmeros complejos son justamente el cuerpo (R2 , +, ). Es decir cada nmero complejo es una pareja (a, b) donde a y b son
nmeros reales, y la suma y el producto de complejos son los que hemos descrito antes. A esta
forma de representar los nmeros complejos se la suele llamar forma cartesiana. Esta forma es
muy cmoda para trabajar con sumas de nmeros complejos pero no lo es tanto para trabajar con
el producto: prueba a calcular (1, 1)4 .

No hay un orden en C compatible con la estructura algebraica

Al ampliar R a C ganamos mucho pero tambin perdemos algo. Te recuerdo que R tiene dos
estructuras: la algebraica y la de orden. Ambas estructuras estn armoniosamente relacionadas.
Pues bien, en C no hay nada parecido. Podemos definir relaciones de orden en C, pero no hay
ninguna de ellas que sea compatible con la estructura algebraica. En efecto, si suponemos que
es una relacin de orden en C compatible con su estructura algebraica, como i 0 habra de ser

16

Nmeros complejos

Forma binmica de los complejos.

0 < i2 = 1 (esto todava no es contradictorio porque pudiera ocurrir que la relacin no respetara
el orden de R). Pero tambin 0 < 12 = 1, luego 0 < 1 + (1) = 0 y eso s que es contradictorio.
Por tanto, es imposible definir un concepto de nmero complejo positivo de forma que la suma y
el producto de complejos positivos sea positivo. Por ello no se define en C ningn orden. As que
ya sabes: mucho cuidado con no escribir desigualdades entre nmeros complejos! Naturalmente,
puedes escribir desigualdades entre las partes reales o imaginarias de nmeros complejos, porque
tanto la parte real como la parte imaginaria de un nmero complejo son nmeros reales.

2.3 Forma binmica de los complejos.

Dentro de R2 podemos distinguir el subconjunto formado por los elementos que tienen la segunda
componente 0, {(a, 0), a R}. Restringidos la suma y el producto a este subconjunto tenemos
una propiedad curiosa y es que nos seguimos quedando en el subconjunto. Es inmediato observar
que
(a1 , 0) + (a2 , 0) =(a1 + a2 , 0), a1 , a2 R,
(a1 , 0)(a2 , 0) =(a1 a2 , 0),

a1 , a2 R.

Esto hace que el conjunto {(a, 0), a R}, con la suma y el producto definidos antes sea tambin
un cuerpo, pero este cuerpo se puede identificar con los nmeros reales mediante la identificacin
R {(a, 0), a R}
a (a, 0)
Usaremos esta identificacin; es decir para nosotros van a ser indistinguibles el complejo (a, 0) y
el nmero real a. Entonces tenemos que cualquier nmero complejo (a, b) se puede poner como
(a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0)(0, 1) = a + b(0, 1).
Si ahora llamamos (0, 1) = i, obtenemos que el nmero complejo z = (a, b) (se le suele llamar
a los nmeros complejos con letras como z, u, v,...) se puede poner como z = a + ib. Esto es lo
que se llama la forma binmica de un nmero complejo. Al nmero real a se le llama la parte
real del complejo y al nmero b se le llama la parte imaginaria. A i tambin se le llama la unidad
imaginaria. Es claro que i no es ningn nmero real (no es un par con la segunda componente 0) y
cumple una propiedad que nos ser til, y es que
i2 = ii = (0, 1)(0, 1) = (1, 0) = 1,
es decir, el cuadrado de i es 1. Esto nos permite que las frmulas para la suma y el producto
de nmeros complejos, cuando estn puestos en forma binmica, sean fciles de recordar, ya
que, formalmente, los vamos a sumar y multiplicar como si fueran nmeros reales y simplemente
tendremos en cuenta que i2 = 1. Nos referimos a lo siguiente: antes hemos definido la suma de
dos nmeros complejos (puestos como pares) de la forma (a, b) + (c, d) = (a + c, b + d). Esta
misma operacin, puesta en forma binmica, quedara a + ib + c + id = a + c + i(b + d), que es la
suma formal de las parejas a + ib y c + id, sacando al final factor comn el i.
Para el producto sucede igual. Si multiplicamos dos complejos en forma de pares (a, b)(c, d) =
(ac bd, ad + bc). Esto puesto en forma binmica sera (a + ib)(c + id) = ac bd + i(ad + bc).
Pero este resultado es lo que se obtiene multiplicando formalmente a + ib por c + id y tenemos
en cuenta que i2 = 1.
(a + ib)(c + id) = ac + ibc + iad + i2 bd = ac bd + i(ad + bc).

17

Parte real
Parte imaginaria

Representacin grfica. Conjugado y mdulo de un nmero complejo

Nmeros complejos

2.4 Representacin grfica. Conjugado y mdulo de un nmero complejo

Es usual interpretar el nmero complejo x + iy como el vector del plano (x, y) y, en ese sentido,
se habla del plano complejo. El eje horizontal recibe el nombre de eje real, y el eje vertical recibe
el nombre de eje imaginario.

z = a + bi

b
|z|

z = a bi

Ilustracin 2.2 Representacin de

un nmero complejo
Conjugado
Mdulo

Definicin 2.1. Si z = x + iy es un nmero complejo (con x e y reales), entonces el conjugado

q
de z se define como: z = x iy y el mdulo o valor absoluto de z, se define como: |z| = x 2 + y 2 .
q
Observa que x 2 + y 2 est definido sin ambigedad; es la raz cuadrada del nmero real no negativo x 2 + y 2 .
Geomtricamente z es sencillamente la reflexin de z respecto al eje real, mientras que |z| es la
distancia eucldea del punto (x, y) a (0, 0) o, tambin, la longitud o norma eucldea del vector
(x, y) (ver figura 2.2). La distancia entre dos nmeros complejos z y w se define como |z w|.
La representacin grfica de la suma es conocida. Dos nmeros complejos z = a + ib y w = c + id
determinan un paralelogramo cuya diagonal (ver figura 2.1) es z + w.
Proposicin 2.2. Sean z, w C. Entonces
a) z = z,
b) z + w = z + w,
c) zw = z w.
d) |z|2 = zz,
e) max {|Re(z)| , |Im(z)|} |z| |Re(z)| + |Im(z)|,
f) |zw| = |z| |w|,
g) |z + w| |z| + |w|.
Demostracin. La comprobacin de estas afirmaciones es inmediata. Por ejemplo, para comprobar
que la propiedad f) se verifica, basta observar que |zw| y |z| |w| son nmeros positivos cuyos
cuadrados coinciden, pues
|zw|2 = zwzw = zwzw = zzww = |z|2 |w|2 = (|z| |w|)2 .
Para demostrar la ltima afirmacin es suficiente probar que |z + w|2 (|z| + |w|)2 . En efecto:

18

Nmeros complejos

Forma polar de los complejos.

|z + w|2 = (z + w)(z + w) = (z + w)(z + w) = zz + ww + zw + zw

= |z|2 + |w|2 + 2 Re (zw) |z|2 + |w|2 + 2 |Re (zw)|
|z|2 + |w|2 + 2 |zw| = |z|2 + |w|2 + 2 |z| |w| = |z|2 + |w|2 + 2 |z| |w|
= (|z| + |w|)2 . 
Observacin 2.3. De la demostracin de la ltima afirmacin se deduce que |z + w| = |z| + |w|
+
si, y slo si, Re zw = |zw|, esto es, si zw R+
0 , o lo que es lo mismo zw = donde R0 . Esta
2
igualdad, puede escribirse de forma equivalente multiplicando por w como z |w| = w, esto es,
z = w para algn R+
0 lo que quiere decir que z y w estn en una misma semirrecta a partir
del origen.
Ejemplo 2.4. La divisin de nmeros complejos es fcil teniendo en cuenta que el producto
de un complejo y su conjugado da como resultado el mdulo al cuadrado de dicho nmero
complejo.
1+i
2i

1+i 2+i
2i 2+i

1+3i
5

La divisin o el producto de dos nmeros complejos no es difcil pero s que puede ser aburrido
calcular (1 + i)10 . Existe algo como el binomio de Newton para nmeros reales? Comprubalo
t mismo. Lo que s es muy fcil es saber su mdulo:


10


(1 + i)10  = |1 + i|10 = 2 = 25 .

2.5 Forma polar de los complejos.

Hay otras formas de representar los nmeros complejos. Una de ellas es la forma polar.
Supongamos que tenemos un nmero complejo z = a + ib 0.
Este complejo se corresponde con la pareja de nmeros reales
z
(a, b) que podemos representar en el plano. A los dos ejes del
plano (en este caso se suele llamar el plano complejo) se les
|z|
denota por el eje real (donde se representa la primera componente) y el eje imaginario (donde se representa la segunda).
A la vista del dibujo est claro que el el nmero z (o el par (a, b),
ngulo de radianes
al fin y al cabo para nosotros son la misma cosa) queda totalmente determinado por dos magnitudes como son la distancia
Ilustracin 2.3 Argumento
al origen, a la que llamaremos el mdulo del complejo, y usualmente lo denotaremos por y el ngulo que forma el vector de
posicin del complejo con el eje real. A esta magnitud le llamaremos el argumento del complejo,
. Antes de continuar hay que darse cuenta de que el mdulo de un complejo queda unvocamente
determinado pero el argumento no del todo, ya que si tenemos que es el argumento de un nmero complejo, entonces + 2k , donde k es un nmero entero, es tambin argumento del complejo
(si estamos midiendo en radianes, claro). Es por ello que lo que vamos a hacer es quedarnos con
un intervalo de longitud 2 (el intervalo ] , ] y al nico ngulo (para complejos distintos de
cero) que est en ese intervalo es lo que llamaremos el argumento principal de z. Unos clculos
sencillos (el teorema de Pitgoras) nos da la frmula para calcular el mdulo del complejo z
p
|z| = |a + ib| = a2 + b2 .

19

Forma polar de los complejos.

Nmeros complejos

En el caso en que el complejo sea un nmero real su mdulo coincide con su valor absoluto lo que
nos permite utilizar el mismo smbolo para ambos conceptos: el mdulo de un complejo es una
generalizacin del valor absoluto.
Para calcular el argumento principal de un complejo hay varias frmulas pero la ms intuitiva es
la siguiente: si z = a + ib 0 su argumento principal ser
 

arctan a
,
si a > 0,

,
si a = 0 y b > 0 ,

2
si a = 0 y b < 0
= 2 ,  

arctan b + si a < 0 y b > 0,

a

si a < 0 y b < 0.
arctan a
Forma polar

Al nmero complejo de mdulo y argumento se le suele representar y las frmulas que

hemos visto son la forma de pasar de la forma binmica a la forma polar de un complejo.

Ejemplo 2.5. Si tenemos el complejo z = 2 + 2 3i, entonces su mdulo ser |z| = 4 + 12 =

16 = 4, mientras que el argumento se calcula de la siguiente forma. Como la parte real es

negativa y la parte imaginaria es positiva, el argumento ser
 
 
= arctan 223 + = arctan 3 + = 3 + = 2
3 .

As 2 + 2 3i = 4 2 .
3

Forma trigonomtrica

Para pasar de la forma polar de un complejo a la forma binmica es an ms fcil. Utilizando

las frmulas de la trigonometra se tiene que si z = su forma binmica ser z = cos() +
i sen(). Realmente la frmula (cos() + i sen()) se llama la forma o expresin trigonomtrica
del complejo z.
Ejemplo 2.6. El complejo z = 5 3 = 5 cos
4

3
4

+ i5 sen

3
4

= 5

2
2

i5

2
2 .

Tambin se puede calcular el argumento de un nmero complejo mediante la frmula



(
Im(z)
2 arctan Re(z)+|z|
, si z
/ R ,
arg(z) =
,
si z R .

2.5.1

Interpretacin geomtrica del producto.

Si tenemos dos complejos z1 = 1 1 y z2 = 2 2 y los multiplicamos obtendremos
z1 z2 =(1 1 )(2 2 ) = (1 (cos(1 ) + i sen(1 )))(2 (cos(2 ) + i sen(2 )))
=1 2 (cos(1 ) cos(2 sen(1 ) sen(2 ) + i(sen(1 ) cos(2 ) + sen(2 ) cos(1 )))
=1 2 (cos(1 + 2 ) + i sen(1 + 2 )) = (1 2 )1 +2 .
Es decir el producto es un complejo que tiene como mdulo el producto de los mdulos y como
argumento la suma de los argumentos. Obsrvese que aunque los dos argumentos sean argumentos
principales la suma no tiene por qu ser argumento principal. En cualquier caso esto tiene una
interpretacin geomtrica clara.

20

Nmeros complejos

Forma polar de los complejos.

z1 z2

z2

1 + 2

z1

2
1

Ilustracin 2.4 Interpretacin

geomtrica del producto

2.5.2

Frmula de De Moivre
Si en la frmula que hemos obtenido para la multiplicacin de complejos lo que nos tomamos es
un mismo complejo multiplicado por s mismo y repetimos la operacin varias veces obtendremos
que si z = (cos() + i sen()) y n es un natural entonces
zn = (r (cos() + i sen()))n = n (cos(n) + i sen(n)),

(2.1)

que se conoce como la frmula de De Moivre. Para n = 2 ya la hemos visto pero para n mayor que
dos tambin es interesante, entre otras cosas porque nos da frmulas explcitas para cos(n) y
para sen() en funcin de sen() y de cos(). Dedzcanse las frmulas para n = 3 y n = 4 por
ejemplo.

2.5.3

Races de un nmero complejo.

Aplicando la frmula de De Moivre vamos a obtener las races n-simas de un nmero complejo.
Para empezar por el caso ms fcil vamos a suponer como complejo el nmero real 1. Vamos a
llamar races n-simas de la unidad a aquellos nmeros complejos z que verifiquen que zn = 1.
Trabajando con la forma trigonomtrica de z = r (cos() + i sen() y teniendo en cuenta que el
mdulo de 1 es 1 y su argumento principal es 0, obtenemos que
zn = n (cos(n) + i sen(n)) = 1 = 1(cos(0) + i sen(0)),
de donde n = 1 y por tanto = 1. Por otra parte igualando los argumentos tenemos que n = 0. Se
podra pensar que de aqu se puede obtener nicamente que = 0 pero eso sera si consideraramos
solamente argumentos principales. Realmente cualquier mltiplo entero de 2 es un argumento
2k
de 1 y entonces lo que obtenemos es que n = 2k para k Z y entonces = n , para k Z.
Dndole valores a k y numerando las correspondientes soluciones, obtenemos para los enteros
comprendidos entre k = 0 y k = n 1
0 = 0,

1 =

2
n ,

2 =

4
n ,

...

n1 =

2(n1)
.
n

Obviamente hay ms nmeros enteros pero una leve observacin nos hara ver que cualquier otro
entero nos da un ngulo que difiere de uno de los que hemos obtenido en un mltiplo entero de 2
y produce el mismo argumento. Concluyendo, las races n-simas de 1 son n nmeros complejos
distintos, z0 , z1 , . . . , zn1 todos con mdulo 1 y el argumento (no necesariamente el principal) de
zk es 2k
n para k {0, 1, . . . , n 1}.

21

Funciones elementales

Nmeros complejos

Ilustracin 2.5 Races quintas de i

Ejemplo. Las races cbicas de la unidad seran los nmeros complejos z0 = 10 , z1 = 1 2 y z2 = 1 4 .

1
Es decir z0 = 1, z1 = 21 + i 23 , y z2 = 2 i 23 . Si las representamos en el plano complejo quedan
las tres en la circunferencia unidad pero es que adems forman un tringulo equiltero uno de
cuyos vrtices est en el 1.
De igual forma las races cuartas de la unidad sern z0 = 10 , z1 = 1 2 , z2 = 1 4 y z3 = 1 6 , es decir
4
4
4
z0 = 1, z1 = i, z2 = 1 y z3 = i. En este caso, al igual que antes, todas las races se distribuyen
en la circunferencia unidad (todas tienen mdulo 1) pero ahora sern los vrtices de un cuadrado,
siendo uno de ellos (el que corresponde a z0 ) el nmero 1.
Esta propiedad puede generalizarse a cualquier natural: dado n N las races n-simas de la
unidad son los vrtices de un polgono regular de n lados inscrito en la circunferencia unidad,
estando uno de dichos vrtices en el punto 1.
Finalmente si lo que queremos es hacer las races n-simas z = para un natural n, haciendo
pequeas modificaciones en el proceso anterior, obtendremos que las races son

z0 =

,
n

z1 =

+2 ,
n

z2 =

+4 , . . . zn1 = +2(n1) .
n

Esto tambin tiene una interpretacin geomtrica clara. Las n races n-simas de un nmero com
plejo z = se distribuyen todas en la circunferencia de centro 0 y radio formando
los vrtices



de un polgono regular de n lados, uno de los cuales est en el complejo cos( n ) + i sen( n
) .

2.6 Funciones elementales

2.6.1

La funcin exponencial
Definimos la exponencial compleja como


z n
ez = exp(z) = lim 1 + n
= eRe(z) (cos(Im(z)) + i sen(Im(z))) .
n

Frmula de Euler

Observa que |ez | = eRe(z) ,

Im(z) Arg(ez ). En particular, obtenemos la frmula de Euler

eit = cos(t) + i sen(t)

(t R)

que establece una relacin entre la exponencial compleja y las funciones trigonomtricas. Haciendo
t = tenemos la singular igualdad

22

Nmeros complejos

Funciones elementales

ei + 1 = 0
en la que intervienen los nmeros ms importantes de las matemticas. De la frmula de Euler se
deducen fcilmente las llamadas ecuaciones de Euler :
cos(t) =

eit +eit
,
2

sen(t) =

eit eit
2i

Ecuaciones de Euler

(t R).

Se prueba fcilmente que ez+w = ez ew para todos z, w C. Se deduce que para todo z C y todo
k Z es ez = ez+2k i . Lo que nos dice que la exponencial compleja es una funcin peridica con
perodo 2 i. Naturalmente, esto supone una gran diferencia con la exponencial real que es una
funcin inyectiva. Observa que la exponencial no se anula nunca pues |ez | = eRe(z) > 0.

2.6.2

Logaritmos complejos
El comportamiento peridico de la exponencial compleja se va a traducir, como vamos a ver enseguida, en que la ecuacin ew = z, donde z es un nmero complejo no cero, va a tener infinitas
soluciones w C. Como
ew = eRe(w) (cos(Im(w)) + i sen(Im(w)))
Para que ew = z es necesario y suficiente que:
|ew | = |z|, esto es, eRe(w) = |z|, es decir, Re(w) = log |z| (logaritmo natural del nmero real
positivo |z|).
Arg (ew ) = Arg (z), esto es, Im(w) Arg(z) y esto se cumple si, y slo si Im(w) = arg(w)+2k ,
con k Z.
Hemos probado que {w C : ew = z} = {log |z| + i(arg(z) + 2k ), k Z}. Por tanto, existen
infinitos nmeros complejos w que satisfacen la ecuacin ew = z. Cualquiera de ellos se llama un
logaritmo de z. El conjunto de todos ellos lo representaremos por Log(z). De entre todos ellos
elegimos uno, llamado logaritmo principal, definido por
log(z) = log |z| + i arg(z),

para todo z C .

Observa que cualquier otro logaritmo de z es de la forma log(z) + i2k para algn entero k.
Es importante que observes que la igualdad log(zw) = log(z) + log(w) que es vlida para los
logaritmos de los nmeros reales positivos, no es siempre cierta cierta para nmeros complejos.
Por ejemplo:

log(1 + i 3) = log | 1 + i 3| + i arg(1 + i 3)

= log(2) + i(arctan( 3) + ) = log(2) + i 2

3

log( 3 + i) = log | 3 + i| + i arg( 3 + i)

5
= log(2) + i(arctan(1/ 3) + ) = log(2) + i 6

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

log(1 + i 3) + log( 3 + i) = log(4) + i 3

2 .
Lo que est claro es que el nmero log(z) + log(w) Log(zw), es decir, log(z) + log(w) es un
logaritmo de zw pero no tiene por qu ser el logaritmo principal de zw.

Como la funcin z , arg(z) es continua en C \ R

0 y discontinua en R0 , se deduce que el logaritmo

principal es discontinuo en R0 y continuo en C \ R0 .

23

Logaritmo
Logaritmo principal

Ejercicios

2.6.3

Nmeros complejos

Potencias complejas
Recuerda que dados dos nmeros reales a > 0 y b R, la potencia de base a y exponente b se
define como ab = eb log(a) . Ahora, dados a, b C, con a 0, sabemos que hay infinitos logaritmos
de a, todos ellos son de la forma log(a) + i2k , con k Z. Por ello, cualquier nmero complejo
de la forma eb(log(a)+i2k ) donde k Z, es una potencia de base a y exponente b. De todas ellas
se destaca una:
ab = eb log(a)
y dicho nmero se llama valor principal de la potencia de base a y exponente b. Observa que si
b = 1/n donde n N, el nmero


1
log(a)
a1/n = exp n


log(a)
arg(a)
= exp
+i n
n





arg(a)
arg(a)
+ i sen
= |z|1/n cos
n
n

es el valor principal de la raz n-sima de a que antes hemos notado por n a. Esta definicin da lugar
a las funciones exponenciales complejas de base a, z , az , definidas por az = exp(z log(a)). Tambin permite definir la funcin potencia compleja de exponente b, z , zb como zb = exp(b log(z)).
Las funciones exponenciales cumplen evidentemente la igualdad az+w = az + aw pero las funciones potencias no cumplen, en general como vimos al estudiar las races, la propiedad (zw)b =
zb w b . Esta igualdad se da en el caso de que
exp(b log(zw)) = exp(b log(z) + b log(w))
o, puesto que la funcin exponencial es peridica de periodo 2 i, cuando se verifique que
b log(zw) = b log(z) + b log(w) + 2k i,

para algn k Z.

Como caso particular, cuando z y w pertenecen al primer cuadrante la igualdad log(zw) = log(z)+
log(w) es cierta con lo cual lo anterior se cumple para k = 0. Por los mismos motivos la igualdad
(zb )c = zbc no es cierta en general.

2.7 Ejercicios
2.7.1

Nmeros complejos
Ejercicio 2.1
Efectuar las operaciones indicadas:
a)
b)
c)

23i
4i
(2+i)(32i)(1+2i)
(1i)2

4
(2i 1)2 1i
+ 2i
1+i

d)

Solucin 2.1

24

i4 +i9 +i16
2i5 +i10 i15

Nmeros complejos

Ejercicios

a)

23i
4i

b)

(2+i)(32i)(1+2i)
(1i)2

11
17

c) (2i 1)2
d)

10
17 i

4
1i

i4 +i9 +i16
2i5 +i10 i15

= 15
2 + 5i
2i
1+i

= 3 29i

=2+i

Ejercicio 2.2
Si z1 = 1 i, z2 = 2 + 4i, y z3 =
a)
b)
c)
d)

3 2i, calcular las siguientes expresiones:




2 +1 

e)  zz11+z
z2 +i

z12 + 2z1 3
|2z2 3z1 |2
(z3 z3 )5
|z1 z2 + z2 z1 |

f) |z12 + z2 2 |2 + |z3 2 z22 |2

Solucin 2.2
a) z12 + 2z1 3 = 1 4i
b) |2z2 3z1 |2 = 170
c) (z3 z3 )5 = 1024i
d) |z1 z2 + z2 z1 | = 12



2 +1 

e)  zz11+z
z2 +i =

3
5

f) |z12 + z2 2 |2 + |z3 2 z22 |2 = 461 + (16 + 4 3)2

Ejercicio 2.3
Calcular el mdulo y el argumento de los nmeros complejos:
a) 1
b) i
c) 1
Solucin 2.3

d) i

e)

2
2

+i

2
2

falta

Ejercicio 2.4
Expresar en forma polar los nmeros complejos:
a) 3+3i

b) 1 + 3i
Solucin 2.4

c) -1

d) 2 3i
falta

25

Ejercicios

Nmeros complejos

Ejercicio 2.5
Calcular
a)

3i
3+i
p

4 


1+i 5
1i

d) (16i)1/4
e) i2/3

b) 2 3 2i
c) (4 + 4i)1/5

Solucin 2.5

falta

Ejercicio 2.6
Encontrar todas las soluciones de las ecuaciones:
a) x 4 1 = 0
Solucin 2.6

b) 2x 4 3x 3 7x 2 8x + 6 = 0
falta

Ejercicio 2.7
Resolver las ecuaciones;
a) z4 + 81 = 0
Solucin 2.7

b) z6 + 1 =

3i

falta

Ejercicio 2.8
Representar grficamente el subconjunto de R2 definido por la desigualdad (z C)
|z| + <(z) 1
Solucin 2.8

falta

Ejercicio 2.9
Resolver la ecuacin (1 + i)z3 2i = 0.
Solucin 2.9

falta

Ejercicio 2.10

Resolver la ecuacin z5 = z
Solucin 2.10 falta

26