VII.
Les astronomes rapportent les catalogues d’étoiles à une époque différente de celle de leur formation, en tenant compte des mouvements des étoiles en ascension droite et en déclinaison, dus à la précession des équinoxes. La précision des observations modernes exige une grande exactitude dans cette réduction ; c’est à quoi l’on peut parvenir au moyen des formules précédentes. Pour cela, soient l’ascension droite d’une étoile et sa déclinaison boréale ; soient et les variations annuelles de ces angles ; soient et les variations annuelles de et de On trouvera facilement, par les formules différentielles de la Trigonométrie sphérique,
La valeur de se déduit du mouvement annuel des équinoxes par rapport à l’écliptique vraie, que nous désignerons par au moyen de l’équation
Mais on a, par l’article précédent, dans ce siècle où
on a ensuite
enfin les observations donnent
On aura donc
équations dans lesquelles on pourra prendre pour et leurs va-