MPSI 3 Devoir surveillé 2024-2025

DS 2 de mathématiques

Durée : 4 heures. Les calculatrices et autres technologies sont interdites.

Une attention particulière sera portée à la qualité de la rédaction et à la rigueur du

raisonnement. La copie doit être lisible, les calculs aérés, les résultats mis en valeur...

Si vous repérez une possible erreur d’énoncé, vous êtes invité(e) à venir le signaler.

Les 3 exercices sont indépendants et peuvent être traités dans un ordre quelconque.

1 Calculs
1. (a) Déterminer une racine carrée de −15 + 8i.
(b) En déduire les solutions complexes de l’équation z 2 + (−5 + 2i)z + 9 − 7i = 0.

2. On note f la fonction définie de R dans R par f (x) = x3 + x − 2.

Montrer que f est bijective et calculer (f −1 )′ (0)·

3. (a) Soitθ ∈]
 − π, π[. Rappeler sans justification l’expression de cos θ en fonction de
θ
tan .
2
1 − x2
 
(b) En déduire que, pour tout x ∈ R, arccos = 2| arctan x|.
1 + x2
On commencera par justifier que le membre de gauche est bien défini sur R.

4. Pour tout t ∈ R, on note ft la fonction définie de R dans R par ft (x) = x3 + tx + 1.

(a) Déterminer les variations de ft en distinguant selon le signe de t.

3
(b) On note t0 = − 2/3 . Montrer que l’équation ft (x) = 0 admet 1, 2 ou 3 solutions,
2
selon que t est respectivement strictement supérieur, égal ou strictement inférieur
à t0 .
(c) Représenter l’ensemble (t, x) ∈ R2 | ft (x) = 0 .


1
2 Problème – Deux calculs de ζ(2)
n
X 1
Dans ce problème, on propose deux calculs pour déterminer ζ(2), défini comme lim 2
.
n→+∞
k=1
k
On admet que cette limite existe et que, si (an ) est une suite strictement croissante d’entiers
an
X 1
naturels, alors on a aussi ζ(2) = lim 2
.
n→+∞
k=1
k
Les deux parties sont indépendantes.

2.1 Via le lemme de Riemann-Lebesgue.

Pour ce calcul, on admet le lemme de Riemann-Lebesgue suivant.
Si f est une fonction continue sur [0, π], alors, quand n → +∞,
Z π Z π
f (t) cos(nt)dt → 0 et f (t) sin(nt)dt → 0.
0 0

1. Soit n ∈ N∗
π
(−1)n − 1
Z
(a) Montrer que t cos(nt)dt = .
0 n2
Z π
2π(−1)n
(b) Montrer que t2 cos(nt)dt = . En déduire que
0 n2
Z π
t2

1
−t + cos(nt)dt = 2 .
0 2π n
n
X 1 sin(nx + x/2)
2. Soient x ∈ R \ 2πZ, n ∈ N . Montrer que
∗
cos(kx) = − + .
k=1
2 2 sin(x/2)
On définit les fonctions ϕ sur [0, π] et ψ sur ]0, π] par
t2
 2 
t t cos(t/2)
ϕ(t) = − et ψ(t) = −t .
4π 2 2π 2 sin(t/2)
3. Montrer que ψ admet une limite finie ℓ en 0, que l’on précisera.
On convient que ψ(0) = ℓ. Ainsi prolongée, ψ est une fonction continue sur [0, π].
4. Montrer que, pour tout n ∈ N∗ ,
n
1 π
Z π
t2
Z  
X 1

= t − dt + ϕ(t) cos(nt) + ψ(t) sin(nt) dt.
k=1
k2 2 0 2π 0
n
1 π t2
Z  
X 1
En déduire que 2
→ t− dt, quand n → +∞.
k=1
k 2 0 2π

5. En déduire la valeur de ζ(2).

2
2.2 Via le calcul d’une somme trigonométrique
n −1
2X
1
6. Pour tout n ∈ N , on pose Sn =
∗
2 πk

.
k=1
sin 2n+1

1 1 4
(a) Montrer que, pour tout x ∈]0, π/2[, 2 + 2 = 2 .
sin x sin (π/2 − x) sin (2x)
(b) En déduire que, pour tout n ≥ 2, Sn = 4Sn−1 + 2.
(c) En déduire l’expression de Sn en fonction de n, pour tout n ∈ N∗ .

7. Montrer que, pour tout x ∈]0, π/2[, sin x < x < tan x.
1 1 1
8. En déduire que, pour tout x ∈]0, π/2[, 2 −1< 2 < .
sin x x sin2 x
9. En déduire que, pour tout n ∈ N∗ ,
2 −1 n

n 4n+1 X 1
Sn − (2 − 1) < 2 < Sn .
π k=1 k 2

10. En déduire la valeur de ζ(2).

3 Problème – Cercle passant par p points entiers

On note Z[i] = {x + iy, (x, y) ∈ Z2 }, l’ensemble des points entiers de C. L’objectif du
problème est de montrer que pour tout entier p ∈ N∗ , on peut trouver un cercle C contenant
exactement p points entiers, c’est-à-dire tel que C ∩ Z[i] soit de cardinal p.

3.1 Solutions entières de l’équation x2 + y 2 = 5n

Soit n ∈ N. On note En = {z ∈ Z[i] | |z|2 = 5n } et on cherche à déterminer son cardinal.

1. Montrer que E0 = U4 = {±1, ±i}.

(n)
2. Pour tout ω ∈ U4 et tout k ∈ J0, nK, on définit1 zω,k par
(n)
zω,k = ω(2 + i)k (2 − i)n−k .
(n)
(a) Montrer que si ω ∈ U4 et si k ∈ J0, nK, alors zω,k ∈ En .
(n) (n)
On fixe ω, ω ′ ∈ U4 et k, k ′ ∈ J0, nK et on suppose que zω,k = zω′ ,k′ .
1
Le (n) est seulement là pour rappeler la dépendance en n de la notation. Ce n’est pas un exposant !

3
  4(k−k′ )
2+i
(b) Montrer que = 1.
2−i
2+i
(c) On note θ un argument de . Déterminer les valeurs de cos θ et sin θ.
2−i
On admet le résultat suivant2 :
1 1
− 1, − , 0, , 1 .

Si r ∈ Q est tel que cos(rπ) ∈ Q, alors cos(rπ) ∈
2 2
(n)
(d) Déduire de ce résultat que (ω, k) = (ω ′ , k ′ ). Combien y a-t-il de points zω,k ?
3. On suppose n ≥ 1. Soit z = x + iy un élément de En écrit sous forme algébrique.
(a) Montrer que l’un au moins des deux entiers 2x − y et 2x + y est divisible par 5.
z z
(b) En déduire que l’un au moins des deux nombres complexes et
2+i 2−i
appartient à En−1 .
(n)
(c) En déduire que pour tout n ∈ N, tout élément z de En est de la forme zω,k , pour
un ω ∈ U4 et un k ∈ J0, nK. En déduire que En a 4(n + 1) éléments.

3.2 Cercle passant par un nombre pair p de points

p
Soit p ≥ 2 un entier pair. On note n = − 1 et Pn = {z = x + iy ∈ En | x est pair}.
2
4. Montrer que En compte autant de points de partie réelle paire, que de points de
partie réelle impaire. En déduire que Pn est de cardinal p.
1 1
5. En déduire que le cercle de centre et de rayon ×5n/2 contient exactement p points
2 2
de Z[i].

3.3 Cercle passant par un nombre impair p de points

Soit p ≥ 1 un entier impair. On note Fp−1 = {z = x + iy ∈ Ep−1 | x ≡ −1 [3] et y ≡ 0 [3]}.
Pour tout a ∈ J0, 5(p−1)/2 K, on note Ta = {z = x + iy ∈ Ep−1 | |x| = a ou |y| = a}.

6. Montrer que T0 est de cardinal 4 et que T0 ∩ Fp−1 est de cardinal 1.

7. Soit a ∈ J1, 5(p−1)/2 − 1K tel que Ta est non vide. Montrer que Ta est de cardinal 8 et
que Ta ∩ Fp−1 est de cardinal 2.
8. En déduire que Fp−1 est de cardinal p.
9. Déterminer un cercle contenant exactement p points de Z[i].

2
cf. DS 2, 2023-2024