Équivalents, séries et interversions : contrôle de maths en MPSI
Voici un contrôle de maths en MPSI sur le thème « équivalents, séries et interversions », avec son barème et un corrigé détaillé.
Ce devoir surveillé de quatre heures clôt la partie asymptotique du second semestre de MPSI, juste avant les probabilités. Il commence par des équivalents obtenus par développement limité ou par la formule de Stirling. Ensuite, vous étudierez une suite définie implicitement par une équation polynomiale, jusqu’à un développement à deux termes. Le troisième exercice compare une série à une intégrale pour obtenir un équivalent du reste. Puis viennent trois sommes doubles, dont une famille non sommable qui montre pourquoi l’hypothèse compte. Enfin, le problème calcule plusieurs sommes construites sur la fonction zêta grâce au théorème de Fubini et au produit de Cauchy. Dans ce contrôle, la rédaction de chaque interversion est notée à part.
Ce qu’évalue le contrôle : équivalents, séries et interversions
L’essentiel du sujet
- NiveauMPSI
- Durée4 heures
- Calculatriceinterdite
- Barèmesur 20
Chapitres : Équivalents, petits o et grands O et Critères de convergence des séries numériques et Sommation par paquets et familles sommables (5 exercices)
Ce que ce devoir vérifie :
- Obtenir un équivalent simple par développement limité ou par la formule de Stirling, sans additionner d’équivalents
- Établir un développement asymptotique à deux termes d’une suite définie par une équation
- Encadrer le reste d’une série convergente par des intégrales et en déduire un équivalent
- Justifier une interversion de sommes par la sommabilité ou par le théorème de Fubini positif
- Multiplier une série géométrique par elle-même au sens de Cauchy afin d’obtenir une nouvelle somme
Avant de commencer le devoir
Lisez d’abord tout le sujet, car le problème réutilise les techniques des exercices 3 et 4. Pour un équivalent, passez par un développement limité ou un produit : n’additionnez jamais deux équivalents. Avant chaque interversion, écrivez la phrase clé : famille positive, ou bien famille sommable, en calculant la somme des modules. Ainsi, aucun point de rédaction ne sera perdu. Enfin, contrôlez vos résultats sur une valeur simple, par exemple n = 34 dans l’exercice 2 ou k = 2 dans le problème, afin de repérer une erreur de signe.
Le sujet du contrôle : équivalents, séries et interversions
Exercice 1 – Équivalents et formule de Stirling (3 points)
Pour tout entier \(n \geq 1\), on pose
\[a_n = \ln\left(1 + \frac{2}{n}\right) – \sin\left(\frac{2}{n}\right), \qquad b_n = (2n+1)^{1/n} – 1, \qquad c_n = \frac{(3n)!}{27^n\,(n!)^3}.\]
La formule de Stirling est admise sous la forme \(n! = n^n\,\mathrm{e}^{-n}\sqrt{2\pi n}\,\left(1 + o(1)\right)\) quand \(n\) tend vers l’infini.
- Montrer que \(a_n \sim -\frac{2}{n^2}\).
- Déterminer ensuite un équivalent simple de \(b_n\), en justifiant chaque étape.
- Établir que \(c_n \sim \frac{\sqrt{3}}{2\pi n}\).
- En déduire la nature des séries \(\sum a_n\), \(\sum b_n\) et \(\sum c_n\).
Exercice 2 – Une suite définie implicitement (3,5 points)
On note \(g\) la fonction définie sur \(\mathbb{R}\) par \(g(x) = x^5 + x\). La figure montre sa courbe et les droites horizontales d’équations \(y = 2\), \(y = 10\) et \(y = 34\).

- Montrer que, pour tout entier \(n \geq 1\), l’équation \(g(x) = n\) admet une unique solution réelle, notée \(x_n\). Vérifier alors que \(x_2 = 1\) et \(x_{34} = 2\).
- Prouver que la suite \((x_n)\) est strictement croissante, positive, puis que \(x_n \leq n^{1/5}\) et que \(x_n \to +\infty\).
- Démontrer que \(x_n \sim n^{1/5}\).
- Établir le développement asymptotique \(x_n = n^{1/5} – \frac{1}{5}\,n^{-3/5} + o\left(n^{-3/5}\right)\).
- Les écarts \(x_n – n^{1/5}\) forment-ils une série convergente ? Justifier.
Exercice 3 – Reste d’une série et intégrale (3,5 points)
Soit \(f\) la fonction définie sur \([1, +\infty[\) par \(f(t) = \frac{\ln t}{t^2}\). Sur la figure, les rectangles orange ont pour base \([k-1, k]\) et les verts pour base \([k, k+1]\) ; tous ont pour hauteur \(f(k)\).

- Étudier les variations de \(f\) et vérifier qu’elle décroît sur \([2, +\infty[\). Montrer ensuite que la série \(\sum_{k \geq 1} f(k)\) converge.
- Pour \(n \geq 1\), calculer \(\int_n^{+\infty} f(t)\,\mathrm{d}t\), en justifiant son existence par une primitive.
- Le reste d’ordre \(n\) est noté \(R_n = \sum_{j > n} f(j)\). Prouver que, pour tout \(n \geq 2\),
\[\frac{\ln(n+1) + 1}{n+1} \leq R_n \leq \frac{\ln n + 1}{n},\]
puis en déduire que \(R_n \sim \frac{\ln n}{n}\).
- Déterminer enfin la nature des séries \(\sum R_n\), \(\sum (-1)^n R_n\) et \(\sum R_n^2\).
Exercice 4 – Trois sommes doubles (4 points)
Dans chaque question, la justification de l’interversion ou du regroupement compte pour la moitié des points.
- Prouver que \(\left(\frac{1}{(p+q)!}\right)_{p \geq 0,\, q \geq 0}\) est une famille sommable, de somme égale à \(2\mathrm{e}\). On pourra regrouper les couples selon la valeur de \(p + q\).
- Pour \(n \geq 1\), on pose \(r_n = \sum_{k=n}^{+\infty} \frac{1}{k^2\,2^k}\). On admet que \(\sum_{k=1}^{+\infty} \frac{1}{k\,2^k} = \ln 2\). Prouver alors que \(\sum_{n=1}^{+\infty} r_n = \ln 2\).
- Pour \(p \geq 0\) et \(q \geq 0\) entiers, on fixe \(a_{p,p} = 1\), \(a_{p,p+1} = -1\) et \(a_{p,q} = 0\) dans tous les autres cas. Le tableau ci-dessous en donne les premières valeurs, la ligne \(p\) et la colonne \(q\).
Évaluer la somme des lignes \(\sum_{p=0}^{+\infty} \left(\sum_{q=0}^{+\infty} a_{p,q}\right)\), puis celle des colonnes \(\sum_{q=0}^{+\infty} \left(\sum_{p=0}^{+\infty} a_{p,q}\right)\). Ces deux valeurs diffèrent : dire alors quelle hypothèse du théorème de Fubini fait défaut ici.
Exercice 5 – Problème : les restes de la fonction zêta (6 points)
Dans tout le problème, \(\zeta(k)\) désigne, pour un entier \(k \geq 2\), la somme \(\sum_{n=1}^{+\infty} \frac{1}{n^k}\), qui existe d’après le critère de Riemann. De plus, la valeur \(\zeta(2) = \frac{\pi^2}{6}\) est admise. Sur la figure, en échelle logarithmique, les nombres \(\zeta(k) – 1\) et \(2^{-k}\) sont comparés pour \(k\) allant de 2 à 12.

Partie A : un équivalent
- Fixons un entier \(k \geq 2\). En comparant une somme à une intégrale, établir l’encadrement \(0 \leq \zeta(k) – 1 – 2^{-k} \leq \frac{2^{1-k}}{k-1}\).
- Déduire de cet encadrement que \(\zeta(k) – 1 \sim 2^{-k}\) lorsque \(k \to +\infty\), puis que \(\sum_{k \geq 2} \left(\zeta(k) – 1\right)\) converge.
Deux sommes par interversion (partie B)
- En sommant la famille \(\left(n^{-k}\right)_{n \geq 2,\, k \geq 2}\) de deux façons, démontrer que \(\sum_{k=2}^{+\infty} \left(\zeta(k) – 1\right) = 1\).
- Expliquer pourquoi la famille \(\left((-1)^k n^{-k}\right)_{n \geq 2,\, k \geq 2}\) est sommable, puis calculer ainsi \(\sum_{k=2}^{+\infty} (-1)^k \left(\zeta(k) – 1\right)\).
Un produit de Cauchy (partie C)
- Dans cette question, \(x\) est un réel tel que \(|x| < 1\). Multiplier au sens de Cauchy la série géométrique \(\sum_{k \geq 0} x^k\) avec elle-même, puis en tirer l’égalité \(\sum_{k=0}^{+\infty} (k+1)\,x^k = \frac{1}{(1-x)^2}\).
- Montrer alors que \(\sum_{k=2}^{+\infty} k\,x^k = \frac{x}{(1-x)^2} – x\).
- Prouver enfin que \(\sum_{k=2}^{+\infty} k\left(\zeta(k) – 1\right) = 1 + \frac{\pi^2}{6}\).
Réviser équivalents, séries et interversions avant le contrôle
Si un exercice vous a bloqué, relisez le cours équivalents, petits o et grands o puis critères de convergence des séries numériques puis sommation par paquets et familles sommables ; entraînez-vous sur les exercices équivalents, petits o et grands o et critères de convergence des séries numériques et sommation par paquets et familles sommables avant de retenter le sujet.
La page contrôles de maths en MPSI regroupe les 25 sujets de l’année, et la page maths post-bac permet de changer d’année.
Sujets proches à faire ensuite
Télécharger ou imprimer cette fiche «Équivalents, séries et interversions : contrôle de maths en MPSI» au format PDF afin de pouvoir travailler en totale autonomie.
Ressources de maths en Maths sup (MPSI)
Cours
Tout voirFormules de trigonométrie en maths sup (MPSI)
Quantificateurs et raisonnements en maths sup (MPSI)
Continuité et valeurs intermédiaires en maths sup (MPSI)
Suites itératives et point fixe en maths sup (MPSI)
PGCD, Bézout et nombres premiers en maths sup (MPSI)
Rolle et accroissements finis en maths sup (MPSI)
Exercices corrigés
Tout voirEDL du premier et du second ordre en maths sup (MPSI)
Étude de fonctions et réciproques en maths sup (MPSI)
Nature d’une série numérique en maths sup (MPSI)
Noyau, image et rang en maths sup (MPSI)
Continuité et valeurs intermédiaires en maths sup (MPSI)
PGCD, Bézout et nombres premiers en maths sup (MPSI)
Contrôles
Tout voirQCM
Tout voir


























