ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Suites et développements asymptotiques

Exercice 41

DémonstrationCalcul

Pour n∈ℕn \in \mathbb{N}, on pose Pn(x)=x3−(n+2)x2+(2n+1)x−1P_{n}(x) = x^{3} - (n + 2)x^{2} + (2n + 1)x - 1.

1. Montrer que, pour nn assez grand, PnP_{n} s'annule en trois réels ana_{n}, bnb_{n}, cnc_{n} vérifiant 0<an<1<bn<3<cn.0 < a_{n} < 1 < b_{n} < 3 < c_{n}.

2. En développant (x−an)(x−bn)(x−cn)(x - a_{n})(x - b_{n})(x - c_{n}), exprimer an+bn+cna_{n} + b_{n} + c_{n} et anbncna_{n}b_{n}c_{n} à l'aide de nn.

3. Déterminer un équivalent de cnc_{n}, puis la limite de (bn)(b_{n}) et un équivalent de ana_{n}.

Corrigé

1. On calcule Pn(0)=−1P_{n}(0) = -1, Pn(1)=n−1P_{n}(1) = n - 1, Pn(3)=11−3nP_{n}(3) = 11 - 3n, et Pn(x)→+∞P_{n}(x) \to +\infty en +∞+\infty. Pour n⩾4n \geqslant 4, les signes −-, ++, −-, ++ et le théorème des valeurs intermédiaires donnent une racine dans chacun des intervalles ]0 ,1[]0\,,1[, ]1 ,3[]1\,,3[ et ]3 ,+∞[]3\,,+\infty[ . 0<an<1<bn<3<cn\boxed{0 < a_{n} < 1 < b_{n} < 3 < c_{n}}

2. La différence Pn(x)−(x−an)(x−bn)(x−cn)P_{n}(x) - (x - a_{n})(x - b_{n})(x - c_{n}) est un polynôme de degré au plus 22 qui s'annule en trois réels distincts ; un trinôme non nul ayant au plus deux racines, elle est nulle. En développant le produit et en identifiant les coefficients, an+bn+cn=n+2,anbn+bncn+cnan=2n+1,anbncn=1\boxed{a_{n} + b_{n} + c_{n} = n + 2, \qquad a_{n}b_{n} + b_{n}c_{n} + c_{n}a_{n} = 2n + 1, \qquad a_{n}b_{n}c_{n} = 1}

3. Comme 1<an+bn<41 < a_{n} + b_{n} < 4, on a cn=n+2−(an+bn)=n+O(1)c_{n} = n + 2 - (a_{n} + b_{n}) = n + O(1), donc cn∼nc_{n} \sim n. Ensuite an=1bncn⩽1cn→0a_{n} = \frac{1}{b_{n}c_{n}} \leqslant \frac{1}{c_{n}} \to 0. La deuxième relation donne an+bn=2n+1−anbncna_{n} + b_{n} = \frac{2n + 1 - a_{n}b_{n}}{c_{n}}, où 0<anbn<30 < a_{n}b_{n} < 3, donc an+bn→2a_{n} + b_{n} \to 2 et bn→2b_{n} \to 2. Enfin an=1bncn∼12na_{n} = \frac{1}{b_{n}c_{n}} \sim \frac{1}{2n}. cn∼n,lim⁡n→+∞bn=2,an∼12n\boxed{c_{n} \sim n, \qquad \lim\limits_{n \to +\infty} b_{n} = 2, \qquad a_{n} \sim \frac{1}{2n}} Pour n=1 000n = 1\,000, on trouve numériquement cn≈999,999c_{n} \approx 999{,}999, bn≈2,0005b_{n} \approx 2{,}0005 et 2nan≈0,999752na_{n} \approx 0{,}99975.

Dans l'édifice

Thèmes

développements asymptotiques, équivalents

Notions

suite, négligeable

Ouvrir dans l'atlas interactif →