lES TABLES DE LA LUNE. 77 



Démonstration du théorème cité au § /. 

 Soit la série des sinus exprimée comme il suit : 



sin. 90° -+- sin. (90» — «) + sin. (90» _ 2 «) -f- sin. (90» — :r=.) 



OU 



I -+- COS. a. -t- COS. 2 « -f- cot. X» 



OÙ a est infiniment petit et x infiniment grand, afin 

 que xa. soit un nombre fini. On aura la valeur moyenne 

 de ces sinus en divisant la série précédente par a; -h 1 

 ou par x-y ce qui revient au même, x étant 03. En ex- 

 primantes cosinus par les arcs, on obtiendra cette va- 

 leur moyenne égale à 



FIN. 



