cc^cCj X, . . . . x„ = On

Supposons o, ^ 1, on aura eu divisant (337.) par x, r^ Xj . . . . x„ = I 33«. /(|,)(^.)(J.) (^^,).

Voila le iemme qu'il nous faut.

V. En vertu des expressions (213. 214.) cosx et sinx sont des fonctions rationnelles de x, desquelles ou sait d'ailleurs que la première est zéro pour

X = -\-in, —in, +in, — |.tc, -f J.i, |n,

et la seconde pour

X = 0, +'T, — 7T, 4-2n, — 2n, etc.; donc on a en vertu du Iemme (IV.)

ou bien