CHAPITRE I

Divisant par m aux deux membres, puis remplaçant n par son expression, tirée de l'égalité (82), nous en concluons

Remarquons que, suivant l'égalité (82), on a

( 2 m -I- 3 / ^ )2 = 4 m2 ( 'ji /;< / ^ -,- f) /2 - 2 — { m- — 3 //i = î [Jt. — 3 X .

Nous pouvons donc conclure

(^es deux relations (86, 88 ) donnent ( 89 ) ( 4 |JL — 3 X)-"' ^- = ;ji ( 8 [j. — À )2 r, 2 .

Ce résultat, comparé à l'égalité (78), fait voir, conformément aux prévisions , que la quantité p , seconde racine de l'équation (81), est racine double de l'équation primitive (67), si toutefois elle en est effectivement racine. Pour achever cette vérification, il faudrait encore substituer \ et Tj dans l'équation (77) et retrouver, par là, pour N = /i^:m/^, l'expression conforme aux égalités (84). Nous ne ferons point ce calcul, vraiment superflu, et nous allons établir la proposition réciproque de la précédente.

Observons d'abord que la relation (89) entre \ eir^ peut être écrite sous la forme

(yo)

( 8 ;jL — À J V !^ ( /4 |J- — ^ ^^ i^

où les deux racines carrées sont entièrement déterminées, la première, comme représentant ni^ la seconde comme représentant Àin -^ 3/^0- En employant les expressions (84) des coefficients, on a ainsi

(qf) 5\/[jl = ^o(3^^ — -2 3), 5/4;jL— 3X = — ^o((3-o +3)-

Il est maintenant établi que, A et u étant déterminés en fonc-

lion de deux arbitraires ;:o et j^ suivant ces égalités (91), ^ et r, suivant la relation (90), alors l'équation (77) donne, pour N, la valeur suivante :

{3zl-^^)^

Cette simple observation suffît à prouver la proposition réciproque, comme nous avions en vue de le faire : quand l'équation (67) en p a une racine double, V équation (6;^) en z a, aussi, une racine double. Il faut seulement excepter le cas particulier

/= o, où l'équation (()7) a la racine double 0 = — ^ "" ' ^ ^^ ^^

sont alors nuls et l'analyse ci-dessus ne s'applique point. L'équation (65) peut alors servir à déterminer c-, qui a deux valeurs distinctes. Ainsi les deux valeurs de p sont égales entre elles, mais les deux équations réduites, en X, restent distinctes.

Les considérations qui précèdent ont dû faire comprendre, dans tous ses détails, la transformation de l'équation du cinquième degré (62) en l'équation parliculièj-e que fournit la théorie de la division des périodes par 5.

Le théorème, démontré en dernier lieu, peut être aisément vérifié par un calcul direct, et l'on trouvera, sans difficulté, que le discriminant de V équation en p est égal au discriminant de l'érjuation en z, multiplié par l^ .

Voici donc la conséquence : étant donnée une équation du cinciuième degré (62) privée du second et du troisième terme, on peut exprimer ses racines en fonction rationnelle des coefficients, de la racine carrée du discriminant de cette équation et des racines de l'équation particulière à laquelle conduit la division des périodes elliptiques par 5.

Pour faire disparaître le second et le troisième terme dans une équation quelconque, il suffît de résoudre une équation du second degré. La réduction de toute équation du cinquième degré à l'équation de la division des périodes exige donc seulement l'extraction d'une racine carrée, outre celle du discriminant.

CHAPIÏUE H. [\-j