1) produit de termes compris entre 0 et 1, donc... d'ailleurs, an est décroissante!
2) cos2x = 2cos²x - 1 donc?
3) calculer b(n+1)/bn puis utiliser 2 (j'imagine que ce doit être ça...)
4) Pour la monotonie, c'est bon.
an - bn = an(1-cos(Pi/2^n))
an étant bornée, et cos(P i/2^n) tendant vers 1...
5) L'astuce classique : cos(a)*sin(a) = ...?
Par multiplications successives, tu trouves le résultat.
b) Utiliser a) (ça doit être ça... ^^)
c) Euh??