DEVOIR LIBRE DE MATHÉMATIQUES-MP1
Devoir libre n◦9
à rendre le 25/02/2013
•••••••••
Développement de la fonction tangente en série entière
NOTATIONS ET DÉFINITIONS
•Rdésigne l’ensemble des nombres réels;
•Zdésigne l’ensemble des entiers relatifs ;
•πreprésentant le nombre pi, on désigne par Fl’ensemble des multiples de π, soit F=πZ, et par Ele complé-
mentaire de Fdans R, soit E=R\πZ;
•Cdésigne le sous-ensemble de Eformé par l’intervalle ouvert ]−π, π[privé de zéro ;
•Ddésigne le sous-ensemble de Eformé par le segment fermé [−π
2,π
2]privé de zéro.
PROBLÈME
1. Montrer que la fonction x7−→ 1
sin2x−1
x2est bornée dans D.
2. Montrer que, pour tout xappartenant à E, la fonction fdéfinie par f(x) = 1
sin2xvérifie :
4f(x) = fx+π
2+fx
2
3. On pose g(x) = 1
x2+
∞
X
k=1 1
(x−kπ)2+1
(x+kπ)2.
(a) Montrer que la fonction gest définie pour tout xde E.
(b) Montrer que sur E,gest une fonction paire et de période π.
(c) Montrer que pour tout xappartenant à Eon a :
4g(x) = gx+π
2+gx
2
4. Montrer que la fonction x7−→ g(x)−1
x2est définie et bornée dans D.
5. On désigne par hla fonction définie pour tout xde Epar h(x) = f(x)−g(x).
(a) Montrer que hest bornée dans E.
(b) Montrer que hvérifie pour tout xde E:
4h(x) = hx+π
2+hx
2
(c) En déduire que pour tout xde E h(x) = 0.
6. Montrer que pour tout xappartenant à Don a :
cotan(x) = 1
x+
∞
X
k=1
2x
x2−k2π2.
Montrer que cette égalité est également vraie pour tout xde E.
7. A tout couple (n, p)d’entiers strictement positifs, on associe un réel positif au sens large : unp.
On suppose que pour tout nentier strictement positif la série P
p∈N∗
unp est convergente et l’on note Ansa
somme : An=
∞
P
p=1
unp.
On suppose également que la série P
n∈N∗
Anconverge et l’on note Ssa somme.
1 / 2