You are on page 1of 4

La regla de los signos de Descartes

En los ltimos das se ha nombrado en los comentarios del post Una posible demostracin maravillosa del UTF un resultado conocido como regla de los signos de Descartes, relacionado con el nmero de soluciones positivas de una ecuacin polinmica. Este artculo va a servir para presentar esta regla, dar alguna pincelada de su historia y tambin para demostrarla.

Qu es la regla de los signos de Descartes


Supongamos que tenemos el polinomio igualamos a 0 obtenemos la siguiente ecuacin polinmica: . Si

Ordenemos los coeficientes segn el grado del monomio al que multiplican, colocando en primer lugar al que corresponde al de grado mayor. Obtendramos la siguiente lista:

Obviando el cero, tenemos que en esta lista se producen tres cambios de signo: del 3al -5, del -5 al 1 y del 1 al -7. Llamando al nmero de cambios de signo en la lista de coeficientes del polinomio , tendramos entonces que en este caso . Por otra parte, si utilizamos un programa informtico para calcular las races de dicha ecuacin (bueno, aproximaciones de las mismas), obtenemos que tiene una solucin real positiva y cuatro soluciones complejas (dos parejas compleja-conjugada). Lo que hace la regla de los signos de Descartes es relacionar el nmero de cambios de signo en la lista de coeficientes de una ecuacin polinmica con el nmero de races positivas de dicha ecuacin. Por desgracia no da una cantidad exacta de soluciones, sino que nos da una cota, aunque en muchas ocasiones dicha cota puede propocionar informacin muy interesante sobre la cantidad de races positivas de la ecuacin. Vamos a enunciar esta regla: Regla de los signos de Descartes El nmero de races reales positivas de una ecuacin polinmica con coeficientes reales igualada a cero es, como mucho, igual al nmero de cambios de signo que se produzcan entre sus coeficientes (obviamos los ceros). Es decir, que el nmero de cambios de signos que se produzcan entre los coeficientes es una cota superior del nmero de races positivas de la ecuacin. Por ejemplo, en el caso anterior la ecuacin tendra como mucho tres soluciones reales positivas, ya que . Pero se puede decir un poco ms. No solamente tenemos una cota superior del nmero de races positivas de la ecuacin, sino que sabemos que no se pueden tomar todos los valores marcados por dicha cota. De hecho sabemos que si la cota no se alcanza, entonces el nmero de races positivas de la ecuacin difiere de ella un mltiplo de dos. En el ejemplo anterior esto

significa que la ecuacin puede tener tres races positivas o tener solamente una, pero no podra ocurrir que tuviera dos o que no tuviera ninguna. La regla de los signos de Descartes fue propuesta por el filsofo y matemtico francsRen Descartes en su obra La Gomtrie, de 1637, aunque no la demostr. Ms adelante, en 1707, Isaac Newton reformul dicha regla, aunque tampoco dio una demostracin de la misma (se piensa que consider demasiado trivial dicha demostracin). La primera prueba conocida de este resultado se debe al matemtico francs Jean-Paul de Gua de Malves, en 1740. Tuvo que ser nuestro admirado Gauss quien, en 1828, mostr que si no hay tantas soluciones como cambios de signo, entonces el nmero de soluciones difiere del nmero de cambios en un mltiplo de dos.

Demostracin de la regla de los signos de Descartes


Vamos a terminar este artculo sobre la regla de los signos de Descartes dando una demostracin de la misma. Supongamos que tenemos un polinomio de grado n cuyo coeficiente lder (el coeficiente correspondiente al monomio de mayor grado) es 1 (no perdemos generalidad con esta suposicin). Supondremos tambin que el trmino independiente del polinomio no es cero (esto es, que ), ya que si lo es podemos sacar factor comn un trmino de la forma que despus se puede eliminar. Vamos a probar esta regla por induccin en n:

Para n=1, esto es, para polinomios de grado 1, el resultado es inmediato, ya que si la ecuacin es con (un cambio de signo) la nica solucin es (una solucin positiva). Si es con (ningn cambio de signo) la nica solucin es (ninguna solucin positiva). Supongamos entonces que es un polinomio de grado , con coeficiente lder igual a 1 y con . Distinguimos dos casos: 1. Si , entonces el nmero de cambios de signo de la ecuacin debe ser impar, ya que comenzamos en un nmero positivo, el 1, que es el coeficiente lder, y terminamos en un nmero negativo, . Veamos que el nmero de races positivas de la ecuacin tambin es impar: Como el grado del polinomio es n, se tiene que el trmino es el que marca la tendencia del polinomio para valores grandes de x. De hecho, para algn valor grande y positivo de x, digamos , se tiene que es positivo, por lo que aplicando el teorema de Bolzano a en el intervalo tenemos que existe al menos una raz de en el intervalo , esto es, positiva. Si llamamos k a esa raz, se tiene que , con un

polinomio de grado y tal que es positivo (dado que k es positivo y es negativo). Aplicando la hiptesis de induccin a obtenemos que ese polinomio tiene un nmero par de races positivas, por lo que tiene un nmero impar de soluciones positivas (todas las que tiene junto con k). 2. Vamos con el caso . Si la ecuacin no tiene soluciones positivas, entonces la condicin que queremos comprobar se cumple, ya que cero es un nmero par. En el caso de que la ecuacin tenga alguna solucin positiva, llamemos k a una de ellas. Como antes, tenemos que ,

siendo un polinomio de grado tal que es negativo (ya que k es positivo y tambin). Podemos aplicar la hiptesis de induccin a , lo que nos dice que ese polinomio tiene un nmero impar de races positivas. En consecuencia, tiene un nmero par de races positivas (todas las de junto con k). Lo que nos dice todo esto es que el nmero de cambios de signo y el nmero de races positivas de un polinomio tiene la misma paridad (o los dos son pares o los dos son impares). Es decir, que esos dos nmeros son iguales o difieren en un mltiplo de dos. Nos queda probar que hay ms cambios de signo que races positivas, es decir, que el nmero de cambios de signo es una cota superior del nmero de races positivas. Lo vemos: Si hubiera ms races positivas que cambios de signo en los coeficientes de , entonces debera haber al menos dos races positivas ms que el nmero de cambios de signo (por lo que hemos probado antes). Manteniendo la notacin anterior, tenemos que al menos debera haber races positivas. Por otra parte, se tiene que tiene al menos una raz entre cada dos races de (sabis por qu, verdad?). Por tanto habra al menos races de . Pero tiene como mucho tantos cambios de signo como , es decir, cambios a lo sumo, y adems su grado es . En estas condiciones la hiptesis de induccin nos dice que dicho polinomio cumple la regla de los signos, es decir, cumple que tiene ms cambios de signo que races positivas. Llegamos entonces a una contradiccin provocada por la suposicin inicial. Por tanto hay ms cambios de signo que races positivas. Como comentario final, es interesante resaltar que si tomamos el polinomio y le aplicamos la regla de los signos de Descartes obtenemos una cota superior del nmero de soluciones negativas de .

Un ejemplo de la utilidad de la regla de los signos de Descartes


El gran problema de esta regla es que no da una cantidad exacta de races positivas del polinomio, sino una cota superior de las mismas. Por ello no podemos solamente con esta regla cuntas races positivas tiene nuestra ecuacin. Pero s podemos aprovechar algn conocimiento previo sobre las races positivas de la misma. Pongo un ejemplo: Supongamos que tenemos una ecuacin polinmica con dos cambios de signo entre sus coeficientes, y supongamos tambin que mediante otros mtodos hemos encontrado una solucin positiva de la misma, digamos k. Por la regla de los signos sabemos que la ecuacin tendr dos soluciones positivas o no tendr ninguna. Pero tenemos ya una, k, por lo que nuestra

ecuacin tiene dos races positivas exactamente. Eso nos indica que si necesitamos buscar otra raz de la ecuacin, podemos hacerlo entre los nmeros positivos, ya que seguro que hay otra ms. Tambin se puede combinar el comentario final, que nos calcula una cota del nmero de races negativas, con la propia regla, para as obtener ms informacin sobre las races reales de la ecuacin. Y para finalizar os dejo este mensaje del foro de Rincn Matemtico donde hay un par de documentos en pdf con informacin adicional acerca de la regla de los signos de Descartes y otros resultados relacionados.