Laboratorio de Mtodos Computacionales Pgina 27

Mgter. ngel Montesinos Murillo Sesin N

05

UNIVERSIDAD CATLICA DE SANTA MARA
PROGRAMA PROFESIONAL DE INGENIERA DE SISTEMAS
SESIN N 05:
Mtodo de la Biseccin
I
OBJETIVOS
Comprender los conceptos de funcin matemtica y raz de funcin matemtica.
Aplicar y comprender las propiedades de una funcin matemtica.
Apreciar los beneficios que proveen los algoritmos iterativos para hallar las races de una
funcin matemtica.
II
TEMAS A TRATAR
Introduccin.
Introduccin al lenguaje LOGO.
Resumen
III
MARCO TEORICO
1. INTRODUCCIN
Este es uno de los mtodos ms sencillos y de fcil intuicin para resolver ecuaciones en
una variable. Se basa en el teorema del valor intermedio (TVI), el cual establece que toda
funcin continua ) (x f en un intervalo cerrado | | b a, toma todos los valores que se
hallan entre ) (a f y ) (b f . Esto es que todo valor entre ) (a f y ) (b f es la imagen de al
menos un valor en el intervalo | | b a, . En caso de que ) (a f y ) (b f tengan signos
opuestos, el valor cero sera un valor intermedio entre ) (a f y ) (b f , por lo que con
certeza existe un p p en | | b a, que cumple 0 ) ( = p f . De esta forma, se asegura la
existencia de al menos una solucin de la ecuacin 0 ) ( = a f .
2. DEFINICIONES Y TEOREMAS BSICOS
Los valores que hacen que una funcin ) (x f y = sea 0, se conocen con el nombre de
races ceros de la ecuacin. El problema de hallar estos ceros tambin recibe los
nombres de: bsqueda de races, bsqueda de ceros, resolucin de ecuaciones,
resolucin de ecuaciones no lineales, solucin de ecuaciones no lineales. Para resolver
ecuaciones de este tipo existen 3 tipos de mtodos:
Laboratorio de Mtodos Computacionales Pgina 28

Mgter. ngel Montesinos Murillo Sesin N

05

Mtodos Analticos.
Mtodos Grficos.
Mtodos numricos.
A. MTODOS ANALTICOS
Estos consisten esencialmente en despejar la variable x en funcin de y . Un ejemplo
bastante conocido, es el de la ecuacin cuadrtica.1 En la mayora de los casos prcticos,
esto es muy difcil o imposible. Por ejemplo, piensa unos minutos en como despejaras x
de la siguiente ecuacin:
0
3
= + x e
x

(3.1)
B. MTODOS GRFICOS
En estos mtodos lo que se busca es trazar la grfica de ) (x f y = . Los puntos donde se
corte el eje de las x sern las races. Estos mtodos aunque muy generales, tienen sus
inconvenientes:
La grfica puede ser difcil de elaborar.
Es posible que las races estn ubicadas fuera del intervalo graficado.
Los valores obtenidos no son muy precisos.
Por estas razones no son muy recomendables, ms que para hallar valores aproximados.
C. MTODOS NUMRICOS
Los mtodos numricos, generan una sucesin de valores, que se aproxima a la solucin,
en este caso a la raz. Estos mtodos son ms generales que los analticos y mucho ms
precisos que los mtodos grficos. Por estas razones se emplean ms ampliamente.
Para usar estos mtodos, dado que no requieren de trazar la grfica, requerimos conocer
de alguna manera por donde la funcin tiene races. Para lograr esto se emplea el
siguiente teorema.
3. TEOREMA DEL CAMBIO DE SIGNO (TCS)
Si en un intervalo cerrado | | b a, , la funcin ) (x f es continua y adems ) (a f tiene signo
opuesto al de ) (b f , es decir, existe un cambio de signo (CS), entonces por lo menos
existe una raz en | | b a, .
El teorema solo nos es til cuando se cumple, ya que en los casos en que no se cumple
no podremos asegurar que pasa. Por ejemplo es posible que existan races, aun cuando
el teorema no se cumpla. Tambin es posible que exista ms de una raz, cuando se
cumple el teorema. Esto se muestra de la figura 1 a la 4.
Laboratorio de Mtodos Computacionales Pgina 29

Mgter. ngel Montesinos Murillo Sesin N

05

Figura N 1

Figura N 2

Figura N 3

Figura N 4

En la figura 1, se puede observar directamente el teorema. En la figura 2 se ve un caso
donde el teorema no se cumple y no existen races. La figura 3 muestra un caso donde el
teorema se cumple y existe ms de una raz. La figura 4, es un ejemplo donde el teorema
no se cumple y sin embargo si hay races, esto se debe a la existencia de un nmero par
de races.
El problema de resolver una ecuacin no lineal es muy antiguo. Por esta razn existe una
gran cantidad de mtodos. Inclusive todava hoy en da se siguen buscando mtodos
nuevos. A continuacin se expondrn los mtodos ms comunes.
4. MTODO DE LA BISECCIN
Consideramos una ecuacin de la forma 0 ) ( = x f , donde la funcin ) (x f es continua
en el intervalo | | b a, y tal que 0 ) ( * ) ( < b f a f (esto nos permite garantizar por el
Laboratorio de Mtodos Computacionales Pgina 30

Mgter. ngel Montesinos Murillo Sesin N

05

teorema de Bolzano que 0 ) ( = x f tiene una solucin en el intervalo ) , ( b a . Para calcular
la solucin de 0 ) ( = x f en el intervalo | | b a, consideramos el punto medio de dicho
intervalo que ser
2
) ( b a +
:
Si 0
2
) (
=
|
.
|

\
| + b a
f entonces
2
) ( b a +
es la solucin que buscamos.
Si 0
2
) (
=
|
.
|

\
| + b a
f entonces consideramos los intervalos
(

+
2
) (
,
b a
a y
(

+
b
b a
,
2
) (
.
Se verificar, o bien que 0 )
2
) (
( * ) ( <
+ b a
f a f o bien que
0 ) ( *
2
) (
<
|
.
|

\
| +
b f
b a
f .
En el intervalo en el que la funcin tome signos contrarios en sus extremos volvemos a
considerar el punto medio y repetimos el proceso.
En caso de no encontrar la solucin exacta de la ecuacin, con este proceso construimos
una sucesin de intervalos encajados | | | | | |
n n
b a b a b a , , , , , ,
2 2 1 1
de tal forma que la
amplitud de cada intervalo es la mitad del anterior. Entonces si tomamos el punto medio
de cada uno de esos intervalos en
,
2
) (
, ,
2
) (
,
2
) (
2 2
2
1 1
1
n n
n
b a
x
b a
x
b a
x
+
=
+
=
+
= estamos construyendo una
sucesin , , , ,
2 1 n
x x x que converge a la solucin de la ecuacin 0 ) ( = x f , as una
aproximacin de esta solucin ser
2
) (
n n
n
b a
x
+
= y el error mximo cometido estar
acotado por el valor de |
.
|

\
|
2
) (
n n
a b
o lo que es lo mismo por
|
|
.
|

\
|
+1
2
) (
n
a b
. Que es un
valor que slo depende del intervalo inicial y del nmero de iteraciones.
Utilizando una hoja de clculo podemos efectuar todo este proceso de una forma muy
sencilla.
El presente esquema se reduce a la iteracin de Newton si se asigna al valor de
) (
1
n
x f '

para cada iteracin.
5. RESUMEN
El mtodo de biseccin es un mtodo simple de implantar pero en si depende mucho de la
estimacin inicial que se haga para poder tener un intervalo con una sola raz, las tcticas
d explorar en primer trmino el intervalo de bsqueda ayuda mucho tanto a reducir el
Laboratorio de Mtodos Computacionales Pgina 31

Mgter. ngel Montesinos Murillo Sesin N

05

intervalo como a tener una sola raz en el, por el contrario parte el algoritmo se asemeja
mucho a a bsqueda binaria.
IV
(La prctica tiene una duracin de 2 horas) ACTIVIDADES
1. Encender el equipo de computo, si existe algn desperfecto o faltante en el equipo
comunicarlo inmediatamente.
2. Al aparecer la solicitud de contrasea elegir el login usuario y digitar la clave
correspondiente.
3. Ingrese a su cuenta de usuario de red.
4. Cree una carpeta que se llame Mtodos Computacionales y dentro de ella una que se
llame Prctica N 5.
5. Crear una carpeta bajo el nombre de Temporal en la unidad donde compile el programa.
6. Ejecute el IDE NetBeans o Eclipse, de la caja de dilogo de creacin de proyectos elija un
proyecto java.
7. Para todos los programas siguientes hacer uso de la arquitectura modelo-vista-
controlador.
8. Crear una aplicacin que permita hallar la solucin de una funcin matemtica haciendo
uso del mtodo de biseccin, haciendo lo siguiente:
a) Ingresar los datos necesarios.
b) Muestre por consola la progresin de los resultados parciales en una grilla.
c) Muestre el resultado o solucin de la raz ms aproximado al 0.
d) Muestre el error relativo y absoluto del clculo de la raz de la funcin.
e) Grabe los resultados en un archivo tipo texto PracticaN5.cvs.
9. Compile el programa.
10. Depure los errores y corrija los warnings.
11. Use el men de depuracin para hacer Trace y seguir la ejecucin del programa.
12. Ejecute el programa haciendo uso de la funcin f(x) = e
x
2, con un tolerancia de error
de = 0.01, en el intervalo [0,2]; compruebe los resultados con [1].
13. S los resultados no se ajustan a los reales, revisar el algoritmo y el cdigo de
implementacin para eliminar los errores lgicos introducidos.
14. Agregar al dilogo de la aplicacin anterior el mtodo de falsa posicin, para lo cual debe
de tener en cuenta lo siguiente:
f) Ingresar los datos necesarios.
g) Muestre por consola la progresin de los resultados parciales en una grilla.
h) Muestre el resultado o solucin de la raz ms aproximado al 0.
i) Muestre el error relativo y absoluto del clculo de la raz de la funcin.
15. Integra la aplicacin al programa de la prctica anterior.
16. Integre la aplicacin al programa de la practica anterior.
V
EJERCICIOS
1. Complementar la aplicacin anterior agregando funciones que comprueben la existencia
de un nmero par o impar de races o soluciones en el mtodo de biseccin.
2. Agregar una funcin que explore y determine los intervalos donde se pueden ubicar las
races o soluciones para una funcin matemtica cualquiera.
3. Implementar en la funcin anterior la capacidad de determinar si se est aproximando a la
raz o hacia una singularidad.
4. Disee un algoritmo bajo los principios del mtodo de biseccin que nos permita calcular
siempre la raz ms prxima a un punto dado.
VI
CUESTIONARIO
1. Qu es una ecuacin?
2. Qu es una funcin matemtica?
3. Cmo se construye una funcin matemtica?
Laboratorio de Mtodos Computacionales Pgina 32

Mgter. ngel Montesinos Murillo Sesin N

05

4. Qu es una ecuacin no lineal?
5. Qu significa la raz de una funcin matemtica?
6. Qu significado tienen los espacios anterior y posterior al punto matemtico donde se
halla la raz de una funcin matemtica?
7. Cul es el principio matemtico fundamental que se usa para hallar la raz de una
ecuacin mediante el mtodo de biseccin?
8. Por qu la funcin matemtica debe ser continua en el intervalo dado al aplicar el
mtodo de biseccin?
9. Qu sucede si en un intervalo dado existen dos races al aplicar el mtodo de biseccin?
10. En qu casos es posible aplicar el mtodo de biseccin?.
11. De qu forma es posible hacer que el mtodo de biseccin halle por lo menos una raz
de la funcin matemtica?.
VII
BIBLIOGRAFIA Y REFERENCIAS
Nakamura, Shoichiro; Mtodos Numricos Aplicados con Software ; Prentice Hall
Hispanoamericana S.A.;1 Ed; 1992, Mxico (Pgs. 79 - 82).
Mathews, John H., Fink, Curts, D., Mtodos Numricos con Matlab , Prentice Hall, 1
Ed. 2000, Madrid (pgs 46 - 55).
http://www.iesrodeira.com/metodos_numericos/index-2.htm
http://docentes.uacj.mx/gtapia/AN/default.htm
http://mailweb.udlap.mx/~ccastane/Analisis_Numerico_html/Lindley.html
http://www.uv.es/~diaz/mn/node17.html