ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Limites : définitions et calculs

Exercice 13

Démonstration

1. Soit (un)(u_{n}) et (vn)(v_{n}) deux suites à valeurs dans [0 ,1][0\,,1] telles que unvn→n→+∞1u_{n}v_{n} \xrightarrow[n \to +\infty]{} 1. Montrer que un→n→+∞1u_{n} \xrightarrow[n \to +\infty]{} 1 et vn→n→+∞1v_{n} \xrightarrow[n \to +\infty]{} 1.

2. Soit (un)(u_{n}) et (vn)(v_{n}) deux suites telles que 0⩽un⩽30 \leqslant u_{n} \leqslant 3 et 0⩽vn⩽20 \leqslant v_{n} \leqslant 2 pour tout nn, et unvn→n→+∞6u_{n}v_{n} \xrightarrow[n \to +\infty]{} 6. Que dire de (un)(u_{n}) et (vn)(v_{n}) ?

3. Soit (un)(u_{n}) une suite à valeurs dans [0 ,1][0\,,1] telle que un+un22→n→+∞1\frac{u_{n} + u_{n}^{2}}{2} \xrightarrow[n \to +\infty]{} 1. Montrer que un→n→+∞1u_{n} \xrightarrow[n \to +\infty]{} 1.

Corrigé

1. Comme 0⩽vn⩽10 \leqslant v_{n} \leqslant 1 et un⩾0u_{n} \geqslant 0, on a unvn⩽un⩽1u_{n}v_{n} \leqslant u_{n} \leqslant 1, et l'encadrement donne un→n→+∞1u_{n} \xrightarrow[n \to +\infty]{} 1 ; de même pour vnv_{n}. un→n→+∞1, vn→n→+∞1\boxed{u_{n} \xrightarrow[n \to +\infty]{} 1, \ v_{n} \xrightarrow[n \to +\infty]{} 1}

2. On a 6−unvn⩾6−2un=2(3−un)⩾06 - u_{n}v_{n} \geqslant 6 - 2u_{n} = 2(3 - u_{n}) \geqslant 0, donc 0⩽3−un⩽12(6−unvn)0 \leqslant 3 - u_{n} \leqslant \frac{1}{2}(6 - u_{n}v_{n}), qui tend vers 00. De même, 6−unvn⩾3(2−vn)⩾06 - u_{n}v_{n} \geqslant 3(2 - v_{n}) \geqslant 0. un→n→+∞3,vn→n→+∞2\boxed{u_{n} \xrightarrow[n \to +\infty]{} 3, \qquad v_{n} \xrightarrow[n \to +\infty]{} 2} 3. Comme 0⩽un⩽10 \leqslant u_{n} \leqslant 1, on a un2⩽unu_{n}^{2} \leqslant u_{n}, d'où un+un22⩽un⩽1\frac{u_{n} + u_{n}^{2}}{2} \leqslant u_{n} \leqslant 1, et l'encadrement donne un→n→+∞1\boxed{u_{n} \xrightarrow[n \to +\infty]{} 1}.

L'idée commune est qu'un produit ou une moyenne ne peut atteindre sa valeur maximale que si chaque facteur atteint la sienne ; les bornes imposées transforment cette remarque en encadrement.

Ouvrir dans l'atlas interactif →