‹ Théorie des nombresChapitre 165 sur 271 · CHAPITRE XY. — LES FONCTIONS SYMÉTRIQUES · texte numérisé non relu

CHAPITRE XY. — LES FONCTIONS SYMÉTRIQUES

fondamentales P|, Pa, P3, ..., Pv des carrés des différences des n quantités données, au moyen des fonctions symétriques fondamentales p\y p^t P^j ' ' '- /ht de ces quantités elles-mêmes.

On suivrait une marche semblable pour former les fonctions symétriques des sommes des n quantités données prises deux à deux.

Exemple I. — Si l'on désigne par/?, q, r les fonctions symétriques fondamentales (le trois quantités, et par P, Q, K les fonctions symétriques fondamentales des carres de leurs difTércnces, on a d'abord

si=p,

s^ — pt—2q,

5j=:/?3— 3pq -4- 3r,

s^ = p^— ^p^q -^' \pr -T-2^«

S:i = p^ — 5p^q -h 5p^r -^ 5pq^ — Sqr^

Sq = p^ — G/>^ q -r- 6/*5 r -h 9/?* q^ — 1 2pqr — 2 </' -^ 3 r* ;

puis, par les formules de Lagrange,

Si=354 — 4*i*3-'- 3^1,

et, par suite,

Si--^ 2/>«—- 6q,

Sj= 2/>^— lip^q -h 187*,

83= xp^— iSp^q — vip^r -h Syp^q^-h ^\pqr — ^^Qtq^— 81 r- ;

enfin, par les formules (•>.) du n" 151

R = p^q^-\- iSpqr — iq^— ip^^ — 27 r*.

159. Méthode de Serret. — Toute fonction des différences de n quantités ne change pas, lorsqu'on augmente celles-ci d'un même nombre /; alors les fonctions symétriques fondamentales prennent des accroissements

^Ply Vî' •••» ^Pn~ly ^Pny

qui s'annulent avec /, et dont les termes qui conliennent ^ à la première puissance sont respectivement

Mais une fonction quelconque cp de/?!, p^, . . -, Pn-uPa devient

o(pi-\-\puPt-+-^Piy ...);

puisque le résultat ne change pas pour une fonction de difFérences, les coefficients des diverses puissances de /, et en particulier celui de /, sont nuls. Par conséquent, la fonction o doit vérifier la relation

do . . ôo . ^ Oo

/i— - -+-( n — i)/>i — - -T-(n — 2)pt --•- -4-. . . = 0. àpi ^^ Opt ^^ Op^

Exemple I, — Former le produit ç des carrés des différences de trois quantités données a, b, c, au moyen des fonctions symétriques fondamentales

La fonction symétrique cherchée est de degré 4, de poids 6; son premier terme est a* 6*, et ainsi la fonction contient le terme /?'^*. Soit donc

o = ^1 ^yî H- A r* -4- B/?^/- -i- C/?* /• H- D ^7^;

si Ton annule identiquement Texpression

do do do

dp '^ dq ' dr

on en lire

•jiA-t-3B = o, 2B-»-9C = o, B -i- 6D -+- 6 — o, C -:- 4 ~ o

et, par suite

Page 1