Voir la source de Racine d'un polynôme réel ou complexe

{{Voir homonymes|Théorie des équations}}
On appelle '''racine d'un polynôme réel ou complexe''' une [[racine d'un polynôme]] ''P''(''X'') à une seule variable dont les coefficients sont [[Nombre réel|réels]] ou [[Nombre complexe|complexes]], c'est-à-dire un nombre α, réel ou complexe, vérifiant ''P''(α) = 0. Dit autrement une racine d'un polynôme réel ou complexe est une solution d'une équation polynomiale dont les coefficients sont pris dans ℝ ou ℂ.

Les racines des polynômes du [[équation du premier degré|premier degré]], du [[équation du second degré|second degré]], de [[équation cubique|degré 3]] et de [[équation quartique|degré 4]] s'expriment à l'aide des quatre opérations usuelles et des [[racine d'un nombre|racines ''n''-ièmes]]. Hors cas particuliers, ceci ne se généralise pas aux degrés supérieurs, selon le [[théorème d'Abel-Ruffini]]. Pour [[équation quintique|le degré 5]] la solution générale d'[[Charles Hermite|Hermite]] fait intervenir des [[Fonction elliptique|fonctions elliptiques]]. Pour les équations de degrés supérieurs, sauf dans quelques cas particuliers, il ne reste que le [[calcul numérique]], qui est d'ailleurs utile même pour les plus petits degrés. Se posent alors les problèmes de résolution de ces équations, d'estimation des solutions, de détermination du signe de ces solutions, des [[Algorithme de recherche d'un zéro d'une fonction|algorithmes de résolution]] et tous les problèmes connexes.

Au {{s|XIX}} et dans la première moitié du {{s|XX}}, ces problèmes étaient souvent regroupés sous le terme « théorie des équations » ou « théorie des équations algébriques », aux côtés d'autres, comme ceux liés à la résolution de [[système d'équations linéaires|systèmes d'équations linéaires]]<ref>Par exemple [https://archive.org/details/firstcourseinth01dickgoog Dickson, First Course in the Theory of Equations, 1922].</ref>, ou à l'analyse de la résolution par radicaux par la [[théorie de Galois]]<ref>Burton Scott Easton, ''The Galois theory in Burnside and Panton's theory of equations'', bulletin of the AMS, avril 1902, [http://www.ams.org/journals/bull/1902-08-08/S0002-9904-1902-00910-5/S0002-9904-1902-00910-5.pdf lire en ligne].</ref>.

== Prologue ==

La majorité des algorithmes connus pour calculer une solution repose sur une amorce proche de la solution cherchée. Se pose donc la question de déterminer une région où se trouvent les solutions.

Souvent, on n'a pas besoin de connaître les solutions avec précision. Une estimation de ces solutions suffit, voire seulement le nombre ou le signe de ces solutions, quand ce n'est pas un simple [[majorant]].

L'objet de cet article est de donner un panorama des méthodes ingénieuses d'estimation de ces solutions découvertes depuis parfois longtemps.

== Définitions et conventions ==

Dans la suite, les polynômes considérés sont donnés sous forme développée selon la formule <math> P(z) = \sum_{k=0}^n a_k z^k </math>.

Le coefficient <math>a_k</math> est le coefficient de la puissance ''k''-ième de la variable ''z''.

Le degré du polynôme ''P'' est égal à son coefficient '''non nul''' de rang le plus élevé.

Dans le cas où la variable considérée est réelle, on l'écrira ''x''.

On appelle racine de ''P'' toute valeur <math>\alpha</math>, réelle ou complexe, telle que <math>P(\alpha)=0.</math>

== Positions des problèmes ==

Le premier objet de la théorie est l'étude des rapports entre les coefficients et les racines d'un polynôme. On verra que les relations entre les coefficients et les racines sont de plus en plus compliquées à mesure que le degré du polynôme augmente. Élémentaire au premier degré, raisonnable au second, l'expression des racines en fonction des coefficients devient plus difficile avec les troisième et quatrième degré, très complexe au cinquième degré et inextricables au-delà.

== La résolution par radicaux ==

Le [[Fonction affine|polynôme du premier degré]] <math>a_1 z + a_0\quad(a_1\ne0)</math> a pour racine <math>\alpha= -\frac{a_0}{a_1}</math>.

Le polynôme du second degré <math>a_2 z^2 + a_1 z + a_0\quad(a_2\ne0)</math> admet deux racines complexes déterminées par les formules :
<center><math>\alpha_1=\frac{-a_1-\sqrt{\Delta}}{2a_2},\quad\alpha_2=\frac{-a_1+\sqrt{\Delta}}{2a_2}</math></center> où <math>\Delta=a_1^2-4a_0a_2</math> et les divisions et la [[racine carrée]] devant être effectuées dans l'ensemble des nombres complexes.

== Le cas complexe ==

Dans cette partie, on considère un polynôme à coefficients complexes dont on cherche les racines complexes. Selon le [[Théorème fondamental de l'algèbre|théorème de d'Alembert-Gauss]] :

Tout polynôme de degré ''n'' à coefficients complexes se décompose en un produit de ''n'' termes du premier degré faisant apparaître les racines complexes <math>\alpha_k</math>.
<center><math> P(z)= a_n \prod_{k=1}^n (z-\alpha_k)</math></center>

Il en existe plusieurs démonstrations dont une très courte utilise une propriété des [[fonction holomorphe|fonctions holomorphes]] donnée par le [[Théorème de Liouville (variable complexe)|théorème de Liouville]] (voir l'[[Théorème fondamental de l'algèbre#Démonstrations|article dédié]]).
=== Une première estimation ===
Cependant la démonstration du théorème de d'Alembert-Gauss par le théorème de Liouville n'apporte aucune information sur la position des racines complexes. Une seconde méthode est donnée par le [[théorème de Rouché]] :
{{énoncé|Soient {{mvar|f}} et {{mvar|g}} deux fonctions holomorphes dans un contour fermé {{mvar|γ}} ne se recoupant pas et telles que
<math>|f(z)-g(z)| < |g(z)|</math> pour tout point {{mvar|z}} de {{mvar|γ}}. Alors, à l'intérieur de {{mvar|γ}}, {{mvar|f}} et {{mvar|g}} ont le même nombre de zéros (comptés avec leurs multiplicités).
}}

On en déduit en particulier le théorème suivant<ref>{{Ouvrage|langue=en|auteur=Victor V. Prasolov|titre=Polynomials|éditeur=Springer|année=2009|url=https://books.google.fr/books?id=qIJPxdwSqlcC&pg=PA2|page=2}}.</ref>, plus précis que le théorème de d'Alembert-Gauss :
{{énoncé|Soit {{mvar|P}} un polynôme de degré {{mvar|n}} normalisé (le coefficient de {{mvar|z{{exp|n}}}} est 1) et {{mvar|A}} le plus grand module des autres coefficients de {{mvar|P}}. Alors {{mvar|P}} a exactement {{mvar|n}} racines (comptées avec leurs multiplicités) à l'intérieur du cercle de centre 0 et de rayon 1 + {{mvar|A}}.
}}

{{démonstration|
La démonstration consiste à appliquer le théorème de Rouché à ''P'' et au polynôme ''{{math|z{{exp|n}}}}'' qui admet 0 comme racine de multiplicité ''n''. Sur le cercle {{math|1={{!}}''z''{{!}} = 1 + ''A''}}, on a bien :
<center><math>\left|\sum_{i=0}^{n-1} a_i z^i\right|\le A\sum_{i=0}^{n-1} |z|^i =A \frac{|z|^n -1}{|z|-1}=|z|^n -1 <|z|^n</math>,</center> d'où le résultat.
}}

{{refnec|date=juillet 2020|'''Corollaire''' :}}
{{énoncé|Soit {{mvar|P}} un polynôme de degré {{mvar|n}} s'écrivant
<center><math>P(z)=a_n z^n+a_{n-1}z^{n-1}+\dots+a_1z+a_0</math></center>
et soient les deux nombres
<center><math>A=\max(|a_0|,|a_1|,\ldots,|a_{n-1}|),\quad B=\max(|a_1|, |a_2|,\dots,|a_{n}|)</math>.</center>
Les racines de {{mvar|P}} sont dans la couronne
<center><math>\frac1{1+B/|a_0|}\le|z|<1+\frac A{|a_n|}</math>.</center>
}}

=== Le théorème d'Eneström-Kakeya ===

La relation entre les coefficients et les racines est très compliquée. Aussi faut-il s'attendre à obtenir des résultats intéressants avec des hypothèses plus fortes. C'est le cas du théorème suivant, dû à [[Sōichi Kakeya|Kakeya]] et cas particulier d'un corollaire donné en 1893 par [[Gustaf Eneström|Eneström]]{{Référence souhaitée||date=4 juillet 2020}}.
{{énoncé|1=Soit <math>P(z)=\sum_{i=0}^n a_iz^i</math> un polynôme à coefficients réels tels que <math>0 \le a_n \le a_{n-1} \le a_{n-2} \le \ldots \le a_0</math>. Alors les racines complexes sont en dehors du disque unité.
}}

=== Le théorème de Cauchy ===

Voisin de l'estimation obtenue par le théorème de Rouché mais antérieur à ce dernier, ce théorème établit un lien entre le cas des polynômes à coefficients complexes et le cas des polynômes à coefficients réels.

{{énoncé|1=Soit ''P'' un polynôme de degré ''n'' s'écrivant
<center><math>P(z) = a_n z^n + a_{n-1} z^{n-1}+\ldots+a_1 z +a_0</math></center>
et ''Q'' le polynôme associé s'écrivant
<center><math> Q(z) = |a_n| z^n - |a_{n-1}| z^{n-1}-\ldots-|a_1| z -|a_0|.</math></center>
Soit ''r'' l'unique racine [[Nombre positif|positive]] de l'équation ''Q''(''z'') = 0. Alors toutes les racines de ''P'' sont de modules inférieurs ou égaux à ''r.
}}

Ce théorème est lui-même une version complexe de l'estimation de Lagrange, un résultat qui sera donné dans le cas réel {{infra|La majoration de Lagrange}}.

=== Le théorème de Cohn-Berwald ===

Alors que le théorème de Cauchy ne donne qu'une majoration, le théorème suivant donne la minoration correspondante, tout en améliorant le résultat de Cauchy.

Considérant le théorème de Cauchy et utilisant un théorème de {{Lien|langue=en|fr=John Hilton Grace|texte=Grace}}, [[Critère d'irréductibilité de Cohn|Cohn]] montra tout d'abord qu'au moins une des racines de ''P'' se trouvait de module supérieur à <math>r(\sqrt[n]{2}-1)</math>. Ce résultat a été amélioré par {{Lien|langue=de|fr=Ludwig Berwald|texte=Berwald}}<ref>{{Ouvrage|langue=en|titre=Geometry of Polynomials|auteur=Morris Marden|éditeur=[[American Mathematical Society|AMS]]|année=1949|url=https://books.google.fr/books?id=raZwAAAAQBAJ&pg=PA123|page=123-124}}.</ref>.

{{énoncé|Dans les notations du théorème de Cauchy, soient <math>z_1, z_2, \ldots, z_n</math> les racines complexes de P. On a l'inégalité
<center><math>r(\sqrt[n]{2}-1)\le \frac{|z_1|+|z_2|+\ldots+|z_n|}{n} \le r.</math></center>}}

== Le cas réel ==

Dans cette partie, on considère un polynôme ''P'' à coefficients réels dont on cherche les racines réelles. Une conséquence du théorème de d'Alembert-Gauss est que tout polynôme de degré ''n'' à coefficients réels peut s'écrire comme le produit de polynômes de degré au plus deux à coefficients réels, les facteurs du second degré n'ayant pas de racine réelle.

=== Le théorème de Rolle ===
{{article détaillé|Théorème de Rolle}}

Si l'on connaît deux [[nombre réel|nombres réels]] ''a'' et ''b'' tels que <math>a < b \;</math> et tels que <math>P(a)=P(b) \,</math>, alors il existe (au moins) une racine ''c'' dans <math>]a,b[ \;</math> du polynôme dérivé ''P{{'}}'' :

<center><math>P'(c)=0. </math></center>

Ce théorème est un théorème de séparation des racines de ''P'' et de ''P{{'}}''. Entre deux racines de ''P'' se trouve toujours au moins une racine de ''P{{'}}''.

=== Le [[Théorème des valeurs intermédiaires#Énoncé|théorème de Bolzano]] ===

Si ''P''(''a'') et ''P''(''b'') ne sont pas de même signe, il existe au moins une racine réelle ''c'' comprise entre ''a'' et ''b''.

=== La majoration de Lagrange ===
{{énoncé|Soit ''P''(''x'') un polynôme à coefficients réels tel que les ''k'' coefficients appartenant aux puissances les plus élevées soient positifs ou nuls et en appelant ''G'' le plus grand des coefficients négatifs en valeur absolue et <math>a_n</math> le coefficient du terme de plus haut degré alors toutes les racines réelles, '''s'il en existe''', sont inférieures ou égales à
<center><math> 1+\sqrt[k]{\frac{G}{a_n}}.</math>}}

{{Démonstration|On considère un réel positif ''x''.

''P''(''x'') est alors supérieur ou égal à <center><math>a_n x^n - G(x^{n-k}+x^{n-k-1}+\ldots +1) = a_n x^n -G \frac{x^{n-k-1}-1}{x-1}</math></center> d'après la somme d'une série géométrique. En réduisant au même dénominateur, on a

<center><math>P(x) \ge \frac{x^{n -k+1}[a_n (x^k-x^{k-1})-G ]+G}{x-1}.</math></center>
Or, si ''x'' > 1, alors <center><math>(x^k-x^{k-1})>(x-1)^k</math></center> donc si <center><math> x>1+\sqrt[k]{\frac{G}{a_n}},</math></center> on a <center><math>a_n(x^k-x^{k-1}) >G</math></center> et par conséquent ''P''(''x'') > 0. Donc, '''si elle existe''', une racine de l'équation est nécessairement inférieure à <center><math> 1+\sqrt[k]{\frac{G}{a_n}}.</math></center>
}}
Cette règle permet de trouver très facilement une limite inférieure pour les racines négatives en appliquant la règle à ''P''(–''x''), sous réserve qu'il y en ait.

En appliquant la règle au numérateur de ''P''(1/''x'') après réduction au même dénominateur, de trouver une estimation de la plus petite racine positive''' si elle existe'''.

Remarque : le théorème de Cauchy n'est rien d'autre que l'adaptation au cas complexe de l'estimation de Lagrange.

{{Exemple|
Soit <math>P(x)= x^6+3x^5-2x^3+x+2</math>. On cherche à encadrer les racines positives et négatives.

L'application de la majoration de Lagrange donne <math>a_n=1</math> et {{math|1=''G'' = 2}}. D'autre part, {{math|1=''k'' = 3}}. Donc les racines positives sont inférieures à <center><math> 1+\sqrt[3]2</math>.</center>

Calculons ''P''(1/''x''). On trouve que le numérateur est <center><math>2x^6+x^5-2x^3+3x+1</math></center> donc <math>a_n=2</math>, {{math|1=''G'' = 2}} et  {{math|1=''k'' = 3}}. La plus petite racine positive, s'il en existe, est donc supérieure à
<center><math>\frac1{1+\sqrt[3]{1}} = \frac12</math>.</center>

Estimons de même les racines négatives : <math>P(-x)=x^6-3x^5+2x^3-x+2</math> donc <math>a_n=1</math>, {{math|1=''G'' = 3}} et  {{math|1=''k'' = 1}}. On a donc que les racines négatives sont toutes supérieures à {{math|1=–1 – 3 = –4}}.

<math>P(-1/x)=\frac{2x^6-x^5+2x^3-3x+1}{x^6}</math> donc <math>a_n=2</math>, {{math|1=''G'' = 3}} et {{math|1=''k'' = 1}}. Les éventuelles racines négatives sont inférieures à {{math|1=–1/(1+3/2) = –2/5}}.

Un calcul numérique donne deux racines, valant approximativement –2,7 et –1,2 et '''il n'y a pas de racine positive'''.
}}

=== Règle des signes de Descartes ===

Cette [[Règle de signes de Descartes|règle]] a été donnée par [[René Descartes]] dans le livre III de son œuvre ''[[La Géométrie (Descartes)|La Géométrie]]'' (1637). Son objet est de déterminer le nombre de racines positives et négatives d'un polynôme à coefficients réels.

[[s:Page:Descartes La Géométrie.djvu/84|Descartes s'exprime ainsi]], où les « vraies » racines sont les positives, tandis que les « fausses » racines sont les négatives<ref>Citation de l'édition modernisée de Hermann, 1886</ref> :

{{début citation bloc}}On connoît aussi de ceci combien il peut y avoir de vraies racines et combien de fausses en chaque équation : à savoir il y en peut avoir autant de vraies que les signes + et - s'y trouvent de fois être changés, et autant de fausses qu'il s'y trouve de fois deux signes + ou deux signes - qui s'entre-suivent.{{fin citation bloc}}

On suppose que le polynôme à une variable et à coefficients réels est ordonné par ordre décroissant des exposants.

Alors le nombre des racines positives du polynôme est égal au nombre de changements de signes entre deux coefficients non nuls diminué éventuellement d'un multiple de 2 (pour tenir compte des racines complexes conjuguées qui ne sont pas décomptées), chaque racine positive étant comptée selon sa multiplicité.

En changeant la variable ''x'' en (-''x''), la règle permet de trouver le nombre des racines négatives, à un multiple de 2 près, puisque l'on a permuté les racines positives et négatives par la transformation.

Clairement, si le polynôme n'admet que des racines réelles, la règle de Descartes donne alors le nombre exact de racines positives.

De la même manière, on peut, par la règle de Descartes, déterminer combien de racines réelles sont supérieures à une valeur donnée ''c'', par le changement de variable ''x'' transformé en ''x-c'' dans le polynôme.

=== Exemples ===
* Le polynôme <math>x^3 + x^2 - x - 1</math>, admet un seul changement de signes, entre le deuxième et le troisième terme. La règle de Descartes affirme donc qu'il possède exactement une racine positive.
Si l'on transforme ''x'' en -''x'', on a <math>-x^3 + x^2 + x - 1 </math>, qui donne deux changements de signes. Donc il y a 2 ou 0 racines négatives.
* Le polynôme <math>5x^5 - 7x^4 + x^3 - x + 2</math>, admet quatre changements de signes. Donc le polynôme peut avoir zéro, deux ou quatre racines positives.
* Combien le polynôme <math>x^3 + x^2 - x - 1</math>, a-t-il de racines réelles supérieures à <math>\tfrac{1}{2}</math> ? On développe <math>(x-\tfrac{1}{2})^3 + (x-\tfrac{1}{2})^2 - (x-\tfrac{1}{2}) - 1 \,</math> et on trouve <math>x^3-\tfrac{1}{2}x^2 - \tfrac{5}{4}x - \tfrac{3}{8}</math>, qui n'a qu'un seul changement de signe. Il n'y a donc qu'une seule racine réelle supérieure à <math>\tfrac{1}{2}</math>.

==== Extensions de la règle ====

On considère ici non seulement les polynômes à coefficients réels mais également des expressions ressemblant à des polynômes avec des exposants réels quelconques.

Dans un article paru en 1883<ref>Laguerre, « [http://sites.mathdoc.fr/JMPA/PDF/JMPA_1883_3_9_A5_0.pdf Mémoire sur la théorie des équations numériques] », ''[[Journal de mathématiques pures et appliquées]]'', {{3e|série}}, {{t.|9}}, 1883, {{p.|99-146}}.</ref>, [[Edmond Laguerre]] donne une démonstration de la règle de Descartes à partir du théorème de Rolle et cette démonstration lui permet de conclure que la règle des signes de Descartes s'applique même si les exposants ne sont pas entiers et sont des réels quelconques, ce qui constitue une première généralisation de la règle de Descartes.

Puis, dans le même article ({{p.|106}}), Laguerre essaie d'obtenir de la règle de Descartes une majoration :

'''Théorème de Laguerre''' : Étant donné le « polynôme » <math>f(x)=\sum_{n=-\infty}^\infty a_n x^{\alpha_n}</math> ordonné suivant les puissances croissantes de {{mvar|x}}, les exposants pouvant être quelconques mais réels.

Le nombre des racines positives de l'équation <math>f(x)=0</math> qui sont inférieures à une quantité ''A'' est majoré par le nombre des alternances de la « suite » <math>\sum_{n=-\infty}^\infty a_n A^{\alpha_n}</math>. Et si ces deux nombres diffèrent, leur différence est un nombre pair.

Cette proposition subsiste lorsque le nombre de termes est limité, pourvu que la série composée de ces termes soit convergente pour ''x = A''.

Un cas particulier intéressant est obtenu en prenant ''A'' = 1.

==== Exemples ====

* Soit <math>f(x) = x^3-x^2+x^{1/3}+x^{1/7}-1</math>. Combien y a-t-il de racines positives ? Il y a trois alternances de signes (+- ; -+; +-) donc au plus 3 racines réelles positives.
* Soit <math>f(x) = \frac{1}{x^2}+2/x^{\sqrt{2}}-5/x+2-3x-8x^3</math>. Combien y a-t-il de racines positives inférieures à 2 ? La suite se calcule ainsi:

<math>1/2^2; 1/2^2+2/2^{\sqrt{2}}; 1/2^2+2/2^{\sqrt{2}}-5/2;1/2^2+2/2^{\sqrt{2}}-5/2+2; 1/2^2+2/2^{\sqrt{2}}-5/2+2-3\times 2; 1/2^2+2/2^{\sqrt{2}}-5/2+2-3\times 2-8\times 2^3</math>

soit numériquement
<math>0{,}25~;~1{,}0004~;~-1{,}4995~;~0{,}5004~;~-5{,}4995~;~-69{,}4995.</math>

Il y a donc trois alternances (+-; -+; +-) donc trois racines positives au plus. Soit une ou trois racines positives. On vérifie graphiquement qu'il y en a une seule vers 0.4473661675.

== Le théorème de Schur ==

Le théorème de [[Issai Schur|Schur]] donne directement un majorant du nombre des racines positives.

'''Théorème de Schur''' : {{début citation bloc}} Si <math> P(x)=\sum_{i=0}^n a_i x^i</math> est un polynôme à coefficients réels qui admet m racines réelles positives, alors <center><math>m^2 \le 2n\ln \left(\frac{|a_0|+|a_1|+\ldots+|a_n|}{\sqrt{|a_0\times a_n|}}\right).</math>{{fin citation bloc}}

== Le [[théorème de Sturm]] ==
{{Article détaillé|Théorème de Sturm|}}

== Le [[théorème de Budan]]-Fourier ==
{{...}}

== Le théorème de Gauss-Lucas ==
{{article détaillé|Théorème de Gauss-Lucas}}
Un cas particulier en est le théorème suivant, dû à Laguerre :

{{début citation bloc}}Si <math>P(x) = \sum_{i=0}^n a_i x^i </math> est un polynôme unitaire de degré n, ayant n racines réelles, alors ces racines sont toutes dans l'intervalle [a,b] où a et b sont les racines du polynôme <math>nx^2 + 2a_{n-1}x+\left[2(n-1)a_{n-2}-(n-2)a_{n-1}^2\right].</math>{{fin citation bloc}}

== Critère de Routh-Hurwitz ==
{{Article détaillé|Polynôme de Hurwitz}}

== Méthode de {{Lien|langue=de|fr=Karl Heinrich Gräffe|texte=Graeffe}}-Dandelin ==
{{Article détaillé|contenu=Article détaillé : {{Lien|langue=en|trad=Graeffe's method|fr=Méthode de Gräffe}}.}}
{{...}}
=== La conjecture de Sendof ===
{{...}}

== La règle de Newton et le théorème de Sylvester ==
Newton avait donné sans démonstration dans l'[[Arithmetica Universalis]] une majoration du nombre de racines réelles d'une équation, que nombre de mathématiciens ont cherché vainement à démontrer, parmi lesquels MacLaurin, Waring et Euler. C'est finalement en 1865 que [[James Joseph Sylvester|Sylvester]] en donna la démonstration<ref>Todhunter, I. Chapter XXVI: Newton's rule and Sylvester's theorem.
 An elementary treatise on the theory of equations,
 236--251, Macmillan and Co, London, 1875, [http://projecteuclid.org/euclid.chmm/1263315286 lire en ligne].</ref>{{,}}<ref>Sylvester, « Sur les limites du nombre des racines réelles des équations algébriques », CRAS, Paris, 1865, T60, {{p.}}1261-1263.</ref>.

=== Le théorème de Huat ===
{{...}}

== Le théorème de Gershgorin ==
Le [[théorème de Gerschgorin]] est souvent utilisé pour donner des estimations des racines des polynômes en utilisant une matrice.

'''Théorème de Gershgorin''':

{{début citation bloc}}''Soit A une matrice à coefficients complexes <math>a_{i,j}</math>. Soit <math>R_i</math> la somme des modules des coefficients non diagonaux de la ligne <math>i</math>. Alors les valeurs propres de A sont comprises dans l'union des disques définis par''
<math>|s - a_{i,i}| \le R_i.</math>

''Le même théorème a lieu sur les colonnes''.{{fin citation bloc}}

== Le théorème d'Ostrowski ==
'''Théorème d'[[Alexander Ostrowski|Ostrowski]]'''<ref>{{Chapitre|langue=en|auteur=A. M. Ostrowski|titre=A method for automatic solution of algebraic equations|auteurs ouvrage=B. Dejon et [[Peter Henrici|P. Henrici]]|titre ouvrage=Constructive Aspects of the Fundamental Equation of Algebra|éditeur=[[John Wiley & Sons|Wiley/Interscience]]|lieu=New York|année=1969|page=209-224}}.</ref>
{{début citation bloc}}''Soit P un polynôme de degré n de la forme
<math>P(z)=z^n +\sum_{i=0}^{n-2}a_i z^i</math> tel que <math>\max_{0\le i \le n-2}|a_i| \le 1.</math>

''Toutes les racines de P sont dans le disque de centre'' 0 ''et de rayon'' [[Nombre d'or|(1 + {{racine|5}})/2]].{{fin citation bloc}}

Remarque : attention, le coefficient de <math>z^{n-1}</math> est nul.

== Notes et références ==
{{Références}}

==Voir aussi==
===Articles connexes===
*[[Conditionnement (analyse numérique)]]
*[[Polynôme de Wilkinson]]
=== Liens externes ===
# [https://archive.org/details/analysegnraleou00boucgoog Fantet de Lagny & Richer du Bouchet, Analyse générale, ou Méthodes nouvelles pour résoudre les problèmes de tous les genres & de tous les degrez à l'infini ,1733]
# [https://archive.org/details/arithmetica02newtuoft Newton, Arithmetica universalis : sive De compositione et resolutione arithmetica, T2, 1761]
# [https://archive.org/details/arithmetica01newtuoft Newton, Arithmetica universalis : sive De compositione et resolutione arithmetica, T1, 1761]
# [https://books.google.fr/books?id=RDEVAAAAQAAJ&pg=PA1&dq=th%C3%A9orie+des+%C3%A9quations&lr=&as_brr=1#v=onepage&q=&f=false Bézout, Théorie générale des équations algébriques, 1779]

{{Portail|mathématiques}}

[[Catégorie:Équation polynomiale]]