Christophe Bertault — Mathématiques en MPSI Devoir surveillé du samedi 23 septembre 2023 (4h)

DEVOIR SURVEILLÉ

Les questions 1) à 6) suivantes sont indépendantes.

1
X  j‹ Y
∗
1) Simplifier pour tout n ∈ N la somme et le produit 16i j .
0¶i¶ j¶n
i 1¶i, j¶n
p x
2) a) Résoudre l’inéquation 1+ x ¾1+d’inconnue x ∈ [−1, +∞[.
3
s
1 1
b) En déduire que pour tout n ∈ N∗ : 1+ ¾1+ .
n 3(n + 1)
1 1 λ
c) En déduire un réel λ > 0 pour lequel pour tout n ∈ N∗ : p − p ¾ p .
Xn  n n + 1 (n + 1) n+1
1
d) En déduire que la suite p converge. On ne demande pas la valeur de sa limite.
k=1 k k n∈N∗
2n (n + 1)
3) Déterminer une expression explicite de la suite (un )n∈N définie par u0 = 1 et un+1 = un . Une démonstration
n+3
rigoureuse du résultat est attendue.
 z
4) Déterminer l’ensemble des z ∈ C \ i pour lesquels les parties réelle et imaginaire de sont égales.
z−i

2
5) On note P la fonction polynomiale x 7−→ x 2 − x + 4 + 4 sur R.
a) Résoudre l’équation z 2 − z + 4 + 2i = 0 d’inconnue z ∈ C.

2
b) Résoudre l’équation z 2 − z + 4 + 4 = 0 d’inconnue z ∈ C.



c) En déduire quatre réels a, b, c, d pour lesquels pour tout x ∈ R : P(x) = x 2 + a x + b x 2 + c x + d .

6) Déterminer l’ensemble des fonctions f : R −→ R dérivables pour lesquelles pour tous x, y ∈ R :

f (x + y) − f (x − y) = x y.

————————————–

¦ ©
On rappelle que U = z ∈ C | |z| = 1 .
2
Pour toute fonction f : C −→ C, on dit que U est stable par f si f (u) ∈ U pour tout u ∈ U.

1) Préliminaires :


a) Vérifier que pour tous a, b ∈ C : |a + b|2 = |a|2 + 2 Re a b + |b|2 .
b) Exprimer |a + b|2 + |a − b|2 en fonction de |a| et |b| pour tous a, b ∈ C.
c) Soit z ∈ C. On suppose que la fonction u 7−→ Re(uz) est constante sur U. Montrer que z = 0 en exploitant
différentes valeurs de u.

2) Polynômes de degré 1 : Montrer que les couples (a, b) ∈ C∗ ×C pour lesquels U est stable par la fonction z 7−→ az + b
sont exactement les couples (a, 0), a décrivant U.

3) Polynômes de degré 2 : Soient a ∈ C∗ et b, c ∈ C. On suppose que U est stable par la fonction z 7−→ az 2 + bz + c.
2
a) Montrer, grâce au résultat de la question 1)b), que pour tout u ∈ U : au2 + c + |b|2 = 1.


b) En déduire que la fonction u 7−→ Re uac est constante sur U.
c) En déduire que U est stable par la fonction z 7−→ az + b.
d) Quels sont finalement les triplets (a, b, c) ∈ C∗ ×C×C pour lesquels U est stable par la fonction z 7−→ az 2 + bz + c ?

————————————–

1
 Christophe Bertault — Mathématiques en MPSI Devoir surveillé du samedi 23 septembre 2023 (4h)

3
1) L’inégalité de Cauchy-Schwarz : Soient a0 , . . . , an , b0 , . . . , bn ∈ R.
n n n
X
2 X X X
a) Exprimer ai b j − a j bi en fonction de ak2 , bk2 et a k bk .
0¶i, j¶n k=0 k=0 k=0
v v
n
X uXn uXn
b) En déduite l’inégalité de Cauchy-Schwarz : a k bk ¶ ak2 bk2 .
t t
k=0 k=0 k=0
n−1
Y
2) Une pseudo-formule du binôme : Pour tous x ∈ R et n ∈ N∗ , on pose (x)0 = 1 et (x)n = (x − k).
k=0
a) Compléter pour tous x ∈ R et n ∈ N : (x)n+1 = . . . × (x)n .
n  ‹
X n
On fixe à présent x, y ∈ R. On souhaite montrer que pour tout n ∈ N : (x + y)n = (x)k ( y)n−k Æ.
k=0
k
b) Initialisation : Montrer que la relation Æ est vraie pour n = 0.

Hérédité : Soit n ∈ N. On suppose que la relation Æ est vraie au rang n.

n  ‹ n  ‹
X n X n
c) Montrer que : (x + y)n+1 = (x)k ( y)n−k (x − k) + (x)k ( y)n−k ( y − n + k).
k=0
k k=0
k
d) En déduire que la relation Æ est vraie au rang n + 1.

3) La formule de Vandermonde :
 ‹
n
a) Compléter pour tous n, k ∈ N : (n)k = . . . ×
.
k n  ‹2 
2n
‹
X n
b) En déduire, grâce à la relation Æ, que pour tout n ∈ N : = (formule de Vandermonde).
k=0
k n

4) Conclusion :
2n
 ‹
a) Montrer que pour tout n ∈ N : ¶ 22n .
n v
n  ‹ n
n
X uX
b) En déduire que pour tous a0 , . . . , an ∈ R : a k ¶ 2n ak2 .
t
k=0
k k=0
v
n  ‹ n
n
X uX
nt
c) Pour finir, soit λ > 0. On suppose que pour tous n ∈ N et a0 , . . . , an ∈ R : ak ¶ λ ak2 . Montrer
k
que λ ¾ 2. Que signifie ce résultat ? k=0 k=0

————————————–