On a par le théorème de Cotes

/ ''^ ,\/ ^'^ ^\ f 2.n—i , (i-aacos h« )(i-2«cos ha )...(i-2acos hû*)

n et passons aux logarithmes : il viendra

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

Faisons maintenant

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

2» -log(i — 2acos:r+ a'), (10)

et le signe 2 indiquera une somme prise relativement

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

> . -.log(i— 2acos— — + a')=Iog.(a-+i)«, (9)