1.1 Definicin y origen de los nmeros complejos.

Historia de los nmeros complejos

La primera referencia conocida a races cuadradas de nmeros negativos proviene
del trabajo de los matemticos griegos, como Hern de Alejandra en el siglo I
antes de Cristo, como resultado de una imposible seccin de una pirmide. Los
complejos se hicieron ms patentes en el Siglo XVI, cuando la bsqueda de
frmulas que dieran las races exactas de los polinomios de grados 2 y 3 fueron
encontradas por matemticos italianos como Tartaglia, Cardano.
Aunque slo estaban interesados en las races reales de este tipo de ecuaciones,
se encontraban con la necesidad de lidiar con races de nmeros negativos. El
trmino imaginario para estas cantidades fue acuado por Descartes en el Siglo
XVII y est en desuso. La existencia de nmeros complejos no fue completamente
aceptada hasta la ms abajo mencionada interpretacin geomtrica que fue
descrita por Wessel en 1799, redescubierta algunos aos despus y popularizada
por Gauss. La implementacin ms formal, con pares de nmeros reales fue dada
en el Siglo XIX.
Definicin de nmero complejo
Los nmeros complejos z se pueden definir como pares ordenados
z=(x,y)
de nmeros reales x e y, con las operaciones de suma y producto que
especificaremos ms adelante. Se suelen identificar los pares (x, 0) con los
nmeros reales x.

1.2 Operaciones fundamentales con nmeros complejos.

Varias propiedades de la suma y del producto de nmeros complejos coinciden
con las de los nmeros reales. Recogeremos aqu las ms bsicas y verificamos
algunas de ellas.
Las leyes conmitativas

z1 + z2= z2 + z1,

z1z2 = z2z1

y las asociativas
(z1 + z2) + z3 = z1 + (z2 + z3),

(z1z2)z3 = z1(z2z3)

se siguen fcilmente de las definiciones de la suma y el producto de nmeros

complejos, y del hecho de que los nmeros reales las satisfacen. Por ejemplo, si
z1 = (x1, y1) y z2 = (x2, y2),
entonces
z1 + z2 = (x1, y1) + (x2, y2) = (x1 + x2, y1 + y2) = (x2 + x1, y2 + y1) = (x2, y2) +
(x1, y1) = z2 + z1
La verificacin de las restantes, as como de la ley distributiva
z(z1 + z2) = zz1 + zz2,
es similar.
De acuerdo con la ley conmutativa del producto, iy = yi; luego est permitido
escribir
z = x + iy o z = x + yi
Adems, por las leyes asociativas, una suma z1 + z2 + z3 o un
producto z1z2z3 estn bien definidos sin parntesis, igual que ocurra con los
nmeros reales.
La identidad aditiva 0 = (0, 0) y la idenidad multiplicativa 1 = (1, 0) de los nmeros
reales se transfieren al sistema de los nmeros complejos. O sea,
z+0=z y z*1=z
para todo nmero complejo z. Ms an, 0 y 1 son los nicos nmeros complejos
con tales propiedades. Para establecer la unicidad de 0, supongamos que (u, v) es
una identidad aditiva, y escribamos
(x, y) + (u, v) = (x, y),
donde (x, y) es cualquier nmero complejo. Se deduce que
x + u = x e y + v = y;

o sea, u = 0 y v = 0. El nmero complejo 0 = (0, 0) es, por tanto, la nica identidad

aditiva.
Cada nmero complejo z = (x, y) tiene asociado un inverso aditivo
-z = (-x, -y)
que satisface la ecuacin z + (-z) = 0. Adems, hay un slo inverso aditivo para
cada z, pues la ecuacin (x, y) + (u, v) = (0,0) implica que u = -x y v = -y.
Los inversos aditivos se usan para definir la resta:
z1 - z2 = z1 + (-z2).
Luego si z1 = (x1, y1) y z2 = (x2, y2), entonces
z1 - z2 = (x1 - x2, y1 - y2) = (x1 - x2) + i(y1 - y2).
Anlogamente, para todo nmero complejo z = (x, y) no nulo, existe un nmero
complejo z-1 tal que zz-1 = 1. Este inverso multiplicativo es menos obvio que el
aditivo. Para hallarlo, buscamos nmeros reales u, v expresados en trminos de x
e y, tales que
(x, y)(u, v) = (1,0).

1.3 Potencias de "i", modulo o valor absoluto.

El valor absoluto, mdulo o magnitud de un nmero complejo z viene dado por la
siguiente expresin:

Si pensamos en z como algn punto en el plano; podemos ver, por el teorema de

Pitgoras, que el valor absoluto de un nmero complejo coincide con la distancia
eucldea desde el origen del plano.
Si el complejo est escrito en forma exponencial z = r ei, entonces |z| = r. Se
puede expresar en forma polar como z = r (cos + isen), donde cos + isen
= ei es la conocida frmula de Euler.

Podemos comprobar con facilidad estas cuatro importantes propiedades del valor
absoluto

para cualquier complejo z y w.

Por definicin, la funcin distancia queda como sigue d(z, w) = |z - w| y nos provee
de un espacio mtrico con los complejos gracias al que se puede hablar de lmites
y continuidad. La suma, la resta, la multiplicacin y la divisin de complejos son
operaciones continuas. Si no se dice lo contrario, se asume que sta es la mtrica
usada en los nmeros complejos.

1.4 Forma polar y exponencial de un numero complejo.

Forma Polar
Sean r y coordenadas polares del punto (x, y) que corresponde a un nmero
complejo no nulo z = x + iy. Como
x = r cos

y = r sen

z puede ser expresado en forma polar como

z = r(cos + i sen).
En anlisis complejo, no se admiten r negativos; sin embargo, como en el
Clculo, tiene infinitos valores posibles, incluyendo valores negativos.
Forma exponencial
La ecuacin
ei = cos + i sen
que define el simbolo ei, o exp (i), para todo valor real de , se conoce como
frmula de Euler. Si escribimos un nmero complejo no nulo en forma polar
z = r(cos + i sen ),

la frmula de Euler permite expresar z ms compactamente en forma exponencial:

z = rei

1.5 Teorema de De Moivre, potencias y extraccin de races de un nmero

complejos

Potencias de nmeros complejos

Las potencias enteras de un nmero complejo no nulo z = rei 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

1.6 Ecuaciones polinmicas.

Los nmeros complejos surgen ante la imposibilidad de hallar todas las soluciones
de las ecuaciones polinmicas de tipo

Dados los valores apropiados de los coeficientes an a a0 , esta ecuacin tendr n

soluciones reales si que permitirn reescribir el polinomio de la siguiente forma:

Sin embargo, ecuaciones incluso tan sencillas como x2 + 1 = 0 desafan esta

regla, ya que su solucin, que tericamente vendra dada por

que no existe en el campo de los reales ya que la raz cuadrada no est definida
para argumentos negativos.

Los nmeros complejos sin embargo permiten ampliar an ms el concepto de

"nmero", definiendo la unidad imaginaria o i como i = raz de -1, lo que significara
que la ecuacin anterior s tendra dos soluciones, que seran x1= i y x2= - i.

La introduccin de los nmeros complejos permite probar el teorema

fundamental del lgebra, que dice que cualquier ecuacin polinmica de grado n
tiene exactamente n soluciones complejas.

De esta manera, se define genricamente un nmero complejo como un

nmero compuesto por dos partes, una parte real a y una parte imaginaria
b, escribindose como sigue: z = a + bi.

Por ejemplo, 2-3i, 4+8i, 3-i, etc.

Con los nmeros complejos se opera como se operara con productos de sumas
ordinarios, teniendo en cuenta siempre que i2 = -1: (a + bi)(c + di) = ac +adi +bci +
bdi2 = (ac - bd) + (ad+bc)i.

La divisin es un poco ms sofisticada debido a la necesidad de eliminar la unidad

imaginaria del de nominador de la fraccin: