ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 3 — Calcul algébrique · Sommes usuelles et sommes télescopiques

Exercice 15

Démonstration

1. Montrer que, pour tout n∈ℕ∗n \in \mathbb{N}^{*} et tout réel a>1a > 1, an−1a−1⩽n an−1\dfrac{a^{n} - 1}{a - 1} \leqslant n\,a^{n-1}. On pourra utiliser la factorisation de an−1a^{n} - 1.

2. Montrer que, pour tout n⩾1n \geqslant 1, ∑k=1nk!⩽(n+1)!\displaystyle\sum_{k=1}^{n} k! \leqslant (n + 1)!, puis que ∑k=1nk!⩽2⋅n!\displaystyle\sum_{k=1}^{n} k! \leqslant 2 \cdot n! pour tout n⩾1n \geqslant 1.

Corrigé

1. La factorisation du cours donne an−1a−1=∑k=0n−1ak\frac{a^{n} - 1}{a - 1} = \sum_{k=0}^{n-1} a^{k}. Comme a>1a > 1, chacun des nn termes est majoré par an−1a^{n-1}. an−1a−1⩽n an−1\boxed{\frac{a^{n} - 1}{a - 1} \leqslant n\,a^{n-1}}

2. Pour la seconde inégalité, qui entraîne la première puisque 2⋅n!⩽(n+1)!2 \cdot n! \leqslant (n+1)!, on raisonne par récurrence. Pour n=1n = 1, 1⩽21 \leqslant 2. Si ∑k=1nk!⩽2⋅n!\sum_{k=1}^{n} k! \leqslant 2 \cdot n!, alors ∑k=1n+1k!⩽2⋅n!+(n+1)!⩽(n+1)!+(n+1)!=2 (n+1)!,\sum_{k=1}^{n+1} k! \leqslant 2 \cdot n! + (n + 1)! \leqslant (n + 1)! + (n + 1)! = 2\,(n + 1)!, puisque 2⋅n!⩽(n+1)⋅n!2 \cdot n! \leqslant (n + 1) \cdot n!. ∑k=1nk!⩽2⋅n!⩽(n+1)!\boxed{\sum_{k=1}^{n} k! \leqslant 2 \cdot n! \leqslant (n + 1)!} La somme est dominée par son dernier terme : c'est la croissance très rapide de la factorielle, que le chapitre 10 précisera.

Dans l'édifice

Thèmes

sommes télescopiques, factorielle

Ouvrir dans l'atlas interactif →