1

NMERO COMPLEJO


Definicin
Si llamamos C = y definimos:

: ; ( , ') ( , ') ( ', ') C C C a a b b a a b b = + +
: ; ( , ) ( ', ') ( ' ', ' ' ) C C C a b a b aa bb ab a b = +

A la estructura ) , , ( C la denominamos estructura de los nmeros complejos, o simplemente nmeros
complejos.


Ejercicio

Demostrar que ) , , ( C es un cuerpo conmutativo.

Nota
Si ) , ( b a z = decimos que a es su parte real (anotamos Re(z) = a ) y b su parte imaginaria (anotamos
Im(z) = b )


Representacin grfica

Nota: La notacin z = (a, b) se denomina notacin cartesiana del complejo z.
En consecuencia determinar el complejo z es equivalente a determinar el punto P. Y esto puede hacerse
no solamente mediante las coordenadas cartesianas sino tambin dando la distancia de O a P y la medida
del ngulo
1

POP
Si ( , ) y la medida de d O P =
1

POP ; = ; el punto P, y por lo tanto el complejo z est determinado por

el par de reales , . Anotamos , = z y decimos que es su forma polar. se denomina mdulo de
z y su argumento.

Nota: Al mdulo de z lo escribimos: z .
La representacin de un complejo adems de ser un punto puede ser un vector es til para la visualizacin
de ciertas operaciones como por ejemplo la suma ( se cumple la regla del paralelogramo

O
P
Q
H


Como un complejo es en definitiva un par ordenado de
nmeros reales, si en un plano establecemos un sistema
de coordenadas cartesianas (en este caso ortogonales), a
cada complejo z = (a, b) le podemos asociar un y solo un
punto P del plano; justamente el de coordenadas (a, b),
que denominamos afijo de z
Establecemos de esta forma una biyeccin entre C y los
puntos del plano.

P
1
P
2
P
O

2

Como procederamos para pasar un complejo en forma cartesiana a su forma polar?

Y de la forma polar a la cartesiana?
Ejercicio

Probar que
'
' '
' 2 ( )



=
=

= +

k k Z



Los nmeros complejos como una extensin de los reales

Teorema

Consideramos { } ( , 0)
0
C x C = .

H) : ; ( ) ( , 0)
0
f C f x x =
T) f es un isomorfismo entre ( , , ) ( , , )
0
y + C

Demostracin a cargo del estudiante

Nota

Teniendo en cuenta que
0
C C podemos considerar a C como una extensin de .
A partir de este momento no haremos distincin entre los smbolos de adicin de reales y adicin de
complejos; de la misma forma procederemos respecto a la multiplicacin.

La unidad imaginaria

Definimos (0, 1) = i y a dicho complejo lo denominaremos unidad imaginaria.

Como consecuencia del isomorfismo anterior anotaremos x en lugar de (x, 0).


Curiosidad

Hallar:
2
i


Notacin binmica

Actividad:

a) Hallar en notacin cartesiana i, con . b b
b) Teniendo en cuenta la parte anterior y utilizando que (a, b) = (a, 0) + (0, b), expresar (a, b) de otra
forma.


Observacin

Si pensamos a los complejos como una extensin de los reales, podremos afirmar que i < 2i?
Podramos estar tentados a decir que s porque 2i es el doble de i, pero qu entendemos por < en el
conjunto de los complejos? , no lo hemos definido ,Ser que puedo realizar una definicin similar a la
vista en ? Recordemos que en el conjunto de los nmeros reales, la definicin de < estaba precedida
por el axioma de orden, que nos permiti demostrar que era una relacin de orden.
3

Veamos si es posible establecer una proposicin anloga en ( , , ). + C

Suponemos entonces que , C C
+
tal que:
1) , x C se cumple una y slo una de las siguientes proposiciones:
) ) 0 ) i x C ii x iii x C
+ +
=
2) ,
.
x y C
Si x y C
x y C
+
+
+
+

2
2) 2)
2 2
2) 2)
. 1 ( 1).( 1) 1 , como 1 , absurdo.
Como: 0,
( ) 1 ( 1).( 1) 1 , como 1 , absurdo.
i C i i i C C C
i
i C i i C C C
+ + + +
+ + + +
= = =

= = =

Esto prueba que es imposible ordenar a los complejos del mismo modo que lo hicimos en , lo cual no
significa que no pueda establecerse una relacin de orden en el conjunto de los complejos. Por ejemplo:

Sea: < : C,
1 2
1 2
1 2 1 2
y Arg( ) Arg( )
z z
z z
z z z z
<

<

= <

Se considerara el argumento principal
Demostrar que esta es una relacin de orden amplio y comparar i con 2i. y digan si para esta i< 2i


Teorema:
' ' . ' ' . + =


Dem:

. ' ' ( cos , sen ) . ( ' cos ', 'sen ')
( . ' cos cos ' . 'sen sen ', . ' cos sen ' . 'sen cos ')


= =
= + =

[ ] [ ] ( )
. ' cos cos ' sen sen ' , . ' cos sen ' sen cos '
( . ' cos( '), . 'sen( ')) . ' '


= =
= + + = +



Ejercicio

Considerar: , 1 y 2 .
4 4
z w t

= = =
a) Calcular: z.w, z.t y z.i
b) Interpretar geomtricamente y generalizar la observacin.




Ejercicio

Si ( 0), = z z probar que:
1
1

=
z



4

Potencia de exponente entero

Definicin

Consideramos: C y z Z
Si 0 = y z > 0, definimos 0 0
z z
= =

Si 0 0, = y z definimos
0
1
z
= =

Si 0 0, > y z definimos .
1


=
z z


Si 0 0, < y z definimos
1
z
z

Observacin:

La definicin hecha es idntica a la realizada en los reales. Como adems ya vimos que (C,+,) y ( , , ) +
son ambos cuerpos conmutativos, la potencia de base compleja y exponente entero cumple idnticas
propiedades algebraicas que la potencia de base real y exponente entero. Es innecesario mencionar que
carece de sentido cualquier planteo sobre la variacin de la potencia recin definida. (Basadas en
propiedades de monotona).


Ejercicio

Determinar una frmula que permita hallar las potencias de i.

5

Teorema

;
)
=

C
H
m Z
) =
m m
T m

Dem:
1) Si 0 m m y lo demostraremos por I.C.

B.I


0
1
0 0
0.
0
0. 1 0 1

=

=
`
= =
)


P.I
) . =
h h
H h T)
1 1
( 1).
+ +
= +
h h
h


Demostracin


1 1
. . . . ( 1).
+ +
= = = + = +
h h h h h
h h h




2) Si 0 ;
1 1 1
.
( )


< =

= = = = = =

m m n n
m n n m
n m
n n n
n

Nota:

Si ( cos , sen ) (cos sen ), = = = + z z i a esta se la denomina notacin
trigonomtrica, como tambin a esta otra: ( cos , sen )
Por otra parte . ( cos . , sen . ) (cos . sen . ) = = = +
n n n n n
z n n n n i n
Entonces:

Para 1 = la frmula anterior nos queda:

Conocida como frmula de De-Moivre.

Si aplicamos esta frmula para n = 2 tenemos:

2 2 2 2
(cos .sen ) cos 2 .sen 2 cos 2cos .sen . sen cos 2 .sen 2
2 2
cos 2 cos sen 2 2
cos sen 2cos .sen . cos 2 sen 2
sen 2 2cos .sen




+ = + + + = +

=
+ = +

=

i i i i i
i i

[ ] (cos .sen ) (cos . sen . ) + = +
n n
i n i n
(cos .sen ) cos . .sen
n
i n i n n Z + = +
6


Frmulas vistas oportunamente cuando tratamos trigonometra.


Ejercicio:

Obtener frmulas para cos3 y sen3 en funcin de cos y sen .


Conjugado de un complejo

Definicin

Sea ( , ) . = z a b C Llamamos conjugado de z, y lo notaremos , z al complejo ( , ). a b


Teorema
1) = = Si z z
2)
( )
, = z z z C
3)
0
z z z C =
4) , , + = + x y x y x y C
5) . . , , = x y x y x y C
6)
( )
, , , =
n
n
x x x C n excluyendo x = n = 0.


Teorema
Sean : ; ( ) ........... , con , ,....., ,
1
1 1 0 1 1 0 0

= + + + +
n n
n n n n
f C C f x a x a x a x a a a a a C
y C

0 ) ( 0 ) ( = = f f Si

Dem
= + + + + = + + + + =

0 ........ 0 .. .......... ) (
0 1
1
1 0 1
1
1
a a a a a a a a f
n
n
n
n
n
n
n
n





= + + + + = + + + +

0 . ......... . 0 . ..........
0 1 1
0 1
1
1 0 1
1
1
a a
n
a
n
n
a
n
n
n
n
n
a a a a a a a a
n n

( ) ( ) 0 ) ( f 0 a . a ...... .......... . a . a
0 1
1 n
1 n
n
n
= = + + + +

P(a,b)
P(a,-b)
Observaciones :

1) Si . . z a b i z a b i = + =
2) 2 2Re( ) z z a z + = =
3)
2 2 2
. ( ) ( ) z z a bi a bi a b z = + = + =
4) El afijo de z es el simtrico con respecto a Ox del afijo de z.

7


En un lenguaje menos cuidadoso; hemos demostrado que un polinomio de coeficientes reales si acepta
una raz compleja necesariamente acepta su conjugada. Lo que trae como consecuencia que los
polinomios de coeficientes reales presentan sus races complejas de a pares. As si una funcin
polinmica P de coeficientes reales acepta raz 2+3i necesariamente acepta tambin la raz 2-3i.
Que las races complejas de los polinomios de coeficientes reales vengan de a dos implica entre otras
cosas que los polinomios de coeficientes reales y grado impar aceptan al menos una raz real.

Ejercicio

Dados los polinomios siguientes factorizarlos en el conjunto de los reales y en el de los
complejos.
a) P(x)=
3 2
2 19 58 51 0 x x x + = sabiendo que admite raz 4+i
b) P(x)=
4 3 2
6 33 306 74 0 x x x x + + = sabiendo que admite raz -5 - 7i



Radicacin

Definicin

Consideramos , ; 2, z C n n
n n
z w w z = =


Teorema

Dados , ; 2, , , . =
n
z C n n w w C w z
Si y ,
2
2 , con

=
= = = =

+
= + =

n
r
n
r n n
z w r w z r n
k
n k k Z
n

Por lo tanto:

2
y ; 2, ( ) tal que


+
= = =
k
n
n
z C n n w k Z w z
n



Ejercicio

a) Hallar las cuatro races cuartas de 1 y representarlas grficamente.

b) Si en la frmula que te permite hallar los argumentos de las races cuartas de 1 damos a k
los valores 6, 49, 479 y 1, se obtienen los cuatro argumentos de las cuatro races
distintas? Cmo deberan ser los cuatro valores de k que permitiran hallar los
argumentos de las cuatro races distintas?


Intentemos generalizar y justificar esta lo visto en el ejercicio anterior

Consideramos , ; 2. = z n n
Vimos que
,
2

+
=
k
n
k n
w
es raz n-sima de z, Z k
Todos los
k
w tienen el mismo mdulo ( )
n
y distinto argumento |

\
| +
=
n
k 2
k
.

8

Probemos que z admite n y slo n races n-simas; a saber: , , ,............,
0 1 3 1
w w w w
n
Para ello
debemos probar:

1) , , con 0 , 0 , < < w w h n j n si h j w w
h j h j


2) , ; 0 tal que: < = k Z r Z r n w w
k r



1)
2 2 2( )
,


+ +
= = =
h j h j
h j h j
n n n



0
1 1, como , 0
0 0
2( )

<
< < < <
`
< <
)

=
h n
h j h j
n h j n h j
j n n j n n
h j h j
Z w w
h j h j
n n


2) Z k realizamos la divisin entera:
k n
r q

Entonces:
2 2( ) 2
2 2
0


+ + + +
= + = = = + = +

<

k nq r r
k nq r q q
k r
n n n
r n


0 w w con r n
k r
= <

Observacin

Como las n races n-simas de
= z
tienen el mismo mdulo; sus afijos pertenecen a una
circunferencia de centro en el origen de coordenadas y radio
n

.
Adems la diferencia entre dos argumentos consecutivos es:

2( 1) 2 2
1


+ + +
= =
+
j j
j j
n n n


Por lo tanto los afijos de las n races n-simas de z son los vrtices de un polgono regular de n lados,
inscrito en una circunferencia de centro en el origen y radio la raz n-sima del mdulo de z.

9

Ejercicio

a) Hallar las cuatro races cuartas de 1 y representarlas grficamente.
b) Si en la frmula que te permite hallar los argumentos de las races cuartas de 1 damos a k los valores 6,
49, 479 y 1, se obtienen los cuatro argumentos de las cuatro races distintas? Cmo deberan ser los
cuatro valores de k que permitiran hallar los argumentos de las cuatro races distintas?

Raz cuadrada de un complejo en forma binmica

Consideramos . z a b i = +
Queremos hallar las dos races cuadradas de z sin pasar por la forma polar.

2 2 2 2 2
. es raz cuadrada de ( . ) . 2 .
2 2 2 2 2 2 4 2 2 4 2
( ) 2.
2 2
2 . .
2 2 2
2 4.
= + = + = + + + = +

= = + =

+ = +

= =

w x y i z w z x y i a b i x xy i y i a bi
x y a x y a x x y y a
x y xy i a b i
xy b x y b

Sumando tenemos:

4 2 2 4 2 2 2 2 2 2 2 2
4 ( )
mdulo de z
x x y y a b x y x y

+ + = + + = + =
2
2 2 2
2
2 2
2
2
2
a
x a x
x y
a
x y a
y a y

+
= + =

+ =

= =

Por lo tanto:

Observemos que haciendo todas las combinaciones de signo posibles tendramos cuatro races
cuadradas, lo cual es imposible. Ocurre que al elevar al cuadrado se introdujeron races. Cmo averiguar
cuales son las verdaderas?
Recordemos que: 2xy = b. Por lo tanto si b > 0, x e y tienen el mismo signo; en cambio si b < 0, x e y
tienen distinto signo.

Ejercicio:

Hallar: a) 3 4i + b) 5 12i


Definicin




Ejercicio
i) Probar que
p q p q
e e e
+
=
ii) Probar que
q p q p
e e e

= /
iii) Hallar 1
i
e

+
iv) Hallar
0
e

2 2
a a
a bi i
+
+ =
a bi a
e e
b
+
=
<

10


Definicin

*
Dado definimos = =
b
a C La b e a


Ejercicio:

1) Demostrar la existencia del logaritmo en los complejos y determinar grficamente sus afijos.
2) Hallar L(-1).
3) Si definimos
L
Log ( ) ,
L
=
b
a
a
b
hallar
4
Log ( 30).

Definicin

Dados w y z nmeros complejos, con w 0, definimos
L
=
z z w
w e


Ejercicio
i) Probar que:
p q p q
w w w
+
=
ii) Hallar
i
i

Transformaciones geomtricas

Ejercicio 1

Considerar: , 1 y 2 .
4 4
z w t

= = =
a) Hallar: z.w, z.t y z.i

b) Interpretar geomtricamente

Ejercicio 2

Si consideramos la funcin f: C C , f(z) = z + con y
a) De una interpretacin geomtrica para esta funcin
Sugerencia, considerar los casos siguientes:
i) = 1 y cualquiera,
ii) =0 y real
iii) =0 y un complejo de mdulo 1
iv) =0 y cualquiera
v) y cualesquiera
b) Estudiar la existencia de puntos unidos en esta transformacin


Ejercicios

1) Sea f: C C , f(z) = 2i z + 1 - 2i hallar el punto fijo y la imagen del eje imaginario
2) Sea f: C C , f(z) = ( 3-4i ) z + 2 indicar a que transformacin geomtrica
corresponde
11

3) Hallar la imagen de ( 1 , 8 ) en la rotacin de centro (1, 1 ) y ngulo
2

Ejercicios

I) Investiga si la siguiente relacin < : C, es de orden amplio y en caso afirmativo, si es de orden amplio
total:

Sean
'
( , ), ( ', ').
' '
1 2 1 2
<

= = <

= <

x x
z x y z x y z z
x x e y y


II) Expresar en forma polar: ) 1 , 2 ( , ) 3 , 1 ( , ) 1 , 1 ( , ) 1 , 3 (

III) Dados:

6
13
8
6
11
7
2
3
6 5
2
4 3
4
5
2
6
1
4 3 6 4 2 0 3 2 4

= = = = = = = = z y z z z z z z z

a) Representarlos grficamente.
b) Expresarlos en forma binmica.
c) Calcular:
( )
5 4 6
1 2 1
7 8
.
5
. , , ,
z z z
z z z
z z


IV) Hallar la parte real y la parte imaginaria de:
i)
i
i
i i
6 4
2
) 3 2 ).( 3 2 .( 2

+ ii)
i i i 2 1
1
2
1
1
1

iii) ( )
6
. 3 3 i +
iv)
7
9
) 1 (
) 1 (
i
i

+

V) i) Calcular: ( ) ( )
19
4 12
2 3
1
. 3 1
. 3 2 2 , 3 , ) 2 2 ( , ) 1 (
|
|

\
|

+
+ +

i
i
y i i i i
ii) Hallar la parte real y la parte imaginaria de cada uno de los siguientes complejos:

1 ) 1 (
1 ) 1 (
) 1 (
) 1 (
,
) 2 ( ) 2 3 (
) 1 ( ) 2 1 (
6
6
6
8
3 2
2 3
+ +

+
+ +
+
i
i
y
i
i
i i
i i


VI) Consideramos
3 2
( ).
4 3

mi
z m
i
Hallar m para que: i) Re( ) 0 z = ii)
0
z C

VII) Hallar los complejos cuyo cuadrado sea igual a su conjugado.

VIII) Sea
2
(1 ). (3 ). 2 12 ( ). = + + + w i m i m i m Hallar los valores de m para los cuales:
i) Re(w) = 0 ii) El afijo de w pertenece al cuarto cuadrante

iii)
0
w C iv) ( )
4
Arg w

=

IX) Calcular:
5 4
2 , 8 , 3 4 , 8 6 , 3 4 , 2 2 3. , 1 , 1 , i i i i i i i +
12

3 4 32 1
5 3
2 2 , 1 3 ,
1
i
i i y
i i

+
+


X) Resolver en : , ) , C ( +
1)
2
( 1) 49 x + = 2)
4
16 0 x + = 3)
8
1 0 x =
4)
3
25 0 x = 5)
4 2
30 289 0 x x + = 6)
2
(2 ) 7 1 0 x i x i + + =
7)
2
(3 2 ) 5 5 0 x i x i + = 8)
4 2
3 4 0 x x + = 9)
. 2 5 3
3 4
i z w i
z iw i
+ =

+ = +

10)
(3 2 ) (3 2 ) 8
(2 ) (2 ) 6
i x i y
i x i y
+ + =

+ + =

11)
4 8
12
5
8 3
z z
z
z i
=

XI) 1) Hallar 0 ) Re( 0 ) Re( 27 ; ,
2 1
3
2
3
1 2 1
= = z y z z z C z z
2) Determinar , , m a para que la ecuacin 0 4 2
2
= + + a m mx x acepte races
2 1 2 1
z z y z z = + =

XII) Resolver en (C,+,)
1)
3 2
2 19 58 51 0 x x x + = sabiendo que admite raz 4+i
2)
4 3 2
6 33 306 74 0 x x x x + + = sabiendo que admite raz -5 - 7i
3)
3 2
(2 3) (43 2 ) 15 40 0 x i x i x i + + = sabiendo que admite raz i.

XIII) 1) Hallar la raz quinta de 4 4i que tiene su afijo en el cuarto cuadrante y expresarla en forma
binmica.
2) Resolver en (C,+,) 0 2 2 5 4 4
2 3 4
= + z z z z sabiendo que una de las races es el complejo
hallado en 1)

XIV) 1) Hallar , , p q de modo que la ecuacin 0 3 2
2 3 4
= + + + + q px x x x admita a 1+i como raz.
2) Para los valores hallados resolver completamente la ecuacin en (C,+,).
3) Construir una funcin polinmica de cuarto grado y coeficiente principal 1 cuyas races sean los
cuadrados de las races de la ecuacin de la parte 1).

XV) Representar grficamente el conjunto de los complejos z que cumplen:
1) 2 z = 2)
1
z z

=
3) 1 z z + = 4)
2
0
z C
5)
1
0
z C
z
+ 6)
2 2
z z

= 7)
3 3
( 1) z z + = 8) 1 2 z z =
9) 2 3 1 z + < 10) 1 1 z z + < 11) z i z i +

XVI) Siendo 5 6
1
z i = + ; hallar C z
2
para que los afijos de 0
1 2
z y z sean los vrtices de un tringulo
equiltero

XVII) Hallar los complejos ,
1 2 3
z z y z cuyos afijos son vrtices de un tringulo equiltero con centro en el
origen, sabiendo adems que: . . 8 .
1 2 3
= z z z i Representar el tringulo y calcular su permetro.

13

XVIII) Con 2 5 ; hallar los complejos y
1 2 3
= + z i z z para que los afijos de 0, , ,
1 2 3
z z z sean los vrtices de
un cuadrado.

XIX)
1) Consideramos el complejo 2 .
4

= w
Para cada z C denominamos
1 2 1 3 2
. , . , . = = = z w z z w z z w z
Estudiar la naturaleza del cuadriltero de vrtices los afijos de 0,
1 2 3
, z z y z
2) Determinar los complejos z para los cuales el rea del mencionado cuadriltero vale 6.

XX) Resolver en (C,+,) :
2 3 4 5 6
1 0 x x x x x x + + + + + + =
(Sugerencia: recordar que
1 2 1
( ).( . .......... )
n n n n n
a b a b a a b b

= + + + )

XXI) 1) Hallar los complejos z tal que .
3
0
z C Representarlos grficamente.
2) De los complejos de mdulo constante que verifican 1), determinar su mdulo para que el
rea del polgono convexo formado por sus afijos valga 3 . 6 .
3) Sea [ ] x P , mnico del menor grado posible que acepta por races los complejos hallados en 2)
con parte real positiva.
Resolver en ( , , , ) : log ( ) 3
2
P x
x
+

XXII) 1) Demostrar que . . , z w z w z w C =
2) Consideramos la sucesin de complejos
1
1
( ) :
.
1 1
z i
z
i
n
z z z
n n n
n
= +

= +

Probar que:
*
1, = + z n n
n

3) i) Sean , ; . .

=
i
C
Probar que si A es el afijo de y B el de , entonces B O

A es recto.
ii) Hallar
{ }
; 2 z
n
+ =

4) Determinar [ ] x P mnico, de tercer grado, sabiendo que admite como raz el complejo
hallado anteriormente, y que es divisible entre x+3.

5) Resolver en ( , , , ) : +
a)
( ) 3(3 )
(0, 5) 2
P x x +

b)
3
( ) 2 .( 3)
2
P x x x + +