Moyenne arithmético-géométrique

Notions abordées : suites récurrentes, suites adjacentes, limite et étude élémentaire de fonctions.

Préliminaire :

f (x )
Soit f : ℝ +∗ → ℝ une fonction croissante telle que x ֏ soit décroissante.
x
Montrer que f est continue sur ℝ +∗ .
(indice : on rappelle qu’une fonction réelle monotone définie sur un intervalle admet en tout point intérieur à cet
intervalle une limite à droite et une limite à gauche que l’on peut comparer à la valeur de la fonction en ce point.)

Partie I

Soit a et b deux réels positifs ou nuls.

On définit deux suites de réels positifs (un ) et (vn ) par :


u 0 = a un +1 = un vn
 et, pour tout n ∈ ℕ : 
 .
v 0 = b v = un + vn
 n +1 2
1. Déterminer ces deux suites ainsi que leurs limites dans les cas suivants
1.a a =b .
1.b a = 0 et b ∈ ℝ + quelconque.
2. On revient au cas général et on se propose d’établir que (un ) et (vn ) convergent vers une même limite.

2.a Montrer que, pour tout n ≥ 1 , un ≤ vn , un ≤ un +1 et vn +1 ≤ vn .

v1 − u1
2.b Etablir que, pour tout n ≥ 1 , 0 ≤ vn − un ≤ .
2n−1
2.c Conclure.
La limite commune à ces deux suites est appelée moyenne arithmético-géométrique de a et b .
Celle-ci sera désormais notée M(a ,b ) .

2.d Donner M(a ,a ) et M(0,b ) pour a ∈ ℝ + et b ∈ ℝ + .

Dans la suite de ce problème, nous pourrons noter un (a ,b ) et vn (a ,b ) les suites précédentes.

3. On se propose d’établir quelques propriétés utiles de la fonction (a ,b ) ֏ M(a ,b ) .

3.a Montrer que ∀a ,b ∈ ℝ + , M(b ,a ) = M(a ,b ) .

3.b Montrer que ∀a ,b ∈ ℝ + , ∀λ ∈ ℝ + , M(λa , λb ) = λM(a ,b ) .

a +b
3.c Montrer que ∀a ,b ∈ ℝ + , M(a ,b ) = M( ab , ).
2
a +b
3.d Montrer que ∀a ,b ∈ ℝ + , ab ≤ M(a ,b ) ≤ .
2

Partie II

On considère ici la fonction f définie sur [0,+∞[ par f (x ) = M(1, x ) .

1. Donner f (0) et f (1) .

2. On désire établir la croissance de la fonction f .

Pour cela on considère 0 ≤ x ≤ y deux réels.
2.a Montrer que, pour tout n ∈ ℕ , un (1, x ) ≤ un (1, y ) et vn (1, x ) ≤ vn (1, y ) .

2.b Conclure.
3. On étudie ici la continuité de f sur ℝ + .
1
3.a Montrer que ∀x > 0, f (x ) = x .f   .
 x 

3.b En exploitant le préliminaire, montrer que f est continue sur ℝ +∗ .

1+ x  2 x 
3.c Montrer que ∀x > 0, f (x ) = f   .
2 1 + x 

3.d En déduire que f est continue en 0.

4. On étudie ici le comportement de f en +∞ .
1+ x
4.a Montrer que ∀x ∈ ℝ + , x ≤ f (x ) ≤ .
2
4.b Etudier la limite de f en +∞ .
Préciser la branche infinie de f en +∞ .
x +1
5. Représenter sur un même graphe les allures des fonctions x ֏ f (x ), x ֏ x et x ֏ .
2
6. En exploitant l’encadrement du II.4.a, étudier la dérivabilité de f en 0 et en 1.

Correction

Préliminaire

Pour tout a ∈ ]0, +∞[ , la croissance de f assure l’existence de lim+ f (x ) et donne lim+ f (x ) ≥ f (a ) . D’autre
x →a x →a

f (x ) f (x ) f (x ) f (a )
part la décroissance de x ֏ assure l’existence lim+ et donne lim+ ≤ . De plus par opération
x x →a x x →a x a
f (x ) 1
sur les limites lim+ = lim+ f (x ) et la comparaison précédente fournit lim+ f (x ) ≤ f (a ) (car a > 0 ). Par
x →a x a x →a x →a

double inégalité : lim+ f (x ) = f (a ) et donc f est continue à droite en a . De même, on obtient la continuité à
x →a

gauche de f en a .

Partie I

1.a Les suites sont constante égales à la valeur commune a = b . La limite de celles-ci est encore cette valeur.
b
1.b Par récurrence, on vérifie aisément que un = 0 et vn = pour tout n ∈ ℕ . Ces deux suites convergent
2n
vers 0.
x +y
2.a Puisque a ,b ≥ 0 et que ∀x , y ≥ 0 , et xy existent et sont positifs, on peut assurer l’existence des
2
suites (un ) et (vn ) et affirmer leur positivité.
 x +y
Il est connu que pour tout a ,b ∈ ℝ : 2ab ≤ a 2 + b 2 et donc pour tout x , y ∈ ℝ + : xy ≤ . Par suite
2
un−1 + vn −1 u + vn
∀n ∈ ℕ ∗ , un = un −1vn −1 ≤ = vn , puis un +1 = un vn ≥ un et vn +1 = n ≤ vn .
2 2
1 1
2.b (vn +1 − un +1 ) − (vn − un ) = un − un +1 ≤ 0 donc vn +1 − un +1 ≤ (vn − un ) .
2 2
v1 − u1
Par récurrence vn − un ≤ n −1 pour tout n ≥ 1 .
2
2.c Par les résultats précédents, on peut affirmer (un )n≥1 croissante, (vn )n ≥1 décroissante et
lim (vn − un ) = 0 . Les suites (un ) et (vn ) sont donc adjacentes à partir du rang 1 et convergent donc
n →+∞

vers une même limite.

2.d Par les résultats obtenus en 1.a et 1.b : M(a ,a ) = a et M(0,b ) = 0 .
3.a On observe pour n ≥ 1 : un (a ,b ) = un (b ,a ) et vn (a ,b ) = vn (b ,a ) donc M(a ,b ) = M(b ,a ) .
3.b On observe pour n ≥ 0 : un (λa , λb ) = λun (a ,b ) et vn (λa , λb ) = λvn (a ,b ) donc M(λa , λb ) = λM(a ,b ) .
a +b a +b
3.c On observe, pour n ≥ 0 : un +1 (a ,b ) = un ( ab , ) et vn +1 (a ,b ) = vn ( ab , ) donc
2 2
a +b
M(a ,b ) = M( ab , ).
2
3.d Par le théorème des suites adjacentes, on peut affirmer que deux suites adjacentes encadrent sa limite.
a +b
Ainsi u1 (a ,b ) ≤ M(a ,b ) ≤ v1 (a ,b ) i.e. ∀a ,b ∈ ℝ + , ab ≤ M(a ,b ) ≤ .
2

Partie II

1. f (0) = 0 et f (1) = 1 .
2.a Par une récurrence facile.
2.b Par passage à la limite f (x ) ≤ f (y ) . Ainsi f est croissante.
1 1
3.a f (x ) = M(1, x ) = x M( ,1) = x M(1, ) = xf (1 x ) obtenue en exploitant I.3.a et I.3.b
x x
1 f (x )
3.b Par composition, x ֏ f ( ) est décroissante donc x ֏ est décroissante.
x x
Par le préliminaire, on peut affirmer que f est continue sur ]0,+∞[ .

1 + x  1 + x  2 x  1 + x  2 x 
3.c f (x ) = M(1, x ) = M , x  = M1,  = f   .
 2  2  1 + x  2 1 + x 
3.d La fonction f est positive et croissante donc lim+ f (x ) existe.
x →0

1
En passant la relation du II.3.c à la limite quand x → 0+ , on obtient lim+ f (x ) = lim f (x ) et donc
x →0 2 x →0+
lim f (x ) = 0 = f (0) . Ainsi f est continue en 0.
x →0+

1+ x 1+ x
4.a Par I.3.d : x ≤ M(1, x ) ≤ et donc ∀x ∈ ℝ + , x ≤ f (x ) ≤ .
2 2
4.b Par comparaison lim f (x ) = +∞ .
x →+∞

f (x )
= f (1 x ) 
x →+∞
→ f (0) = 0 donc f admet une branche parabolique horizontale.
x
5. Faire une figure…
 1 + h −1 f (1 + h ) − f (1) 1 f (1 + h ) − f (1) 1
6. Pour h > 0 : ≤ ≤ donc lim+ = .
h h 2 h →0 h 2
1 f (1 + h ) − f (1) 1 + h −1 f (1 + h ) − f (1) 1
Pour h < 0 : ≤ ≤ donc lim− = .
2 h h h →0 h 2
1
f est dérivable en 1 et f ′(1) = .
2