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

. Si

a0 obtenemos la siguiente ecuacin polinmica:

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
la lista de coeficientes del polinomio
caso

al nmero de cambios de signo en

, tendramos entonces que en este

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
francs Ren 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.