MPSI B Année 20011-20012 Énoncé DM 8 29 juin 2019
Exercice 1.
1. On considère trois nombres réels a, b, c quelconques.
a. Montrer que
a
3+ b
3+ c
3− 3abc = (a + b + c) 1 2
(a − b)
2+ (b − c)
2+ (c − a)
2b. En déduire que, si a, b, c sont trois réels strictement positifs, ils vérient a + b + c ≥ 3(abc)
13, 1
a + 1 b + 1
c ≥ 3(abc)
−13.
2. On considère les suites (a
n)
n∈N, (b
n)
n∈N, (c
n)
n∈Ndéterminées par la donnée de leurs premiers termes a
0> 0 , b
0> 0 , c
0> 0 et par les relations de récurrence
a
n+1= a
n+ b
n+ c
n3 b
n+1= (a
nb
nc
n)
1/33 c
n+1= 1 a
n+ 1 b
n+ 1 c
n.
Justier que les suites sont bien dénies et montrer que : ∀n ≥ 1, c
n≤ b
n≤ a
n. 3. Démontrer que (a
n)
n∈Net (c
n)
n∈Nsont adjacentes. Que peut-on dire de (b
n)
n∈N? 4. a. Montrer que a
1c
1= b
21entraîne a
nc
n= b
21pour tous les n . Que peut-on en
conclure pour la limite des trois suites ?
b. Montrer que si a
1c
16= b
21, la suite (b
n)
n∈Nest monotone.
Exercice 2.
Pour toute partie
1A de N et tout entier n ≥ 1 , on pose S
n(A) = Card(A ∩ J 1, n K ) et on appelle densité de Schnirelmann de A le réel
σ(A) = inf{ S
n(A)
n , n ≥ 1}
Si A et B sont deux parties de N, on pose
A + B = {a + b, a ∈ A, b ∈ B}
1D'après le problème 1 de l'ouvrage "Problèmes choisis de mathématiques supérieure" (Springer).
1. a. Justier la dénition de σ(A) et montrer que σ(A) ≤ 1 . b. Que vaut σ(A) si 1 6∈ A ?
c. Sous quelle condition a-t-on σ(A) = 1 ? d. Si A ⊂ B , comparer σ(A) et σ(B) . 2. Calculer σ(A) pour les parties suivantes :
a. A est une partie nie de N.
b. A est l'ensemble des entiers impairs.
c. Soit k ≥ 2 entier xé et A l'ensemble des puissances k -ièmes d'entiers.
A = {m
k, m ∈ N
∗}
3. Soit A et B deux parties de N contenant 0 , soit n ≥ 1 un nombre entier. En considérant C = {n − b, b ∈ J 0, n K ∩ B }
montrer que
S
n(A) + S
n(B) ≥ n ⇒ n ∈ A + B 4. Soit A et B deux parties de N contenant 0 .
a. Montrer que si σ(A) + σ(B) ≥ 1 alors A + B = N.
b. Montrer que si σ(A) ≥
12alors tout entier est la somme de deux éléments de A .
Cette création est mise à disposition selon le Contrat
Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/