- 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 conjunto de raíces de un polinomio real o complejo es un conjunto de puntos en el plano complejo. 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.
Contenido
Teorema
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.
C. F. Gauss y F. LucasCasos especiales
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 ![[x_1,x_n]\,](5/e159e2c8ec171617a80546a9520d2c57.png)
que es la envoltura convexa del conjunto de raíces.Demostración
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 P, el número complejo α es el coeficiente principal de P y n es el grado de P. Sea z un número complejo tal que 
. Entonces se tiene la derivada logarítmicaEn particular, si z es un cero de P' y aun así
, entonceso
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.
Referencias
- ↑ Félix Lucas, Sur une application de la Mécanique rationnelle à la théorie des équations, C. R. Hebdomadaires Séances Acad. Sci. LXXXIX (1879), 224–226
Enlaces externos
- Bruce Torrence. «Lucas-Gauss Theorem» (en inglés). The Wolfram Demonstrations Project. Wolfram Research.
Categorías:- Análisis convexo
- Teoremas de análisis complejo
- Análisis complejo
Wikimedia foundation. 2010.
