ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Exercices de synthèse

Exercice 49

Vrai ou fauxDémonstration

Vrai ou faux ? Justifier chaque réponse par une démonstration ou un contre-exemple.

1. Si f∼gf \sim g au voisinage de aa, alors lim⁡x→a(f(x)−g(x))=0\lim\limits_{x \to a} \big(f(x) - g(x)\big) = 0.

2. Si f∼gf \sim g au voisinage de aa et si lim⁡x→ag(x)=+∞\lim\limits_{x \to a} g(x) = +\infty, alors lim⁡x→af(x)=+∞\lim\limits_{x \to a} f(x) = +\infty.

3. Si un∼vnu_{n} \sim v_{n}, alors eun∼evn\mathrm{e}^{u_{n}} \sim \mathrm{e}^{v_{n}}.

4. Si f=o(g)f = o(g) et g=O(h)g = O(h) au voisinage de aa, alors f=o(h)f = o(h).

5. Si ff est paire et admet un développement limité à l'ordre 55 en 00, les coefficients de xx, x3x^{3} et x5x^{5} sont nuls.

6. Si ff admet un développement limité à l'ordre 22 en 00, alors ff est deux fois dérivable en 00.

7. Si ff est de classe 𝒞2\mathcal{C}^{2}, f′(a)=0f'(a) = 0 et f′′(a)>0f''(a) > 0, en un point aa intérieur à son intervalle de définition, alors ff admet en aa un minimum local strict.

8. Si ff est dérivable et admet un développement limité à l'ordre n⩾1n \geqslant 1 en 00, alors f′f' admet un développement limité à l'ordre n−1n - 1 en 00.

9. On a ln⁡(n!)∼nln⁡n\ln(n!) \sim n\ln n.

10. Si un∼vnu_{n} \sim v_{n} et si vn>0v_{n} > 0 pour tout nn, alors un>0u_{n} > 0 à partir d'un certain rang.

Corrigé

1. Faux. En +∞+\infty, x2+x∼x2x^{2} + x \sim x^{2}, mais la différence xx tend vers +∞+\infty. L'équivalence contrôle l'écart relatif, non l'écart absolu.

2. Vrai. C'est la proposition 5 du cours.

3. Faux. n+1∼nn + 1 \sim n, mais en+1en=e\frac{\mathrm{e}^{n+1}}{\mathrm{e}^{n}} = \mathrm{e} : c'est l'exercice 8.

4. Vrai. C'est la transitivité de la proposition 3 : si f=εgf = \varepsilon g et g=Bhg = Bh, alors f=(εB)hf = (\varepsilon B)h.

5. Vrai. C'est la proposition 9.

6. Faux. La fonction x↦x3sin⁡1xx \mapsto x^{3}\sin\frac{1}{x}, prolongée par 00, vérifie f(x)=o(x2)f(x) = o(x^{2}), mais n'est pas deux fois dérivable en 00 : sa dérivée f′(x)=3x2sin⁡1x−xcos⁡1xf'(x) = 3x^{2}\sin\frac{1}{x} - x\cos\frac{1}{x} vérifie f′(x)−f′(0)x=3xsin⁡1x−cos⁡1x\frac{f'(x) - f'(0)}{x} = 3x\sin\frac{1}{x} - \cos\frac{1}{x}, qui n'a pas de limite en 00.

7. Vrai. C'est la condition suffisante de la proposition 15.

8. Faux. Avec la même fonction, f(x)=o(x2)f(x) = o(x^{2}), mais f′(x)x=3xsin⁡1x−cos⁡1x\frac{f'(x)}{x} = 3x\sin\frac{1}{x} - \cos\frac{1}{x} n'a pas de limite : f′f' n'admet pas de développement à l'ordre 11. On ne dérive pas un développement limité.

9. Vrai. La formule de Stirling donne ln⁡(n!)=nln⁡n−n+12ln⁡n+O(1)\ln(n!) = n\ln n - n + \frac{1}{2}\ln n + O(1), et tous les termes après le premier sont négligeables devant nln⁡nn\ln n. Sans Stirling, l'encadrement nln⁡n−n<ln⁡(n!)⩽nln⁡nn\ln n - n < \ln(n!) \leqslant n\ln n, que l'on peut obtenir en comparant à ln⁡k\ln k, suffit.

10. Vrai. C'est la conservation du signe (proposition 5).

vrais : 2,4,5,7,9,10;faux : 1,3,6,8\boxed{\text{vrais : } 2, 4, 5, 7, 9, 10 ; \quad \text{faux : } 1, 3, 6, 8}
Ouvrir dans l'atlas interactif →