On a par le théorème de Cotes

(i-aacos hû)( 1—2^1 cos l-a )...(i— aacos hû)

^ in ^^ in ^ ^ TT

Élevons les deux membres de l'équation à la puissance et passons aux logarithmes : il viendra

^-^/i— X 7ç li-^ I -

2,^. -.log(i— aacos-^- — h«')=log.(a»"-hi)«, (9)

22~"U, indiquant la somme des valeurs d'une fonction U„ pour toutes les valeurs entières de /, de o à n — 1 inclusivement.

Faisons maintenant

ii+ 1

in

. Tç=zx :

lé premier membre de l'équation (9) deviendra