DM6 Poly

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 2

DM 6

Calcul de ζ(2)

Simon Dauguet
simon.dauguet@gmail.com

Pour le Mardi 19 Mars 2024

L’objectif de ce problème est de calculer la valeur de ζ(2) définie par


n
X 1
ζ(2) = lim
n→+∞
k=1
k2

Pour tout n ∈ N∗ , on définit le polynôme


1
Pn (X) = ((X + i)n − (X − i)n )
2i
1. Premières propriétés.
(a) Déterminer P1 , P2 , P3 et P4 .
(b) Montrer que ∀n ∈ N∗ , Pn ∈ R[X].
(c) Déterminer le degré et le coefficient dominant de Pn pour tout n ∈ N∗ .
(d) Étudier la parité du polynôme Pn pour n ∈ N∗ .
2. Détermination des racines.
(a) Montrer que si z ∈ C et |z − i| = |z + i|, alors z ∈ R.
(b) En déduire que pour tout n ≥ 2, tous les polynômes Pn n’ont que des racines réelles (sans les calculer).
(c) En déduire alors que ∀n ≥ 2, Pn est scindé dans R[X].
(d) Pour tout n ≥ 2, résoudre l’équation P
fn (z) = 0 d’inconnue z ∈ C.

(e) Retrouver le fait que Pn est scindé dans R[X] et donner sa factorisation en produit de polynômes irréductibles
dans R[X].
3. Étude d’une suite.
On considère les suites (un )n≥1 et (vn )n≥1 définies par
n
X 1 1
∀n ≥ 1, un = , et vn = un +
k=1
k2 n

(a) Montrer que les suites (un ) et (vn ) sont adjacentes. En déduire que la suite (un ) converge. On notera ζ(2)
sa limite.
(b) Déduire de la question précédente que que ∀n ≥ 1, |ζ(2) − un | ≤ n1 .
4. Calcul d’une somme.
(a) Soit S ∈ R[X]. Prouver :

S est paire ⇐⇒ ∃!R ∈ R[X], S(X) = R(X 2 )

1
(b) Montrer que ∀n ∈ N, ∃!Rn ∈ R[X], tel que

P2n+1 (X) = Rn (X 2 )

(c) Pour tout n ∈ N, quel est le degré dn du polynôme Rn ? Donner le coefficient de X dn et X dn −1 de Rn .


(d) Déterminer les racines de Rn pour tout n ∈ N. Donner sa factorisation en produit de polynômes irréductibles
dans R[X].
(e) En déduire que ∀n ∈ N
n cos( kπ )2
X 2n+1 n(2n − 1)

=
k=1 sin( 2n+1 )2 3

5. Calcul de ζ(2).

On pose ∀k ∈ N et ∀n ∈ N, θn (k) = 2n+1 .
(a) Montrer que ∀θ ∈]0, π/2[,
0 < sin(θ) ≤ θ ≤ tan(θ)

(b) En déduire que, ∀n ∈ N, ∀p ∈ {1, . . . , n},

cos(θn (p))2 1 cos(θn (p))2


≤ ≤ 1 +
sin(θn (p))2 θn (p)2 sin(θn (p))2

(c) En déduire un encadrement de un pour n ≥ 1 puis la valeur de ζ(2).

Vous aimerez peut-être aussi