Christophe Bertault — Mathématiques en MPSI Devoir à la maison à rendre le vendredi 18 novembre 2022

SÉRIES DE ENGEL
On note A l’ensemble des suites croissantes d’entiers supérieurs ou égaux à 2.
n
X 1
1) Soit (an )n∈N ∈ A . On pose Sn = pour tout n ∈ N.
k=0
a0 . . . a k
1 1
Montrer que (Sn )n∈N converge et que sa limite, notée [an ]n∈N , satisfait l’inégalité : 0< < [an ]n∈N ¶ ¶ 1.
a0 a0 − 1
2) Calculer [p]n∈N = [p, p, . . .] pour tout entier p ¾ 2.
› ž
1
3) On note f la fonction t 7−→ t + t − 1 sur R∗+ . Montrer que f (t) ∈ ]0, t] pour tout t ∈ ]0, 1].
t
4) On souhaite montrer que l’application (an )n∈N 7−→ [an ]n∈N est surjective de A sur ]0, 1], i.e. que :
∀x ∈ ]0, 1], ∃ (an )n∈N ∈ A , x = [an ]n∈N .
On se donne pour cela un réel x ∈ ]0, 1] et on note (x n )n∈N l’unique suite définie par x 0 = x et x n+1 = f (x n ) pour
tout n ∈ N.
a) Montrer que la suite (x n )n∈N est bien définie et strictement positive. Est-elle monotone ?
› ž n
1 X 1
On pose à présent an = + 1 pour tout n ∈ N, de sorte que x n+1 = an x n − 1, puis Sn = .
xn a . . . ak
k=0 0
b) Montrer que la suite (an )n∈N appartient à A .
x n+1
c) Montrer que pour tout n ∈ N : x = Sn + .
a0 . . . a n
d) En déduire que la suite (Sn )n∈N est convergente de limite x.
Conclusion : x = [an ]n∈N . On appelle cette relation un développement de x en série de Engel.

On montrera plus loin que l’application (an )n∈N 7−→ [an ]n∈N est également injective sur A , i.e. que :
∀(an )n∈N , (an′ )n∈N ∈ A , [an ]n∈N = [an ]n∈N =⇒ (an )n∈N = (an )n∈N .
Cela prouvera l’unicité du développement en série de Engel.
n
X xk
5) On note f n la fonction x 7−→ e−x sur R pour tout n ∈ N.
k=0
k! Z x
t n −t
a) Montrer que pour tous n ∈ N et x ∈ R : f n (x) − f n (0) = − e dt.
0
n!
|x|n+1 |x|
b) En déduire que f n (x) − 1 ¶ e pour tous n ∈ N et x ∈ R en distinguant les cas x ¾ 0 et x < 0.
(n + 1)! +∞ +∞
X xk X x 2k
c) En déduire que pour tout x ∈ R : e x = et ch x = .
k=0
k! k=0
(2k)!

6) a) Calculer [n + 2]n∈N .
p  
b) Montrer que : ch 2 − 2 = (n + 2)(2n + 3) n∈N .

7) On rappelle qu’une suite est dite stationnaire si elle est constante à partir d’un certain rang.
a) Montrer que pour toute suite (an )n∈N ∈ A stationnaire, [an ]n∈N est rationnel.
p
Pour la réciproque, on se donne un rationnel x = ∈]0, 1] avec p, q ∈ N∗ et on reprend les notations de la question 4).
q
b) Montrer que q x n est un entier pour tout n ∈ N.
c) En déduire que la suite (an )n∈N est stationnaire.
p
2
8) Montrer que les réels e et e sont irrationnels.

9) Cette dernière question est facultative. On souhaite montrer que l’application (an )n∈N 7−→ [an ]n∈N est injective sur A .
a) Montrer que pour toutes suites (bn )n∈N , (bn′ )n∈N ∈ A , si b0 < b0′ alors [bn ]n∈N > [bn′ ]n∈N .
b) Conclure. On pourra raisonner par l’absurde.