Page:Henri Poincaré - Les méthodes nouvelles de la mécanique céleste, Tome 3, 1899.djvu/324

Le texte de cette page a été corrigé et est conforme au fac-similé.
312
CHAPITRE XXX.

On obtiendra

en conservant dans ces développements les termes indépendants de Or, les divers termes de contiennent en facteurs les exponentielles

Pour que ce terme soit indépendant de il faut que

ce qui montre que doit être divisible par le dénominateur de Donc

dénominateur de

ce qui signifie que est divisible par puisque y figure avec l’exposant

Il n’y aurait d’exception que si l’on avait

mais on aurait alors ou bien

de telle façon que serait encore divisible par ou bien

d’où

mais alors le terme correspondant ne figurerait pas dans

De même sera toujours divisible par à moins que auquel cas, le terme ne figurerait pas dans

Donc, en résumé,

et, par conséquent, et sont des polynômes entiers en et