Teorema de Gauss-Lucas

En análisis complejo, el teorema de Gauss-Lucas aporta una relación geométrica entre las raíces de un polinomio P y las raíces de su derivada P'.

El teorema dice que todas las raíces de P' caen en la envoltura convexa de las raíces de P, es decir, el menor de los polígonos convexos que contiene las raíces de P. Cuando P tiene una sola raíz, esta envoltura convexa consiste en un solo punto; y cuando las raíces definen una recta, la envoltura convexa es un segmento de esa recta.

El teorema de Gauss-Lucas, nombrado en honor a Carl Friedrich Gauss y Félix Lucas[1]​ es en esencia similar al teorema de Rolle.

Si P es un polinomio (no constante) con coeficientes complejos, todos los ceros de P ' pertenecen a la envoltura convexa del conjunto de ceros de P. Es fácil ver que si P(x) = ax2 + bx + c es un polinomio de segundo grado, el cero de P '(x) = 2ax + b es la media de los ceros de P. En ese caso, la envoltura convexa es el segmento que tiene las dos raíces como extremos y la media de las raíces es el punto medio del mismo.

Además, si un polinomio de grado n de coeficientes reales tiene n raíces reales distintas

, se puede ver que, usando el teorema de Rolle, los ceros de la derivada del polinomio se encuentran en el intervalo

que es la envoltura convexa del conjunto de raíces.

Sobre los números complejos, P es un producto de factores primos donde los números complejos

son los ceros – no necesariamente distintos – del polinomio

un número complejo tal que

Entonces se tiene la derivada logarítmica En particular, si

, entonces o Esto también se puede expresar como Tomando sus conjugados, se puede observar que z es una suma ponderada con coeficientes positivos que suman uno, o el baricentro, de los números complejos ai (a cada uno de los cuales se le asigna una masa distinta).

Si P(z) = P'(z) = 0, entonces z = 1·z + 0·ai, y sigue siendo una combinación convexa de las raíces de P.