Concours national commun 2022 — MP — Mathématiques I
Calculatrice interdite. Un exercice et un problème indépendants.
Exercice — Calcul d’intégrales
Soit {\lambda\in\mathbb C\setminus[-1,1]}. On pose {P_\lambda=X^2+2\lambda X+1,\quad F_\lambda(x)=\frac1{\lambda+\cos x}.}Le dénominateur de {F_\lambda} ne s’annule pas sur {\mathbb R}. La notation {F_\alpha} figurant à quelques endroits du sujet est une coquille : il s’agit toujours de {F_\lambda}.
0.1 — Racines de Pλ
On note {z_1,z_2} les racines complexes, rangées de sorte que {|z_1|\leq|z_2|}.
0.1.1. Préciser {z_1+z_2} et {z_1z_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 :
0.1.2. On suppose {|z_1|=1} et l’on écrit {z_1=e^{i\theta}}. Justifier que {z_2=e^{-i\theta}}, puis trouver une contradiction.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
0.1.3. Montrer que {0\lt |z_1|\lt 1\lt |z_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 :
0.2. Décomposer {1/P_\lambda} en éléments simples dans {\mathbb C(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 :
0.3 — Développement en série trigonométrique
0.3.1. Vérifier que {F_\lambda(x)=2e^{ix}/P_\lambda(e^{ix})} 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 :
0.3.2. Montrer que {\begin{array}{l}\displaystyle F_\lambda(x)\\[8pt]\displaystyle \quad=\frac2{z_1-z_2}\left(\frac1{1-z_1e^{-ix}}+\frac{z_1e^{ix}}{1-z_1e^{ix}}\right).\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 :
0.3.3. Justifier la convergence de {\sum\limits_{n\geq1}z_1^n\cos(nx)} et montrer que {\begin{array}{l}\displaystyle F_\lambda(x)\\[8pt]\displaystyle \quad=\frac2{z_1-z_2}\left(1+2\sum_{n=1}^{+\infty}z_1^n\cos(nx)\right).\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 :
0.4 — Application au calcul d’intégrales
Pour {n\geq1}, on pose {w_n(x)=z_1^n\cos(nx)}.
0.4.1. Montrer que {\sum\limits_{n\geq1}w_n} converge uniformément 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 :
0.4.2. En déduire la valeur de {I_p=\int_0^\pi\cos(pt)/(\lambda+\cos t)\,dt} pour {p\in\mathbb 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 :
0.8. Donner en particulier, pour {n\in\mathbb N} et {a>0}, les valeurs de {\begin{array}{l}\displaystyle\int_0^\pi\frac{\cos(nt)}{2+\cos t}\,dt,\\[8pt]\displaystyle\int_0^\pi\frac{\cos(nt)}{\cos t+\cosh a}\,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 :
Problème — Étude d’une série entière
Correction de notation. Dans la définition imprimée de {\binom\alpha n}, le dénominateur doit être {n!}, et non {n}. C’est aussi la convention nécessaire à la définition de {b_n} et à la formule de Newton utilisées ensuite.
On pose donc {\begin{array}{l}\displaystyle \binom\alpha0=1,\quad\binom\alpha n\\[8pt]\displaystyle \quad=\frac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}\quad(n\geq1).\end{array}}La suite étudiée est définie par {b_n=\int_0^1\binom tn\,dt\quad(n\geq0),}en particulier {b_0=1}. Le but est de déterminer le rayon de convergence de {\sum b_nz^n}, sa somme sur l’intervalle ouvert de convergence, puis son comportement aux bornes.
1 — Quelques résultats préliminaires
1.1 — Une inégalité utile
Soit {\varphi\in\mathcal C^2([0,1])} telle que {\varphi''\leq0} et {\varphi(0)=\varphi(1)=0}.
1.1.1. Montrer que {\varphi(t)=t\varphi'(0)+\int_0^t(t-s)\varphi''(s)\,ds} pour {t\in[0,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 :
1.1.2. En déduire {\varphi'(0)=-\int_0^1(1-s)\varphi''(s)\,ds}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.1.3. Montrer que {\varphi(t)=-\int_0^1(\min(s,t)-st)\varphi''(s)\,ds.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.1.4. L’énoncé demande {0\leq\min(s,t)-st\lt 1/4} sur {[0,1]^2}, puis {0\leq\varphi(t)\leq\frac{\varphi'(0)-\varphi'(1)}4.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.2 — Convergence d’une intégrale et d’une série
1.2.1. Montrer que {t\mapsto1/(t\ln^2t)} est intégrable sur {[2,+\infty[} et calculer son intégrale.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.2.2. En déduire que {\sum\limits_{n\geq2}1/(n\ln^2n)} converge.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.3 — Formule du binôme généralisée
Pour {N\in\mathbb N}, la formule de Newton donne {(1+x)^N=\sum\limits_{n=0}^N\binom Nn x^n}. On veut l’étendre à un réel {\alpha\notin\mathbb N}.
On définit {f_\alpha(x)=(1+x)^\alpha} sur {]-1,+\infty[}.
1.3.1. Vérifier que {f_\alpha} est solution de {(1+x)y'-\alpha y=0} sur {]-1,+\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 :
1.3.2. Soit une série entière {\sum a_nx^n}, de rayon {R>0}, dont la somme {\psi} est solution de cette équation sur {]-r,r[}, où {r=\min(R,1)}.
1.3.2. (i) Montrer que {(n+1)a_{n+1}=(\alpha-n)a_n} pour tout {n\in\mathbb 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 :
1.3.2. (ii) En déduire que {a_n=\binom\alpha n a_0} pour {n\geq1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.3.2. (iii) Pour {a_0=1}, calculer le rayon {\rho} de la série obtenue et vérifier que sa somme résout l’équation sur {]-\rho,\rho[}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
1.3.3. Montrer soigneusement que {(1+x)^\alpha=\sum\limits_{n=0}^{+\infty}\binom\alpha n x^n} pour {x\in]-1,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 :
2 — Rayon et somme de la série entière
On rappelle {b_n=\int_0^1\binom tn\,dt}, en particulier {b_0=1}.
2.1. Montrer que {|\binom tn|\leq1} pour tout {t\in[0,1]} et tout {n\in\mathbb 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 :
2.2. En déduire que le rayon {R_1} de {\sum b_nz^n} vérifie {R_1\geq1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Pour {x\in]-1,1[} fixé, on définit sur {[0,1]} la fonction {u_n(t)=\binom tn x^n}.
2.3.1. Montrer que {\sum u_n} converge normalement sur {[0,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 :
2.3.2. En déduire, pour {x\in]-1,1[}, {\begin{array}{l}\displaystyle \sum_{n=0}^{+\infty}b_nx^n=\int_0^1(1+x)^t\,dt\\[8pt]\displaystyle \quad=\frac{x}{\ln(1+x)}.\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 :
Pour montrer {R_1=1}, on suppose par l’absurde {R_1>1} et l’on note {f(x)=\sum\limits_{n=0}^{+\infty}b_nx^n} sur {]-R_1,R_1[}.
2.4.1. Justifier que {f(x-1)\sim-1/\ln x} lorsque {x\to0^+}.
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.4.2. Trouver une contradiction et conclure.
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 — Comportement aux bornes de l’intervalle de convergence
Pour {n\geq2} et {t\in[0,1]}, on pose {h_n(t)=t\ln n+\sum_{k=2}^n\ln\left(1-\frac tk\right).}3.1 — Étude de la suite (hₙ)
On définit {v_n(t)=\ln\left(1-\frac tn\right)-t\ln\left(1-\frac1n\right).}L’énoncé numérote deux questions successives 3.1.3. Nous conservons ce doublon en précisant chaque occurrence.
3.1.1. Vérifier que {h_n(t)=\sum\limits_{k=2}^nv_k(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 :
3.1.3. Première occurrence : en utilisant 1.1, montrer que {0\leq v_n(t)\leq\frac1{4(n-1)}-\frac1{4n}.}
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.1.3. Deuxième occurrence : en déduire que {\sum\limits_{n\geq2}v_n} converge normalement sur {[0,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 :
3.1.4. Montrer que {(h_n)} converge uniformément sur {[0,1]} vers une fonction {h}, et justifier la continuité de {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 :
3.2 — Recherche d’un équivalent de bₙ
3.2.1. Vérifier que {b_n=(-1)^{n-1}|b_n|} pour {n\geq1}.
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.2.2. Montrer que, pour {n\geq2}, {(n+1)|b_{n+1}|=\int_0^1t(1-t)e^{-t\ln n}e^{h_n(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 :
3.2.3. Montrer que {0\leq h(t)-h_n(t)\leq1/(4n)} sur {[0,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 :
3.2.4. En déduire, en posant {I_n=\int_0^1t(1-t)e^{-t\ln n}e^{h(t)}\,dt}, l’encadrement {e^{-1/(4n)}I_n\leq(n+1)|b_{n+1}|\leq I_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 :
3.2.5. Montrer que {I_n=\frac1{\ln^2n}\int_0^{\ln n}se^{-s}\left(1-\frac{s}{\ln n}\right)e^{h(s/\ln n)}\,ds}
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.2.6. On définit {g} sur {[0,+\infty[} par {g(t)=(1-t)e^{h(t)}} si {0\leq t\leq1}, et {g(t)=0} si {t>1}.
3.2.6. (i) Justifier que {g} est continue sur {[0,+\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 :
3.2.6. (ii) Montrer, en vérifiant les hypothèses du théorème utilisé, que {\int_0^{+\infty}se^{-s}g(s/\ln n)\,ds\longrightarrow1.}
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.2.6. (iii) En déduire {|b_n|\sim\frac1{n\ln^2n},\quad b_n\sim\frac{(-1)^{n-1}}{n\ln^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 :
3.3 — Retour aux bornes de l’intervalle de convergence
3.3.1. Montrer que {\sum b_nx^n} converge normalement sur {[-1,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 note encore {f} sa somme sur {[-1,1]} : {f(x)=\sum\limits_{n=0}^{+\infty}b_nx^n}.
3.3.2. Justifier que {f(x)=x/\ln(1+x)} pour {x\in]-1,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 :
3.3.3. Justifier la convergence de {\sum\limits_{n\geq0}(-1)^nb_n} et calculer sa somme.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :