Théorème de Gauss-Lucas

En mathématiques, le théorème de Gauss-Lucas, ou théorème de Lucas, établit une propriété des polynômes complexes. Il énonce que les racines du polynôme dérivé sont situées dans l'enveloppe convexe de l'ensemble des racines du polynôme d'origine.

Ce résultat est évoqué de façon implicite en 1836 par Carl Friedrich Gauss^{[réf. nécessaire]}. Félix Lucas^{[note 1]} énonce et prouve ce résultat dans une communication à l'Académie des Sciences de 1879^[1].

Il est facile de remarquer que si $P (x) = ax 2 + bx + c = a (x - x 1)(x - x 2)$ est un polynôme du second degré, le zéro de $P'$ est la demi-somme des zéros de $P$ :

P'(x)=2ax+b=a(x-x_{1}+x-x_{2})=0\Longleftrightarrow x=-{\frac {b}{2a}}={\frac {x_{1}+x_{2}}{2}}.

Par ailleurs, si un polynôme de degré $n$ à coefficients réels admet $n$ zéros réels distincts $x 1 < x 2 < ... < x n$ , on voit en utilisant le théorème de Rolle que les zéros du polynôme dérivé sont dans l'intervalle $[x 1, x n]$ .

Le résultat suivant peut être vu comme une généralisation de cette propriété des polynômes.

Énoncé

Soit $P$ un polynôme non constant à coefficients complexes. Alors tout zéro de $P$ ' appartient à l'enveloppe convexe de l'ensemble des zéros de $P$ .

Preuve

Soit $P(z)=c\prod _{i=1}^{r}(z-a_{i})^{n_{i}}$ la décomposition de $P$ en facteurs irréductibles : le complexe $c$ est le coefficient dominant du polynôme, les complexes $a i$ en sont les zéros distincts, les entiers $n i$ leurs multiplicités respectives.

On a alors^{[note 2]} :

{\frac {P^{\prime }(z)}{P(z)}}=\sum _{i=1}^{r}{\frac {n_{i}}{z-a_{i}}}

.

En particulier,

{\hbox{si}}\quad P^{\prime }(z)=0\quad {\hbox{et}}\quad P(z)\neq 0

,

\sum _{i=1}^{r}{\frac {n_{i}}{z-a_{i}}}=0\quad {\hbox{ou encore}}\quad \ \sum _{i=1}^{r}n_{i}{\frac {{\overline {z}}-{\overline {a_{i}}}}{\vert z-a_{i}\vert ^{2}}}=0,

ce qui s'écrit aussi

\left(\sum _{i=1}^{r}{\frac {n_{i}}{\vert z-a_{i}\vert ^{2}}}\right){\overline {z}}=\sum _{i=1}^{r}{\frac {n_{i}}{\vert z-a_{i}\vert ^{2}}}{\overline {a_{i}}}

.

En prenant les conjugués, on voit que $z$ est un barycentre à coefficients positifs des $a i$ .

Le cas où $z$ est aussi zéro de $P$ est évident.

v · m Travaux de Carl Friedrich Gauss
Algèbre	Lemme de Gauss Élimination de Gauss-Jordan Méthode de Gauss-Seidel Somme de Gauss Théorème de d'Alembert-Gauss
Analyse	Algorithme de Gauss-Newton Théorème de Gauss-Lucas Fonction gaussienne Intégrale de Gauss Méthodes de quadrature de Gauss
Théorie des nombres	Opérateur de Gauss-Kuzmin-Wirsing Constante de Gauss Lemme de Gauss Entier de Gauss Loi de réciprocité quadratique
Statistiques	Théorème de Gauss-Markov Fonction de Gauss
Géométrie	Formule de Gauss-Bonnet Équations de Gauss-Codazzi Courbure de Gauss
Physique	Théorème de Gauss gravitationnel Théorème de Gauss en électromagnétisme Faisceau gaussien Système d'unités gaussiennes

v · m Convexité
Géométrie convexe	Article principal : Ensemble convexe Outils et résultats fondamentaux : Enveloppe convexe Adhérence, intérieur et frontière d'un convexe Projection sur un convexe fermé Séparation des convexes Points remarquables à la frontière d'un convexe Polytope Théorème de Krein-Milman Lemme de Farkas Géométrie combinatoire : Théorème de Carathéodory Théorème de Radon Théorème de Helly Géométrie métrique : Courbe de largeur constante Théorème des quatre sommets Algorithmes de géométrie convexe : Approche polyédrique Marche de Jarvis Parcours de Graham Théorème optimisation/séparation Optimisation linéaire : Optimisation linéaire Algorithme du simplexe Génération de colonnes
Interactions géométrie-analyse	Théorème de Hahn-Banach Fonctionnelle de Minkowski
Analyse convexe	Articles principaux : Ensemble convexe Fonction convexe Outils et résultats fondamentaux : Conditions de Karush-Kuhn-Tucker Inégalité de Jensen Algorithmique : Méthodes de points intérieurs
Utilisations de la convexité	Inégalités de convexité : Inégalité arithmético-géométrique Inégalité de Hölder Inégalité de Popoviciu Analyse fonctionnelle : Espace localement convexe Théorème du point fixe de Schauder Localisation de zéros de polynômes : Théorème de Gauss-Lucas Théorie des nombres : Théorème de Minkowski

Théorème de Gauss-Lucas

Énoncé

Preuve

Notes et références

Notes

Références

Voir aussi

Articles connexes

Bibliographie

Related Articles