CHAPITRE X. — SÉRIES HTPERGÊOMÉTRIQUBS POUR LES PÉRIODES

Intégrales complètes de Legendre.

C'est Ici le lieu de faire connaître, avec K et R', les deux quantités qui, dans les œuvres de Legendre, jouent le rôle des quantités employées maintenant, r^ et 'r\'.

Revenons aux formules du Chapitre I, et, le discriminant étant supposé positif, prenons la fonction

^X pu — ez pu — €3 ei—e^^^ ' ^

__ex — p(M-i-a)') d ei M -4- J(u -I- 0)')

En rintégrant depuis zéro jusqu'à co, nous aurons

dn* —rzdu —

On a d*ailleurs

ex — e^

ce qui permet d'écrire la dernière relation sous cette autre forme

f fln«f//fi/ = -* i z=: I d^\fi — A:*sin*^.

C'est cette dernière intégrale définie que Legendre a employée, en la désignant par la lettre E,

Jo ' •^ yi — a:* yei —

Legendre considérait, en même temps, l'intégrale analogue, relative au module complémentaire.

(32 a) E= / rf«pv/i — A:'«sin«<p = / ■ - dx = ^ '

Jq * «A / 1 — ^* / ^1 — «?5

352 PREMIÈRE PARTIE. — THÉOIIB.

Avec ces égalités (Sa) et (82 a), considérons aussi

et formons la quantité EK'+ E'K — KK'. Nous obtenons (33) EK'-hE'K-KK'= i(T,(u'-Vw)= -•

C'est sous cette forme que Legendre avait trouvé la relation fondamentale entre les quatre constantes.

Il est utile aussi de connaître les expressions de dérivées de ces quantités par rapport au module, analogues à celles des dérivées de 7|, co, par rapport aux invariants (IX ; 3^, 39). Voici comment on les trouve sans difficulté.

D'après la définition (32), on a

dU')

K H- lA» ^- ^;- = j do /i — k^ sinîi = E.

En différentiant E une seconde fois, nous obtenons

d*E ' /** sin^cp rfcp

^ ^t/(A-*)* ^c/X:» / i/(i-A-«sin>9)3

<i sin©coso

Posant A-2= x, on voit que E satisfait à Téquation différentielle (35) x(.->c)^-h(,-x)^ + |E = o.