Concours national commun — MP — 2026 — Mathématiques I
Exercice — La loi binomiale négative
Les variables {(X_i)} sont indépendantes, de même loi de Bernoulli de paramètre {p\in]0,1[}. L’expérience {i} est un succès lorsque {X_i=1}. On pose {q=1-p} et {S_n=\sum\limits_{i=1}^nX_i} pour {n\geq1}.
1. Rappeler la série entière de {x\mapsto1/(1-x)} et son domaine de convergence.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2. Montrer que, pour {m\in\mathbb N} et {|x|\lt 1}, {\frac{m!}{(1-x)^{m+1}}=\sum_{k=m}^{+\infty}\frac{k!}{(k-m)!}x^{k-m}.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On fixe désormais {n\geq1}.
3. Montrer que {\sum\limits_{k\geq n}\binom{k-1}{n-1}p^nq^{k-n}} converge et a pour somme {1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On définit donc une variable {Y_n} à valeurs dans {\{n,n+1,\ldots\}} par {\mathbb P(Y_n=k)=\binom{k-1}{n-1}p^nq^{k-n}}.
4. Reconnaître la loi de {Y_1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
5. Pourquoi {S_n} suit-elle la loi binomiale {\mathcal B(n,p)} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
6. Pour {k\geq n}, calculer {\mathbb P(S_k=n,\ S_{k-1}=n-1)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
7. Comment interpréter la loi de {Y_n} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
8. On note {Z_n} le nombre d’expériences nécessaires pour obtenir le {n}-ième succès.
8.a. Quel est l’ensemble des valeurs possibles de {Z_n} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
8.b. Sans utiliser Q7, montrer par dénombrement que {Z_n} a la même loi que {Y_n}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On considère la série entière {\sum\limits_{k\geq n}\mathbb P(Y_n=k)t^k} et on note {f_n} sa somme.
9. Calculer son rayon de convergence {R} et montrer {R>1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
10. Montrer que {f_n(t)=(pt)^n/(1-qt)^n} pour {|t|\lt R}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11. Montrer que {Y_n} est d’espérance finie et calculer {\mathbb E(Y_n)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Problème
On note {\operatorname{ch}x=(e^x+e^{-x})/2} et {\operatorname{sh}x=(e^x-e^{-x})/2}. On peut utiliser leurs séries entières et {\frac1{\sqrt{1-u}}=\sum_{n=0}^{+\infty}\frac{(2n)!}{4^n(n!)^2}u^n\quad(|u|\lt 1).}On rappelle les intégrales de Wallis {\int_0^\pi\cos^{2n}t\,dt=\frac{\pi(2n)!}{4^n(n!)^2},\quad\int_0^\pi\cos^{2n+1}t\,dt=0.}On pose, lorsque la série converge, {F(x)=\sum\limits_{n=0}^{+\infty}x^{2n}/(n!)^2}.
Partie 1 — Calcul d’une intégrale auxiliaire
On pose {g(x)=\int_0^{+\infty}e^{-x(1+t)}/((1+t)\sqrt t)\,dt} lorsque cette intégrale existe.
1. Justifier l’existence de {I=\int_0^{+\infty}e^{-t}/\sqrt t\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2.a. Montrer que {g} est définie et continue sur {\mathbb R_+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2.b. Montrer que {g(x)\to0} lorsque {x\to+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2.c. Montrer que {g\in\mathcal C^1(\mathbb R_+^*)} et que {g'(x)=-Ie^{-x}/\sqrt x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2.d. Calculer {g(0)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
2.e. Justifier l’existence de {\int_0^{+\infty}g'(t)\,dt} et calculer sa valeur.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
3. En déduire {I=\sqrt\pi}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Partie 2 — Étude de la fonction {F}
4.a. Déterminer l’ensemble de définition de {F}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
4.b. Étudier les variations de {F} et la convexité de son graphe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
5.a. Montrer que {4^n/(2n+1)!\leq1/(n!)^2\leq4^n/(2n)!}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
5.b. En déduire, pour {x>0}, {\operatorname{sh}(2x)/(2x)\leq F(x)\leq\operatorname{ch}(2x)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
5.c. Quelle est la limite de {F} en {+\infty} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
6.a. Pour {t\in[0,\pi]} fixé, développer {x\mapsto e^{2x\cos t}} en série entière et préciser le rayon.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
6.b. En déduire {F(x)=\pi^{-1}\int_0^\pi e^{2x\cos t}\,dt} pour tout réel {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
7. Pour {f_1(x)=\int_{\pi/2}^\pi e^{2x\cos t}\,dt}, déterminer la limite en {+\infty} par convergence dominée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On pose {f_2(x)=\int_0^{\pi/2}e^{2x\cos t}\,dt}.
8.a. Pour {x>0}, utiliser {u=2x(1-\cos t)} pour établir {f_2(x)=\frac{e^{2x}}{2\sqrt x}\int_0^{2x}\frac{e^{-u}}{\sqrt{u-u^2/(4x)}}\,du.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
8.b. Vérifier {u-u^2/(4x)\geq u/2} pour {0\leq u\leq2x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
8.c. Montrer que l’intégrale de Q8.a tend vers {\sqrt\pi} lorsque {x\to+\infty}, puis donner un équivalent de {f_2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
9. Conclure que {F(x)\sim e^{2x}/(2\sqrt{\pi x})} en {+\infty}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Partie 3 — Transformée de Laplace de {F}
Pour {f} continue par morceaux sur {]0,+\infty[} et intégrable sur tout {]0,a]}, on pose, lorsque l’intégrale converge, {L_f(x)=\int_0^{+\infty}f(t)e^{-xt}\,dt}.
On considère {G(t)=e^{2t}/(2\sqrt{\pi t})} pour {t>0}.
10.a. Montrer que {L_G(x)} existe si et seulement si {x>2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
10.b. Calculer {L_G(x)} pour {x>2}, avec {u=(x-2)t}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.a. Déterminer le domaine de définition de {L_F}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.b. Pour {x>0} et {n\in\mathbb N}, justifier l’existence de {\int_0^{+\infty}t^ne^{-xt}\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.c. Montrer que {\int_0^{+\infty}t^ne^{-xt}\,dt=n!/x^{n+1}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.d. Pour {x>2}, montrer la convergence de {\sum\limits_{n\geq0}\int_0^{+\infty}t^{2n}e^{-xt}/(n!)^2\,dt}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.e. En déduire {L_F(x)=\sum\limits_{n=0}^{+\infty}(2n)!/((n!)^2x^{2n+1})} pour {x>2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
11.f. Établir {L_F(x)=1/\sqrt{x^2-4}} pour {x>2}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
12. Montrer que {L_F(x)\sim L_G(x)} lorsque {x\to2^+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Partie 4 — Transformée de Laplace et abscisse de convergence
Pour {f} continue par morceaux et intégrable sur chaque {]0,a]}, on note {I(f)} l’ensemble des {x\in\mathbb{R}} tels que {t\mapsto f(t)e^{-xt}} est intégrable sur {\mathbb{R}^{+*}}. Le terme « intégrable » signifie ici absolument intégrable.
13. Montrer que {x_0\in I(f)} implique {[x_0,+\infty[\subset I(f)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On note {E} l’ensemble de ces fonctions telles que {I(f)} soit non vide et différent de {\mathbb R}.
14.a. Pour {f\in E}, montrer que {I(f)} possède une borne inférieure réelle, notée {\alpha(f)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
14.b. Montrer que {I(f)} vaut {]\alpha(f),+\infty[} ou {[\alpha(f),+\infty[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
15. Montrer que {L_f} est continue sur {]\alpha(f),+\infty[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
16. Si
{f\geq0}, montrer que
{L_f} est décroissante.
En déduire qu’elle est bornée sur {[\alpha(f),+\infty[} lorsque {\alpha(f)\in I(f)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
17. Soit {g\in E}, positive, dont la transformée est bornée sur {]\alpha(g),+\infty[}.
17.a. Montrer qu’il existe {M>0} tel que {\int_0^Ag(t)e^{-xt}\,dt\leq M} pour {x>\alpha(g)} et {A\geq0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
17.b. En déduire {\alpha(g)\in I(g)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Partie 5 — Comparaison des transformées de fonctions équivalentes
Soient {g,h\in E} positives telles que {g(t)\sim h(t)} lorsque {t\to+\infty}.
18. Montrer que {\alpha(g)=\alpha(h)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On suppose désormais {\alpha(h)\notin I(h)}.
19. Quel est le comportement de {L_h(x)} lorsque {x\to\alpha(h)^+} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
20. Montrer que, pour tout {\varepsilon>0}, il existe {A>0} tel que {|g(t)-h(t)|\leq\varepsilon|h(t)|/2} pour {t\geq A}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
21. En déduire, pour {x>\alpha(h)}, {\begin{array}{l}\displaystyle|L_g(x)-L_h(x)|\leq\int_0^A|g(t)-h(t)|e^{-xt}\,dt\\[8pt]\quad\displaystyle+\frac\varepsilon2\int_A^{+\infty}|h(t)|e^{-xt}\,dt.\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
22. Conclure que {L_g(x)\sim L_h(x)} lorsque {x\to\alpha(h)^+}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :