Annales de mathématiques pures et appliquées/Tome 09/Analise algébrique, article 5
# Annales de mathématiques pures et appliquées/Tome 09/Analise algébrique, article 5

## QUESTIONS RÉSOLUES.

### Démonstration de la fausseté d’un théorème d’analise, énoncé aux pages 36 et 71 de ce volume ;

Pour occuper les loisirs que me laisse abondamment, sur-tout dans cette saison, ma résidence dans un pays qui ne saurait offrir de nombreux sujets de distraction, je m’étais imposé, par forme de tâche, la démonstration du théorème énoncé aux pages 36 et 71 du présent volume ; mais un examen un peu sérieux de son énoncé m’a bientôt convaincu que, du moins au-delà du quatrième degré, lors même que les sommets de la courbe parabolique qui correspond à l’équation proposée sont tous réels, ce théorème peut se trouver en défaut dans un si grand nombre de cas que l’on serait tout aussi bien fondé à adopter la proposition contraire. Persuadé comme je le suis, et comme vous l’êtes sans doute vous-même, qu’on ne sert pas les sciences d’une manière moins utile en repoussant, dès leur abord, les doctrines erronnées qu’en établissant des vérités nouvelles, je m’empresse de vous administrer la preuve de mon assertion.

Le théorème dont il s’agit de démontrer la fausseté, réduit à son énoncé le plus simple, revient à ce qui suit

Soit X=0 une équation en x d’un degré quelconque m, et soit X′=0 sa dérivée. Si, entre X=y et X′=0, on élimine x, on parviendra à une équation Y=0 en y, dont le degré sera m−1; soient v et p, respectivement, le nombre de ses variations et celui de ses permanences ; ce qui donnera y+p=m−1.

Si la proposée X=0 est de degré impair, le nombre de ses racines imaginaires sera

±(v−p);

et si, au contraire, elle est d’un degré pair, le nombre de ses racines imaginaires sera

±(v−p+1).

Cela posé, soit l’équation du cinquième degré,

x⁵−5x⁴−290x³+890x²+25025x−25621=0, (X=0)

elle peut être mise successivement sous les diverses formes que voici :

(x−1)(x⁴−4x³−294x²+596x+25621)=0,

(x−1)(x²−2x−149+6√(−95))(x²−2x−149−6√(−95))=0;

(x−1){x−1+√(150+6√(−95))}{x−1+√(150−6√(−95))}×

{x−1−√(150+6√(−95))}{x−1−√(150−6√(−95))};

ainsi, elle a bien incontestablement une seule racine réelle et quatre racines imaginaires. Appllquons-lui le procédé indiqué dans l’énoncé du théorème en discussion.

Sa dérivée est

5x⁴−20x³−870x²+1780x+25025=0,

ou, en simplifiant,

x⁴−4x³−174x²+356x+5005=0;(X′=0)

équation qui revient à

(x−13)(x−7)(x+5)(x+11)=0;

les abscisses des quatre sommets de la courbe parabolique

(x−1)(x⁴−4x³−294x²+596x+25621)=y, (X=y)

sont donc +13, +7, −5, −11; on aura donc les ordonnées de ces mêmes sommets, en mettant successivement ces valeurs pour x dans l’équation (X=y). En conséquence, ou trouvera pour les équations des quatre sommets, tous réels,

x=+13, y=+16417;x=+ 7, y=+ 6913;x=− 5, y=− 6911;x=−11, y=−16415;

l’équation (Y=0) sera donc

(y−16417)(y−6913)(y+6911)(y+16415)=0;

c’est-à-dire,

y⁴−4y³−317260794y²+634521596y +1287848730020865}=0.(Y=0)

On a donc ici v=2, p=2; puis donc que le degré de la préposée est impair, le nombre de ses racines imaginaires, suivant le théorème, devrait être

±(2−2)=0;

Nous pourrions très-bien terminer ici ; car il y a entre la démonstration de la vérité d’une proposition et celle de sa fausseté cette différence très-remarquable que la première ne saurait être établie que par un raisonnement général, très-souvent difficile à découvrir, et souvent plus difficile encore à énoncer clairement ; tandis qu’au contraire, pour prouver qu’une proposition est fausse, il suffit simplement, ainsi que nous venons de le faire, de la trouver en défaut dans un cas particulier quelconque. Cependant, pour ne rien laisser à désirer sur ce sujet, nous allons montrer que, sans exécuter aucun calcul, rien n’est plus aisé que de s’assurer que, passé le quatrième degré, le théorème dont il s’agit sera en défaut tout autant et tout aussi souvent qu’on le voudra.

Soit l’équation X=0 d’un degré impair quelconque ; et supposons que la courbe parabolique dont l’équation est y=X ait le cours qu’on voit ici :

AB étant l’axe des x, et l’origine étant quelconque sur cette droite.

Nous n’avons pu figurer que quatre sommets positifs et quatre négatifs ; mais les uns comme les autres peuvent être en nombres pairs quelconques. Soient donc, en général, 2p le nombre des premiers, et 2q le nombre des derniers ; le degré de la proposée sera ainsi 2p+2q+1; et, comme elle n’aura évidemment qu’une seule racine réelle, le nombre de ses racines imaginaires sera nécessairement

2p+2q.

D’un autre côté, l’équation Y=0 du degré 2p+2q ayant 2p racines positives, et 2q racines négatives, aura conséquemment 2p variations et 2q permanences ; donc, suivant le théorème, le nombre des racines imaginaires de la proposée, X=0, devrait être

±2(p−q);

nombre qui pourra différer du véritable autant qu’on le voudra.

Mais la courbe, toujours supposée de degré impair, après avoir coupé l’axe des x, et avoir eu, au-dessous de cet axe, un nombre impair quelconque de sommets négatifs, pourrait, en remontant, le couper de nouveau, avoir au-dessus un nombre impair quelconque de sommets positifs, redescendre encore, en coupant une troisième fois l’axe des x, et ainsi de suite. Supposons qu’elle le coupe 2n+1 fois ; nous aurons ainsi sn séries de sommets positifs dont ceux de la première série seulement seront en nombre pair ; de manière que nous pourrons représenter les nombres de sommets successifs de ces séries par

2p₁, 2p₂+1, 2p₃+1, …2p₂ₙ+1.

Nous aurons pareillement 2n séries de sommets négatifs dont ceux de la dernière série seulement seront en nombre pair, de sorte que nous pourrons représenter successivement les nombres des sommets de ces dernières séries par

2q₁+1, 2q₂+1, 2q₃+1, …2q₂ₙ;

le nombre total des sommets des deux séries sera donc

2(p₁+p₂+…+p₂ₙ)+2(q₁+q₂+…+q₂ₙ)+2(2n−1);

le degré de la proposée X=0 sera donc

2(p₁+p₂+…+p₂ₙ)+2(q₁+q₂+…+q₂ₙ)+4n−1;

et puisqu’elle est supposée n’avoir que 2n+1 racines réelles, le nombre de ses racines imaginaires sera

2(p₁+p₂+…+p₂ₙ)+2(q₁+q₂+…+q₂ₙ)+2(n−1).

Mais, d’un autre côté, le nombre des variations de l’équation étant ici

2(p₁+p₂++p₃+…+p₂ₙ)+(2n−1);

et le nombre de ses permanences

2(q₁+q₂+q₃+…+q₂ₙ)+(2n−1);

le nombre des racines imaginaires de la proposée X=0, devrait être, suivant le théorème

±2{(p₁+p₂+…+p₂ₙ)−(q₁+q₂+…+q₂ₙ)};

nombre qui pourra différer du véritable autant qu’on le voudra.

Dans les degrés pairs, les choses se passeront encore à peu près de la même manière. Seulement les branches extrêmes de la courbe seront toutes deux situées au-dessus de l’axe des x; de sorte qu’en désignant par 2n le nombre des racines réelles de la proposée, on aura n+1 séries de sommets positifs telles que ceux des deux séries extrêmes seront en nombre pair et tous les intermédiaires en nombre impair ; on aura ensuite n séries de sommets négatifs, en nombre impair dans chaque série ; de manière que les nombres de

2p₁, 2p₂+1, 2p₃+1, …2pₙ₊₁,

et ceux de la seconde par

2q₁+1, 2q₂+1, 2q₃+1, …2qₙ+1;

le nombre total des sommets, tant positifs que négatifs, sera donc

2(p₁+p₂+…+pₙ₊₁)+2(q₁+q₂+…+qₙ)+(2n−1);

de sorte que le degré de la proposée X=0 sera

2(p₁+p₂+…+pₙ₊₁)+2(q₁+q₂+…+qₙ)+2n;

puis donc que nous lui avons supposé 2n racines réelles, le nombre de ses racines imaginaires devra être

2(p₁+p₂+p₃+…+pₙ₊₁)+2(q₁+q₂+q₃+…+qₙ).

D’un autre côté, le nombre des variations de l’équation Y=0 étant ici

2(p₁+p₂+p₃+…+pₙ₊₁)+(n−1),

et le nombre de ses variations

2(q₁+q₂+q₃+…+qₙ)+n;

le nombre des racines imaginaires de la proposée devrait être suivant le théorème,

±2{(p₁+p₂+…+pₙ₊₁)−(q₁+q₂+…+qₙ)}

nombre qui différera du véritable tout autant qu’on le voudra.

Nous pensons qu’en voilà bien suffisamment pour établir qu’au-delà du quatrième degré, ce théorème ne saurait pas plus être admis que toute autre règle arbitraire et de pure imagination que l’on voudrait lui substituer.

La moralité à déduire de tout ceci, car, pourquoi les fables en seraient-elles seules susceptibles ? c’est que les plus habiles peuvent faillir, tout aussi bien que les plus faibles ; que conséquemment on ne doit jamais refuser à autrui l’indulgence que l’on peut être bientôt dans le cas de réclamer pour soi-même ; qu’il faut soigneusement se garder de toute précipitation et bien mûrir ses idées avant de les faire éclore ; et qu’enfin on ne doit jamais affirmer et admettre comme fait certain que cela seulement qui est rigoureusement et généralement démontré.

Agréez, etc.

