Démontrer les formules
tgz=n=1∑∞(−1)n−122n(22n−1)b2n(2n)!z2n−1
sinz1=z1+n=1∑∞(−1)n−12(22n−1−1)b2n(2n)!z2n−1
où les séries du second membre sont absolument convergentes, la première pour ∣z∣<2π et la seconde pour ∣z∣<π (exprimer tgz et 1/sin2z comme combinaisons linéaires de cotgz et cotg2z). En déduire que les nombres 2n22n(22n−1)b2n sont entiers. (On utilisera le lemme suivant: si, dans deux séries absolument convergentes ∑n=0∞αnn!zn, ∑n=0∞βnn!zn, les coefficients αn et βn sont entiers, dans leur produit écrit sous la forme ∑n=0∞γnn!zn, les γn sont entiers.)