1.

6 método numérico para

solución de polimonios
 La resolución de ecuaciones y sistemas (ya sean polinómicas, algebraicas o trascendentes)
es uno de los problemas que con más frecuencia aparece en los distintos campos de la
Ciencia y la Técnica. Además se trata de un problema que ha sido estudiado desde muy
antiguamente; por ejemplo ya en el año 100 A.C. Herón empleaba un método iterativo
para aproximar la raíz cuadrada de un número positivo.

 No existen métodos generales de resolución simbólica de ecuaciones o sistemas; salvo

para ciertas ecuaciones de tipo polinómico o en el caso de sistemas lineales. Por ello surge
la necesidad de desa--rrollar métodos numéricos para calcular, al menos de forma
aproximada, las soluciones de este tipo de problemas. Teniendo en cuenta estas
cuestiones, Mathematica incorpora diferentes comandos para la re-solución de
ecuaciones y sistemas de ecuaciones de modo formal (por ejemplo, Solve, Reduce,
Eliminate, Roots), siempre que admitan solución simbólica; pero en la mayoría de los casos
se calculará una aproximación numérica de dicha solución me-dian-te otras órdenes (por
ejemplo, NSolve, NRoots, FindRoot), empleándose técnicas apropiadas para cada pro-
blema concreto.
 Comenzaremos describiendo alguno de los métodos numéricos
más conocidos de aproximación de soluciones para una ecuación
ge-ne-ral, de la forma
 MATH
 para $f:$ MATH al menos continua y con distinto signo en los
extremos de $I$.

 Continuaremos después con ecuaciones de tipo polinómico, tanto

con la descripción de comandos directos de Mathematica para su
resolución formal y aproximada, como con ciertos algoritmos y
particularidades específicas para este tipo de ecuaciones.
 Métodos numéricos elementales
 Pretendemos en esta sección describir los algoritmos de algunos métodos numé-ricos de
resolución aproximada de ecuaciones y estudiar las condiciones en las que éstos
determinan una sucesión de aproximaciones convergente a la solución real.

 Ya que, en general, no existen métodos directos (ni fórmulas, ni algoritmos) para calcular
formalmente las raíces de una ecuación del tipo (ecgen) y sólo un número muy reducido
de ecuaciones pueden resolverse de forma exacta (por ejemplo, la ecuación de segundo
grado), los métodos numéricos que se emplean para resolver estas ecuaciones son de tipo
iterativo y proporcionan una sucesión de aproximaciones, MATH. Lo interesante será que
esta sucesión de aproximaciones converja hacia una raíz, pongamos $s\in\QTR{Bbb}{R}$,
de la ecuación.

 Vamos a estudiar alguno de los métodos más empleados en la práctica, como son el de
bisección, el de la secante, regula-falsi, etc., y el de Newton-Raphson. El primero requiere
menos hipótesis para asegurar la convergencia, pero en cambio es más lento que el
último; es decir, si queremos obtener una aproximación con una precisión determinada,
en general tendremos que hacer más iteraciones con el primero. Sin embargo, para poder
aplicar el de Newton-Raphson no basta con que la función sea continua, como veremos
después.
 Método de bisección
 Es el método más simple que se puede emplear para resolver ecuaciones. Sólo requiere que la
función sea continua y que hayamos localizado un cambio de signo de la misma en los
extremos de cierto intervalo en el que empezaremos a trabajar. Consiste, pues, en la
aplicación reiterada del conocido teorema de Bolzano, una vez asegurada la existencia de al
menos una solución de la ecuación (ecgen) en el intervalo $\left[ a,b\right] $. El único
inconveniente que surge es la posible existencia de más de una de estas raíces, ya que el
teorema de Bolzano no nos asegura la unicidad de la misma. Pero en todo caso el
correspondiente algoritmo siempre conducirá a la aproximación numérica de una de estas
raíces. Nos podemos ayudar de una representación gráfica previa de la función para
seleccionar un intervalo en el que sólo exista una de estas raíces.

 Recordamos el teorema fundamental en el que se basa dicho algoritmo

 Teorema
 Sea MATH una función continua en $\left[ a,b\right] $ y tal que MATH MATH. Entonces existe
MATH tal que MATH.

 En la figura c02g1 se presenta la interpretación geométrica. Se considera el intervalo MATH. En

los extremos la función cambia de signo, y hay más de un cero.
 c02g1.wmf