Races de ecuaciones

Races de
ecuaciones

Races reales de
ecuaciones
algebraicas y
trascendentales

Mtodos de intervalos

Mtodo de biseccin

Races reales y
complejas de un
polinomio

Mtodos abiertos

Mtodo de Lin

Mtodo de Bairstow

Mtodo de NewtonRaphson

Mtodo del punto fijo

Races de ecuaciones
Sea y f ( x) . Los valores de x que hacen que y=0 se denominan
races de la ecuacin. El teorema fundamental del lgebra indica que
todo polinomio de grado n tiene n races. En el caso de las races
reales, se tiene que corresponden a los valores x que hacen que la
funcin corte el eje de las abscisas:
y
f(x)=cos(x)

x1

x2

x3

x4

Las races de un polinomio pueden ser reales o complejas. Si un

polinomio tiene coeficientes a0 , a1 , a2 ,...an 1 , an reales, entonces todas las
races complejas siempre ocurrirn en pares conjugados complejos.
Por ejemplo, un polinomio cbico tiene la siguiente forma general:
f ( x ) a0 x 3 a1 x 2 a2 x a3
El teorema fundamental del lgebra indica que un polinomio de grado
n, tiene n races. En el caso del polinomio cbico pueden darse los
siguientes casos:

Tres races reales distintas.

Una raz real con multiplicidad 3.

Una raz real simple y una raz real con multiplicidad 2.

Una raz real y un par conjugado complejo.

Ejemplo. Las races de los siguientes polinomios se resumen a

continuacin.
1 Tres races reales distintas:
Races reales distintas

50

f1 ( x) x 3 3 x 2 x 3
( x 3)( x 1)( x 1)

x1 3, x2 1, x3 1
f1(x)

-50

-100

-150

-200
-5

-4

-3

2 Una raz real con multiplicidad 3:

-2

-1

Races reales triples

50

f 2 ( x) x 3 6 x 2 12 x 8

( x 2)3

-50

x1 2, x2 2, x3 2
f2(x)

-100
-150
-200
-250
-300
-350
-5

-4

-3

-2

-1

3 Una raz real simple y una raz real con multiplicidad dos:
Raz sencilla, raz doble

100

f 3 ( x ) x 3 12 x 16
( x 4)( x 2) 2

x1 4, x2 2, x3 2
f3(x)

50

-50
-5

-4

-3

-2

-1

4 Una raz real y un par conjugado complejo:

Raz sencilla, races complejas

100

f 4 ( x) x 3 2 x 2 3 x 10
( x 2)( x (2 i))( x (2 i ))

50

x1 2, x2 2 i, x3 2 i
f4(x)

-50

-100

-150
-5

-4

-3

-2

-1

Para su estudio, las funciones pueden clasificarse en algebraicas y

trascendentales.
Funciones algebraicas
Sea g=f(x) la funcin expresada como
f n y n f n 1 y n 1 K f1 y f 0 0
Donde fi es un polinomio de orden i en x. Los polinomios son un caso
simple de funciones algebraicas que se representan generalmente
como
f n ( x) a0 a1 x a2 x 2 K an x n
Donde n es el orden del polinomio.
Ejemplo.
f2(x)=1-2.37x+7.5x2
f6(x)=5x2-x3+7x6
Funciones trascendentales
Son aquellas que no son algebraicas. Comprenden a las funciones
trigonomtricas, exponenciales, logartmicas, entre otras.
Ejemplo.
f ( x ) ln x 2 1
f ( x) e 0.2 sen(3 x 5)
Los mtodos descritos en esta unidad requieren que la funcin sea
diferenciable en el intervalo donde se apliquen. Si los mtodos se
utilizan en funciones no diferenciables o discontinuas en algunos
puntos, llegar al resultado depender, aleatoriamente, de que
durante la aplicacin del mtodo no se toquen esos puntos.
Por otra parte, las races de las ecuaciones pueden ser reales o
complejas. Los mtodos numricos estndar para encontrar races
pueden clasificarse en dos rubros:
1 La determinacin de las races reales de ecuaciones algebraicas
y trascendentales. Las tcnicas a emplear en estos casos se
disearon con el fin de encontrar el valor de una raz simple de
acuerdo con un conocimiento previo de su posicin aproximada.
2 La determinacin de todas las races reales y complejas de un
polinomio, para lo cual los mtodos numricos estn diseados
especficamente para polinomios. Determinan sistemticamente
todas las races del polinomio en lugar de hacerlo slo con una,
dada la posicin aproximada.

Races reales de ecuaciones algebraicas y trascendentales

En general, los mtodos para encontrar las races reales de
ecuaciones algebraicas y trascendentales se dividen en mtodos de
intervalos y en mtodos abiertos.
Los mtodos de intervalos aprovechan el hecho de que una funcin
en forma tpica cambia de signo en la vecindad de una raz. Reciben
dicho nombre debido a que se necesita de dos valores iniciales que
deben encapsular a la raz. A travs de este tipo de mtodos se va
reduciendo gradualmente el tamao del intervalo de manera que la
aplicacin repetida de los mtodos siempre generan aproximaciones
cada vez ms cercanas al valor real de la raz, por lo que se dice que
son mtodos convergentes.
Los mtodos abiertos, en contraparte, se basan en frmulas que
requieren de un solo valor inicial x (aproximacin inicial a la raz).
Algunas veces, estos mtodos se alejan del valor real de la raz
conforme crece el nmero de iteraciones, es decir, divergen .
En esta unidad se estudiarn un mtodo de intervalo conocido como
mtodo de biseccin y dos mtodos abiertos: el mtodo del punto fijo
y el mtodo de Newton-Raphson.

Races reales y complejas de un polinomio

Los mtodos vistos hasta el momento permiten obtener las races
reales de ecuaciones algebraicas y trascendentales. Sin embargo,
ninguno de ellos permite el clculo de las races complejas de los
mismos. Esta seccin est dedicada al estudio de dos mtodos que
permiten obtener las races, tanto reales como complejas, de un
polinomio.

Mtodo de Lin
Este mtodo en s mismo no encuentra las races del polinomio, sino
una expresin de la cual pueden deducirse las races. La ventaja de
este mtodo es que a travs de ste pueden obtenerse todas las
races del polinomio, ya sean reales o complejas.
El mtodo de Lin consiste en factorizar una ecuacin de grado n en un
polinomio cuadrtico por un polinomio de grado n-2, de manera que
se obtienen las races por parejas del factor cuadrtico, y se repite el
procedimiento en tanto sea necesario.
Sea P( x) 0 una ecuacin algebraica de la forma
P ( x) a0 x n a1 x n 1 a2 x n 2 K an 1 x an (2.5)

Obtengamos un factor cuadrtico de la forma

x 2 px q
Y expresemos nuevamente (2.5)
P ( x) ( x 2 px q )(b0 x n 2 b1 x n 3 b2 x n 4 K bn 3 x bn 2 ) bn 1 x bn (2.6)
donde bn 1 x y bn son los residuos del polinomio.
Para determinar los coeficientes bi ; i 0,1, 2,K , n 2 del
reducido efectuamos la multiplicacin en (2.6)

polinomio

P ( x) b0 x n pb0 x n 1 qb0 x n 2 b1 x n 1 pb1 x n 2 qb1 x n 3

b2 x n 2 pb2 x n 3 qb2 x n 4 K bn 3 x 3 pbn3 x 2 qbn 3 x
bn 2 x 2 pbn 2 x qbn 2 bn 1 x bn

(2.7)

Ahora, igualamos los coeficientes de las mismas potencias en (2.5) y

(2.7)
a0 b0
a1 b1 pb0
a2 b2 pb1 qb0
M
an 1 bn 1 pbn2 qbn3
an bn qbn 2
Y despejando los coeficientes del polinomio reducido
b0 a0
b1 a1 pb0
b2 a2 pb1 qb0
M
bn 1 an 1 pbn 2 qbn 3
bn an qbn 2
De manera que los coeficientes del polinomio reducido estn dados
por

bk ak pbk 1 qbk 2 ;

k 0,1, 2,K , n 2;

b1 b2 0

Y los residuos por

bn1 an 1 pbn 2 qbn 3
bn an qbn 2
2
Para que x px q sea un factor del polinomio P(x) es necesario que
bn 1 y bn sean iguales a cero

0 an 1 pbn 2 qbn3
0 an qbn 2
(2.8)

Despejando a p y q de (2.8):
an 1 qbn 3
bn 2
a
q n
bn 2
(2.9)
p

Si se conocen los valores de p y q podemos calcular los coeficientes

bi ; i 0,1, 2,K , n 2 del polinomio reducido.
A partir de valores iniciales para p y q y mediante un proceso iterativo
se determinan estos valores con la precisin que se requiera. Para
ello, se definen los incrementos p y q :
p p * p; q q * q (2.10)

Donde p* y q* son las nuevas aproximaciones

respectivamente, y estn dadas por (2.9)

de

q,

an 1 qbn 3
bn 2
a
q* n
bn 2
(2.11)
p*

Sustituyendo (2.11) en (2.10)

an 1 qbn 3
p
bn 2
a
q n q
bn 2
p

O sea
an 1 pbn 2 qbn 3 bn 1

bn 2
bn 2
a qbn 2
b
q n
n
bn 2
bn 2
p

Esto es
bn 1
bn 2
b
q* q n
bn 2
p* p

El mtodo converge cuando bn 1 , bn , p y q tienden a cero, y para

cualquiera de ellos se puede fijar la tolerancia en el error.
Note que si bn 2 0 no es posible aplicar el mtodo.
El algoritmo del mtodo consiste en los siguientes pasos:
1 Hacer p=q=0.

2 Calcular los coeficientes del polinomio reducido

bk ak pbk 1 qbk 2 ;

k 0,1, 2,K , n 2;

b1 b2 0

Y los residuos
bn1 an 1 pbn 2 qbn 3
bn an qbn 2
3 Verificar que bn 2 0 y calcular las nuevas aproximaciones de p
yq
bn 1
bn 2
b
q* q n
bn 2
p* p

Si bn 2 0 se concluye que no es posible aplicar el mtodo para

resolverle polinomio en cuestin.
4 Sea T la tolerancia deseada (el margen de error permitido). Si
p * p <T y q * q <T se han encontrado aproximaciones a los
valores de p y q con un margen de error menor a T (fin del
mtodo). De lo contrario es necesario hacer una nueva iteracin
comenzando en el paso 2 haciendo p=p* y q=q*.
Ejemplo. Obtn una aproximacin a las races del siguiente polinomio
aplicando el mtodo de Lin considerando una tolerancia de 0.01 en
los valores de p y q y redondeo a tres cifras significativas:
x 4 x3 6 x 2 3x 4 0

Solucin. Tenemos que

a0 1, a1 1, a2 6, a3 3, a4 4; n 4
Sean p=q=0 los valores iniciales.
Los coeficientes del polinomio reducido estn dados por

b0 a0 1
b1 a1 pb0 (1) (0)(1) 1
b2 a2 pb1 qb0 (6) (0)(1) (0)(1) 6

los residuos, por

b3 a3 pb2 qb1 (3) (0)(6) (0)(1) 3
b4 a4 qb2 (4) (0)(6) 4

Como bn 2 b2 0 , puede
aproximaciones son

aplicarse

el

mtodo

las

nuevas

b3
0.5
b2
b
q* q 4 0.667
b2
p* p

Tenemos entonces que p * p =0.5 y que q * q =0.667 y es

necesario que ambos valores sean menores a 0.01, por lo que es
necesario hacer una nueva iteracin.
Los resultados de cada iteracin se resumen en la siguiente tabla:
i b0

b1

0
1
2
3

-1
-0.5
-0.475
-0.471

1
1
1
1

b2
6
5.08
4.96
4.94

b3
-3
-0.127
-0.0222
-0.00711

b4

p*

4
0.612
0.0965
0.0184

-0.5
-0.525
-0.529
-0.530

q*
0.667
0.787
0.806
0.810

p* p

q * q

0.5
0.025
0.004
0.001

0.667
0.12
0.019
0.004

4
3
2
El polinomio P ( x) x x 6 x 3 x 4 0 puede expresarse entonces
como

P ( x) ( x 2 0.530 0.810)( x 2 0.471 4.94) 0.00711x 0.0184 0

Como se alcanz la tolerancia deseada, asumimos que el residuo se
puede despreciar, y tenemos que
P ( x) ( x 2 0.530 0.810)( x 2 0.471 4.94) 0
De donde puede concluirse que las races del polinomio son

x1 0.265 i 0.86, x2 0.265 i 0.86, x3 0.236 i 2.21, x4 0.236 i 2.21

Mtodo de Bairstow
Este mtodo depende de dividir el polinomio entre un factor
cuadrtico. Sea P(x)=0, el polinomio general de grado n de la forma
P ( x) a0 x n a1 x n 1 a2 x n 2 K an 1 x an
Sabemos que al obtener el factor cuadrtico
x 2 px q
tenemos que
P ( x) ( x 2 px q )(b0 x n 2 b1 x n 3 b2 x n 4 K bn 3 x bn 2 ) bn 1 x bn
Al igual que en el mtodo de Lin, podemos concluir que

b0 a0
b1 a1 pb0
b2 a2 pb1 qb0
M
bn 1 an 1 pbn 2 qbn 3
bn an qbn 2
y que los coeficientes del polinomio reducido estn dados por

bk ak pbk 1 qbk 2 ;

k 0,1, 2,K , n 2;

b1 b2 0

y los residuos por

bn1 an 1 pbn 2 qbn 3
bn an qbn 2

Bairstow estudi la posibilidad de encontrar aproximaciones de los

residuos bn 1 y bn a travs de una serie de Taylor para las variables
independientes p* p p y q* q q :

bn 1
b
p n 1 q
p
q
b
b
bn ( p*, q*) bn n p n q
p
q

bn 1 ( p*, q*) bn 1

Igualando a cero tenemos

bn 1
b
p n 1 q bn 1
p
q

bn
b
p n q bn
p
q
De esta forma, pueden calcularse los valores de p y q al resolver el
sistema de ecuaciones lineales y, consecuentemente, obtener los
valores de las nuevas aproximaciones p* p p y q* q q .
El algoritmo del mtodo consiste en los siguientes pasos:
1 Hacer p=q=0.
2 Calcular los coeficientes del polinomio reducido

bk ak pbk 1 qbk 2 ;

k 0,1, 2,K , n 2;

b1 b2 0

Y los residuos
bn1 an 1 pbn 2 qbn 3
bn an qbn 2
3 Calcular las derivadas parciales de los residuos bn 1 y bn :

 bn 1 bn1 bn bn
,
,
,
p q p q
4 Resolver el sistema

bn 1
b
p n 1 q bn 1
p
q

bn
b
p n q bn
p
q
5 Obtener los valores de las nuevas aproximaciones p* p p y
q* q q .
6 Sea T la tolerancia deseada (el margen de error permitido). Si
p * p <T y q * q <T se han encontrado aproximaciones a los
valores de p y q con un margen de error menor a T (fin del
mtodo). De lo contrario es necesario hacer una nueva iteracin
comenzando en el paso 2 haciendo p=p* y q=q*.
Ejemplo. Obtn una aproximacin a las races del siguiente polinomio
aplicando el mtodo de Bairstow considerando una tolerancia de 0.01
en los valores de p y q y redondeo a tres cifras significativas:
x 4 x3 6 x 2 3x 4 0

Solucin. Tenemos que

a0 1, a1 1, a2 6, a3 3, a4 4; n 4
Sean p=q=0 los valores iniciales.
Los coeficientes del polinomio reducido estn dados por

b0 a0 1
b1 a1 pb0 (1) (0)(1) 1
b2 a2 pb1 qb0 (6) (0)(1) (0)(1) 6
los residuos, por
b3 a3 pb2 qb1 (3) (0)(6) (0)(1) 3
b4 a4 qb2 (4) (0)(6) 4

y las derivadas parciales, por

b3
b2 6.00;
p
b4
0.00;
p
Resolviendo el sistema

b3
b1 1.00
q
b4
b2 6.00
q

6.00p 1.00q 3.00

0.00p 6.00q 4.00

tenemos que p 0.389 y q 0.667 . Entonces p* p p 0.389 y

q* q q 0.667
Se observa que p * p =0.389 y que q * q =0.667 y es necesario
que ambos valores sean menores a 0.01, por lo que es necesario
hacer una nueva iteracin.

Los resultados de cada iteracin se resumen en la siguiente tabla:

i b0

b1

0
1
2
3
4

-1
-0.611
-0.632
-0.499
-0.479

1
1
1
1
1

b2
6
5.10
4.98
4.99
4.95

b3
-3
-0.609
-0.672
-0.118
-0.0369

b4

p*

4
0.598
0.0957
0.183
0.0301

-0.389
-0.368
-0.501
-0.521
-0.528

q*
0.667
0.784
0.765
0.802
0.808

p* p

q * q

0.389
0.021
0.133
0.02
0.007

0.667
0.117
0.019
0.037
0.006

4
3
2
El polinomio P ( x) x x 6 x 3 x 4 0 puede expresarse entonces
como

P ( x) ( x 2 0.528 0.808)( x 2 0.479 4.95) 0.0369 x 0.0301 0

Como se alcanz la tolerancia deseada, asumimos que el residuo se
puede despreciar, y tenemos que
P ( x) ( x 2 0.528 0.808)( x 2 0.479 4.95) 0
De donde puede concluirse que las races del polinomio son

x1 0.264 i0.86, x2 0.264 i 0.86, x3 0.240 i 2.21, x4 0.240 i 2.21