CHAPITRE I

Quand, le discriminant étant nul, les symboles (7) deviennent des valeurs effectives, les trois quantités e^, deviennent, l'une 2 A, les deux autres — A, et Ton a

ea=2A, ep=zey = — A,

Considérons le trinôme du second degré

(i3) cpo,(:r) = (^-2ea)2-4(34-i^2).

Ses racines, quand le discriminant est nul, sont donc loA et — 2 A. Les deux trinômes analogues cpg et cpy ont, en même temps, chacun, la racine double — 2 A.

D'autre part, le produit de ces trois trinômes est un polynôme à coefficients entiers en ^2 et ^3. Ce polynôme, quand le discriminant est nul, a, aussi bien que le polynôme (4)^ La racine simple loA et la racine quintuple — 2A. Ces deux polynômes diffèrent donc seulement par un terme XA, où \ est une constante, que nous allons vérifier être égale à l'unité, en sorte que l'équation (4) peut s'écrire sous la forme

(i4) cpacppCpy=A.

Pour vérifier cette valeur de la constante numérique )., il suffît d'observer que l'on a

en sorte que, dans l'équation (i4)} 1^ terme constant est

comme dans l'équation initiale (4).

Cette forme (i4) a été trouvée par M. Brioschi en suivant une voie différente que nous allons montrer aussi. Au Chapitre IX du Tome II (p. 36i), nous avons eu déjà l'occasion de considérer le polynôme

comme un polynôme du quatrième degré et d'envisager, à ce point de vue, son hessien,

INous avons considéré aussi, sans le calculer, un autre polynôme T, savoir

Le calcul effectif donne On en conclut

Par comparaison avec l'équation (4), on en conclut que cette équation peut s'écrire ainsi

D'autre part, on a vu aussi (t. II, p. 862) que la quantité

est le produit de trois facteurs doublement linéaires,

(x — ea){z — ea) — (ea— ep)(ea— Cy).

Ces facteurs, quand on suppose z = J^, deviennent

{^ — eo(y — (ea—e^)(ea— Sy) = (^ — ^a)^ — iSe^— |- ^2) -- ï?a(2a7),

en sorte que Ton a, par comparaison de la fonction (17) avec la définition (i5) de T,

— 9.6T(a7)rzr C5a(2^)cp^(2^)cpy(2a7).

Par conséquent, l'équation (16) n'est autre que celle-ci c'est-à-dire l'équation (i4) déjà trouvée autrement.

CHAPITUE I. 9

L'analyse de M. Brioschi ne s'arrête point là. Suivons encore ce célèbre géomètre pour trouver, par un calcul direct, une transformation importante de l'équation (i4)- D'après la définition (i3)

et la relation

ea-+- e«H- ey— o, on a immédiatement

=-4[(ea— ep)(57 — 2ea) + 2(3e2-J-^2)].

Abrégeons l'écriture en posant

(^a— eQ)(ea— ey)= Se^— -4:^2= Sa, ^ — 2ea= 2^a- Nous avons ainsi

■ i?a=^a— Sa,

i?p= i?a+ '-iSa+ 2(ea— ep)^a== W^ £a^- 2(ea— ep)^a, fe ?fi?y = (^a+£a)^-i-6ea(^a-f- £a)^a-^4£a^â

et l'équation (i4) devient, les indices a étant supprimés,

On a, d'autre part,

£3+lA:-£2[(e^e^)(e^^e^)ui(e^ey)2]

Mais

— i^2= ea^p-^ea^y-i-e^ey^—ea+epey,

- T ft"^ - i ( 6p - ey )2 = eâ + i ( ep + 6y )2 = —1 eâ, d'où

et l'on déduit

Sur le cas particulier ^3 = 0.

Quand ^3 est nul, l'équation (4) a deux racines nulles. Soient

on a, relativement à ces deux racines, d'après les équations (3)

et (4),

(18) Y--2V(i±20, «^ = ±ri/^^^^-2-

Quant aux autres racines, en posant ^2 __ ^^ t ^ qjj a

(*9) j t 5~3s/5 . 1 /-/ j /j\2 I ^- ^=±^/5(izh/5) ,

avec les deux signes ambigus en coïncidence. On en déduit

^=±iv/5(v/5±i)v^, les deux signes ± étant, cette fois, indépendants l'un de l'autre.

Relations entre les six racines.

Soient X et x^ deux racines quelconques de l'équation (4), considérée dans le cas général; soient a, h et «o? ^0? les quantités qui correspondent à ces racines.

Par le théorème d'addition, on a de nouvelles quantités a^ et b^ , correspondant à une nouvelle racine Xt, au moyen des formules