1.

3 EL NMERO COMPLEJO

Introduccin

El ejemplo tpico de una ecuacin que no tiene solucin en el conjunto de los nmeros
reales es , ya que no existe ningn real x tal que su cuadrado sea un , con nmero negativo. De manera mas general, la ecuacin: coeficientesa,b,c , no tiene solucin real si . Se hace, por tanto, necesario ampliar el conjunto de los nmeros reales a un conjunto donde puedan resolverse situaciones como las anteriores, de manera que est en correspondencia biunvoca con una parte de l. Dicho conjunto es llamado: Conjunto de los nmeros Complejos y se denota por la letra C . A continuacin se describen las definiciones y los resultados ms importantes relacionados con los nmeros complejos.

..
1.3.1 LOS COMPLEJOS COMO PARES ORDENADOS Definiciones. i) El conjunto de los nmeros complejos se define como :

C=

,es decir, C =

ii) Al elemento (a,b) C se le llama nmero complejo y, usualmente, se denota por z = (a,b). iii) En el complejo llamamos parte real del complejo z (Re(z)) a la primera componente y parte imaginaria del complejo z (Im(z)) a la segunda componente. Es decir, si z = (a,b), entonces, Re(z) = a y Im(z) = b . iv) Un nmero complejo es real si su parte imaginaria es cero. Un nmero complejo es unimaginario puro si su parte real es cero. v) Al nmero complejo (0,1) se le llama unidad imaginaria y se denota por la letra i . Esto es , i = (0,1). vi) Sean y dos nmeros complejos, entonces :

yb=d Es decir, dos nmeros complejos son iguales s y slo si coinciden en su parte real y en su

parte imaginaria. Observaciones. i) Con relacin al plano cartesiano, los nmeros complejos estn en correspondencia biunvoca con los puntos del plano. Esto es, la abscisa de cada punto es la parte real y la ordenada la parte imaginaria . Note que los complejos cuya parte imaginaria es nula ; es decir, los nmero de la forma z = (a,0) son puntos localizados sobre el eje de las abscisas o eje x. Puede demostrarse que los nmeros complejos de la forma (a,0) tienen las mismas propiedades aritmticas que el nmero real a . Por esta razn, se puede identificar el nmero complejo (a,0) con el nmero real a.

Igualmente, los complejos cuya parte real es nula; es decir, los nmeros de la forma z=(0,b) estn localizados sobre el eje de las ordenadas o eje y. Por esta razn, algunos autores utilizan los trminos eje real y eje imaginariopara referirse, respectivamente, al eje xy al eje y del plano cartesiano.(Fig.1)

1.3.2 Operaciones en C. En el conjunto C estn definidas dos operaciones, denominadas respectivamente adicin ymultiplicacin,de la siguiente forma: Sean i) ADICIN: ii) MULTIPLICACIN: Se puede demostrar que, con estas dos operaciones, el conjunto C adquiere la estructura algebraica de campo. El elemento neutro de la adicin es 0 = (0,0);el inverso aditivo de (a,b) es (-a,-b).El elemento neutro de la multiplicacin es 1=(1,0) y el inverso y dos nmeros complejos.

multiplicativo de

es:

De este modo, las operaciones de DIFERENCIA y DIVISIN (por un divisor distinto de cero) pueden definirse de la siguiente forma: iii) DIFERENCIA:

iv) DIVISIN:

Esto, de acuerdo con la nocin de inverso aditivo y multiplicativo. Observacin. De la definicin de unidad imaginaria y de la multiplicacin entre complejos, se tiene:

y como el complejo (- 1,0) se identifica con el nmero real -1,se concluye entonces que:

De esta manera, se pueden establecer las potencias sucesivas de la unidad imaginaria i, as: ; ; ; .

En forma similar , ; ; ; ,etc

Note que si el exponente es de la forma 4k con k entero positivo, entonces :

En general ,si el exponente es un natural n> 4, al dividir n por 4, se tiene :

n = 4q + r ,donde r = 0,1,2,3 y, en consecuencia ,

reduciendo as la potencia de

a uno de los cuatro casos considerados inicialmente.

1.3.3 Forma binmica de los complejos. Sea z = (a,b) un nmero complejo. De acuerdo a la definicin de suma de complejos, se tiene z = (a,b) = (a,0) + (0,b) , y como (a,0) coincide con el real a y (0,b) = (0,1).b= ib, se tiene, entonces, z = (a,b) = a + bi . La forma a + bi se conoce como la forma binmica del complejo (a,b). Bajo esta forma es como habitualmente se manejan los complejos. La conveniencia de adoptarla estriba en la facilidad de efectuar operaciones algebraicas que son mucho menos laboriosas que con pares ordenados. Las operaciones, mencionadas anteriormente, se harn, en consecuencia , segn las siguientes reglas: i) ADICIN Y DIFERENCIA:

ii) MULTIPLICACIN:

iii) DIVISIN:

Observe que estas operaciones pueden efectuarse formalmente siguiendo las mismas reglas del lgebra con nmeros reales, con la nica precaucin de sustituir aparezca, por el nmero -1. As, para calcular el cociente de (a + bi) entre escribe: , cada vez que , se

(Multiplicando Numerador y Denominador

por la expresin conjugada * del denominador).

1.3.4 Complejos conjugados. Mdulo de un complejo. Definiciones. Sea z = a + bi la forma binmica de un nmero complejo, entonces: i)El complejo conjugado de z = a + bi, denotado por es el complejo .

ii)Dos complejos son conjugados uno del otro si tienen la misma parte real, y si sus partes imaginarias son nmeros reales opuestos. Geomtricamente, dos complejos conjugados uno del otro se caracterizan por ser puntos simtricos con respecto al eje real (Fig. 2.1) iii) El mdulo o valor absoluto de un complejo z = a + bi, denotado por |z|, se define: |z|= Geomtricamente, el mdulo de un complejo z = a + bi es la distancia del origen al punto del plano que representa el complejo (Fig. 2.2).

En el siguiente teorema, se presentan las propiedades ms importantes de los complejos conjugados y del mdulo de un complejo. Teorema. Sean 1. 1.1 nmeros complejos, entonces:

1.3 Generalizacin:

3 3.1 4

4.1 Generalizacin: 5 |z| = 0 6. 7. 8 9 y

z=0

10

10.1

10.2 11 12

(Desigualdad triangular )

12.1 Generalizacin: 13 .

Demostracin. A manera de ilustracin se demuestran las propiedades 1y3; se deja la demostracin de las dems propiedades como ejercicio para el lector. 1 Sean y ,las formas binmicas de los complejos ,entonces:

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

2 Si

( ) Suponga que z y pruebe que z = . z , entonces z = a + 0i y

= a - 0i , esto es : z = a = .

( ) Sea z = a + bi ,

= a - bi . Si z = , entonces a + bi = a - bi y por la igualdad entre complejos, se sigue que b = - b 2b = 0 , con lo cual b = 0 .En consecuencia ,

z = a + 0i =

a.

Los nmeros complejos pueden escribirse en otras formas que involucran funciones trigonomtricas. Ellas son: la forma polar o trigonomtrica y la forma exponencial. Se deja la presentacin de estas dos formas para el taller correspondiente a la trigonometra plana.