Exercices corrigés - Suites de nombres réels ou complexes - étude théorique
Autour de la notion de limite
Enoncé
En utilisant la définition de la notion de limite, démontrer que la suite $(u_n)$ définie pour $n\in\mathbb N$ par $u_n=\frac{2n+1}{n+2}$ converge vers $2$.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites réelles.
Dire si les assertions suivantes sont vraies ou fausses.
Lorsqu'elles sont vraies, les démontrer. Lorsqu'elles sont fausses,
donner un contre-exemple.
- Si $(u_n)$ et $(v_n)$ divergent, alors $(u_n+v_n)$ diverge.
- Si $(u_n)$ et $(v_n)$ divergent, alors $(u_n\times v_n)$ diverge.
- Si $(u_n)$ converge et $(v_n)$ diverge, alors $(u_n+v_n)$ diverge.
- Si $(u_n)$ converge et $(v_n)$ diverge, alors $(u_n\times v_n)$ diverge.
- Si $(u_n)$ n'est pas majorée, alors $(u_n)$ tend vers $+\infty$.
- Si $(u_n)$ est positive et tend vers 0, alors $(u_n)$ est décroissante à partir d'un certain rang.
Enoncé
Soit $(u_n)$ une suite de nombres réels. Écrire avec des quantificateurs les propositions suivantes :
- $(u_n)$ est bornée.
- $(u_n)$ n'est pas croissante.
- $(u_n)$ n'est pas monotone.
- $(u_n)$ n'est pas majorée.
- $(u_n)$ ne tend pas vers $+\infty$.
Enoncé
Soit $(u_n)$ une suite qui tend vers $\ell<1$. Démontrer qu'il existe $b<1$ et $N\in\mathbb N$ tel que, pour tout $n\geq N$, $u_n\leq b.$
Exercice 5 - Suite convergente à valeurs dans $\mathbb Z$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)$ une suite à valeurs dans $\mathbb Z$, convergente.
Montrer, en utilisant la définition, que $(u_n)$ est stationnaire.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites réelles convergeant respectivement vers $l$ et $l'$.
- On suppose que $l=l'$. Montrer que la suite $(\min(u_n,v_n))$ converge vers $l=\min(l,l')$.
- On suppose que $l<l'$.
- Montrer qu'il existe un entier $n_0$ tel que, pour tout $n\geq n_0$, on a $u_n\leq v_n$.
- En déduire que la suite $(\min(u_n,v_n))$ converge vers $l=\min(l,l')$.
Enoncé
Soit $(u_n)$ une suite convergente.
La suite $(\lfloor u_n\rfloor)$ est-elle convergente?
Enoncé
Soient $a,b\in \mathbb R$ et soient $(u_n)$, $(v_n)$ deux suites réelles telles que
$$\left\{\begin{array}{l}
u_n\leq a,\ v_n\leq b\ \textrm{pour tout $n\in\mathbb N$}\\
u_n+v_n\to a+b.
\end{array}\right.$$
Montrer que $(u_n)$ converge vers $a$ et que $(v_n)$ converge vers $b$.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites telles que
$$0\leq u_n\leq 1,\ 0\leq v_n\leq 1\textrm{ et }u_nv_n\to 1.$$
Que pouvez-vous dire des suites $(u_n)$ et $(v_n)$?
Enoncé
Soit $(u_n)$ et $(v_n)$ deux suites de nombres réels. On suppose que $(u_nv_n)$ et que $(u_n+v_n)$ convergent vers $0$.
- Démontrer que $(u_n^2+v_n^2)$ converge vers $0$.
- En déduire que $(u_n)$ et $(v_n)$ convergent vers $0$.
Enoncé
Soit $(a_n)$ une suite de nombres réels positifs et qui converge vers $0$. Démontrer qu'il existe $n_0\in\mathbb N$ tel que $a_{n_0}=\sup\{a_n;\ n\in\mathbb N\}$.
Enoncé
Soit $(u_n)$ une suite à termes réels strictement positifs telle que $\left(\frac{u_{n+1}}{u_n}\right)$ converge vers un réel $l$. Nécessairement, on a $l\geq 0$.
- On suppose $l<1$ et on fixe $\varepsilon>0$ tel que $l+\varepsilon<1$.
- Démontrer qu'il existe un entier $n_0$ tel que, pour $n\geq n_0$, on a $$u_n\leq (l+\varepsilon)^{n-n_0}u_{n_0}.$$
- En déduire que $(u_n)$ converge vers 0.
- On suppose $l>1$. Démontrer que $(u_n)$ diverge vers $+\infty$.
- Étudier le cas $l=1$.
Enoncé
Soit $(u_n)$ une suite de réels positifs vérifiant $u_n\leq\frac1k+\frac kn$ pour tous $(k,n)\in(\mathbb N^*)^2$. Démontrer que
$(u_n)$ tend vers 0.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites de réels strictement positifs, tels que, pour tout $n\geq 0$, on a
$$\frac{u_{n+1}}{u_n}\leq\frac{v_{n+1}}{v_n}.$$
- On suppose que $(v_n)$ converge vers 0. Montrer que $(u_n)$ converge aussi vers 0.
- On suppose que $(u_n)$ tend vers $+\infty$. Quelle est la nature de $(v_n)$?
Enoncé
Soit $(u_n)_{n\geq 1}$ une suite réelle. On pose $S_n=\frac{u_1+\dots+u_n}{n}$.
- On suppose que $(u_n)$ converge vers 0. Soient $\veps>0$ et $n_0\in\mathbb N^*$ tel que, pour
$n\geq n_0$, on a $|u_n|\leq\veps$.
- Montrer qu'il existe une constante $M$ telle que, pour $n\geq n_0$, on a $$|S_n|\leq \frac{M(n_0-1)}{n}+\veps.$$
- En déduire que $(S_n)$ converge vers 0.
- On suppose que $u_n=(-1)^n$. Que dire de $(S_n)$? Qu'en déduisez-vous?
- On suppose que $(u_n)$ converge vers $l$. Montrer que $(S_n)$ converge vers $l$.
- On suppose que $(u_n)$ tend vers $+\infty$. Montrer que $(S_n)$ tend vers $+\infty$.
Enoncé
Soit $(u_n)_{n\geq 0}$ une suite de réels telle que, pour tout $(m,n)\in\mathbb N^2$,
$$u_{m+n}\geq u_m+u_n.$$
On suppose que l'ensemble $\left\{\frac{u_n}n;\ n\in\mathbb N^*\right\}$ est majoré, et on note $\ell$ sa borne supérieure.
- Soit $m,q,r\in \mathbb N$. On pose $n=mq+r$. Comparer $u_n$ et $qu_m+u_r$.
- On fixe $m\in\mathbb N^*$ et $\veps>0$. En utilisant la division euclidienne de $n$ par $m$, démontrer qu'il existe un entier $N$ tel que, pour tout $n>N$, $$\frac{u_n}n\geq\frac{u_m}m-\veps.$$
- Démontrer que $\lim_{n\to+\infty}\frac{u_n}n=\ell$.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites réelles convergeant respectivement vers $u$ et $v$.
Montrer que la suite $\displaystyle w_n=\frac{u_0v_n+\dots+u_nv_0}{n+1}$ converge vers $uv$.
Suites monotones
Enoncé
Soit $(u_n)$ une suite de nombre réels croissante.
- On suppose que $(u_n)$ converge vers $l$. Démontrer que pour tout entier $n$, on a $u_n\leq l$.
- On suppose que $(u_n)$ n'est pas majorée. Démontrer que $(u_n)$ tend vers $+\infty$.
Exercice 19 - Une variation sur les suites adjacentes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)_{n\in\mathbb N}$ et $(v_n)_{n\in\mathbb N}$ deux suites de réels possédant les propriétés suivantes :
- $(u_n)$ est croissante et $(v_n)$ est décroissante.
- Pour tout entier $n\in\mathbb N$, on a $1\leq u_n\leq v_n$.
- $\lim_{n\to+\infty}\frac{u_n}{v_n}=1$.
- Démontrer que $(u_n)$ et $(v_n)$ sont convergentes. On note $\ell$ et $\ell'$ leurs limites respectives.
- Démontrer que $\ell=\ell'$.
- Les suites $(u_n)$ et $(v_n)$ sont-elles adjacentes?
Enoncé
Soit $(u_n)_{n\in\mathbb N}$ une suite croissante de réels, $(v_n)_{n\in\mathbb N}$ une suite décroissante de réels. On suppose que $(u_n-v_n)_{n\in\mathbb N}$ tend vers 0. Démontrer que, pour tous $n,p\in\mathbb N^2$, on a $u_n\leq v_p$.
Enoncé
Soit $(u_n)$ une suite de nombre réels.
-
- On suppose que $(u_{n+1}-u_n)$ converge vers $\ell<0$. Démontrer qu'il existe $A<0$ et $n_0\in\mathbb N$ tel que, pour tout $n\geq n_0$, $u_{n+1}-u_n\leq A$. En déduire que $(u_n)$ n'est pas bornée.
- Démontrer de même que si $(u_{n+1}-u_n)$ tend vers $-\infty$, alors $(u_n)$ n'est pas bornée.
- Démontrer de même que si $(u_{n+1}-u_n)$ converge vers $\ell>0$, alors $(u_n)$ n'est pas bornée.
- Déduire des questions précédentes que si $(u_n)$ est une suite bornée telle que $(u_{n+1}-u_n)$ est décroissante, alors $(u_n)$ est convergente.
- Que peut-on dire si $(u_n)$ est une suite bornée telle que $(u_{n+1}-u_n)$ est croissante?
Suites extraites - valeurs d'adhérence
Exercice 22 - Suites extraites - pour bien comprendre... [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)_{n\in\mathbb N}$ une suite réelle.
- Parmi les suites ci-dessous, trouver celles qui sont extraites d'une autre : $$(u_{2n})_{n\in\mathbb N},\ (u_{3n})_{n\in\mathbb N},\ (u_{6n})_{n\in\mathbb N},\ (u_{3.2^n})_{n\in\mathbb N},\ (u_{3.2^{n+1}})_{n\in\mathbb N}, (u_{2^n})_{n\in\mathbb N},\ (u_{2^{n+1}})_{n\in\mathbb N}.$$
- Soit $(u_{\varphi(n)})_{n\in\mathbb N}$ une suite extraite de $(u_n)_{n\in\mathbb N}$. Montrer que toute suite extraite de $(u_{\varphi(n)})_{n\in\mathbb N}$ est extraite de $(u_n)_{n\in\mathbb N}$.
Enoncé
Soit $(u_n)$ une suite de nombres réels.
- On suppose que $(u_{2n})$ et $(u_{2n+1})$ convergent vers la même limite. Prouver que $(u_n)$ est convergente.
- Donner un exemple de suite telle que $(u_{2n})$ converge, $(u_{2n+1})$ converge, mais $(u_{n})$ n'est pas convergente.
- On suppose que les suites $(u_{2n})$, $(u_{2n+1})$ et $(u_{3n})$ sont convergentes. Prouver que $(u_n)$ est convergente.
Exercice 24 - Suites extraites vérifiant certaines propriétes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)$ une suite de nombre réels.
- On suppose que $(u_n)$ est croissante et qu'elle admet une suite extraite convergente. Que dire de $(u_n)$?
- On suppose que $(u_n)$ est croissante et qu'elle admet une suite extraite majorée. Que dire de $(u_n)$?
- On suppose que $(u_n)$ n'est pas majorée. Montrer qu'elle admet une suite extraite qui diverge vers $+\infty$.
Enoncé
Une suite $(u_n)$ de $(\mathbb R^m,\|\cdot\|_\infty)$ telle que chacune des suites composantes admet une valeur d'adhérence admet-elle une valeur d'adhérence?
Enoncé
- Quelles sont les valeurs d'adhérence de la suite $(-1)^n$? de la suite $\cos(n\pi/3)$?
- Donner un exemple de suite qui ne converge pas et qui possède une unique valeur d'adhérence.
Enoncé
Soit $(u_n)$ une suite bornée de nombre réels.
Pour tout $n\in\mathbb N$, on pose
$$x_n=\inf\{u_p;\ p\geq n\}\textrm{ et }y_n=\sup\{u_p;\ p\geq n\}.$$
- Pourquoi les suites $(x_n)$ et $(y_n)$ sont-elles bien définies?
- Déterminer les suites $(x_n)$ et $(y_n)$ dans les cas suivants : $$\mathbf a.\ u_n=(-1)^n\quad \mathbf b.\ u_n=1-\frac1{n+1}.$$
- Démontrer que $(x_n)$ est croissante, que $(y_n)$ est décroissante. En déduire que ces deux suites sont convergentes. On notera $\alpha=\lim_{n\to+\infty} x_n$ et $\beta=\lim_{n\to+\infty}y_n$.
- Démontrer que $\alpha\leq \beta$.
- Démontrer que si $\alpha=\beta$, alors la suite $(u_n)$ converge.
- Démontrer que si $(u_n)$ admet une sous-suite convergeant vers un réel $\ell$, alors $\alpha\leq \ell\leq \beta$.
- Démontrer que, pour tout $\veps>0$ et pour tout $n\in\mathbb N$, il existe $p\geq n$ tel que $$y_n-\veps\leq u_p\leq y_n.$$
- Démontrer que, pour tout $\veps>0$ et pour tout $p_0\in\mathbb N$, il existe $p\geq p_0$ tel que $$\beta-2\veps\leq u_p\leq \beta+2\veps.$$
- En déduire qu'il existe une sous-suite de $(u_n)$ qui converge vers $\beta$.
- Quel théorème vient-on de redémontrer?
Exercice 28 - Suite de rationnels convergeant vers un irrationnel [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
- Montrer qu'une suite $(u_n)$ de réels ne tend pas vers $+\infty$ si et seulement si on peut en extraire une suite majorée.
- Montrer que, de toute suite $(q_n)$ d'entiers naturels qui ne tend pas vers $+\infty$, on peut extraire une suite constante.
- Soit $x$ un irrationnel et $(r_n)$ une suite de rationnels convergeant vers $x$. Pour tout entier $n$, on écrit $r_n=\frac{p_n}{q_n}$ avec $p_n\in\mathbb Z$ et $q_n\in\mathbb N^*$. Démontrer que $(q_n)$ tend vers $+\infty$.
Exercice 29 - Suite bornée et valeurs d'adhérence [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $(u_n)$ une suite de réels bornée. Démontrer que $(u_n)$ converge si et seulement si elle admet une unique valeur d'adhérence.
Enoncé
Soit $(u_n)$ une suite réelle. On dit que le réel $l$ est valeur d'adhérence de la suite s'il existe
une suite extraite de $(u_n)$ qui converge vers $l$.
- Quelles sont les valeurs d'adhérence d'une suite convergente?
- Quelles sont les valeurs d'adhérence de la suite $(-1)^n$? de la suite $\cos(n\pi/3)$?
- Donner un exemple de suite qui ne converge pas et qui possède une unique valeur d'adhérence.
- Prouver que si $(u_n)$ est bornée et est divergente, elle admet toujours (au moins) deux valeurs d'adhérence distinctes.
Enoncé
Une suite $(u_n)$ de nombre réels est appelée suite de Cauchy si, pour tout $\veps>0$, il existe un entier $N$ tel que,
pour tout $p,q\geq N$, on a
$$|u_p-u_q|<\veps.$$
- Montrer que toute suite convergente est une suite de Cauchy.
- On souhaite prouver la réciproque à la question précédente.
Soit $(u_n)$ une suite de Cauchy.
- Montrer que $(u_n)$ est bornée.
- On suppose que $(u_n)$ admet une suite extraite convergente. Montrer que $(u_n)$ est convergente.
- Conclure.
Exercice 32 - Valeurs d'adhérence d'une suite dont les différences tendent vers zéro [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
- Soit $u$ une suite réelle telle que $\lim_{n\to+\infty}u_{n+1}-u_n=0$. Démontrer que l'ensemble $\textrm{Vad}(u)$ des valeurs d'adhérence de $u$ est un intervalle.
- Application : soit $f$ une fonction continue $f:[a,b]\to [a,b]$ et $u$ une suite définie par $u_0\in [a,b]$ et $u_{n+1}=f(u_n)$. Démontrer que $(u_n)$ converge si et seulement si $\lim_{n\to+\infty}(u_{n+1}-u_n)=0$.
Exercice 33 - Valeurs d'adhérence de la suite $\cos(n)$ [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Pour cet exercice, on rappelle que $\mathbb Z+2\pi\mathbb Z$ est dense dans $\mathbb R$.
On fixe $a\in ]-1,1]$ et $\veps>0$ tel que $a-\veps\geq -1$.
- Démontrer qu'il existe au moins un entier $n\geq 0$ tel que $\cos(n)\in ]a-\veps,a[$.
- En déduire qu'il existe une infinité d'entiers $n\geq 0$ tels que $\cos(n)\in ]a-\veps,a[$.
- Quel est l'ensemble des valeurs d'adhérence de la suite $(\cos (n))$?
Pour master MEEF
Enoncé
Voici un extrait d'une copie d'élève :
Proposition : Soit $(u_n)$ une suite d'éléments de l'intervalle $]0,1[$. Alors la suite $(u_n^n)$ converge vers 0.
Démonstration : Pour tout $n \geq 1$, on a $u_n <1$. L'intervalle $]u_n, 1[$ est donc non vide, donc il existe $a$ tel que $0<u_n < a < 1$. Sur $\mathbb{R}^+$, la fonction $x \mapsto x^n$ est croissante, donc on a $0<u_n^n<a^n$. Comme $0<a<1$, on sait que $\displaystyle\lim_{n \to +\infty} a^n = 0$ (en effet, $a^n = e^{n \ln(a)}$ et vu que $0<a<1$, on a $\ln(a)<0$ donc $n \ln(a) \to -\infty$ quand $n \to +\infty$).
Par le théorème des gendarmes, vu que $0<u_n^n<a^n$ et que $\displaystyle\lim_{n \to +\infty} a^n = 0$, on en déduit que $\displaystyle\lim_{n \to +\infty} u_n^n = 0$.
Démonstration : Pour tout $n \geq 1$, on a $u_n <1$. L'intervalle $]u_n, 1[$ est donc non vide, donc il existe $a$ tel que $0<u_n < a < 1$. Sur $\mathbb{R}^+$, la fonction $x \mapsto x^n$ est croissante, donc on a $0<u_n^n<a^n$. Comme $0<a<1$, on sait que $\displaystyle\lim_{n \to +\infty} a^n = 0$ (en effet, $a^n = e^{n \ln(a)}$ et vu que $0<a<1$, on a $\ln(a)<0$ donc $n \ln(a) \to -\infty$ quand $n \to +\infty$).
Par le théorème des gendarmes, vu que $0<u_n^n<a^n$ et que $\displaystyle\lim_{n \to +\infty} a^n = 0$, on en déduit que $\displaystyle\lim_{n \to +\infty} u_n^n = 0$.
- Démontrer que la proposition énoncée est fausse.
- Expliquer de façon claire et précise l'erreur commise.
Enoncé
Soient $(u_n)$ et $(v_n)$ deux suites de nombres réels. On suppose que $(u_n)$ converge vers $a$, que $(v_n)$ converge vers $b$, et que $a<b$. Démontrer que pour tous les entiers à partir d'un certain rang, on a $u_n<v_n$. On n'utilisera que des arguments accessibles à un élève de Terminale.
Enoncé
Soit $(u_n)$ une suite d'entiers naturels qui converge. Démontrer qu'il existe un entier $k$ tel que, à partir d'un certain
rang, tous les termes de la suite $(u_n)$ sont égaux à $k$. On n'utilisera que des arguments accessibles à un élève de Terminale.
Exercice 37 - Toute suite croissante et majorée converge [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Le but de cet exercice est de démontrer que toute suite croissante et majorée converge.
- Rappeler la définition de la borne supérieure d'une partie $A$ de $\mathbb R$.
- La condition "$A$ est non-vide et majorée" est-elle une condition nécessaire pour que $A\subset \mathbb R$ admette une borne supérieure? une condition suffisante? une condition nécessaire et suffisante?
- Les ensembles suivants admettent-ils une borne supérieure? Si oui, la déterminer. $$A=\left\{\frac 1n;\ n\in\mathbb N^*\right\},\ B=\left\{1-\frac 1n;\ n\in\mathbb N^*\right\}.$$
- Soit $(u_n)_{n\in\mathbb N}$ une suite croissante de réels, majorée. On note $A=\{u_n;\ n\in\mathbb N\}$ et $\ell =\sup A$. Soit $\veps>0$. Justifier qu'il existe $n_0\in\mathbb N$ tel que $u_{n_0}\in [\ell-\veps;\ell]$.
- En déduire que $(u_n)_{n\in\mathbb N}$ converge vers $\ell$.