On a par le théorème de Cotes
(i-aacos 1-« )(ï— aacos ha )...(i— aacos h^
Élevons les deux membres de l'équation à la puissance > et passons aux logarithmes : il viendra
2o* ^•Iog(i—^«cos^^^+«')=>og. («*" + !>, (9)
^"'U; indiquant la somme des valeurs d'une fonction U„ pour toutes les valeurs entières de /, de o à n — ^^i inclusivement.
Faisons maintenant
un
le premier membre de l'équation (9) deviendra
