Page:Henri Poincaré - Les méthodes nouvelles de la mécanique céleste, Tome 2, 1893.djvu/179

Le texte de cette page a été corrigé et est conforme au fac-similé.
165
AUTRES PROCÉDÉS DE CALCUL DIRECT.

cette valeur doit, bien entendu, être divisible par et, en effet, je dis que et sont divisibles par

J’observe que si est une fonction développable suivant les puissances des et et qu’on développe cette fonction en série trigonométrique, le coefficient du cosinus ou du sinus de

dans ce développement, sera divisible par

Donc, les coefficients des termes dépendant de sont divisibles par donc est divisible par

Or

et a été choisi divisible par et doit l’être aussi d’après ce que nous venons de voir. Donc il en est de même de

D’autre part, est une somme de termes ; chacun de ces termes est le produit de facteurs dont l’un est de la forme

ou

et est par conséquent divisible par

Donc est également divisible par

C.Q.F.D.

160.Supposons que dépende d’un paramètre très petit et soit

Je suppose toujours que est développable suivant les puissances des et des que le développement de commence par des termes du deuxième degré et que ces termes s’écrivent