TEORIA NUMROS COMPLEJOS

1 Introduccin. El cuerpo (C,+,).

1.1
1.2
1.3
1.4

Introduccin.
El cuerpo (C,+,)
Notaciones
Potencia de un nmero complejo.

1.1 Introduccin.

Los nmeros reales, a pesar de sus excelentes propiedades, presentan una

gran deficiencia: no es un cuerpo algebraicamente cerrado, es dedir, no existe
ningin nmero real que verifique la relacin x2 + 1 = 0. Por tanto, los
matemticos han sentido la necesidad de "inventarse" un nmero, que
notaremos por "i", y que tenga la propiedad de que i2 + 1 = 0.
Buscamos un cuerpo que sea algebraicamente cerrado, que contenga a R y tal que i sea un elemento
suyo. Como hemos visto, i no pertenece a R, y ha de pertenecer a dicho cuerpo, con lo cual
definimos:
C = {z = a + bi / a,b reales}

Evidentemente, si a + bi = c + di entonces a = c y b = d.
En C se clefinen las operaciones heredadas de R:
Suma:
(a + bi) + (c + di) = a + bi + c + di = (a + c) + (b + d)i
Producto:
(a + bi)(c + di) = ac + adi + bci + bdi2 = (ya que i2 = -1) = (ac - bd) +
(ad + bc)i
es decir, (a + bi)(c + di) = (ac - bd) + (ad + bc)i, que es otro nmero
complejo.
Anlogamente podemos considerar el conjunto R2, y en l definir las operaciones:
Suma:
(a,b) + (c,d) = (a+c,b+d)
Producto:
(a,b)(c,d) = (ac-bd,ad+bc)
El desarrollo del tema lo realizaremos en el conjunto C, aunque se puede
trasladar fcilmente en todo momento a R2 con las operaciones definidas
anteriormente.

1.2 El cuerpo (C,+,)

Veamos en primer lugar que (C,+) tiene estructura de grupo abeliano:

Asociativa:
Es evidente que si z1, z2 y z3 son elementos de C, se verifica que zl + (z2 +
z3) = (z1 + z2) + z3
Elemento neutro:
Es el elemento 0 + 0i, que lo notaremos por 0 = 0 + 0i.
Elemento opuesto:
Dado z = a + bi, a su elemento opuesto lo notaremos por -z, y ser -z =
(-a) + (-b)i = -a - bi.
Conmutativa:
Es obvio que si z1 y z2 son elementos de C, se verifica que z1 + z2 = z2 +
z1
Veamos ahora que (C,) tiene tambin estructura de grupo abeliano.
Las propiedades asociativa y conmutativa se verifican evidentemente.
Elemento neutro:
Es el elemento de C, que notamos por 1, y que viene dado por 1 = 1 + 0i
Elemento inverso:
Dado el elemento de C: z = a + bi, con z no nulo, existe otro elemento
de C que es su inverso, que lo notamos por z-1=1/z, y que viene dado
porz-1 = 1/z = 1/(a+bi) = (a-bi)/(a+bi)(a-bi) = (a-bi)/(a2-b2i2) = a/
(a2+b2)-[b/(a2+b2)]i
Por ltimo es fcil comprobar que se verifica la propiedad distributiva del
producto respecto a la suma:
z1(z2 + z3) = z1z2 + z1z3

Por lo tanto, (C,+,) tiene estructura de cuerpo abeliano.

1.3 Notaciones

De manera anloga a la anterior se demuestra que (R2,+,) tiene estructura de

cuerpo con las operaciones definidas en la introduccin. A ambos cuerpos, que
son "esencialmente" iguales, se les denominacuerpo de los nmeros
complejos, se les nota por C. Si el nmero complejo z lo notamos de la
forma z = a + bi, diremos que est en forma binmica; si lo representamos
por z = (a,b), diremos que est enforma cartesiana.
Al nmero real a lo llamaremos parte real de z, y al nmero b parte imaginaria.

Existe un subcuerpo de C, el formado por los elementos de la forma {a + 0i / a real}, que lo

identificamos con el conjunto de los nmeros reales; as escribiremos a + 0i = a, y mediante dicha
identificacin diremos que todo nmero real es a la vez un nmero complejo, que no tiene parte
imaginaria.
Un nmero complejo que no tenga parte real diremos que es imaginario puro, y ser de la forma 0
+ bi = bi.
1.4 Potencia de un nmero complejo.

Veamos cmo son las potencias del nmero complejo i:

i1 = i
i2 = -1
i3 = i2i = -i
i4 = (i2)2 = (-1)2 = 1
i5 = i4i = 1i = i
.................................
in = 1
si n es mltiplo de 4
in = i
si al dividir n entre 4 da de resto 1
n
i = -1
si al dividir n entre 4 da de resto 2
n
i = -i
si al dividir n entre 4 da de resto 3

Sea z = a + bi un nmero complejo en forma binmica. Para calcular su potencia n-sima basta
con efectuar el binomio de Newton:
(a + bi) = (n0)an + (n1)an-1b1i1 + (n2)an-2b2i2 + (n3)an-3b3i3 + ... + (nn)bnin == (n0)an + (n1)an-1bi (n2)an-2b2 - (n3)an-3b3i + ... + (nn)bnin

2 Conjugacin de los nmeros complejos.

2.1 Definicin.
2.2 Propiedades de la conjugacon.
2.1 Definicin.

Sea z = a + bi un nmero complejo en forma binmica.

Llamaremos conjugado de z, y lo notaremos por z, al nmero complejo z
= a - bi.

En forma cartesiana el conjugado de (a,b) es (a,-b).

2.2 Propiedades de la conjugacon.

1. El conjugado del conjugado de un nmero complejo es el propio nmero

complejo: (z) = z.
En efecto, sea z = a + bi ==> z = a - bi ==> (z) = a - (- bi) = a + bi
=z
2. El conjugado de la suma es la suma de los conjugados: (z1 + z2) = z1 +
z2.
En efecto, sean z1 = a + bi y z2 = c + di; es z1 = a - bi y z2 = c - di,
por tanto z1 + z2 = a - bi + c - di = (a+c) - (b+d)i = (z1 + z2).
3. El conjugado del opuesto es el opuesto del conjugado: (- z) = - z.

4.

5.

6.
7.
8.

En efecto, sea z = a + bi ==> - z = - a - bi ==> (- z) = - a + bi = (a - bi) = - z.

El conjugado del producto es el producto de los conjugados: (z 1 z2) = z1
z2.
En efecto, sean z1 = a + bi y z2 = c + di. Es z1 z2 = (ac - bd) +
(ad + bc)i, de donde (z1 z2) = (ac - bd) - (ad + bc)i.
Por otra parte, z1 z2 = (a - bi) (c - di) = [ac - (-b)(-d)] + [a(-d) + c(b)]i = (ac - bd) + (-ad - bc)i = (ac - bd) - (ad + bc)i = (z1 z2).
El conjugado del inverso es el inverso del conjugado: 1/z = (1/z).
En efecto, sea z = a + bi ==> z = a - bi ==> 1/z = [a - (- b)i]/
(a2 + b2) = (a + bi)/(a2 + b2). Por otra parte, 1/z = (a - bi)/(a2 + b2) ==>
(1/z) = (a + bi)/(a2 + b2) = 1/z.
El conjugado del cociente es el cociente de los conjugados: (z 1/z2) = z1
/z2.
z es un nmero real <==> z = z.
z es imaginario puro <==> z = -z.

Estas tres ltimas propiedades son de inmediata demostracin.

3 Mdulo de un nmero complejo.

3.1 Definicin.
3.2 Propiedades.
3.1 Definicin.

Sea z un nmero complejo, se define el mdulo de z, y lo notarnos por |z|,

como la raz cuadrada positiva del producto de z por su conjugado, es decir:
|z| = +(z z)1/2
Si el nmero complejo en forma binmica viene dado por z = a + bi, se tiene
que |z|2 = (a + bi)(a - bi) = a2 - b2 i2 = a2 + b2, de la que se obtiene la
llamada expresin analtica del mdulo de un nmero complejo:

|z| = (a2 + b2)1/2

3.2 Propiedades.

1.
2.
3.
4.
5.
6.
7.

|z| = 0 ==> z = 0
|-z| = |z|
|z| = |z|
|z1 + z2| < |z1| + |z2| (Llamada propiedad triangular).
|z1| - |z2| < |z1 - z2|
|z1 z2| = |z1| |z2|
Si c C R, |cz| = |c| |z|, donde |c| es el valor absoluto de c.

4 Formas polar y trigonomtrica de un nmero complejo.

4.1
4.2
4.3
4.4

Representacin geomtrica de un nmero complejo.

Forma trigonomtrica y forma polar.
Igualdad de nmeros complejos en forma trigonomtrica.
Paso de la forma binmica a la forma polar

4.1 Representacin geomtrica de un nmero complejo.

Sea z = a + bi un nmero complejo en forma binmica. Su expresin en forma

cartesiana es
z = (a,b). Consideremos el plano eucldeo real R2, y en l un sistema de
referencia ortonormal. A cada nmero complejo z = a + bi le hacemos
corresponder un punto del plano P(a,b); y recprocamente, dado ese punto del
plano le asociamos el complejo z = a + bi. Tenemos pues una biyeccin entre el
plano eucldeo real R2 y el cuerpo de los nneros complejos C.
El punto del plano P(a,b) correspondiente al complejo z = a + bi recibe el
nombre de afijo de z. El ngulo que forma el vector OP con el eje de abcisas
recibe el nombre de argumento de z.
Adems, el mdulo del vector OP es:
|OP| = (a2 + b2)1/2 = |z|
Que coincide con la distancia del punto P al
origen de coordenadas.
Sea r = |z|. Si x es su argumento, se tiene que:
sen x = PA/OP = b/r ==> b = rsen x
cos x = OA/OP = a/r ==> a = rcos x
Luego podernos escribir z = a + bi = rcos x + irsen x =
r(cos x + isen x)

4.2 Forma trigonomtrica y forma polar.

Esta expresin, z = r(cos x + isen x), recibe el nombre de forma trigonomtrica de z, donde r
es el mdulo de z y x su argumento.

Definimos la forma polar del nmero complejo z = r(cos x + isen x) como r x.

4.3 Igualdad de nmeros complejos en forma trigonomtrica.

Veamos cuando dos complejos en forma trigonomtrica, o en forma polar, son iguales:
Sean z1 = r(cos x + isen x) y z2 = r(cos y + isen y). Si z1 = z2, entonces r(cos x + isen x) = r
(cos y + isen y). Como dos nmeros complejos iguales tienen el mismo mdulo, entonces r = r
, y por tanto, (cos x + isen x) = (cos y + isen y), de donde:
cos x = cos y
==> y = x + 2kpi, con k C Z
sen x = sen y
Por tanto, r(cos x + isen x) = r[cos (x + 2kpi) + isen(x + 2kpi)] , y en forma polar

resulta:
rx = rx + 2kpi
4.4 Paso de la forma binmica a la forma polar

Hemos visto que z = a + bi = r(cos x + isen x) = rcos x + irsenx, de donde:

a = rcos x
b = rsen x

Por otra parte, sea z = a + bi un nmero complejo en forma binmica. Por

definicin tenemos que:
|z| = (a2 + b2)1/2
Adems es:
b/a = (rsen x)/(rcos x) = (sen x)/(cos x) = tg x
Por tanto
x = arc tg (b/a)
estudiando el cuadrante de x segn los signos de la parte real y de la parte
imaginaria le z.

5 Operaciones con nmeros complejos en forma polar.

NDICE
5.1 Producto.
5.2 Cociente.
5.3 Potencia.
5.1 Producto.

Sean z1 = r1(cos x + isen x) y z2 = r2(cos y + isen y) dos nmeros complejos en forma

trigonomtrica. Es:
z1z2 = [r1(cos x + isen x)][r2(cos y + isen y)] = r1r2(cos x + isen x)(cos y
+ isen y) = r1r2(cos x cos y + icos x sen y + isen x cos y + i2sen x sen y)
=r1r2[(cos x cos y - sen x sen y) + i(cos x sen y + sen x cos y)] = r1r2[cos(x
+ y) + isen(x + y)]
Es decir;
z1z2 = r1r2[cos(x + y) + isen(x + y)]

En forma polar sera:

rxry = (rr)x + y
5.2 Cociente.
Veamos en primer lugar cmo se calcula el inverso de un nmero complejo en forma polar.
Sea z = r(cos x + isen x) = a + b:i , donde a = rcos x y b = rsen x
Tenemos:

1/z = a/(a2 + b2) - [b/(a2 + b2)]i = (rcos x)/(r2cos2x + r2sen2x) - [(rsen x)/
(r2cos2x + r2sen2x)]i = (cos x)/[r(cos2x + sen2x)] - i(sen x)/[r(cos2x + sen2x)]
= (1/r)cos x - (1/r)isen x = (1/r)(cos x - isen x) = (1/r)[cos(-x) + isen(-x)]
Es decir,

1/rx = (1/r)-x
Por lo tanto, la expresin del cociente de nmeros complejos vendr dada por:
rx /ry = (r/r)x - y
5.3 Potencia.
Sea z = rx un nmero complejo en forma polar. Para calcular su potencia n-sima, bastar con
multiplicarlo por s mismo n veces, con lo que se obtiene:

zn = zz..(n veces)..z = (rx)(rx)..(n veces)..(rx) = (rr..(n veces)..r)x+x+..

..+x

(n veces)

= (rn)nx

Es decir,

(rx)n = (rn)nx
Si escribimos el nmero z en forma trigonomtrica obtenemos:

z = r(cos x + isen x) ==> zn = rn(cos x + isen x)n = rn(cos nx + isen nx)

De donde:

cos(nx) + isen(nx) = (cos x + isen x)n

expresin que recibe el nombre de frmula de Moivre.
Como aplicacin de esta frmula podemos obtener las razones trigonomtricas seno y coseno de
mltiplos de un ngulo conocidas las razones trigonomtricas del ngulo.

Ejemplo:
Conocidos cos x y sen x , calculemos cos 4x y sen 4x :

cos 4x + isen 4x = (cos x + isen x)4 = (40)cos4x + (41)cos3xisen x +

(42)cos2xi2sen2x + (43)cos xi3sen3x + (44)i4sen4x = cos4x + 4icos3xsen x 6cos2xsen2x - 4icos xsen3x + sen4x = (cos4x - 6cos2sen2x + sen4x) +
(4cos3xsen x - 4cos xsen3x)i
Como dos complejos son iguales si y slo si lo son sus partes reales as como sus partes
imaginarias, tenemos que:

cos 4x = cos4x - 6cos2xsen2x + sen4x

sen 4x = 4cos3xsen x - 4cos xsen3x

6 Raz n-sima de un nnero complejo.

6.1 Raz n-sima.

6.2 Teorema.
6.1 Raz n-sima.

Sea z = rx un nmero complejo. Calculemos su raz n-sima. sta va a ser un

nmero complejo w = sy de forma que wn = (sy)n = rx. Es decir:
(sn)ny = rx

==>

sn = r
ny = x + 2kpi , con k C Z

Cualquiera de los nmeros complejos que se

una raz n-sima de z.

s = r1/n
y = (x + 2kpi)/n , con k C Z
obtienen de sy al variar k en Z

==>

es

Teorema.

Todo numero complejo z tiene exactamente n races n-simas distintas.

Demostracin.
Sea z = rx un nmero complejo. Hemos dicho que sy es una raz n-sima de z,
siendo s = r1/n e y = (x + 2kpi)/n , con k C Z.
Si llamamos wk = sy , cuando k C {0,1,2,...,n-1}, obtenemos exactamente n races n-simas de z
distintas. Veamos que cualquier otra raz coincide con una de estas x k.
Sea t C Z, t distinto de 0,1,2,...,n-1. Entonces, por el algoritmo de la divisin eucldea es:

t = pn + r, con 0 <= r < n , y r nmero entero.

Si notamos por xt = sy, siendo y = (x + 2tpi)/n, tenemos que:

y = (x + 2tpi)/n = (x + 2rpi +2nppi)/n = (x + 2rpi)/n + 2ppi

De donde xt y xr tienen el mismo argumento, y por tanto xt = xr. Adems, xr es uno de los xk que
dijimos antes, ya que r C {0,1,2,...,n-1}.

c.q.d.
En resumen, para calcular la raz n-sima del nmero complejo z = r x , se procede de la siguiente
manera:

El mdulo ser la raz n-sima del mdulo de z.

El argumento viene dado por la frmula:
y = (x + 2kpi)/n dndole a k los valores 0,1,2,...,n-1

7.1 Teorema de De Moivre, potencias y extraccin de races de

un nmero complejos

Potencias de nmeros complejos

i

Las potencias enteras de un nmero complejo no nulo z = re vienen dadas por

z = rnein (n = 0, +1, -1, +2, -2 ...)
Como zn+1 = zzn cuando n=1,2,..., esto se comprueba fcilmente para valores

positivos de n por induccin, para el producto de nmeros complejos en forma

exponencial. La ecuacin es vlida tambin para n = 0 con el convenio de que z0 =
1. Si n = -1, -2..., por otro lado, definimos zn en trminos del inverso multiplicativo de
z escribiendo zn = (z-1)m, donde m = -n = 1, 2, ... Entonces, como la ecuacin z
= rnein es vlida para potencias enteras positivas, se sigue de la forma exponencial
de z-1 que
zn = [1/r ei(-)]m = (1/r)m eim(-) = rnein
Por tanto, la ecuacin z = rnein es vlida para toda potencia entera.
Ntese que si r = 1, z = rnein se convierte en
(ei)n = ein

(n = 0, 1, 2 ...)

Cuando se expresa en la forma

(cos + i sen )n = cos n + i sen n
que se le conoce como la frmula de De Moivre