Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de Ecuaciones Algebraicas (Luciano Couder Alonso)
Teoria de Ecuaciones Algebraicas (Luciano Couder Alonso)
ECUACIONES
ALGEBRAICAS
L. COUDER A.
Teora de
ECUACIONES
ALGEBRAICAS
Mxico, 1996
A mis padres
Norberta y Francisco
(en sus memorias)
A mi hijo Carlos
A mis hermanos
CONTENIDO
INTRODUCCIN
13
.
.
.
.
.
.
15
15
17
19
23
24
25
.
.
.
.
.
.
.
.
31
31
34
41
42
46
50
54
58
.
.
.
.
62
63
66
67
2 POLINOMIOS
75
2.1 Conjuntos de polinomios . . . . . . . . . . . . . . . . . 75
2.2 Suma y multiplicacin de polinomios . . . . . . . . . . 79
2.3 Divisibilidad de polinomios . . . . . . . . . . . . . . . 90
9
10
CONTENIDO
2.4
2.5
2.6
2.7
2.8
El algoritmo de la divisin . . . . . . . . . . . . . . .
El teorema del residuo y la divisin sinttica . . . . .
Mximo comn divisor . . . . . . . . . . . . . . . . .
Polinomios primos relativos y polinomios irreducibles
EJERCICIOS . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
93
97
100
109
112
3 RACES DE POLINOMIOS
117
3.1 Races de polinomios . . . . . . . . . . . . . . . . . . . 117
3.2 El teorema fundamental del lgebra . . . . . . . . . . 122
3.3 Multiplicidad de races . . . . . . . . . . . . . . . . . . 124
3.4 Races imaginarias de polinomios con coecientes reales129
3.5 Races racionales de polinomios con coecientes enteros131
3.6 Acotamiento de las races reales de polinomios con
coecientes reales . . . . . . . . . . . . . . . . . . . . . 135
3.7 Factorizacin de un polinomio en polinomios de races
simples . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
3.8 Relacin entre las races y los coecientes de un polinomio . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
3.9 EJERCICIOS . . . . . . . . . . . . . . . . . . . . . . . 151
4 SEPARACIN DE RACES
4.1 Races aisladas . . . . . . . . .
4.2 El signo de un polinomio para
valores de la indeterminada . .
4.3 El teorema de cambio de signo
4.4 El teorema de Rolle . . . . . .
4.5 El teorema de Descartes . . . .
4.6 El teorema de Sturm . . . . . .
4.7 EJERCICIOS . . . . . . . . . .
. . . . .
grandes
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
163
. . . . . . . . 164
y pequeos
. . . . . . . . 164
. . . . . . . . 168
. . . . . . . . 176
. . . . . . . . 181
. . . . . . . . 189
. . . . . . . . 199
5 APROXIMACIN DE RACES
5.1 Sucesiones montonas y acotadas . . . . . . . . . . .
5.2 El teorema del valor medio . . . . . . . . . . . . . .
5.3 Concavidad y convexidad . . . . . . . . . . . . . . .
5.4 El mtodo de biseccin . . . . . . . . . . . . . . . . .
5.5 El mtodo de regula falsi . . . . . . . . . . . . . . . .
5.6 El error de aproximacin en el mtodo de regula falsi
5.7 El mtodo de Newton . . . . . . . . . . . . . . . . .
5.8 El error de aproximacin en el mtodo de Newton .
207
. 208
. 213
. 216
. 218
. 222
. 231
. 235
. 244
CONTENIDO
11
5.9
251
. 251
. 253
. 255
. 264
289
BIBLIOGRAFA
303
INTRODUCCIN
El presente libro es producto de la imparticin, en repetidas veces, del primer curso de lgebra en la Escuela Superior de Fsica y
Matemticas del Instituto Politcnico Nacional (ESFMIPN). Los
objetivos centrales son resolver la ecuacin algebraica
an xn + an
n 1
1x
+ : : : + a1 x + a0 = 0
14
INTRODUCCIN
Captulo 0
PROPIEDADES DE LOS
NMEROS ENTEROS
En este captulo se estudiarn, brevemente, algunas propiedades
elementales de la aritmtica de nmeros enteros. Adems de ser
tiles en posteriores resultados, son esencialmente las mismas que
veremos en el lgebra de polinomios, en el captulo 2.
0.1
Divisibilidad
Proposicin (0.1.2).En Z :
1. bjb; para cada b 2 Z:
2. bj0; para cada b 2 Z:
3. 1ja y
4. 0ja () a = 0:
5. Si bj1; entonces b =
1:
b:
c:
a ()
bja ()
bj
a:
jbj
17
0.2
Algoritmo de la divisin
con 0
r < jbj :
Demostracin:
I) Suponemos primero que a > 0 y b > 0 (jbj = b): En este caso
procederemos por induccin sobre a:
i) Si a = 1 : Como b > 0; entonces b
1: Si b = 1; como
1 = 1 1 + 0; elegimos q = 1 y r = 0: Si b > 1; como
1 = b 0 + 1; elegimos q = 0 y r = 1: En cualquier caso
1 = bq + r con 0 r < b:
ii) Suponemos el resultado cierto para a; es decir, suponemos
que existen q1 ; r1 2 Z tales que a = bq1 +r1 con 0 r1 < b:
iii) Probaremos que el resultado es vlido para a + 1; es decir,
probaremos que existen q; r 2 Z tales que a + 1 = bq + r
con 0
r < b: En efecto: Por hiptesis de induccin
a = bq1 + r1 con 0 r1 < b; entonces a + 1 = bq1 + r1 + 1
0.3
19
q.e.d.
r1 < jbj :
21
Si r1 = 0; entonces por lema (0.3.2), jbj = (a; b): Si r1 > 0; nuevamente por teorema (0.2.1), existen q2 ; r2 2 Z tales que
b = r1 q2 + r2 con 0
r2 < r1 :
a = bq1 + r1
b = r1 q 2 + r 2
r 1 = r 2 q 3 + r3
rn
rn
rn
3
2
1
= rn 2 q n 1 + rn
= rn 1 q n + r n
= rn qn+1 + rn+1
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
( )
N;
donde jbj > r1 > r2 > r3 > : : : ; no tendra elemento mnimo, lo que
contradira el principio de buen orden.
Armamos que rn ; el ltimo residuo diferente de cero, es el mcd
de a y b, es decir, rn = d = (a; b). En efecto: Procediendo de abajo
para arriba en la tabla ( ), por el lema (0.3.2), rn = (rn ; rn 1 ) y por
lema (0.3.3)
rn = (rn ; rn
1)
= (rn
1 ; rn 2 )
Veamos ahora que existen s; t 2 Z tales que rn = as + bt : Procediendo de arriba para abajo en la tabla ( ), se tiene que:
r1 = a(1) + b( q1 ):
q1 ; entonces
r1 = as1 + bt1 :
Tambin
r2 = r1 ( q2 ) + b;
por lo tanto r2 = a( s1 q2 ) + b( t1 q2 + 1): Si s2 =
t2 = t1 q2 + 1; entonces
s1 q2 y
r2 = as2 + bt2 :
Anlogamente, de la tabla ( )
r 3 = r2 ( q 3 ) + r 1 ;
por lo tanto r3 = a( s2 q3 + s1 ) + b( t2 q3 + t1 ): Si s3 =
y t3 = t2 q3 + t1 ; entonces
s2 q3 + s1
r3 = as3 + bt3 :
Continuando este proceso tenemos que
rn = asn + btn
donde sn = sn 1 qn + sn 2 y
tn = tn 1 qn + tn 2 : Eligiendo
s = sn y t = tn , obtenemos rn = d = as + bt; donde es claro que
s; t 2 Z:
Finalmente demostraremos que d es el mnimo entero positivo
para el cual existen s; t 2 Z tales que d = as + bt : Sea c 2 Z; c > 0;
tal que c = ax + by con x; y 2 Z: Como d = (a; b); entonces dja y djb
y por lo tanto djax + by; o sea, djc, luego d c:
q.e.d.
2
60 168
48
1
48 60
12
3
12 48
0
23
0.4
Proposicin (0.4.2).Sean a; b; c 2 Z:
1. Si 1 = (a; b) y ajbc; entonces ajc:
2. Si 1 = (a; b); entonces 1 = (a; bn ) 8 n 2 N:
Demostracin:
De (1): Como 1 = (a; b) entonces existen s; t 2 Z tal que
1 = as + bt; luego c = a(cs) + bc(t): Claro que aja y por hiptesis
ajbc; por lo tanto ajc:
De (2): Procederemos por induccin sobre n:
i) Si n = 1 : Claro que 1 = (a; b) implica que 1 = (a; b1 ):
ii) Suponemos que el resultado es vlido para n; es decir, suponemos que 1 = (a; b) implica que 1 = (a; bn ):
Demostracin:
De (1): Sea d = (a; p); entonces dja y djp; y por lo tanto d = 1
d = p; de donde se sigue que pja 1 = (a; p):
De (2): Supongamos que p 6 ja; luego, por (1), 1 = (a; p): Como
por hiptesis pjab; entonces por proposicin (0.4.2)(1), pjb:
q.e.d.
0.5
0.6. EJERCICIOS
25
0.6
EJERCICIOS
1:
6jn3
1)2
1; para cada n 2 N:
n; para cada n 2 N:
5. Si a; b 2 Z; pruebe que a
bjan
bn ; para cada n 2 N:
7.2
7.4
7.6
7.8
a = 138 y b = 11:
a = 137 y b = 18:
a = 14 y b = 8:
a = 18 y b = 4:
b = m + 1 (m > 0):
0.6. EJERCICIOS
27
9.2 a = 60 y b = 42:
9.4 a = 82 y b = 36:
9.6 a = 468 y b = 964:
b) = 1 2:
a2
= Q:
p
= Q:
28. Si a 2 N y a 6= k n para todo k 2 N; pruebe que n a 2
29. Si a1 ; a2 ; : : : ; an son dgitos, pruebe que 9ja1 a2 : : : an ; si y slo
si, 9ja1 + a2 + : : : + an (a1 a2 : : : an es nmero cifrado).
Sugerencia: Pruebe y use que 9j10n
1, para cada n 2 N:
0.6. EJERCICIOS
29
a b
:
(a; b)
33.5 Si k > 0; pruebe que [ak; bk] = k[a; b]:
33.4 Si a > 0 y b > 0; pruebe que [a; b] =
ig ;
ig ;
para
para
Captulo 1
LOS NMEROS
COMPLEJOS
1.1
Uno de nuestros objetivos es la resolucin de ecuaciones algebraicas con una incgnita y de coecientes reales, es decir, de expresiones de la forma
an xn + an
n 1
1x
+ : : : + a1 x + a0 = 0;
(1)
32
(2)
b2
2a
4ac
p
2
33
1
2;
3
2
3
2
b i = a + ( b)i:
34
Anlogamente
a + bi
a bi
i
i
a+i
1.2
=
=
=
=
=
( a) + bi;
( a) + ( b)i;
0 + 1i;
0 + ( 1) i;
a + 1i:
1; obtenemos
35
S1) 8z1 ; z2 2 C; z1 + z2 2 C:
S2) 8 z1 ; z2 ; z3 2 C; (z1 + z2 ) + z3 = z1 + (z2 + z3 ):
S3) 8 z1 ; z2 2 C; z1 + z2 = z2 + z1 :
S4) Existe un nico elemento
S5) 8 z 2 C; existe un nico
2 C tal que z + = z; 8 z 2 C:
z 2 C tal que z + ( z) = :
M1) 8 z1 ; z2 2 C; z1 z2 2 C:
M2) 8 z1 ; z2 ; z3 2 C; (z1 z2 ) z3 = z1 (z2 z3 ).
M3) 8 z1 ; z2 2 C; z1 z2 = z2 z1 :
M4) Existe un nico ` 2 C; tal que z ` = z 8 z 2 C:
M5) 8 z 2 C; z 6= ; existe un nico
2 C tal que z
= `:
D) 8 z1 ; z2 ; z3 2 C; z1 (z2 + z3 ) = z1 z2 + z1 z3 :
Demostracin:
De (S1): Es consecuencia inmediata de la denicin de suma.
De (S2): Sean z1 = a + bi; z2 = c + di y z3 = e + f i; entonces
(z1 + z2 ) + z3 = ((a + bi) + (c + di)) + (e + f i)
= ((a + c) + (b + d)i) + (e + f i)
= ((a + c) + e) + ((b + d) + f )i
= (a + (c + e)) + (b + (d + f ))i
= (a + bi) + ((c + e) + (d + f )i)
= (a + bi) + ((c + di) + (e + f i))
= z1 + (z2 + z3 ):
De (S3): Se deja al lector.
De (S4): Sea z = a + bi un complejo arbitrario, y consideremos
el complejo 0 + 0i; entonces:
(a + bi) + (0 + 0i) = (a + 0) + (b + 0)i
= a + bi:
36
= 0 + 0i es tal que z + = z; 8 z 2 C:
bi = ( a) + ( b)i:
Claro que
(a + bi) + ( a
bi) = (a
a) + (b
b)i
= 0 + 0i
= 0:
As que dado z = a + bi; z = (a + bi) = a bi es tal que
z + ( z) = 0: Veamos ahora que z es nico: Si tambin z 0 es un
complejo tal que z + z 0 = 0; entonces
z0 = 0 + z0
= ( z + z) + z 0
=
z + (z + z 0 )
z+0
z:
Resumiendo, dada z = a + b i;
z + ( z) = 0:
z=
37
= (ca
= (c + di) (a + bi)
= z2 z1 :
De (M4): Sea z = a + b i un complejo arbitrario y consideremos
el complejo ` = 1 + 0i: Claro que
z ` = (a + bi) (1 + 0i)
= (a
0) + (0 + b)i
= a + bi
= z:
As pues, ` = 1 + 0 i es tal que z ` = z; 8 z 2 C:
Veamos ahora que ` es nico: Si tambin `0 2 C es tal que
z `0 = z; 8 z 2 C; en particular ` `0 = ` y `0 ` = `0 ; y como
`0 ` = ` `0 ; entonces `0 = `:
Puesto que por notacin a + 0 i = a; entonces 1 + 0 i = 1, as
que, en lugar de ` escribiremos simplemente 1:
De (M5): Sea z = a+bi 6= 0 (a 6= 0 o b 6= 0); y sea = x+yi un
complejo tal que z
= 1, es decir, (a + bi)(x + yi) = 1; entonces
(ax by) + (ay + bx)i = 1 y por lo tanto
ax
by = 1
(1)
y
a y + b x = 0:
(2)
aby = a
(3)
aby + b2 x = 0:
(4)
38
a2
a
:
+ b2
Multiplicando ahora (1) por b; y (2) por a; y haciendo un proceso anlogo al anterior, se tiene que
y=
b
:
a2 + b2
As pues, dado z = a + bi 6= 0;
=
a2
a
b
+ 2
i
2
+b
a + b2
es tal que z
= 1. Veamos ahora que
z 0 = 1; entonces
0
= (z
es tal que
1
(z
0
= (
es nico: Si
z)
0
= 1
=
En lugar de
entonces
escribimos z
:
1;
o sea que, si z = a + b i 6= 0;
a
b
+
i
a2 + b2 a2 + b2
= 1:
z1
En particular, z
z = z + ( z): Anlogamente,
z1
z2 = ( z 1 ) + ( z2 )
39
y
z1 + z2 = ( z1 ) + z 2 :
Puesto que las once propiedades anteriores (denominadas axiomas de campo) son las mismas que cumplen los nmeros reales, las
consecuencias de ellas son tambin las mismas que se tienen para
los nmeros reales. Para recordar algunas de ellas, enunciamos la
siguiente
z = ( 1) z y
( z) = z:
3. (z1 )( z2 ) = ( z1 )(z2 ) =
(z1 z2 ):
4. ( z1 )( z2 ) = z1 z2 :
5. Si z1 z2 = 0; entonces z1 = 0 o z2 = 0:
6. Si z + z1 = z + z2 ; entonces z1 = z2 :
7. Si z z1 = z z2 y z 6= 0; entonces z1 = z2 :
8. Si z 6= 0; entonces (z
1) 1
= z:
Demostracin: Ejercicio.
Observacin: Considerando la notacin b+0i = b y 0+i = i; por
la conmutatividad de la multiplicacin tenemos que ib = bi: As que
tambin escribimos a+ib en lugar de a+bi: Anlogamente, podemos
escribir bi + a ib + a en lugar de a + bi; debido a la conmutatividad
de la suma y a la notacin a + 0i = a y 0 + bi = bi = ib:
40
=1 z
1
:
z
z4 )
= z2 1 z4 1 :
z1
= z1 :
1
z1 z3
z 1 z3
=
:
3.
z 2 z4
z2 z4
2.
4.
z1 z3
z 1 + z3
+
=
:
z2 z2
z2
5.
z1 z3
z 1 z4 + z 2 z3
+
=
:
z2 z4
z2 z4
6. Si z3 6= 0;
1
z1
z2
z3
z4
z1 z 4
:
z2 z 3
z2 1
z4
1 = z :
z4
2
7.
z2
z4
8.
z2
z2
z2
=
=
:
z4
z4
z4
Demostracin: Ejercicio.
41
1.3
bd; ad + bc):
42
nmeros complejos son los puntos del plano cartesiano, llamado tambin plano complejo.
1.4
bi:
Observacin: p
Si z = a + bi; entonces z z = a2 + b2 ; de donde
se sigue que jzj = z z; y por lo tanto jzj2 = z z:
Proposicin (1.4.2). Si z1 y z2 son nmeros complejos, entonces:
i) (z1 ) = z1 :
ii) z1 + z2 = z1 + z2 :
iii) z1 z2 = z1 z2 :
iv) z1
z2 = z1
v) Si z2 6= 0;
z2 :
z1
z2
z1
:
z2
44
(b + d)i
= (a + c) + ( b
= (a
bi) + (c
d)i
di)
= z1 + z2:
De (iii):
z1 z2 = (a + bi) (c + di)
= (ac
= (ac
bd)
= (ac
= (a
bi) (c
(ad + bc)i
di)
= z1 z2:
q.e.d.
j z1 j + j z2 j:
v) Si z2 6= 0;
z1
jz1 j
=
:
z2
jz2 j
vi) j z1 j
j z2 j
j z1
z2 j:
Demostracin: Slo demostraremos (iii) y (iv), los dems incisos debe demostrarlos el lector.
= (z1 z2 ) (z 1 z 2 )
= (z1 z 1 ) (z2 z 2 )
= j z1 j2 j z2 j2
= (j z1 j j z2 j)2 :
por lo tanto j z1 z2 j = j z1 j j z2 j
De (iv):
j z1 + z2 j2 = (z1 + z2 ) (z1 + z2 )
= (z1 + z2 ) (z1 + z2 )
= z1 z 1 + z2 z 2 + z1 z2 + z 2 z1 :
O sea que
jz1 + z2 j2 = z1 z1 + z2 z2 + z1 z2 + z2 z1 :
(1)
j z j:
j z1 j2 + j z2 j2 + 2j z1 z 2 j:
j z1 + z2 j2
j z1 j2 + j z2 j2 + 2j z1 j j z 2 j:
Por lo tanto
Como j z 2 j = j z2 j; entonces
j z1 + z2 j2
j z1 j2 + j z2 j2 + 2j z1 jj z2 j:
Por lo tanto
j z1 + z2 j2
(j z1 j + j z2 j)2 :
46
En consecuencia
j z1 + z2 j
j z1 j + j z2 j:
q.e.d.
(4 + 3i)(1 + i)
:
1 7i
Solucin:
jzj =
=
=
=
=
(4 + 3 i)(1 + i)
1 7i
j(4 + 3 i)(1 + i)j
j1 7ij
j4 + 3ijj1 + ij
j1 7ij
p p
25 2
p
50
1:
1.5
47
y 2 = a y 2 xy = b:
(1)
Puesto que
(x2 + y 2 )2 = (x2
y 2 )2 + 4 x2 y 2 ;
0, entonces
x2 + y 2 =
p
a2 + b2 :
(2)
sp
a2 + b2
2
48
0; X =
ii) Si a < 0; X =
a:
p
i
a:
Observacin: Es claro de los casos I), II) y III), que las dos
races cuadradas de un nmero complejo z 6= 0; son diferentes una
de otra por un cambio de signo, es decir, si x1 es una raz cuadrada
de z, entonces x2 = x1 es la otra raz cuadrada de z: De lo anterior
se deduce que las races de la ecuacin cuadrtica
A x2 + B x + C = 0;
donde A; B y C son nmeros complejos, vienen dadas por
X=
B W
;
2A
Ejemplos:
4AC:
49
x=
0s
@
s
p
16 + 9 + 4
16 + 9
+i
2
2
En consecuencia
3
1
x1 = p + p i y
2
2
3
p
2
x2 =
1
4A
1
p i:
2
2) Resolver la ecuacin x2
3
p
2
1
p i:
2
(1 + i)x + (6
2i) = 0:
(1 + i)
2
;
24 + 10i:
(1 + i)x + (6
2i) = 0:
(1+5i);
50
1.6
z = 0:
z = 0:
Sea z = a + ib un nmero complejo y sea r = j z j: Si z 6= 0; considerando su representacin geomtrica, sea la medida del ngulo
que forman el eje real positivo y el segmento que une el origen del
plano complejo con el punto que representa a z; entonces se tiene
que a = r cos y b = r sen : En consecuencia z = a + ib puede escribirse en la forma z = r(cos + i sen ): A se le llama la amplitud
o argumento de z; y escribimos = arg z. Si z = 0; entonces r = 0;
y por lo tanto z = r(cos + i sen ) para cualquier :
En consecuencia, todo complejo z = a+bi puede expresarse como
z = r (cos + i sen );
donde r = j z j y
Puesto que 8 m 2 Z;
cos(2m + ) = cos( )
51
y
sen(2m + ) = sen( );
entonces = arg z puede tomar muchos valores, diriendo cada dos
por mltiplos de 2 . Ser siempre conveniente elegir de modo que
2 < <2 .
Dado z = a+bi; con a 6= 0 y b 6= 0; para determinar un argumento
de z podemos emplear la funcin tangente, pues por denicin
tan( ) =
sen( )
;
cos( )
jbj
;
jaj
y luego:
i) Si a > 0 y b > 0; elegimos
=!>0
=!+
=!
>0
2 < 0:
=!
< 0:
52
=2
!>0
!>0 =
! < 0:
! < 0:
53
Ejemplos:
Expresar en forma trigonomtrica los siguientes nmeros complejos:
1) z =
3 : En este caso r = 3 y
= : As que
z = 3(cos + i sen ):
= 2 : As que
2) z = 7i : En este caso r = 7 y
z = 7 cos
3) z =
1
2
z = cos
3
2 i
5
3
+ i sen
: En este caso r = 1 y
+ i sen
5
3
5
3
z = cos
3:
+ i sen
As que
54
4) z = 8
p
8 3i : En este caso
r = 16;
Puesto que z = j z j
z
; entonces
jzj
z = 16
= 16
8
16
1
2
p
8 3
16 i
p
3
2 i :
1.7
5
3
+ i sen
Frmula de De Moivre
Sean
z1 = r1 (cos
+ i sen
1)
z2 = r2 (cos
+ i sen
2)
5
3
55
+ i sen
1 )]
= r1 r2 [(cos
= r1 r2 [(cos
1 cos 2
+i(cos
+ i sen
1 sen 2
[r2 (cos
+ i sen
2 )]
1)
+ i sen
2 )]
(cos
sen 1 sen 2 ) +
+ sen
1 cos 2 )]:
Puesto que
cos
1 cos 2
sen
1 sen 2
= cos(
2)
= sen (
2 );
+ i sen (
2 )] :
y
cos
1 sen 2
+ sen
1 cos 2
entonces
z1 z2 = r1 r2 [cos(
2)
(1)
+ i sen
1 );
z2 = r2 (cos
..
.
+ i sen
2 );
zn = rn (cos
+ i sen
n );
1 + : : : + n ) + i sen ( 1 + : : : + n )]:
Si
z = r(cos + i sen )
(2)
56
(3)
+ i sen
1)
z2 = r2 (cos
+ i sen
2 );
con z2 6= 0; entonces
z1
z2
=
=
r1 (cos
r2
1 cos 2
r1 (cos
r2 (cos
r1 (cos
r2 (cos
+ i sen
2 + i sen
1 + i sen
2 + i sen
1)
+ sen
2)
cos
)
cos
2
1)
2
2
i sen
i sen
2
2
cos
1 sen 2 )
57
1 cos 2
+ sen
1 sen 2
= cos(
sen
1 cos 2
cos
1 sen 2
= sen (
2 );
2)
y
cos2
z1
r1
=
[cos(
z2
r2
+ sen2
= 1;
entonces
2)
+ i sen (
2 )] :
(4)
= cos(
) + i sen (
);
o sea que,
1
(cos + i sen )
= cos(
) + i sen (
):
Como 8 n 2 N
(cos + i sen )
= (cos + i sen )
1 n
= cos( n ) + i sen ( n ):
58
1.8
Resolucin de la ecuacin xn
z=0
z=0
xn
z = r(cos + i sen )
y
x = R(cos ' + i sen '):
Por lo tanto
[R(cos ' + i sen ')]n = r(cos + i sen );
o sea,
Rn [cos ' + i sen ']n = r(cos + i sen ):
De donde se sigue, aplicando la frmula de De Moivre al primer
miembro de la ecuacin, que
Rn [cos (n') + i sen (n')] = r(cos + i sen ):
En consecuencia, Rn = r y n' =
tanto
R=
p
n
r y '=
+ 2k
+ 2k
:
n
con k 2 Z; y por lo
Z=0
59
p
n
r cos
+ 2k
+ 2k
+ i sen
n
n
(1)
` < n:
=
=
=
1); y entonces
+ 2(nq + `)
n
+ 2nq + 2`
n
+ 2`
+ 2q ;
n
por lo tanto
cos
+ 2k
n
= cos
+ 2`
n
+ 2k
n
= sen
+ 2`
n
y
sen
+ 2k
n
+i sen
+ 2k
n
= cos
+ 2`
n
1g tal que
+i sen
+ 2`
n
60
y se obtienen al sustituir k = 0; 1; : : : ; n
Sean ahora k1 ; k2 2 f0; 1; : : : ; n
xk1 =
p
n
xk2 =
p
n
1 en la frmula (1).
r cos
+ 2k1
+ 2k1
+ i sen
n
n
r cos
+ 2k2
+ 2k2
+ i sen
n
n
y
:
+ 2k2
+ 2s con s 2 Z:
n
Por lo tanto
2k1 = 2k2 + 2ns ;
y nalmente
k1
k2 = ns:
1)
k1
k2
Resumiendo, si k1 ; k2 2 f0; 1; : : : ; n
xk1 6= xk2 :
1:
1g y k1 6= k2 ; entonces
Z=0
61
p
n
r cos
sustituyendo k = 0; 1; : : : ; n
+ 2k
+ 2k
+ i sen
n
n
1:
Observacin: Resolver la ecuacin xn = z es equivalente a encontrar las races n-simas del complejo z:
Ejemplo: Resolver la ecuacin x3 = 8i:
Solucin: En este caso es claro que r = j8ij = 8 y que
= arg 8i = ; y por lo tanto
2
8i = 8(cos
+ i sen ):
2
2
As que la ecuacin dada puede escribirse como
x3 = 8(cos
+ i sen );
2
2
y sus soluciones vienen dadas por
p
+ 2k
+ 2k
3
x = 8 cos 2
+ i sen 2
3
3
sustituyendo k = 0; 1; 2:
Para k = 0;
x0 = 2 cos + i sen
6
! 6
p
3 1
= 2
+ i
2
2
p
=
3 + i:
Para k = 1;
5
5
+ i sen
6
6
!
p
3 1
+ i
2
2
x0 = 2 cos
= 2
=
3 + i:
62
Para k = 2;
3
3
+ i sen
2
2
i)
x0 = 2 cos
= 2(0
=
2i:
1.9
z=0
p
n
r cos
+ 2k
+ 2k
+ i sen
n
n
+ 2j
n
2
:
n
63
1.10
3 + i; x1 =
3 + i y x2 =
2 i:
1 = 0:
Puesto que
1 = cos 0 + i sen 0;
64
1:
Debido a que
cos
2k
n
2k
n
+ i sen
= cos k
2
n
2
n
+ i sen
+ i sen
2
n
2k
n
+ i sen
2k
n
2
n
= cos
2
n
1 en la frmula
+ i sen
2
n
y son precisamente
1 = ! 0 ; !; ! 2 ; : : : ; ! n
donde
! = cos
2
n
+ i sen
2
n
65
+ : : : + x + 1 = 0:
1)(xm + xm
1 = (x
+ : : : + x + 1):
m+1
1 = !k
para todo k = 0; 1; : : : ; m:
Si k
!k
1; entonces ! k 6= 1; es decir ! k
!k
+ (! k )m
+ : : : + !k + 1
1 6= 0; por lo tanto
+ : : : + !k + 1 = 0
para todo k = 1; 2; : : : ; m:
Resumiendo,
!; ! 2 ; : : : ; ! m
son races de la ecuacin
xm + xm
+ : : : + x + 1 = 0:
+ ::: + x + 1 = 0
1 = 0;
66
donde
! = cos
2
2
+ i sen
;
m+1
m+1
y de stas,
!; ! 2 ; : : : ; ! m
son las races de
xm + xm
+ : : : + x + 1 = 0:
1 = 0;
2k
2k
+ i sen
4
4
+ i sen
= i:
=
1:
+ i sen 32
1.11
i:
son: i; 1; y
i:
Notas
1.12. EJERCICIOS
i) 8 x 2 R; x
67
x:
ii) Dados x; y 2 R; si x
yyy
iv) 8 x; y 2 R; x
x:
iii) Dados x; y; z 2 R; si x
yoy
x; entonces x = y:
yyy
z; entonces x
z:
9=
( 3)( 3) =
3=
3i
3i =
3:
Lo que es una contradiccin. Por tanto, las leyes de exponenciacin racional que se tienen en los nmeros reales positivos,
no se tienen en los complejos. Si z1 y z2 son nmeros complejos
y z = z1 z2 ; lo ms que podemos armar es que cualquier raz
nsima de z; ser el producto de alguna raz nsima de z1
por alguna raz nsima de z2 :
1.12
EJERCICIOS
z = ( 1)z:
1.3
( z) = z:
68
(z1 z2 ) :
1.5 ( z1 ) ( z2 ) = z1 z2 :
1.6 z1 (z2
z3 ) = z1 z2
1.7 Si z 6= 0; entonces z
z1 z3 :
1
= z:
1.8 Si z1 z2 = 0, entonces z1 = 0 z2 = 0:
1.9 Si z + z1 = z + z2 ; entonces z1 = z2 :
1.10 Si z z1 = z z2 y z 6= 0; entonces z1 = z2 :
2. Pruebe la proposicin (1.2.5).
3. Sean z; z1 2 C con z 6= 0 y z1 6= 0; y sean m; n 2 Z: Pruebe
que:
1
:
zn
n
m
3.3 (z ) = z nm :
n
3.5 ( zz1 )n = zz n :
3.1 z
3.4 z n z m = z n+m :
4.2 z =
4.4 z =
3 + i:
8 51 i:
5.2 z = a+bi
c+0i (c 6= 0):
5.4 z = 5 2i (6 4i)i:
i
5.6 z = (1+i)(2
i) :
3 2i
5+i :
1+i
5.9 z = i + 1 ii :
5.11 z = 1+i+ i i
5.8 z =
5.7 z =
i
1+i+ 1+i
5.10 z
5.12 z
(2+i)(1 2i)
:
3 i
(1+i)3
= 1 i :
i)
= (4+3i)(2
7 i
1
2
+ 32 i
1.12. EJERCICIOS
69
6.1 z = 3 + 2i:
p
6.3 z = 8 + 8 3i:
6.2 z =
6.4 z =
7. Calcule z z; z + z; z
1 3i
1+3i :
i + 1i :
z
si:
z
zy
7.2 z = 71 2ii :
7.4 z = ( 3 2i)( 1 + 2i):
7.1 z = 3 + 5i:
7.3 z = 2 7i:
8.2 Si z 6= 0; z
8.3 Si z 6= 0; z
= (z )
= (z)
1:
n;
para cada n 2 N:
jz2 jj
jz1
9.4 jz1
z2 j = jz2
z2 j :
z2 j2 = 2 jz1 j2 + 2 jz2 j2 :
z1 j :
9.7 Si z 6= 0; z
9.8 Si z 6= 0; jz
= jzj
nj
= jzj
; para cada n 2 N:
70
11.2 z = i:
11.4 z = 1i :
11.6 z = 1p2i :
(4 3i)(1 2i)
:
2 i
1
2
p
8
3
i (6
2
( 8 6i)6
(1+i)3 (3 4i)4
:
(4 3i)5
p
p
p 4
2i)3 ( 3
7i)
= ( (3 9+3i)+(2
3i) :
11.8 z =
8i)5
11.10 z
1 xi
1+xi
x2
con x 2 R:
1 + 2xi con x 2 R:
14.2 x2 i = 0:
14.4 2ix2 4 p6i = 0:
3
14.6 x2 + 21
2 i = 0:
6 8i = 0
24 70i = 0:
p
1
3i = 0:
B W
;
2A
4 A C:
2x2 + 2x
x2
+ 2ix
5 = 0:
1 = 0:
16.3 x2
(2 + 3i)x
16.4 (2
2i)x2
1 + 3i = 0:
(11 + 9i)x
16 + 6i = 0:
1.12. EJERCICIOS
16.5 x2
71
x + 1 + i = 0:
z
z
z
z
z
= 35 :
= 4 p3i:
= 21 p23 i:
p
3 (1 + 3)i:
=1
p
:
= 8+8i
2
17.11 z =
3+i
p
17.12 z = 1 + 3
17.2 z = 6i:
17.4 z = 1 i:
p
17.6 z = 3 + 3 3i:
17.8 z = 2 + i:
17.10 z = 1 + cos + i sen
; con n 2 Z:
p
m
1
3 i ; con m 2 Z:
en la identidad
1 + z + z2 + : : : + zn
1 zn
;
1 z
pruebe que:
1 + 2 cos + 2 cos 2 + : : : + 2 cos(n
sen n
1) =
sen 12
1
2
y
sen + sen 2 + : : : + sen (n
1) =
cos 12
cos n
2 sen 12
1
2
x2 = 1:
x4 = 16i:
ix6 + 4i = 0:
p
x4 = 8 8 3i:
x7 = 1:
20.2 x4 = 1:
20.4 x3 = 2i:
20.6 (1 i)x4 p
2 = 0:
1
4
20.8 x = 2p+ 23 i:
20.10 x3 = 4 3 + 4i:
72
+ : : : + y + 1 = 0;
1)
+ : : : + xk + 1 = 0:
es raz
es raz de
1.12. EJERCICIOS
27. Si es raz de xn = 1; pruebe que tambin
xn = 1; para cada m 2 Z:
28. Si es raz de xk = 1; pruebe que entonces
xk` = 1; para cada ` 2 N:
73
m
es raz de
es raz de
es raz
Captulo 2
POLINOMIOS
2.1
Conjuntos de polinomios
n 1
1x
+ : : : + a1 x + a0 = 0;
(1)
n 1
1x
+ : : : + a1 x + a0 ;
n 1
1x
+ : : : + a1 x + a0 ;
75
(2)
76
CAPTULO 2. POLINOMIOS
donde n 2 N[f0g; y donde las constantes an ; an 1 ; : : : ; a1 ; a0 pertenecen a D y son los coecientes del polinomio. Las expresiones
an xn ; an
n 1
;
1x
: : : ; a1 x; a0
+ : : : + an
1x
+ an :
m 1
1x
+ : : : + b1 x + b0 :
77
1
2
x+
8
2 Q[x]:
5
Si D = R;
R[x] = ff (x) j f (x) es polinomio de coecientes en Rg:
f (x) = 5x3 +
3x2 +
p
7+2 3 x+
2 R[x]:
Si D = C;
C[x] = ff (x) j f (x) es polinomio de coecientes en Cg:
f (x) = 7x4 + ix3 +
2i x2 + (7 + 3i) x + 4 2 C[x]:
C; entonces es inme-
Convencin:
i) Si el coeciente ai ; i
0; de un polinomio, es cero, convenimos que el trmino con este coeciente se puede omitir al escribir el
polinomio; excepto cuando todos los coecientes son cero, en cuyo
caso escribiremos slo el trmino independiente. Por ejemplo, los
polinomios
f (x) = 3x5 + 0x4 + 4x3 + 0x2 + 8x + 0
y
g(x) = 0x3 + 0x2 + 0x + 0
se pueden escribir como
f (x) = 3x5 + 4x3 + 8x y g(x) = 0;
respectivamente.
78
CAPTULO 2. POLINOMIOS
ii) Si el coeciente ai ; i
1; de un polinomio, es 1; es decir, si
ai = 1; con i 1; convenimos que se puede omitir este coeciente
al escribir el polinomio. Por ejemplo, el polinomio
f (x) = 1x3 + ( 3)x2 + 1x + 1
se puede escribir como
f (x) = x3 + ( 3)x2 + x + 1:
iii) Convenimos tambin en que a un polinomio que tiene trminos con coecientes precedidos de signo menos, podemos escribirlo
anteponiendo a tales trminos el signo menos del coeciente y omitiendo el signo ms. Por ejemplo, el polinomio
1
f (x) = ( 3)x5 + 8x4 + x2 + ( a)x + ( 2)
2
se puede escribir como
f (x) =
1
3x5 + 8x4 + x2
2
ax
2:
Denicin (2.1.2).Sea
f (x) = an xn + : : : + a1 x + a0 2 D[x]
con aj 6= 0 para al menos un j = 0; 1; 2; : : : ; n: Denimos el grado de
f (x) como k; y escribimos gr f (x) = k; si y slo si,
k = mx fj 2 f0; 1; 2; : : : ; ng j aj 6= 0g :
79
2.2
80
CAPTULO 2. POLINOMIOS
Denicin (2.2.1).Sean f (x); g(x) 2 D[x]; con
f (x) = an xn + : : : + a1 x + a0
y
g(x) = bm xm + : : : + b1 x + b0 :
i) Denimos la suma de los polinomios f (x) y g(x); denotada por
f (x) + g(x); como el polinomio
f (x) + g(x) = ck xk + : : : + c1 x + c0 ;
donde k = n si n
m k = m si m > n; y donde ci = ai + bi
para cada i = 0; 1; : : : ; k; conviniendo que bm+1 = : : : = bn = 0 que
an+1 = : : : = am = 0; si n > m m > n; respectivamente.
ii) Denimos la multiplicacin o producto de los polinomios f (x) y
g(x); denotada por f (x) g(x) o por f (x)g(x); como el polinomio
f (x) g(x) = dn+m xn+m + : : : + d1 x + d0 ;
donde
di =
a` bk
`+k=i
para i = 0; 1; : : : ; n + m; ` = 0; 1; : : : ; n y k = 0; 1; : : : ; m:
81
(b2 x2 + b1 x + b0 ) (a3 x3 + a2 x2 + a1 x + a0 )
a3 b2 x5 + a3 b1 x4 + a3 b0 x3
a2 b2 x4 + a2 b1 x3 + a2 b0 x2
a1 b2 x3 + a1 b1 x2 +
a0 b2 x2 +
a1 b0 x
a0 b1 x +
a0 b0
b1
a3 b1
a2 b2
b0
a3 b0
a2 b1
a1 b2
a2 b0
a1 b1
a0 b2
a3
a2
a1 b0
a0 b1
a0 b0
a1
a0
a3 b2 a3 b1 + a2 b2 a3 b0 + a2 b1 + a1 b2 a2 b0 + a1 b1 + a0 b2
a1 b0 + a0 b1 a0 b0
As que
f (x) g(x) = a3 b2 x5 + : : : + (a1 b0 + a0 b1 )x + a0 b0
82
CAPTULO 2. POLINOMIOS
1 b1
+ : : : + a1 bi
+ a0 bi :
Ejemplos:
1. Si f (x) = 3x2 7x + 3 y g(x) = 5x3 + 2x + 1; entonces escribiendo f (x) = 0x3 + 3x2 7x + 3 y g(x) = 5x3 + 0x2 + 2x + 1;
tenemos que f (x) + g(x) = 5x3 + 3x2 5x + 4:
2. Si f (x) = 12 x3 8 y g(x) = 6x2 2x; entonces sumando
directamente tenemos que f (x) + g(x) = 21 x3 + 6x2 2x 8:
3. Sean f (x) = x5 2x2 + 3 y g(x) = 2x4 3x3 + x 1: Si queremos aplicar el segundo proceso para multiplicar, debemos escribir
f (x) = x5 +0x4 +0x3 2x2 +0x+3 y g(x) = 2x4 3x3 +0x2 +x 1, con
lo que se tiene:
2
2
-3
-3
0
-3
0
0
0
0
1
1
0
0
-4
-3
-1
-1
0
0
6
0
5
0
0
0
0
6
6
-0
-2
0
-2
0
-9
-11
2
0
0
2
0
3
3
-3
-3
83
Y por lo tanto
f (x) g(x) = 2x9
3x8
11x3 + 2x2 + 3x
3:
-3
-3
-3
0
0
1
1
-4
-1
-1
6
-3
0
6
6
-2
-2
-9
-11
2
0
2
3
3
-3
-3
2x2 + x
y
g(x) = 4x3 + x2
4
-8
-8
1
-2
4
2
0
0
1
1
-5
10
0
10
5:
-2
-5
-5
5x:
84
CAPTULO 2. POLINOMIOS
7x + 13 ; entonces
21x + 1:
85
a` bk :
`+k=i
gr (f (x) g(x)) :
86
CAPTULO 2. POLINOMIOS
Teorema (2.2.4).El conjunto de polinomios D[x]; con las operaciones de suma y multiplicacin antes denidas, constituye un dominio
entero, es decir, satisface las siguientes propiedades:
S1) Si f (x); g(x) 2 D[x]; entonces f (x) + g(x) 2 D[x]:
S2) (f (x) + g(x)) + h(x) = f (x) + (g(x) + h(x)) ;
8 f (x); g(x); h(x) 2 D[x]:
S3) f (x) + g(x) = g(x) + f (x); 8 f (x); g(x) 2 D[x]:
S4) Existe un nico polinomio o(x) 2 D[x] tal que
f (x) + o(x) = f (x); 8 f (x) 2 D[x]:
S5) Para cada f (x) 2 D[x]; existe un nico polinomio
(x) 2 D[x] tal que f (x) + (x) = o(x):
M1) Si f (x); g(x) 2 D[x]; entonces f (x) g(x) 2 D[x]:
M2) (f (x) g(x)) h(x) = f (x) (g(x) h(x)) ;
8 f (x); g(x); h(x) 2 D[x]:
M3) f (x) g(x) = g(x) f (x); 8 f (x); g(x) 2 D[x]:
M4) Existe un nico polinomio `(x) 2 D[x] tal que
f (x) `(x) = f (x); 8 f (x) 2 D[x]:
D) f (x) (g(x) + h(x)) = f (x) g(x) + f (x) h(x);
8 f (x); g(x); h(x) 2 D[x]:
E) Si f (x); g(x) 2 D[x] y f (x) g(x) = o(x); entonces
f (x) = o(x) g(x) = o(x):
Demostracin:
De (S1): Es clara de la denicin de suma de polinomios.
87
m; y en
g(x) = bn xn + : : : + bm xm + : : : + b1 x + b0
donde bm+i = 0 8 i 1: Puesto que ak ; bk 2 D; 8 k = 0; 1; : : : ; n; entonces ak + bk = bk + ak ; 8 k = 0; 1; : : : ; n; y en consecuencia
f (x) + g(x) = (an + bn )xn + : : : + (am + bm )xm +
+ : : : + (a1 + b1 )x + (a0 + b0 )
= (bn + an )xn + : : : + (bm + am )xm +
+ : : : + (b1 + a1 )x + (b0 + a0 )
= g(x) + f (x):
o sea,
f (x) + g(x) = g(x) + f (x)
como se quera probar.
De (S4): El polinomio o(x) es precisamente el polinomio cero, es
decir,
o(x) = 0xk + : : : + 0x + 0 = 0;
ya que dado f (x) = an xn + : : : + a1 x + a0 tenemos que:
f (x) + o(x) = (an + 0)xn + : : : + (a1 + 0)x + (a0 + 0)
= an xn + : : : + a1 x + a0
= f (x):
As pues,
f (x) + o(x) = f (x):
La demostracin de que o(x) es nico, se deja al lector.
88
CAPTULO 2. POLINOMIOS
De (S5): Dado
f (x) = an xn + : : : + a1 x + a0
elegimos
(x) =
an xn
:::
a1 x
a0 :
f (x); es decir,
f (x):
Por tanto
f (x) + ( f (x)) = o(x):
En general, dados f (x); g(x) 2 D[x]; en lugar de f (x) + ( g(x))
escribiremos f (x) g(x); es decir,
f (x)
f (x):
89
Puesto que las once propiedades anteriores son las que satisfacen
los nmeros enteros, las consecuencias de ellas son las mismas que
se tienen para dichos nmeros. Para recordar, algunas de ellas las
enunciamos en la proposicin siguiente.
iii)
( f (x)) = f (x):
(f (x)g(x)) :
90
CAPTULO 2. POLINOMIOS
gr f (x)+gr g(x) = 0; y como el grado de un polinomio es positivo o cero, entonces gr f (x) = 0 y gr g(x) = 0; de donde se sigue
que f (x) y g(x) son polinomios constantes distintos de cero.
q.e.d.
2.3
Divisibilidad de polinomios
91
Notacin: Para decir que g(x) divide a f (x) se escribe g(x)jf (x);
y si g(x) no divide a f (x) escribiremos g(x) 6 jf (x): Con esta notacin
la denicin anterior puede escribirse de la siguiente manera: Dados
g(x); f (x) 2 K[x]; g(x)jf (x); si y slo si, existe q(x) 2 K[x] tal
que f (x) = g(x)q(x):
92
CAPTULO 2. POLINOMIOS
v) Sea f (x) = c; con c 2 K y c 6= 0: Si g(x)jf (x); entonces
g(x) = a; con a 2 K y a 6= 0:
1
c f (x)
93
2.4
El algoritmo de la divisin
Demostracin: Sean
f (x) = am xm + : : : + a1 x + a0
y
g(x) = bn xn + : : : + b1 x + b0 ;
donde gr g(x) = n; es decir, bn 6= 0:
i) Si f (x) = 0; claro que existen q(x) = 0 y r(x) = 0 tales que
f (x) = g(x)q(x) + r(x); y se cumple r(x) = 0:
94
CAPTULO 2. POLINOMIOS
r1 (x) = f (x)
gr g(x) = n: Sea
g(x):
am m
x
bn
(1)
m
1:
g(x) + r1 (x):
ck1 k1
x
bn
r2 (x) = r1 (x)
g(x):
(2)
f (x) = g(x)
ck1 k1
x
bn
+ r2 (x):
f (x)
r2 (x)
=
..
.
=
r1 (x)
r` (x)
r`
am m n
x
g(x)
bn
1 (x)
ck 1
bn
xk1
ck
bn
n g(x)
xk`
9
>
>
>
>
>
>
=
>
>
>
>
>
>
;
(3)
95
am m
x
bn
ck1 k1
x
bn
+ ::: +
ck` 1 k`
x
bn
2 K[x]
+ r` (x);
am m
x
bn
ck1 k1
x
bn
+ ::: +
ck` 1 k`
x
bn
y
r(x) = r` (x) 2 K[x];
se tiene que
f (x) = g(x)q(x) + r(x);
donde r(x) = 0 gr r(x) < gr g(x):
Veamos ahora que q(x) y r(x) son nicos. Si q 0 (x); r0 (x) 2 K[x]
son tales que f (x) = g(x)q 0 (x) + r0 (x); donde r0 (x) = 0
gr r0 (x) < gr g(x); entonces
g(x)q(x) + r(x) = g(x)q 0 (x) + r0 (x);
por tanto
g(x) q(x)
q 0 (x) = r0 (x)
r(x):
De donde se sigue que g(x)jr0 (x) r(x); y por tanto r0 (x) r(x) = 0
gr g(x) gr (r0 (x) r(x)) : Pero gr g(x) gr (r0 (x) r(x)) no puede
ocurrir, pues gr (r0 (x) r(x))
mxfgr r0 (x); gr r(x)g < gr g(x).
0
En consecuencia r (x) r(x) = 0; y esto implica que r0 (x) = r(x):
96
CAPTULO 2. POLINOMIOS
Ejemplo: Sean
f (x) = 2x3 + 3x2 + 2
y
g(x) = 3x2 + 2x
1:
3x2
+ 2x
2
3x
2x3
2x3
5
9
+
+
5
9
3x2
4 2
3x
5 2
3x
5 2
3x
y r(x) =
+
+
+
4
9x
2
2
3x
2
3x
10
9 x
4
9x
+
+
+
2
5
9
23
9
23
9 :
2.5
c)q(x) + r(x);
c)q(x) + r:
98
CAPTULO 2. POLINOMIOS
Como
f (c) = (c
c)q(c) + r;
c)q(x) + f (c):
q.e.d.
cjf (x):
n 1
1x
+ : : : + a1 x + a0
1: Como
f (x) = (x
entonces gr q(x) = n
q(x) = bn
c)q(x) + f (c);
+ bn
n 2
2x
+ : : : + b1 x + b 0 :
n 1
1x
+ bn
n 2
2x
+ : : : + b1 x + b0 ) + f (c);
Por tanto
f (x) = (x
c)(bn
o sea,
f (x) = bn 1 xn + (bn 2 cbn
+(b1 cb2 )x2 + (b0
y por lo tanto
n 1
1 )x
+ :::
bn
bn
bn
cbn
cbn
2
3
b1
b0
f (c)
= an ;
= an 1 ;
= an 2 ;
..
.
1
1
2
cb2 = a2 ;
cb1 = a1 ;
cb0 = a0 :
Consecuentemente
bn
bn
bn
= an ;
= an 1 + cbn
= an 2 + cbn
..
.
1
2
3
1;
2;
b1 = a2 + cb2 ;
b0 = a1 + cb1 ;
f (c) = a0 + cb0 :
En resumen, conocemos bn 1 = an y a partir de ste conocemos
los dems coecientes de q(x) y tambin a f (c):
Para calcular fcilmente los coecientes de q(x) y a f (c), hacemos
el siguiente arreglo:
an
bn
= an
an
cbn
bn
1
1
2
an
cbn
bn
a1
cb1
b0
2
2
3
a0
cb0
f (c)
Ejemplos:
1. Calcular el cociente y el residuo de dividir f (x) = 7x3 4x2 +9
por x 2:
Solucin:
7
7
-4
14
10
0
20
20
9
40
49
100
CAPTULO 2. POLINOMIOS
7x4 + 9x2
1: Calcular f
-7
-1
-8
En consecuencia, f
2.6
0
8=3
8=3
9
8=9
73=9
1
3
0
73=27
73=27
1
3
-1
73=81
8=81
1
3
= x + 13 .
1=3
8
81 :
101
102
CAPTULO 2. POLINOMIOS
g(x)h(x);
103
f (x)
g(x)
r1 (x)
..
.
rn 3 (x)
rn 2 (x)
rn 1 (x)
=
=
=
..
.
=
=
=
y
y
y
..
.
y
y
y
9
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
;
(1)
N;
donde gr g(x) > gr r1 (x) > gr r2 (x) > : : : ; no tendra elemento mnimo, lo que contradira el principio de buen orden.
Armamos que d(x) = rn (x); el ltimo residuo distinto de cero,
es mximo comn divisor de f (x) y g(x): En efecto: Procediendo
de abajo para arriba en la tabla (1), puesto que rn+1 (x) = 0; entonces rn (x)jrn 1 (x); y por lo tanto, segn el lema (2.6.3),
rn (x) = (rn
1 (x); rn (x)) :
104
CAPTULO 2. POLINOMIOS
1 (x); rn (x))
2 (x); rn 1 (x))
= (g(x); r1 (x))
= (f (x); g(x)) :
Veamos ahora que existen s(x); t(x) 2 K[x] tales que
d(x) = rn (x) = f (x)s(x) + g(x)t(x):
En efecto: Procediendo de arriba para abajo en la tabla (1), se tiene
que
r1 (x) = f (x) + g(x) ( q1 (x))
= f (x)s1 (x) + g(x)t1 (x);
donde s1 (x) = 1 y t1 (x) = q1 (x): Anlogamente
r2 (x) = r1 (x) ( q2 (x)) + g(x)
= f (x)s2 (x) + g(x)t2 (x);
donde s2 (x) =
t2 (x)q3 (x):
2 (x)
sn
1 (x)qn (x)
y tn (x) = tn
2 (x)
tn
1 (x)qn (x):
105
3x2
12x
y
1
5
1
g(x) = x3 + x2 + x
2
3
3
1
:
2
Solucin:
1 3
x
2
+ 53 x2 + 31 x
1
2
6x
3x4
3x4
2
9x3
10x3
x3
x3
3x2
2x2
5x2
10 2
x
3
5 2
x
3
+
+
12x
3x
9x
2
x
3
25
x
3
9
9
1
10
106
CAPTULO 2. POLINOMIOS
5 2
3x
25
3 x
3
2x
10
9
2
3
10 x
1 3
2x
1 3
2x
10
9 x
5 2
3x
5 2
3x
+
+
1
2
5 2
3x
5 2
2x
5 2
6x
5 2
6x
20
9
25
3 x
1
2
1
3x
3x
8
3x
25
6 x
3
2x
1
2
+
+
5
9
2
10
5x
10
3 x
10
3 x
10
10
0
Por lo tanto
3
9
d(x) = x + = (f (x); g(x)) :
2
2
Nos preguntamos ahora ?Es nico el mximo comn divisor de
dos polinomios?. La respuesta completa la dan las siguientes dos
proposiciones.
Proposicin (2.6.6). Sean f (x); g(x) 2 K[x]; no ambos cero.
Si d(x) es mximo comn divisor de f (x) y g(x); entonces, para cada
c 2 K; c 6= 0; cd(x) es tambin mximo comn divisor de f (x) y g(x):
Demostracin: Por hiptesis, d(x) = (f (x); g(x)) ; entonces
d(x)jf (x) y d(x)jg(x); luego, por (2.3.3)(x), cd(x)jf (x) y cd(x)jg(x)
para cada c 2 K: Por otro lado, si k(x)jf (x) y k(x)jg(x), entonces k(x)jd(x) y por lo tanto, aplicando (2.3.3)(viii), k(x)jcd(x)
para cada c 2 K: En consecuencia, cd(x) = (f (x); g(x)) ; para cada
c 2 K; c 6= 0:
q.e.d.
107
k 1
1x
+ : : : + d1 x + d0
+ ::: +
d1
d0
x+
dk
dk
El siguiente resultado, junto con el lema (2.6.4), facilitan el clculo del mximo comn divisor.
108
CAPTULO 2. POLINOMIOS
3x2
12x
y
1
5
1
g(x) = x3 + x2 + x
2
3
3
1
:
2
3x3 + 10x2 + 2x
por
por
x
3x4
3x4
+
+
1
9x3
10x3
x3
3x3
3x3
1
5
x2 + 5x + 6
por
3x
3x3
3x3
5
10x2
15x2
5x2
5x2
3x2
2x2
5x2
15x2
10x2
5x2
x2
1
9
x+3
x
x2
x2
+
+
2
5x
3x
2x
2x
+
+
+
+
2x
18x
16x
25x
9x
x
6
6
0
12x
3x
9x
27x
2x
25x
5x
+
+
+
+
+
+
+
3
30
27
3
9
27
3
30
6
3x + 2
Solucin:
x
x2
x2
x +3
por
6
3x
3x
6x
6x
1
20
x
x
x
+
+
+
+
2
18
20
1
3
3
3
3
0
2.7
110
CAPTULO 2. POLINOMIOS
Lema (2.7.3). Si (x) 2 K[x] es polinomio no constante, entonces (x) es irreducible en K[x]; si y slo si, f (x) 2 K[x] y f (x)j (x)
implica que f (x) = c f (x) = a (x); para algunas a; c 2 K; a 6= 0
y c 6= 0:
Demostracin: Se deja al lector.
(x)jf (x)
112
CAPTULO 2. POLINOMIOS
1 (x);
2 (x); : : : ;
s (x)
2.8
EJERCICIOS
1.1 f (x) =
1 2
2 x +8x
x + 1 y g(x) = 23 x3 + 12 x
3:
9 y g(x) =
1.3 f (x) =
3i)x2
1.4 f (x) = (2
7x + 2i y g(x) = ( 2 + 3i)x2 + 7x
2i:
x3
2
3:
7x + 2 y g(x) = 3x2 + 7x
8x + (2
2x2
+ 3x +
3i) y g(x) = (3
2i)x
1
3
1 2
2x
y g(x) =
4x3
2.4 f (x) = x
(a + bi) y g(x) = x
(a
bi):
2.5 f (x) = x
(2 + 3i) y g(x) = x
(2
3i):
3i:
+ 2x + 1:
2.8. EJERCICIOS
113
15x + 18 y g(x) = 2x
5.2 f (x) = x2
4x + 29 y g(x) = x
5.3 f (x) =
3x2
5.4 f (x) =
x5
7x + 8 y g(x) =
x4
x3
x2
1 y g(x) = x
1:
5.6 f (x) =
xn
1 y g(x) = x
1:
5.7 f (x) =
x7
2x3
+ 3x2
9x2 + 18x
(2
5.11 f (x) = (2
x + 1:
3 y g(x) = 2x2 + 2x + 2:
i)x2 + 2ix + 1:
i)x + 2i y g(x) = x2 + x + 12 :
9x2 + (1
3i)x3
+ 2:
x + 1 y g(x) = x4
5i):
1
2x
7x2
+ x + 1 y g(x) = x + 1:
5.5 f (x) = x5
+ 3x6
6:
ix2 + x
2i y g(x) = ix + 2:
1 y g(x) = x +
6.3 f (x) = x3
ix2 + 9x
6.4 f (x) =
3x5
5x6
+ 96x +
4
3
1
2
3
2 i:
9i y g(x) = x + 3i:
y g(x) = x
7x + 2 y g(x) = x
ix4
1
3:
3 + i:
+ 1 y g(x) = x + 1:
3x3 + 6x2
3x5
6x3
+x
x + 1 y c = 0:75:
2
5
yc=
1:3:
114
CAPTULO 2. POLINOMIOS
7.3 f (x) = x3
ix2 + 9x
7x5
9i y c = i:
6x2 + (2
1
2x
4x2
2
3
4i)x + 1 y c = 1
yc=
2i:
2
3:
x3
5x3 + 5x2 + 5x
6 y g(x) = 3x
6:
+ 8 y g(x) = 2x + 4:
2x2 + 3x
1 y g(x) = 2x
3:
ajf (x); x
bjf (x) y
7x3
11.2 f (x) = x5 + x4
5x + 6:
1 y g(x) = x2 + 1:
x3
12x2 + 16x
x5
64 y g(x) = x2
16:
1 y g(x) = x2 + x + 1:
xn
2.8. EJERCICIOS
115
1 y g(x) = x2 + 1:
1:
ix2 + 9x
9i y g(x) = x + 3i:
3x + 2i y
a; x
b) = 1:
116
CAPTULO 2. POLINOMIOS
26.4 Pruebe que f (x) g(x) = a ((f (x); g(x)) [f (x); g(x)] ; para
alguna constante a 6= 0:
26.5 Calcule un mcm de f (x) = x5 + x4
x 1 y g(x) = x2 + 1:
Captulo 3
RACES DE
POLINOMIOS
En este captulo vamos a trabajar, generalmente, con polinomios
de coecientes complejos, aunque tendremos algunos resultados sobre polinomios de coecientes reales, incluso sobre polinomios de
coecientes enteros.
3.1
Races de polinomios
1y
f (x) = an xn + : : : + a1 x + a0 :
Decimos que c 2 C es raz de f (x); si f (c) = 0; es decir, si
an cn + : : : + a1 c + a0 = 0:
(1)
118
(2)
1; y sean
c1 )(x
c2 ) : : : (x
cm ) j f (x):
c1 )(x
c2 ) : : : (x
cm ) j f (x);
Recprocamente, si
(x
Demostracin: Suponemos que c1 ; c2 ; : : : ; cm son races diferentes de f (x); por induccin sobre m probaremos que
(x
c1 )(x
c2 ) : : : (x
cm ) j f (x):
c1 )(x
c2 ) : : : (x
ck ) j f (x):
c1 )(x
c2 ) : : : (x
ck )qk (x):
119
c1 )(x
c2 ) : : : (x
ck ) qk (x);
(3)
(4)
c1 ) : : : (ck+1
ck )qk (ck+1 );
c1 )(x
c2 ) : : : (x
ck )(c
o sea,
(x
c1 )(x
c2 ) : : : (x
ck )(c
ck+1 ) j f (x):
c1 ) : : : (x
ci ) : : : (x
cm )q(x):
c1 ) : : : (ci
ci ) : : : (ci
cm )q(ci ):
1; entonces
Demostracin: Supongamos que c1 ; c2 ; : : : ; cm son races diferentes de f (x); entonces por el lema (3.1.2), existe qm (x) 2 C[x] tal
120
c2 ) : : : (x
c1 )(x
c2 ) : : : (x
cm )] + gr qm (x);
n:
q.e.d.
Observemos que si
f (x) = (x
c1 )(x
c2 ) : : : (x
cm )qm (x)
Demostracin: Suponemos primero que c es raz de f (x), entonces 0 = f (c) = g(c) q(c); y por lo tanto g(c) = 0 o q(c) = 0; o sea,
c es raz de g(x) o c es raz de q(x):
Recprocamente, si c es raz de g(x) o c es raz de q(x); entonces
f (c) = g(c)q(c) = 0: Por lo tanto c es raz de f (x):
q.e.d.
1; entonces
f (x) = (x
c1 )(x
c2 ) : : : (x
cm )qm (x):
121
1 (x)
= (x
c1 )q(x);
c2 )q2 (x);
cm )qm (x):
1 (x)
con
x
c1 ; x
c2 ; : : : ; x
cm ;
= an
= bn
`n
an
c1 bn
bn
c2 dn
dn
1
1
2
2
3
..
.
..
.
...
...
...
...
...
...
a2
c1 b2
b1
c2 d1
d0
a1
c1 b1
b0
c2 d0
0
a0
c1 b0
0
c1
c2
..
.
cm
`1 `0 0
donde
qm (x) = `n
n m
mx
+ : : : + `1 (x) + `0 :
Ejemplo:
Sabiendo que 2 i y
f (x) = x4 + (4
8i)x2 + (3
8i)x
6i;
122
1
1
2i
2i
4
3
1
8i
8i
4
3
1
8i
8i
3
3
0
6i
6i
0
2i
3
1
2
3
2 i
y x2 =
3
2 i:
1
2
1
2i)(x + 3) x +
2
p !
p !
1
3
3
x+ +
i
i ;
2
2
2
o sea que
p
1
3
2i; 3;
+
i y
2
2
son todas las races de f (x):
3.2
1
2
3
i
2
123
1; entonces
c1 )(x
c2 ) : : : (x
c1 )(x
cn )qn (x);
cn ):
124
Observacin: Si f (x) = an xn + an 1 xn 1 + : : : + a1 x + a0 y
gr f (x) = n
1; por corolario (3.2.2), existen a; c1 ; c2 ; : : : ; cn 2 C
tales que f (x) = a(x c1 )(x c2 ) : : : (x cn ): Por lo tanto
f (x) = a xn + ( c1
= axn + a( c1
c2
c2
cn )xn
cn )xn
:::
:::
1
1
+ :::
+ ::: ;
entonces
an xn + an
n 1
1x
+ : : : = axn + a( c1
c2
:::
cn )xn
+ :::;
y en consecuencia a = an :
Resumiendo, si
f (x) = an xn + : : : + a1 x + a0
y c1 ; c2 ; : : : ; cn son las races de f (x); no necesariamente diferentes,
entonces
f (x) = an (x c1 )(x c2 ) : : : (x cn ):
3.3
Multiplicidad de races
c1 )(x
c2 ) : : : (x
cn ):
r1 ) 1 (x
r2 )
: : : (x
donde
1
+ ::: +
= n:
rk ) k ;
125
i
i
c) jf (x) y (x
c)
+1
j/f (x):
1; 2; i y
x6
3x5
7x4
9x3
7x2
5x
Solucin:
1
1
1
1
1
Por tanto,
1
-1
0
-1
-1
-1
-2
-1
-3
-1
0
-1
1
0
2
2
3
5
-3
1
-2
0
-2
-2
-4
-5
-9
-7
2
-5
2
-3
4
1
9
10
-9
5
-4
3
-1
-1
-2
-10
-12
-7
4
-3
1
-2
2
0
-5
3
-2
2
0
-2
2
0
-1
-1
-1
-1
2x4 + 2x3
4x2 + x
2):
(1)
126
-2
2
0
2
2
1
1
2
0
2
4
6
-4
4
0
12
12
1
0
1
24
25
-2
2
0
2
2
0
i
i
i
2i
i
3i
2
-1
1
-2
-1
-3
-4
0
i
i
i
0
1
-1
0
(2)
i
i
i
2)(x
2i
i
i
i
0
-1
1
0
1):
(3)
i
i
f (x) = (x + 1)3 (x
2)(x
i)2 (x + i)2 :
n 1
1x
+ : : : + a2 x2 + a1 x + a0 :
127
Denimos la derivada de f (x); denotada por f 0 (x) por f (1) (x); como
el polinomio
f 0 (x) = nan xn
+ (n
1)an
n 2
1x
+ : : : + 2a2 x + a1 :
1)
i0
(x):
f 0 (x)
f 00 (x)
f 000 (x)
f (4) (x)
f (k) (x)
=
=
=
=
=
8x2
3x + 7:
12x3 16x
36x2 16;
72x;
72;
0; 8 k 5:
3;
c)n
128
c)
q(x) + (x
c) q 0 (x):
Claramente (x c) 1 jf 0 (x) y (x c) jf
/ 0 (x); pues si (x c) jf 0 (x);
entonces (x c)jq(x); lo que contradice que q(c) 6= 0: Por tanto, c es
raz de multiplicidad
1 de f 0 (x):
Recprocamente, sea la multiplicidad de la raz c en f (x); entonces por lo ya probado, c es raz de multiplicidad
1 de f 0 (x) y
por lo tanto
1=
1; o sea, = :
q.e.d.
1)
(c) = 0 y f ( ) (c) 6= 0:
1)
(c) = 0 y f ( ) (c) 6= 0:
129
Recprocamente, si
f (c) = 0; f 0 (c) = 0; f 00 (c) = 0; : : : ; f (
1)
(c) = 0 y f ( ) (c) 6= 0;
3.4
n 1
1x
+ : : : + a1 x + a0 ;
1 ; : : : ; a1 ; a0
f (z) = an z n + an
1z
n 1
2 R: Entonces
+ : : : + a1 z + a0 :
Por lo tanto
f (z) =
=
=
=
=
an z n + an 1 z n 1 + : : : + a1 z + a0
an z n + an 1 z n 1 + : : : + a1 z + a0
an z n + an 1 z n 1 + : : : + a1 z + a0
an (z)n + an 1 (z)n 1 + : : : + a1 (z) + a0
f (z):
q.e.d.
130
Demostracin: Sea
f (x) = an xn + : : : + a1 x + a0 ;
donde, por hiptesis, an ; an 1 ; : : : ; a1 ; a0 2 R: Si z = a + bi (b 6= 0)
es raz de f (x); de multiplicidad ; entonces, por teorema (3.3.5),
f (z) = 0; f 0 (z) = 0; : : : ; f (
1)
(z) = 0 y f (
(z) 6= 0:
Por lo tanto
f (z) = 0; f 0 (z) = 0; : : : ; f (
1) (z)
= 0 y f(
) (z)
6= 0:
1)
(z) = 0 y f (z) 6= 0:
Ejemplo:
Encontrar todas las races de
f (x) = x4
2x3 + 6x2
2x + 5;
2
1 2i
1 2i
1 + 2i
0
6
5
1
0
1
2
1 2i
1 2i
1 + 2i
0
5
5
0
2i
1 + 2i
131
As que
f (x) = (x
(1
2i)) (x
3.5
2 x + 5)(x2 + 1):
n 1
1x
+ : : : + a1 x + a0
p
q
es raz de f (x) = an xn + an
an
p
q
+ an
n 1
p
q
n 1 +:::+a x+a ;
1x
1
0
p
+ : : : + a1 + a0 = 0;
q
o sea,
an
pn
+ an
qn
pn
1 n 1
q
p
+ : : : + a1 + a0 = 0:
q
entonces
132
Por lo tanto
an pn + an
1p
p 1
q + : : : + a1 pq n
+ an
1p
+ a0 q n = 0:
(1)
Entonces
p an pn
n 2
q + : : : + a1 q n
a0 q n ;
1p
n 1
+ : : : + a1 pq n
+ a0 q n
an pn ;
Corolario (3.5.2).Sea
f (x) = an xn + : : : + a1 x + a0
un polinomio de coecientes enteros, es decir, f (x) 2 Z[x]; con
gr f (x) = n 1: Si m 2 Z es raz de f (x); entonces mja0 :
Demostracin: Al entero m podemos verlo como el nmero
racional m
1 ; donde claro que m y 1 son primos relativos, as que
aplicando (3.5.1) tenemos que mja0 :
q.e.d.
p
q
n 1
1x
+ : : : + a1 x + a0 2 Z[x];
133
1 y at 6= 0;
y por lo tanto
f (x) = xt an xn
+ : : : + at+1 x + at :
+ : : : + at+1 x + at ;
x2 + 4x
4:
Solucin:
Los divisores de 4; que son los mismos que de 4; son:
m = 1; 1; 2; 2; 4 y 4: Los divisores de 3 son: k = 1; 1; 3; 3:
As que los candidatos a races racionales de f (x) son:
m
1 1
2 2
4
4
= 1; 1; ;
; 2; 2; ;
; 4; 4; y
:
k
3 3
3 3
3
3
Evaluando por divisin sinttica en 1; 1; 13 ; 13 y 2; vemos que
no son races de f (x): Ahora evaluamos a f (x) en 2 :
3
3
3
4
6
2
6
8
1
4
3
16
19
4
6
2
38
40
4
4
0
2
2
134
2
2
0
3
0
3
2
2
0
2
3
2
3
2x3 + 5x2 :
Solucin:
f (x) = x2 (2x2
2x + 5);
que
con an ; an
an n an
x +
bn
bn
1 n 1
+ ::: +
1 ; : : : ; a1 ; a0 ; bn ; bn 1 ; : : : ; b1 ; b0
1; y digamos
a1
a0
x+
b1
b0
2 Z:
Sea s 2 Z; con s =
6 0; un mltiplo comn de bn ; bn 1 ; : : : ; b1 ; b0
(por ejemplo: s = bn bn 1 : : : b1 b0 ).
s
y di = ci ai :
Para cada i = 0; 1; 2; : : : ; n; sean ci =
bi
Sea
q(x) = dn xn + dn 1 xn 1 + : : : + d1 x + d0 :
1
q(x) (verifquese) donde, por construccin,
s
q(x) 2 Z[x]: Sabemos por (3.1.4) que f (x) y q(x) tienen las mismas
races. Por tanto pq ; donde p y q son enteros primos relativos, es raz
de f (x); si y slo si, pq es raz de q(x), al que puede aplicrsele el
teorema (3.5.1).
Claro que f (x) =
135
1
3
x+ :
2
16
Solucin:
1
(16x4 8x + 3);
16
por lo tanto, las races racionales de f (x) son las mismas que las de
q(x) = 16x4 8x + 3: Los divisores de 3 son: m = 1; 1; 3 y 3: Los
divisores de 16 son k = 1; 1; 2; 2; 4; 4; 8; 8; 16 y 16: As que
los candidatos a raz racional de f (x) son:
f (x) =
m
k
= 1; 1; 12 ;
3; 3; 32 ;
1
2;
3
2;
1
4;
3
4;
1
4;
3
4;
1
8;
3
8;
1
8;
3
8;
1
16 ;
3
16 ;
1
16 ;
3
16 :
3.6
1
2
136
Enseguida denimos el importante concepto de grca de un polinomio de coecientes reales, lo que nos permitir tener una visin
geomtrica de sus races reales.
137
1y
f (x) = an xn + : : : + a1 x + a0 :
Si an > 0; entonces existe M 2 R; M > 0; tal que
f (x) = (x
M )(bn
n 1
1x
+ : : : + b1 x + b0 ) + f (M );
> 0:
> 0:
138
9
>
>
>
>
=
>
>
>
>
;
(1)
M )(bn
n 1
1x
+ : : : + b1 x + b0 ) + f (M );
donde
bn
bn
bn
= an > 0;
= M bn 1 + an
= M bn 2 + an
..
.
1
2
3
1;
2;
b0 = M b1 + a1 ;
f (M ) = M b0 + a0 :
Como M
d1
d2
..
.
2
3
b0
f (M )
> 0;
> 0;
dn 1 > 0;
dn > 0:
Veamos ahora que M es cota superior para las races reales positivas de f (x): Si t > M > 0; entonces t
M > 0; y
bn 1 tn 1 + : : : + b1 t + b0 > 0; ya que bi 0 8i = 0; 1; 2; : : : ; n 1; y
de hecho bn 1 = an > 0: Puesto que f (M ) 0; entonces
f (t) = (t
M )(bn
1t
n 1
+ : : : + b1 t + b0 ) + f (M ) > 0:
139
1y
f (x) = an xn + : : : + a1 x + a0 :
i) Si K > 0 es cota superior para las races positivas del polinomio
(x) = an + an
entonces
1
K
1x
+ : : : + a1 xn
+ a0 xn = xn f
1
x
ii) Si L > 0 es cota superior para las races positivas del polinomio
(x) = ( 1)n an xn + ( 1)n
entonces
an
n 1
1x
+ : : : + ( 1)a1 x + a0 = f ( x);
iii) Si N > 0 es cota superior para las races positivas del polinomio
'(x) = ( 1)n an +( 1)n
entonces
1
N
an
1 x+: : :+(
1)a1 xn
+a0 xn = xn f
1
x
Demostracin:
140
1r
n 1
+ : : : + a1 r + a0 = 0:
Por lo tanto
1
an rn + an
rn
1r
n 1
+ : : : + a1 r + a0 = 0;
es decir,
an + an
1
r
1
r
+ : : : + a1
n 1
+ a0
1
r
= 0;
o sea,
1
r
1
r
1
K
= 0:
1
r
K lo que
r:
1(
s)n
+ : : : + a1 ( s) + a0 = 0;
o sea,
( 1)n an sn + ( 1)n
an
n 1
1s
+ : : : + ( 1)a1 s + a0 = 0:
1
3
x+ :
2
16
Solucin:
Como f (x) =
1
(16 x4
16
g(x) = 16x4
8x + 3:
(i):
16
16
0
16
16
0
16
16
8
16
8
3
8
11
(x) = 3x4
8x3 + 16
3
3
Por lo tanto
1
3
8
9
1
0
3
3
0
9
9
16
27
43
3.7
142
c1 )
(x
c2 )
: : : (x
1;
cm )
2; : : : ;
1 y
c1 ) 1 (x
c2 )
: : : (x
cm )
Por lo tanto
f 0 (x) = an
1 (x
2 (x
m (x
c1 )
c1 ) (x
1
c1 ) (x
1
(x
c2 )
c2 )
c2 )
1
2
2
: : : (x
: : : (x
: : : (x
cm )
cm )
cm )
+ ::: +
1
(1)
ci )p(x)h(x):
(3)
Puesto que
d(x) = (x
c1 )
: : : (x
ci )
: : : (x
cm )
c1 )
: : : (x
ci )
: : : (x
cm )
p(x)h(x);
f 0 (x)
q.e.d.
Dado f (x) 2 C[x]; con
f (x) = an xn + : : : + a1 x + a0
y gr f (x) = n
1; sean g1 (x) el producto de todos los factores
lineales correspondientes a las races simples de f (x); g2 (x) el producto de los distintos factores lineales correspondientes a las races
dobles de f (x); g3 (x) el producto de los distintos factores lineales correspondientes a las races triples de f (x); : : : ; g` (x) el producto de los
distintos factores lineales correspondientes a las races de multiplicidad ` de f (x): Suponiendo que f (x) no tiene races de multiplicidad
mayor que ` y conviniendo en que gk (x) = 1 si f (x) no tiene races
de multiplicidad k; para 1 k < `; tenemos que
f (x) = an g11 (x)g22 (x)g33 (x) : : : g`` (x):
Del teorema (3.7.1) se sigue que
d1 (x) = g2 (x)g32 (x) : : : g ` 1 (x) es el mcd de f (x) y f 0 (x);
d2 (x) = g3 (x)g42 (x) : : : g`` 2 (x) es el mcd de d1 (x) y d01 (x);
d3 (x) = g4 (x) : : : g`` 3 (x) es el mcd de d2 (x) y d02 (x);
..
.
d`
144
f (x)
= an g1 (x)g2 (x) : : : g` (x);
d1 (x)
d1 (x)
= g2 (x)g3 (x) : : : g` (x);
d2 (x)
d2 (x)
= g3 (x)g4 (x) : : : g` (x);
d3 (x)
..
.
f` (x) =
d` 1 (x)
= g` (x):
d` (x)
f1 (x)
;
f2 (x)
f2 (x)
;
f3 (x)
..
.
g`
f` 1 (x)
;
f` (x)
g` (x) = f` (x):
1 (x)
f (x)
;
d1 (x)
d1 (x)
;
d2 (x)
d2 (x)
;
d3 (x)
..
.
f` (x) =
d` 1 (x)
:
d` (x)
Y nalmente obtenemos
an g1 (x) =
g2 (x) =
f1 (x)
;
f2 (x)
f2 (x)
;
f3 (x)
..
.
g`
f` 1 (x)
;
f` (x)
g` (x) = f` (x):
1 (x)
146
6x
3x2
x + 2;
1:
4x3 + 3x2
6x
x
4x4
4x4
+
+
por 4
por
1
3
9x2 + 2x
4x
36x3
36x3
11
por 9
por
1
4x3
3x3
x3
4x3
4x3
+
+
19
27x2
8x2
19x2
171x2
171x2
12x2
6x2
6x2
24x2
3x2
27x2
9x2
1
128
9x
9x2
9x2
+
+
+
1
2x
9x
11x
x
x
+
+
54x
44x
10x
90x
38x
128x
x
4x
x
3x
12x
6x
6x
2x
+
+
+
+
8
32
1
33
11
+
+
9
81
209
128
1
11
11
1
1
0
Calculemos ahora
f1 (x) =
x3
x4
x4
2x2
x3
x3
2x3
2x3
+
+
+
f (x)
:
d1 (x)
x
3x2
2
x
3x2
2x2
x2
x2
x
x
2x
2x
2
2
0
Por lo tanto
f1 (x) = x3 + 2x2
2:
x2
x3
x3
+
+
+
1:
f1 (x)
:
f2 (x)
3x
2x2
x2
3x2
3x2
2
x
x
3x
2x
2x
Por lo tanto
g1 (x) = x2 + 3x + 2
= (x + 1)(x + 2)
2
2
2
2
0
148
y
g2 (x) = f2 (x) = x
1:
1y
2 como
Observacin: Subrayamos que si d1 (x) = mcdff (x); f 0 (x)g; entonces las races de
f (x)
f1 (x) =
d1 (x)
son simples y son las diferentes races de f (x); de donde se sigue que
si d1 (x) = 1; entonces todas las races de f (x) son simples y adems
f (x) y f 0 (x) no tienen races comunes.
3.8
n 1
1x
1y
+ : : : + a1 x + a0 :
c1 )(x
c2 ) : : : (x
cn ):
Observemos que
c1
(x
c1 )(x
c2 )
x2
c1 ;
(c1 + c2 )x + c1 c2 ;
(x
c1 )(x
c2 )(x
c3 )
x3
(c1 + c2 + c3 )x2
c1 )(x
c2 )(x
c3 )(x
c4 )
+(c1 c2 + c1 c3 + c2 c3 )x
(x
x4
c 1 c 2 c3 ;
(c1 + c2 + c3 + c4 )x3
+(c1 c2 + c1 c3 + c1 c4 + c2 c3 + c2 c4 + c3 c4 )x2
(c1 c2 c3 + c1 c2 c4 + c1 c3 c4 + c2 c3 c4 )x
+c1 c2 c3 c4 :
c1 )(x
c2 ) : : : (x
cn )
xn
(c1 + c2 + : : : + cn )xn
n 2
+(c1 c2 + : : :)x
(c1 c2 c3 + : : :)xn
+ : : : + ( 1) (c1 c2 : : : ck + : : :)xn
+ : : : + ( 1)n c1 c2 : : : cn
s1 xn
+ s2 xn
: : : + ( 1)k sk xn
+ a n s 2 xn
: : : + ( 1)k an sk xn
+ : : : + ( 1)n sn ];
por lo tanto
f (x) = an xn
a n s 1 xn
+ : : : + ( 1)n an sn :
Y como
f (x) = an xn + an
n 1
1x
+ : : : + an
n k
kx
entonces
an
an s1 ;
an
= an s2 ;
..
.
an
= ( 1)k an sk ;
..
.
a0 = ( 1)n an sn :
+ : : : + a1 x + a0 ;
150
Y por lo tanto
an 1
;
an
s1 =
s2 =
an 2
;
an
..
.
an k
;
an
sk = ( 1)k
..
.
sn = ( 1)n
a0
:
an
8x2 + 3x + 2;
c1 + c2 + c3 =
(1)
c1 c2 + c1 c3 + c2 c3 = 1
(2)
2
3
c1 c2 c3 =
(3)
8
1
9
3
3
6
2
2
0
1
3
9x + 6;
3.9. EJERCICIOS
151
9x + 6 = 3(x
1)(x
En resumen, c1 = 1; c2 = 2 y c3 =
3.9
1
3
2):
EJERCICIOS
1 y 3 son races de
f (x) = x4 + 2x3
12x2
10x + 3;
30x2 + 12x
x3
a(a + 1) es
17x2 + 15x + 9;
2(1 + i)x2
(1
4;
1 es 21 : Encuentre las
2x3 + 4x
152
4
3
2
8. Dos races
p de f (x) = x (1+2i)x +( 4+i)x +(3+6i)x+3 3i
son i y 3: Encuentre las otras races.
f (x) = x4
h(x) = x3
g(x) = x3
f (x) = x4
1:
i:
x2 + x 1:
x2 + 1:
9.2
9.4
9.6
9.8
g(x) = x5 + x4 + x3 + x2 + x + 1:
f (x) = x5 3x4 + x3 + x2 3x + 1:
h(x) = x4 5x2 + 6:
g(x) = x5 x4 + x3 2x2 + 2x 2:
(n 1)
= 2nn 1 :
n
xn 1 + xn 2 + : : : + x + 1
: : : sen
x
c1
x
c2
::: 1
x
cn
13.2
13.4
1; 2; 3:
i; 1 12 i:
1
2; 2
i:
3.9. EJERCICIOS
153
x1 )(x
(x
g(x)
x1 )g 0 (x1 )
x2 ) : : : (x
xn ):
g(x)
(x x1 )g 0 (x1 ) y1
g(x)
(x x2 )g 0 (x2 ) y2
+ ::: +
xn ):
g(x)
(x xn )g 0 (xn ) yn
1 y f (4) =
2:
1
1
20.3 f
2 = 0; f (0) = 2 ; f (2) = 2; f (4) = 0; f (5) =
f (7) = 4:
20.4 f ( i) = 1; f (i) = 1 + i; f (1
20.5 f (1 + i) = 0; f (1
2i) =
i) =
1y
i y f (1 + i) = i:
4; f ( 2) = 1 + i y f (3i) = 1
154
4x2
x4
8x3
23.2 f (x) =
3x + 18:
+ 22x2
24x + 9:
23x3
19x2 + 55x
25:
4x3 + 5x2
24.2 f (x) = x3
3x2
x5
3x4
24.3 f (x) =
6x
+ 4x3
2x
24.4 f (x) = x4
4x2 + 8x
4; dado que 1
24.5 f (x) = x6
raz.
3x5 + 4x4
6x3 + 5x2
x4 + x3
2x2
i es raz.
3x + 2; dado que i es
1; dado que
i es raz.
25. Pruebe que un polinomio de coecientes reales y de grado impar, tiene al menos una raz real.
26. Escriba un polinomio de coecientes reales y de grado tres, que
tenga la races 1 y 3 2i:
3.9. EJERCICIOS
155
12
12i tiene
x4
35.3 f (x) = x4
35.4 g(x) = x3
es raz.
3x2
5x + 7; dado que 1
8 es raz.
p
+ 4x + 2; dado que 2 + 2 es raz.
p
3x2 + 10x 6; dado que 1 + 3 es raz.
p
6x2 + ax + b; con a; b 2 Q; dado que 1
5
13x2
2;
156
10x2 + 18x
37.2 g(x) =
2x3
18x2
37.3 h(x) =
3x4
24x3
37.4
37.5
f (x) = 15 x5
g(x) = 3x6
16:
+ 32x
x4 +
28:
21x2
2 3
5x
147x + 168:
21
5 x + 54:
120x3 + 27x2 :
5x2 +
40x5 + 130x4
2x2 + 9x
38.2 g(x) =
2x4
38.3 h(x) =
10x3
38.4 f (x) =
x5
38.7
38.8
6:
10x2
+ 30x
x3
3x2 :
2x2
38.9 h(x) =
38.10 f (x) =
8x5
11x4
3x2
9:
5x + 1:
11 2
9
h(x) =
4 x + 4x
f (x) = 3x5 + 12 x4 7x3
g(x) = 2x6 + x5 9x4
x4
6x5
+ 6x:
19x2
1 4
2x
7x3
x3
1
2:
+ 2x2 + 52 x
6x3
5x2
+ 5x
6:
1:
7x + 6:
17:
3.9. EJERCICIOS
157
1x
1
z
es raz de
+ : : : + a1 xn
+ a0 xn :
x6
7x3
2x2
49.4 f (x) =
2x7
3x5
5x3 :
6x
4:
4x6
x4
7:
158
4x7
9x5
x3
4x:
7x2 + 10x
3x6
8x5
9x4
6x5 + 20x2
+ 10x3
27x2 :
5x + 10:
50.4 f (x) =
2x4
50.5 f (x) =
x6
50.6 f (x) =
3x9
50.7 f (x) =
2 7
3 4
7x3 + 8x 12 :
3x
5x
3 8
x + 7x3 12 x2 :
p5 5
p
p7 x3 + 3 2x2 :
2x
2
7 8
4
2
3 x + 4x + 8x + 3:
50.8 f (x) =
50.9 f (x) =
50.10 f (x) =
7x3
6:
9x2
+ 7x + 2:
5x5
x4
7x6
12x4
12x3 + 12x2
1:
8x3 :
2x2
5x + 1:
2x5
x4
x2 :
51.2 f (x) =
x6
1 5
6x
7x3 + 2x2 + 52 x
+
1 4
6x
5 2
6x
1:
x:
3.9. EJERCICIOS
159
4x7
7x6
7x2
8x6
22x5
40x + 1:
+ 98x4
3x4 + 8x3
73x3 + 5x2 :
9x + 4:
An
n 1
1x
:::
A1 x
A0 2 R[x]:
2x5
7x3 + 6x2
ix3
+ (5
5:
5i)x2
(3 + 2i)x + 10:
160
7x2 + 15x
(3 +
p2 :
3
2
i)x +
(4 + 2i)x
x4
2x3
2x2
3x
58.3 h(x) = x3
58.4 f (x) =
x5
9:
12x5 + 19x4
x + 38 :
+x
6x3
8x2
3x:
58.8 g(x) = x6
3x5 + 6x3
3x2
3x6
7x4
58.9 h(x) =
58.10 f (x) = x8 + x7
5x5
8x6
1:
6x3 + 9x2 :
58.7 f (x) = x5
x7
(2 + 2i):
3x + 2:
+ 7x3
5x2 + 3x
1:
22x2
4x + 8
59. Decida si los siguientes polinomios tienen races de multiplicidad mayor que uno, y en tal caso encuntrelas.
59.1 f (x) = x3
59.2 g(x) =
x5
3x + 1:
+ 5x4
59.3 h(x) = x4
59.4 f (x) =
10x + 2:
8x3 + 22x2
24x + 9:
8x4
59.5 g(x) = x3
59.6 h(x) =
20x2
4x5
59.7 f (x) = x5
20x3
(3
7x + 1:
2i)x2 + (4
4i)x
23x3
19x2
12x4 + 46x3
40x2
8x4
18x2
(2
+ 55x
4i):
25:
96x + 128:
7x2
61.2 f (x) =
aritmtica [a = r
61.3 f (x) = x3
5x + 4; si a + b = 3:
12x2 + 3x + 5;
7x2
si a; b y c estn en progresin
s; b = r y c = r + s].
2x2
5x + 6; si
a
b
= 3:
3.9. EJERCICIOS
161
11x2
7x + 6; si ab = 3:
27x2 + 242x
720; si a =
b+c
2 :
x2 + 3x + 5; si a + b = 2i:
4x4
65.3 f (x) = x4
65.4 f (x) =
9x4
2x3 + 2x2
+
28x3
33x2
56x + 16; si a = b y c = d:
5x3 + 6x2 + 4x
+
9x3
2x2
2; si a + b = 1:
8; si a = b = c:
14x + 4; si a = 2b:
Captulo 4
SEPARACIN DE
RACES
Posiblemente el lector ya se pregunt por qu razn no se ha
abordado el problema general de resolver una ecuacin algebraica
(encontrar las races de un polinomio) por medio de frmulas como
las que se emplean para las ecuaciones de primero y segundo grados. La respuesta es simple: El noruego Abel (1802 1829) y el
francs Evariste Galois (1811 1832) probaron que una ecuacin
algebraica general de grado n
5; no es soluble por radicales, es
decir, no pueden encontrarse sus races por frmulas que involucren
slo operaciones de suma, multiplicacin y radicacin sobre sus coecientes, como ocurre con la ecuacin de segundo grado. Desde luego
que hay ecuaciones particulares, de grado arbitrario, que pueden resolverse por radicales; de hecho Galois establece las condiciones bajo
las cuales, una ecuacin de grado n 5 es soluble por radicales. En
cuanto a las ecuaciones generales de tercer y cuarto grados, fueron
resueltas por radicales, por los italianos Tartaglia (1500 1557) y
Ferrari (1522 1565), respectivamente.
Una vez aclarado lo anterior, proseguimos con el estudio sobre la
resolucin de ecuaciones algebraicas, es decir, sobre races de polinomios.
En este captulo y en el que sigue, slo trabajaremos con polinomios de coecientes reales y estaremos interesados exclusivamente
163
164
4.1
Races aisladas
4.2
165
"
c+"
1;
donde
c = mx jci j i = 1; 2; : : : ; n ;
satisface las condiciones que se piden. En efecto:
Dado t 2 R;
g(t) = c1 t + c2 t2 + : : : + cn tn :
Por lo tanto
jc1 j jtj + jc2 j jtj2 + : : : + jcn j jtjn :
jg(t)j = c1 t + c2 t2 + : : : + cn tn
cr + cr2 + : : : + crn ;
jg(t)j
c r + r2 + : : : + rn :
o sea,
Observemos que si r 6= 1;
1 + r + r2 + : : : + rn
1 rn
;
1 r
rn+1
:
1 r
y por lo tanto
r + r2 + : : : + rn =
De donde se sigue que
jg(t)j
Si 0
tanto 0
rn+1
1 r
rn+1
1 r
r
1
(1)
r; y por lo
166
jg(t)j
En conclusin, si jtj = r <
lo tanto
cr
1
"
c+"
n 1
1x
+ : : : + a1 x + a0
an i
an
i = 1; 2; : : : ; n
entonces
sig f (t) = sig an tn :
1t
n 1
+ : : : + a1 t + a0 :
Por lo tanto
f (t) = an tn 1 +
Si s =
1
t
an 1 1
a1 1
a0 1
+ ::: +
+
:
n
1
an t
an t
an tn
y para cada i = 1; 2; : : : ; n; ci =
f (t) = an tn 1 + c1 s + : : : + cn
Dado " = 12 ; si jsj <
"
c+" ;
an i
an ;
n 1
1s
entonces
+ cn sn :
donde c = mx jci j i = 1; 2; : : : ; n ;
n 1
1s
1
+ cn sn < :
2
1
< c1 s + : : : + cn
2
167
n 1
1s
1
+ cn sn < :
2
1
< 1 + c1 s + : : : + cn
2
n 1
1s
1
+ cn sn < 1 + :
2
1
1
<
;
jtj
2c + 1
1
2c+1 ; donde
c = mx
ai
a0
i = 1; 2; : : : ; n
entonces
sig f (t) = sig a0 :
ii) Si f (x) = am+k xm+k +am+k 1 xm+k 1 +: : :+am+1 xm+1 +am xm
con am 6= 0 y m
1; y si t 2 R con 0 < jtj sucientemente
pequeo
0 < jtj <
1
; donde c = mx
2c + 1
am+i
am
entonces
sig f (t) = sig am tm :
i = 1; 2; : : : ; k
168
Ejemplos:
1. Si f (x) = x5
f (+1) = +1 y f ( 1) =
2. Si f (x) = 2x6
1:
80x3 + 100x2
106 ; entonces
f (+1) = +1 y f ( 1) = +1:
3. Si f (x) =
f (+1) =
4. Si f (x) =
f (+1) =
4.3
3x4 + 20x3
1 y f ( 1) =
1:
169
Este teorema es un caso particular de uno ms general, conocido como propiedad de Darboux, sobre funciones continuas, el cual
seguramente ya conoce el lector.
Enseguida damos algunos resultados que sern tiles en la demostracin:
I) Si f (x) = a0 + a1 x + a2 x2 + : : : + an xn es un polinomio de coecientes reales y c es un nmero real, entonces existen
A0 ; A1 ; A2 ; : : : ; An nmeros reales tales que
f (x) = A0 + A1 (x
c) + A2 (x
c)2 + : : : + An (x
c)n :
qn
f (x) = (x
q1 (x) = (x
..
.
1 (x)
= (x
c)qn (x) + qn
qn (x) = constante:
1 (c);
170
f (c) + (x
c)q1 (x)
=
..
.
f (c) + q1 (c)(x
c) + (x
f (c) + q1 (c)(x
c) + q2 (c)(x
c)2 q2 (x)
c)2 + : : : + qn (c)(x
c)n ;
o sea,
f (x) = A0 + A1 (x
c)2 + : : : + An (x
c) + A2 (x
c)n
; c + [:
c) + A2 (x
c)2 + : : : + An (x
c)n ;
f (c) = A1 t + A2 t2 + : : : + An tn :
"
A+"
> 0 donde
jAi j i = 1; 2; : : : ; n ;
; c + [:
171
En efecto:
(i): Supongamos que para cada > 0 existe s 2 ]c
tal que f (s) 0: Tomando " = f (c) se tiene que
jf (s)
f (c)j = jf (c)
f (s)j = f (c)
f (s)
;c + [
";
r:
172
173
que c
< t1 c (pues en caso contrario c no sera el sup A). Esto
signica, por como se dene A, que f (u) < 0 para cada u 2 [a; t1 ]:
Pero si t2 es tal que c < t2 < c + ; entonces f (v) < 0 para cada
v 2 [t1 ; t2 ]; y en consecuencia f (w) < 0 para cada w 2 [a; t2 ]; de
modo que t2 2 A: Esto ltimo contradice que c = sup A. Por lo
tanto no es posible que f (c) < 0:
Si f (c) > 0; entonces por III(i), existe > 0 tal que f (t) > 0 para
cada t 2 ]c
; c + [: Nuevamente, como c = sup A; entonces existe
t1 2 A tal que c
< t1 < c (pues en caso contrario c no sera el
sup A), pero sto signica que f (t1 ) < 0; lo que contradice que
f (t1 ) > 0: Por lo tanto no es posible que f (c) > 0:
As pues, como f (c) < 0 y f (c) > 0 no son posibles, la nica
alternativa es f (c) = 0:
( ) Suponemos ahora que f (a) > 0 y f (b) < 0: En este caso, sea
g(x) = f (x): Entonces g(a) < 0 y g(b) > 0: Por lo probado en ( ) ;
existe c 2 ]a; b[ tal que g(c) = 0; y como g(x) = f (x); entonces
f (c) = 0.
q.e.d.
174
175
ste en ]a; b[; adems de que por hiptesis a y b no son races de f (x):
De (1) tenemos que
f (a) = (a
r1 ) 1 (a
r2 )
f (b) = (b
r1 ) 1 (b
r2 )
: : : (a
rk ) k q(a)
: : : (b
rk ) k q(b):
y
2
Particularmente
f (a) = ( 1) 1 (r1
a) 1 ( 1) 2 (r2
a)
: : : ( 1) k (rk
a) k q(a);
o sea,
f (a) = ( 1)
1 + 2 +:::+ k
(r1
a) 1 (r2
a)
: : : (rk
a) k q(a):
Por lo tanto
f (a)
= ( 1)
f (b)
1+
2 +:::+
r1 a
b r1
r2 a
b r2
:::
rk a
b rk
q(a)
:
q(b)
+ ::: +
es par
y
sig f (a) 6= sig f (b); si y slo si,
+ ::: +
es impar.
q.e.d.
Suponiendo que en la gura (15.1), siguiente, se dibuja una porcin de la grca de un polinomio f (x); por el corolario (4.3.5), r1 es
raz de multiplicidad par y r2 es raz simple o de multiplicidad impar.
En la gura (15.2) se dibuja parte de la grca de un polinomio que
no tiene raices en el intervalo [a; b]:
176
4.4
El teorema de Rolle
a) (x
b) q(x);
177
donde claro que q(x) no tiene races en [a; b]: Aplicando las propiedades de derivacin tenemos que
f 0 (x) = (x
a)
b) q(x) + (x
(x
a) (x
b)
q(x) + (x
a) (x
b) q 0 (x);
y por lo tanto
f 0 (x) = (x
a)
(x
b)
g(x);
(1)
donde
g(x) = (x
b)q(x) + (x
a)q(x) + (x
a)(x
b)q 0 (x):
Puesto que
g(a) = (a
entonces
b)q(a) 6= 0 y g(b) = (b
g(a)
=
g(b)
a
b
a)q(b) 6= 0;
b q(a)
:
a q(b)
q(a)
q(b)
> 0; adems
a b
b a
>0y
< 0; por lo tanto sig g(a) 6= sig g(b); de donde se sigue
por teorema (4.3.1), que existe r 2 ]a; b[ tal que g(r) = 0: De hecho, por corolario (4.3.5) (ii), g(x) tiene, contando multiplicidad, un
nmero impar de races en ]a; b[: Por (1), f 0 (x) y g(x) tienen, contando multiplicidad, las mismas races en ]a; b[; de donde se sigue el
resultado.
q.e.d.
178
Anlogamente a la demostracin del corolario anterior, se demuestra que si s y t son, respectivamente, las races reales ms pequea y ms grande de f 0 (x); entonces f (x) tiene a lo ms una raz
simple en cada uno de los intervalos ] 1; s[ y ]t; +1[:
Si c < d son races consecutivas de f 0 (x); entonces f (x) no tiene
raz en ]c; d[; si f (c)f (d) 0; y tiene una raz simple si f (c)f (d) < 0:
Similarmente, si s y t son, respectivamente, la ms pequea y la ms
grande races de f 0 (x); entonces f (x) no tiene raz en los intervalos
] 1; s[ y ]t; +1[; si tiene el mismo signo en los respectivos extremos,
o si f (s) = 0 f (t) = 0; segn sea el intervalo; y tiene una raz simple
si tiene signos contrarios en los extremos del intervalo que se trate.
1; c1 [ ; ]c1 ; c2 [ ; : : : ; ]ck
1 ; ck [ ;
]ck ; +1[
son los candidatos para aislar las otras races reales, simples, de f (x):
179
180
80x + 35:
6x5 + 4:
181
El ejemplo (3) muestra que todas las races de f 0 (x) pueden ser
reales y sin embargo, no todas las races de f (x) son reales.
4.5
El teorema de Descartes
Sea a0 ; a1 ; a2 ; : : : ; an una sucesin nita de nmeros reales diferentes de cero. Entonces trminos consecutivos ai y ai+1 tienen signos diferentes o iguales. En el primer caso decimos que presentan una
variacin de signo, y en el segundo caso decimos que presentan una
permanencia de signo. Con V denotamos el nmero de variaciones
de signo en la sucesin y con P el nmero de permanencias.
Si en una sucesin nita de nmeros reales a0 ; a1 ; a2 ; : : : ; an ; hay
trminos iguales a cero, contamos sus variaciones y permanencias de
signo en la sucesin que resulta de descartar a stos.
Ejemplos:
1. En la sucesin 3; 2; 5; 7; 1; 4; 5; 8 se tiene que V = 4 y
P = 3:
2. En la sucesin
V = 5 y P = 1:
+ : : : + an
1x
+ an ;
1y
182
+(akm 1 x
k1
+ : : :) + (ak2 xn
n km
+ : : :) + (akm x
k2
+ : : :) + : : : +
+ : : : + an ):
+ : : : + pn x + pn+1 ;
donde
p0 = a0 ;
p1 = a1 ca0 ;
p2 = a2 ca1 ;
..
.
pk i
= aki
..
.
caki
pn = an can
pn+1 =
can :
1;
1;
183
an :
184
V0 = 2` + 1 es
q.e.d.
Lema (4.5.2). Si un polinomio f (x) 2 R[x] no tiene races positivas, entonces el nmero de variaciones de signo en la sucesin de sus
coecientes es cero es par.
+ : : : + an ;
185
c1 )(x
c2 ) : : : (x
cr )q(x);
c1 )(x
c2 ) : : : (x
cr )q(x) = f (x);
V0 + 2`1 + 1;
V1 + 2`2 + 1;
Vr = V r
+ 2`r + 1:
r = V0 + 2`
0:
q.e.d.
186
+ : : : + an 2 R[x];
a1 xn
+ : : : + an = f ( x);
a1 xn
n:
+ : : : + an = f ( x);
187
a0 x + a1 = f ( x):
V1 + V2 + 2
`+2
(n
2) + 2 = n:
q.e.d.
a1 xn
+ : : : + an = f ( x);
188
V +V0
n;
por lo tanto
r + r0 = V + V 0 = r + r0 + 2(` + `0 ):
En consecuencia ` = 0 y `0 = 0; de donde se sigue que r = V y
r0 = V 0 :
q.e.d.
Ejemplos:
1. En el polinomio f (x) = x4 + 12x2 + 5x 9 se tiene que V = 1;
y como f ( x) = x4 + 12x2 5x 9; entonces V 0 = 1: En Conclusin
f (x) tiene slo dos races reales, una positiva y una negativa.
2. Si f (x) = x2k 1 con k 1; entonces V = 1 y V 0 = 1; pues
f ( x) = f (x): Por lo tanto f (x) tiene slo dos races reales, una
positiva y una negativa.
3. En el polinomio f (x) = x4 x2 +x 2 se tiene que V = 3: Como
f ( x) = x4 x2 x 2; entonces V 0 = 1: As que f (x) tiene una
o tres races positivas y justamente una raz negativa. Observemos
ahora que
h(x) = (x + 1)f (x) = x5 + x4
x3
189
tiene las mismas races positivas que f (x): Por lo tanto f (x) tiene
justamente una raz positiva.
4.6
El teorema de Sturm
190
1;
cj i = 1; 2; : : : ; kg:
191
r2 (x):
En general si ya se tienen los polinomios fk 1 (x) y fk (x); el polinomio fk+1 (x) ser el residuo, si ste no es cero, de dividir fk 1 (x)
por fk (x); tomado con signo contrario (multiplicado por 1).
El mtodo para construir la sucesin f0 (x); f1 (x); f2 (x); : : : se
diferencia del algoritmo de Euclides, aplicado a los polinomios f (x)
y f 0 (x); solamente en que cada vez se cambia el signo del residuo y
la divisin siguiente se efecta por este residuo con signo cambiado.
Como en el clculo del mcd de dos polinomios, el cambio de signo
en el residuo no afecta, entonces el proceso de construir la sucesin
terminar en un polinomio fs (x) que ser el mcd de f (x) y f 0 (x):
As pues, ya tenemos una sucesin de polinomios diferentes de
cero y de coecientes reales
f0 (x) = f (x); f1 (x); f2 (x) ; : : : ; fs (x);
donde
f1 (x) = f 0 (x) y fk+1 (x) =
rk (x)
192
1 (x)
o sea,
fk
1 (x)
= fk (x)qk (x)
fk+1 (x):
(I)
Slo falta probar que esta sucesin satisface las cuatro condiciones
de un sistema de Sturm:
1) Como f (x) slo tiene races simples, entonces f (x) y f 0 (x)
no tienen races comunes, y por el teorema (3.7.1) fs (x); el mcd de
ambos, es una constante y en consecuencia no tiene races reales.
2) Si los polinomios consecutivos fk (x) y fk+1 (x); tienen una raz
c en comn, entonces por (I), c tambin es raz de fk 1 (x): Como
fk
2 (x)
= fk
1 (x)qk 1 (x)
fk (x);
193
c1 )(x
c2 ) : : : (x
ci ) : : : (x
ck )q(x)
c2 )(x
+(x
c3 ) : : : (x
c1 )(x
+ : : : + (x
ci ) : : : (x
c2 ) : : : (x
c1 )(x
ci
ck )q(x) + : : : +
1 )(x
c2 ) : : : (x
ci+1 ) : : : (x
ck )q(x)
0
ci ) : : : (x
ck )q (x);
ci+1 ) : : : (ci
ck )q(ci ):
por lo tanto
f 0 (ci ) = (ci
c1 ) : : : (ci
ci
1 )(ci
c1 ) : : : (ci
ci
1 )(ci
ci+1 ) : : : (ci
c1 ) : : : (t
Si t 2 ]ci
f (t) = (t
ci
1 )(t
ci+1 ) : : : (t
ck )q(t) > 0:
(III)
ci
1 )(t
ci )(t
ci+1 ) : : : (t
ck )q(t) < 0
ci ):
c1 ) : : : (t
ci
1 )(t
ci )(t
ci+1 ) : : : (t
ci ):
ck )q(t) > 0
194
c1 ) : : : (ci
ci
1 )(ci
ci+1 ) : : : (ci
c1 ) : : : (t
ci
1 )(t
ci+1 ) : : : (t
ck )q(t) < 0:
(V )
ci
1 )(t
ci )(t
ci+1 ) : : : (t
ck )q(t) > 0
ci ):
c1 ) : : : (t
ci
1 )(t
ci )(t
ci+1 ) : : : (t
ck )q(t) < 0
ci ):
195
residuo nal es que ste tambin aparece multiplicado por una constante positiva [Recordemos que para hallar solamente el mcd de dos
polinomios, se puede multiplicar por cualquier constante diferente de
cero].
Si en el proceso de construir un sistema de Sturm para f (x);
segn la proposicin anterior, llegamos a un polinomio fm (x); el
cual se sabe de algn modo que no tiene races reales, entonces la
sucesin truncada
f0 (x) = f (x); f1 (x); : : : ; fm (x)
es tambin un sistema de Sturm para f (x); pues claramente satisface
las condiciones 1, 2, 3, y 4 de la denicin (4.6.1).
(1)
(2)
196
W (b) es igual al
1 (c
fk
1 (c
); fk (c
); fk+1 (c
y
+ ); fk (c + ); fk+1 (c + )
197
; c + [; f1 (t) mantiene su signo
Si el signo de f1 (t) en ]c
; c + [ es positivo, por la condicin
(4), f (t) cambia su signo de menos a ms, cuando al crecer t por c:
Por lo tanto, a los sistemas de nmeros
f (c
); f1 (c
) y f (c + ); f1 (c + )
y + ; +;
); f1 (c
) y f (c + ); f1 (c + )
198
20x2
10x + 2:
20x2
8x
1;
f1 (x) = x + 4x
f2 (x) = x + 3x
10x + 2;
2;
f3 (x) = 3x + 7x + 1;
f4 (x) = 17x + 11;
f5 (x) = 1:
Se aplic el proceso indicado para obtener un sistema de Sturm de
f (x); an sin saber que ste slo posee races simples, lo que resulta
ser cierto debido a que el ltimo residuo diferente de cero, f5 (x); es
una constante. Si esto ltimo no ocurriera, entonces los polinomios
obtenidos no formaran un sistema de Sturm para f (x); y en tal caso
habra que aplicar 3.7 [captulo 3, seccin 7].
Acotando las races reales de f (x); obtenemos que
inferior y 2 es cota superior.
5 es cota
4.7. EJERCICIOS
c
1
0
1
5
3
2
1
0
1
2
199
f0 (c)
+
+
f1 (c)
+
+
+
+
+
f2 (c)
+
+
+
+
f3 (c)
+
+
+
+
+
+
+
+
f4 (c)
+
+
+
+
+
f5 (c)
+
+
+
+
+
+
+
+
+
+
W
5
2
0
5
4
3
3
2
1
0
Por lo tanto f (x) tiene sus cinco races reales, de las cuales tres
son negativas y dos son positivas. Estn separadas en los intervalos
]
4.7
5; 3[; ]
3; 2[; ]
EJERCICIOS
3x5 + 9x4
7x4
7x2
21x3 + 48x2
3x + 1:
x + 5:
200
1
que m1 = 2c+1
es cota inferior para las races positivas de f (x);
1
y que m2 = 2c+1
es cota superior para las races negativas de
f (x):
7x4
2x3 + 8x + 1:
3x4 + 6x3
5x2 + 30:
c = mx
1
pruebe que m1 = 2c+1
es cota inferior para las races positivas
1
de f (x); y que m2 = 2c+1
es cota superior para las races
negativas de f (x):
12x5
8x4 + 6x3
2x2 :
x5
7.4 f (x) =
7x8
46x3
+
32x2
+
63x5
78x2
123:
95:
97x + 54:
4.7. EJERCICIOS
201
4x2
18x + 9 en ]
8.2 g(x) = x3
3x2
8.3 h(x) = x4
12x2
12x
5x4 + 16x3
9x2
4x + 13 en ]
8.4 p(x) =
Asle la cuarta raz.
3 en ]
3; 2[ y ]3; 4[:
4x3 + 6x2
x4 + 6x3
7x
8:
3x2 + 2x + 23:
1)(x
2 R; el polinomio
2) + (2x + 1)(3x
2)(2x
3)
202
a1 ) : : : (x
an ) + (x
b1 ) : : : (x
bn
1)
a1 ) : : : (x
an ) + (x
b1 ) : : : (x
bn )
A1
A2
An
+
+ ::: +
=0
x a1 x a2
x an
19.2 Pruebe que f (t) tiene el mismo signo para cada nmero
real t; si y slo si, b2 4ac < 0:
4.7. EJERCICIOS
203
5x + 1:
x3
3x2 + 3x
4x3
5x2
21.4 f (x) = x3 + (6
2:
2x
1:
2)x2 + (10
3x4
21.7 f (x) = x6
8x3
21.9 f (x) = x5
21.11 f (x) =
40x2
p
2 2:
160x + 1:
+ 96x + 8:
6x5 + 4:
21.10 f (x) =
24x2
p
4 2)x + 4
25x3 + 60x
3x3 + 2x2
2x5
5x4
10:
5:
10x3
x4 + 4x3
20x2 + 40x + 5:
4x2 + 24x + 1:
20x3
75x2
60x + 3:
1 n
1
x + : : : + x2 + x + 1
n
2
204
1:
28.2 f (x) = x6 + x4
x3
2:
38.3 f (x) =
xn
1 si n es par.
28.4 f (x) =
xn
1 si n es impar.
x4
x2
2x:
3x2 + 4x + 6:
28.11 f (x) = x4
x2 + x
2nx2n
[Sugerencia: multi-
4.7. EJERCICIOS
205
3x5
31.4 f (x) = x4
1:
x + 1:
4x2
+ 2x
x3 + x2
5:
x + 1:
3x4
32.3 f (x) = x4
1:
6x2
+ 8x
4x3 + x2 + 6x + 2:
3:
3x4
5x4 + 10x3
6x3 + 2x2 + 4x + 1:
5x2 + 1:
x6
20x2
10x + 2:
4x3 + 12x2
12x + 5:
6x5
24x3 + 22x2
16x4
12x3
12x + 4:
2x
5:
33.2 f (x) = x4
6x
6:
33.3 f (x) =
x5
4x3 + 3x2
2x4
x3
8x + 6:
206
x5
60:
5x
2:
34.3 f (x) = x4 + x3 + x
34.4 f (x) =
x3
7x + 7:
34.5 f (x) = x3 + x2
2x
34.6 f (x) =
x5
2x4
34.7 f (x) =
x4
4x2
+ 8x
5:
34.9 f (x) =
34.10 f (x) =
x3
x5
1:
7x2
x4
x3
1:
8x + 6:
4:
+ 1:
+ 2x2
1:
Captulo 5
APROXIMACIN DE
RACES
Despus de separar las races reales de un polinomio de coecientes reales f (x); lo que puede hacerse con los mtodos expuestos en
el captulo anterior, seguramente nos interesar determinar el valor
de alguna o de todas estas races. Supongamos que ya se estableci
que f (x) tiene slo una raz simple en el intervalo ]a; b[ (siempre
pueden elegirse a y b racionales), generalmente no es posible determinar el valor exacto de ; pero existen diferentes mtodos por
medio de los cuales puede aproximrsele tanto como se desee. En
este captulo expondremos tres mtodos para aproximarse al valor
de la raz : El primero de ellos nos produce una sucesin de intervalos ]a1 ; b1 [; ]a2 ; b2 [; ]a3 ; b3 [; : : : cada uno de los cuales contiene a
; adems de que ]a; b[ ]a1 ; b1 [ ]a2 ; b2 [ : : : ; y de tal forma que
la distancia jbn an j se hace arbitrariamente pequea al crecer n;
por lo que si deseamos aproximarnos a la raz con un error menor
que " > 0; bastar construir la sucesin hasta un intervalo ]ak ; bk [ tal
que jbk ak j < "; y elegir como aproximacin a ; cualquiera de los
k
nmeros ak ; bk ak +b
2 : Los otros dos mtodos nos producen, cada
uno, una sucesin de nmeros reales a1 ; a2 ; a3 ; : : : tales que la distancia jan
j se hace arbitrariamente pequea al crecer n; por lo que
si deseamos aproximarnos a la raz con un error menor que " > 0;
basta construir la sucesin hasta un nmero ak tal que jak
j < ";
y elegir precisamente a ak como la aproximacin.
207
208
En las siguientes tres secciones, damos algunas deniciones y resultados tiles para la demostracin de los teoremas de aproximacin,
que veremos posteriormente. Si el lector lo desea, puede darles slo
una rpida lectura y pasar luego a las secciones que siguen.
5.1
ng
y f
ng
ng
sucesiones de nmeros
yf
ng ;
como la suce-
ng
yf
ng ;
como la
ng
y f
ng ;
como la
209
ng ;
es-
n!1
ng
tiene un lmite L;
Teorema (5.1.5). Si f
entonces:
ng
yf
ng
n+
ng
es convergente y lim (
n+
n)
= lim
n+
ii) f
ng
es convergente y lim (
n)
= lim
iii) f
i) f
iv)
n
n
ng
n!1
n!1
es convergente y lim (
n!1
es convergente y lim
n!1
n!1
n
n
n
lim
n!1
n)
n
lim
n!1 n
6= 0:
n!1
n!1
= lim
n!1
n!1
lim
lim
n!1
lim
n!1
; en el caso que
n:
6= 0
210
= c + lim
lim c
= c
= c lim
n!1
n!1
lim c
n!1
lim
n!1
c
n
;
n!1 n
lim ;
n!1 n
;
n!1 n
c
lim
n!1 n
mj
<"
n!1
"
2
Lj <
y j
mj
=j
m
n
mj
Lj + j
Lj < "
si n > k y m > k:
Denicin (5.1.7).Sea f
ng
211
Denicin (5.1.8). Sea A un conjunto de nmeros reales. Decimos que s 2 R es una cota inferior de A; si s a para cada a 2 A:
Se dice que A est acotado inferiormente si A tiene cota inferior.
Denicin (5.1.9). Sea A un conjunto de nmeros reales. Decimos que s0 es cota inferior mxima de A; y escribimos s0 = inf A;
si:
i) s0 es cota inferior de A:
ii) Si s es tambin cota inferior de A; entonces s
s0 :
212
Demostracin: Se deja como ejercicio al lector [sugerencia: defnase B = fx j x es cota inferior de Ag: Pruebe que B es no vaco
y que est acotado superiormente. En consecuencia B tiene sup,
digamos x0 : Pruebe que x0 = inf A].
213
L " < n < L + " para cada n > k: Por lo tanto " < n L < "
para todo n > k; y en consecuencia j n Lj < " para cada n > k;
es decir, f n g converge a L:
Supongamos ahora que f n g es no creciente, es decir, n+1
n
para cada n 2 N: Probaremos que en este caso f n g converge a `:
En efecto: para cada " > 0; existe k 2 N tal que k < ` + "; pues en
caso contrario ` no sera inf A: Como n+1
n para cada n 2 N,
entonces ` " < `
<
`
+
"
para
cada
n > k; es decir,
n
k
` " < n < ` + " para cada n > k: Por lo tanto, " < n ` < "
para cada n > k; y en consecuencia j n `j < " para cada n > k:
q.e.d.
5.2
214
f (b)
b
f (a)
:
a
f (b)
b
f (a)
(x
a
Demostracin: Sea
h(x) = f (x)
a):
f (b)
b
f (a)
:
a
Entonces por el lema (5.2.2) aplicado a h(x); existe r 2 ]a; b[ tal que
0 = h0 (r)
= f 0 (r)
f (b)
b
f (a)
;
a
f (b)
b
f (a)
:
a
q.e.d.
215
f (t2 ) f (t1 )
:
t2 t1
Como f 0 (t) < 0 para cada t 2 [a; b]; entonces f 0 (r) < 0; es decir
f 0 (r) =
f (t2 ) f (t1 )
< 0:
t2 t1
De donde se sigue que f (t2 ) < f (t1 ); pues t2
t1 > 0:
f (t2 ) f (t1 )
:
t2 t1
Como por hiptesis f 0 (t) > 0 para cada t 2 [a; b]; entonces f 0 (r) > 0;
es decir
f (t2 ) f (t1 )
> 0:
t2 t1
De donde concluimos que f (t1 ) < f (t2 ):
q.e.d.
f 0 (r) =
216
5.3
Concavidad y convexidad
f( )
>
f( )
f( )
ii) Decimos que f (x) es convexo en el intervalo [a; b]; si para todo
; t; 2 [a; b] tales que < t < ; se tiene que
f (t)
t
f( )
<
f( )
f( )
217
Demostracin:
De (i): Supongamos que existe t 2 ]a; b[ tal que g(t)
g(a) =
g(b). Entonces, por el teorema del valor medio, existe t1 2 ]a; t[ y
existe t2 2 ]t; b[ tales que
g 0 (t1 ) =
g(t)
t
g(a)
g(b)
y g 0 (t2 ) =
a
b
g(t)
:
t
Demostracin:
De (i): Dados ;
2 [a; b] con
g(x) = f (x)
f( )
< ; sea
f( )
(x
):
218
f( )
f( )
(t
) > f( )
si t 2 ] ; [; y por lo tanto
f (t)
t
f( )
>
f( )
f( )
5.4
El mtodo de biseccin
]a2 ; b2 [
]a3 ; b3 [ : : : .
219
y bk+1 = mk
ak+1 = mk
y bk+1 = bk
Claro que los intervalos ]a1 ; b1 [; ]a2 ; b2 [; ]a3 ; b3 [; : : : antes construdos, cumplen que ]a1 ; b1 [ ]a2 ; b2 [ ]a3 ; b3 [ : : : y contienen en
comn al menos una raz de f (x):
220
a2 =
b1 a1
2 ;
b3
a3 =
..
.
b2 a2
2 ;
ak+1 =
..
.
bk ak
2 ;
bk+1
Por lo tanto
bk+1
ak+1 =
a
2k
Como lim
an j =
b a
2n 1
221
a1 = 1:5,
b1 = 2;
m1 = 1:75,
f (m1 ) = 1:09375:
a2 = a1 ,
b2 = m1 ;
m2 = 1:625,
f (m2 ) = 0:41601563:
a3 = a2 ,
b2 = m2 ;
m3 = 1:5625,
f (m3 ) = 0:12719727:
a4 = a3 ,
b4 = m3 ;
m4 = 1:53125,
f (m4 ) = 0:0033274521:
a5 = m4 ,
b5 = b4 ;
m5 = 1:54687,
f (m5 ) = 0:060771943:
a6 = a5 ,
b6 = m5 ;
m6 = 1:5390625,
f (m6 ) = 0:028410434:
a7 = a8 ,
b7 = m6 ;
m7 = 1:5351563,
f (m7 ) = 0:012441218:
a8 = a7 ,
b8 = m7 ;
m8 = 1:5332031,
f (m8 ) = 0:0045093382:
a9 = a8 ,
b9 = m8 ;
m9 = 1:5322266,
f (m9 ) = 0:00055655837:
a10 = a9 ,
b10 = m9 ;
m10 = 1:5317383,
f (m10 ) =
1:0014165426:
a11 = m10 ,
b11 = b10 ;
m11 = 1:5319824,
f (m11 ) =
0:00043026358:
a12 = m11 ,
b12 = b11 ;
m12 = 1:5321045,
f (m12 ) = 0:000063077547:
a13 = a12 ,
b13 = m12 ;
m13 = 1:5320435,
f (m13 ) =
0:00018361211:
a14 = m13 ,
b14 = b13 ;
m14 = 1:532074,
f (m14 ) =
0:000060269609:
a15 = m14 ,
b15 = b14 ;
m15 = 1:5320892,
f (m15 ) = 1:4035031
a16 = a15 ,
b16 = m15 ;
m16 = 1:5320316,
f (m16 ) =
2:9432587
10
a17 = m16 ,
b17 = b16 ;
m17 = 1:5320854,
f (m17 ) =
1:4016405
10
a18 = m17 ,
b18 = b17 ;
m18 = 1:5320873,
f (m18 ) =
6:3069165
10
a19 = m18 ,
b19 = b18 ;
m19 = 1:5320883,
f (m19 ) =
2:4521723
10
1
;
106
10
entonces m = 1:5320888 es la
1:5320888:
222
5.5
2; y
223
f(
f ( 1)
f(
1)
1)
1 );
f(
1)
f(
1)
f(
1)
(x
1)
224
f(
1)
f(
2)
f(
1)
(x
1)
f ( 1)
f ( n) f (
1)
n g;
donde
1 ; f ( 1 ))
es como
1)
225
Teorema (5.5.1) [regula falsi ].Sea f (x) un polinomio de coecientes reales, con gr f (x) 2; y sean a; b nmeros reales, con a < b;
tales que:
1) f (a)f (b) < 0:
2) f 00 (x) no tiene races en [a; b]:
Si 1 es el extremo del intervalo [a; b]; tal que f ( 1 )f 00 ( 1 ) < 0 [es
decir, 1 = a si f (a)f 00 (a) < 0 1 = b si f (b)f 00 (b) < 0] y 1 es el
extremo del intervalo [a; b] tal que f ( 1 )f 00 ( 1 ) > 0 [es decir, 1 = a si
f (a)f 00 (a) > 0 1 = b si f (b)f 00 (b) > 0], entonces la sucesin f n g;
donde 1 es como ya dijimos, y
n+1
f(
f ( 1)
f(
n)
1)
1)
Demostracin: De las condiciones (1) y (2) se tienen los siguientes cuatro casos:
i) f (a) < 0; f (b) > 0 y f 00 (t) < 0 para todo t 2 [a; b]: En este
caso 1 = a y 1 = b:
ii) f (a) > 0; f (b) < 0 y f 00 (t) > 0 para todo t 2 [a; b]: En este
caso 1 = a y 1 = b:
iii) f (a) < 0; f (b) > 0 y f 00 (t) > 0 para todo t 2 [a; b]: En este
caso 1 = b y 1 = a:
iv) f (a) > 0; f (b) < 0 y f 00 (t) < 0 para todo t 2 [a; b]: En este
caso 1 = b y 1 = a:
El dibujo de la grca de f (x) en el intervalo [a; b]; de acuerdo con
los casos anteriores, corresponde, respectivamente, a las siguientes
guras:
226
1)
f(
f(
n)
1)
( f(
1 ))
227
1)
f(
f(
n)
1)
( f(
1 ))
Como consecuencia de los comentarios anteriores, bastar demostrar el teorema para el caso (i). Con este n, primero demostraremos
que la sucesin f n g converge, por mostrar que es montona y acotada; luego demostraremos que converge precisamente a la raz de
f (x):
Recordemos que las hiptesis para el caso (i) son: f (a) < 0;
f (b) > 0 y f 00 (t) > 0 para todo t 2 [a; b]: Por lo tanto, 1 = a y
1 = b:
Como f 00 (t) < 0 para todo t 2 [a; b]; entonces por el corolario
(5.2.5)(i), f 0 (x) es decreciente en [a; b]; y en consecuencia, segn el
teorema (5.3.3)(i), f (x) es cncavo en [a; b]:
Armamos que a = 1 < < n+1 < n
1 = b para cada
n 2 N: En efecto: procedemos por induccin sobre n:
Si n = 1; veamos que a = 1 < < 2 < 1
que a = 1 < < 1
1 = b: Slo resta probar que
Como
f ( 1)
(
1)
n+1 = 1
f ( n) f ( 1) n
= b: Claro
< 2 < 1:
f ( 1)
f ( 1) f (
1)
1 ):
(I)
228
Puesto que f (
1)
< 0 y f(
0<
f(
1)
1)
> 0; entonces
< f(
1)
f(
1 );
y por lo tanto
0<
f ( 1)
f(
1)
f(
< 1:
1)
Consecuentemente
f ( 1)
f ( 1) f (
0<
pues 0 <
1:
<
1)
<
Por lo tanto
1
es decir,
1)
1:
f(
f ( 1)
f(
1)
1)
1)
<
1;
f ( 1)
f ( 1) f (
=
1
> 0; es decir
<
1)
1 );
2:
<
<
= b:
2)
f(
1)
>
f(
1)
f(
1)
> 0;
y por lo tanto
f(
2)
>
f(
1)
f(
1)
1)
+ f(
1)
1 ):
pues
2
f ( 1)
f ( 1) f (
1)
=0
(II)
229
<
<
<
<
n+2
<
n+1
<
n+1
= b; para
= b:
<
<
n+1
= b:
Slo resta probar que < n+2 < n+1 : Como f (x) no tiene races
en ] ; 1 [; entonces sig f ( n+1 ) = sig f ( 1 ); es decir, f ( n+1 ) > 0:
Por lo tanto, 0 < f ( 1 ) < f ( n+1 ) f ( 1 ); y en consecuencia
0<
f ( 1)
f ( n+1 ) f (
1)
< 1;
f ( 1)
f ( n+1 ) f (
1)
1)
n+1
<
n+1
1:
n+1
Por lo tanto
es decir,
n+2
f ( 1)
f ( n+1 ) f (
<
n+1 :
1)
1)
n+1
<
n+1 ;
Puesto que
n+2
n+2
f ( 1)
f(
n+1 )
f(
1
1)
> 0; es decir,
n+1
1 );
<
n+2 :
(III)
230
<
n+2
<
n+1
= b:
n+2 )
f(
n+2
1)
>
f(
n+1 )
f(
n+1
1)
por lo tanto
f(
n+2 )
>
f(
n+1 )
f(
n+1
1)
1)
n+2
+ f(
1)
=0
pues
1
n+2
Como f (
n+2 )
f ( 1)
f ( n+1 ) f (
> 0 y f(
a=
<
1)
1)
<
n+2
<
1 ):
< 0; donde
<
n+1
n+1
n+2
<
n+1
= b;
1;
n+2 ]:
Pero la nica
= b;
<
= b;
para cada n 2 N; pues es cota inferior de f n g: Como f n g converge a `; entonces segn el teorema (5.1.14), la sucesin ff ( n )g
converge a f (`): Armamos que f (`) 6= f ( 1 ): En efecto: como
` 2 [ ; 1 ]; entonces f (`)
0; y como f ( 1 ) < 0; entonces
f (`) 6= f ( 1 ):
f(
f ( 1)
f(
n)
1)
1 );
lim
n+1
n!1
lim
n!1
f ( 1)
f ( n) f (
f ( 1)
(`
f (`) f ( 1 )
1
1)
1)
1 ):
es la
q.e.d.
5.6
f ( 1)
f ( n) f (
1)
1)
232
Adems de las condiciones (1) y (2) del teorema (5.5.1), agreguemos la condicin:
3) f 0 (x) no tiene races en [a; b]:
Una vez satisfechas sobre [a; b] las condiciones (1) y (2), por esta
ltima, f 0 (x) tiene a lo ms una raz simple en [a; b]: En caso de
tenerla, lo que puede decidirse con el teorema de Sturm, por ejemplo, podemos estrechar el intervalo [a; b] aplicando algunos pasos del
mtodo de biseccin a f 0 (x) y a f (x); para conseguir un intervalo en
que se cumplan las tres condiciones.
f ( 1)
f(
n)
f(
1)
1 );
entonces
n+1
f ( 1)
(
f ( n) f ( 1)
f ( n)
(
1 );
f ( n) f ( 1) n
1
1)
por lo tanto
f(
n)
f(
n)
f(
1)
n );
n+1
y por tanto
f( )
f(
n)
f(
n)
f(
1)
n ):
n+1
(IV )
f(
n)
n
f( )
f( )
f(
n
n)
f(
n)
f(
1)
n)
= f 0 (x2 )(
n ):
n+1
f 0 (x2 )
(
f 0 (x1 )
n+1
n );
n+1
y por lo tanto
n+1 +
f 0 (x2 )
(
f 0 (x1 )
n+1
n );
o sea,
n+1
f 0 (x2 ) f 0 (x1 )
(
f 0 (x1 )
jf 0 (x2 ) f 0 (x1 )j
jf 0 (x1 )j
n ):
n+1
n+1
(V )
f 0 (a) ; f 0 (b)
y
m = mn
f 0 (a) ; f 0 (b)
entonces m < jf 0 (t)j < M; para cada t 2 ]a; b[; ya que al no tener
f 0 (x) races en [a; b]; conserva su signo en este intervalo.
234
f 0 (x1 ) =
f 0 (x2 )
f 0 (x1 ) :
m
m
n+1
(V I)
< ":
f (x) = x3 3x + 1;
f 0 (x) = 3x2 3;
f 00 (x) = 6x:
1) f (1:5) =
2) Como f 00 (x) = 6x; claro que f 00 (x) no tiene races en [1:5; 2]:
3) Las races de f 00 (x) = 3x2
no tiene races en [1:5; 2]:
3 son 1 y
235
f(
n g;
f ( 1)
f(
n)
es decir, j
k+1
kj
<
7
;
107
<
donde
1)
k+1
= 1:5 y
= 1:5 y
1)
tal que
m"
;
M m
k+1
<
1
:
106
=
=
=
=
=
=
=
=
=
=
=
=
=
1:5;
1:52;
1:527588813;
1:530421282;
1:531471955;
1:531860794;
1:532004576;
1:532057725;
1:532077369;
1:532084630;
1:532087313;
1:532088305;
1:532088672:
7
Como j 13
12 j < 107 ; entonces
13 = 1:532088672 es la
aproximacin deseada, es decir,
1:532088672:
5.7
El mtodo de Newton
2; y
236
f ( 1)
f 0( 1)
f(
1)
= f 0(
1 )(x
1 );
237
f ( 2)
f 0( 2)
f(
2)
= f 0(
2 )(x
2 );
f(
f 0(
n)
n)
n ; f ( n )) ;
converge mon-
238
de f (x) en el intervalo
Demostracin: De las condiciones (1) y (2) se tienen los siguientes cuatro casos:
i) f (a) < 0; f (b) > 0 y f 00 (t) < 0 para cada t 2 [a; b]: En este
caso 1 = a:
ii) f (a) > 0; f (b) < 0 y f 00 (t) > 0 para cada t 2 [a; b]: En este
caso 1 = a:
iii) f (a) < 0; f (b) > 0 y f 00 (t) > 0 para cada t 2 [a; b]: En este
caso 1 = b:
iv) f (a) > 0; f (b) < 0 y f 00 (t) < 0 para cada t 2 [a; b]: En este
caso 1 = b:
El dibujo de la grca de f (x) en el intervalo [a; b]; de acuerdo con
los casos anteriores, corresponde, respectivamente, a las siguientes
guras:
239
n)
n)
f(
f 0(
n)
n)
240
n)
n)
f(
f 0(
n)
n)
Como consecuencia de los comentarios anteriores, bastar demostrar el teorema para el caso (i). Con este n, primero demostraremos
que la sucesin f n g converge, por mostrar que es montona y acotada; luego demostraremos que converge precisamente a la raz de
f (x):
Recordemos que las hiptesis para el caso (i) son: f (a) < 0;
f (b) > 0 y f 00 (t) < 0 para cada t 2 [a; b]: Por lo tanto 1 = a:
Puesto que f 00 (t) < 0 para cada t 2 [a; b]; entonces por el corolario
(5.2.5)(i), f 0 (x) es decreciente en [a; b]; es decir, f 0 (t2 ) < f 0 (t1 ) si
t1 ; t2 2 [a; b] y t1 < t2 :
Observemos tambin que f 0 (t) > 0 para cada t 2 [a; b]: En efecto:
Por el teorema (5.2.3), existe c 2 [a; b] tal que
f 0 (c) =
f (b)
b
f (a)
:
a
Como f (a) < 0; f (b) > 0 y a < b; entonces f 0 (c) > 0; y por lo tanto
f 0 (t) > 0 para cada t 2 [a; b]; pues como f 0 (x) no tiene races en
[a; b]; conserva su signo en todo este intervalo.
Armamos que
a=
<
n+1
<
<b
241
f( )
f(
1)
1
0
es decir, f ( 1 ) = f 0 (t1 )(
1 ); pues f ( ) = 0: Puesto que f (x)
0
0
es decreciente en [a; b]; entonces f (t1 ) < f ( 1 ); y por lo tanto
0
f ( 1 ) = f 0 (t1 )(
1 ) < f ( 1 )(
1 ); o sea,
f(
1)
< f 0(
1 )(
1 ):
Adems, como
es decir,
<
2:
f ( 1)
< :
f 0( 1)
f ( 1)
> 0;
f 0( 1)
Por lo tanto
a=
<
<
< b:
<
n+1
<
<b
n+1
<
n+2
<
< b:
1)
> 0; y por lo
242
f( )
f(
n+1 )
n+1
es decir,
f(
n+1 )
= f 0 (t2 )(
n+1 )
n+1 )
= f 0 (t2 )(
n+1 )
< f 0(
n+1 )(
n+1 );
o sea,
f(
n+1 )
< f 0(
n+1 )(
n+1 ):
n+1 )
n+1
n+1 )
<
n+1 :
f(
f(
f 0(
n+1 )
n+1 )
< :
es decir,
n+1
<
n+2 :
a=
n+1
f(
f 0(
n+1 )
n+1 )
> 0;
Entonces
1
n+1
<
n+2
<
< b;
243
n+1
<b
para cada n 2 N:
Como f n g converge a L; entonces, segn el teorema (5.1.14), las
sucesiones ff ( n )g y ff 0 ( n )g convergen a f (L) y a f 0 (L); respectivamente. Adems, f 0 (L) 6= 0; pues f 0 (x) no tiene races en [a; b]:
Puesto que
n+1
f(
f 0(
n)
n)
L =
=
=
lim
n+1
lim
n!1
n!1
lim
n!1
f ( n)
f 0( n)
lim f (
n)
lim f 0 (
n)
n!1
n!1
= L
f (L)
:
f 0 (L)
es la
q.e.d.
244
5.8
n)
n)
f(
f 0(
n)
n)
n )( n+1
n)
= f( )
f(
n)
(I)
f( )
f(
n)
Por lo tanto
f( )
f(
n)
= f 0 (t1 )(
n ):
n )( n+1
n)
= f 0 (t1 )(
n ):
f 0( n)
(
f 0 (t1 )
n ):
n+1
Por lo tanto
n
n+1
n+1
f 0( n)
(
f 0 (t1 )
n+1
n ):
f 0(
n)
f 0 (t
f 0 (t1 )
(
1)
n ):
n+1
(II)
M = mx
y
m = mn
f 0 (a) ; f 0 (b)
entonces m < jf 0 (t)j < M; para cada t 2 ]a; b[; ya que al no tener
f 0 (x) races en [a; b]; conserva su signo en este intervalo.
Como f 0 (x) conserva su signo en el intervalo [a; b]; pues no tiene
races en el mismo, entonces
f 0(
n)
f 0(
f 0 (t1 ) =
n)
f 0 (t1 ) :
n+1
m
m
n+1
nj :
(III)
246
f 0 (a) ; f 0 (b)
y
m = mn
y elegir a
k+1
f 0 (a) ; f 0 (b)
j < ":
k+1
3x + 1; f 0 (x) = 3x2
3 y f 00 (x) = 6x:
2) Como f 00 (x) = 6x; claro que f 00 (x) no tiene races en [1:5; 2]:
3) Las races de f 0 (x) = 3x2
tiene races en [1:5; 2]:
3 son 1 y
= 2:
n g;
f(
f 0(
donde
n)
n)
=2y
kj
k+1
<
kj
k+1
7
;
107
<
k+1
tal que
m"
;
M m
k+1
j<
1
:
106
=
=
=
=
=
=
2;
1:666666667;
1:548611111;
1:532390162;
1:532088989;
1:532088886:
7
Como j 6
5 j < 107 ; entonces 6 = 1:532088886 es la aproximacin deseada, es decir,
1:532088886:
5.9
kj
=j
kj
j+j
j<
" "
+ ="
2 2
248
si m
n2 :
5.10
Comentarios
El mtodo de Newton para aproximarse a una raz de un polinomio, es un caso particular de los conocidos como Mtodos iterativos, que se aplican en general a funciones de variable real.
Para los mtodos iterativos, se plantea resolver la ecuacin
x = g(x); donde g(x) es una funcin. En este sentido es posible
demostrar que: Si g(x) es continuamente diferenciable en un intervalo ]a; b[ y a g(x) b; para cada x 2 [a; b]; y adems
= mx g 0 (x) < 1;
a x b
entonces:
1) x = g(x) tiene una nica solucin
en [a; b]:
5.10. COMENTARIOS
249
xn j
x1 j y lim
n!1
xn+1
xn
= g 0 ( ):
Si
es raz de multiplicidad p > 1 de f (x); entonces
f (x) = (x
)p h(x); y por lo tanto
g(x) = x
(x
)h(x)
;
ph(x) + (x
)h0 (x)
h(x)
ph(x) + (x
)h0 (x)
(x
)q 0 (x)
donde
q(x) =
h(x)
:
ph(x) + (x
)h0 (x)
250
5.11
EJERCICIOS
x3
1.5 f (x) =
18x + 9; ]
12x2
12x
x5 + 2x4
x5
3x3
7x + 7; ]
1.3 f (x) = x4
1.4 f (x) =
4x2
3; ]
x3 + 8x
+ 2x2
5; ]
3; 2[ y ]3; 4[:
6; ]
2;
3
2;
1[ y ]1; 2[
6:
4.2 f (x) = x4 + x3 + x
4.3 f (x) =
x4
1:
4x + 1:
4.4 f (x) = x4
80x + 35:
x6
+ 6x5 + 9x4
4.5 f (x) =
6x2 + 8x
4.7 f (x) = x5
5x4 + 10x3
2x3
6x2 + 1:
3:
5x2 + 1:
Captulo 6
SISTEMAS DE
ECUACIONES
LINEALES
6.1
n 1
1x
+ : : : + a1 x + a0 = 0;
(I)
251
252
253
6.2
Matriz de coecientes
254
Ejemplo:
3
A=4 1
8
5 2
0 3
6 5
3
0
1 5
4
Denicin (6.2.2).Sea
a11 x1
a21 x1
..
.
+
+
a12 x2
a22 x2
..
.
+ ::: +
+ ::: +
a1n xn
a2n xn
..
.
=
=
b1
b2
..
.
0
1
2
A=4
3
2
7
0 5 yB=4
2
3 2
1 3
7 0
3 2
1 3
7 0
7
0
2
3
0
1 5
2
6.3
Por medio del mtodo de reduccin de Gauss, dado cualquier sistema de ecuaciones lineales, siempre garantizamos encontrar, si hay,
sus soluciones, o decidir que no tiene solucin, es decir, garantizamos
resolverlo.
Denicin (6.3.1). Dos sistemas de m ecuaciones lineales, con
n incgnitas y de coecientes en C; se dicen ser equivalentes, si poseen
el mismo conjunto de soluciones.
Ejemplo: El sistema
9x1 + 3x2 =
3x1 + 6x2 =
2
12
es equivalente al sistema
3x1 + x2 =
x1
2x2 =
!Comprubese!
2
3
256
Demostracin: Sea
a11 x1
..
.
a12 x2
..
.
+ ::: +
a1n xn
..
.
b1
..
.
ak1 x1
..
.
ak2 x2
..
.
+ ::: +
akn xn
..
.
bk
..
.
a`1 x1
..
.
a`2 x2
..
.
+ ::: +
a`n xn
..
.
9
>
>
>
>
>
>
>
>
>
>
>
=
>
>
= b` >
>
>
>
.. >
>
. >
>
>
;
= bm
(A)
a12 x2
..
.
+ ::: +
a1n xn
..
.
b1
..
.
a`1 x1
..
.
a`2 x2
..
.
+ ::: +
a`n xn
..
.
b`
..
.
ak1 x1
..
.
ak2 x2
..
.
+ ::: +
akn xn
..
.
9
>
>
>
>
>
>
>
>
>
>
>
=
>
>
= bk >
>
>
>
.. >
>
. >
>
>
;
= bm
(B)
a12 x2
..
.
+ ::: +
a1n xn
..
.
9
>
>
>
>
>
>
>
>
>
= rbk >
>
=
..
. >
>
= b` >
>
>
>
.. >
>
>
. >
>
;
= bm
=
b1
..
.
(C)
Para probar que los sistemas (A) y (C) son equivalentes, basta
probar que S = (c1 ; c2 ; : : : ; cn ) es solucin de la ksima ecuacin de
(A), si y slo si, S es solucin de la ksima ecuacin del sistema
(C), lo cual es evidente.
258
+ ::: +
a1n xn
..
.
+ ::: +
a`n xn
..
.
am1 x1
+ ::: +
amn xn
9
>
>
>
>
>
>
>
>
>
= rb` + bk >
>
=
..
(D)
.
>
>
>
=
b`
>
>
>
>
..
>
>
.
>
>
;
=
bm
=
b1
..
.
Para probar que los sistemas (A) y (D) son equivalentes, basta
probar que si S = (c1 ; c2 ; : : : ; cn ) es solucin de (A), entonces S es
solucin de la ksima ecuacin de (D); y que si S = (c1 ; c2 ; : : : ; cn )
es solucin de (D), entonces S es solucin de la ksima ecuacin de
(A). En ambos casos la prueba es evidente.
q.e.d.
3
3
3 5
1
260
Demostracin: Sea
2
a11
6 a21
6
A=6 .
4 ..
a12
a22
..
.
a13
a23
..
.
:::
:::
a1n
a2n
..
.
b1
b2
..
.
3
7
7
7
5
6
6
A1 = 6
4
1
a21
..
.
c12
a22
..
.
c13
a23
..
.
:::
:::
c1n
a2n
..
.
d1
b2
..
.
3
7
7
7
5
6
6
6
A3 = 6
6
4
1 0 e13 : : : e1n f1
0 1 e23 : : : e2n f2
0 0 e33
e3n f3
.. ..
..
..
..
. .
.
.
.
0 0 em3 : : : emn fm
3
7
7
7
7
7
5
Solucin:
3
1
(ii)
2
2
1
0
2
1
1 1
1 3
(i)
3
1
1
2
1
3
2
2
(iii)
(iii)
1 3
1 1
1 0
0 1
~
0
1
2
1
1
1
0
2
8
1
4
3
8
262
y
Es decir
x = 1
1
1+ z
2
y =
0
8
4
Solucin:
2
4
1
3
2
1
4 0
0
1 2
1 2
4 6
1
1
2
2
1
10
1 0 0
~ 4 0 1 0
0 0 1
(iii)
3
2
0 (iii)
8 5 ~ 4
4
3
2
0 (iii)
2 5 ~ 4
4
8
3
4
3
2
3
3
5
1
0
0
1 0
0 1
0 0
1
4
2
2
4
10
1
1
12
3
0 (ii)
8 5 ~
4
3 2
2 (ii) 1 0
2 5 ~ 4 0 1
0 0
8
1
1
1
3
2
2 5
2
3
8 4
3; 3;
2
3
1
4 2
3
4
2
2
1 0
4
0 1
~
0 0
(iii)
3
2
1 0 (iii) 1
3 0 5 ~ 4 0
0
4 0
4
10
14
3
1 0
1
5
2 0
0 0
3 2
1 0 (ii) 1
5 0 5 ~ 4 0
7 0
0
4
1
14
3
1 0
1
5
2 0
7 0
z = 0
1
z = 0
2
Consecuentemente
x = z
1
y =
z
2
Si z = c; las soluciones del sistema dado, son de la forma
S = c; 12 c; c : En particular, (2; 1; 2) es una solucin.
Observacin: Si la matriz en forma normal de Hermite, de un
sistema de ecuaciones, tiene un rengln cuyas entradas, excepto la
ltima contando de izquierda a derecha, son ceros, claro que tal
sistema es inconsistente, es decir, no tiene solucin.
264
6.4
EJERCICIOS
2x1 + 3x2 +
x3 = 0
x1 x2
2x2 + x2 x3 = 1
1.2
x
3y + z =
x + y1
z =
p
x = y
1.3
x = z
1.4
3x1
4x3
1.5 2x
3
1
2z
3x4 = 0
3x4 = 0
3y + z = 4
1.6
ix + (1
3x
i)y =
iy =
i
1
1.7
5x
2y + z = 3x
x + 3y + z = 3y
2x + y
4z = 3z
2. Escriba la matriz ampliada de cada uno de los siguientes sistemas de ecuaciones lineales:
2.1
x1 +
x1 + 2x2
x1 +
2.2 2x2
x3 = 1
x3 = 0
x4
=
x3 + x5 =
2x3 + x4 =
1
0
1
6.4. EJERCICIOS
265
x1
3x2 =
2.3 2x1 + 4x2 =
3x1
x2 =
0
1
2
2.4
2ix1
(2
3x1 +
i)x2 =
ix2 = 3
2.5
2x
y + z
x + y + 2z +
3x +
4z
x + y +
+
2.6 x1 + 3x2
w
w
w
w
7x3 =
i
2i
=
=
=
=
0
0
0
0
1
3.1 4 2
0
2
1
6 0
3.3 6
4 0
0
3.4
3.5
3
0 0
1 0 5
1 1
1
1
1
3.2 4
3
1 0
1 3 5
2 0
0
1
3
0
1
0
0
0
0
1
0
0
0
0
1
1 0 3 1
0 1 0 3
1
i
2
1 1+i
3
1
3 7
7
1 5
4
5
2
i
i
266
3
1 0 0
4.1 4 0 0 0 5
0 1 0
2
3
0 1 0
4.2 4 1 0 0 5
0 0 1
3
1 2 0 3 0
4.3 4 0 0 1 0 0 5
0 0 0 0 1
2
3
3 2
1 4 5
1 0
1 0 0
4.4 4 0 1 0
0 0 1
1
0
4.5
i 2+i
0
1 2
i
i
3
4
2
5.1
1
2
i
5.2 4 1
1
2
1 0
4
0 1
5.3
0 0
3
1 2 0
1 1 1 5
3 0 0
1
i
2
2i
3
0 0
1 0 5
1 0
4
3
1
7
4
1
3
10
2 5
2
6.4. EJERCICIOS
267
3
1 0 0 5
5.4 4 0 0 1 3 5
0 1 0 4
6. Cada una de las siguientes matrices representa un sistema de
ecuaciones lineales. Resuelva el sistema.
2
3
0
1 5
0
1 0 0
6.1 4 0 1 0
0 0 1
2
3
3 2
1 4 5
1 0
1 0 0
4
0 1 0
6.2
0 0 1
3
1 2 0 0
6.3 4 0 0 1 0 5
0 0 0 1
2
2
1
6 0
6.4 6
4 0
0
6.5
0
1
0
0
0
1
0
0
0
0
1
0
3
5
2
0
3
1
1 7
7
4 5
0
1 i 0
2i
0 0 1 3 i
(1
i)x +
x + (1
2y =
i)y =
i
i
268
2
1
1
2x
y + z = 0
x + 2y
3z = 0
x1
2x2 +
x3
4x4 = 1
7.5 x1 + 3x2 + 7x3 + 2x4 = 2
x1
12x2
11x3
16x4 = 5
7.6
(1
ix
(1 i)y +
z =
3x + (3 + 3i)y + (2 3i)z =
i)x
2y
(3 i)z =
3x + 2y
x
y
7.7
3x
2y
y
x1
x2
7.8 x3
x5
x4
7.9
+
+
+
+
+
x2
x3
x4
x4
x3
=
w =
w =
w =
x3
x4
x5
x3
x2
=
=
=
=
=
5
0
4
1
1
1
1
1
1
3x1 + x2 + x3 + x4 = 0
5x1
x2 + x3
x4 = 0
3x2
2x2
x1
7.10 2x1
x1
5x2
x1 + x2
7.11
i
0
2i
7x3
4x3
4x3
7x3
+ x3
+ 5x4 + 2x5
x5
+ 2x4 + x5
+ 6x4
+
x5
ix
(1 + i)y
=
x
2y + z =
x +
2iy
z =
0
1
1
=
=
=
=
=
0
0
0
0
0
6.4. EJERCICIOS
7.12
269
6x
4y + z = 2x
4x
2y
z = 2y
x + y + 3z = 2z
2x + y = a
x + 2y = b
x + y + z = a
+ z = b
8.2 x
y + z = c
9. Demuestre que la forma normal de Hermite asociada a una
matriz, es nica.
10. Demuestre que ad bc 6= 0; si y slo si, la forma normal de
Hermite asociada a la matriz
a b
c d
es
1 0
0 1
bc 6= 0:
270
a11 x1
a21 x1
..
.
+ ::: +
+ ::: +
a1n xn
a2n xn
..
.
am1 x1 + : : : + amn xn
9
= 0 >
>
>
= 0 =
..
. >
>
>
;
= 0
(II)
S2 = (c1
d1 ; : : : ; cn
dn )
6.4. EJERCICIOS
271
17. Determine para qu valores de ; el siguiente sistema de ecuaciones lineales tiene soluciones no triviales.
(
3)x +
x + (
y = 0
3)y = 0
x
x
y = 1
= k
18.2
2x
y
x
y
x + 2y
18.3
kx + y + z = 1
x + ky + z = 1
x + y + kz = 1
k2 y
kz = 0
2z = 1
= k
x + 2y
y +
18.4 3x
4x + y + (k 2
3z = 4
5z = 2
14)z = k + 2
Apndice A
SOLUCIN POR
RADICALES DE LAS
ECUACIONES DE
SEGUNDO, TERCER Y
CUARTO GRADOS
De acuerdo con la versin de diferentes autores, mientras las ecuaciones generales de primer y segundo grados fueron resueltas desde
la antigedad, la ecuacin general de tercer grado haba resistido todos los esfuerzos de los matemticos anteriores al italiano Scipio Del
Ferro, quien nalmente logr resolverla a principios del siglo XVI,
durante el renacimiento en Italia. De acuerdo a la costumbre de su
tiempo, Del Ferro no public sus resultados, sino que se los comunic
a uno de sus discpulos, mismo que, tras la muerte de aquel, ret al
gran matemtico Tartaglia (1500-1557), tambin italiano, a que resolviera un cierto nmero de ecuaciones de tercer grado. Tartaglia
acept el reto y, antes del plazo jado en ste, encontr un mtodo
para resolver cualquier ecuacin cbica de la forma x3 + px + q = 0:
As como Del Ferro, Tartaglia no public su mtodo; pero un profesor
de fsica y matemtica de Miln, Cardan (1501-1576), lo convenci
de que se lo comunicara, bajo la promesa de mantenerlo en secreto.
Cardan viol su promesa y public el resultado de Tartaglia en su
273
274
trabajo Ars Magna (El arte sumo) en 1545. Desde entonces, las frmulas para resolver una ecuacin de tercer grado se conocen como
frmulas de Cardan.
Los procesos que aqu exponemos, para obtener las frmulas para
resolver las ecuaciones de tercer y cuarto grados, se sustentan en
los trabajos de los matemticos italianos mencionados, y se basan
en transformaciones especiales y complicadas de la ecuacin respectiva, que bien pueden parecer articiales y accidentales, pero que
ocurrieron en la intensa bsqueda de mtodos para resolver dichas
ecuaciones.
A.1
Denicin (A.1.1).Sea
an xn + : : : + a1 x + a0 = 0
(1)
(xi
1 i<j n
xj )2 :
(2)
275
Observacin: En lugar de la ecuacin (1) de la denicin anterior, podemos hablar del polinomio
f (x) = an xn + : : : + a1 x + a0 :
En este caso se dice que (2) es el discriminante del polinomio f (x):
A.2
Consideremos la ecuacin general de segundo grado, de coecientes complejos a; b; c; (a 6= 0); y con incognita x
ax2 + bx + c = 0:
(1)
(2)
(3)
4ac;
es decir,
(2at + b)2 = b2
por tanto
2at + b =
y en consecuencia
t=
b2
b2
2a
4ac;
4ac;
4ac
p
Para evitar confusin con la expresin b2 4ac; recordemos que
por ser b2 4ac nmero complejo, entonces tiene dos races complejas
276
y 2 ; donde 2 =
1 : As que la expresin
a cualquiera, pero slo a una, de 1 y 2 :
1
b2
4ac representa
A.3
b2
2a
4ac
b+
b2
2a
4ac
x2 =
b2
2a
4ac
x2 )2 ; o
4ac:
A.4
277
(1)
(2)
b
3
b
en (2), se tiene que
3
+b y
b
3
+c y
b
3
+ d = 0;
por tanto
y3 + c
b2
3
bc 2b3
+
3
27
y+ d
= 0:
b2
y q=d
3
bc 2b3
+
:
3
27
b
;
3
278
b
;
3
b
;
3
(3)
(4)
(6)
279
u3 v 3 =
(7)
y
u3 + v 3 =
q:
(8)
Puesto que
(z
u3 )(z
v3) = z2
(u3 + v 3 )z + u3 v 3 ;
q2
p3
+ :
4
27
u 3 = z1 y v 3 = z2 :
(10)
280
son:
w0 = 1;
w
w2 =
p
1+i 3
;
2 p
1 i 3
:
2
u2 = wu1
y u3 = w 2 u1 ;
y las races de
v 3 = z2
son:
v1 ;
v2 = wv1
y v3 = w2 v1 :
s
3
q
2
q2
p3
+ :
4
27
A.5
y2 )2 (y1
y3 )2 (y2
y3 )2 :
1 1p
+
3i
2 2
es raz de la ecuacin
x3
1 = 0;
y por tanto
w3 = 1 y w2 + w + 1 = 0:
Entonces
y1
y2 =
=
=
=
(u1 + v1 ) (wu1 + w2 v1 )
(1 w)u1 w2 v1 + w3 v1
(1 w)u1 + (1 w)( w2 v1 )
(1 w)(u1 w2 v1 );
(1)
282
y1
y3 =
=
=
=
y2
y3 =
=
=
=
(1
w)(1
Adems,
p
3
2 i
3
2
w2 ) =
3
2
3
2 i
= 3
y
w
Puesto que (x
u1
v1
1)(x
u1
v1
w2 =
w)(x
w
3i:
w2 ) = x3
u1
v1
w2
1; entonces
u1
v1
1;
por tanto
(u1
v1 )(u1
wv1 )(u1
w2 v1 ) = u31
v13 :
v1 )(u1
En consecuencia,
wv1 )(u1
w2 v1 ) = 2
q2
p3
+ :
4
27
(2)
108
27q 2
q2
4
p3
27
4p3 :
4p3
27q 2 :
b2
3
y
q=d
bc 2b3
+
;
3
27
se sabe que
x1 = y1
b
;
3
x2 = y2
b
;
3
x3 = y3
b
3
2
2
284
Por tanto
x1
x2 = y1
y2 ;
x1
x3 = y1
y3 ;
x2
x3 = y2
y3 :
En consecuencia, el discriminante de
x3 + bx2 + cx + d = 0
es
=
4p3
27q 2 ;
es decir,
= 18bcd
4b3 d + b2 c2
4c3
27d2 :
i]2
285
A.6
(1)
Puesto que
1
(Ax4 + Bx3 + Cx2 + Dx + E) = 0
A
tiene las mismas soluciones que la ecuacin (1), entonces podemos
expresar la ecuacin general de cuarto grado en la forma
x4 + ax3 + bx2 + cx + d = 0:
bx2
cx
(2)
286
y sumamos
a2 2
4 x
x4 + ax3 +
a2 2 a2 2
x = x
4
4
bx2
cx
d;
por tanto
a
x2 + x
2
a2
4
b x2
cx
d:
(3)
que
a
y2
Sumando x2 + x y +
a ambos miembros de (3) tenemos
2
4
x2 +
2
a
x
2
+ x2 +
a
x
2
y+
y2
4
a2
4
b x2
cx
d + x2 +
a
x
2
y+
y2
;
4
por tanto
x2 + a2 x +
y 2
2
a2
4
b + y x2 +
c + 12 ay x +
d + 41 y 2 :
(4)
4AC = 0:
En efecto:
Ax2 + Bx + C = (ex + f )2 =)
Ax2 + Bx + C = e2 x2 + 2ef x + f 2 =)
A = e2 ; B = 2ef y C = f 2 =)
B2
4AC = 0:
Recprocamente, si B 2
Ax2 + Bx + C
A x2 +
B
x
A
A x+
B
2A
B
A x + 2A
p
B
Ax + 2p
A
+C
A
p
B 2 4AC
2A
x+
B
2A
B 2 4AC
2A
(ex + f )2
4AC = 0; entonces
con e =
287
B
A y f= p :
2 A
1
c + ay x +
2
b + y x2 +
1
d + y2
4
= (ex + f )2 ;
si y slo si,
2
1
c + ay
2
a2
4
b+y
1
d + y2
4
= 0;
si y slo si,
c2
1
acy + a2 y 2
4
a2 d a2 y 2
+
+ bd
4
16
1 2
by
4
1
dy + y 3
4
= 0;
si y slo si,
y 3 + by 2 + (4d
ac)y + a2 d
4bd + c2 = 0;
si y slo si,
y3
by 2 + (ac
4d)y + (4bd
a2 d
c2 ) = 0:
(5)
= (ex + f )2 ;
288
por tanto
y
a
y0
x2 + x +
= ex + f
2
2
a
y0
x2 + x +
=
2
2
ex
f:
(6)
(7)
Apndice B
EL USO DE LA
COMPUTADORA
Considerando que las computadoras son poderosas herramientas,
particularmente, para ahorrarse tiempo y esfuerzo en el trabajo de
calcular, enseguida proporcionamos algunos programas, escritos en
lenguaje PASCAL, para hacer el clculo que en cada caso se indica.
Es ocioso decir que en el mercado existen varios programas para
computadora, con los cuales pueden realizarse gran cantidad de
clculos, y tambin sobra decir la importancia que tiene para el
estudiante de ciencias, saber, o por lo menos tener la idea, de cmo
se hacen dichos programas.
289
290
{PROGRAMA #1}
{ESTE PROGRAMA CALCULA EL MCD DE DOS NUMEROS ENTEROS}
291
{PROGRAMA #2}
{ESTE PROGRAMA CALCULA LAS RAICES DE UNA ECUACION DE
SEGUNDO GRADO}
292
{PROGRAMA #3}
{ESTE PROGRAMA CALCULA EL MCD DE DOS POLINOMIOS}
293
g[j]:=b[j];
end
else
begin
k:=m;
m:=n;
n:=k;
for i:=0 to m do
f[i]:=b[i];
for j:=0 to n do
g[j]:=a[j];
end;
z:=m;
pasa:=1;
while pasa=1 do
Begin
If n=0 then
begin
textcolor(15);
writeln(EL MCD DE LOS POLINOMIOS ES 1);
pasa:=2;
end
else
BEGIN
while not(z<n) do
begin
for i:=1 to n do
r[z-i]:=f[z-i]-(f[z]/g[n])*(g[n-i]);
for i:=1 to (z-n) do
r[(z-n)-i]:=f[(z-n)-i];
for i:=1 to z do
begin
f[z-i]:=r[z-i];
end;
z:=z-1;
end;
294
295
READLN;
END.
{PROGRAMA #4}
{ESTE PROGRAMA TAMBIEN CALCULA EL MCD DE DOS POLINOMIOS}
de dos
Procedure division;
begin
WHILE NOT(n>z) DO
BEGIN
for i:=1 to n do
r[z-i]:=f[z-i]-(f[z]/g[n])*(g[n-i]);
for i:=1 to (z-n) do
r[(z-n)-i]:=f[(z-n)-i];
for i:=1 to z do
begin
f[z-i]:=r[z-i];
end;
z:=z-1;
296
297
298
{PROGRAMA # 5}
{PROGRAMA PARA APROXIMAR RAICES DE POLINOMIOS, POR EL
METODO DE NEWTON}
299
300
301
BIBLIOGRAFA
[1] Atkinson, Kendall E.:
An Introduction
Analysis. Editorial John Wiley & Sons., 1978.
to
Numerical
303