Академический Документы
Профессиональный Документы
Культура Документы
Polinomios y Nmeros
Complejos
Nmeros Complejos
7.1
Introduccin
7.1.1
El propsito de esta seccin es extender nuestro sistema numrico para admitir soluciones de ciertas ecuaciones que en los reales no existen, por ejemplo:
x 2 + 1 = 0.
Hemos extendido el conjunto de los naturales al conjunto de los enteros para que la
operacin de resta siempre sea posible. Desde el punto de vista algebraico, N Z, y
como estructuras, las operaciones de suma, producto y el orden de los naturales coincide
con el de los enteros, salvo que ahora tenemos adems la operacin de resta, el neutro
aditivo y un inverso aditivo para cada nmero entero. De manera anloga, se expandi
el conjunto de los enteros al conjunto de los racionales, para que la divisin sea siempre
posible (salvo por cero). Nuevamente en este caso Z Q y las propiedades algebraicas
se traspasan, salvo que ahora tenemos divisin e inverso multiplicativo para cada nmero
racional distinto de cero. Finalmente, se introdujeron las races, y para ello extendimos
los racionales a los reales. En el captulo 9 veremos que esta ltima extensin se realiz
en realidad,para que ciertas sucesiones tengan lmites. Ahora nos gustara continuar
con el procedimiento y extender R para que ciertas ecuaciones tengan soluciones en
el nuevo conjunto. Desafortunadamente, es imposible obtener un sistema numrico que
ample a R en cuanto a estructura y que tenga la propiedad que buscamos, es decir, que
toda ecuacin tenga al menos una solucin. El sistema de los nmeros complejos C que
245
246
7.1.2
Definicin
Definicin 7.1 Conjunto C
Se denota por C al conjunto de los pares ordenados de R R provisto de las
siguientes operaciones:
(a, b) + (c, d) = (a + c, b + d), para todo a, b, c, d R.
247
Observacin
Dado que hemos definido un nmero complejo como un par ordenado de nmeros
reales,entonces se cumple que:
(a, b) = (c, d) a = c b = d.
Ejemplos
Ejemplo 7.1
(1, 2) [(2, 1) + (3, 2)] = (1, 13).
Ejemplo 7.2
(0, 1) (a, b) = (b, a).
Ejemplo 7.3
(1, 0) (a, b) = (a, b)
El siguiente teorema establece las propiedades de campo de los nmeros complejos.
Teorema
Teorema
7.1
248
a
b
, 2
2
2
a + b a + b2
Demostracin
Todas las propiedades resultan directamente de las definiciones de suma y producto en
C.
Definicin
Definicin 7.2 Inverso aditivo
Sean u = (a, b) y z = (c, d) dos nmeros complejos, entonces u = (a, b).
Definicin 7.3 Operacin de resta en C
z u = z + (u) .
Definicin 7.4 Inverso multiplicativo
a
b
1
u =
,
.
a2 + b 2 a2 + b 2
Definicin 7.5 Operacin de divisin en C
z
Si u 6= (0, 0) entonces = z u 1 .
u
Definicin 7.6 Parte real del complejo
Re(u) = a y se llama la parte real del complejo u.
Definicin 7.7 Parte imaginaria del complejo
Im(u) = b y se llama la parte imaginaria del complejo u.
249
Ejemplos
Ejemplo 7.4
Calcular
(1, 1) (2, 3)
(2, 1)
Solucin
Aplicando las definiciones obtenemos:
(1, 1) (2, 3) (1, 4)
=
= (1, 4)
(2, 1)
(2, 1)
2 1
,
5 5
6 7
= ,
.
5 5
Ejemplo 7.5
Sean z, w C. Probar que:
i) Re(w z) = Re(w)Re(z) Im(w)Im(z).
ii) Im(w z) = Im(w)Re(z) + Re(w)Im(z).
Demostracin
250
Observacin
Si definimos C0 = {z C : Im(z) = 0}, es decir, el conjunto de nmeros complejos
cuya parte imaginaria es cero; podemos fcilmente ver que se trata de un conjunto
cerrado bajo la suma y el producto, adems sus elementos tienen inverso aditivo y
si Re(z) 6= 0 entonces tienen inverso multiplicativo tambin.
Identificamos al conjunto C0 con R, es decir, al nmero real r lo identificamos con el
nmero complejo (r , 0). Tambin al nmero complejo (0, 1) lo denotamos por i y con
estas convenciones vemos que:
i 2 = i i = (0, 1) (0, 1) = (1, 0) = 1.
Es decir, el nmero complejo i no puede ser identificado con un nmero real pues al
elevarlo al cuadrado, da como resultado un nmero real negativo.
Basndonos en la identificacin que acabamos de hacer, y dado que:
(a, b) = (a, 0) (1, 0) + (b, 0) (0, 1),
podemos entonces escribir el nmero complejo z = (a, b) de la siguiente manera:
z = a + bi.
Esta forma aditiva de escribir un nmero complejo se llama la forma cannica.
Ejemplos
Ejemplo 7.6
Calcular
2i
1 2i
1+i
2i
Solucin
2i
1 2i
1+i
2i
251
Ejemplo 7.7
Calcular
(3 2i)2
(1 i)
Solucin
(3 2i)2
= (5 12i)(1 i)1
(1 i)
1 1
= (5 12i)
+ i
2 2
17 7
=
i.
2
2
Definicin
Definicin 7.8 Complejo conjugado
Sea z = a + bi, se define:
z = a bi.
z se llama el conjugado de z.
Definicin 7.9 Modulo de un complejo
|z| =
a2 + b 2 .
252
Teorema
Teorema
7.2
Sean z, u C , entonces:
(I) z = z.
(II) z + u = z + u.
(III) z u = z u.
z z
= siempre que z 6= (0, 0)
(IV)
u
u
(V) z + z = 2 Re(z) y z z = 2 Im(z) i.
(VI) z R z = z.
(VII) z z = |z|2 .
(VIII) z = 0 |z| = 0 z = 0.
Demostracin
Demostraremos solamente
Sea z = a + bi, entonces:
VII
z z = (a + bi)(a bi)
= a2 + b 2
= |z|2 .
253
Problemas
Problema 7.1
Probar que:
Re
v
z
+ Re
= 1.
z +v
z +v
Demostracin
Sea u = (a, b) y w = (c, d) entonces,
Re(u + w) = Re(a + c, b + d) = a + c = Re(u) + Re(w)
Por lo tanto,
Re
v
z + v
z
+ Re
= Re
= Re(1) = 1.
z +v
z +v
z +v
Problema 7.2
1
Probar que si z +
es un nmero real, entonces Im(z) = 0 |z| = 1.
z
Demostracin
Sea z = (a, b), entonces,
a
b
1
= (a, b) +
,
z+
z
a2 + b 2 a2 + b 2
3
a + ab2 + a a2 b + b3 b
=
,
.
a2 + b 2
a2 + b 2
z+
1
R
z
a2 b + b 3 b = 0
b (a2 + b2 1) = 0
b = 0 a2 + b 2 = 1
Im(z) = 0 |z| = 1.
254
Problema 7.3
Encontrar las races de la ecuacin:
x 2 6x + 13 = 0
Solucin
Dado que x =
36 52
y como 16 = 4i, se obtienen las races:
2
x=
6 4i
= 3 2i.
2
Problema 7.4
Dado z C, determine un nmero complejo w tal que w 2 = z
Solucin
Sean z = a + bi y w = x + yi. El problema consiste en encontrar los nmeros reales
x e y de tal manera que (x + yi)2 = (a + bi). Esto significa que debe cumplirse:
x 2 y 2 = a y 2xy = b. ().
Utilizando la identidad:
(x 2 + y 2 )2 = (x 2 y 2 )2 + 4x 2 y 2 ()
la que es muy fcil de comprobar, y combinndola con () tenemos:
x 2 + y 2 = a2 + b 2 .
Utilizando nuevamente (), tenemos:
a2 + b 2 + a
a2 + b 2 a
2
2
x =
, y =
2
2
Al extraer las races cuadradas, obtenemos dos valores para x y dos para y, los
cuales al combinarlos nos arrojan cuatro posibles soluciones. Sin embargo, no todas ellas son soluciones a nuestro problema, pues debemos considerar que () nos
restringe, al decir que 2xy = b.
Caso 1: Si b > 0, entonces debemos tomar x e y ambos con el mismo signo.
Caso 2: Si b < 0, entonces debemos tomar x e y con signo contrario.
Es decir:
255
w =
a2 + b 2 + a
a2 + b 2 a
+
i
si b > 0
2
2
w =
a2 + b 2 + a
a2 + b 2 a
i
si b < 0.
2
2
7.2
7.2.1
Dado que los nmeros complejos tienen una parte real y una parte imaginaria, es fcil
visualizar que para graficar, debemos tener dos ejes coordenados, uno, el eje real y otro
que ser el eje imaginario. El plano determinado por estos dos ejes perpendiculares, se
llama el plano complejo.
256
Ejemplo 7.8
Sean z1 = 1 + 2i y z2 = 2 i. Grafique z1 , z2 y z1 + z2 .
Solucin
Im
2+
b
z1
1+
b
+
1
-1 +
+
2
z2
b
z1 + z2
+
3
Re
Definicin
Definicin 7.10 Forma polar
La forma polar del nmero complejo z = a + bi est dada por :
z = r (cos() + i sen())
donde r = |z| y tan() =
b
si a 6= 0.
a
En caso que a = 0 entonces su forma polar es: r cos( ) + i sen( ) .
2
2
257
Ejemplo 7.9
Escriba los siguientes nmeros complejos en forma polar y grafquelos:
a) z1 = 1 + i, b) z2 = 1 +
3i, c) z3 = 4 3 4i
Solucin
3
2
. Por lo tanto = arctan( 3) =
.
b) |z2 | = 4 = 2 y tan() =
1
3
Luego:
2
2
z2 = 2 cos
+ i sen
3
3
5
3
. Por lo tanto = .
c) |z3 | = 48 + 16 = 8 y tan() =
3
6
Luego:
5
5
z3 = 8 cos
+ i sen
6
6
Im
Im
1 +
1+
b
3i
3+
1+i
+
1
(a) Grfico de z1 = 1 + i
Re
+
-1
2
3
Re
(b) Grfico de z2 = 1 +
3i
258
Im
+
-4 3
- 5
6
4 3 4i
Re
-4 +
(c) Grfico de z3 = 4 3 4i
Figura 7.2: Grfico de los nmeros complejos del Ejemplo 7.9 (cont.).
Notacin
Abreviamos la expresin cos() + i sen() por cis ().
Proposicin
Proposicin
7.1
(I) z1 z2 = r1 r2 cis (1 + 2 )
(II)
z1 r1
= cis (1 2 ), z2 6= 0.
z2 r2
Demostracin
Demostraremos la parte (I) y la (II) queda como ejercicio.
z1 z2 = r1 cis (1 )r2 cis (2 ) = r1 r2 ((cos(1 ) cos(2 ) sen(1 ) sen(2 ))
+i(sen(1 ) cos(2 ) + sen(2 ) cos(1 ))) = r1 r2 ( cis (1 + 2 ).
259
Teorema de DeMoivre
7.2.2
z n = r n cis (n).
Problema 7.5
Calcular z 10 donde z = 1 + i.
Solucin
260
Definicin
Definicin 7.11 Raz n-sima
La raz n-sima de un nmero complejo z es un nmero complejo w tal que
w n = z.
Teorema
Teorema 7.3
Sea z = r cis (). Entonces z tiene n races n-simas distintas y
ellas estn dadas por:
+ 2k
n
wk = r cis
, para k = 0, 1, 2 ... (n 1).
n
Demostracin
Tenemos que encontrar un nmero complejo w tal que w n = z.
Una raz n-sima de z es w0 =
DeMoivre.
Problema 7.6
Encontrar las races cbicas de z = i.
261
Solucin
+ 2k
, para k = 0, 1 y 2.
wk = cis 2
3
3
3
1
5
1
3
w0 = cis
=
+ i , w1 = cis
=
+ i y w2 = cis
= i.
6
2
2
6
2
2
2
Grficamente podemos observar donde se sitan estas races dentro del crculo.
Im
w1
-
w0
3
2
w2
b
Re
3
2
w0 = 1, w1 = cis
2
3
1
3
4
1
3
= +i
y w2 = cis
= i
.
2
2
3
2
2
262
Problema 7.8
Sea w una raz cbica de la unidad distinta de 1. Demostrar que:
i) w 2 = w
ii) 1 + w + w 2 = 0
Demostracin
2
3
2
1
3
4
1
3
2
Si w = cis
= w = cis
= w.
= +i
= i
3
2
2
3
2
2
4
3
8
3
1
1
Si w = cis
= w 2 = cis
= w.
= i
= +i
3
2
2
3
2
2
En ambos casos se cumple que:
w 2 = w.
ii) 1 + w + w 2 = 1 + w + w = 1 + 2Re(w) = 1 + 2
1
=0
2
Problema 7.9
Resolver la ecuacin
z 3 + 27 = 0
Solucin
Tenemos que z 3 + 27 = 0 z 3 = 27 z =
3
27.
3
zk = 27 cis
+ 2k
3
, para k = 0, 1 y 2
263
3
3
3
1
z0 = + i
, 3 y i
.
2
2
2
2
Problema 7.10
Sea z = (sen() sen()) i (cos() cos()) , demuestre que:
40
40
40
z = 2 sen
cis (20 + 20)
2
Demostracin
Como z = (sen() sen()) i (cos() cos()).
Usando prostafresis tenemos que:
z = sen(
+
+
) cos(
) + 2i sen(
) sen(
)
2
2
2
2
Por lo tanto
z
40
40
40
= 2 sen
cis
+
2
Problema 7.11
Sean
Evaluar
z1 = 2 cos(/7) + i sen(/7) ,
z2 = 1 i ,
z3 = 1 + i
z121 z26
y expresar el resultado en la forma a + i b.
z37
Solucin
z1 = 2 cis (/7),
z1 =
2 cis (/4) y
z3 = 2 cis (/3).
3.
264
Entonces,
= 216 3 216 i.
Polinomios
7.3
Definicin
Definicin 7.12 Polinomio
Se llama polinomio en x a cualquier funcin P definida para todo x mediante
una expresin de la forma:
P(x) = a0 + a1 x + a2 x 2 + + an x n ; n N {0}
donde los ai , i = 0, , n son constantes llamadas coeficientes del polinomio.
Si an 6= 0 y n 6= 0, n es el grado del polinomio P.
Si an = 0 y n = 0, P no tiene grado.
Proposicin
Proposicin
mios.
7.2