Page:Henri Poincaré - Les méthodes nouvelles de la mécanique céleste, Tome 1, 1892.djvu/370

La bibliothèque libre.
Le texte de cette page a été corrigé et est conforme au fac-similé.
358
CHAPITRE VII.

mais, si l’on observe que

on en déduirait

ce qui ne peut avoir lieu.

Le déterminant n’est donc pas nul. On peut encore l’établir de la manière suivante. Considérons les équations suivantes

Ce sont des équations linéaires à coefficients constants. Elles admettent quatre solutions linéairement indépendantes, à savoir

Il va sans dire que, dans les et les il faut faire de telle sorte que ces quantités se réduisent à des constantes.

Ces quatre solutions étant linéairement indépendantes, leur déterminant pour ne doit pas s’annuler ; or ce déterminant est précisément Donc n’est pas nul.

C.Q.F.D.

On voit ainsi que les fonctions jouissent bien des propriétés énoncées.

111.L’analyse précédente s’étend immédiatement au cas où il y a plus de 2 degrés de liberté.

Si nous posons