QCM : Équivalents et négligeabilité en maths sup (MPSI)

Équivalents et négligeabilité – QCM en Maths sup (MPSI) sur Maths-pdf.fr Couverture : Livre de contrôles corrigés de maths MPSI en PDF Télécharger en PDF Le livre des 25 contrôles corrigés en MPSI PDF à imprimer Voir le livre ›


Ce QCM équivalents MPSI passe en revue les règles qui font gagner ou perdre des points en concours. Il commence par les notations \(o\), \(O\) et \(\sim\), les propriétés conservées par équivalence et les croissances comparées. Il insiste ensuite sur les opérations interdites : somme d’équivalents, composition par l’exponentielle, équivalent égal à zéro. La fin traite l’encadrement, la formule de Stirling et le développement asymptotique d’une suite définie implicitement.

Réponds d’abord sans ouvrir le cours, en écrivant chaque quotient au brouillon pour vérifier qu’il tend bien vers 1 ou vers 0. Lis ensuite les explications : elles justifient la bonne réponse et décrivent l’erreur visée par chaque piège, avec souvent un contre-exemple explicite qui montre pourquoi l’opération est fausse.

Les 12 questions

Question 1

Laquelle de ces relations est vraie lorsque \(n\to+\infty\) ?

  1. \(n^3=o(n^2)\)
  2. \(n^2=o(2n^2)\)
  3. \(n^2=o(n^3)\)
  4. \(n^2=O(n)\)

Réponse C.

Par définition, \(u_n=o(v_n)\) signifie que \(u_n/v_n\) tend vers 0, pour \(v_n\) non nul. Ici \(n^2/n^3=1/n\) tend vers 0. À l’inverse, \(n^3/n^2=n\) diverge. Le piège \(o(2n^2)\) confond négligeabilité et inégalité : le quotient vaut \(1/2\), qui ne tend pas vers 0. Enfin, \(n^2/n=n\) n’est pas borné, donc \(n^2\) n’est pas dominé par \(n\).

Question 2

Pour la suite \((\sin n)\), laquelle de ces relations est vraie ?

  1. \(\sin n=o(1)\)
  2. \(\sin n\sim1\)
  3. \(\sin n=O\left(\frac1n\right)\)
  4. \(\sin n=O(1)\)

Réponse D.

Écrire \(u_n=O(1)\) signifie que la suite est bornée, ce qui est le cas puisque \(|\sin n|\le1\). En revanche, \(o(1)\) signifierait que \(\sin n\) tend vers 0, et \(\sin n\sim1\) qu’elle tend vers 1 ; or elle n’a pas de limite. De même, \(O(1/n)\) imposerait \(|n\sin n|\) borné, ce qui est faux car \(\sin n\) ne tend pas vers 0.

Question 3

On suppose \(u_n\sim v_n\). Laquelle de ces affirmations est toujours vraie ?

  1. la différence \(u_n-v_n\) tend vers 0
  2. ultimement, \(u_n\) et \(v_n\) ont même signe
  3. on a aussi \(e^{u_n}\sim e^{v_n}\)
  4. ultimement, \(u_n\le v_n\)

Réponse B.

Le quotient \(u_n/v_n\) tend vers 1, donc il devient strictement positif : les deux suites ont alors le même signe. En revanche, avec \(u_n=n+\sqrt n\) et \(v_n=n\), la différence tend vers \(+\infty\). Ce même exemple donne \(e^{u_n}/e^{v_n}=e^{\sqrt n}\), qui diverge. Enfin, l’équivalence ne dit rien de l’ordre des termes, comme le montrent \(n+1\) et \(n-1\).

Question 4

Laquelle de ces relations de croissances comparées est vraie ?

  1. \(2^n=o\left(n^{100}\right)\)
  2. \(n!=o\left(10^n\right)\)
  3. \((\ln n)^{100}=o\left(n^{0{,}01}\right)\)
  4. \(e^{\sqrt n}=o\left(n^{5}\right)\)

Réponse C.

Toute puissance de \(\ln n\) est négligeable devant toute puissance strictement positive de \(n\), même très petite. La relation sur \((\ln n)^{100}\) est donc vraie, bien qu’elle ne se voie qu’à partir de rangs énormes. En revanche, une exponentielle l’emporte sur toute puissance, et la factorielle l’emporte sur toute exponentielle. Enfin, \(e^{\sqrt n}\) croît plus vite que \(n^5=e^{5\ln n}\), car \(\sqrt n\) domine \(\ln n\).

Question 5

Quel est un équivalent simple de \(\dfrac{n^3+2n}{\sqrt n+3}\) ?

  1. \(n^{5/2}\)
  2. \(n^{3}\)
  3. \(n^{2}\)
  4. \(\frac{n^{3}}{3}\)

Réponse A.

Le numérateur est équivalent à \(n^3\) et le dénominateur à \(\sqrt n\). Or le quotient d’équivalents est autorisé, donc l’expression est équivalente à \(n^3/\sqrt n=n^{5/2}\). La réponse \(n^3/3\) garde à tort la constante 3 du dénominateur, alors que c’est \(\sqrt n\) qui domine. Par ailleurs, \(n^3\) oublie complètement le dénominateur, tandis que \(n^2\) divise par \(n\) au lieu de \(\sqrt n\).

Question 6

On sait seulement que \(u_n\sim n^2+n\) et \(v_n\sim-n^2\). Que peut-on dire de \(u_n+v_n\) ?

  1. on obtient \(u_n+v_n\sim n\) par somme
  2. aucun équivalent ne s’en déduit
  3. la somme vérifie \(u_n+v_n\sim0\)
  4. la somme est négligeable devant \(n\)

Réponse B.

On ne somme pas des équivalents. En effet, \(u_n\sim n^2+n\) signifie seulement \(u_n\sim n^2\) : le terme \(n\) est perdu. Ainsi, \(u_n=n^2\) et \(v_n=-n^2\) donnent une somme nulle, alors que \(u_n=n^2+n^{3/2}\) donne \(n^{3/2}\). Le piège « \(\sim n\) » additionne les équivalents. De plus, écrire \(\sim0\) n’a pas de sens pour une suite non nulle.

Question 7

Laquelle de ces équivalences est correcte ?

  1. \(e^{n+1}\sim e^{n}\)
  2. \(e^{n^2+n}\sim e^{n^2}\)
  3. \(\left(1+\frac1n\right)^n\sim1\)
  4. \(\ln(n^2+n)\sim2\ln n\)

Réponse D.

On écrit \(\ln(n^2+n)=2\ln n+\ln\left(1+\frac1n\right)\), et le second terme tend vers 0, donc l’équivalence est juste. Cependant, on ne compose pas un équivalent par l’exponentielle : \(e^{n+1}/e^n=e\) ne tend pas vers 1. De même, le quotient \(e^{n}\) diverge pour la version avec \(n^2\). Enfin, \((1+1/n)^n\) tend vers \(e\) : remplacer la base par 1 avant d’élever à la puissance \(n\) est fautif.

Question 8

Quel est un équivalent simple de \(\sqrt{n+1}-\sqrt n\) ?

  1. \(0\)
  2. \(\frac{1}{\sqrt n}\)
  3. \(\frac{1}{2n}\)
  4. \(\frac{1}{2\sqrt n}\)

Réponse D.

On multiplie par la quantité conjuguée : \(\sqrt{n+1}-\sqrt n=\dfrac{1}{\sqrt{n+1}+\sqrt n}\). Comme le dénominateur est équivalent à \(2\sqrt n\), on obtient \(\frac{1}{2\sqrt n}\). Le piège classique consiste à soustraire les équivalents \(\sqrt n\) et \(\sqrt n\), ce qui donne 0, or une suite non nulle n’est jamais équivalente à 0. En outre, \(1/\sqrt n\) oublie le facteur 2 du dénominateur.

Question 9

Quel est un équivalent simple de \(\lfloor n\sqrt2\rfloor\) ?

  1. \(n\)
  2. \(2n\)
  3. \(n\sqrt2\)
  4. \(\sqrt{2n}\)

Réponse C.

Par définition de la partie entière, \(n\sqrt2-1<\lfloor n\sqrt2\rfloor\le n\sqrt2\). En divisant par \(n\sqrt2\), on encadre le quotient entre deux suites qui tendent vers 1. Par conséquent, le théorème d’encadrement donne l’équivalent \(n\sqrt2\). La réponse \(n\) oublie le facteur constant, alors qu’un équivalent le conserve. Quant à \(\sqrt{2n}\), il place à tort \(n\) sous la racine.

Question 10

Grâce à la formule de Stirling, quel est un équivalent de \(\dfrac{n^n}{n!}\) ?

  1. \(e^n\)
  2. \(\frac{e^n}{\sqrt{2\pi n}}\)
  3. \(e^n\sqrt{2\pi n}\)
  4. \(\frac{e^{-n}}{\sqrt{2\pi n}}\)

Réponse B.

Stirling donne \(n!\sim\sqrt{2\pi n}\,n^ne^{-n}\). Comme le quotient d’équivalents est permis, \(\dfrac{n^n}{n!}\sim\dfrac{n^n}{\sqrt{2\pi n}\,n^ne^{-n}}=\dfrac{e^n}{\sqrt{2\pi n}}\). La réponse \(e^n\) oublie le facteur \(\sqrt{2\pi n}\), qui ne tend pas vers 1. Par ailleurs, placer ce facteur au numérateur revient à ne pas l’inverser. Enfin, \(e^{-n}\) oublie que l’on divise par \(e^{-n}\).

Question 11

On admet \(\ln(n!)=n\ln n-n+\frac12\ln n+c+o(1)\). Que vaut la constante \(c\) ?

  1. \(\frac12\ln(2\pi)\)
  2. \(\ln(2\pi)\)
  3. \(\frac12\ln\pi\)
  4. \(0\)

Réponse A.

On prend le logarithme de Stirling : \(\ln(n!)=\ln\sqrt{2\pi n}+n\ln n-n+o(1)\), car \(\ln(a_n)-\ln(b_n)\) tend vers 0 lorsque \(a_n\sim b_n\). Or \(\ln\sqrt{2\pi n}=\frac12\ln(2\pi)+\frac12\ln n\). Ainsi \(c=\frac12\ln(2\pi)\). La réponse \(\ln(2\pi)\) oublie la racine carrée. Par ailleurs, \(\frac12\ln\pi\) perd le facteur 2, tandis que 0 néglige toute la constante de Stirling.

Question 12

Pour \(n\ge1\), on note \(x_n\) l’unique solution positive de \(x^3+nx=1\). Quel est son développement asymptotique à deux termes ?

  1. \(x_n=\frac1n-\frac{1}{n^4}+o\left(\frac{1}{n^4}\right)\)
  2. \(x_n=\frac1n+\frac{1}{n^4}+o\left(\frac{1}{n^4}\right)\)
  3. \(x_n=\frac1n-\frac{1}{n^3}+o\left(\frac{1}{n^3}\right)\)
  4. \(x_n=\frac1n-\frac{1}{n^2}+o\left(\frac{1}{n^2}\right)\)

Réponse A.

Comme \(x_n>0\), on a \(nx_n<1\), donc \(x_n\) tend vers 0. Ensuite, \(x_n=\dfrac{1-x_n^3}{n}\) donne \(x_n\sim\frac1n\). En reportant, \(x_n^3=\frac{1}{n^3}+o\left(\frac{1}{n^3}\right)\), d’où \(x_n=\frac1n-\frac{1}{n^4}+o\left(\frac{1}{n^4}\right)\). Le terme en \(1/n^3\) oublie la division par \(n\). De plus, le signe plus néglige que \(x_n^3\) est retranché.

Pour aller plus loin

Voter.. post

Nombre de fichiers PDF téléchargés.  Maths PDF c'est 16 224 765 cours et exercices de maths téléchargés en PDF et 4 250 exercices.

Télécharger les manuels scolaires de maths en PDF du CP à la Terminale