U N I D A D I I.

RACES DE ECUACIONES.

53

54

II.1 TEOREMA FUNDAMENTAL DEL LGEBRA El teorema fundamental del lgebra establece que un polinomio en una variable, no constante y con coeficientes complejos, tiene tantas races como su grado del polinomio, dado que las races se cuentan con sus multiplicidades. De manera equivalente, el cuerpo de los complejos es cerrado para las operaciones algebraicas. En otras palabras, dado un polinomio complejo p de grado n > 0, la ecuacin p (z) = 0 tiene exactamente n soluciones complejas, contando multiplicidades. El teorema se establece comnmente de la siguiente manera: todo polinomio en una variable con coeficientes complejos de grado al menos uno tiene al menos una raz compleja. Aunque sta en principio parece ser una declaracin ms dbil, implica fcilmente la forma completa por la divisin polinmica sucesiva por factores lineales. Actualmente el nombre teorema es considerado un error por muchos matemticos, puesto que es ms un teorema en anlisis que en lgebra. HISTORIA Pedro Rothe (Petrus Roth), en su libro Arithmetica Philosophica (publicado en 1608), escribi que una ecuacin polinmica de grado n (a coeficientes reales) puede tener n soluciones. Alberto Girardo, en su libro L'invention nouvelle en l'Algebre (publicado en 1629), asever que una ecuacin de grado n tiene n soluciones, pero no menciona que dichas soluciones deban ser nmeros reales. Ms an, l agrega que su aseveracin es vlida "salvo que la ecuacin sea incompleta", con lo que quiere decir que ninguno de los coeficientes del polinomio sea igual a cero. Sin embargo, cuando explica en detalle a qu se est refiriendo, se hace evidente que el autor piensa que la aseveracin siempre es cierta; en particular, muestra que la ecuacin.

a pesar de ser incompleta, tiene las siguientes cuatro soluciones (la raz 1 tiene multiplicidad 2)

Leibniz en 1702 y ms tarde Nikolaus Bernoulli, conjeturaron lo contrario. Como se mencionar de nuevo ms adelante, se sigue del teorema fundamental del algebra que todo polinomio con coeficientes reales y de grado mayor que cero se puede escribir como un producto de polinomios con coeficientes reales del cual sus grados son 1 2. De todas formas, en 1702 Leibniz dijo que ningn polinomio de tipo x4 + a4 (con a real y distinto de 0) se puede escribir en tal manera. Luego, Nikolaus Bernoulli hizo la misma afirmacin concerniente al polinomio x4 4x3 + 2x2 + 4x + 4, pero l recibi una carta de Euler en 1742 en el que le deca que su polinomio pasaba a ser igual a:

Donde es la raz cuadrada de Mientras que:

55

El primer intento que se hizo para demostrar el teorema lo hizo d'Alambert en 1746. Su demostracin tena un fallo, en tanto que asuma implcitamente como cierto un teorema (actualmente conocido como el teorema de Puiseux) que no sera demostrado hasta un siglo ms tarde. Entre otros Euler (1749), de Foncenex (1759), Lagrange (1772) y Laplace (1795) intentaron demostrar este teorema. A finales del siglo XVIII, se presentaron dos nuevas pruebas, una por James Wood y otra Finalmente, en 1806 Argand por Gauss (1799), pero ambas igualmente incorrectas. public una prueba correcta para el teorema, enunciando el teorema fundamental del lgebra para polinomios con coeficientes complejos. Gauss produjo otro par de demostraciones en 1816 y 1849, siendo esta ltima otra versin de su demostracin original. El primer libro de texto que contiene la demostracin de este teorema fue escrito por Cauchy. Se trata de Course d'anlyse de l'cole Royale Polytechnique (1821). La prueba es la debida a Argand, pero sin embargo en el texto no se le da crdito a Argand. Ninguna de las pruebas mencionadas ms arriba son constructivas. Es Weierstass quien por primera vez, a mediados del siglo XIX, menciona el problema de encontrar una prueba constructiva del teorema fundamental del lgebra. En 1891 publica una demostracin de este tipo. En 1940 Hellmuth Knesser consigue otra prueba de este estilo, que luego sera simplificada por su hijo Marin Kneser en 1981. DEMOSTRACIN Sea p un polinomio de grado n. p es una funcin entera. existe un nmero real positivo r tal que Para cada constante positiva m,

Si p no tiene races, la funcin f = 1 / p, es una funcin entera con la propiedad de que para cualquier nmero real mayor que cero, existe un nmero positivo r tal que

Concluimos que la funcin f es acotada. Pero el teorema de Liouville dice que si f es una funcin entera y acotada, entonces, f es constante y esto es una contradiccin. De manera que f no es entera y por tanto p tiene al menos una raz. p se puede escribir por tanto como el producto

Donde 1 es una raz de p y q es un polinomio de grado n 1. Por el argumento anterior, el polinomio q a su vez tiene al menos una raz y se lo puede factorizar nuevamente. Repitiendo este proceso n 1 veces, concluimos que el polinomio p puede escribirse como el producto

56

Donde 1... n son las races de p (no necesariamente distintas) y k es una constante. TEOREMA FUNDAMENTAL DE DESCARTES Toda ecuacin algebraica de grado n 1 tienen solucin. Este teorema, cuyo enunciado es tan sencillo, es muy importante ya que nos asegura que siempre tendr sentido tratar de resolver una ecuacin algebraica; es decir, que siempre tiene solucin, otro problema ser determinarla. Una consecuencia del teorema anterior es el siguiente corolario. Corolario: Toda ecuacin algebraica de grado n 1 tiene n races Por ejemplo de acuerdo al corolario la ecuacin.

x 3 + 3x 2 + 3x + 1 = 0
Tiene tres races. La ecuacin se puede rescribir como (x + 1)3 = 0 . En este caso, podemos concluir que la nica raz es -1 y pensar que el corolario falla. Sin embargo lo que sucede, es que aunque el corolario dice que tiene tres races, no se mencionan que deben ser diferentes, como es el caso. As, para nuestro ejemplo r1 = 1 r 2 = 1 r 3 = 1 . En este caso puesto que la raz se repite tres veces, se dice que esta es de multiplicidad tres. REGLA DE LOS SIGNOS DE DESCARTES Sea P (x ) = 0 una ecuacin de la cual se han eliminado todas las races nulas. P (x ) = 0 debe estar escrito en potencias descendientes de x. Entonces, el nmero de races positivas de P (x ) = 0 es igual al nmero de cambios de signo en P (x ) , o es igual a ese nmero menos un nmero par. El nmero de races negativas es igual al nmero de cambios de signo en P ( x ) , o es igual a ese nmero menos un nmero par. Ejemplo Aplicando la regla anterior, determine el nmero de races positivas y negativas que puede tener las siguientes ecuaciones.

x 2 3x 4 + 2x 3 = 0
La ecuacin se puede escribir como x 2 (3x 2 + 2x + 1) = 0 , y se observa que tiene una raz nula con multiplicidad 2 ( o bien dos races nulas ): eliminando stas, y ordenando el polinomio en potencias descendientes de x, observamos la ecuacin

P (x ) = 3x 2 + 2x + 1 = 0 P ( x ) = 3x 2 2x + 1 = 0
Como P (x ) tiene un cambio de signo, la ecuacin tiene una raz positiva. cambio de signo, por lo tanto la ecuacin tiene una raz negativa.

P (x ) tiene un

57

Races Positivas Races Negativas Races Nulas

Caso 1 1 1 2

P (x ) = x 5 + 4x 3 2x + 3 = 0 P ( x ) = x 5 4x 3 + 2x + 3 = 0
En este caso P (x ) tiene tres cambios de signo, por lo tanto P (x ) = 0 puede tener 3 races positivas 0 1. Como P ( x ) tiene dos cambios de signo, entonces P (x ) = 0 puede tener 2 races negativas o 0 y se pueden establecer dos casos: Races Positivas Races Negativas Caso 1 3 2 Caso 2 1 0

Como la ecuacin dada es de grado 5, se esperan 5 races, de ah que usando el teorema para races complejas, podemos completar el cuadro anterior de la siguiente manera: Races Positivas Races Negativas Races Complejas CLASIFICACIN DE LAS ECUACIONES Las ecuaciones se clasifican en dos grandes grupos: Ecuaciones Algebraicas : Son aquellas que se pueden expresar como un polinomio cociente o radical o una combinacin de estos. Ejemplos: 1.5 - 2.37x + 7.5x (3x+4) 5x+8 6x Ecuaciones Trascendentales : Son aquellas que representan funciones trigonomtricas, Exponenciales, logartmicas o una combinacin de ellas. Es decir son aquellas que no son algebraicas Ejemplos: ex - x sen x + 2 ln x + 1 ex + sen x- ln(x+1) Las races de las ecuaciones pueden ser reales o complejas por lo que los mtodos estndar para encontrar races caen en las dos reas del problema parecidos en principio, pero fundamentalmente diferentes.
58

Caso 1 3 2 0

Caso 2 1 0 4

1. La determinacin de Races Reales de Ecuaciones Algebraicas y Trascendentales Estas tcnicas se disearon para determinar el valor de una raz simple de acuerdo a un conocimiento previo de su posicin aproximada. 2. La determinacin de todas las Races Reales y Complejas de un Polinomio. Estos mtodos se disearon especficamente para polinomios. Determinan sistemticamente todas las races del polinomio en lugar de simplemente una, dad una posicin aproximada. II.2. RACES DE ECUACIONES En matemticas un problema fundamental es la obtencin de los valores que puede tomar la variable x tal que satisfaga la igualdad f (x ) = 0 . En sus inicios se empleaba el mtodo grafico en combinacin con el mtodo de prueba y error, lo cual solo se aproximaba al valor buscado, por lo que fue necesario que se desarrollaran mtodos ms poderosos de solucin para obtener dichos valores. A estos mtodos se les conoci como ecuaciones las cuales se resolvan a travs de diferentes mtodos ya preestablecidos ( de forma analtica ), obteniendo as los ceros de las ecuaciones. Posteriormente al desarrollar las ecuaciones polinomiales surgieron otro tipo de ecuaciones ms complejas, como son las exponenciales, logartmicas, trigonomtricas o combinaciones de todas ellas, con lo que su solucin analtica se complicaba aun ms. Con esto surge la necesidad de desarrollar mtodos numricos con los cuales se pueden obtener las races de una ecuacin.
f(x) a) f(x) b)

En la figura a) y en la figura c) si f(xi) y f(x) tienen el mismo signo no hay races o hay un nmero par de races En la figura b) si f(xi) y f(x) tienen signos opuestos, existe un nmero impar de races Estas generalizaciones son por lo regular verdaderas aun que existen casos en que no se cumplen. Por ejemplo: Las races mltiples (funciones tangenciales al eje x) y las funciones discontinuas no pueden cumplir estos principios.
Xi X

f(x)

c)

Entre los mtodos numricos que permiten calcular las races de una ecuacin, se encuentran: a) El Mtodo de los Tanteos (Prueba y Error)
59

b) c) d) e) f) g)

El El El El El El

Mtodo Mtodo Mtodo Mtodo Mtodo Mtodo

de de de de de de

Biseccin la Regla Falsa Iteracin de Punto Fijo Newton-Raphson la Secante Steffenson

Estos Mtodos solo slo permiten determinar una raz real, por lo que al aplicar varias veces el mtodo se pueden hallar todas las races reales que sean de inters para la funcin dada. h) i) j) k) El El El El Mtodo Mtodo Mtodo Mtodo de de de de Horner (Polinomios, todas las races reales) Lin (races complejas de polinomios) Bairstow (factores cuadrticos) Graeffe, etc.

II.2.1. MTODO DE BISECCIN Tambin se le conoce como mtodo de bolzano, particin o de corte binario, es un mtodo de bsqueda incremental donde el intervalo inicial se parte en dos y se comprueba en que mitad del intervalo cae la raz, en base a esto se cambia la posicin de la raz. ALGORITMO DEL MTODO 1. Se prueba si dentro del intervalo existe una raz y se verifica mediante

f (x i ) * f (x ) < 0
Donde

x i Limite Inferior del intervalo x Limite Superior del intervalo

2.- Se calcula la primera aproximacin a la raz mediante.

xr =

xi + x 2

3.- Se realizan las siguientes comprobaciones. a) Si f ( x i ) * f ( x r ) < 0 Entonces existe una raz en el primer subintervalo y haga que x = x r b) Si f ( x i ) * f ( x r ) > 0 Entonces existe una raz en el segundo subintervalo y haga que x i = x r c) Si f ( x i ) * f ( x r ) = 0 Entonces existe la raz es x i = x

60

4.- Calcule los errores pertinentes Ea , Era , Erv 5.- Verificar si la aproximacin es tan exacta como se desea, de ser as se termina, de lo contrario se regresa al paso 2 y se repite el procedimiento. II.2.2. MTODO DE LA REGLA FALSA Este esta basado en una idea para acercarse mas eficientemente a la raz. Un defecto del mtodo anterior es que no toma en cuenta la magnitud de la funcin evaluada en x i y x . El mtodo de la regla falsa aprovecha esta idea de unir los puntos con una lnea recta el cual al cruzar el eje de las X se proporciona de una aproximacin a la raz la cual empieza a calcular las dems aproximaciones. Basndose en la figura siguiente y usando los tringulos semejantes podemos obtener la formula del mtodo.

ALGORITMO DEL MTODO 1. Se prueba si dentro del intervalo existe una raz y se verifica mediante

f (x i ) * f (x ) < 0
Donde

x i Limite Inferior del intervalo x Limite Superior del intervalo

2.- Se calcula la primera aproximacin a la raz mediante.

Xr = X

f (X ) ( X i X ) f ( X i ) f (X )

61

3.- Se realizan las siguientes comprobaciones. a) Si f ( x i ) * f ( x r ) < 0 Entonces existe una raz en el primer subintervalo y haga que x = x r b) Si f ( x i ) * f ( x r ) > 0 Entonces existe una raz en el segundo subintervalo y haga que x i = x r c) Si f ( x i ) * f ( x r ) = 0 Entonces existe la raz es x i = x 4.- Calcule los errores pertinentes Ea , Era , Erv 5.- Verificar si la aproximacin es tan exacta como se desea, de ser as se termina, de lo contrario se regresa al paso 2 y se repite el procedimiento. II.2.3. MTODO DE ITERACIN DE PUNTO FIJO Los mtodos abiertos emplean una formula que predicen una aproximacin a la raz. Esta formula se puede desarrollar para el mtodo de interaccin de punto fijo reareglando la ecuacin f (x ) = 0 de manera tal que la variable x quede del lado izquierdo de la ecuacin esto es:

x = g (x )

este arreglo se puede llevar a cabo mediante operaciones algebraicas Ejemplo: a) x 2 + 5x 3 = 0 b) senx = 0

x 2 + 5x = 3 3 x2 x= 5

senx + (x x )
x = senx + x

La ecuacin x = g ( x ) proporciona una formula que permite predecir un valor de x en la funcin de x , por lo tanto, dada una aproximacin inicial, x i de la raz, dicha ecuacin se puede usar para obtener una nueva aproximacin. Esto es:

x i +1 = g ( x i )
Los errores se calculan igual que en los mtodos anteriores Obtener la aproximacin de la raz y sus errores EJERCICIO 7
62

F(x)= ex X Vv = 0.56714329 Xi=0 II.2.4. MTODO DE NEWTON-RAPHSON Este mtodo es uno de los ms usados y toma en consideracin un punto inicial x i y se extiende una tangente desde el punto (x i f (x i )) y donde se cruza con el eje x es una aproximacin mejorada de la raz. Este mtodo se puede derivar geomtricamente de la serie de Taylor y en base a esta se obtiene la siguiente formula.

x i +1 = x i
(EJERICICO 8) F(x)= ex X

f (x i ) f '(x i )

63

64