Centre CPGE Tétouan (MPSI2) 07 novembre 2025
Devoir Surveillé 2 –3h–
Sauf mention explicite du contraire, tout doit toujours être parfaitement justifié.
La présentation de la copie est prise en compte dans l’évaluation.
* Merci d’encadrer ou de souligner vos résultats.
* Numérotez vos copies doubles, et rendez-les dans l’ordre.
Installez-vous confortablement, prenez le temps de bien comprendre les questions et
concentrez-vous sur votre copie !
Les documents, les calculatrices et les autres appareils électroniques sont interdits.
Question de cours
Énoncer et démontrer la formule du binôme de newton
Problème. Sommes de Gauss.
Dans tout le problème, étant donné n ∈ N∗ ,
2π
— on pose ζn = exp i ;
n
(
Z→C
— on définit la fonction en : x ;
x 7→ ζnx = exp i2π
n
— on définit la n-ième somme de Gauss :
n−1 n−1
x2
X X
2
Gn = en (x ) = exp i2π .
x=0 x=0
n
Le but du problème est de déterminer la valeur de Gn pour certaines valeurs de n, et
notamment quand n est premier.
Soit n ∈ N∗ .
h πi 2
0. Montrer que ∀x ∈ 0, , sin(x) ≥ x.
2 π
1. Rappeler sans démonstration le lien entre ζn et l’ensemble Un des racines n-ièmes
de l’unité.
2. Soit x1 , x2 ∈ Z. Que dire de en (x1 + x2 ) ?
3. Montrer que en est n-périodique, c’est-à-dire :
∀x1 , x2 ∈ Z, x1 ≡ x2 (mod n) ⇒ en (x1 ) = en (x2 ).
1/4
Partie I. Exemples.
4. Calculer G2 , G3 et G4 .
2π 4π
5. (a) Montrer que 1 + 2 cos + 2 cos = 0.
5 5
2π
(b) En déduire une équation du second degré dont cos est solution, puis les
5
valeurs de
2π 2π
cos et sin .
5 5
(c) En déduire G5 .
6. En calculant G7 + G7 et G7 G7 , déterminer G7 .
√ √
7. La suite du sujet montrera G11 = i 11 et G13 = 13 : on peut l’admettre dans les
deux questions qui suivent.
2π 6π 8π
(a) Calculer cos + cos + cos .
13 13 13
sin x
(b) Pour tout x tel que cos x ̸= 0, on note tan x = .
cos x
2π 3π
Exprimer 2i sin et i tan comme des sommes alternées ±ω1 ± ω2 ±
11 11
√
3π 2π
ω3 ±· · · d’éléments de U11 . En déduire l’égalité tan +4 sin = 11.
11 11
Partie II. Calcul du module |Gn|.
n−1
X
8. Soit k ∈ Z. En faisant attention aux cas particuliers, calculer en (kx).
x=0
n−1 X
X n−1
9. (a) Montrer |Gn | =2
en (x2 − y 2 ).
x=0 y=0
δ+n−1
!
X
(b) On fixe y ∈ Z. Montrer que la suite en (2dy + d2 ) est constante.
d=δ δ∈Z
n−1 X
X n−1
(c) Déduire de ce qui précède la formule |Gn |2 = en (2dy + d2 ).
y=0 d=0
√
(d) Montrer que, si n est impair, |Gn | = n.
(e) Déterminer la valeur de |Gn | lorsque n est pair.
(f) Déterminer l’ensemble {k ∈ N∗ | G2k = 0}.
2/4
Partie III. Calcul de Gn, au signe près.
Dans cette section, on suppose que n est un nombre premier impair.
=> On pourra utiliser le changement d’indices dans les sommes sous la forme suivante :
si X est un ensemble fini, que (ax )x∈X est une famille de nombres complexes indexée
par X, et que σ : X → X est une bijection, alors
X X
ax = aσ(x)
x∈X x∈X
=> On rappelle le théorème de Bézout : quels que soient a et b ∈ Z premiers entre eux,
on peut trouver u, v ∈ Z tels que ua + vb = 1.
=> On rappelle la division euclidienne sur Z : Soient a ∈ Z et b ∈ N∗ . Il existe un
unique couple (q, r) ∈ Z × N tel que : a = bq + r avec 0 ≤ r < b
=> On définit une fonction r : Z → J1, n − 1K envoyant tout entier x ∈ Z sur le reste
dans sa division par n. On pourra utiliser sans démonstration les deux propriétés
(évidentes) suivantes :
— ∀x ∈ Z, r(x) ≡ x (mod n) ;
— ∀x1 , x2 ∈ Z, r(x1 ) = r(x2 ) ⇔ x1 ≡ x2 (mod n).
10. Montrer que ∀x ∈ J1, n − 1K, ∃x′ ∈ J1, n − 1K tel que xx′ ≡ 1 (mod n).
11. Soit(a ∈ J1, n − 1K. Montrer que l’application :
J1, n − 1K → J1, n − 1K
σ: est une bijection.
x 7→ r(ax)
12. Premier cas. On suppose ∃a ∈ Z : a2 ≡ −1 (mod n).
√
Montrer que Gn ∈ R et en déduire Gn = ± n.
√
13. Deuxième cas. On suppose ∀a ∈ Z, a2 ̸≡ −1 (mod n). Montrer que Gn = ±i n.
Partie IV. Détermination du signe.
On admet que la disjonction de cas de la partie précédente correspond au résidu de n
modulo 4. Autrement dit, on admet que, pour un nombre premier impair n,
√
— si n ≡ 1 (mod 4), alors ∃a ∈ Z : a2 ≡ −1 (mod n), et donc Gn = ± n ;
√
— si n ≡ 3 (mod 4), alors ∀a ∈ Z, a2 ̸≡ −1 (mod n), et donc Gn = ±i n.
Le but de cette partie est de montrer que, dans tous les cas, le signe est + (Gauss, 1805).
Les deux cas étant similaires, on suppose désormais n premier et n ≡ 1 (mod 4).
On fixe m ∈ N∗ tel que n = 4m + 1.
n−1
X π
14. On définit T = exp i x2 . En séparant les termes de rang pair et impair
x=1
2n
3/4
dans cette somme, montrer que
2m
X 2π 2
T = (1 + i) exp i y .
y=1
n
n−1
πx2 πx2
X
15. Montrer Gn = 1 + cos + sin .
x=1
2n 2n
√ √
Vers la fin, on note s la partie entière de n, de telle sorte que s < n < s + 1.
s
πx2 πx2 √
X
16. Montrer 1 + cos + sin ≥ n.
x=1
2n 2n
17. Sommation d’Abel. Soit a < b deux entiers et (ux )bx=a , (vx )bx=a+1 deux familles
de nombres complexes. Montrer que
b−1
X b
X
−ua va+1 + ux (vx − vx+1 ) + ub vb = (ux − ux−1 )vx .
x=a+1 x=a+1
18. En appliquant la sommation d’Abel aux familles
!n−1
π n−1 1
(ux )n−1
x=s = exp i (x2 + x) et (vx )n−1
x=s+1 = πx
;
2n x=s sin 2n x=s+1
montrer l’inégalité suivante
n−1 π
X n
exp i x2 ≤ .
x=s+1
2n s+1
√
19. Conclure la démonstration de l’égalité Gn = n.
Bon travail !
4/4