82
CHAPITRE XXIV.
ou, plus généralement, de trois fonctions quelconques
de ces trois angles.
Ainsi les et les sont fonctions de de de et des
On aura alors, en appelant la constante des forces vives et
le moyen mouvement,
et, d’autre part, les expressions
doivent être indépendantes de
Quelques-uns de ces énoncés étaient évidents d’avance et ne
nous fournissent pas de vérification nouvelle.
En effet, les sont des fonctions linéaires des dont les
coefficients dépendent des et qui sont telles que
Il en résulte que nous pouvons écrire l’identité suivante
les étant des constantes quelconques et les des fonctions
données des on aura de même
Il en résulte que l’on a