Désignons, pour abréger, par ^x la fonction

on aura l'équation identique Fjpsss^x x/r; d'oii l'on tirera sur-le-^ cjiamp l'équation dérivée

¥'xz=2^'x ><fx'j^^x x/'jc;

et l'on trouvera

(p'o: = (a:— jS) (a;— ^) (a:— cT) . . • •^^x — a) (x — y) {x — cT) .... + (a>— a) {x — j8) (^— cT) . . . .+(^i>— «) (^— jS) (^•— >) • • • . etc.

Supposons que les racines et, jS, 7^, etc. soient rangées par ordre de grandeurs, en commençant par les plus grandes positives, et finissant par les plus grandes négatives. Il est facile de voir^ par la nature de la fonction (p'x, qu'en faisant xzssety on aura ^'x*^ o, qu'en disant or = /3 , on aura (p^x <C o , qu'en fidsant xz=zy ^ on aura (p'x >> , et ainsi de suite. .D'un autre côté ^ en faisant ar=:flt, fijy^ etc., on a toujours ^=0 et^^o^ par la nature de ces fonctions. Donc

X =z a donnera F'x > o ,

et ainsi de suite.

Or , en prenant la fonction dérivée du polynôme Fo: , on a

Txzszmxf'TZ^ 4. (/» — i) Ajc*=' 4- (/»— 2) Bjrt"' •+• etc. 4- T ;

donc l'équation F'x = o , qui est du degré 771-*- 1 , aura nécessairement des racines réelles qui tomberont entre les valeurs des racines a et jS, jS et yy y et «T, etc. (Note I").

4* Désignons par «. , jS. , y£ , etc. les racines réelles de l'équation Vx ss o , et l'on démontrera de la même manière que

o: = et, donnera F'x >^^ o,

x = IS, F« < o,

et ainsi de suite.

D'où il suit que l'équation Vx s= o , dans laquelle

F'xzszmÇm'^ i)x"^* + (''• "— ') {m — 2)Aaf^ ^(m^2) (m — 3)B«r-i^h etc. -|- aS,

iS4 NOTE VIII.

aura aussi des racines réelles qui tomberont entre les valeurs des racines a^ et jSx , /3, et y^ , etc. y et ainsi de suite.

Il résulte de ces formules , différentes conséquences que nous allons développer.

Si Téquation primitive Fa:=o a deux racines égales, l'équation dérivéfi Wx =& o aura une racine qui , devant tomber entre ces deux, leur sera encore égale; par conséqueiit, le &cteur qui coatiendra cette racine , sera on diviseur conmiun des deux poly* nomes /Fx et ¥^x; ce qui est d'ailleurs évident, parce que le polynôme Fx ceaitenant le iaoieur carré (x — «)% le polynôme T'a: contiendra encore le facteur Ample a?— ««. Ainsi l'équation F'j: :^ o renferme la condition pour qu'ime des racines de l'équation Tx ss: o soit double.

On prouvera , de la même manière , que si l'équalion ¥x = o a trois racines égales, le facteur qui contiendra celte racine sera un diviseur commun des trois polynômes Fx, ¥'x et ¥"Xy et que les deux équations F'xsso, Vx = o contiennent les conditions pour que l'éq nation ¥x = o ait trois racines égales ^ et ainsi de suite ; ce qui donne les théorèmes connus sur les racines égales.

5. Considérons d'abord les racines réelles de l'équation Fx=o, en tant qu'elles peuvent être positives et négatives, et supposons qu'elle en ait un nombre p de positives^ et un nombre q de négatives. Donc r équation T'x 3= o aura nécessaireipient p — i racines réelles positives 9^—1 racines réelles n^atiyes y et de plus une racine réelle qui pourra être positive ou négative j car puisque, entre deux racines consécutives de l'équatioa Fx == o ^ il en tombe nécessairement une de l'équation ¥*x ss o , il en tombera p — 1 positives entre les p positives , 9 — - i négatives entre les q négatives, et une entre la plus petite positive et la première négative, qui pourra être positive ou négative.

Donc , si l'équation Fx :=: o a plus de racines positives que l'équation F'x = o , elle ne peut en avoir qu'une de plus, et si elle a plus de racines négatives que celle-ci, elle n'en peut avoir qu'une de plus*

Or, comme toute équation a toqjours un nom)>re pair ou impair de racines positives^ suivant que son dernier terme est positif ou

NOTE VIII i55

négatif ( Note II), il s'ensuit que si les derniers termes sans x des équations Fo: = o , F'orsso, sont de même signe, l'équation Yx ne pourra pas avoir une racine positive de plus que l'équation • • . Y'x = o ; donc , dans ce cas , * elle ne pourra avoir qu'une racine négative de plus que cette dernière équation , et par conséquent aussi elle ne pourra avoir une racine positive de plus que celle-ci, que dans le cas où les derniers termes des mêmes équations seront de signes difierens.

Donc, en général, l'équation F^=o ne pourra avoir qu'une racine positive ou négative de plus que l'équation F'x = o, suivant que leurs derniers termes sont de signes dififérens ou de même signe. Par la même raison , l'équation F';r = o ne pourra avoir qu'une racine positive ou négative de plus que l'équation F^'^sso, suivant que leurs derniers termes seront de signes différens ou de même signe, et ainsi de suite.

Or on voit, par les formules ci* dessus, que le dernier terme de l'équation F^ = o est Y, que le dernier terme de l'équation ^x = o est T , que le dernier terme de l'équation Vx = o est ^S , et ainsi de suite j de sorte qu'en prenant ces équations à rebours ,

la ( m — 1 )*"• aura pour dernier terme a. 3 {m — i ) A,

la ( 171 — 2 y^ aura pour dernier terme :i.3 (/n — 2) B,

la ( m — 3 )*^ aura 3.3 (m — 3) C pour dernier terme ,

et ainsi de suite. Mais la ( m — i )*~ équation ou F^*^jp =: o , devient

^•3.4«*** /TtiSr *(- I •2*3. • • • (/7i -— i) A =2 o ,

qui a , Qomme l'on voit , la racine positive ou n^ative •-^ — ,

suivant que A est négatif ou positi£ Donc la ( /n •— a y^ équation ne pourra avoir une racine positive ou négative de plus que celle - ci , qu'autant que B sera de différent ou de même signe que A. De même , la ( m — 3 )^~ équation ne pourra avoir une racine positive ou négative de plus que la (m— «:2)^% qu'autant que C sera de différent ou de même signe que B, et ainsi de suite.

D'où l'on peut conclure que l'équation Fj? ss o ou

af^ + Kaf^^ + Ba-r^ + C«"^î + etc. + V = 0,

ao..

i56 NOTE VIII.

ne peut avoir plus de racines positives ou négatives qu'il y a dans cette équation de termes consécutiâ de différent ou de même signe , c'est^-à-dire que de variations ou de permanences de signes; par con* séquent , si l'équation a toutes ses racines réelles , elle aura précisé* ment autant de racines positives que de variations , et autant de négatives que de permanences.

C'est là le Êimeux théorème de Descartes j que les Anglais attribuent à Harrioi, et dont on a différentes démonstrations données par De Gua , dans les Mémoires de Paris ; par Segner et Epinus , dans ceux de Berlin ; par Kesiner, dans le G)mmentaire sur l'Arithmétique de Newton, etc. J'ai rapporté la précédente , parce qu'elle découle naturellement de notre analyse; cependant la plus simple de ces démonstrations est celle que Segner a donnée dans les Mémoires de Berlin de l'année 1756. Elle consiste simplement à faire voir qu'en multipliant une équation quelconque par ^ — a , on augniente d'une unité le nombre des variations de signe , et qu'en la multipliant par x + ^9 on augmente aussi d'une unité le nombre des permanences, quelle que soit la valeur des coefficiens de l'équation.

6. Nous allons considérer maintenant les racines de l'équation FiTsso, comme réelles ou imaginaires.

Soient, comme ci -dessus, a, jS, >", etc. les racines réelles de l'équation Yx s= o , et a, , ^^ , ^, ^ etc. les racines réelles de l'équation F'x ^ o , ces racines étant rangées par ordre de grandeur. Je dis que des racines et , /3 , )^ , etc. il ne peut y en avoir qu'une qui soit plus grande que a, , qu'une qui tombe entre a, et /S,^ qu'une qui tombe entre j8, et y y , et ainsi de suite ; et enfin une seule plus jpetite que la plus petite des quantités a, , j8, , y^ , etc. Car si a et /3, par exempte, étaient à la fois plus grande^ que a», comme entre les deux racines et et ^ û doit tomber nécessairement une racine de l'équation Vx = o , cette racine seraît alors plus grande que a, ; donc a, ne serait plus la plus grande des racines deF'a: = o, comme on le suppose. De même, si deux racines fi eX, y tombaient à la fois entre les deux a, et )8, , comme entre fi et y ^ il doit nécessairement tomber une racine de l'équation Vx = o , cette racine tomberait aussi entre a» et j8, , contre l'hy-

NOTE VIII. i57

potbèse, puisque celles-ci sont supposées se suivre relativement à leur grandeur, et ainsi de suite. Enfin, si plusieurs des racines a^ fijy, etc. se trouvaient plus petites que la plus petite des racines «i> /3i, >o etc., comme il tomberait nécessairement entre elles des racines de l'équation F'^ == o > ces racines seraient donc encore plus petites que la plus petite des mêmes racines et,, ^i, j/,, etc., ce qui ne se peut.

Or, puisqu'on a en général

¥x=z{x — a){x^fi) (or — >) xfx,

il est clair qu'en substituant et^ au lieu de or , si aucune des racines a, j8, y y etc. n'est plus grande que a», la valeur de Fx sera positive ; et si la seule racine et est plus grande que a^ , la valeur de Fx deviendra négative , puisque , dans le premier cas , tous les facteurs simples seront positifs, et que, dans le second, il n'y en aura qu'un de négatif, le polynôme fx conservant toujours une valeur positive.

Supposons ensuite qu'on substitue jS.. au lieu dex^ et si aucune des racines a, j8, 7, etc.- ne tombe entre cti et j8, , cette substitution donnera une valeur de Fx de même signe que la substitution de a^ ; mais elle donnera une valeur de signe contraire, si une des racines tombe entre et^ et /3,. Car il est visible que tout produit, comme (a, — a) f/3| —-et) est toujours nécessairement positif, tant que la quantité et est à la fois plus grande ou plus petite que chacune des quan^ titcs et, , j8^ 3 qu'au contraire, il est nécessairement négatif si la quantité et se trouve entre les deux quantités et, et jS^, c'est-à-dire plus grande que l'une d'entre elles et plus petite que l'auti*e. Or^ la substitution de et, , au lieu de x dans Fx , donne

(et, ~ et) (et, — i8) (et, — >) X^et.,

et la substitution de /3, au lieu de x dans la même fonction , donne

donc le produit de ces deux quantités, savoir, la valeur de Fet, x F/3, ,. sera de la forme

(«,-«) (^.-«t) (et.-/3) (i8.-/8) (flt.-5,)(/3.^). . . . x/ct. X//3»,

iS8 NOTE VIII.

Donc ce produit sera positif si aucune àes quantités fit^ j8, y y etc. ne tombe entre les quantités a, , jS. ; et il sera négatif si une sefole des quantités et^ 13 y y y etc. tombe entre les quantités c&i , /S. , puisque les quantités fct, et ffi^ sont toujours essentiellement positives ; par conséquent , les valeurs de Fa, et de F/3, seront de même signe dans le premier cas, et de signe différent dans le second.

On démontrera de la même manière , que la substitution de ^^ au lieu de x dans Fx y donnera un résultat de même signe ou de signe contraire à celui de la substitution de jS, y suivant qu'aucune des racines a y fiy y, etc. ne tombera entre /3, et y^y ou qu'il en tombera une, et ainsi de suite.

Enfin y si l'on désigne par t/i la dernière en grandeur des racines *i > /3| , yiy etc. , on trouvera , par l'expression de Fa: en facteurs , que le résultat de la substitution de u^ au lieu de a: dans ¥x , sera positif ou négatif , suivant qu'aucune des racines et y fi y y y etc. ne sera plus petite que u, , ou qu'il y eu aura une plus petite que v^y le nombre de ces racines étant pair; et que^ lorsque ce nombre sera impair, le même résultat sera^ au contraire, positif ou n^tify suivant qu'une des mêmes racines sera plus petite que v^y ou qu'aucune d'elles ne sera moindre que U|. Or comme le nombre des racines imaginaires est toujours pair, le nombre des racines réelles et y fi y y y etc. de l'équation Fx =3 o, sera nécessairement pair ou impair, suivant que le nombre total des racines, c'est-à-dire le degré m de l'équation, sera lui-même pair ou impair.

•j. On pourra donc toujours juger de la nature des racines d'une équation quelconque de degré m , Fx = o par celles de l'équation dérivée ¥'x = o , qui est toujours d'un degré mœndre d'une unité. Car ayant les racines réelles a,, /3|, y^y etc. t/. de celles-ci, qu'on suppose rangées par ordre de grandeur , il n'y aura qu'à les substituer successivement , au lieu de x , dans l'équation [K'oposée ; on en conclura, i^. qu'elle aura ou n'aura pas une racine plus grande que et,, selon que Ffit, sera < ou > o.

Q?. Qu'elle aura ou n'aura pas une racine comprise entre cti et fi^ , selon que F/S. sera de signe différent ou de même signe que F*,.

3^. Qu'elle aura ou n'aura pas une racÎDe comprise entre /S. et 7», selon que F^^ sera de signe différent ou de même signe que F/S^y Qk ainsi de suite.

Et qu'enfin elle aura ou n'aura pas une racine plus petite que u,, selon que Ft^s sera positif ou négatif dans le cas de m impair, et négatif ou positif dans le cas de m pair.

Ainsi l'on connaîtra par ces règles , non-seulement le nombre des racines réelles de la proposée, mais encore leurs limites; et si l'on veut compléter ces Kmites à l'égard des racines plus grandes que a,, ou plus petites que u,, il n'y aurait qu'à chercher encore, par les méthodes du chap. lY (u^ 12), les limites des racines positives et des racines négatives de l'équation proposée.

]^ous remarquerons ici, à l'occasion des règles données dans cet endroit , d'après Newton et Màclaurin j pour trouver ces limites , que Rolle les connaissait déjà , comme on le voit par les chapitres Y et YI du second livre de son Algèbre.

8. Nous avons suppose jusqu'ici que l'équation proposée pouvait avoi^ des racines imaginaires mêlées avec les réelles j examinons présentement ce qui doit résulter de la supposition que toiites ses racines soient réelles.

11 est d'abord évident que l'équation Vxzsso^ du degré m, aura m racines réelles ^ et que l'équation dérivée Y'x =: o du degré m — i aura aussi nécessairement m — i racines réelles , puisque , entre deux racines réelles consécutives de l'équation Fx = o , il tombe toujours une racine réelle de l'équation F'orsso. Par la même raison, la seconde équation dérivée F'^sso aura aussi nécessairement toutes ses racines réelles, et ainsi de suite.

Ainsi la première condition pour qijit'uiie équation» ait toutes ses racines réelles , est que ses équations dérivées aient aussi toutes leurs raisinés réelle»; mais €elle$*ci powraient avoir toutes leurs raciivesrétllef, sans que l'équavion primitive en eût aucune.

Supposons donc que le» m -^ r racines â^i, /d,, y^^ etc. de l'équation Y'x =5 o soient toutes réèOes , et voyons, quelle» sont les conditions nécessaires pour que les m rftdne» «, /3, y^ etc. de l'équation Fo: = o soient aussi nécessairement rëeâes. Puisque

i6o NOTE VIII.

nous avons démontré , en général , que les racines réelles de l'équa* tîon Fx =s o ne peuvent tomber plus d'une à la fois dans chaque intervalle entre deux racines consécutives de l'équation Y^x = o , et qu'il ne peut y en avoir aussi qu'une plus grande et une plus petite que la plus grande et la plus petite de cette équation ; il est encore évident que , lorsque ses racines sont toutes réelles y et au nombre de m y elles doivent nécessairement être telles que et soit plus grande que ett , que /3 tombe entre ot. et /3g , que y tombe entre fi{ et y^ et ainsi de suite. Au contraire, si elles n'étaient pas toutes réelles, comme le nombre des réelles ne pourrait alors surpasser m — 3 , et serait , par conséquent , moindre que celui des racines a&i , /3i , 7^1 , etc. , il est visible que la même disposition ne pourrait plus avoir lieu , et qu'il y aurait nécessairement quelque intervalle entre ces dernières racines, dans lequel il ne tomberait aucune de celles de l'équation ¥x = o , ou au moins qu'aucune de celles-ci ne serait plus grande ou plus petite que la plus grande ou la plus petite des racines a,, /3i, >!, etc.

Donc , par ce qui a été démontré ci-dessus , si l'on substitue successivement , au lieu de a: y dans Fa:, toutes les racines a,, /3,, 3^», etc., on aura nécessairement, dans le premier cas,

Fa. <o, FjS, >o, F>, <o, etc.,

et, dans le second cas, il^y aura une ou plusieurs de ces conditions qui n'auront pas lieu.

D'un autre côté , en substituant successivement les mêmes racines a,, jSg, y^y etc. dans la seconde fonction dérivée F'x y on aura toujours , comme on l'a vu plus haut ,

Fa.>o, F"^,<o, PV,>o, etc.

Donc , en combinant ces conditions avec les précédentes , on en conclura que lorsque les racines de l'équation donnée Fa: = o sont toutes réelles , les quantités Fat, X F"a, , F/3, x F'/3, , F>i X F"^i , etc. seront toutes négatives , et qu'au contraire ii y en aura nécessairement de posiûves si l'équation donnée a des racines imaginaires.

NOTE VIII. ,6i

On aurait le même résultat si l'on considérait les quotiens — pF^- , etc. , et en général des fonctions de la forme M ( Fa, /* ( F'a. )*,

M (F/3, /'(F^/S,)" etc.^ M étant un coefficient positif ou une fonction quelconque essentiellement positive^ et fc , y des nombres entiers impairs positifs ou négatifs.

Or, si Ton feit Vx X F"x=^, ou en général M(Fa:y* x (F'a:/ =jr, et qu'on élimine ensuite x au moyen de l'équation "F'x = o , dont les racines sont a^^ fiiy y^y etc., on aura une équation en ^ du même degré que cette équation , et dont les racines seront les valeurs de^, qui résulteraient de la substitution successive des ra* cines a^j jS, , y^, etc. à la place de x. Donc , si ces valeurs sont toutes négatives , l'équalion en jr n'aura que des racines négatives , et par conséquent tous ses termes auront le signe plus. Et réciproquement, si tous Les termes de cette équation ont le signe plus, elle n'aura que des racines n^atives , et les valeurs de j' seront toutes négatives.

9. On peut conclure de là que les caractères de la réalité des racines de l'équation F^ =: o , sont que l'équation dérivée F'x = o ait toutes ses racines réelles, et que l'équation en j^ résultante de l'élimination de x^ au moyen de cette dernière équation et de

l'équation Fx X F'x =7 , ou M (Fx)^ (F"x)' =j, ait tous ses termes positifs.

En appliquant les mêmes raisonnemens a l'équation dérivée T^x=so^ on en conclura aussi que les caractères de la réalité de ses racines, sont que la seconde équation dérivée Vx = o ait toutes ses racines réelles, et que l'équation eujr résultante de l'élimination de x, par le moyen de celle-ci et de l'équation Y'x x V"x ==y , ait tous ses termes positif, et ainsi de suite.

Donc enfin , pour avoir tous les caractères de la réalité des racines de l'équation Fx=s o, on fera , i^. jr z=: Fx X F"x , et l'on éliminera x, au moyen de l'équation Fx sso; on aura la première équation en jr.

3^. On fera jrzssF'x xF'''x, et on éliminera x, au moyen de l'équation F'xs=so; on aura la seconde équation en/*.

ai

,6a NOTE VIII.

3°. On fera y = F'x X F*^a: , et on éliminera x , au moyen de l'équation F'''a: = o; on aura la troisième équation en y et ainsi

de suite.

Ces équations en y seront au nombre de m— i , si l'équation primitive Fa: = o est du degré /n, parce que la m*"' fonction dé* rivée de Fx sera constante, et ne contiendra plus x.

lo. Cela posé, les caractères de la réalité des racines de l'équation Fo; = o, se réduiront à ce que tous les termes de ces difierentes équations en y soient positifs , c'est-à-dire du même signe que le premier dans chaque équation.

Or il est aisé de voir que l'équation Fa: =: o étant du degré m y les fonctions dérivées F'or, F'or, etc. seront successivement des degrés ut—- r, m-— 2, etc., et que les équations en j^ seront aussi de ces mêmes degrés; elles fourniront, par conséquent, cbacune autant de conditions ; de sorte que le nombre total des conditions sera

/w— i+iîi— 3+m— 3+etc. , ou i+a4-3+etc.-|-m— 1 =s — i ^.

Nous avons déjà vu, chap« Y (n^ 28) , qu'on peut déduire les caractères de la réalité de toutes les racines d'une équation de son équation des différences, laquelle doit avoir pour cela tous ses termes alternativement positifs et négatiÊ ; ce qui donne autant de conditions qu'il y a d'unités dans le degré de cette équation ; de sorte

que m étant le degré de l'équation proposée , '"'^'^ sera le nombre des conditions nécessaires pour la réalité de toutes les racine». Ainsi les deux méthodes donnent le même nombre de conditions ; ce qui est d'autant plus remarquable, que, dans les équations du troisième et du quatrième degré, les conditions de la réalité des racines sont réductibles à un moindre nombre, comme on l'a vu dans le chapitre cité (art. m).

Mais la méthode précédente a cet avantage, que tes conditions trouvées pour la réalité des racines des équations d'un degré quelconque, peuvent servir pour tous les degrés plus élevés j ce qui n'a pas lieu à l'égard de celles qui résultent des équations des différences. Ainsi on pourrait facilement construire des tables qui contiendraient

NOTE VIII. i63

snccessivement les caractères de la réalité de toutes les racines , en commençant par Féquation du second degré , et remontant sûcCes^vement aux équations plus élevées.

1 1 . Pour donner un essai de ces tables , nous commencerons par la fonction la plus simple de x^ qui est x^ ou i , que nous désignerons par X, et nous remonterons successivement aux fonctions primitives, que nous désignerons par X,, X^^ X^y, etc., en sorte que X sera la fonction dérivée de X^ , X^ la fonction dérivée de X,^ , et ainsi de suite. Nous aurons ainsi , en multipliant ces fonctions par les nombres â, 3, 4? ^^c* 9 Y^^ éviter les fractions, et ajoutant successivement les constantes A , B , G , etc. ,

aXy, SES x* -f- %Kx -|- B, a.3X,,, = ar^ + 3Ax* + 3Ba: + C , a.3.4X., = a:^ + 4Aa:^ + 6Ba:* + 4Ca: +• D, etc.

Maintenant , pour l'équation du second degré ,

a:* + nPiX -f- B =s o,

on fera y = 2XX,y= x* + nkx + B , et Ton éliminera x , au moyen de Féquation X' =s o , ou jc+ A = o , on aura l'équation en/

Donc A' — B > o sera la condition de la réalité^ des racines de l'équation proposée.

Pour l'équation du troisième degré,

ai? + 3Aa:* + 3Ba: + C = o ,

on aura d'abord la conditit>n précédente ; ensuite on fera

/=2.3X;S^;; savoir,

/=:(a?+A)(x»4.3Aa:* + 3Bx + C) = a:* +4Aa:» + 3(A* + B)ar'+ (3AB H-C)x-|- AC,

i64 NOTE VIIL

et l'on éliminera x, an moyen de l'équation X^^ = o , ou •

x^ 4~ ^^^ -4- B = o ; on trouvera cette équation du second degré ,

j* + a(Aa — b)jr ^- ^B -r- 2abA + ** z= o , en faisant pour abréger ,

a = aA» — 3AB + C, 6 = A*B— 2B' + AC;

amsi on aura, de plus, ces deux conditions^

Aa — i > o , fl*B — 2abA H- ô* > o.

Pour l'équation du quatrième degré,

ar*-h 4Ax^ 4-6Ba:* + 4GïrH-.D = o,

on aura d'abord les trois conditions précédentes ; ensuite on fera

^^(x^ + aAx + B) (x* + 4A^^ + 6Bx» + 4Cr + D) ,

et éliminant x , au moyen de l'équation X^^ = o , ou

x^ -{- 3Ax^ ^ 31^x + C = o , on aura une équation en jr du troisième degré, qui , étant représentée par jr^ -f- My* •!- Pï;^ -f- P = o> donnera, de plus, les trois conditions

et ainsi de suite.

12. Au reste, nous ne devons pas oublier une très belle conséquence que De Gua a tirée de sa théorie ; voici en quoi elle ' consiste.

Si , dans l'équation Fx = o, l'on substitue a 4* ^ à la place de X, on a, par la formule du développement des fonctions, la transformée

Fa -f- — - z 4- — -. «• H 5 «' 4- etc. 4- 2* s=s 0,

dont on peut &ire disparaître un terme quelconque,, contenant, par exemple, la puissance z"^ en déterminant a de manière que

NOTE VIII. i65

l'on ait F'^a = o. Or , nous venons de voir que si toutes les racines de l'équation Fj: = o , sont toutes réelles , les valeurs de F"""*x et F"^*a: sont nécessairement de signes contraires pour toutes les valeurs de x qui résultent de l'équation F'J? = o ; donc aussi les valeurs de F'^'a et de F""*"'û seront de signes contraires pour toutes les valeurs de a résultantes de Téquation F"a = o. D'où il suit que si l'on fait évanouir un terme quelconque de la transformée en z , les deux termes voisins auront nécessairement des signes différens, si la proposée a toutes ses racines réelles; par conséquent , elle aura des racines imaginaires , si les termes voisins de celui qui disparait ont le même signe , et de là on peut conclure aussi que toute équation à laquelle il manque des termes , a nécessairement des racines imaginaires , si les termes voisins de ceux qui manquent, sont de même signe.

i3. Lorsque toutes les racines de Féquation sont réelles, on peut trouver leurs limites sans le secours d'aucune autre équation , par le moyen de la seule règle de Descartes, dont nous avons parlé plus haut (n* 5). Car si l'on diminue, par exemple, toutes les racines d'une équation en x de la quantité a, en y substituant z + a k la place de or, la transformée en z on en x — a aura autant de variations de signes de moins qu'il y aura de racines positives de l'équation en x qui seront devenues négatives dans l'équation en a:-— a; et par conséquent, parmi les racines positives de féqua-> tion en X , il y en aura autant qui seront moindres que a. Donc , si l'on forme successivement les transformées en o? — • i , x — 2 , X — 3 , etc. , chaque variation de signe qui disparaîtra d'une transformée à l'autre, par exemple, de la transformée en a:-— n à la transformée en a: — /i — i , indiquera une racine positive moindre que n-f-i, mais non moindre que /t, et par conséquent contenue entre les limites n et /i-|-i. On pourra trouver ainsi successivement les premières limites des racines positives, et l'on aura de même celles des racines négatives, par la considération des permanences dans les transformées en n-j- ij 'ï+'^j etc.

i4- J'ignore si cette remarque avait été faite avant le Mémoire que M. Budan présenta à l'Institut en i8o3, et qu'il vient de publier avec des augmentations , sous le titre de Nouvelle Méthode

i65 NOTE VIII.

pour la Résolution des Équations numériques. L'auteur y donne un moyen simple et élégant de former les coefficiens des transformées en jc — I , X — 2 , etc. ; et appliquant la règle de Descartes à ces transformées , ainsi qu'à d'autres déduites de celleslà , il trouve les limites de toutes les racines et leurs valeurs aussi approchées qu^on veut. On peut dire que cet Ouvrage ne laisse rien à désirer sur la résolution des équations numériques dont toutes les racines sont réelles, et il pourrait, à cet égard, servir de supplément au présent Traité.

Au reste, si l'équation avait des racines imaginaires, il pourrait disparaître des variations de signe d'une transformée à l'autre, sans qu'aucune des racines réelles positives devint négative, comme on peut

s'en convaincre aisément par des exemples ; ainsi l'équation

jc3 .^ 20:* + 6x— ii=o a pour transformée en a: — i ,

{x — i)'4-(^ — i)* + 5(a: — i) — 6 = 0, où l'on voit que deux variations de signe ont disparu ; cependant elle n'a pas de racines entre o et i.

Mais si le mombre des variations de signes qui disparaissent d'une transformée à la suivante? , était impair, on en pourrait toujours conclure l'existence d'une racine réelle positive; car cela ne peut arriver, à moins que le dernier terme ne change de signe. Or, il est visible que les derniiers termes des transformées ea x^^n^ â:-— n— •i,ne sont autre chose que les résultats des substitutions de /i et de n -)-- 1 à la plaoe de x dans la proposée , parce que ces transformées se réduisent à leur dernier terme, en y faisant â?3=/i=ii-{- i; ainsi il doit nécessairement y avoir une racine réelle entre n et /i-f-i| (chap. P', n* i). La transformée en x— -a de l'équation ci-dessus est (jc— 2)'-|-4(« — a)*-H io(jî— a)+i =0, quia une variation de moins que la précédente; aussi y a-t-il une racine de la prc^osée entre i et a.

»»»»%%W\>^»^»^\»»»V»\^aWV<^V»\%%»«^»I^WMW^<^ W i<W»»»M ^ <Mf»<»%»\%%»»%^%^VV\%(V»VV\»\\»V»»V»V^»^

Sur la forme des racines imaginaires.

1. JLoRSQu'oN eut trouvé les formules générales des racines des équations du troisième et du quatrième degré, t>n remarqua que les racines imaginaires de ces équations se réduisent , comme celles des équations du second degré, à la forme ^+7l/-^i> p et ç étant des quantités réelles j et l'on fut porté à conclure que les racines imagmaires de toutes l€s équations étaient toujours réductibles à la même forme. Cependant ou ne pouvait pas adopter cette proposition générale sans démonstration j et ce n'est qu'après plusieurs tentatives qu'on est parvenu à s'en convaincre par des pr^crvesr rigoureuses. Comme ce point de la théorie des équations est un de ceux dont les géomètres se sont le plus occupés dans ce siècle, j'ai cru qu'on ne serait pas fâché de trouver ici un exposé succinct des différentes recherches qu'il a occasionnées»

2. lyAlembert est le premier qui ait envisagé cette question d'une manière générale, dans sa Pièce sur les Vents, et dans les Mémoires de l'Académie de Berlin , pour l'année 1 746.

Il démontre d'abord qu'une quantité algébrîque quelconque, composée de tant d'imaginaires qu^on voudra, de la forme â-|-d|/— i , peut toujours se réduire à la même forme. Cela se voit Êicilement pour les quantités formées par multiplication , division, et élévation aux puissances entières : on pourrait le démontrer en général pour les quantités de la forme (tf + ^j/ — >)""*""^""',pap k développement ordinaire du binôme ^mais' pour avoir des expressions finies , d*Alembert emploie d'une manière ingénieuse, la difierentietioa et l'intégration « en faisant varier les quantités a, b^ p et q dans l'équation

Cependant il faut avouer que l'emploi du calcul di&érentiel est

i68 NOTE IX.

peu naturel dans une question comme celle-ci , où la considération des infiniment petits ou des fluxions, est tout-à-fait étrangère, puisqu'il ne s'agit que d'une simple transformation algébrique. Mais les fonctions dérivées se présentent , au contraire , très naturellement , et offrent même ici un des exemples les plus propres à montrer l'usage de leur algorithme dans l'Algèbre.