Académique Documents
Professionnel Documents
Culture Documents
MPSI 4 – Mathématiques
A. Troesch
Problème no 3 : Réels
Le but du problème est de montrer comment un certain nombre d’inégalités classiques en analyse peuvent être obtenues
grâce à un outil commun, à savoir l’étude de la convexité de certaines fonctions. On s’intéresse notamment à la
comparaison des moyennes, à l’inégalité de Cauchy-Schwarz et à l’inégalité de Hölder qui en est une généralisation.
Les parties I et II introduisent la notion de fonctions convexes et étudient des exemples de fonctions convexes qui
seront utilisées dans la suite du problème. On pourra admettre les résultats de cette partie pour aborder les parties
suivantes.
On admettra que si f est une fonction définie sur un intervalle I et continue en x ∈ I et si (xn )n∈N est une suite
d’éléments de I convergeant vers x, alors (f (xn ))n∈N converge vers f (x).
On admettra également la formule de dérivation des fonctions composées : si f est une fonction dérivable d’un intervalle
I dans un intervalle J, et g est une fonction dérivable de J dans un intervalle K, alors g ◦ f est dérivable sur I, et
(g ◦ f )′ = f ′ × (g ′ ◦ f ).
P
On s’efforcera à écrire toutes les sommes avec le signe , de sorte à éviter autant que faire se peut les « · · · ».
Partie I – Convexité
Dans cette partie, on étudie certaines propriétés des fonctions convexes. Aucun prérequis sur ces fonctions n’est requis.
On dit qu’une fonction f définie sur un intervalle I de R et à valeurs dans R est convexe si pour tout (x, y) ∈ I 2 et
tout λ ∈]0, 1[,
f (λx + (1 − λ)y) 6 λf (x) + (1 − λ)f (y).
n
! n
X X
f λk xk 6 λk f (xk ).
k=1 k=1
3. Nous présentons dans cette question quelques règles permettant de construire des fonctions convexes ou concaves.
(a) Soit f et g deux fonctions convexes sur un intervalle I. Montrer que f + g est convexe sur I. Donner un
énoncé similaire pour les fonctions concaves.
(b) Soit f une fonction convexe sur un intervalle I, à valeurs dans J, et g une fonction convexe croissante sur
J. Montrer que g ◦ f est convexe sur I.
1
4. Dans cette question, on montre qu’une version affaiblie de l’inégalité de convexité suffit à caractériser la convexité
d’une
fonction.
Soit f une fonction continue sur un intervalle I, à valeurs dans R, telle que pour tout (x, y) ∈ I 2 ,
x+y 1
f 6 (f (x) + f (y)). Le but de cette question est de montrer que f est convexe.
2 2
n
(a) Montrer que pour tout n ∈ N∗ , et tout (x1 , . . . , x2n ) ∈ I 2 , on a :
n n
2 2
!
1 X 1 X
f xk 6 n f (xk ).
2n 2
k=1 k=1
(b) Montrer que pour tout (x, y) ∈ I 2 , et tout (p, n) ∈ (N∗ )2 tel que p < 2n ,
px + (2n − p)y 2n − p
p
f 6 f (x) + f (y).
2n 2n 2n
np o
∗ 2 n
(c) Montrer que l’ensemble E défini par E = | (p, n) ∈ (N ) et p < 2 est dense dans ]0, 1[.
2n
(d) Montrer que pour tout réel λ ∈]0, 1[, il existe une suite (λn )n∈N d’éléments de E, dont la limite est λ.
(e) En déduire que f est convexe sur I.
1. Soit f : x 7→ ax + b une fonction affine ((a, b) ∈ R2 ). Montrer que f est concave et convexe sur R.
2. Dans cette question, on prouve que pour tout p ∈ N∗ , la fonction fp définie sur R+ par fp (x) = xp est convexe.
Soit p ∈ N∗ .
2⌋
⌊X
p
p
(a) Calculer , en discutant suivant la parité de p.
k
k=0
(b) Montrer que pour tout (x, y) ∈ (R+ )2 et tout k ∈ [[0, p]], on a :
xk y p−k + xp−k y k 6 xp + y p .
(a) Montrer que f ′ s’annule au plus une fois sur [0, 1] (attention, c’est par rapport à t qu’on dérive !)
(b) Déterminer le signe de f sur [0, 1] et conclure.
n n
! n1
1X Y
∀(x1 , . . . , xn ) ∈ (R∗+ )n , xk > xk .
n
k=1 k=1
2
(b) En déduire que pour tout (y1 , . . . , yn ) ∈ (R∗+ )n
n
! n1
Y n
yk > n .
k=1
X 1
yk
k=1
n n
! p1 n
! q1
X X X
xk yk 6 xpk ykq
k=1 k=1 k=1
(inégalité de Hölder).
(d) En déduire que pour tout (x1 , . . . , xn ) ∈ (R∗+ )n et tout (y1 , . . . , yn ) ∈ (R∗+ )n , on a
n
! p1 n
! p1 n
! p1
X X X
(xk + yk )p 6 xpk + ykp
k=1 k=1 k=1
3
1. Soit (ai,j )(i,j)∈[[1,n]]×[[1,m]] une famille de réels positifs. Montrer que
v
n X
m
u n X
m X
m
X u X
ai,j 6 tn ai,j ai,k
i=1 j=1 i=1 j=1 k=1