NUMEROS COMPLEJOS

DEFINICION
Llamamos conjunto de los nmeros complejos y lo denotamos con la letra al
conjunto de los pares de nmeros reales.

En el conjunto de los nmeros reales, una ecuacin tan sencilla como x2 + 1 =

0 no se puede resolver ya que es equivalente a x2 = -1 y no existe ningn
nmero real cuyo cuadrado sea negativo. As, para resolver este tipo de
ecuaciones, es necesario construir un conjunto de nmeros que contenga a los
reales y en el que se puedan calcular las races cuadradas y, en general, de
ndice par de nmeros negativos.

Un nmero complejo es un nmero de la forma a+bi, donde a y b son nmeros

reales, llamados parte real y parte imaginaria respectivamente, e i es la unidad
imaginaria que se define como i = -1.

El conjunto de nmeros complejos es C = {a+bi a, b R}.

Los nmeros complejos con parte imaginaria no nula, es decir de la forma a+bi
con b 0, se llaman nmeros imaginarios y si adems la parte real es nula, es
decir son de la forma bi, se llaman nmeros imaginarios puros. Si la parte
imaginaria del nmero complejo a+bi es nula, entonces se tiene el nmero real
a+0i = a, de donde se deduce que R C.

Se dice que dos nmeros complejos son iguales si lo son sus partes reales y
sus partes imaginarias. Es decir, a+bi = c+di si se verifica a = c y b = d.

Dado un nmero complejo, a+bi, su conjugado es otro nmero complejo que

tiene la misma parte real y la parte imaginaria de signo contrario. Se representa
a+bi = a-bi.

Algunas ecuaciones que no se pueden resolver en el conjunto de los nmeros

reales, tienen solucin en el conjunto C. En general, se verifica que toda
ecuacin polinmica con coeficientes reales de grado n tiene n soluciones en el
conjunto de los nmeros complejos, pudiendo ser stas nmeros reales o
imaginarios. Adems, si tiene como solucin un nmero imaginario, tambin es
solucin el conjugado de ste.

1
FORMA BINMICA DE UN NMERO COMPLEJO

Sea z = (a,b) un nmero complejo. Entonces podemos escribirlo en la forma:

z = (a,b) = (a,0) + (0,b) = a (1,0) + b (0,1)

Pero como (1, 0) = 1 y (0,1) = i, entonces (a,b) = a + bi . En este caso a + bi se

llama forma binmica o binomia del nmero complejo.

OPERACIONES

Suma de nmeros complejos

Dados dos nmeros complejos se define su suma como otro nmero complejo
cuya parte real es la suma de las partes reales y cuya parte imaginaria es la
suma de las partes imaginarias.

(a+bi) + (c+di) = (a+c) + (b+d)i

Propiedades

1. Asociativa: [(a+bi) + (c+di)] + (e+fi) = (a+bi) + [(c+di) + (e+fi)]

2. Elemento neutro: es el nmero 0 = 0+0i, ya que se cumple (a+bi) + 0 = 0

+ (a+bi) = a+bi

3. Elemento simtrico: Dado a+bi su elemento simtrico, llamado opuesto,

es -(a+bi) = -a-bi, ya que se cumple (a+bi) + (-a-bi) = (-a-bi) + (a+bi) = 0

4. Conmutativa: (a+bi) + (c+di) = (c+di) + (a+bi)

Con estas propiedades se puede decir que el conjunto de los nmeros

complejos con la operacin suma es un grupo conmutativo.

Resta de nmeros de complejos

El hecho de que dado cualquier nmero complejo exista su elemento opuesto
permite definir la resta en C de la forma:

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

que es una operacin interna.

2
 Producto de nmeros complejos

Dados dos nmeros complejos a+bi y c+di su producto es otro nmero

complejo de la forma
(a+bi).(c+di) = (ac-bd) + (ad+bc)i

Propiedades
1. Asociativa: [(a+bi).(c+di)].(e+fi) = (a+bi).[(c+di).(e+fi)]

2. Elemento neutro: es el nmero 1 = 1+0i, ya que se cumple (a+bi).1 =

1.(a+bi) = a+bi

3. Elemento simtrico: Dado a+bi 0, su elemento simtrico, llamado

a b
inverso, es (a+bi)-1 = - i, ya que se cumple
a2 +b2 a2 +b2
a b a b
(a+bi).( 2 2 i)=( 2 2 i).(a+bi)=1
a2 +b a2 +b a2 +b a2 +b

4. Conmutativa: (a+bi).(c+di) = (c+di).(a+bi)

5. Distributiva respecto de la suma:

(a+bi).[(c+di) + (e+fi)] = [(a+bi).(c+di)] + [(a+bi).(e+fi)]

Con estas propiedades y las enumeradas para la suma se puede decir que el
conjunto de los nmeros complejos con las operaciones suma y producto es un
cuerpo conmutativo.

En la prctica, el producto de dos nmeros complejos se obtiene multiplicando

las expresiones a+bi y c+di utilizando la propiedad distributiva y teniendo en
cuenta que i2 = -1:

(a+bi).(c+di) = ac+adi+bic+bdi2 = ac+adi+bci-bd = (ac-bd) + (ad+bc)i

Divisin de nmeros complejos

El hecho de que dado cualquier nmero complejo no nulo exista su elemento
inverso permite definir la divisin en C como:

c
(a+bi):(c+di) = (a+bi).(c+di)-1 = (a+bi). ( i) =
2 +2 c2 +2
+
+ i, si c+di 0
2 +2 2 +2

3
 +
En la prctica, para calcular (a+bi):(c+di) = , basta multiplicar el numerador
+
y el denominador por el conjugado del denominador y realizar operaciones:

+ ( + )( ) ( + ) + ( + ) ( + ) + ( + ) +
= = = = 2 + i
+ ( + )( ) ( 2 + 2 ) + ( + ) 2 + 2 + 2 2 + 2

Este mismo proceso se puede utilizar para calcular el inverso de un nmero

1
complejo no nulo, escribindolo de la forma ( + ) 1 = y
+
realizando la divisin.

Las siguientes propiedades relacionan las operaciones anteriores con el

clculo del conjugado de un nmero complejo.

Propiedades

1. k(a+bi) = k a+bi , siendo k R

2. (a+bi)+(c+di) = a+bi + c+di

3. -(a+bi) = - a+bi

4. (a+bi).(c+di) = a+bi . c+di

5. (a+bi)-1 = (a+bi )-1

6. (a+bi):(c+di) = a+bi : c+di

4
REPRESENTACIN GRFICA

Los nmeros complejos se representan en el plano. Para ello se consideran los

ejes coordenados y se representan en el eje de abscisas la parte real del
nmero complejo y en el eje de ordenadas la parte imaginaria. As, dado el
nmero complejo a+bi, su representacin en el plano se corresponde con el
punto dado por el par (a, b). Y recprocamente, dado un punto en el plano
definido por el par (a, b), este punto representa el numero complejo a+bi.

Debido a la correspondencia biunvoca que se establece entre los nmeros

complejos y los puntos del plano, ste recibe el nombre de plano complejo, el
eje de abscisas se llama eje real, y el eje de ordenadas, eje imaginario.

Propiedades

1. Los nmeros complejos con parte imaginaria nula (nmeros reales) se

representan en el eje de abscisas.

2. Los nmeros complejos con parte real nula (nmeros imaginarios puros)
se representan en el eje de ordenadas.

3. Un nmero complejo y su opuesto vienen representados en el plano por

puntos simtricos respecto al origen.

4. Un nmero complejo y su conjugado vienen representados en el plano

por puntos simtricos respecto al eje de abscisas.

5
FORMA POLAR Y FORMA TRIGONOMTRICA

La forma en que hasta este momento se han representado los nmeros

complejos se llama forma binmica; sin embargo, no es la nica posible. As,
el nmero complejo a+bi se puede escribir de otras dos formas que facilitan la
realizacin de ciertas operaciones. Para ello, previamente se han de definir los
conceptos de mdulo y argumento de un nmero complejo.

El mdulo o valor absoluto del nmero complejo a+bi es la distancia del

origen de coordenadas al punto (a, b) que representa al nmero complejo a+bi.
Se denota la+bil.
Aplicando el Teorema de Pitgoras, se obtiene que la+bil = 2 + 2 .

El argumento de un nmero complejo a+bi no nulo es el ngulo que forma el

eje OX positivo con el vector que une el origen de coordenadas con el punto
(a, b). Se denota arg(a+bi).

Aplicando trigonometra, se comprueba que arg(a+bi) = arctg( ).

En la siguiente figura se muestran grficamente el mdulo y el argumento de
un nmero complejo a+bi, que tambin es habitual denotarlos por y ,
respectivamente.

La forma polar de escribir el nmero complejo a+bi es siendo el mdulo y

el argumento de a+bi.

La forma trigonomtrica de escribir el nmero complejo a+bi es (cos +

isen) siendo el mdulo y el argumento de a+bi.

6
OPERACIONES EN FORMA POLAR Y EN FORMA
TRIGONOMTRICA

Las formas polar y trigonomtrica permiten que la realizacin de determinadas

operaciones de nmeros complejos se simplifique.

As, dados dos nmeros complejos = (cos + isen) y = (cos +

isen) se tiene:

1. El producto de dos nmeros complejos tiene por mdulo el producto de

los mdulos y por argumento la suma de los argumentos.

En forma polar: . = (.)+

En forma trigonomtrica: (cos + isen). (cos + isen) =

(.)(cos(+)+ ) isen(+)

2. El cociente de dos nmeros complejos, siendo el denominador no nulo,

tiene por mdulo el cociente de los mdulos y por argumento la resta de
los argumentos.

En forma polar: =( )

(cos + isen)
En forma trigonomtrica: = (cos( ) ) +
(cos + isen)
sen( )

3. La potencia n-sima de un nmero complejo tiene por mdulo la

potencia n- sima del mdulo y por argumento n veces el argumento.

En forma polar: ( ) = ( )

En forma trigonomtrica:(cos+ ) sen) = (cos()+ ) sen()

7
RACES N-SIMAS DE UN NMERO COMPLEJO
En la forma binmica de un nmero complejo la representacin es nica,
mientras que en la forma trigonomtrica o exponencial un mismo nmero
complejo tiene infinitas representaciones diferentes, z = r ei(+2k ) con k Z.
Para cada valor de k habr una representacin diferente del nmero complejo
z.

Definamos la radicacin como la operacin inversa de la potenciacin, esto es:

n
z = w z n = w.

Supngase que = es un nmero complejo de mdulo r y argumento y

que = un nmero complejo de mdulo s y argumento . Entonces =
equivale a:

= = r ei(+2k ) =w

De esta manera:

1. =

2. = + 2

n + 2
Por lo tanto, = donde s = y = , con k = 1,2,,n.

Estas son las frmulas para hallar las n races n-simas de cualquier nmero
complejo. Compruebe que para todo otro valor de k , con k Z , se obtienen
las mismas n races que para k = 0,1,K,.,n -1 .

EL LOGARITMO DE UN NMERO COMPLEJO

Al igual que para los reales, vamos a definir el logaritmo de un nmero complejo como la operacin
inversa de la exponencial, esto es:

z = log =

Supngase que = es un nmero complejo de mdulo r y argumento , entonces:

= r ei(+2k ) = + ( + 2).

8
TEOREMA DE MOIVRE

Si multiplicamos n nmeros complejos, a partir de la expresin del producto de

dos nmeros complejos obtenemos que el producto de n nmeros complejos
equivale a un complejo cuyo mdulo es el producto de los n mdulos y el
argumento, la suma de los n argumentos. De esta forma:

z1z2 z3 zn = r1r2r3...rn{cos(1+2+3++n)+jsin(1+2+3++n)}

Tomando todos los complejos iguales z1=z2==z3==zn=z, la expresin anterior

queda como:
zn = rn{cos(n)+ jsin(n)}

Por otro lado, la n- sima potencia del

nmero complejo z tambin puede
expresarse, lgicamente como:

e igualando
las dos ltimas

expresiones llegamos al Teorema de Moivre: