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 tal -1 que zz = 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
-1

(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 e , entonces |z| = r. Se puede expresar en i forma polar como z = r (cos + isen), donde cos + isen = e 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.
i

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 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 e = cos + i sen que define el simbolo e , 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 ),
i i

y = r sen

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

i

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 = re vienen dadas por z=r e
n+1 n n in i

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

Como z = zz 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 0 n el convenio de que z = 1. Si n = -1, -2..., por otro lado, definimos z en trminos del inverso multiplicativo de n -1 m n in z escribiendo z = (z ) , donde m = -n = 1, 2, ... Entonces, como la ecuacin z = r e es vlida para -1 potencias enteras positivas, se sigue de la forma exponencial de z que z = [1/r e Por tanto, la ecuacin z = r e Ntese que si r = 1, z = r e
n in n in n i(-) m

] = (1/r) e

im(-) = n in

re

es vlida para toda potencia entera.

se convierte en (e ) = e
i n in

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

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

(Dar click para agrandar la imagen)

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: