1/20

TEMAS DE MATEMTICAS
(OPOSICIONES DE SECUNDARIA)
TEMA 9
EL NMERO COMPLEJO. APLICACIONES.
1. Introduccin.
2. El Cuerpo de los nmeros complejos.
2.1. El grupo aditivo de los nmeros complejos.
2.2. El grupo multiplicativo de los nmeros complejos.
2.3. El cuerpo multiplicativo de los nmeros complejos.
3. Inversin de 3 en ".
4. El espacio vectorial de los nmeros complejos.
5. Representacin de un nmero complejo en forma binaria.
6. Orden en ".
7. Geometrica de los nmeros complejos. El plano complejo.
8. Nmeros complejos conjugados.
9. Valor absoluto en ".
10. Representacin de un nmero complejo en forma polar y trigonomtrica.
10.1. Operaciones con nmeros complejos en forma polar y trigonomtrica.
11. Aplicaciones de los nmeros complejos.
11.1. Resolucin de ecuaciones polinmicas de 2 grado.
11.2. Aplicaciones geomtricas.
Bibliografa Recomendada.
2/20
TEMA 9
EL NMERO COMPLEJO.APLICACIONES.
1. INTRODUCCIN.
En el tema 1 se definieron los nmeros naturales. En el tema 4 ampliamos a los
enteros y en el tema 5 a los racionales. La ltima extensin la realizamos en el tema 6,
construyendo el cuerpo de los nmeros reales. Cada una de las sucesivas ampliaciones
surgi porque el conjunto original no era capaz de resolver una determinada ecuacin.
Ahora nos sucede lo mismo.
Partiendo del conjunto de los nmeros reales, nos encontramos que ecuaciones
como sta, x
2
+1=0, no tienen solucin. Ello es debido a que los nmeros negativos no
tienen raz cuadrada. Podemos generalizar este resultado a: los nmeros negativos no
tienen raz de ndice par.
Es decir
n
m con n par y m positivo. Es claro, ya que si existiera,
n
m = k,
entonces se debe verificar que (k)
n
=-m. Y sabemos por la regla de los signos, que la
potencia par de un nmero no es negativa.
Hemos de ampliar 3 para que se puedan calcular dichas races. Eso nos dar el
conjunto de los nmeros complejos.
Ya en el siglo XVI se intent dar una solucin a este problema, definiendo el
smbolo 1 , que luego se representara con la letra i. Al nmero i se le consider un
nmero ficticio o imaginario, ya que no se poda calcular. Pero permita resolver
ecuaciones como x
2
+1 = 0 dando como resultado que x
2
+1 0 (x+i)(x-i), siendo ti las
dos soluciones de la ecuacin.
Estos nmeros, como +i, -i o tambin 1+2i, 3-i,... recibieron el nombre de nmeros
complejos. Pero no fue hasta el siglo XIX cuando, tanto Gauss como Hamilton,
definieron de una forma precisa los nmeros complejos. Se definieron como pares de
nmeros reales, (a,b), con una serie de propiedades.
2. EL CUERPO DE LOS NMEROS COMPLEJOS.
DEF Llamaremos conjunto de los nmeros complejos a " = 3x3.
Es decir "={(a,b) / a3}
2.1. El grupo aditivo de los nmeros complejos.
DEF Definimos en " la operacin suma como +: "x""
(a,b), (c,d) " (a,b)+(c,d) = (a+c, b+d).
PROP La operacin suma definida anteriormente verifica las siguientes propiedades:
i) Asociativa.
3/20
ii) Conmutativa.
iii) Elemento neutro.
iv) Elemento simtrico u opuesto.
Dem
i) (a,b), (c,d), (e,f) "
[(a,b)+(c,d)]+(e,f) = (a+c, b+d) + (e,f) = ((a+c)+e, (b+d)+f ) =
como en 3 se verifica la propiedad sociativa
= ( a+(c+e), b+(d,f) ) = (a,b) + (c+e, d+f) = (a,b) + [(c,d)+(e,f)]
ii) (a,b), (c,d) 3
(a,b) + (c,d) = (a+c, b+d) =
como en 3 se verifica la propiedad conmutativa
=(c+a, d+b) =(c,d) + (a,b)
iii) (a,b) "
Sabemos que 03 es el neutro de la suma en 3, x3 x+0 = x.
Definimos (0,0) ". Comprobamos que es el neutro:
(a+b)+(0,0) = a+0,b+0) = (a,b)
iv) (a,b) " a,b3 -a, -b3 / a+(-a) = 0 y b+(-b) = 0.
Sea (-a, -b) ". Comprobamos que es el opuesto:
Dado (a,b) " (-a,-b) " con (a,b) + (-a,-b) = (a+(-a),b+(-b)) = (0,0).
Luego (-a, -b) es elemento opuesto de (a,b).
Conclusin:
El conjunto " con la operacin interna suma definida (",+) tiene estructura de
grupo abeliano. Recibe el nombre de grupo aditivo de los nmeros complejos.
PROP El grupo abeliano (",+) contiene a (3,+).
Dem
Sea :(3,+)( ",+) con a(3,+) (a) = (a,0)
4/20
- es inyectiva:
(a) =(b) (a,0) = (b,0) a=b.
- es homomorfismo:
(a+b) = (a+b,0) = (a,0) + (b,0) = (a) + (b).
Luego (3,+)( ",+).
2.2 El grupo multiplicativo de los nmeros complejos.
DEF Definimos en " la operacin producto como :"x""
(a,b), (c,d) " (a,b)(c,d) = (ac-bd, ad+bc).
PROP La operacin producto definida anteriormente verifica las siguientes
propiedades:
i) Asociativa.
ii) Conmutativa.
iii) Elemento neutro.
iv) Elemento simtrico.
Dem
i) (a,b), (c,d), (e,f) "
[(a,b)(c,d)](e,f) = (ac-bd, ad+bc) =
= ( (ac-bd)e-(ad+bc)f, (ac-bd)f+(ad+bc)e) =
= (ace-bde-adf-bcf, acf-bdf+ade+bce) =
= (a,b)(cd-df,cf+de) = (a,b)[(c,d)(e,f)]
ii) (a,b), (c,d) "
(a,b)(c,d) = (ac-bd, ad+bc) = (ca-db, da+cb) = (c,d)(a,b)
iii) (a,b) "
(a,b)(x,y) = (a,b) (ax-by, ay+bx) = (a,b)

'

+

b bx ay
a by ax

5/20

'

+

2 2
2 2
b x b aby
a aby x a
a
2
x+b
2
x = a
2
+b
2
x=1.
Si x=1 ax-by = a -by=0 b=0 y=0.
Pero ay+bx = b ay=0 a=0 y=0.
Por tanto, si (a,b)(0,0) El neutro es (1,0) ".
Por la propiedad conmutativa se verifica (a,b)(1,0) =(a,b) = (1,0)(a,b).
iv) (a,b) "* ("-* = "-{ (0,0) } )
(a,b)(x,y) = (1,0) (ax-by, ay+bx) = (1,0)

'

+

0
1
bx ay
by ax

'

+

0
2
2
x b aby
a aby x a
(a
2
+b
2
)x = a x=
2 2
b a
a
+

'

+

0
1
bx ay
by ax

'

+
+
0
2
2
abx y a
b y b abx
(a
2
+b
2
)y = -b y=
2 2
b a
b
+

Como (a,b)(0,0) a
2
+b
2
0.
Por tanto el elemento simtrico de (a,b) es

,
`

.
|
+

+
2 2 2 2
,
b a
b
b a
a
Conclusin:
El conjunto "* con la operacin producto, (",) tiene estructura de grupo
conmutativo. ("*,) recibe el nombre de grupo multiplicativo abeliano de los nmeros
complejos.
PROP El grupo ("*,) contiene a (3,).
Dem
Sea :(3*,)("*,) con a(3,) (a) =(a,0).
- es inyectiva:
(a) =(b) (a,0) = (b,0) a=b.
- es homomorfismo:
(ab) = (ab,0) =(a,0) * (b,0) = (a)(b)
6/20
Luego (3*,) ("*,)
2.3. El cuerpo de los nmeros complejos.
Una vez visto que (",+) y ("*,) tienen estructura de grupo abeliano respecto de
sus operaciones, veamos como podemos relacionar la suma y el producto de los
nmeros complejos.
PROP En " se verifica la propiedad distributiva del producto respecto de la suma.
Dem
Hemos de probar que (a,b), (c,d), (e,f) " se verifica
[(a,b)+(c,d)](e,f) = (a,b)(e,f)+(c,d)(e,f).
Vemoslo:
[(a,b)+(c,d)](e,f) = (a+c, b+d)(e,f) = ((a+c)e-(b+d)f, (a+c)f+(b+d)e) =
= (ae+ce-bf-df, af+cf+be+de) = (ae-bf, af+be) + (ce-df, cf+de) =
=(a,b)(e,f) + (c,d)(e,f)
Conclusin:
Como (",+) es un grupo abeliano, ("*,) es un grupo abeliano, y se verifica la
propiedad distributiva del producto respecto de la suma, podemos afirmar que (",+,)
tiene estructura de cuerpo conmutativo. Diremos que " es el cuerpo de los nmeros
complejos.
3. INVERSN DE 3 3 EN " ".
PROP El cuerpo (",+,) contiene a (3,+,).
Dem
Sea : 3" con a3 (a) = (a,0).
En dos proposiciones previas ya comprobamos que:
- es inyectiva
- es homomorfismo
1) (a+b) = (a)+(b)
2) (ab) = (a)(b)
Como ya est visto, no lo vamos a volver a demostrar.
7/20
Como Im = 3x{0}, llamaremos nmeros reales a los nmeros complejos cuya
segunda componenete sea nula. Cuando sea al revs, primera componenete
nula,diremos que el nmero complejo es imaginario puro.
4. EL ESPACIO VECTORIAL DE LOS NMEROS COMPLEJOS.
Ya hemos visto que sobre el conjunto " tenemos definidos dos leyes internas, la
suma y el producto. Considerando slo la primera de ellas, (",+) es un grupo abeliano.
Ahora vamos a definir sobre (",+) una ley externa.
DEF Definimos sobre " la ley externa, llamada producto por un escalar, como :
3x"" donde x3 y (a,b) " x(a,b) = (xa, xb).
PROP La operacin producto por un escalar definida anteriormente verifica las
siguientes propiedades:
1) Distributiva del producto con respecto a la suma.
2) Distributiva de la suma con respecto al producto.
3) Pseudo asociativa.
4) Elemento unidad.
Dem
1) x3 (a,b), (c,d) "
x[(a,b)+(c,d)]= x(a+c, b+d)= (x(a+c), x(b+d)) = (xa+xc, xb+xd) =
= (xa,xb)+(xc,xd) = x(a,b)+x(c,d)
2)x,y3 (a,b) "
(x+y)(a,b) = ((x+y)a, (x+y)b) = (xa+ya, xb+yb) = (xa,xb)+(ya,yb)=
= x(a,b) + y(a,b)
3) x,y3 (a,b) "
x(y(a,b)) = x(ya,yb) = (x(ya), x(yb)) = ((xy)a, (xy)b) = (xy)(a,b)
4) Dado 13 (a,b) "
1(a,b) = (1a,1b) = (a,b)
Las demostraciones estn hechas por la izquierda siendo necesario realizarlas
tambin por la derecha. Como son anlogas, se omiten.
8/20
Conclusin:
El conjunto (",+,
3
) posee estructura de espacio vectorial sobre el cuerpo de los
reales. Esto da lugar a:
PROP " es isomorfo a 3
2
.
Dem
Sea : "3
2
. Hemos de demostrar que es biyectiva.
5. REPRESENTACIN DE UN NMERO COMPLEJO EN FORMA
BINMICA.
Hasta ahora hemos estado viendo que los nmeros complejos son de la forma (a,b).
Teniendo en cuenta las definiciones de las diferentes operaciones sobre ",
El nmero (0,1) " tiene como cuadrado (0,1)(0,1) =(-1,0).
Por tanto la raz cuadrada -1, 1 , es (0,1). A ese nmero imaginario lo
denotaremos por la letra i, (0,1)=i.
PROP (a,b) ", se puede escribir de forma nica como a+bi, considerando que
x3 x(x,0).
Dem
Dado un complejo cualquiera (a,b)
(a,b) = (a,0)+(0,b) = (a,0)+(b,0)(0,1) = a+bi.
Y es nico, ya que si (c,d) = a+bi (c,d) = (a,b) c=a y d=b.
DEF Dado un nmero complejo a+bi, diremos que est escrito en forma binmica.
DEF Se llama parte real de un nmero complejo, a+bi, y se denota por Re(a+bi), al
nmero a. Re(a+bi) = a, siendo Re: "3.
DEF Se llama parte imaginaria de un nmero complejo a+bi, y se denota por Im(a+bi),
al nmero b. Im(a+bi)=b, siendo Im: "3.
6. ORDEN EN " ".
PROP " no es un cuerpo ordenado.
Dem
Supongamos que " fuese un cuerpo ordenado, es decir que existiese ua relacin
9/20
de orden total, denotada por<.
Entonces, como 0" y i", por la relacin de orden deben ser comparables.
Si i>0 al multiplicar esa desigualdad por s misma se obtiene i
2
>0
como i
2
=-1, sustituyendo: -1>0 si de nuevo multiplicamos esa desigualdad
por s misma (-1)
2
>0 1>0. Luego 1>0. (1).
Partiendo de la desigualda -1>0, si sumamos a ambos miembros 1" se obtiene
(-1)+1>0+1 0>1. (2).
De (1) y (2) se llega a una contradiccin, luego i no es mayor estricto que 0.
Entonces si i no es mayor estricto que 0, debe darse i<0 (ya que sabemos i0).
Comprobmoslo:
i<0 i
2
>0 -1>0 (-1)
2
>0 i>0. Pero si -1>0 (-1)+1 >0+1 0>1.
De nuevo llegamos a una contradiccin i no es menor estricto que 0.
Pero si 0 e i no son comparables es porque no tiene una relacin de orden con las
mismas propiedades que la relacin de orden definida en 3.
Por tanto, la relacin de orden en 3 no se puede extender a ".
Sabemos que " y 3
2
son isomorfos. Entonces podemos definir en " una relacin
de
orden propia del producto cartesiano.
DEF Definimos en " la relacin como sigue:
(a,b), (c,d) " (a,b)(c,d) a<c si a=c entonces bd.
PROP La relacin definida en " es una relacin de orden.
Dem
Para comporbar que es una relacin de orden hemos de ver que verifica las
propiedades reflexiva, antisimtrica y transitiva.
1) Antisimtrica:
Dados (a,b), (c,d) ". Sea (a,b)(c,d) y (c,d)(a,b).
10/ 20
Como (a,b)(c,d)

'

<
d b y c a
c a
(1)
Como (c,d)(a,b)

'

<
b d y a c
a c
(2)
Si a<c en (1) no puede darse que c<a o c=a en (2), luego de ambas
expresiones se deduce que a=c.
Entonces de bd en (1) y db en (2) se deduce que b=d. Y por tanto (a,b)=(c,d).
3) Transitiva.
Dado (a,b),(c,d) ", sea (a,b)(c,d) y (c,d)(e,f)
(a,b)(c,d)

'

<
d b y c a
c a
(3)
(c,d)(e,f)

'

<
e c y e c
e c
(4)
Distingamos cuatro casos:
a) Si a<c de (3) y c<e de (4) a<e (a,b)(e,f).
b) Si a<c y c=e con df a<e (a,b)(e,f)
c) Si a=c y c<e a<e (a,b)(e,f)
d) Si a=c con bd y c=e con df a=e y bf (a,b)(e,f)
PROP La relacin de orden definida en " es de orden total.
Dem
(a,b),(c,d) " se verifica que a,b,c,d3.
"omo en 3 existe una relacin de orden total y los nmeros a y c son comparables
Si a<c (a,b)(c,d)
Si a>c (c,d)(a,b)
11/ 20
Si a=c "omparamos b y d.
Si b<d (a,b)(c,d)
Si b=d (a,b)(c,d) y (c,d) (a,b)
Si b>d (c,d)(a,b)
Luego cualquier par de nmeros en " son comparables.
7. REPRESENTACIN GEOMTRICA DE LOS NMEROS COMPLEJOS. EL
PLANO COMPLEJO.
Sea V
2
el plano eucldeo de OXY con ejes ortogonales y sean 2 1 U y U los
vectores de la base ortogonal.
PROP La aplicacin : "V
2
dada por (a+bi) = a 1 u +b 2 u es un isomorfismo de
espacios vectoriales.
A partir de la proposicin anterior, podemos identificar el nmero complejo a+bi
con el vector a 1 u +b 2 u .
DEF Llamamos afijo del complejo a+bi a un representante del vector a 1 u +b 2 u con
origen en 0 y extremo en (a,b).
b (a,b)

0 a
Ahora podemos relacionar los conceptos de mdulo y argumento de los vectores en V
2
con los nmeros complejos.
DEF Dado el nmero complejo a+bi, llamaremos mdulo del nmero complejo, y se
denota por |a+bi|, al nmero real positivo |a+bi|=
2 2
b a + .
DEF Dado el nmero complejo a+bi, llamaremos argumento del nmero complejo al
ngulo que forman los vectores 1 u y a 1 u +b 2 u .El argumento est definido mdulo 2, y
es nico. Se representa por arg(a+bi).
8. NMEROS COMPLEJOS CONJUGADOS.
Notacin: Vamos a representar a los nmeros complejos de la forma z" con z=a+bi.
12/ 20
DEF Llamamos conjugado de un nmero complejo z=a+bi, y se denota por z , al
nmero z =a-bi.
PROP La aplicacin :"" con (z)= z es un automorfismo que deja invariantes a
los elementos de 3.
Dem
Sean z y z nmeros complejos con z=a+bi y z=a+bi.
- es inyectiva:
(z) = (z) a-bi = a-bi a=a y b=b a+bi =a+bi z=z
- es suprayectiva.
Dado c+di" como d3 (-d) opuesto de d (c-di) = c+di.
Entonces es biyectiva.
- es homomorfismo.
(z+z) = (a+a+(b+b)i) = a+a-(b+b)i = a+bi+a-bi = z + z = (z)+(z)
(zz)= ((a+bi)(a+bi)) = ((aa-bb)+(ab+ab)i) = (aa-bb)-(ab+ab)i =
(aa-bb)+(-ab-ab)i = (a-bi)(a-bi) = z z = (z)(z).
- es involutivo (
2
=1
ID
)

2
(z) =
2
(a+bi) = ((a+bi)) = (a-bi) = a+bi = z.
- deja invariantes los elementos de 3.
x3 sea x = z = x+0i
(x) = (x+0i) = x-0i = x (x) = x
PROP Se verifica:
1) Re( z ) = Re(z).
2) Im( z ) = -Im(z).
3) Re(z) = ) (
2
1
z z + .
13/ 20
4) Im(z) = Im ( ) (
2
1
z z + ).
Dem
Sea z" con z=a+bi.
1) Re( z )=a y Re(z)=a Re( z )=Re(z)
2) Im( z ) = -b y Im(z)=b Im( z )=-Im(z)
3) ) (
2
1
z z + =
2
1
(a+bi+a-bi =
2
1
2a = a=Re(z).
4) ) (
2
1
z z =
2
1
(a+bi-a+bi) =
2
1
2bi=bi Im(z) = Im

,
`

.
|
) (
2
1
z z
PROP 1) Un nmero complejo es real z= z
2) Un nmero complejo es imaginario z+ z =0.
Dem
1) "" Si z es real, (z)=z z =z
"" Si z= z a+bi = a-bi a=a y b=-b 2b = 0 b=0, luego z=a que es
real.
2)"" Si z es imaginario z=bi z+ z =bi+(-bi) = 0
"" Si z=a+bi z+ z =0 es (a+b)+(a-bi) = 0 2a=0 a=0z=bi.
PROP Los nicos automorfismos de " que dejan invariantes los nmeros reales son la
identidad y .
Dem
Sea : "" un automorfismo de " que deja invariante a 3.
Como es un homormorfismo (a+bi) = a+b(i).
Sabemos que i
2
=-1 y como deja invariantes los nmeros reales, se verifica que
(i
2
)=-1.
Pero (i
2
) = ii)=(i)(i) = (i)
2
Luego (i)
2
=-1 (i)=i (i)=-i.
14/ 20
Si (i)=i (a+bi) = a+bi =1
ID
Si (i)=- i (a+bi) = a-bi =
PROP z z =a
2
+b
2
Dem
Sea z=a+bi z z = (a+bi)(a-bi)=a
2
+b
2
+abi-abi = a
2
+b
2
COROLARIO Dado z=a+bi", su inverso es
2 2
1
b a
bi a
z +

Dem
2 2

1
b a
bi a
z z
z
z +

9. VALOR ABSOLUTO EN " ".
En el punto 7 hemos definido el mdulo de un nmero complejo z=a+bi como
|z|=
2 2
b a + .
PROP |z|= z z
Dem
Como z z =a
2
+b
2
|z|
2
=z z |z|= z z
Este resultado lo podramos haber dado como definicin del mdulo de z.
PROP El valor absoluto definido en " verifica z,z"
1) |z|0
2) |z|=0 z=0.
3) |zz| = |z||z|
4) |z+z| |z|+|z|
Dem
1) |z| =
2 2
b a + 0 ya que sabemmos x3 x
2
0
15/ 20
2) "" |z|=0 |z|
2
=0 a
2
+b
2
=0 a=b=0 z=0
"" Si z=0 z=0+0i |z|=
2 2
0 0 + =0
3) |zz|
2
= (zz) ( ) z z = zz z z = z z z z = |z|
2
|z|
2
Si |zz|
2
"|z|
2
|z|
2
por 1) |zz| = |z||z|
4) |z+z|
2
=(z+z)( z z ) = (z+z)( z + z )=z z +z z +z z +z z =
= |z
2
| + |z|
2
+z z +z z =
Si z=a+bi y z=a+bi zz = (a+bi)(a-bi) = aa+bb-abi+abi =
= (aa+bb)+(ab-ab)
z z= (a-bi)(a+bi) = (aa+bb)+(ab-ab)i
Luego z z = z z z z +z z = 2Re(z z )
= |z|
2
+|z|
2
+2Re(z z ) Re(zz) |Re(zz)| |z z | = |z||z|
|z|
2
+|z|
2
+2|z||z| = (|z|+|z|)
2
|z+z| (|z|+|z|)
2
|z+z| |z|+|z|
Conclusin: El valor absoluto as definido extiende de manera natural el valor absoluto
definido en 3.
COROLARIO z
i
" con i: 1,...,m se verifica |z
1
+z
2
+...+z
n
| |z
1
|+|z
2
|+...+|z
n
|
Dem
La demostracin se realiza por induccin, aplicando el punto 4 de la proposicin
anterior.
PROP El conjunto U={z" / |z|=1} es un grupo multiplicativo.
Dem
Para comprobar que U es un subgrupo de "*, basta ver que z
1,
z
2
U z
1,
z
2
-1
U
|z
1,
z
2
-1
| = | z
1
|
| |
1
2
z
=11=1 z
1,
z
2
-1
U U es un subgrupo de "*.
COROLARIO Todo nmero complejo z" puede escribirse como z = |z|u con uU.
16/ 20
10. REPRESENTACIN DE UN NMERO COMPLEJO EN FORMA POLAR
Y TRIGONOMTRICA.
Cuando vimos la representacin geomtrica de un nmero complejo establecimos
los siguientes resultados; dado un complejo z= a+bi:
1) z=a+bi se puede escribir como a 1 u +b 2 u .
2) El mdulo de z es |z|=
2 2
b a + .
3) El argumento de z es el ngulo que forman 1 u y a 1 u +b 2 u mdulo 2.
PROP Todo nmero complejo queda completamente determinado por su mdulo y su
argumento.
DEF Diremos que un nmero complejo z", est representado en forma
trigonomtrica si z=r(cos+isen) con r=|z| y =arg(z).
DEF Diremos que un nmero complejo z" est representado en forma polar si z=r

y
=arg(z).
Por la proposicin anterior, las frmulas de paso de forma binmica a polar son
r=
2 2
b a + y =arctg
a
b
y las frmulas de paso de forma polar a binmica.
a=rcos y b=rsen
10.1 Operaciones con nmeros complejos en forma polar y trigonomtrica.
Utilizando la forma trigonomtrica de los nmeros complejos, es posible realizar la
operacin de producto de nmeros complejos sin tener que emplear la frmula que
vimos. Se utiliza la forma polar para que la represntacin sea ms compacta.
a) Producto.
PROP Dados z
1
y z
2
nmeros complejos con z
1
=r
11
y z
2
=r
22
se veerifica que
z
1
z
2
= (r
1
r
2
)
1+2
.
Dem
Para la demostracin usaremos la forma trigonomtrica.
z
1
z
2
=r
1
(cos
1
+isen
2
)r
2
(cos
2
+isen
2
) =
= r
1
r
2
(cos
1
cos
2
- sen
1
sen
2
+i(cos
1
sen
2
+ sen
1
cos
2
)) =
17/ 20
= r
1
r
2
(cos(
1
+
2
)+isen(
1
+
2
)) = (r
1
r
2
)
1+2
.
COROLARIO Sean z
i
" con i:1,...,n nmeros complejos con z
i
=r
ii
i: 1,...,n.
Entonces

,
`

.
|

n
i
i
n
i
i
n
i
i
r z
1
1 1

.
Dem
Se demuestra utilizando el mtodo de induccin y aplicando la proposicin anterior.
b) Potencia.
TEOREMA. FRMULA DE MOIVRE.
Dado z" y nZ, z
n
=(r
n
)
n
.
Dem
Para nN ya est demostrado por el corolario anterior.
Para n=-1, z
-1
=

) ( ) (cos
) (cos

1
1 1
2
r isen r
r
isen r
z z
z
z
Para n<-1 z
n
=(z
-n
)
-1
con -nN z
n
=(z
-n
)
-1
=[r
-n
(cos(-n)+isen(-n))]
-1
=
Aplicando el caso anterior: r
n
(cosn+isen n)=(r
n
)
n
c) Divisin.
COROLARIO Dados z
1
y z
2
nmeros complejos con z
1
=r
11
y z
2
=r
22
se verifica que
2 1
2
1
2
1

,
`

.
|

r
r
z
z
.
Dem
Aplicando la frmula de Moivre para obtener el inverso de un nmero complejo.
2
1
z
z
=z
1
z
2
-1
= r
11
(r
2
-1
)
-2
= (r
1
r
2
-1
)
1-2
=
2 1
2
1

,
`

.
|
r
r
d) Races.
PROP Sea z=r

un nmero complejo. Si z=r

es otro nmero complejo tal que

n
z z entonces
n
r r y =
n
k 2 +
.
18/ 20
Dem
Si
n
z z z=(z)
n
r

=(r

) r

=(r
n
)
n
r=r
n
y +2k=n
ecordemos que arg(z) es un valor comprendido entro 0 y 2 mdulo 2.
r=
n
r y =
n
k 2 +
. El valor de k vara entre k{0,...,n-1} ya que
Si k=0
0
=
n

Si k=n
n
=

2
2
+
+
n n
n
.
Luego
0
=
n
.
Por tanto el nmero complejo z tiene n races n-simas y son z
1
,z
2
,...,z
n-1
con
z
i
= ( )
n
i
n
r 2 + con i:0,1,...,n-1.
11. APLICACIONES DE LOS NMEROS COMPLEJOS.
11.1. Resolucin de ecuaciones polinmicas de 2 grado.
Toda ecuacin polinmica de 2 grado de la forma ax
2
+bx+c=0 con a,b,c3 puede
resolverse formalmente, siendo las soluciones
a
ac b b
x
s
2
4
2
t
.
Si b
2
-4ac0, las soluciones son reales.
Si b
2
-4ac<0, hemos de introducir los complejos, siendo las soluciones
a
i b ac b
x
s
2
4
2
t
.
Si las dos soluciones son complejas, una es la conjugada de la otra.
11.2. Aplicaciones geomtricas.
Recordemos que existe una aplicacin biyectiva entre V
2
y ", siendo z=a+bi el
vector a 1 u +b 2 u , con { 1 u , 2 u } base ortonormal de V
2
. Por tanto, identificaremos los
nmeros complejos con vectores de V
2
, abusando de la notacin.
11.2.1. Traslaciones.
Sea v" con v=v
1
+v
2
i.
19/ 20
Definimos
v
: "" como z"
v
(z)=z+v.
Si z=a+bi
v
(z)=(a+v
1
)+(b+v
2
)i.
Entonces, como
v
(z) ",
v
(z)=x+yi y por tanto

'

+
+
2
1
v b y
v a x
La aplicacin
v
con v" recibe el nombre de traslacin de "vector v" en el plano
complejo.
11.2.2. Giros.
Sea U={z" / |z|=1}. Tomemos uU.
Definimos
U
: "" como z"
U
(z)=Uz
Si za+bi=r

y U=1

U
(z)=r
+
Se obtiene un nmero complejo con el mismo mdulo.
La aplicacin
U
recibe el nombre de giro de ngulo (siendo u=1

).
11.2.3. Homotecias con centro el origen.
Sea k3*. Definimos
k
: "" como z"
k
(z)=kz.
Si z=a+bi y
k
(z)=x+yi se verifica

'

kb y
ka x
.
La aplicacin
k
con k3* recibe el nombre de homotecia de centro 0 y razn k en
el plano complejo.
Si componemos
v
y
k
en cualquier orden, obtenemos aplicaciones del tipo
:"" con z" (z)=kz+w k3* y w".
(
v
o
k
)(z) =
v
(
k
(z)) =
v
(kz) = kz+v.
(
k
o
v
)(z) =
k
(
v
(z)) =
k
(z+v) = k(z+v) = kz+kv = kz+w
La aplicacin recibe el nombre de homotecia de razn k y centro w(entendiendo
por centro w, el afijo del nmero complejo w).
11.2.4. Semejanzas con centro en el origen.
Una semejanza con centro en el origen es la composicin de una homotecia con
centro en el origen y un giro.
20/ 20
Basta pues componer
v
y
k
en cualquier orden, ya que el resultado ser el mismo.
OBS (
k

v
)(z) = kuz = (
v

k
)(z)
Y como u=1

y k3* ku escrito en forma polar es k

.
Por tanto, si z=ku
k

v
=
z
y
z
: "" con
z
=zz.
Podemos extender este resultado para obtener una semejanza con origen en un punto
arbitrario. Basta componer una semejanza con origen en cero con una traslacin de
vector v. Dar lugar a una aplicacin : "" con (z)=zz+v y z,v".
BIBLIOGRAFIA RECOMENDADA.
Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos.
Anlisis Matemtico. Aut. M. de Guzmn B. Rubio. Ed. Pirmide.
Principios de Anlisis Matemtico. Aut. W. Rudin. Ed. McGraw-Hill.
Introduccin al Anlisis Matemtico. Aut. J. M. Ortega. Ed. Labor.
Curso de Anlisis Matemtico I. Aut. E.L. Lima. Ed. Edunsa.