Développement d’Euler de cotan(π x)

Pour {N\ge1}, on peut également écrire : {S_{N}(x)\!=\!\dfrac{1}{x}\!+\!\displaystyle\sum_{n=1}^{N}u_{n}(x)\;\text{où}\;u_{n}(x)\!=\!\dfrac{2x}{x^2-n^2}}

1. • Montrer que la suite {(S_{N})_{N\ge0}} est simplement convergente sur {\mathbb{R}\setminus\mathbb{Z}}.

     Soit {S} la fonction limite, définie sur {\mathbb{R}\setminus\mathbb{Z}}.

   • Montrer que {\displaystyle\sum_{n\ge0}u_{n}(x)} est normalement convergente sur tout borné de {\mathbb{R}\setminus\mathbb{Z}}.
   • Montrer que {S} est continue , impaire, et qu’elle {1}-périodique.
2. • Montrer que, pour {x\in\mathbb{R}\setminus\mathbb{Z}} et {N\in\mathbb{N}} : {S_{N}\Bigl(\dfrac{x}{2}\Bigr)\!+\!S_{N}\Bigl(\dfrac{x+1}{2}\Bigr)\!=\!2S_{2N}(x)\!+\!\dfrac{2}{x+2N+1}}
   • En déduire que : {\forall x\in\mathbb{R}\setminus\mathbb{Z},\,S\Bigl(\dfrac{x}{2}\Bigr)\!+\!S\Bigl(\dfrac{x+1}{2}\Bigr)\!=\!2S(x)}
3. On note {\text{cotan}\,x=\dfrac{\cos x}{\sin x}}, sur {\mathbb{R}\setminus\mathbb{Z}}.

   Soit {f(x)\!=\!\pi\text{cotan}(\pi x)\!-\!S(x)} sur {\mathbb{R}\setminus\mathbb{Z}}.

   • Vérifier que {f} possède les propriétés de {S} évoquées dans la question (1c).

     Montrer que {f} satisfait à l’égalité fonctionnelle vue dans la question (2b).

   • Montrer que {f} est prolongeable par continuité en {0}, puis sur {\mathbb{R}} tout entier.

     On note encore {f} ce prolongement sur {\mathbb{R}}.

4. • Justifier l’existence de {a\in]0,1[} tel que :{f(a)=M=\max\limits_{x\in\mathbb{R}}\left|{f(x)}\right|}
   • Montrer que {f\Bigl(\dfrac{a}{2}\Bigr)=M}.
   • En déduire que {f} est nulle sur {\mathbb{R}}.
5. Conclusion de l’exercice?