CHAPITRE VI. — LA FONCTION ^U

est réelle et positive. C'est, au facteur (S'a) près, <i^{it). Comme d^ est une fonction paire, dx(^it) est réelle; de plus positive, car elle l'est pour ^ = o, et ne s'annule pour aucune valeur réelle de t. En supposant it = w', on voit que dtJ' est le produit d'une quantité positive par l'exponentielle é^^\ Par suite, à un facteur positif

près, le second membre de (45), abstraction faite du facteur y/ê', se réduit à une exponentielle dont l'exposant est

D ailleurs t,(o et r/co sont réels, donc e' est réel et po-

sitif. Le second membre de (45) est donc le produit d'un facteur

positif par \fi et pare * . Il est donc réel et positif si l'on prend

Dans la troisième série, nous aurons de même

(46) v^gi— gâv'gî— ^3 = ^' ^^^> >

et le signe du second membre est déterminé d'accord avec les formules précédentes et celles qui donnent les racines carrées. Effectivement, si l'on multiplie membre à membre les relations (44), (46) et qu'on divise les deux membres par ceux de la relation (45), on obtient

/ '-7- 0*0/ -(YJ<0-f-Yi'<i)'-Y5''(i)'')

Nous venons justement de prouver qu'on a

1 / t I » #\ , ITZ , ITZ ITZ , ITT j(T,to)-+-T/w — y/tO ) = — TJtO H- —- = T/to) 1 = — T)'to) .

L'exposant de e se trouve ainsi être — t^'w, comme il convient. Les relations (44)> (45), (46) doivent ici être considérées comme nous fournissant l'expression des trois constantes

en fonclîon de ei, <?2, e^. Dans le Chap. VIII, nous les considérerons d'un point de vue justement opposé.

Ces mêmes relations entraînent une conséquence qu'il faut remarquer. Si l'on considère l'identité

1 ej— es

{ei — et)(ei—e3) (e,— e,)(e| — ej^e,— e,) et les deux analogues, on conclut

-+- TZ TTT^ TT =0,

(ei — et){ei—e3) («j — ea)(e,— ei) (cs— «iX^s— ^î) par conséquent,

Les trois formules

(^^) \ v^e,— eav^ei-e, = e*

a'to U'

ï - - /iç

lit .ï^œ" .—

Cu)' U

donnent les trois produits des racines quatrièmes exprimés par ces trois quantités U, U', U''. On peut, par ces mêmes quantités, exprimer les trois racines carrées. Il sera aisé, en effet, de vérifier la concordance des formules suivantes avec celles qui ont élé données d'abord

/ei — e, = (48«) { /ëi— e^ = —

Addition des demi-périodes dans les fonctions c.

On est souvent amené à introduire dans les calculs les fonctions (S'a, et il est commode de n'avoir pas à rechercher chaque fois les

UU"'

lit