I -f- 2^'»C0S2/lP7C -h ^"»= I I I -h 2^ COS27C lv
En changeant dans cette identité q en y^^""* et en l'appliquant à chacun des facteurs qui iigurent dans le produit infini on trouve immédiatement
(r " o, ri,rj, ..., rn-i)
(•) Werkk, t. I, p. 258.
(•) C'est l'identité conaue sous le nom de théorème de Cotes.
et Ton en conclut
(r = ri, r,, . .., r„-i).
Le lecteur a d'ailleurs, dans ce qui précède, tout ce qui est nécessaire pour appliquer la même analyse aux trois autres fonctions d ; on peut aussi déduire ces trois autres formules de celle que l'on vient d'établir.