CAPITULO I.

RAICES DE LAS ECUACIONES ALGEBRAICAS Y TRASCENDENTES

La mayora de las ecuaciones algebraicas y trascendentes no pueden ser resueltas en una forma
exacta y solamente por medio de los mtodos numricos. Cualquiera de estas ecuaciones puede ser
reducida a la forma.
0 ) ( = x f (1.1)
Aqu y en adelante se asume que la funcin ( ) f x dentro del intervalo | | b a x , e , donde se buscan las
races, es continua. El valor x = para el cual 0 ) ( = f se llama la raz de la ecuacin (4.1). El
procedimiento para resolver la ecuacin (4.1) por mtodos numricos, generalmente consiste en dos
etapas:
1) El proceso de la separacin de las races, que consiste en la fragmentacin del intervalo | | , a b
en los segmentos | |
1 1 1 1
, , , 1, 2, , , , ,
i i i i n
i n a b o o o o o o
+ + +
< = = = ( ) b a < > | o , dentro de los cuales
comprende una y solo una raz de la ecuacin (4.1)
2) El proceso iterativo del aumento de la precisin hasta lograr la tolerancia sugerida que
cosiste generalmente en el estrechamiento del intervalo, donde se halla la raz de la ecuacin (1.1).
Para estos dos procesos son tiles los teoremas siguientes:

Teorema 1: Si una funcin continua ) (x f adquiere valores de distinto signo en los extremos del
segmento | | | o, , es decir 0 ) ( ) ( < | o f f , entonces dentro del segmento existe por lo menos una raz
de la ecuacin 0 ) ( = x f .
Teorema 2 : Si y x son valores exacta y aproximada, respectivamente, de una raz de la ecuacin
0 ) ( = x f que estn situadas dentro del segmento | | | o, donde se cumple la condicin ( ) f x m >
| | ( )
, x a b e , entonces
m
x f
x
) (
s (1.2)
El teorema 1 puede utilizarse para la separacin de las raices y la formula (4.2) para estimar el error
de una solucin aproximada encontrada en un proceso iterativo. A continuacin consideremos algunos
mtodos ms sencillos que se utilizan en la practica para separar las races y aumentar la precisin de
los procesos iterativos.

1.1 EL METODO DE BISECCIN

Al inicio consideramos el caso simple cuando la ecuacin (4.1) dentro del intervalo | | , a b posea solo una
raz y se cumple la condicin 0 ) ( ) ( < b f a f . Para hallar la raz dentro del segmento | | b a, ahora lo
dividimos por la mitad; si ( ) ( 2) 0 f a b + = , entonces la raz es encontrada en una forma exacta
( ) 2 a b = + , y en el caso contrario entre los dos sub-segmentos ( ) , 2 a a b + (

y ( ) 2, a b b + (


escogeremos uno, en el cual la funcin ) (x f en los extremos posee valores con los signos contrarios.
El nuevo segmento lo denotaremos | |
1 1
, b a , de nuevo repetiremos la divisin del segmento por la mitad
y seleccin del nuevo sub-segmento, etc. Podemos afirmar que en cada paso de este proceso iterativo
el valor aproximado de la raz ( ) 2
n n n
x a b = + correspondiente al punto medio de los sub-segmentos,
| | | | | |
n n
b a b a b a , ,..., , , ,
2 2 1 1
encajados uno a otro, para los cuales se cumplen las condiciones
( ) 2
n
n n
b a b a = y 0 ) ( ) ( <
n n
b f a f . Ya que los valores exacto y aproximado
n
x estn ubicados
dentro el mismo sub-segmento, es evidente que ( ) 2
n
n n n
x b a b a s = . Segn esta desigualdad
para hallar un valor la raz aproximada
n
x con la precisin sugerida c , es decir cuyo error absoluto
n
x c s no supera la tolerancia c debe satisfacer la siguiente condicin ( ) c < a b
n
2
1
. Esto nos
permite evaluar el nmero de las iteraciones n , necesarias para hallar la raz de la ecuacin con la
tolerancia c sugerida, usando el mtodo de bisecciones:
( ) ( )
2
log n b a c > (1.3)
Por ejemplo si 0 . 1 = a b y
8
10

= c , el nmero de iteraciones necesarias para hallar la raz con la

precisin sugerida divisiones, , usando el mtodo de bisecciones es
8
2
log 10 26.6 n > ~ .
El metodo descrito soluciona numricamente la ecuacin y recibe el nombre de METODO DE
BISECCIN o DICOTOMA. Este mtodo tiene una sola insuficiencia, el proceso iterativo se
converge ms lentamente en la comparacin con otros mtodos. Pero esta insuficiencia se compensa
por otras ventajas relacionadas con la mayor estabilidad, su simplicidad y facilidad de controlar la
precisin y programacin. A continuacin presentamos el algoritmo correspondiente a este mtodo.
( , , , ) Function Raiz fun a b eps
| + + + +

(*Parmetros de entrada: funcin externa fun(x), extremos del segmento a, b y la tolerancia eps *)
(*Parmetro de salida Raiz*)
1 Assign , , ( ), ( ) XI a XD b YI fun XI YD fun XD
2 Assign ( ) 2, ( ), X XI XD Y Fun X ANCH XD XI +
3 WHILE ( 0 Y = OR ANCH eps > )

{
{ }
{ }
( ) }
( 0)
Assign ,
Assign ,
Assign 2, ( ),
IF YI Y
XD X YD Y
ELSE
XI X YI Y
X XI XD Y fun X ANCH XD XI
- <


+

4 Assign RAIZ X
En este programa se busca la nica raz de la ecuacin ( ) 0 fun x = dentro del intervalo
( ) , x a b e con la tolerancia c denotada como el parmetro de entrada eps. Los extremos del segmento
inicial y de los sub-segmentos estn denotados como XI y XD (Izquierda y Derecha), respectivamente
y estas mismas denotaciones se utilizan para designar los extremos de los intervalos despus de la
divisin. El programa anterior puede ser utilizado cuando dentro del segmento ( ) , a b existe solo una
raz.
Pero este mismo mtodo adems puede ser utilizado para separar las races en el caso cuando
el nmero de las races difiere de uno. Suponemos que la ecuacin ( ) 0 fun x = dentro del intervalo
( ) , x a b e puede tener varios races o ninguno y adems se conoce que por alguna razn la distancia
entre las races no supera el valor h (a veces este valor se conoce o se puede adivinar)

_ ( , , , , , ( )) Function All Raiz fun a b h eps nraiz raices
+ + + + + | |

(*Parmetros de entrada: funcin externa fun(x), extremos del segmento a, b,distancia minima entre
las races y la tolerancia eps *)
(*Parmetros de salida: el nmero de races encontradas nraiz, el arreglo de las races encontradas
races(i), i=1,2,,nraiz*)
1 Assign 0, , , ( ), ( ) nraiz XI a XD XI h YI Fun XI YD Fun XD +
3 WHILE ( XD b < ) DO

{
}
( ) { }
( 0)
Assign 1, ( ) ( , , , )
Assign , , ,
IF YI YD
nraiz nraiz raices nraiz Raiz fun XI XD eps
XI XD YI YD XD XI h YD fun XD
- <
+
+


A veces se encuentran problemas en que el nmero de races no es conocido, pero se sabe que la
distancia mnima de las raices es h. En este caso el algoritmo anterior puede ser utilizado para hallar
todas las raices
N
X X X ,.., ,
2 1
y su numero N. A continuacin consideremos un ejemplo
Ejemplo 1. En la teora de los gases para describir la relacin entre la presin P el volumen V y la
temperatura T de un gas real a veces se utiliza la ecuacin del estado de Van der Waals (1873):
( )
2
a
P V b RT
V
| |
+ =
|
\ .
(1.4)
En esta ecuacin, a y b son constantes positivas; cuando son cero, lo que se obtiene es la ecuacin del
gas ideal. Esta ecuacin describe la transformacin de un gas en un lquido relacionada con la
transicin de fase. Esta transicin de fase se ve claramente al expresar de esta ecuacin el volumen V
en funcin de la presin P y de la temperatura T y para esto hay que resolver una ecuacin cbica.
Primero, utilizaremos unidades adimensionales (este primer paso casi siempre se utiliza en los
mtodos computacionales para tratar modelos matemticos para disminuir el nmero de los
parmetros y reducir las variables a la misma escala);
( )
2 2
;
a
V V T T P V b RT
V
| |
|
| |
= = + =
|
\ .

Se ve que si se cumplan las condiciones ; b b R | = = la ecuacin de Van der Waals: se reduce a la
siguiente:
( )
2 2
1 ; ; ;
c a b
P V T c V bV T T
R V b
| |
+ = = = =
|
\ .
(1.5)
La ecuacin (1.5) muestra claramente que para temperaturas muy bajas cuando 0 T el gas se
transforma en un cristal cuyo volumen adimensional 1 V = , es constante (igual a la suma de los
volmenes de todas las molculas) y no depende de la presin P. En otro lmite cuando la temperatura
es muy alta T ,
2
1, V PV c >> >> la igualdad (1.5) conduce a la ecuacin de gas ideal PV T = . Dado
valor de c puede calcularse P como una funcin de V para varios valores de T. Los grficos de la
presin en funcin del volumen
( )
2
1 P T V c V = para el valor de parmetro 3.95 c = se muestran en la
Fig.1

Fig.1 La presin en funcin del volumen segn de la ecuacin de Van der Waals para el valor de
parmetro 3.95 c =

Para expresar P como una funcin de V para varios valores de T,
( )
, V V P T = hay que resolver la
siguiente ecuacin cbica:
( ) ( )( )
2 2
1 1 0; 1 F V PV V TV V = + = < < (1.6)


Fig.2 El volumen en funcin de la presin segn de la ecuacin de Van der Waals para el valor de
parmetro 3.95 c =


A continuacin se presenta el programa (en lenguaje Fortran) que fue utilizado para obtener los
grficos de la Fig.2

c Soucion de la ecuacion de Van der Vaals
c que exprersa el volumen V en funcion de la presion P (np puntos)
c para mp diferentes temperaturas T
implicit real*8 (a-h,o-z)
parameter (np=400,mp=2)
dimension Tp(mp),xraiz(3)
real tb(np,mp+1),tab(np,3*mp+1)
common /T_P/ Temp, Pemp
external funP,funV
data TP /3.5,5/
Vmin=0.1
Vmax=20.0
h=(Vmax-Vmin)/(np-1)
open(1,file='vn.dat')
do i=1,np
V=Vmin+h*(i-1)
tb(i,1)=V
do j=1,mp
Temp=TP(j)
tb(i,j+1)=FunP(V)
end do
end do
do i=1,np
write(1,11) (tb(i,j),j=1,mp+1)
end do
11 format(2x,f8.4,20f10.4)
close(1)
open(1,file='vndvls.dat')
do i=1,np
do j=2,3*mp+1
tab(i,j)=0.
end do
end do
Pmin=0.1
Pmax=4.0
h=(Pmax-Pmin)/(np-1)
do i=1,np
P=Pmin+h*(i-1)
Pemp=P
tab(i,1)=P
do j=1,mp
Temp=TP(j)
eps=1.0d-8
hraiz=0.05
Call allraiz(Vmin,Vmax,funV,eps,hraiz,nraiz,xraiz)
do k=1,nraiz
tab(i,3*j-2+k)=xraiz(k)
end do
end do
end do
do i=1,np
write(1,11) (tab(i,j),j=1,3*mp+1)
end do
close(1)
stop
end
c-----------------------------------
c La funcin externa
function funP(V)
implicit real*8 (a-h,o-z)
common /T_P/ Temp, Pemp
T=Temp
P=Pemp
funP=T/(V-1)-3.95*T/V**2
c funP=T/V-1/V**2
return
end
c-----------------------------------
c La funcin externa
function funV(V)
implicit real*8 (a-h,o-z)
common /T_P/ Temp, Pemp
T=Temp
P=Pemp
funV=(P*V**2+3.95*T)*(V-1)-T*V**2
return
end
c -------------------------------------------------
Subroutine allraiz(a,b,fun,eps,hraiz,nraiz,xraiz)
parameter (n=1000)
implicit real*8 (a-h,o-z)
dimension xraiz(n)
external fun
h=hraiz
xl=a
xr=a+h
fl=fun(xl)
fr=fun(xr)
nraiz=0
10 if(fl*fr.lt.0.0) then
nraiz=nraiz+1
xraiz(nraiz)=Raiz1(fun,xl,xr,eps)
end if
xl=xr
fl=fr
xr=xl+h
fr=fun(xr)
if(xr.lt.b) go to 10
return
end
c------------------------------------------
c El subprograma Raiz1 busca la solucin de la ecuacin func(x)=0
c dentro del intervalo (a,b) con la precisin eps,
c usando el mtodo de biseccin
c
real*8 function Raiz1(func,a,b,eps)
implicit real*8 (a-h,o-z)
c los parametros del extremo izquierda
xl=a
fl=func(xl)
c los parametros del extremo derecho
xr=b
fr=func(xr)
c comparacin de los signos de la funcin en los extremos
if(fl*fr.ge.0.0) then
c si los signos de la funcin son iguales pede ser que no hay races
write(*,*) 'En los extremos del intervalo la funcin'
write(*,*) 'tiene el mismo signo. Cambie el intervalo'
c salida de emergencia del subprogrograma
Return
End if
c inicializacin del proceso de biseccin
10 x=(xl+xr)/2.0d0
c si la distancia entre los extremos es menor que eps
c entonces ya el centro del intervalo x define la raiz
c con la precisin sugerida
if((xr-xl).le. eps) go to 40
c definicin el valor de la funcin en el centro del intervalo
f=func(x)
c comparacin de los signos de la funcin en el centro del
c intervalo y en el extremo izquierda
if(f*fl) 20,40,30
c si signos son diferentes se escoge el subintervalo izquierda
20 xr=x
fr=f
c volver al siguiente paso del proceso biseccin
go to 10
c si signos son iguales se escoge el subintervalo derecha
30 xl=x
fl=f
c volver al siguiente paso del proceso biseccin
go to 10
40 Raiz1=x
c salir de subprograma
return
end

1.2 EL METODO DE LAS CUERDAS

Existen otros mtodos para resolver la ecuacin ( ) 0 f x = , que tienen, por lo general, la convergencia
ms rpida que el mtodo de biseccin. Uno de ellos es el mtodo de las cuerdas que tiene
interpretacin geomtrica representada esquemticamente en la fig. 4. Se supone que la funcin ( ) f x
tiene solo una raz y los signos diferentes en los extremos del intervalo. El proceso iterativo consiste
en un reemplazo sucesivo de la curva por las cuerdas que unen los extremos de la curva y sus
intersecciones con la eje X paulatinamente se acerca al punto de la interseccin de la curva con esta
eje.






























Fig. 1.3 Representacin esquemtica del proceso iterativo del mtodo de las cuerdas para los casos
cuando el punto fijo est ubicado al lado izquierda (1) y (3) y al lado derecha (2) y (4)
Al inicio se escoge uno de los extremos (izquierda o derecha) como la aproximacin nula
0
x . En el
primer paso del proceso de iteracin se traza la cuerda que une los extremos de la curva inicial. El
punto de interseccin de esta cuerda con el eje OX es la primera aproximacin de la solucin x
1
.
Despus el extremo escogido se desplaza en el punto
1
x y el proceso se repite para la parte de curva
entre el extremo fijo y el punto x
1,
etc. Cuando es fijo el extremo de izquierda (el Caso a) en la figura
1.3 entre dos aproximaciones sucesivas
1 n
x
+
y
n
x x
1
existe la siguiente relacin
( )
( )
( ) ( )
( )
1
;
n
n n n n n n
n
f x
x x f x tg x x a
f x f a
o
+
= =

b x =
0
(1.6)
y para el caso cuando es fijo el extremo de la derecha
( )
( )
( ) ( )
( )
1
;
n
n n n n n n
n
f x
x x f x tg x b x
f b f x
o
+
= + =

a x =
0
(1.7)
En las formulas 1.6 y 1.7 se difieren solo las posiciones de las aproximaciones nulas
0
x . El proceso
iterativo adems de estas frmulas debe completarse con dos condiciones, que definen el inicio y la
finalizacin del proceso. Para iniciar el proceso hay que definir el punto de partida. Para escoger
correctamente el punto inicial del proceso iterativo, correspondiente a la posicin de la aproximacin
nula, existe siguiente criterio: En el extremo fijo los signos de la funcin ( ) f x y de la segunda derivada
( ) f x '' deben coincidir y el extremo contrario corresponde a la aproximacin nula, es decir:
( ) ( )
0 0
0 f x f x '' < (1.8)
Pero hay que tener en cuenta que este criterio solo puede ser utilizado solo cuando los signos de la
primera ( ) f x ' y de la segunda derivadas ( ) f x '' dentro del intervalo [a, b] no varan y son contrarios, es
decir ( ) ( ) 0 f x f x ' '' < en todos los puntos del intervalo.
Una vez seleccionado correctamente el punto inicial del proceso iterativo tenemos que saber en qu
paso lograremos la precisin sugeridac ? Para responder a esta pregunta utilizaremos el siguiente
criterio: el error absoluto
n
c de la solucin aproximada encontrada en el proceso iterativo en el paso
nmero n satisface la desigualdad:
( )
( )
( ) { }
,
; min
n
n m
x a b
m
f x
f f x
f
c c
e
' < < = (1.9)
El algoritmo correspondiente al mtodo de cuerdas se presenta a continuacin:
_ ( , , , , , ) Function Raiz Cuerda fun a b sign fm eps
| + + + +

(*Parmetros de entrada: funcin externa fun(x), extremos del segmento a, b, el signo de la segunda
derivada ( ) f x '' dentro del segmento [a,b] (sign=+1 si ( ) 0 f x '' > y sign=-1 para ( ) 0 f x '' < ), el valor
mnimo ) ( ' x f dentro del intervalo fm, y la tolerancia eps *)
(*Parmetro de salida Raiz*)
1 Assign ( ), ( ) fa fun a fb fun b
2 if(fa*fb>0) Print change extremes and Return
3 If (fa*sign<0) then Assign , , 0 , 0 X a f fa X a f fa ,
Else Assign , , 0 , 0 X b f fb X b f fb
4 Assign ( ), , 1 fx fun X epsn fx fm Iter
5 WHILE (epsn>eps OR Iter<1000) DO
{ ( ) 0 ; ( ),
0
fx fx
X X X X fx fun x epsn
fx f fm
=

}
6 Assign _ Raiz Cuerda X

1.3 EL METODO DE NEWTON

El mtodo de Newton (a veces lo llaman como el mtodo de Tangentes) que consideremos a
continuacin tiene una convergencia ms rpida en comparacin con los mtodos anteriores. La
interpretacin geomtrica del mtodo se presenta esquemticamente en la figura 1.4, donde es el
valor exacto de la raz de la ecuacin f(x)=0 y los puntos
0 1 2
, , , x x x son las soluciones aproximadas
encontradas en el proceso iterativo. Los ngulos
0 1 2
, , , o o o que forman las tangentes de la curva en
los puntos de las aproximaciones correspondientes, es decir ( )
n n
tan f x o ' = .

Fig 1.4 Representacin esquemtica del proceso iterativo del mtodo de Newton

El proceso iterativo ser inicia en el punto
0
x a = . El punto de interseccin de la tangente a la curva en
este punto con el eje X se escoge como la primera aproximacin x
1
. Despus en el punto x
1
de nuevo
se construye la tangente y el punto de interseccin de la nueva tangente con el eje X se escoge como
la segunda aproximacin x
2
, etc. Analizando las relaciones geomtricas entre las aproximaciones
sucesivas se puede encontrar la formula siguiente
( )
( )
1 0
( )
,
n
n
n n n
n n
f x
f x
x x x x a
tg f x o
+
= = =
'
(1.10)
La formula 1.10 se llama formula de Newton y se define un proceso iterativo que converge muy rpido
hacia la raz exacta x= . El punto inicial de este proceso debe satisfacer la condicin (1.8) y el
proceso iterativo se finaliza cuando se cumple la condicin (1.9). A continuacin presentamos el
algoritmo correspondiente.
_ ( , , , , , ) Function Raiz Newton fun dfun a sign fm eps
| + + +

(*Se encuentra nica raz de ecuacin fun(x)=0 cerca del punto x=a, usando el mtodo de Newton*)
(*Parmetros de entrada: funcin externa fun(x), la derivada de la funcin dfun=fun(x), punto inicial
del proceso iterativo, el signo de la segunda derivada ( ) f a '' en el punto x=a (sign=+1 si ( ) 0 f a '' > y
sign=-1 para ( ) 0 f a '' < ), el valor mnimo ) ( ' x f , fm, y la tolerancia eps *)
(*Parmetro de salida Raiz_Newton*)
1 Assign , ( ) X a f fun X =
2 if(f*sign>0) Print change initial point and Return
3 Assign ( ), / , 1 df fun X epsn f fm Iter '
4 WHILE (epsn>eps OR Iter<1000) DO
{ ( ) ; ( ), , , 1
f f
X X f fun X df fun X epsn Iter Iter
df fm
' = + }
5 Assign _ Raiz Newton X

Problemas:
1. Consideremos la ecuacin cos
x
e x

= y denotaremos las races positivas de esta ecuacin

( ), 1, 2, 3, x n n =
a) Utilizando el algoritmo All_Raiz encuntrese 100 primeras races con la precisin
8
10 c

=
b) Demustrese que el proceso iterativo de Newton para la raz ( ) x n se converge si el punto de
partida en este proceso (aproximacin nula) se escoge
0
2 x n t =
c) Encuntrese la raz nmero n=20 con la precisin
8
10 c

= utilizando los mtodos de cuerda
y de Newton y comprese el nmero iteraciones utilizados en cada uno.
2. Encuntrese las 10 primeras races positivas de la ecuacin tan x x = con la precisin
8
10 c

= usando los mtodos de biseccin, cuerdas y Newton. Comprese el nmero de
iteraciones de diferentes mtodos. Cmo cambia la convergencia con el incremento del
nmero de la raz?
3. Demustrese que la aproximacin nula
0
x en los mtodos de cuerdas y de Newton para
resolver las ecuaciones 1
x
e x

= y 2 0
x
e x

+ = se puede escoger cualquier nmero positivo.

Encuntrese las races de estas ecuaciones con la precisin
8
10 c

=
4. Seprese las races y encuntrelas con la precisin
8
10 c

= para las siguientes ecuaciones
a) arctan( 1) 2 0 x x + =
b) ( )
3
ln 1 0 x x + =
c) 2tan 2 1 0 x x + =
d) 1 1 x x + =
5. La ecuacin
4 2
5 6 0 tx x x + + = depende del tiempo t. Analizando los puntos de la
interseccin de dos curvas
2
1 5 6 0 y x x = + = y
4
2 y tx = elabrese un proceso iterativa
para separar y encontrar las races de la ecuacin para el intervalo de tiempo entre 0 t = y
1 t = . Aclrese para qu valor de t la evolucin de la raz negativa conduce a su
desaparicin?
6. Resulvase cada ecuacin utilizando diferentes mtodos con la misma precisin
6
10 c

= y
comprese sus eficiencias:
a) ln 1 x x =
b)
5 2
cos x x =
c) ( )
3
ln 1 0 x x + + =
d) tan th x x =
e)
1 1
3arctan sh 0 para 0
2
x x
x
= >
7. Utilizando diferentes mtodos encuntrese la raz de la ecuacin
7
0.5 x = con la misma
precisin
6
10 c

= y comprese sus eficiencias: