On trouve, par le calcul direct

/ 0- = (xcoscc -\-vcosy,

4o-^= 3]ut(/jt.^+ 2v2) cosiJ? -h jJi^cosSa? + 3v(v-+ 2^2) COSJ H- v^cosS/

H- 6/i.^V C0S2^ C0S;^'4- 6/JLV^ COS^ C0S2J',

8(t'^= 3 (fji.* + 4/x2v-+ v'^) + /4]UL2(/jt.2}-3v2)cos2a?H-/ji,*cos4.2^

+ ^v^{v''^-\- 3/x2) C0S2/ + v*cos4jK + 24fJ'-v (fji.^+ y^) cos^ co&j -I- 1 2 ]!x^ v^ cos 2 X cos 2 / + 8 fjL^ V cos 3 X cosjK + 8 fjLv* cos a; cos 3 j,

Si Ton porte ces valeurs de o-, (j^, ar% a-% ... dans les expressions (9) des polynômes U^, U2, U3, U4, ... et que, dans la fonction W(ik^, v^) qui figure dans le

terme général

li^vJW{ix^, •j'^) cos i a; cos j'y,

on remplace [i. par i — v, on trouve, après des transformations faciles,

Ul=: 9/JLCOSa? -h 2VC0S/, ^

U2= (l — 2V)^ + 2/Jl^C0S2^ + 2V^ C0S2/ + P \^'^ COS^ COSJ,

Ug^r 2/jl(i — ^vYcosx -\- 2]jt.^cos3a? H- 2v(2 — 3y)^ COSJ+ 2v* cos 3/

4- 1 2 |j!.2 V cos 2 jr cos j H- 1 2 [j^j- cos X cos iy, Uv= (i — 6v -h6v2)2 4- 2/jt2(i — 4v)^cos2a; + 2^* cos 4^ + 2v^(3 — 4v)^cos2 j

H- 2v*cos4/ + i6/jLV*cos^cos3j + 2 4i^^y^cos2iccos2/ + 16/jt.^v cos3ir cos/, + 2^li-|*V^(»-a.V-*)toS)i-/!o*y+

L'inspection de ces valeurs particulières des polynômes U„ m'a conduit à penser que R^^j est égal au produit de [j.'v^ par le carré d'un polynôme entier en V, de degré ^~~^~J . J'ai réussi, dans mon Mémoire déjà cité {Sur les perturbations de Pallas), à prouver que cela est bien général, et j'ai pu donner en même temps l'expression du polynôme en v, qui se trouve être un des polynômes de Jacobi, contenus comme cas particuliers dans la série hypergéométrique.

Ma démonstration repose sur les propriétés de la série hypergéométrique données par Gauss; elle est rigoureuse, mais compliquée; M. Stieltjes {Comptes rendus de V Académie des Sciences, t. XCV) en a donné depuis une autre très simple, que je vais reproduire.