C

C
O
O
N
N
J
J
U
U
N
N
T
T
O
O
D
D
E
E
L
L
O
O
S
S
N
N

M
M
E
E
R
R
O
O
S
S


C
C
O
O
M
M
P
P
L
L
E
E
J
J
O
O
S
S

.
.


E
E
M
M
P
P
L
L
E
E
A
A
N
N
D
D
O
O
S
S
I
I
S
S
T
T
E
E
M
M
A
A
S
S
D
D
E
E


C
C

L
L
C
C
U
U
L
L
O
O
S
S
I
I
M
M
B
B

L
L
I
I
C
C
O
O

Lic. Adriana Raquel Fauroux














INDICE

1.INTRODUCCIN...........................................................................................6

2. NMEROS COMPLEJOS ...........................................................................7

2.1Representacin grfica de un complejo.......................................................7

2.2 Parte real e imaginaria de un complejo......................................................8

2.3 Opuesto y conjugado de un complejo.........................................................8

2.4 Complejo nulo...........................................................................................10

2.5 Igualdad de complejos..............................................................................10
3. 0PERACIONES CON NMEROS COMPLEJOS..........................................10

3.1 Adicin. Propiedades................................................................................10

3.2 Producto por un escalar. Propiedades.....................................................11

3.3 Multiplicacin de complejos. Propiedades................................................12

3.4. Potenciacin.............................................................................................12

4. ISOMORFISMO ENTRE EL CONJUNTO DE LOS NMEROS
COMPLEJOS REALES PUROS Y LOS NMEROS REALES..................13

5. UNIDAD IMAGINARIA................................................................................14

5.1Potencias sucesivas de la unidad imaginaria.............................................14
6. FORMA BINOMICA DE LOS NMEROS COMPLEJOS...........................15

6.1 Operaciones en forma binmica ...............................................................16

7. PROPIEDADES DE LOS CONJUGADOS ................................................18

8. MDULO DE UN COMPLEJO...................................................................20

8.1 Propiedades del mdulo un complejo.......................................................21

9. ARGUMENTO DE UN COMPLEJO...........................................................24

10. FORMA TRIGONOMTRICA DE UN COMPLEJO......................................27

10.1.Igualdad de complejos en forma trigonomtrica.....................................29

10.2. Operaciones en forma trigonomtrica....................................................29

Lic. Fauroux, Adriana Raquel
4
10.2.1 Multiplicacin........................................................................................29

10.2.2 Divisin.................................................................................................29

10.2.3 Potenciacin. Frmula de De Moivre...................................................31

10.2.4.Radicacin............................................................................................33

11. FORMA EXPONENCIAL...........................................................................39

11.1 Igualdad de complejos en forma exponencial..........................................40

11.2 Operaciones en forma exponencial .........................................................40

12. LOGARITMACIN EN C...........................................................................40

13. FORMA EXPONENCIAL COMPLEJA GENERAL....................................43

14. APNDICE.................................................................................................45

14.1 Sentencias para trabajar con el programa Mathematica..........................44

14.2 Empleo de los nmeros complejos...........................................................46

14.3 Link con pginas web ..............................................................................47

14.4 Raz cuadrada de un complejo ................................................................48

14.5 Races primitivas de la unidad .................................................................48

14.6 Los complejos y la geometra plana.........................................................51

15. APLICACIONES AL ANLISIS MATEMTICO I......................................56

16. EJERCICIOS PROPUESTOS ...................................................................58

17. BIBLIOGRAFA..........................................................................................63













Lic. Fauroux, Adriana Raquel
5
1. INTRODUCCIN

Desde Al'Khwarizmi (800 DC), quien fuera precursor del lgebra, slo se
obtenan las soluciones de las races cuadradas de nmeros positivos.
La primera referencia conocida relacionada con races cuadradas de nmeros
negativos proviene del trabajo de los matemticos griegos (entre ellos Hern de
Alejandra en el siglo antes de Cristo), ella surge como resultado de una
imposible seccin de una pirmide.

Los nmeros complejos se hicieron ms populares en el siglo XVI, cuando se

buscaba hallar las frmulas que dieran las races exactas de los polinomios de
segundo y tercer grado por matemticos italianos como Tartaglia o Cardano y
aunque slo estaban interesados en las races reales , se encontraron con la
necesidad de manejar races de nmeros negativos.
Girolamo Cardano (1501-1576) menciona por primera vez en su libro Ars Magna
(1545) la necesidad de definir y utilizar nmeros que respondan a la forma a
con a<0 . En el libro aparece el siguiente problema: dado un segmento de 10
unidades, dividirlo en dos partes de manera tal, que el rea del rectngulo que se
obtenga con esas dos partes sea de 40 unidades cuadradas.
La solucin deba ser fcil. Si una parte es x la otra parte es y = x-10, tal que
x.y = 40. Reemplazando: x.(10-x) = 40, operando x
2
10 x + 40 = 0.
Al resolver la ecuacin queda x
1,2
= 15 5 . A tales soluciones el filsofo y
matemtico alemn Descartes (1596-1650) las llam imposibles o imaginarios,
y en 1637 dedujo que las soluciones no reales de las ecuaciones, son nmeros
de la forma a+bi, con a y b reales.
Fue Karl F. Gauss (1777-1855) fsico, matemtico y astrnomo alemn quien us
los nmeros complejos en forma realmente confiable y cientfica. En 1799
demostr que las soluciones de cualquier ecuacin algebraica de cualquier grado,
pertenecen a un conjunto de nmeros que l llamo complejos, y que este
conjunto estaba formado por un nmero ordinario ( nmero real) ms un mltiplo
de la raz cuadrada de 1, llamado unidad imaginaria.
La implementacin ms formal, con pares de nmeros reales fue dada en el
Siglo XIX.
Indice

Lic. Fauroux, Adriana Raquel
6
2. NMEROS COMPLEJOS

Definicin 1:


Un nmero complejo es un par ordenado de nmeros reales.




De acuerdo a la definicin, la expresin analtica del conjunto de los nmeros
complejos es:


C ={(a; b) / aR

bR }
}


2.1 Representacin grfica de un nmero complejo.

Para graficar un complejo en el plano real, se tiene en cuenta que el eje de
abscisas recibe el nombre de eje real (Re) y el eje de ordenadas, eje imaginario
(Im).

La representacin grfica de un nmero complejo presenta dos posibilidades no
excluyentes:

Por el punto afijo: de la definicin 1 se deduce que, cada complejo se
representa en el plano real como un nico punto y a su vez cada punto del
plano real representa a un nico nmero complejo. Por lo tanto, existe una
relacin biunvoca entre el conjunto de los nmeros complejos y el
conjunto de los puntos del plano real. Este punto se denomina afijo.

Por el vector posicin: se puede representar a un nmero complejo
mediante un vector que tiene su origen en el origen de coordenadas y su
extremo en el afijo. Este vector se denomina vector posicin.


Dado el complejo z = (a; b)
posicin vector oz el es y el punto z de
coordenadas (a; b) es el afijo.

Im
b z


0 a Re










Lic. Fauroux, Adriana Raquel
7
2.2 Parte real e imaginaria de un complejo.

Dado un complejo z = (a; b), la primer componente se
denomina parte real ( Re(z) ) y la segunda componente
parte imaginaria ( Im(z) ).
Definicin 2:






De acuerdo a la definicin si:

z=(a;b)

= =
= =
b (z) imaginaria parte
a (z) real parte
Im
Re




Los complejos de la forma (a; 0) reciben el nombre de complejos reales puros
(C
R
) y se encuentran situados en el eje real. Los complejos de la forma (0;b) se
denominan complejos imaginarios puros y se ubican sobre el eje imaginario.


2.3 Opuesto y conjugado de un complejo

Definicin 3 :


Dado el complejo z = (a;b) su opuesto es z = ( - a;- b )


Definicin 4:

Dado el complejo z = (a;b) su conjugado es z = ( a;- b )



Observacin: en el complejo conjugado, la parte real queda igual y la parte
imaginaria cambia su signo respecto del complejo dado.


Interpretacin geomtrica

Im
z = (a; b)

Re
z = (a;- b)


Igualdad entre complejos.

Sean los complejos z
1
= (a; b) y z
2
=

Im
z = (a; b)

Re
-z = (-a;- b)


Lic. Fauroux, Adriana Raquel
8
Grficamente, entre un complejo y su opuesto, existe una simetra puntual de
centro en el origen y, entre un complejo y su conjugado existe una simetra axial
de eje real.

Ejemplo:

Dado el complejo z = ( -2;3) graficarlo, hallar su opuesto y su conjugado.

El complejo opuesto es z= -(-2;3)=(2;-3)
-z = (2;3)

El complejo conjugado es ( ) 3 ; 2 z = =(-2;-3) 3) ; 2 ( z =

Para realizar el grfico con el programa Mathematica, se necesita llamar al
paquete Graphics Arrow:

In[2]:=<<Graphics`Arrow`

In[3]:=Show[Graphics[{Arrow[{0,0},{-2,3}],
Arrow[{0,0},{2,-3}] , Arrow[{0,0},{-2,-3}] ,
Text[z,{-2,2.5}], Text[-z,{2,-2.1}],
Text[z ,{-2,-2.5}]}],Axes->True,
AxesLabel->{Re,Im},PlotRange->{{-3,4},{-4,4}},
AspectRatio->Automatic];























Lic. Fauroux, Adriana Raquel
9

2.4 Complejo nulo

Definicin 5:

z = (a; b) el es complejo nulo, si y slo si a = b = 0,
anotndose z = (0; 0) = 0



2.5 Igualdad de complejos

Definicin 6:

Dados los complejos z = (a; b) y w = ( c;d), resulta z = w
si y slo si a = c b = d.





Ejemplo:

Hallar el valor de h y k reales para que los complejos z
1
= ( 3.h +1; h +2.k) y

z
2
= ( 7; k) sean iguales.

Por definicin de igualdad de complejos, se tiene: . De la primer

= +
= +
k k h
h
2
7 1 3.

ecuacin resulta h = 2 y reemplazando en la segunda ecuacin k = -2.


Indice


3. 0PERACIONES CON NMEROS COMPLEJOS

3.1 Adicin:

Dados los complejos z
1
= (a; b) y z
2
= (c; d), se define:

z
1
+ z
2
= (a; b)+(c; d) = (a+c; b+d)





Observacin: La sustraccin entre nmeros complejos se obtiene sumando al
minuendo el opuesto del sustraendo:


Lic. Fauroux, Adriana Raquel
10

z
1
- z
2
= z
1
+(- z
2
) = (a; b)+(- c; - d) = (a - c; b - d)

PROPIEDADES

Ley de composicin interna : C C + )
2 1 2 1
z (z : z , z
Conmutatividad:
1 2 2 1 2 1
z z z z : z , z + = + C
Existencia de elemento neutro: z z z z = + = + = 0 0 C/ (0;0) 0 C,
Existencia de elemento puesto: 0 (-z) (-z) C/ (-z) C, = + = + z z z
Asociativa : ) z (z z z ) z (z : z , z , z
3 2 1 3 2 1 3 2 1
+ + = + + C

3.2 Producto por un escalar


Dado el complejo z=(a;b) y R , se define:

.z = .(a;b)=( .a; .b)






PROPIEDADES:

Ley de composicin externa: C C R z) . ( : z ,

Distributividad con respecto a la adicin de complejos:

2 1 2 1 2 1
z . z . ) z (z . : z , z , + = + C R


Distributividad con respecto a la adicin de escalares:

z . z . z . ) ( : z , , + = + C R


Asociatividad mixta: z) . ( . z . ) . ( : z , , = C R

De la unidad: z z . 1 / 1 , z = R C

Observacin: Como el conjunto de los nmeros complejos con las operaciones
adicin y producto por un escalar definidas, cumple con las propiedades
enunciadas se dice que tiene estructura de Espacio vectorial.






Lic. Fauroux, Adriana Raquel
11

3.3 Multiplicacin de complejos:


Dados los complejos z
1
= (a; b) y z
2
= (c; d), se define:

z
1
. z
2
= (a; b).(c; d) = (a.c- b.d; a.d+b.c)





PROPIEDADES:

Ley de composicin interna: C C ) z (z : z , z
2 1 2 1


Conmutatividad:
1 2 2 1 2 1
z z z z : z , z = C

Existencia de elemento neutro: z z z / (1;0) , b) (a; z = = = = e e C e C


Existencia de elemento inverso:

(1;0) z ' ' z / ' , b) (a; z = = = = e z z C z C 0

Asociativa: ) z (z z z ) z (z : z , z , z
3 2 1 3 2 1 3 2 1
= C

Ejercicio:
Verificar que el inverso multiplicativo de z = (a;b) 0 es z =

+
2 2 2 2
b a
b
;
b a
a



3.4. Potenciacin

La potenciacin de un nmero complejo con potencia natural, se resuelve como
una multiplicacin reiterada:

z
n
= (a; b)
n
=
4 4 4 4 4 4 4 4 2 1
veces n
b) (a; ... b) (a; b) (a;
3
asociando de a dos los pares ordenados.

Ejemplo 1:

Calcular : z = 2. 1) (0; 2;3) ( 1) ; (
2
1
+ .


Lic. Fauroux, Adriana Raquel
12
z = 2. 1) (0; 2;3) ( 1) ; (
2
1
+ . = ( ) = + + ) 3.0 1) 2.( 1); 3.( (-2.0 1) 2.( 2. ;
1
2


= (1;-2)+(0+3;2+0) = (1;-2)+(3;2) = (1+3;-2+2) = (4;0) z =(4;0)


Observar que el resultado es un complejo real puro.


Ejemplo 2:

Calcular z = (2; -1)
3
Z = (2; -1)
3
= (2; -1)
2
.(2; -1) = [(2; -1).(2; -1)].(2; -1) =

= [(2.2-(-1).(-1); 2.(-1)+(-1).2)].(2; -1) =

= (4-1; -2-2).(2; -1) = (3; -4).(2; -1) = [3.2 - (-4).(-1); 3.(-1)+(-4).2]=

= (6 - 4; -3 - 8) = (2; -11)

z =(2;-11)


Indice


4, ISOMORFISMO ENTRE EL CONJUNTO DE LOS NMEROS COMPLEJOS
REALES PUROS Y LOS NMEROS REALES.

Existe una funcin biyectiva F: C
R
R denominada isomorfismo entre el
conjunto C
R
(conjunto de los nmeros reales puros) y R (conjunto de los nmeros
reales), de manera tal que F (a; 0) = a ( ) ( volver a forma binmica)

Sean los complejos :z
1
= (a; 0) y z
2
= (b; 0) se debe verificar que :

a) F (z
1
+ z
2
) = F(z
1
) +F (z
2
)
b) F (z
1
.z
2
) = F (z
1
) .F (z
2
)

D)
a) F (z
1
+ z
2
) = F [(a; 0)+(b; 0)] = F (a+b; 0) = a+b por ( )
= F (z
1
)+ F (z
2
)
b) F (z
1
. z
2
) = F[(a; 0).(b; 0)]= F[(a.b - 0; a.0+b.0)]= f (a.b;0) = a.b por ( )
= F (z
1
).F (z
2
)


Lic. Fauroux, Adriana Raquel
13