Ecuaciones de Primer Grado

Desarrollo de los temas
TEMA
14
Ecuaciones. Resolucin de
ecuaciones. Aproximacin numrica
de races.
MA T E M T I C A S
elaborado por
EL EQUIPO DE PROFESORES
DEL CENTRO DOCUMENTACIN
14.2 CEDE MATEMTICAS

CENTRO DOCUMENTACI N DE ESTUDI OS Y OPOSI CI ONES - C/ CARTAGENA, 129 28002 MADRI D
www. cede. es e- mai l : oposi ci ones@cede. es TEL. : 91 564 42 94

GUIN - NDICE

1. ECUACIONES

1.1. Introduccin
1.2. Clasificacin
1.3. Equivalencia de ecuaciones

2. RESOLUCIN DE ECUACIONES POLINMICAS DE GRADO 3

2.1. Ecuaciones de primer grado
2.2. Ecuaciones de segundo grado
2.3. Ecuaciones de tercer grado

3. APROXIMACIN A LAS RACES DE UNA ECUACIN

3.1. Separacin de las races de una ecuacin
3.2. Aproximacin a las races de una ecuacin
3.2.1. Mtodo de regula falsi
3.2.2. Mtodo de Newton o de las tangentes
3.2.3. Mtodo de iteracin

4. ECUACIONES ALGEBRAICAS

4.1. Races racionales de una ecuacin algebraica con coeficientes ente-
ros
4.2. Acotacin de las races de una ecuacin algebraica con coeficientes
reales
4.2.1. Mtodo de Laguerre
4.2.2. Mtodo de Newton
4.3. Separacin de races
4.3.1. Mtodo de Sturm
4.3.2. Teorema de Descartes
4.3.3. Teorema de Budan-Fourier
MATEMTICAS CEDE 14.3

BIBLIOGRAFA

DEMIDOVICH, B.P. Clculo numrico fundamental. Ed. Paraninfo. Madrid, 1985.
MARON, l.A.

El objetivo fundamental de este libro es ofrecer, lo ms profundamente
posible, una representacin sistemtica y moderna de los mtodos y tcnicas ms importantes
del clculo numrico. Trata con especial inters el problema de la solucin aproximada y num-
rica de ecuaciones algebraicas y trascendentes.

REY PASTOR, J., Anlisis matemtico I. Ed. Kapelusz. Buenos Aires, 1952.
PI CALLEJA, P.
TREJO, C.A.

Obra muy completa y didctica con explicaciones muy claras, que no
ha perdido actualidad a pesar de los aos. El primer tomo contiene los elementos de lgebra y
Clculo a nivel de primer curso y los otros dos tomos el Anlisis n-dimensional, las ecuaciones
diferenciales y otros temas.

ROJO, A.O. lgebra I. Ed. El Ateneo. Buenos Aires, 1972.

Libro muy completo y muy claro en dos tomos. El primero trata los te-
mas de lgebra abstracta y el segundo los de lgebra lineal. Contiene muchos ejercicios resul-
tos bajo el nombre de Trabajo prctico y otros propuestos.

1. ECUACIONES

1.1. INTRODUCCIN

Definicin

Se llama funcin proposicional a toda expresin que contenga por lo menos una va-
riable, de modo que al reemplazar cada una de stas por un elemento de un conjunto dado se
transforme en una proposicin.

Ejemplos:

1. Si C, es el conjunto de las ciudades, y N, el de las naciones:

x es la capital de y/x C, y N

es una funcin proposicional, que se convierte en proposicin cuando se sustituye x por
un elemento de C, e y por un elemento de N. En efecto: Caracas es la capital de Ve-
nezuela, es una proposicin verdadera, mientras que Montevideo es la capital de
Espaa es una proposicin falsa.

2. x + 3 < 8, x N, es una funcin proposicional que se convierte en proposicin al sus-
tituir x por un nmero natural. En efecto: 4 + 3 < 8 es una proposicin verdadera, mien-
tras que 6 + 3 < 8 es una proposicin falsa.

Una funcin proposicional por s misma no tiene ningn valor de verdad, es decir no es
una proposicin.

Definicin

Se llaman soluciones de una funcin proposicional al conjunto de valores de las varia-
bles que convierten a la funcin en una proposicin verdadera. As en el ejemplo 2, la solucin
es el conjunto A = {0, 1, 2, 3, 4}.

Resolver una funcin proposicional es hallar el conjunto de sus soluciones.


Definicin

Se llama ecuacin a una funcin proposicional, definida sobre uno o ms conjuntos,
que contiene el signo el signo igual (=).

Las variables que intervienen en una ecuacin se llaman incgnitas.

Al conjunto de valores de las incgnitas que convierten la ecuacin en una igualdad
verdadera, se llaman soluciones particulares o races de la ecuacin.

Resolver una ecuacin es hallar por extensin el conjunto de sus soluciones, es decir,
su solucin general.

Ejemplo

La ecuacin 2x + y = x + 2y + 3 tiene por solucin al conjunto S = {(x, y) R
2
/x y = 3}.
Tiene por tanto infinitas soluciones.

1.2. CLASIFICACIN

Las ecuaciones se pueden clasificar

a) Por el nmero de incgnitas.

b) Por la naturaleza de las expresiones que figuran en sus miembros. De acuerdo a es-
to pueden ser:

b1. Algebraicas: Cuando los dos miembros son expresiones A (x, y, ...),
B (x, y, ...) formadas por las incgnitas y nmeros reales, sometidos un nmero fi-
nito de veces a las operaciones suma, resta, multiplicacin, divisin, potenciacin
de exponente natural y radicacin.

b2. Trascendentes: Cuando no son algebraicas. Por ejemplo 2
X
= 3. Las alge-
braicas se dividen a su vez en:

b.1.1. Racionales: Cuando no contiene ninguna incgnita bajo signo radi-
cal.
b.1.2. Irracionales: En el caso contrario. Por ejemplo
x 2 3 + =

Las racionales a su vez pueden ser:

b.1.1.1. Enteras: Cuando no tienen ninguna incgnita como divisor.
b.1.1.2. Fraccionarias: Cuando s tienen alguna incgnita como divisor.
Por ejemplo:
5 x
x 2
3x 1
+
+ =

Resumiendo:

Enteras
Racionales
Algebraicas Fraccionarias
Ecuaciones Irracionales

Trascendentes

1.3. EQUIVALENCIA DE ECUACIONES

Dos ecuaciones se dicen equivalentes cuando toda solucin de la primera es solucin
de la segunda y viceversa.

Para obtener ecuaciones equivalentes a una dada podemos realizar las siguientes
transformaciones:

1. Sumar a ambos miembros de la ecuacin un mismo nmero.

Este resultado puede enunciarse de otras formas frecuentemente ms cmodas:

a) Un nmero que est sumando en un miembro de una ecuacin, puede pasar al
otro miembro restando (transposicin de trminos).
b) Se pueden suprimir nmeros iguales que estn sumando en los dos miembros
de la ecuacin.

Estos enunciados son igualmente vlidos si en lugar de un nmero se trata de un poli-
nomio con la incgnita.


2. Multiplicar los dos miembros de una ecuacin por un nmero real distinto de cero.

Notar que esta vez no se puede generalizar al caso de un polinomio pues puede haber
valores de la incgnita que anulen dicho polinomio.

3. Si se elevan los dos miembros de la ecuacin a la misma potencia, resulta otra
ecuacin que tiene todas las races de la primera ecuacin y quizs alguna ms.

Ejemplo: x 2 = 1, tiene por solucin x = 3. Si elevamos los dos miembros de la ecua-
cin al cuadrado tenemos (x 2)
2
= 1, que tiene por soluciones x = 1, x = 3.

2. RESOLUCIN DE ECUACIONES POLINMICAS DE
GRADO 3

2.1. ECUACIONES DE PRIMER GRADO

Podemos considerar, sin prdida de generalidad, que una ecuacin de primer grado es
de la forma

ax + b = 0 a 0

Esto es posible, pues mediante las transformaciones anteriormente citadas podemos
agrupar por un lado los trminos que contengan a la incgnita y por otro los trminos indepen-
dientes.

La solucin de esta ecuacin ser x = (b)/a.

2.2. ECUACIONES DE SEGUNDO GRADO

Podemos considerar, al igual que en el caso anterior, que una ecuacin de segundo
grado es de la forma

ax
2
+ bx + c = 0 a 0

Veamos cules son sus soluciones:

2
2
2
b b
ax bx c 0 a x c 0
2a 4a
| |
+ + = + + =
|
\ .


2
2 2
2
2 2
b b 4ac b b 4ac
x x
2a 2a 2a 4a
b b 4ac b b 4ac
x
2a 2a 2a

| |
+ = + =
|
\ .

= + =

Por tanto las soluciones de la ecuacin son:

2 2
1 2
b b 4ac b b 4ac
x ; x
2a 2a
+
= =

Es fcil probar que se verifica:

1 2
1 2
b
x x
a
c
x x
a
+ =
=
(1)

Al nmero b
2
4ac, se le llama Discriminante de la ecuacin y se denota por .

Cuando el polinomio lo consideremos de [x], segn sea el valor del discriminante, po-
demos afirmar que:

a. Si > 0 la ecuacin tiene dos races reales y distintas.
b. Si = 0 la ecuacin tiene una raz real doble.
c. Si < 0 la ecuacin no tiene races reales.

2.3. ECUACIONES DE TERCER GRADO

Vamos a calcular las soluciones de un polinomio de tercer grado:

a
3
x
3
+a
2
x
2
+a
1
x + a
0
= 0 a
3
0

Podemos suponer que a
3
= 1, pues caso de que no fuese dividiramos toda la ecuacin
por a
3
0, y obtendramos una ecuacin equivalente.

Aun podemos simplificar ms la expresin anterior, pues haciendo el cambio:

2
a
x x
3
=

se anula el trmino en x
2
, como puede comprobarse fcilmente:

2 2
2 2 2
2 1 0
2 3 2 3
3 2 2 2 2 2 2 2 1 2
2 1 0
2 3 2 3
3 2 2 2 2 2 2 1 2
2 2 1 0
2 3
3 2 2 2
a a a
x a x a x a
3 3 3
a a a a a a a
x 3 x 3 x a x 2 a x a
3 9 27 3 9 3
a a a a a a
x a x x a x 2 a x a
3 27 3 9 3
a a a
x x 2
3 27
| | | | | |
+ + + =
| | |
\ . \ . \ .
= + + + + + =
= + + + + + =
= +
2 3
2 1 2
1 0
a a a
x a x a
3 9 3
+ + +

que como puede verse no tiene trmino en x
2
. Por tanto podemos suponer que la ecuacin es
de la forma:

x
3
+ px + q = 0 (*)

Hagamos ahora el cambio x = u + v, y agrupemos convenientemente los trminos de la
ecuacin (*); podemos poner:

u
3
+ v
3
+ 3uv (u + v) + p (u + v) + q = u
3
+ v
3
+ (3uv + p) (u + v) + q = 0

La anterior igualdad se satisface si se cumple:

3
3 3
3 3
3 3
p
3uv p
u v
27
u v q
u v q
=
=

` `
+ =
)
+ =
)

Las dos ltimas igualdades, por (1), nos aseguran que u
3
y v
3
son las races de la
ecuacin

3
2
p
t qt 0
27
+ =

y por tanto

2 3 2 3
3 3
q q p q q p
u ; v
2 4 27 2 4 27
= + + = +


de donde

2 3 2 3
3 3
q q p q q p
u ; v
2 4 27 2 4 27
= + + = +

y como x = u + v, tenemos:

2 3 2 3
3 3
q q p q q p
x
2 4 27 2 4 27
= + + + +

Estas frmulas se deben a Cardano-Vieta.

Ejemplo: Calculemos las soluciones de la ecuacin:

x
3
6x
2
+ 11x 6 = 0

Hagamos el cambio x = y + 2; nos queda

(y + 2)
3
6 (y + 2)
2
+ 11 (y + 2) 6 = y
3
y = 0.

Aunque las soluciones de esa ecuacin pueden calcularse de manera fcil, seguiremos
un proceso paralelo al explicado anteriormente.

Para resolver la ecuacin y
3
y = 0, hagamos el cambio y = u + v, con lo que tenemos:

(u + v)
3
- (u + v) = 0 = u
3
+ v
3
+ 3u
2
v + 3uv
2
(u + v) = 0
u
3
+ v
3
+ 3uv (u + v) (u + v) = 0 u
3
+ v
3
+ (3uv 1) (u + v) = 0

de donde

3 3
3 3
3 3
1
3uv 1 u v
27
u v 0
u v 0
= =

` `
+ =
)
+ =
)

luego:


2
6 3
3
1 1 i i 3i
v v
27 27 27 9 3 3
3i
u
9
= = = = =
=

)

y calculando las races cbicas de estos nmeros complejos (frmula de Moivre), nos queda

y = 1, 1, 0

Por lo que deshaciendo el cambio x = y + 2, tenemos

x = 3, 1, 2

Para las ecuaciones de grado 4, existen tambin frmulas que fueron descubiertas en
el siglo XVI por los italianos Ferro, Tartaglia, Cardano y Ferrari. Sin embargo el sueo de los
algebristas de encontrar frmulas que permitiesen resolver ecuaciones de grado superior a 4,
se estrell en la barrera de lo imposible, como qued probado en el primer tercio del siglo XIX
por los matemticos Abel y Galois, al demostrar, primero la irresolubilidad de la ecuacin gene-
ral de quinto grado y segundo la de las ecuaciones de grado n > 4, entendiendo por irresolubili-
dad de una ecuacin, la imposibilidad de encontrar, mediante una frmula, sus soluciones.

La existencia y abundancia de ecuaciones irresolubles, y la frecuente aparicin de s-
tas en la resolucin de problemas que plantean la ciencia, la tcnica y la vida cotidiana, son
razones suficientes que obligan a intentar obtener, si no las races, s al menos unos valores
suficientemente prximos a ellas.

3. APROXIMACIN DE LAS RACES DE UNA ECUACIN

En todo lo que sigue, supondremos que f es una funcin real de variable
real, con dominio D.

Cuando hablemos de las races de la ecuacin f(x) = 0, sobrentenderemos
que nos referimos a sus races reales. Adems supondremos que las races que la ecuacin
f(x) = 0 pueda tener, sern races aisladas, es decir, que la distancia entre dos consecutivas
cualesquiera, tiene un mnimo, o en su caso un nfimo, mayor que cero.

Si es una raz de la ecuacin f(x) = 0, y tomamos como valor aproximado
el nmero a D, llamaremos error de la aproximacin al nmero e = |a |.

La aproximacin ser tanto mejor cuanto ms pequeo sea e.

En la resolucin aproximada de una ecuacin distinguiremos dos etapas
bien diferenciadas:

1. Separar o localizar las races, que consiste en hallar intervalos [a, b]
que contienen en su interior una sola raz.
2. Aproximar una raz contenida en el intervalo [a, b], es obtener un punto
de este intervalo, que diste de la raz menos que una cantidad prefijada.

3.1. SEPARACIN DE LAS RACES DE UNA ECUACIN

No existen mtodos generales para resolver el problema de la separacin.

Siempre es conveniente observar la funcin con la intencin de delimitar las zonas de
la recta real en las que puedan estar situadas las races, lo que en ocasiones es difcil de con-
seguir. Nos limitaremos a indicar algunos caminos a seguir, que en general sern suficientes
para resolver nuestro problema.

Proposicin

Sea f continua en el intervalo [a, b], y derivable y con derivada de signo constante en el
intervalo (a, b). Entonces:

Si f(a) f(b) < 0, la ecuacin f(x) = 0 tiene una sola raz en el intervalo (a, b).
Si f(a) f(b) > 0, la ecuacin no tiene ninguna raz en el intervalo (a, b).

Demostracin

Supongamos f(a) f(b) < 0. En este caso la funcin toma valores de signo contrario en
los extremos del intervalo [a, b], y en l se verifican las condiciones exigidas por el teorema de
Bolzano, lo que garantiza la existencia de al menos un (a, b)/f() = 0.

Por otra parte si f es positiva en (a, b) que f es estrictamente creciente en (a, b) lo
que significa que:

f(x) < f() = 0 si x < ; y f(x) > f() = 0 si x >

lo que demuestra que ser la nica raz del intervalo.

De manera anloga se razonara en el caso en que f sea negativa en (a, b) (f estricta-
mente decreciente en (a, b)).

Si f(a) f(b) > 0, la funcin toma valores del mismo signo en los extremos del intervalo
[a, b]. Si adems f es positiva, f es estrictamente creciente, luego

f(a) < f(x) < f(b) x (a, b)

As si f(a) y f(b) son positivos, tambin lo es f(x); y si f(a) y f(b) son negativos, tambin
lo es f(x) x (a, b). Por tanto no existe ninguna raz en (a, b).

De manera anloga se razona en el caso en que f sea negativa en (a, b) (f estricta-
mente decreciente en (a, b)).

Observacin

Cuando en un intervalo la derivada no tenga signo constante, la funcin ser creciente
en unos puntos y decreciente en otros, y nada puede afirmarse sobre el nmero de races que
hay en l. Obsrvense las imgenes adjuntas


Proposicin

Sea f continua y derivable en el intervalo (a, b), y sean x
1
, x
2
dos ceros consecutivos de
f. Entonces existe a lo ms una raz de f(x) en el intervalo (x
1
, x
2
).

Demostracin

Supongamos que existiesen dos races
1
,
2
R,
1

2
distintas de f(x) = 0, en el in-
tervalo (x
1
, x
2
); y supongamos que
1
<
2
.

Como la funcin f verifica las condiciones del teorema de Rolle en el intervalo [
1
,
2
],
existira x
3
(
1
,
2
) tal que f(x
3
) = 0; lo que contradice la hiptesis de que x
1
y x
2
son races
consecutivas de f.

Mtodo grfico

Cuando la ecuacin f(x) = 0, tiene una ecuacin equivalente de la forma:

g(x) = h(x)

y las grficas de las funciones g y h son sencillas; por la equivalencia de las ecuaciones, las
races de la primera, son las abcisas de los puntos de interseccin de las grficas de las fun-
ciones g y h, que si una vez hecha la correspondiente representacin no son conocidas con
exactitud, al menos s ser posible dar intervalos en los que estn aisladas.

Ejemplo: Separar las races de la ecuacin:

f(x) = 2x 5 17 sen (x) = 0

La ecuacin f(x) = 0 es equivalente a la ecuacin:

2 5
x sen x
17 17
=

Representemos grficamente la recta

2 5
y x
17 17
=


y la funcin y = sen (x):

En el dibujo se observan los cinco nicos puntos de interseccin de estas dos grficas,
sus abscisas correspondern a las races de la ecuacin de partida, por tanto podemos concluir
que las cinco races se encuentran en los intervalos:

[3, 2]; [1, 0]; [2, 3]; [6, 7]; [8, 9]

3.2. APROXIMACIN DE LAS RACES DE UNA ECUACIN

Una vez separadas las races de una ecuacin, se procede a aproximarlas.

Una aproximacin de una raz , de una ecuacin f(x) = 0, con error menor o igual que
un cierto > 0, es cualquier nmero real x, tal que

e = |x | <

Supondremos en todo lo que sigue, salvo mencin contraria, que es la nica raz de
la ecuacin f(x) = 0, en el intervalo [a, b], y que el error de aproximacin e, es e < b a.

En general, para obtener una aproximacin c de , con error e , se procede as:


Se calcula, mediante algn criterio, un nmero c
1
. El valor |c
1
|, al igual que es
desconocido. Pero si se puede afirmar que |c
1
| , se toma como aproximacin de el va-
lor c = c
1
.

En caso contrario, por igual procedimiento, se elige otro nmero c
2
; si se puede asegu-
rar que |c
2
| < , se toma c = c
2
; en caso contrario repetimos el proceso hasta encontrar, si es
posible, un c
p
del que podamos afirmar que |c
p
| ; y ste es el que tomamos como aproxi-
macin de .

Los criterios o mtodos que se apliquen para la obtencin de los valores c
1
, c
2
, ... con-
viene que tengan la propiedad de proporcionar una sucesin {c
n
} convergente a , lo que ga-
rantizara la existencia de c
p
y la posibilidad de su obtencin.

Y, entre los mtodos que cumplen esta condicin, son ptimos los que menos clculo
requieran, que suelen coincidir con aqullos para los que p sea menor.

Exponemos a continuacin algunos de los mtodos ms usuales.

Mtodo I

Supongamos que f es continua y tiene una sola raz en el intervalo [a, b], y que toma
valores de signo contrario en los extremos de dicho intervalo.

Tomamos como

1
a b
c
2
+
=

Calculamos f(c
1
). Si f(c
1
) = 0, entonces = c
1
y concluimos: en caso contrario perte-
nece a uno slo de los intervalos [a, c
1
], [c
1
, b]; justo a aqul en que f toma valores de signo
contrario en los extremos, y que designaremos por [a
1
, b
1
].

Si b
1
a
1
(error mximo prefijado) se toma como aproximacin de el valor c
1
, o
cualquiera otro del intervalo [a
1
, b
1
]. Si b
1
- a
1
> , entonces se repite el proceso hasta llegar a
un c
p
que sea la raz o sea tal que la longitud del intervalo [a
p
, b
p
] sea . En tal caso, se toma
c
p
como aproximacin de , o cualquier otro punto del intervalo [a
p
, b
p
].


3.2.1. Mtodo de regula falsi

Supongamos que f es continua y tiene un solo cero en [a, b], donde toma valores de
signo contrario en los extremos.

Se elige como valor c
1
, la abscisa del punto de corte del eje OX con la recta que pasa
por los puntos (a, f(a)), y (b, f(b))

Figura 1

Figura 2

La ecuacin de la recta que pasa por los puntos (a, f(a)) (b, f(b)) es:

y f(a) x a
f(b) f(a) b a

=

y la abscisa del punto de corte con el eje OX (recta y = 0) es:

1
f(a) (b a) af(b) af(a) bf(a) af(a) af(b) bf(a)
c a
f(b) f(a) f(b) f(a) f(b) f(a)
+
= = =

Si c
1
no da la aproximacin requerida, calculamos el valor de f en c
1
y nos quedamos
con el intervalo [a, c
1
] o [c
1
, b] que est en las condiciones anteriores (la funcin tome valores
de signos contrario en los extremos); y as sucesivamente hasta llegar a un valor c
p
del que se
pueda asegurar que el error cometido es menor que el prefijado.

Puede ocurrir que al aplicar sucesivamente el mtodo, la longitud de los intervalos que
se van determinando tienda a 0 como ocurre en la (figura 2). Esta situacin, sin embargo, no es
general como puede apreciarse en la figura 1, en donde la raz queda siempre entre a y c
n
,
por lo que la longitud de los intervalos [a
n
, b
n
] = [a, c
n
] se mantiene siempre mayor o igual que
a. En estos casos el clculo del error exige otro procedimiento.

Proposicin

Si la ecuacin f(x) = 0, tiene una sola raz en el intervalo [a, b], en el que f es continua,
derivable y adems

a x b
f(c)
m mn f (x) 0 c (a,b) se verifica que: c
m

= >

Demostracin

Por el teorema del valor medio, (c, )/f(c) f() = (c ) f().

Tomando valores absolutos, y recordando que f() = 0, tenemos:

|f(c)| = |c | |f()| |c | m

de donde

f(c)
c
m

As el error que se comete al tomar c
p
como aproximacin de verifica

f(c)
e c
m
=

3.2.2. Mtodo de Newton o de las tangentes

A las condiciones anteriormente exigidas a f, aadimos la derivabilidad en el intervalo
(a, b).

Elegimos uno de los extremos del intervalo [a, b]; que designaremos por c, considera-
mos la recta tangente a la curva y = f(x) que pasa por el punto (c, f(c)); y tomamos como prime-

ra aproximacin de la raz , al valor c
1
de la abscisa del punto de interseccin de la tangente
con el eje OX.

La ecuacin de la recta tangente a y = f(x) en el punto de coordenada (c, f(c)), es:

y f(c) = f(c) (x c)

y al intersecar con el eje OX (recta y = 0), nos queda:

1
f(c)
c c
f (c)
=

Obtenido c
1
, aplicamos nuevamente mtodo I de Newton, considerando la tangente que
pasa por el punto (c
1
, f(c
1
)), y tomando como punto c
2
, la abscisa del punto de corte de la tan-
gente anterior con el eje OX. De esta manera tenemos:

1
2 1
1
f(c )
c c
f (c )
=

Obtenemos de esta forma una sucesin de puntos {c
n
} con:

n 1
n n 1
n 1
f(c )
c c
f (c )

Ahora bien, puede ocurrir a veces que al trazar las tangentes, nos salgamos fuera del
intervalo [a, b], lo que desaconseja el clculo de ms valores por este mtodo.


Veamos bajo qu condiciones es aconsejable su utilizacin pues nos asegura la con-
vergencia de la sucesin {c
n
} hacia la raz .

Proposicin

Si f(x) es tal que:

f(x) tiene una sola raz en el intervalo [a, b] D.
f(a) f(b) < 0.
f es derivable al menos hasta segundo orden en (a, b).
f(x) 0 x (a, b).
f es de signo constante en (a, b).

y tomando como extremo c aquel en que sig. (f(c)) = sig. (f), entonces se puede aplicar sucesi-
vamente el mtodo de Newton, siendo cada valor c
n
mejor aproximacin que c
n
1
, y adems {c
n
}
converge hacia .

Notar que bajo estas condiciones f es montona en [a, b], ya que al existir f la funcin
f es derivable y por tanto continua. Adems al ser f(x) 0 x (a, b), su signo es constante y
en consecuencia f es estrictamente creciente (si f > 0), o estrictamente decreciente (si f < 0).
Es ms, el signo de f queda determinado por el de f(a) (si f(a) > 0, f ha de ser decreciente y por
tanto f < 0, y si f(a) < 0, f es creciente y f > 0).

Demostracin

Veamos primero que c
1
(c, ), supuesto que c = a (anlogo si c = b).

Por el desarrollo de Taylor de la funcin f(x) en torno al punto x
0
= c = a

2
f ( )
f(x) f(c) f (c) (x c) (x c) (a, x) (1)
2

= + +

Evaluando en el punto x = , tenemos

2
f ( )
0 f( ) f(c) f (c) ( c) ( c)
2

= = + +

de donde:


2
f(c) f ( )
c ( c)
f (c) 2f (c)

=

con

2
f(c) f ( )
sig sig ( c)
f (c) 2f (c)

| | | |
=
| |

\ . \ .

pues sig (f(a)) = sig (f). Luego:

2
1
f(c) f ( ) f(c)
c ( c) c c c
f (c) 2f (c) f (c)

| |
= + > = >
|

\ .

Por tanto > c
1
> c, es decir c
1
(c, ).

Adems como el signo de f es constante en [a, ), y sig (f(c
1
)) = sig (f), y razonando de
igual forma tenemos c
2
(c
1
, ), y as sucesivamente obtenemos c
n
(c
n
1
, ), y en conse-
cuencia c
n
es mejor aproximacin que c
n
1
.

Por ltimo, como la sucesin que hemos construido (supuesto a = c), es montona cre-
ciente, acotada inferiormente por , entonces es convergente y su lmite ser:

n 1
n n n 1
n
n 1
f(c )
L lm c [a, ); y c c
f (c )
= = =

Tomando lmites en ambos miembros y teniendo en cuenta la continuidad de f y f en
[a, b] tenemos:

n 1
n
n n 1
n n
n 1
n
lm f(c )
f(L)
lm c lm c L L f(L) 0
lm f (c ) f (L)
= = =

con lo que

n
n
L lm c c.q.d.
= =

En las condiciones de la proposicin, y llamando:


M = sup. |f(x)| x [a, b]
m = min. |f(x)| x [a, b]

y sustituyendo en la expresin (1) para c
n
1
tenemos:

2 2 n 1
n 1 n 1 n n 1
n 1 n 1 n 1
2 2
n n 1
f(c ) f ( ) f ( )
c ( c ) c ( c )
f (c ) 2f (c ) 2f (c )
M M
e c ( c ) (b a)
m m

= =

= < <

3.2.3. Mtodo de iteracin

Dada una ecuacin f(x) = 0, el mtodo de iteracin se aplica como sigue:

Se obtiene una ecuacin de la forma x = g(x), equivalente a la dada. Por ejemplo, la
ecuacin f(x) = 0, es equivalente a las ecuaciones de la forma

x = x Kf(x) con K R, K 0 o
x = (Kx f(x))/K con K R, K 0

Tras ello elegimos un valor c [a, b], y tomamos como primera aproximacin de , el
valor c
1
= g(c), c
2
= g(c
1
), ..., c
n
= g(c
n
1
), ... (si g est definida para los valores que se van obte-
niendo).

Veamos una condicin suficiente para que ello se pueda hacer, y la sucesin {c
n
} con-
verja a la raz .

Proposicin

Supuesto que las ecuaciones f(x) = 0, y x = g(x), son equivalentes en [a, b], y que veri-
fican:

f slo tiene una raz en [a, b].
g es derivable en [a, b].
K (0,1)/|g(x)| < K < 1 x [a, b].

Entonces, c [a, b], la sucesin definida por:

c
1
= g(c), c
2
= g(c
1
), ..., c
n
= g(c
n
1
)

converge a la raz de ambas ecuaciones.

Adems, en estas condiciones, si c
p
es la aproximacin de , entonces:

p 1 p
p
c c
e c
1 K
+

= =

4. ECUACIONES ALGEBRAICAS

Como las funciones polinmicas son derivables hasta cualquier orden, para
ellas es vlido todo el estudio precedente.

Del teorema fundamental del lgebra, se deduce que el nmero de races
de una ecuacin algebraica con coeficientes reales es finito y no excede a su grado, y entonces
podemos acotarlas. Adems como el nmero de races reales y complejas es exactamente n, y
las races complejas se presentan a pares (si un nmero complejo es raz tambin lo es su con-
jugado), tenemos que el nmero de races reales es igual al grado n, menos un mltiplo de dos,
y por tanto si n es impar, la ecuacin f(x) = 0 tiene al menos una raz real.

Vamos a completar un poco lo visto hasta ahora, acotando las races de la
ecuacin y precisando algunos resultados sobre separacin.

4.1. RACES RACIONALES DE UNA ECUACIN ALGEBRAICA CON COEFICIEN-
TES ENTEROS

Dado el polinomio p(x) con coeficientes enteros:

p(x) = a
0
+ a
1
x + a
2
x
2
+ ... + a
n
x
n

Si los coeficientes fueran racionales, multiplicando por el m.c.m. de los denominadores,
se transformara en una ecuacin con coeficientes enteros.

Proposicin

Condicin necesaria para que la fraccin irreducible r/s sea solucin de la ecuacin
p(x) = 0, es que r divida al trmino independiente a
0
, y s divida al trmino de grado n, a; r|a
0
y
s|a
n
.


Demostracin

La demostracin de este resultado se encuentra hecha en el tema anterior.

Consecuencias

Como consecuencias de este resultado tenemos:

a) Las posibles races enteras de la ecuacin p(x) = 0, son los divisores de a
0
.
b) Si el coeficiente principal de la ecuacin (a
n
), es uno (a
n
= 1), la ecuacin no tiene
races racionales no enteras.

4.2. ACOTACIN DE LAS RACES DE UNA ECUACIN ALGEBRAICA CON COE-
FICIENTES REALES

En lo que sigue supondremos que en la ecuacin p(x) = 0, p(x) es un polinomio de gra-
do n, con coeficientes reales y tal que a
n
0, a
0
0. Tambin supondremos que en caso de
tener coeficientes enteros, no tiene races enteras ni racionales (ya las habamos calculado por
los procedimientos anteriores).

El problema de acotacin de races, consiste en determinar una cota inferior y una cota
superior del conjunto de las races de p(x) = 0. Calculemos primero la cota superior.

4.2.1. Mtodo de acotacin de Laguerre

Si al dividir p(x) por (x a), a > 0, todos los coeficientes del polinomio cociente y el re-
sto son no negativos, entonces el nmero a es una cota superior de las races de p(x) = 0.

Demostracin

Tenemos por la divisin eucldea que p(x) = (x a) c(x) + r, donde c(x) es un polino-
mio con todos sus coeficientes positivos, y r R, r > 0.

Luego c(x) > 0 x > 0. En particular si x > a, c(x) > 0.

Adems (x a) > 0 si x > a, y en consecuencia p(x) > 0 si x > a a es una cota supe-
rior de las races.


4.2.2. Mtodo de Newton

Si a es tal que los nmeros p(a), p(a), p(a), ..., p
n)
(a) son no negativos, entonces a es
una cota superior de las races de la ecuacin algebraica p(x) = 0.

Demostracin

Desarrollando p(x) por la frmula de Taylor en torno del punto a, tenemos:

n)
n
p(a) p (a)
p(x) p(a) (x a) (x a)
1! n!
= + + + "

Como p(a), p(a), ..., p
n)
(a) > 0; y (x a)
i
> 0 si x > a (i = 1,2, ..., n), se tiene que p(x) > 0
si x > a a es una cota superior.

En la prctica el mtodo se aplica de la siguiente forma:

Supuesto p
n)
> 0, se elige un nmero entero e
n
1
para el que la derivada (n 1)-sima
sea positiva p
n1)
(e
n
1
) > 0. Si p
n2
(e
n
1
) > 0, entonces tomamos e
n
2
= e
n
1
, en caso contrario ele-
gimos e
n
2
> e
n
1
para el cual p
n2)
(e
n
2
) > 0, y as sucesivamente.

Clculo de una cota inferior

Si en una ecuacin algebraica se sustituye x por x, se obtiene una ecuacin p(x) = 0,
cuyas races son opuestas a las de la ecuacin p(x) = 0. As si K es una cota superior de las
races de p(x), entonces K ser una cota inferior de las races de p(x) = 0.

Por tanto el problema de acotacin de races queda resuelto si calculamos cotas supe-
riores para las races de p(x) = 0 y p(x) = 0.

Ejemplo

Dada la ecuacin x
5
x
4
9x
3
+ 10x
2
11x + 9 = 0, para calcular una cota inferior de
sus races, calcularemos una cota superior de las races de

(x)
5
(x)
4
9 (x)
3
+ 10 (x)
2
11 (x) + 9 = 0,
x
5
x
4
+ 9x
4
+ 10x
2
+ 11x + 9 = 0


4.3. SEPARACIN DE RACES

Todo lo desarrollado anteriormente es vlido para ecuaciones algebraicas de grado n,
p(x) = 0. Vamos a dar unos resultados que completan a los que ya vimos, y alguno ms.

Proposicin

Si una funcin polinmica toma valores de signo contrario en los extremos del intervalo
[a, b], entonces en dicho intervalo existe un nmero impar de races de la ecuacin p(x) = 0; y
si toma valores de igual signo en los extremos, entonces hay en dicho intervalo un nmero par
(eventualmente ninguna) de races de p(x) = 0. Las races mltiples se consideran con su orden
de multiplicidad.

Demostracin

Sean r
1
, r
2
, ..., r
k
las races de p(x) = 0 en el intervalo (a, b). Se verifica que:

p(x) = (x r
1
) (x r
2
) ... (x r
k
) q(x) con q(x) 0 en el intervalo (a, b).

Evaluando en x = a, x = b; tenemos

p(a) = (a r
1
) (a r
2
) ... (a r
k
) q(a)
p(b) = (b r
1
) (b r
2
) ... (b r
k
) q(b)

y signo (q(a)) = signo (q(b)), pues q(x) es un polinomio y por tanto continuo en (a, b), y si hubie-
ra cambio de signo forzosamente debera haber en (a, b) una raz de q(x), que sera raz de
p(x).

Por otra parte tenemos que (a r
i
) < 0, (b r
i
) > 0 i, de donde si:

a) Signo (p(a)) signo (p(b)) signo [(a r
1
) ... (a r
k
)] signo [(b r
1
) ... (b r
k
)]
lo que exige que haya un nmero impar de factores k es impar.
b) Signo (p(a)) = signo (p(b)) signo [(a r
1
) ... (a r
k
)] = signo [(b r
1
) ... (b r
k
)]
lo que exige que haya un nmero par de factores, o ninguno k es par o nulo.

A continuacin enunciaremos otros resultados, cuya demostracin no la haremos por
exceder de los objetivos de este tema.


4.3.1. Mtodo de Sturm

Dado un polinomio de grado n, p(x); construimos la siguiente sucesin de polinomios:

Calculamos p(x) y efectuamos la divisin eucldea entre p(x) y p(x),
p(x) = p(x) q
1
(x) + r
1
(x); y nos quedamos con r
1
(x) = p
1
(x).

Ahora dividimos p(x) entre p
1
(x), p(x) = p
1
(x) q
2
(x) + r
2
(x); y nos quedamos con
r
2
(x) = p
2
(x); y as sucesivamente hasta que lleguemos a un resto que sea una constante.

El mtodo de Sturm nos dice: dado un polinomio p(x), que no tiene races mltiples en
[a, b], y tal que p(a) p(b) 0. Construimos la sucesin anteriormente descrita:

{p(x), p(x), p
1
(x), ..., p
n
(x)}

Entonces el nmero de races reales de p(x) = 0, en el intervalo (a, b) es igual a V(a)
V(b), siendo

V(a) = Var {p(a), p(a), p
1
(a), ..., p
n
(a)}

donde Var indica el nmero de veces que cambia de signo ese conjunto de nmeros.

V(b) = Var {p(b), p(b), p
1
(b), ..., p
n
(b)}

Si p(x) tuviera races mltiples en [a, b], entonces stas seran tambin races de p(x),
por lo que son races de q(x) = M.C.D. {p(x), p(x)}; y dividiendo por q(x) estamos en el caso
anterior.

Ejemplo

Sea

p(x) = x
4
4x + 1
p(x) = 4x
3
4
= + + =
| | | |
= + + + =
| |
\ . \ .
1
2
1 2
1
p(x) p(x) x ( 3x 1) p (x) 3x 1
4
4 4 4 104 104
p(x) p (x) x x p (x)
3 9 27 27 27


Tenemos la sucesin:

{x
4
4x + 1; 4x
3
4; 3x 1; 104/27}

y as, por ejemplo, en el intervalo [0, 2], tenemos

V(0) = Var {1, 4, 1, 104/27} = 2
V(2) = Var {9, 28, 5, 104/27} = 0

lo que implica que en el intervalo [0, 2] hay dos races.

Otros resultados menos precisos que el mtodo de Sturm, aunque menos laboriosos,
son:

4.3.2. Teorema de Descartes

El nmero de races positivas distintas de un polinomio

p(x) = a
0
+ a
1
x + a
2
x + ... + a
n
x
n

es igual o inferior en un nmero par a:

Var [a
n
, a
n
1
, a
n
2
, ..., a
1
, a
0
}

4.3.3. Teorema de Budan-Fourier

Dado un polinomio de grado n, p(x) y un intervalo [a, b] tal que p(a) p(b) 0. Entonces
el nmero de races (contadas con su multiplicidad) de la ecuacin p(x) = 0, es igual a:
V(a) V(b) 2k/k N, siendo V(x) = Var {p(x), p(x), p(x), ..., p
n)
(x)}.

RESUMEN

A lo largo de este tema hemos visto numerosos mtodos, fruto del trabajo intelectual de
insignes matemticos, para calcular de forma aproximada las races reales de cualquier ecua-
cin (fundamentalmente racionales); pero todos ellos son muy laboriosos.

Hemos comenzado el tema haciendo una introduccin a las ecuaciones, lo que se en-
tiende por ecuacin y solucin y una clasificacin.


EDI TA Y DI STRI BUYE:

Luego hemos pasado a la resolucin de aquellas ecuaciones que estn totalmente es-
tudiadas, son las polinmicas de grado menor o igual que tres.

En el apartado de aproximacin de races hay dos conceptos que hay que tener muy
claros, por un lado la separacin de races y por otro el de aproximacin a una de ellas.

La incorporacin del ordenador al mundo actual, ha permitido simplificar de manera no-
table estos mtodos puesto que la mquina realiza los clculos de manera rpida y eficiente.

Ecuaciones de Primer Grado

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ecuaciones de Primer Grado

Cargado por

Copyright:

Formatos disponibles

Desarrollo de los temas

También podría gustarte