Ces exercices réels sup couvrent tout le chapitre sur les nombres réels et les suites numériques, des applications directes jusqu’aux problèmes de concours. Vous y déterminerez des bornes supérieures en justifiant leur existence, vous prouverez des convergences par encadrement et par majoration de l’écart, et vous montrerez que des suites sont adjacentes.
Plusieurs énoncés entraînent à prouver une divergence à l’aide de suites extraites, à utiliser le théorème de Bolzano-Weierstrass par l’absurde et à exploiter la caractérisation séquentielle de la borne supérieure et de la densité. Le problème final, sur la méthode de Héron, réunit convergence et vitesse de convergence. Cherchez chaque exercice au brouillon, au moins une vingtaine de minutes, avant de lire le corrigé : c’est ainsi que les méthodes deviennent des réflexes le jour de la colle.
Avant de commencer, relisez le cours de maths sup sur nombres réels et suites.
Exercice 1 : Nombres irrationnels
- Montrer que \(\sqrt{6}\) est irrationnel.
- En déduire que \(\sqrt{2} + \sqrt{3}\) est irrationnel.
- Soit \(r \in \mathbb{Q}\) et \(x \in \mathbb{R} \setminus \mathbb{Q}\). Montrer que \(r + x\) est irrationnel, puis que \(rx\) est irrationnel si \(r \neq 0\).
- Donner deux irrationnels distincts dont le produit est rationnel, et deux irrationnels dont la somme est rationnelle.
Exercice 2 : Partie entière et approximations décimales
Soit \(x\) un réel. Pour \(n \in \mathbb{N}\), on pose \(d_n = \dfrac{\lfloor 10^n x \rfloor}{10^n}\) et \(e_n = d_n + 10^{-n}\).
- Montrer que \(\lfloor x + m \rfloor = \lfloor x \rfloor + m\) pour tout \(m \in \mathbb{Z}\).
- Soit \(y \in \mathbb{R}\). Montrer que \(\lfloor x \rfloor + \lfloor y \rfloor \leq\, \lfloor x + y \rfloor \leq\, \lfloor x \rfloor + \lfloor y \rfloor + 1\).
- Montrer que la suite \((d_n)\) est croissante et que la suite \((e_n)\) est décroissante.
- En déduire que \((d_n)\) et \((e_n)\) sont adjacentes et convergent vers \(x\).
- Calculer \(d_0, d_1, d_2, d_3\) pour \(x = \dfrac{22}{7}\).
Exercice 3 : Bornes d’ensembles de réels
Pour chacune des parties suivantes, dire si elle est majorée, minorée, puis déterminer, lorsqu’ils existent, sa borne supérieure, sa borne inférieure, son maximum et son minimum.
- \(A = \{(-1)^n + \dfrac{1}{n},\ n \in \mathbb{N}^{*}\}\), dont les premiers points sont représentés ci-dessous.
- \(B = \{\dfrac{1}{n} + \dfrac{1}{m},\ (n, m) \in (\mathbb{N}^{*})^2\}\).
- \(C = \{x \in \mathbb{Q},\ x^2 < 2\}\), vue comme partie de \(\mathbb{R}\).
Exercice 4 : Bornes supérieures et opérations
Soit \(A\) et \(B\) deux parties non vides et bornées de \(\mathbb{R}\). On note \(A + B = \{a + b,\ a \in A,\ b \in B\}\), \(-A = \{-a,\ a \in A\}\) et, pour \(\lambda > 0\), \(\lambda A = \{\lambda a,\ a \in A\}\).
- Justifier l’existence de \(\sup(A+B)\) et montrer que \(\sup(A + B) = \sup A + \sup B\).
- Montrer que \(\sup(\lambda A) = \lambda \sup A\) et que \(\sup(-A) = -\inf A\).
- On suppose \(A \subset B\). Comparer \(\sup A\) et \(\sup B\), puis \(\inf A\) et \(\inf B\).
- On pose \(AB = \{ab,\ a \in A,\ b \in B\}\). Avec \(A = B = [-2, 1]\), calculer \(\sup(AB)\) et le comparer à \(\sup A \times \sup B\).
Exercice 5 : Intervalles et droite achevée
- À l’aide de la caractérisation des intervalles, montrer que l’intersection de deux intervalles est un intervalle.
- Montrer que la réunion de deux intervalles n’est pas toujours un intervalle. Montrer ensuite que si \(I \cap J \neq \emptyset\), alors \(I \cup J\) est un intervalle.
- Les ensembles \(F = \{x \in \mathbb{R},\ |x – 1| + |x + 1| \leq\, 4\}\) et \(G = \{x \in \mathbb{R}^{*},\ \dfrac{1}{x} < 1\}\) sont-ils des intervalles ?
- Déterminer, dans \(\overline{\mathbb{R}}\), la borne supérieure et la borne inférieure de \(H = \{x \in \mathbb{Q},\ x > 0\}\) et de \(K = \{n^2 – 10n,\ n \in \mathbb{N}\}\).
Exercice 6 : Retour à la définition de la limite
- Soit \(u_n = \dfrac{2n+1}{n+3}\). Montrer, en revenant à la définition, que \((u_n)\) converge vers \(2\). Donner un rang \(N\) à partir duquel \(|u_n – 2| \leq\, 10^{-3}\).
- Montrer, par la définition, que \(v_n = n^2 – 3n\) tend vers \(+\infty\).
- Montrer, par la définition, que la suite \(\big((-1)^n\big)\) ne converge pas.
- Soit \((w_n)\) une suite qui converge vers \(\ell > 0\). Montrer que \(w_n > \dfrac{\ell}{2}\) à partir d’un certain rang.
Exercice 7 : Calculs de limites
Déterminer la limite éventuelle de chacune des suites suivantes, définies pour \(n \geq\, 1\).
- \(a_n = \sqrt{n^2 + 3n} – \sqrt{n^2 + 1}\).
- \(b_n = \dfrac{n^2 + (-1)^n n}{2n^2 + 1}\).
- \(c_n = \dfrac{3^n – 2^n}{3^n + 2^n}\).
- \(d_n = n^{1/n}\).
- \(e_n = (1 + \dfrac{1}{n})^n\).
Exercice 8 : Encadrements et majorations de l’écart
- Soit \(u_n = \displaystyle\sum_{k=1}^{n} \frac{n}{n^2 + k}\). Montrer que \(|u_n – 1| \leq\, \dfrac{1}{n+1}\) et conclure.
- Soit \(x \in \mathbb{R}\) et \(t_n = \dfrac{1}{n^2} \displaystyle\sum_{k=1}^{n} \lfloor kx \rfloor\). Montrer que \(|t_n – \dfrac{x}{2}| \leq\, \dfrac{1 + |x|/2}{n}\) et conclure.
- Soit \(s_n = \dfrac{n!}{n^n}\). Montrer que \(0 < s_n \leq\, \dfrac{1}{n}\) et conclure.
- Montrer que \(0 < \sqrt{n+1} – \sqrt{n} \leq\, \dfrac{1}{2\sqrt{n}}\) et conclure.
Exercice 9 : Suite récurrente et vitesse de convergence
On définit \(u_0 = 0\) et \(u_{n+1} = \sqrt{2 + u_n}\) pour tout \(n \in \mathbb{N}\). La figure ci-dessous représente les premiers termes.
- Montrer que \(0 \leq\, u_n < 2\) pour tout \(n\).
- Montrer que \((u_n)\) est strictement croissante.
- En déduire que \((u_n)\) converge, puis déterminer sa limite.
- Montrer que \(2 – u_{n+1} \leq\, \dfrac{2 – u_n}{3}\), puis que \(0 < 2 – u_n \leq\, \dfrac{2}{3^n}\) pour tout \(n\).
- Donner un rang à partir duquel \(u_n\) est une valeur approchée de \(2\) à \(10^{-6}\) près.
Exercice 10 : Limite monotone et deux sommes classiques
On pose, pour \(n \geq\, 1\), \(S_n = \displaystyle\sum_{k=1}^{n} \frac{1}{k^2}\) et \(H_n = \displaystyle\sum_{k=1}^{n} \frac{1}{k}\).
- Montrer que \(\dfrac{1}{k^2} \leq\, \dfrac{1}{k-1} – \dfrac{1}{k}\) pour \(k \geq\, 2\). En déduire que \((S_n)\) converge vers une limite \(\sigma\) telle que \(\dfrac{5}{4} \leq\, \sigma \leq\, 2\).
- Montrer que \(H_{2n} – H_n \geq\, \dfrac{1}{2}\) pour tout \(n \geq\, 1\). En déduire que \(H_n \to +\infty\).
- Montrer que \(H_{2^p} \geq\, 1 + \dfrac{p}{2}\) pour tout \(p \in \mathbb{N}\). Donner un entier \(n\) tel que \(H_n \geq\, 10\).
Exercice 11 : Série harmonique alternée et suites adjacentes
Pour \(n \in \mathbb{N}\), on pose \(S_n = \displaystyle\sum_{k=1}^{n} \frac{(-1)^{k+1}}{k}\), avec \(S_0 = 0\).
- Montrer que les suites \(a_n = S_{2n}\) et \(b_n = S_{2n+1}\) sont adjacentes.
- En déduire que \((S_n)\) converge. On note \(\ell\) sa limite.
- Montrer que \(\dfrac{7}{12} \leq\, \ell \leq\, \dfrac{47}{60}\), puis que \(|S_n – \ell| \leq\, \dfrac{1}{n+1}\) pour tout \(n\).
- Combien de termes suffit-il de sommer pour obtenir \(\ell\) à \(10^{-3}\) près ?
Exercice 12 : Moyenne arithmético-géométrique
Soit \(a \geq\, b > 0\). On pose \(a_0 = a\), \(b_0 = b\) et, pour tout \(n\), \(a_{n+1} = \dfrac{a_n + b_n}{2}\) et \(b_{n+1} = \sqrt{a_n b_n}\).
- Montrer que, pour tous réels \(x, y > 0\), \(\sqrt{xy} \leq\, \dfrac{x+y}{2}\). En déduire que les suites sont bien définies, strictement positives, et que \(b_n \leq\, a_n\) pour tout \(n\).
- Montrer que \((a_n)\) est décroissante et \((b_n)\) croissante.
- Montrer que \(a_{n+1} – b_{n+1} \leq\, \dfrac{a_n – b_n}{2}\), puis que \(0 \leq\, a_n – b_n \leq\, \dfrac{a – b}{2^n}\).
- En déduire que les deux suites convergent vers une même limite, notée \(M(a, b)\).
- Pour \(a = 9\) et \(b = 1\), calculer \(a_1, b_1, a_2, b_2\) et en déduire un encadrement de \(M(9, 1)\) d’amplitude inférieure à \(0{,}2\).
Exercice 13 : Divergence par suites extraites
- Montrer que la suite \(u_n = \cos(\dfrac{n\pi}{3})\) diverge.
- Montrer que la suite \(v_n = (-1)^n \dfrac{n}{n+1}\) diverge.
- On suppose que la suite \(w_n = \sin n\) converge vers un réel \(\ell\).
- Exprimer \(\sin(n+1) – \sin(n-1)\) à l’aide de \(\cos n\). En déduire que \(\cos n \to 0\).
- En considérant la suite extraite \((\sin 2n)\), montrer que \(\ell = 0\).
- Obtenir une contradiction et conclure.
- Soit \(x_n = n^{(-1)^n}\) pour \(n \geq\, 1\). Montrer que \((x_n)\) n’est pas bornée, mais ne tend pas vers \(+\infty\).
Exercice 14 : Suites extraites paires, impaires et multiples de 3
- Soit \((u_n)\) une suite réelle telle que \((u_{2n})\) et \((u_{2n+1})\) convergent vers une même limite \(\ell\). Démontrer que \((u_n)\) converge vers \(\ell\).
- On suppose que \((u_{2n})\), \((u_{2n+1})\) et \((u_{3n})\) convergent, sans supposer leurs limites égales. Montrer que \((u_n)\) converge.
- Construire une suite divergente telle que \((u_{2n})\) et \((u_{3n})\) convergent.
- Montrer qu’une suite croissante qui possède une suite extraite convergente est convergente.
Exercice 15 : Densité des nombres dyadiques et des irrationnels
On note \(\mathcal{D} = \{\dfrac{p}{2^n},\ p \in \mathbb{Z},\ n \in \mathbb{N}\}\) l’ensemble des nombres dyadiques. Soit \(x \in \mathbb{R}\).
- On pose \(a_n = \dfrac{\lfloor 2^n x \rfloor}{2^n}\). Montrer que \(a_n \in \mathcal{D}\) et \(|a_n – x| < \dfrac{1}{2^n}\). En déduire que \(\mathcal{D}\) est dense dans \(\mathbb{R}\).
- Soit \(a < b\) deux réels. Construire explicitement un élément de \(\mathcal{D}\) dans \(]a, b[\).
- Montrer que \(\dfrac{1}{3} \notin \mathcal{D}\). Montrer ensuite que \(c_n = a_n + \dfrac{\sqrt{2}}{2^{n+1}}\) est irrationnel et tend vers \(x\). Qu’en déduit-on ?
- Montrer que tout réel est la limite d’une suite strictement croissante de rationnels.
Exercice 16 : Caractérisation séquentielle de la borne supérieure
- Soit \(E = \{\dfrac{1}{n} – \dfrac{1}{m},\ (n, m) \in (\mathbb{N}^{*})^2\}\). Déterminer \(\sup E\) et \(\inf E\). Sont-ils atteints ?
- Soit \(C = \{x \in \mathbb{Q},\ x^3 < 2\}\). Montrer que \(C\) admet une borne supérieure et que \(\sup C = \sqrt[3]{2}\).
- Soit \(F = \{x + \dfrac{1}{x},\ x \in ]0, 1[\}\). Déterminer \(\inf F\) et \(\sup F\) dans \(\overline{\mathbb{R}}\).
- Soit \(A\) une partie non vide et majorée de \(\mathbb{R}\), de borne supérieure \(M\), telle que \(M \notin A\). Montrer qu’il existe une suite strictement croissante d’éléments de \(A\) qui converge vers \(M\).
Exercice 17 : Suites complexes
On définit \(z_0 = 4\) et \(z_{n+1} = \dfrac{1 + \mathrm{i}}{2} z_n\). La figure ci-dessous montre les premiers termes dans le plan complexe.
- Calculer \(z_1, z_2, z_3, z_4\) sous forme algébrique.
- Calculer \(|z_n|\) et en déduire que \((z_n)\) converge vers \(0\).
- Déterminer le plus petit rang \(n\) tel que \(|z_n| \leq\, 10^{-3}\).
- Soit \(w_n = \dfrac{n + 2\mathrm{i}n^2}{n^2 + \mathrm{i}}\). Montrer que \(|w_n – 2\mathrm{i}| \leq\, \dfrac{n+2}{n^2}\) pour \(n \geq\, 1\) et conclure.
- Soit \(\theta \in \mathbb{R}\) avec \(\theta \notin 2\pi\mathbb{Z}\). Montrer que la suite \((\mathrm{e}^{\mathrm{i}n\theta})\) diverge.
Exercice 18 : Valeur d’adhérence unique et Bolzano-Weierstrass
Soit \((u_n)\) une suite réelle bornée et \(\ell \in \mathbb{R}\). On suppose que toute suite extraite convergente de \((u_n)\) a pour limite \(\ell\).
- On suppose que \((u_n)\) ne converge pas vers \(\ell\). Montrer qu’il existe \(\varepsilon > 0\) et une application strictement croissante \(\varphi\) telle que \(|u_{\varphi(n)} – \ell| > \varepsilon\) pour tout \(n\).
- À l’aide du théorème de Bolzano-Weierstrass, aboutir à une contradiction. Conclure.
- Soit \(x_n = n^{(-1)^n}\) pour \(n \geq\, 1\). Montrer que toute suite extraite convergente de \((x_n)\) tend vers \(0\), mais que \((x_n)\) diverge. Quelle hypothèse manque ?
Exercice 19 : Moyennes de Cesàro
Pour une suite \((u_n)_{n \geq\, 1}\), on pose \(c_n = \dfrac{u_1 + u_2 + \cdots + u_n}{n}\).
- Montrer que si \(u_n \to \ell \in \mathbb{R}\), alors \(c_n \to \ell\).
- Montrer que la réciproque est fausse.
- Montrer que si \(u_n \to +\infty\), alors \(c_n \to +\infty\).
- Application. Soit \(v_0 = 1\) et \(v_{n+1} = v_n + \dfrac{1}{v_n}\). Montrer que \(v_n \to +\infty\), puis que \(\dfrac{v_n^2}{n} \to 2\).
Exercice 20 : Point fixe d’une application croissante
Soit \(f : [0, 1] \to [0, 1]\) une application croissante, non nécessairement continue. On pose \(A = \{x \in [0, 1],\ f(x) \geq\, x\}\).
- Montrer que \(A\) admet une borne supérieure \(c\) et que \(c \in [0, 1]\).
- Montrer que \(f(c)\) majore \(A\). En déduire que \(c \leq\, f(c)\).
- Montrer que \(f(c) \in A\). En déduire que \(f(c) = c\).
- Exemple : \(f(x) = \dfrac{1}{4}\) si \(x < \dfrac{1}{2}\) et \(f(x) = \dfrac{3}{4}\) si \(x \geq\, \dfrac{1}{2}\). Déterminer \(A\), puis \(c\), et vérifier le résultat. Quels sont les points fixes de \(f\) ?
- Montrer par un exemple que le résultat tombe en défaut pour une application décroissante.
Exercice 21 : Problème : méthode de Héron et borne supérieure dans Q
On définit \(u_0 = 2\) et, pour tout \(n \in \mathbb{N}\), \(u_{n+1} = \dfrac{1}{2}(u_n + \dfrac{2}{u_n})\). On pose aussi \(v_n = \dfrac{2}{u_n}\) et \(e_n = u_n – \sqrt{2}\).
- Montrer que \(u_n\) est bien défini, rationnel et strictement positif pour tout \(n\).
- Montrer que \(u_{n+1} – \sqrt{2} = \dfrac{(u_n – \sqrt{2})^2}{2u_n}\). En déduire que \(u_n \geq\, \sqrt{2}\) pour tout \(n\).
- Montrer que \((u_n)\) est décroissante, puis qu’elle converge vers \(\sqrt{2}\).
- Montrer que \((u_n)\) et \((v_n)\) sont adjacentes et que \(v_n \leq\, \sqrt{2} \leq\, u_n\).
- Montrer que \(e_{n+1} \leq\, \dfrac{e_n^2}{2}\), puis que \(e_n \leq\, 2 \cdot 3^{-2^n}\) pour tout \(n\).
- Calculer \(u_1, u_2, u_3\) et \(v_3\). En déduire un encadrement de \(\sqrt{2}\) par deux rationnels, d’amplitude \(\dfrac{1}{235416}\).
- Soit \(V = \{v_n,\ n \in \mathbb{N}\}\). Montrer que \(V\) est une partie non vide et majorée de \(\mathbb{Q}\) qui n’admet pas de borne supérieure dans \(\mathbb{Q}\).
Le corrigé des exercices
Chaque exercice est corrigé en détail, question par question, sur la page suivante.
Pour aller plus loin en maths sup
- Le cours : nombres réels et suites, cours de maths sup
- À maîtriser avant : Logique, ensembles, applications et relations, Calculs algébriques : sommes, produits, inégalités
- Chapitre précédent : Équations différentielles linéaires d'ordre 1 et 2
- Chapitre suivant : Suites particulières et suites récurrentes
- Tester vos connaissances : QCM de maths sup par chapitre
- Le sommaire : tous les chapitres de maths sup et les chapitres de maths spé
























