NMERO COMPLEJO

Definicin
Si llamamos C = y definimos:
1) (a, b) = (a ' , b' ) a = a' b = b'
2) : C C C ; (a, a ' ) (b + b' ) = (a + a ' , b + b' )
3) : C C C ; (a, b) (a ' , b' ) = (aa 'bb' , ab'+ a' b)

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

simplemente nmeros complejos

Ejercicio

Demostrar que (C,,) es un cuerpo conmutativo

Los nmeros complejos como una extensin de los reales

Definicin
Consideramos: ( A,) y ( B,
) dos estructuras algebraicas sea f : A B una
funcin

Decimos que f es un homomorfismo f (a )
f (b) = f (a b) a, b A

Si adems f es biyectiva la denominamos isomorfismo.

Dos estructuras algebraicas se dice que son homomorfas (isomorfas) si

existe un homomorfismo
(isomorfismo) entre ellas.

Observacin:
Sean (A,) y (B,
) dos estructuras algebraicas isomorfas.
Denominamos f al isomorfismo Si (A,) es conmutativa
a b = b a a, b f (a b) = f (b a) a, b A
f (a )
f (b) = f (b)
f (a ) f (a ), f (b) B Como f es biyectiva y por lo
tanto sobreyectiva todo elemento de B es imagen de uno de A. Entonces
x
y = y
x x, y B (B,
) es conmutativa
Si n es neutro de ( A,) a n = n a = a a A f (a n) = f (n a ) = f (a ) a A
f (a)
f (n) = f (n)
f (a) = f (a ) f (a ) B x
f (n) = f (n)
x x B
f (n) es neutro de (B,
)

Anlogamente puede probarse que toda propiedad que cumpla (A,) se trasmite a (B,
) por
f. Tambin es posible demostrar que f 1 es un isomorfismo con lo cual toda propiedad
que cumpla (B,
) se trasmite a (A,) . En consecuencia (A,) y (B,
) tienen exactamente las
mismas propiedades. En otras palabras dos estructuras isomorfas son algebraicamente
idnticas.

1
Teorema

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

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

Demostracin a cargo del estudiante

Una vez demostrado este teorema podemos considerar a como a C 0 . Teniendo en

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

La unidad imaginaria
Observemos que: (0,1).(0,1) = (0.0 1.1 , 0.1 + 1.0) = (1,0) Gracias al
isomorfismo visto en el punto anterior podemos anotar x en lugar de (x,0). Si
denominamos i al complejo (0,1) tenemos que

i2 = . 1

b.i = (b,0).(0,1) = (b.0 0.1 ,0.0 + b.1) = (0, b) = b b

(a, b) = (a,0) + (0, b) = a + b.i A la expresin a + b.i la denominamos forma binmica de( a , b)

Imposibilidad de ordenar a los nmeros complejos

Al desarrollar la teora de los nmeros reales no solamente introdujimos en el la suma y el

producto; tambin lo dotamos de una relacin de orden compatible con las operaciones.
Lo cual fue hecho a travs del axioma de orden.
Veamos si es posible establecer una proposicin anloga en (C,+,)

Suponemos entonces que C + C que verif

1) x C se cumple una y solo una de las siguientes proposiciones
i) x C + ii) x = 0 iii) x C +
x + y C +

2) Si x, y C +
+
x. y C

Como
i C + 2) i 2 = i.i = 1 C + 2) ( 1).(1) = 1 C + como 1 C + tenemos una contradicin

i0
+
i C (i ) 2 = i 2 = 1 C + (1).(1) = 1 C + como 1 C + tenemos una contradiccin

2
Esto prueba que es imposible ordenar a los complejos con las caractersticas que lo
fueron los reales.

Ejercicio

Investiga si las siguientes relaciones < : C son de orden amplio y si es as si son totales

z1 < z 2

a) z1 < z 2
z = z y Arg ( z1 ) < Arg ( z 2 )
1 2

x < x'

b) z1 = ( x, y ) z 2 = ( x' , y ' ) z1 < z 2
x = x' e y < y '

Representacin grfica

P
Como un complejo es en definitiva un par
P2 ordenado de 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
O P1 coordenadas (a,b), que denominamos afijo de

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 OP1OP

Si d(O, P) = y la medida de OP1OP = ; 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

Puede demostrarse que si z = (a,b) y z = se cumple:

a = . cos
= a2 + b2
b = . sen
si a 0 tg = ba
si a = 0 y b > 0 = 2
si a = 0 y b < 0 = 32

Tambin puede probarse:

= '
= ' '
= '+2k (k Z)

3
 H(a+a,b+b)
P(a,b)

Q(a,b)

Otra interpretacin geomtrica til es O

asociar al complejo z = (a,b) el vector OP

con P(a,b).

Consideraciones geomtricas permiten

afirmar que el vector asociado a la suma de
dos complejos es la suma de los vectores
asociados

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 Consideramos: z = , w = 1 4 y t = 2 4 Calcular: z.w , z.t y z.i

Interpretar geomtricamente Generalice su observacin.

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

Potencia de exponente entero

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

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

Si 0 y z > 0 definimos z = . z 1

1
Si 0 y z < 0 definimos 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.

4
Teorema
C ; =
H) T) m = m m
mZ

Dem:
Si m 0 m N Tiene sentido entonces intentar una demostracin por I.C.

1 paso
0 = 1
= 0.
0 0
0. = 1 0 = 1
0

2 paso
H ) h = h h. T) h +1 = h +1 (h + 1).

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

1 1 1
Si m < 0 m = n ; n N m = n = = = = n n. = m m
n
( ) n
n
n

Nota:
Si z = z = ( cos , sen ) = (cos + i sen )
Por otra parte z n = n n. = ( n cos n., n sen n.) = n (cos n. + i sen n.)

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

Entonces:

Para = 1 la frmula anterior nos queda:

(cos + i. sen ) n = cos n. + i. sen n n Z

Conocida como frmula de De-Moivre.

Si aplicamos esta frmula para n = 2 tenemos:

(cos + i. sen ) 2 = cos 2 + i. sen 2 cos 2 + 2 cos . sen .i + i 2 sen 2 = cos 2 + i. sen 2
cos 2 = cos 2 sen 2
cos 2 sen 2 + 2 cos . sen .i = cos 2 + i sen 2
sen 2 = 2 cos . sen

Frmulas vistas oportunamente cuando tratamos trigonometra.

Ejercicio: Obtener frmulas para cos 3 y sen 3 en funcin de cos y sen

5
Radicacin

Consideramos z C , n N ; n 2 Definir: n z = w w n = z resulta la opcin mas

previsible.
Antes de adoptar tal definicin debemos discutir acerca de su existencia.

r n = r=n

Si z = y w = r wn = z r n n = + 2 k
n = + 2k = n
Por lo tanto:
+ 2 k
z = C y n N ; n 2 w = n n
(k Z) tal que w n = z

Estamos ahora s en condiciones de asumir como definicin de raz n-esima la planteada

al comienzo. Y adems obtuvimos un procedimiento para calcularla en forma polar.

Ejemplo: Calculemos 3
i Para ello tengamos en cuenta que i = 1 2

+ 2k
3
i = 3 1 = 3
1 2
= 1 + 2 k3 ( k Z) Si llamamos w k = 1 6 + 2k3 tendramos
2 3 6

aparentemente tantas races cbicas de i como enteros hay. Todas ellas con mdulo 1 y
argumento k = 6 + 2k3

Observemos que: w0 = 1 6 , w1 = 1 56 , w2 = 1 32 , w3 = 1 136 = 1 6 + 2 = w0

w4 = 1 176 = 1 56 + 2 = w1 , ...................

Parece que solamente hay tres races cbicas de i: w 0 , w 1 y w 2 ya que aparentemente

w0 = w3 = w6 = ..............

w 1 = w 4 = w 7 = ...............

w2 = w5 = w8 = ...............
Intentemos generalizar y justificar esta observacin.

+ 2 k
Consideramos z = , n N ; n 2 vimos que wk = n n
es una raz n-esima de z
k Z

Todos los w k tienen el mismo mdulo (n ) y distinto argumento k =

+ 2 k

.
n

Probemos que z admite n y solo n races n-esimas; a saber: w 0 , w 1 , w 3 ,............, w n 1

Para ello debemos probar:

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

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

6
 + 2 h + 2 j 2(h j )
1) h = , j = h j =
n n n

0h<n h j h j
n < h j < n 1 < <1 como h j 0
0 j<n n < j 0 n n

h j 2(h j )

n
Z h j =
n

2 wh w j

2) k Z realizamos la divisin entera

k n
r q

+ 2k + 2(nq + r ) + 2 r
k = nq + r k = = = + 2q = r + 2q
Entonces: n n n
0r<n

wk = wr con 0 r < n

Observacin
Como las n races n-esimas de z = todos ellas 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
+ 2( j + 1) + 2 j 2
j +1 j = =
n n n
Por lo tanto los afijos de las n races n-esimas 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-esima del mdulo de z.

Ejercicio Hallar y representar grficamente las cinco races quintas de 1.

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.

w = x + y.i es raz cuadrada de z w2 = z ( x + y.i) 2 = a + b.i x 2 + 2 xy.i + y 2 i 2 = a + bi

x 2 y 2 = a ( x 2 y 2 ) 2 = a 2 x 4 2.x 2 y 2 + y 4 = a 2
x 2 y 2 + 2xy.i = a + b.i
2 xy = b 4.x 2 y 2 = b 2
Sumando tenemos: x 4 + 2.x 2 y 2 + y 4 = a 2 + b2 (x 2 + y 2 ) 2 = 2 x 2 + y2 =
   
 
( x 2 + y2 )2 mdulo de z

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

7
Por lo tanto:
+a a
a + bi = 2
2
i

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 i) 3 + 4i ii) 5 12i

Conjugado de un complejo

Definicin
Consideramos z = (a , b) C . Llamamos conjugado de z (anotamos z ) al
complejo (a , b)

P(a,b) Observaciones : 1) Si z = a + b.i z = a b.i

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

P(a,-b)

Nota
Si z = (a, b) decimos que a es su parte real (anotamos Re(z) = a ) y b su parte
imaginaria (anotamos Im(z) = b )
Al mdulo de z lo escribimos z .

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

Dem 4)
Si x = a + bi e y = a '+b' i x + y = a + a' + (b + b' ) i x + y = a + a' (b + b' ).i

x = a bi
x + y = a bi + a 'b' i = a + a' (b + b' ) i Entonces x+y=x+y
y = a'b' i

8
Teorema
Consideramos :
f : C C ; f ( x) = a n x n + a n 1 x n 1 + ........... + a1 x + a 0 con a n , a n 1 ,....., a1 , a 0 C 0
C

Si f ( ) = 0 f ( ) = 0

Dem

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

a n n + a n 1 n 1 + ........... + a1 + a 0 = 0 a n . n + a n 1 n 1 + ......... + a1 . + a 0 = 0
   
an a n 1 a1 a0

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

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.

Ejemplo
Determinar una funcin polinmica de coeficientes reales del menor grado posible que
admita como races
= 3 , = 1 + i y tenga coeficiente principal 1.

Denominamos f a la funcin buscada. Como f es de coeficientes reales y

f () = 0 f () = 0
Por lo tanto f admite al menos como races = 3 , = 1 + i = 1 i teniendo en cuenta
adems que el coeficiente principal es 1 tenemos:
2
f ( x ) = 1.( x ).(x ).(x ) = ( x 3).( x 2 ( + ) x + .) = ( x 3).( x 2 2 Re() x + ) = ( x 3)(x 2 2x + 2)

Ejer Hallar una funcin polinmica de coeficientes reales y del menor grado posible que
tenga races: 2 , 1+2i y 3+i

Definicin

e a + bi = e a <b

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

iii) Hallar e i + 1
iv) Demostrar la existencia del logaritmo en los complejos y determinar
grficamente sus afijos.

9
Ejercicios

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

II) Dados: z1 = 4 6 z 2 = 2 54 z 3 = 30 z 4 = 2 2 z 5 = 4 z 6 = 6 32 z 7 = 3 116 y z 8 = 4 136

i) Representarlos grficamente. ii) Expresarlos en forma binmica. iii) Calcular
z1 .z 2 , (z1 ) ,
5 z5 z 4 . z6
z7
, z8

III) Hallar la parte real y la parte imaginaria de:

i) 2.( 2 3i).( 2 + 3i )
2i
4 6i
ii)
1
+
1
+
1
1 i 2 i 1 2i
(
iii) 3 + 3.i )
6

(1 + i) 9
iv)
(1 i ) 7

19

IV) i) Calcular: (1 + i) , (2 2i ) , 3 2
( 3 +i ) , ( 2 2 3.i )
12 4 1 + 3.i
y
1 i


ii) Hallar la parte real y la parte imaginaria de cada uno de los siguientes complejos:
(1 + 2i) 3 (1 i ) 2 (1 + i ) 8 (1 i ) 6 1
, y
(3 + 2i ) 2 (2 + i ) 3 (1 i ) 6 (1 + i ) 6 + 1

3 2mi
V) Consideramos z = ( m ) Hallar m para que: i) Re( z ) = 0 ii) z C 0
4 3i

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

VII) Sea w = (1 + i).m 2 (3 + i ).m + 2 12i (m ) Hallar los valores de m para los cuales:
i) Re(w) = 0. ii) El afijo de w pertenece al cuarto cuadrante. iii) w C 0
iv) Arg ( w) = 4
VIII) Calcular:
2i , 8i , 3 4i , 8 + 6i , 3 4i , 2 2 3.i , 4
1 , 5
1 i ,
3
2 + 2i , 4
1 3i , 5 32 y 3 1 i
i 1+ i

IX) Resolver en (C,+,) : 1) ( x + 1) 2 = 49 2) x 4 + 16 = 0 3) x 8 1 = 0

4) x 3 25 = 0 5) x 4 30x 2 + 289 = 0 6) x 2 (2 + i) x + 7i 1 = 0

10
 7) x 2 (3 2i) x + 5 5i = 0 8) x 4 3x 2 + 4 = 0
z 4 = z 8
i.z + 2 w = 5 3i (3 + 2i) x + (3 2i ) y = 8
9) 10) 11) z 12 5
z + iw = 3 + 4i (2 + i ) x + (2 i) y = 6 =
z 8i 3

X) 1) Hallar z1 , z 2 C ; z13 = z 23 = 27 Re( z1 ) 0 y Re( z 2 ) 0

2) Determinar m, a para que la ecuacin x 2 2mx + 4m + a = 0 acepte races
= z1 + z 2 y = z1 z 2

XI) Resolver en (C,+,) 1) 2 x 3 19 x 2 + 58 x 51 = 0 sabiendo que admite raz 4+i

2) x 4 + 6 x 3 + 33x 2 306 x 74 = 0 sabiendo que admite raz -5 - 7i
3) x 3 + (2i 3) x 2 + (43 2i) x 15 40i = 0 sabiendo que admite raz
i.

XII) 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,+,) 4 z 4 4 z 3 + 5 z 2 2 z 2 = 0 sabiendo que una de las races es el
complejo hallado en 1)

XIII) 1) Hallar p, q de modo que la ecuacin x 4 + 2 x 3 + 3 x 2 + px + q = 0 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).

XIV) Representar grficamente el conjunto de los complejos z que cumplen:

1) z = 2 2) z = z 1 3) z + z = 1 4) z 2 C 0 5) z + 1z C 0
6) z 2 = z 2 7) (z + 1) 3 = z 3 8) z 1 = z 2 9) 2z + 3 < 1
10) z + 1 < z 1 11) z i z + i

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

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

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

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

IXX) Resolver en (C,+,) : 1 + x + x 2 + x 3 + x 4 + x 5 + x 6 = 0

(Sugerencia: recordar que a n b n = (a b).(a n 1 + a n 2 .b + .......... + b n 1 ) )

XX) 1) Hallar los complejos z tal que z 3 C 0 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 6. 3 .
3) Sea P [x ] , mnico del menor grado posible que acepta por races los
complejos hallados en 2) con
parte real positiva. Resolver en (,+,, ) : log x 2 P( x ) 3

XXI) 1) Demostrar que z.w = z . w z, w C

z1 = 1 + i
2) Consideramos la sucesin de complejos (z n ) :
z n = z n 1 + z n 1 .
i
n

Probar que: z n = n + 1 n N *
3) i) Sean , C ; = . i Probar que si A es el afijo de y B el de
entonces AOB es recto.
ii) Hallar {z n } ; + = 2

4) Determinar P [x ] mnico de tercer grado sabiendo que admite como raz el

complejo hallado
anteriormente y que es divisible entre x+3.

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

12