Soit f:x⟼n=1∑+∞nxnsinnx.
1. Montrer que la série n=1∑+∞nxnsinnx est normalement convergente sur tout intervalle [−a,a], 0<a<1.
2. Déduire que f est continue sur ]−1,1[.
3. Montrer que f est de classe C1 sur ]−1,1[ et que
f′(x)=n=1∑+∞(xn−1sinnx+xncosnx).
4. En utilisant les expressions complexes suivantes : xnsinnx=Im[(xeix)n], xncosnx=Re[(xeix)n], montrer que
f′(x)=1−2xcosx+x2sinx+xcosx−x2.
5. Soit g(x)=arctan(1−xcosxxsinx), x∈]−1,1[. Calculer g′ et déduire que f≡g.