PSI2 2025-2026 DM 3 de MATH à rendre le 13/11/2025
PROBLÈME
• On dira qu’une fonction f , définie sur l’intervalle ouvert ]0, 1[, vérifie la propriété (P1) si on a
(P1) : ∀x ∈]0, 1[ f (1 − x) = −f (x) .
On dira qu’elle vérifie la propriété (P2) si on a
x + 1
1 x
(P2) : ∀x ∈]0, 1[ f (x) = f +f .
2 2 2
• Pour tout réel x non multiple de π, on définit la cotangente du réel x par la relation
cos(x)
∀x ∈ IR \ (π Z) cotan(x) = .
sin(x)
On définit la fonction g sur ]0, 1[ par
∀x ∈]0, 1[ g(x) = π cotan(πx) .
• Par ailleurs, pour x ∈ IR \ Z, on pose
1 2x
u0 (x) = et ∀n ∈ IN∗ un (x) = .
x x2 − n2
PARTIE A. Étude de la somme d’une série de fonctions.
X +∞
X
1. Montrer que la série de fonctions un converge simplement sur IR \ Z. On notera s = un
n≥0 n=0
la fonction somme:
+∞
1 X 2x
∀x ∈ IR \ Z s(x) = + .
x n=1 x2 − n2
2. Montrer que la fonction s est continue sur ]0, 1[.
3. Montrer que, pour x ∈ IR \ Z, on a s(x) = lim sn (x), en posant
n→+∞
1 1 1 1 1 1 1
sn (x) = + + ··· + + + + ··· + +
x − n x − (n − 1) x−1 x x+1 x+n−1 x+n
n
X 1
ce que l’on pourra noter sn (x) = .
x+k
k=−n
4. En déduire que la fonction s : IR \ Z → IR est 1-périodique.
5. Étudier la parité de la fonction s. En déduire que s vérifie la propriété (P1) sur l’intervalle
]0, 1[.
6. Montrer que la fonction s vérifie aussi la propriété (P2) sur ]0, 1[.
PARTIE B. Une première identité eulérienne.
π π
7. Simplifier les expressions cos θ + et sin θ + pour θ réel, puis montrer que la fonction g
2 2
vérifie les propriétés (P1) et (P2) sur ]0, 1[. Interpréter graphiquement la propriété (P1).
X 1
8. Justifier la convergence de la série , et calculer sa somme S. Montrer que, pour
1
n≥1 n2 −
4
1 1 1
x ∈ 0, , on a s(x) − ≤ 4x. En déduire que l’expression s(x) − admet une limite
2 x x
finie lorsque x tend vers 0 par valeurs supérieures, et préciser cette limite.
1
9. À l’aide de développements limités, montrer que la fonction x 7→ g(x) − admet une limite
x
finie en 0.
10. Déduire de ce qui précède que la fonction h = s − g est prolongeable en une fonction continue
(que l’on notera toujours h) sur le segment [0, 1]. Préciser alors la valeur de h(0).
11. On note M = khk∞,[0,1] = max h(x) . Justifier l’existence de M . Soit x0 un réel de [0, 1]
x∈[0,1]
x
0
tel que h(x0 ) = M . En utilisant la propriété (P2), montrer que h = M , puis que
2
M = h(0) .
12. En déduire l’identité
+∞
1 X 2x
∀x ∈]0, 1[ π cotan(πx) = + .
x n=1 x2 − n2
13. Montrer que cette dernière relation est vraie en tout point de IR \ Z.
PARTIE C. Conséquences de cette identité.
14. Démontrer la relation
+∞
π2
1 X 1 1
∀x ∈ IR \ Z = + + .
sin2 πx x2 n=1 (x − n)2 (x + n)2
+∞
X 1
15. À l’aide d’une des questions précédentes, retrouver la valeur de la somme ζ(2) = 2
.
n=1
n
PARTIE D. Formule d’Euler-Wallis.
∈ IN∗ ,
16. Soit x un réel appartenant à l’intervalle ]0, 1[. Montrer que les fonctions un , pour n X
sont prolongeables en des fonctions continues sur [0, x], et que la série de fonctions un
est alors normalement convergente sur le segment [0, x]. n≥1
17. En déduire, à l’aide de la question 12., la relation
+∞
x2
X
sin(πx)
∀x ∈ ]0, 1[ ln = ln 1 − 2 .
πx n=1
n
On rappelle que, si (an )n≥1 est une suite de réels non nuls, on dit que “ le produit infini
Y Yn
an est convergent” si la suite (Pn ) définie par Pn = ak admet une limite réelle
n≥1 k=1
non nulle. Dans ce cas, le réel P = lim Pn est appelé produit infini des an et on note
n→+∞
+∞
Y
alors P = ak = lim Pn .
n→+∞
k=1
sin(πx)
18. Déduire de la question 17. une écriture de sous forme de produit infini, valable pour
πx
tout x ∈ ]0, 1[.
+∞
Y 1
19. Donner la valeur du produit infini P = 1− 2 .
n=1
4n