Lycée Pierre de Fermat 2023/2024

MPSI - MP2I Devoir surveillé

Devoir surveillé n◦1

Sujet donné le mercredi 20 septembre 2023, 2h.
L’usage de la calculatrice n’est pas autorisé.
La notation tiendra particulièrement compte de la qualité de la rédaction, la précision des raisonnements
et l’énoncé des formules utilisées. Les réponses aux questions seront numérotées et séparées par un trait
horizontal. Les résultats essentiels devront être encadrés ou soulignés.

BON TRAVAIL
————————————————————–

Exercice - Application de la transformation d’Abel

On considère θ ∈]0, 2π[.
n
X cos nθ
On souhaite montrer la convergence de (Sn ), où Sn = .
k=1
n
1

On note pour tout entier n ⩾ 1, Vn = sin (n − )θ et Un = 1/n.
2 m X cos nθ
On considère également pour tous entiers m > n ⩾ 1, sn,m = .
k=n
n
.1. Simplifier Vn+1 − Vn .
.2. En déduire que pour tout m > n ⩾ 1,
m
1 X
sn,m = Uk × (Vk+1 − Vk )
2 sin 2θ k=n

.3. Montrer que pour tout m > n ⩾ 1,

 
m
1 X
sn,m = × Um Vm+1 − Un Vn + (Uk−1 − Uk )Vk 
2 sin θ/2 k=n+1

.4. On rappelle l’inégalité triangulaire :

∀ x, y ∈ R, |x + y| ⩽ |x| + |y|

Montrer, par récurrence, que pour tout n ∈ N∗ et x1 , x2 , . . . xn ∈ R,

n
X n
X
xk ⩽ |xk |
k=1 k=1

.5. Montrer alors que

1
|sn,m | ⩽
n| sin 2θ |

.6. En déduire, que pour tout ϵ > 0, il existe N ∈ N tel que ∀ m > n > N ⩾ n, |sn,m | ⩽ ϵ.
Cette propriété permet d’affirmer que (Sn ) converge.

1
 Problème -
Soit n un entier naturel tel que n ⩾ 2.
Notons, pour tout d entier naturel tel que 0 ⩽ d ⩽ n,
dkπ
 
2
X sin
n−1
n
fn (d) = et, pour d tel que 1 ⩽ d ⩽ n, gn (d) = fn (d) − fn (d − 1)
kπ

k=1 sin2
n
p
(−1)k en fonction de l’entier p ∈ N∗ et préciser sa valeur selon la parité de p.
X
.1. Calculer explicitement
k=1
.2. (a) Montrer que, pour tout x ∈ R,
n−1
X n−1
X
2 sin x cos(kx) = (sin((k + 1)x) − sin((k − 1)x))
k=1 k=1

On pourra développer le terme général de la somme du second membre.

(b) En appliquant la relation ci-dessus pour une valeur de x que l’on précisera, montrer que
n−1
X 2jkπ
∀j ∈ [[1, n − 1]] , cos = −1
k=1
n

.3. (a) Calculer fn (0) puis gn (1).

(b) Soit j ∈ [[1, n − 1]] fixé. Montrer que, pour tout x ∈ R,

sin2 ((j + 1)x) − 2 sin2 (jx) + sin2 ((j − 1)x) = 2 sin2 (x) × cos(2jx)

(c) En déduire que, pour tout j ∈ [[1, n − 1]],

     
n−1
X sin2 (j + 1) kπ
n − 2 sin
2 j kπ + sin2 (j − 1) kπ
n n
gn (j + 1) − gn (j) =  
kπ
k=1 sin2 n

puis en déduire que gn (j + 1) − gn (j) est une constante indépendante de n et j que l’on précisera.
(d) Conclure que, pour tout entier k tel que 1 ⩽ k ⩽ n,

gn (k) = n + 1 − 2k

.4. Soit d ∈ [[0, n]] fixé.

(a) Montrer que,
d
X
fn (d) = fn (0) + gn (k)
k=1

(b) Conclure que

dkπ
 
2
X sin
n−1
n
= d(n − d)
kπ

k=1 sin2
n

2
 Correction
Exercice - Application de la transformation d’Abel
On considère θ ∈]0, 2π[.
n
X cos nθ
On souhaite montrer la convergence de (Sn ), où Sn = .
k=1
n
1

On note pour tout entier n ⩾ 1, Vn = sin (n − )θ et Un = 1/n.
2 m X cos nθ
On considère également pour tous entiers m > n ⩾ 1, sn,m = .
k=n
n
.1. Simplifier Vn+1 − Vn .

Soit n ∈ N∗ ,
1 1 θ θ θ θ
Vn+1 − Vn = sin((n + )θ) − sin((n − )θ) = sin nθ cos + cos nθ sin − sin nθ cos + cos nθ sin
2 2 2 2 2 2
θ
Vn+1 − Vn = 2 cos(nθ) × sin
2

.2. En déduire que pour tout m > n ⩾ 1,

m
1 X
sn,m = Uk × (Vk+1 − Vk )
2 sin 2θ k=n

θ θ
Notons d’abord que θ ∈]0, 2π[, donc ∈]0, π[ et donc sin > 0.
2 2
1 1
Soit m > n ⩾ 1. Pour tout k ∈ [[n, m]], U × (Vk+1 − Vk ) = (cos(kθ)) (formule précédente).
θ k
2 sin 2 k
Donc en sommant, on a bien
m
1 X
sn,m = Uk (Vk+1 − Vk )
2 sin 2θ k=n

.3. Montrer que pour tout m > n ⩾ 1,

 
m
1 X
sn,m = × Um Vm+1 − Un Vn + (Uk−1 − Uk )Vk 
2 sin θ/2 k=n+1

Soient m > n ⩾ 1.
m
X m
X m
X m+1
X m
X
Uk (Vk+1 − Vk ) = Uk Vk+1 − Uk Vk = Ui−1 Vi − Ui V i
k=n k=n k=n i=n+1 i=n
| {z } | {z }
i=k+1⇔k−i−1 i=k
m
X m
X
= Ui−1 Vi + Um Vm+1 − Ui V i − Un V n
i=n+1 i=n+1
m
X
= Um Vm+1 − Un Vn + (Ui−1 − Ui )Vi
i=n+1
π
Donc en divisant par 2 sin :
2
 
m
1 X
sn,m = × Um Vm+1 − Un Vn + (Uk−1 − Uk )Vk 
2 sin θ/2 k=n+1

1
.4. On rappelle l’inégalité triangulaire :

∀ x, y ∈ R, |x + y| ⩽ |x| + |y|

Montrer, par récurrence, que pour tout n ∈ N∗ et x1 , x2 , . . . xn ∈ R,

n
X n
X
xk ⩽ |xk |
k=1 k=1

n n
Posons, pour tout n ∈ N∗ , Pn : « ∀ x1 , x2 , . . . xn ∈ R,
X X
xk ⩽ |xk | ».
k=1 k=1
— ∀ x1 ∈ R, |x1 | ⩽ |x1 , donc P1 est vraie.
— Soit n ∈ N∗ . Supposons que Pn est vraie.
Soient x1 , x2 , . . . xn , xn+1 ∈ R, n + 1 nombres réels. On applique une fois l’inégalité triangulaire

n+1
X n
X n
X
xk = xk + xn+1 ⩽ xk + |xn+1 |
| {z }
k=1 k=1 y k=1
| {z }
x

Puis, on applique Pn , pour le premier des termes de droite. Par transitivité :

n+1
X n
X n+1
X
xk ⩽ |xk | + |xn+1 | = |xk |
k=1 k=1 k=1

Par conséquent, Pn+1 est vraie.

On a démontré : ∀ n ∈ N∗ , Pn ⇒ Pn+1
Ainsi, pour tout n ∈ N∗ , Pn est vraie.
n
X n
X
∀ x1 , x2 , . . . xn ∈ R, xk ⩽ |xk |
k=1 k=1

.5. Montrer alors que

1
|sn,m | ⩽
n| sin 2θ |

Par inégalité triangulaire (appliqué à m − (n + 1) + 1 + 2 = m − n + 2 termes) :

 
m
1 X
|sn,m | ⩽ |Um Vm+1 | + |Un Vn | + |Uk−1 − Uk | × |Vk |
2| sin 2θ | k=n+1
 
m
1 1 1 X
|sn,m | ⩽  + + |Uk−1 − Uk |
2| sin 2θ | m n k=n+1
car pour tout i ∈ N∗ , |Vi | ⩽ 1 (donc pour i de n à m + 1).
1 1
Puis comme = Uk−1 > Uk = , alors Uk−1 − Uk > 0 et donc |Uk−1 − Uk | = Uk−1 − Uk , donc
k−1 k
 
m
1 1 1 1 1 1 1 1
X  
|sn,m | ⩽ θ
 + + Uk−1 − Uk  = + + −
2| sin 2 | m n k=n+1 2| sin 2θ | m n n m

par télescopage. Ainsi

1
|sn,m | ⩽
n| sin 2θ |

2
.6. En déduire, que pour tout ϵ > 0, il existe N ∈ N tel que ∀ m > n > N ⩾ n, |sn,m | ⩽ ϵ.
Cette propriété permet d’affirmer que (Sn ) converge.
!
1 1
 
La suite converge vers 0 en décroissant, donc par produit, il en est de même de .
n n| sin 2θ |
Fixons ϵ. Donc, si n est suffisamment grand,
1 1
0⩽ θ
⩽ <ϵ
n| sin 2 | N | sin 2θ |

Et donc, il existe N ∈ N tel que ∀ m > n > N ⩾ n, |sn,m | ⩽ ϵ et (Sn ) est convergente.

Problème
Soit n un entier naturel tel que n ⩾ 2.
Notons, pour tout d entier naturel tel que 0 ⩽ d ⩽ n,
dkπ
 
2
X sin
n−1
n
fn (d) = et, pour d tel que 1 ⩽ d ⩽ n, gn (d) = fn (d) − fn (d − 1)
kπ

k=1 sin 2
n
p
(−1)k en fonction de l’entier p ∈ N∗ et préciser sa valeur selon la parité de p.
X
.1. Calculer explicitement
k=1
∗
Soit p ∈ N fixé.
p
X
(−1)k est la somme des p premiers termes de la suite géométrique de raison −1 (différente de 1) et de premier
k=1
terme −1 donc
p
X 1 − (−1)p 1 (−1)p − 1
(−1)k = (−1) × = − (1 − (−1)p ) =
k=1
1 − (−1) 2 2
p (
∗
X
k 0 si p ≡ 0 [2],
Ainsi, pour tout p ∈ N , (−1) =
−1 si p ≡ 1 [2].
k=1

.2. (a) Montrer que, pour tout x ∈ R,

n−1
X n−1
X
2 sin x cos(kx) = (sin((k + 1)x) − sin((k − 1)x))
k=1 k=1

On pourra développer le terme général de la somme du second membre.

Soit x ∈ R fixé.
n−1
X n−1
Xh  i
(sin((k + 1)x) − sin((k − 1)x)) = sin(kx) cos(x) + cos(kx) sin(x) − sin(kx) cos(x) − cos(kx) sin(x)
k=1 k=1
n−1
X
= 2 cos(kx) sin(x)
k=1
n−1
X
= 2 sin x cos(kx)
k=1

n−1
X n−1
X
Ainsi, pour tout x ∈ R, 2 sin x cos(kx) = (sin((k + 1)x) − sin((k − 1)x)).
k=1 k=1

3
 (b) En appliquant la relation ci-dessus pour une valeur de x que l’on précisera, montrer que
n−1
X 2jkπ
∀j ∈ [[1, n − 1]] , cos = −1
k=1
n

Soit j ∈ [[1, n − 1]] fixé.

2jπ
Appliquons la relation établie dans la question précédente pour x ← :
n
 n−1 n−1
2jπ 2jkπ 2jπ 2jπ
 X   X    
2 sin cos ) = sin (k + 1) − sin (k − 1)
n k=1
n k=1
n n
n−1 n−1
2jπ 2jπ
X   X  
= sin (k + 1) − sin (k − 1)
k=1
n k=1
n
n n−2
2jπ 2jπ
X   X  
= sin i − sin i
i=2
n i=0
n
en posant i = k + 1 dans la première somme et i = k − 1 dans la seconde
2jπ 2jπ 2jπ 2jπ
       
= sin n + sin (n − 1) − sin 1 × − sin 0 ×
n n n n
2jπ 2jπ 2jπ
     
= sin (2jπ) + sin 2jπ − − sin 1 × − sin 0 ×
| {z } n n n
=0 | {z } | {z }
2jπ =0
 
= − sin
n
2jπ
 
= −2 sin
n

2jπ
Observons que 0 < j < n donc ∈]0, 2π[,
n
or sur ]0, 2π[, la fonction sinus ne s’annule que pour la valeur π :
2jπ 2jπ 2jπ −1
    
⋆ si ̸= π, alors sin ̸= 0 si bien que le calcul ci-dessus donne, après multiplication par 2 sin ,
n n n
n−1
2jkπ
X  
cos = −1
k=1
n

2jπ n
⋆ sinon, = π donc 2j = n ce qui montre que n est pair, et de plus, j = dans ce cas d’où
n 2
n−1 n−1 n−1 n−1
2jkπ 2nkπ
X   X   X X
cos = cos = cos (kπ)) = (−1)k = −1
k=1
n k=1
2n k=1 k=1
| {z }
car n ≡ 0 [2] donc n − 1 ≡ 1 [2] (quest. .1)
n−1
X 2jkπ
Ainsi, ∀j ∈ [[1, n − 1]] , cos = −1.
k=1
n

.3. (a) Calculer fn (0) puis gn (1).

=0
z  }| {
2kπ
X sin 0 × n
n−1
⋆ fn (0) = = 0 donc fn (0) = 0.
kπ
 
k=1 sin2
n

4
 kπ
 
2
X sin 1 × n
n−1 n−1
X
⋆ fn (1) = = 1 = n−1 donc fn (1) = n−1 si bien que gn (1) = fn (1) − fn (0) = n − 1.
kπ
 
k=1 sin2 k=1
n
| {z }
=1
(b) Soit j ∈ [[1, n − 1]] fixé. Montrer que, pour tout x ∈ R,

sin2 ((j + 1)x) − 2 sin2 (jx) + sin2 ((j − 1)x) = 2 sin2 (x) × cos(2jx)

sin2 ((j + 1)x) − sin2 (jx) = (sin((j + 1)x) − sin(jx)) × (sin((j + 1)x) + sin(jx))
(j + 1)x + jx (j + 1)x − jx (j + 1)x + jx (j + 1)x − jx
= 2 cos sin × 2 sin cos
2 2 2 2
p+q p−q p−q p+q
en utilisant sin p − sin q = 2 cos sin et sin p + sin q = 2 cos sin
2 2 2 2
x x x x
    
= 4 cos jx + sin sin jx + cos
2 2 2 2
x x x x
       
= 2 cos jx + sin jx + × 2 sin cos
2 2 2 2
= sin(2jx + x) sin(x) en utilisant la formule sin(2a) = 2 sin a cos a. (1)

sin2 ((j − 1)x) − sin2 (jx) = (sin((j − 1)x) − sin(jx)) × (sin((j − 1)x) + sin(jx))
(j − 1)x + jx (j − 1)x − jx (j − 1)x + jx (j − 1)x − jx
= 2 cos sin × 2 sin cos
2 2 2 2
p+q p−q p−q p+q
en utilisant sin p − sin q = 2 cos sin et sin p + sin q = 2 cos sin
2  2 2 2
x x x x
      
= 4 cos jx − sin − sin jx − cos −
2 2 2 2
x x x x
       
= 2 cos jx − sin jx − × 2 sin − cos −
2 2 2 2
= sin(2jx − x) sin(−x) en utilisant la formule sin(2a) = 2 sin a cos a. (2)

En sommant les égalités (1) et (2),

sin2 ((j + 1)x) − 2 sin2 (jx) + sin2 ((j − 1)x) = sin(2jx + x) sin(x) + sin(2jx − x) sin(−x)
= sin(x)(sin(2jx + x) − sin(2jx − x))
(2jx + x) + (2jx − x) (2jx + x) − (2jx − x)
= sin(x) × 2 cos sin
2 2
= sin(x) × 2 cos(2jx) sin(x)
= 2 sin2 (x) cos(2jx)

Ainsi, pour tout x ∈ R, sin2 ((j + 1)x) − 2 sin2 (jx) + sin2 ((j − 1)x) = 2 sin2 (x) × cos(2jx).

(c) En déduire que, pour tout j ∈ [[1, n − 1]],

     
n−1
X sin2 (j + 1) kπ
n − 2 sin
2 j kπ + sin2 (j − 1) kπ
n n
gn (j + 1) − gn (j) =  
kπ
k=1 sin2 n

puis en déduire que gn (j + 1) − gn (j) est une constante indépendante de n et j que l’on précisera.

5
 • Soit j ∈ [[1, n − 1]] fixé. Par définition,

gn (j + 1) − gn (j) = fn (j + 1) − fn (j) − (fn (j) − fn (j − 1))

= fn (j + 1) − 2(fn (j) + fn (j − 1)
2 (j + 1)kπ 2 jkπ 2 (j − 1)kπ
     
X sin
n−1
n X sin
n−1
n X sin
n−1
n
= −2 +
kπ kπ kπ
  
k=1 sin2 k=1 sin2 k=1 sin2
n n n
2 (j + 1)kπ jkπ (j − 1)kπ
     
X sin
n−1 − 2 sin2 + sin2
n n n
= (3)
kπ
 
k=1 sin2
n
kπ
• Appliquons, pour tout k ∈ [[1, n − 1]], l’identité établie dans la question précédente pour x ← :
n
kπ kπ kπ kπ kπ
         
2 2 2 2
sin (j + 1) − 2 sin j + sin (j − 1) = 2 sin × cos 2j
n n n n n

si bien qu’en injectant ces égalités dans la relation (3),

   
kπ
n−1
X sin2 n × cos 2j kπ
n
gn (j + 1) − gn (j) = 2  
kπ
k=1 sin2 n
n−1
kπ
X  
= 2 cos 2j
k=1
n
n−1
kπ
X  
= −2 car cos 2j = −1 d’après la question (.2(b)).
k=1
n

(d) Conclure que, pour tout entier k tel que 1 ⩽ k ⩽ n,

gn (k) = n + 1 − 2k

Soit k ∈ [[1, n]] fixé.

• Si k = 1, d’après la question .3(a), gn (1) = fn (1) − fn (0) = n − 1 = n + 1 − 2 × 1 ce qui valide la formule
attendue dans le cas k = 1.
• Sinon, k ⩾ 2. D’après la question précédente, ∀j ∈ [[1, n − 1]], gn (j + 1) − gn (j) = −2 donc en sommant
ces égalités pour j = 1, . . . , k − 1,
k−1
X k−1
X
(gn (j + 1) − gn (j)) = − 2 = −2(k − 1)
j=1 j=1
| {z }
= gn (k) − gn (1)
après télescopage

donc gn (k) = gn (1) − 2(k − 1) = n − 1 − 2(k − 1) = n + 1 − 2k.

Ainsi, ∀k ∈ [[1, n]], gn (k) = n + 1 − 2k.

.4. Soit d ∈ [[0, n]] fixé.

(a) Montrer que,
d
X
fn (d) = fn (0) + gn (k)
k=1

6
 Calculons :
d
X d
X d
X d
X
fn (0)+ gn (k) = fn (0)+ (fn (k)−fn (k−1)) = fn (0)+ fn (k)− fn (k − 1) = fn (0) + fn (d) − fn (0) = fn (d)
| {z }
k=1 k=1 k=1 k=1
| {z } après télescopage
d−1
X
= fn (i)
i=0

d
X
donc ∀d ∈ [[0, n]], fn (d) = fn (0) + gn (k).
k=1

(b) Conclure que

dkπ
 
2
X sin
n−1
n
= d(n − d)
kπ

k=1 sin 2
n

D’après la question précédente,

d
X d
X d
X d
X
fn (d) = fn (0) + gn (k) = 0 + (n + 1 − 2k) = (n + 1) −2 k = (n + 1)d − d(d + 1) = nd − d2
k=1 k=1 k=1 k=1
| {z } | {z }
= (n + 1)d d(d + 1)
=
2

dkπ
 
2
X sin
n−1
n
Ainsi, = d(n − d).
kπ

k=1 sin2
n