CCINP 2022 — Mathématiques — PC
Le sujet comporte trois exercices indépendants.
Exercice 1 — Étude d’un endomorphisme sur un espace de polynômes
Présentation générale. Pour {U,V\in\mathbb C[X]} avec {V\ne0}, la division euclidienne fournit un unique couple {(Q,R)} tel que {U=VQ+R}, avec {R=0} ou {\deg R\lt \deg V}. Les polynômes {Q} et {R} sont le quotient et le reste.
Soient {n\in\mathbb N^*}, {A\in\mathbb C_n[X]} et {B\in\mathbb C[X]} de degré {n+1}. On note {\varphi(P)} le reste de la division de {AP} par {B}.
Par exemple, pour {n=2}, {A=X^2}, {B=X^3-X} et {P=X^2+X+1}, on a {AP=B(X+1)+2X^2+X}, donc {\varphi(P)=2X^2+X}.
Partie I — Généralités sur {\varphi}
Q 1. Justifier que {\varphi(P)\in\mathbb C_n[X]} pour tout {P\in\mathbb C_n[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 :
Soient {P_1,P_2\in\mathbb C_n[X]} et leurs divisions {AP_1=BQ_1+R_1}, {AP_2=BQ_2+R_2}, où {R_1,R_2\in\mathbb C_n[X]}.
Q 2. Soit {\lambda\in\mathbb C}. Exprimer le quotient et le reste de la division de {A(P_1+\lambda P_2)} par {B}. En déduire que {\varphi} est un endomorphisme de {\mathbb C_n[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 :
Partie II — Étude d’un premier exemple
Dans cette partie, {n=2}, {A=X^2+2X} et {B=X^3+X^2-X-1}.
Q 3. Montrer que la matrice de {\varphi} dans {(1,X,X^2)} est
{M=\left(\begin{array}{ccc}0&1&1\\[8pt]2&1&2\\[8pt]1&1&0\end{array}\right).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 4. Déterminer les valeurs propres et sous-espaces propres de {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 :
Q 5. Justifier que {\varphi} est diagonalisable et donner une base propre de {\mathbb C_2[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 :
Partie III — Étude d’un second exemple
Ici {n=2}, {B=X^3} et {A=\alpha+\beta X+\gamma X^2}, avec {(\alpha,\beta,\gamma)\in\mathbb C^3}.
Q 6. Montrer que la matrice de {\varphi} dans {(1,X,X^2)} est
{T=\left(\begin{array}{ccc}\alpha&0&0\\[8pt]\beta&\alpha&0\\[8pt]\gamma&\beta&\alpha\end{array}\right).}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 7. Montrer que {\varphi} est diagonalisable si et seulement si {A} est constant.
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 IV — Cas où {B} est scindé à racines simples
On reprend {n\ge1} quelconque. Les racines de {B} sont les complexes distincts {x_0,\ldots,x_n}. On définit
{L_k(X)=\prod_{\substack{0\le i\le n\\[8pt]i\ne k}}\frac{X-x_i}{x_k-x_i},}qui vérifient {L_k(x_j)=\delta_{k,j}}.
IV.1 — Décomposition avec les polynômes de Lagrange
Q 8. Soit {P\in\mathbb C_n[X]}. Montrer que les {x_j} sont racines de {D=P-\sum\limits_{i=0}^nP(x_i)L_i}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 9. En déduire que {P=\sum\limits_{i=0}^nP(x_i)L_i} pour tout {P\in\mathbb C_n[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 :
Q 10. Montrer que {(L_0,\ldots,L_n)} est une base de {\mathbb C_n[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 :
IV.2 — Réduction de {\varphi}
On écrit {AL_k=BQ_k+R_k}, avec {R_k\in\mathbb C_n[X]}.
Q 11. Montrer que {R_k(x_j)=0} si {j\ne k} et {R_k(x_k)=A(x_k)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 12. En utilisant Q9, en déduire {\varphi(L_k)=A(x_k)L_k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 13. Justifier que {\varphi} est diagonalisable et préciser ses valeurs propres.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Exercice 2 — Étude de séries de pile ou de face
Sur {(\Omega,\mathcal A,\mathbb P)}, on modélise des lancers indépendants d’une pièce équilibrée. On note {P_k} l’événement « pile au {k}-ième lancer » et {F_k} son contraire.
Une série est un bloc maximal de résultats identiques. La première commence au premier lancer ; chaque changement de côté commence une nouvelle série. Par exemple, la suite {P,P,F,P,P,P,P,F,\ldots} commence par des séries de longueurs {2,1,4}. La suite {F,F,F,P,P,P,P,P,F,F,\ldots}, avec uniquement des faces à partir du neuvième lancer, a des séries de longueurs {3,5}, puis une série infinie.
Partie I — Longueur de la première série
On note {L_1} sa longueur lorsqu’elle se termine, et on pose {L_1=0} si elle ne se termine jamais. Dans les deux exemples précédents, {L_1} vaut respectivement {2} et {3}.
I.1 — Somme d’une série entière
Q 14. Rappeler le rayon de convergence et la somme de {\sum\limits_{k\ge0}x^k}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 15. En déduire la convergence de {\sum\limits_{k\ge0}kx^k} pour {|x|\lt 1} et sa somme {x/(1-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 :
I.2 — Étude de {L_1}
On fixe {k\ge1}.
Q 16. Exprimer {(L_1=k)} avec les événements {P_i,F_i} pour {1\le i\le k+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 :
Q 17. Montrer que {\mathbb P(L_1=k)=2^{-k}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 18. En déduire {\mathbb P(L_1=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 :
Q 19. Montrer que {L_1} admet une espérance, la calculer et l’interpréter.
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 II — Nombre de séries
Pour {n\ge1}, {N_n} est le nombre de séries apparues durant les {n} premiers lancers. Dans le premier exemple, {N_1=N_2=1}, {N_3=2}, {N_4=N_5=N_6=N_7=3} et {N_8=4}.
II.1 — Généralités
Q 20. Déterminer les lois de {N_1} et {N_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 :
Q 21. Quel est l’ensemble des valeurs prises par {N_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 :
II.2 — Relation de récurrence pour la loi de {N_n}
Q 22. Pour {1\le k\le n+1}, justifier
{\{N_{n+1}\!=\!k\}\!\cap\! P_n\!\cap\! P_{n+1}\!=\!\{N_n\!=\!k\}\!\cap\! P_n\!\cap\! P_{n+1}}puis en déduire
{\mathbb P(\{N_{n+1}\!=\!k\}\!\cap\! P_n\!\cap\! P_{n+1})\!=\!\tfrac12\mathbb P(\{N_n\!=\!k\}\!\cap\! P_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 admet les trois relations analogues :
{\begin{array}{l}\!\!\!\mathbb P(\{N_{n+1}\!=\!k\}\!\cap\! F_n\!\cap\! F_{n+1})\!=\!\tfrac12\mathbb P(\{N_n\!=\!k\}\!\cap\! F_n),\\[8pt]\!\!\!\mathbb P(\{N_{n+1}\!=\!k\}\!\cap\! P_n\!\cap\! F_{n+1})\!=\!\tfrac12\mathbb P(\{N_n\!=\!k\!-\!1\}\!\cap\! P_n),\\[8pt]\!\!\!\mathbb P(\{N_{n+1}\!=\!k\}\!\cap\! F_n\!\cap\! P_{n+1})\!=\!\tfrac12\mathbb P(\{N_n\!=\!k\!-\!1\}\cap F_n)\end{array}}
Q 23. Utiliser les probabilités totales avec {(P_n\cap P_{n+1},F_n\cap F_{n+1},F_n\cap P_{n+1},P_n\cap F_{n+1})} pour montrer
{\mathbb P(N_{n+1}=k)=\tfrac12\mathbb P(N_n=k)+\tfrac12\mathbb P(N_n=k-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 :
II.3 — Fonction génératrice, loi et espérance de {N_n}
On pose {G_m(x)=\sum\limits_{k=1}^m\mathbb P(N_m=k)x^k} pour {x\in\mathbb R} ; en particulier, {G_1(x)=x}.
Q 24. Déduire de Q23 que {G_{n+1}(x)=(1+x)G_n(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 :
Q 25. Déterminer {G_n(x)} pour {n\ge1} et {x\in\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 :
Q 26. Rappeler l’expression de {\mathbb E(N_n)} en fonction de {G_n} et calculer cette espérance.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 27. Déterminer la loi de {N_n} à partir de {G_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 :
Exercice 3 — La constante d’Euler
On construit d’abord la constante d’Euler comme limite d’une suite, puis on en donne une expression intégrale.
Partie I — Construction de la constante
On pose {u_n=\sum\limits_{k=1}^n1/k-\ln n} pour {n\ge1} et {\Delta_n=u_n-u_{n-1}} pour {n\ge2}.
Q 28. Déterminer {a>0} tel que {\Delta_n\sim-a/n^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 :
Q 29. Montrer que {\sum\limits_{n\ge2}\Delta_n} 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 :
Q 30. En déduire que {(u_n)} 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 :
Partie II — Expression intégrale de la constante d’Euler
Pour {n\ge1}, on définit sur {]0,+\infty[}{f_n(t)=\left\{\begin{array}{ll}(1-t/n)^n\ln t&\text{si }t\lt n,\\[8pt]0&\text{si }t\ge n.\end{array}\right.}
II.1 — Propriétés de {(f_n)}
On pourra utiliser {\ln(1+x)\le x} pour {x>-1}.
Q 31. Pour {t>0}, justifier l’existence de {n_0} tel que {f_n(t)=(1-t/n)^n\ln t} pour {n\ge n_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 :
Q 32. En déduire que {f_n} converge simplement vers {t\mapsto e^{-t}\ln t} 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 :
Q 33. Montrer que {|f_n(t)|\le e^{-t}|\ln t|} pour {t>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 :
Q 34. Montrer que {t\mapsto e^{-t}\ln t} est intégrable 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 :
II.2 — Convergence d’une suite d’intégrales
On pose {I_n=\int_0^\infty f_n(t)\,dt=\int_0^n(1-t/n)^n\ln t\,dt} et {J_n=\int_0^1u^n\ln(1-u)\,du}. On fixe {n\ge1}.
Q 35. Montrer que {I_n} 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 :
Q 36. Montrer que {I_n\to\int_0^\infty e^{-t}\ln 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 :
Q 37. Montrer que {J_n} converge si et seulement si {\int_0^1(u^{n+1}-1)/(u-1)\,du} converge. En déduire
{J_n=-\frac1{n+1}\int_0^1\frac{u^{n+1}-1}{u-1}\,du=-\frac1{n+1}\sum_{k=1}^{n+1}\frac1k.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 38. Montrer que {I_n=n\ln n/(n+1)+nJ_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 :
Q 39. En déduire {\gamma=-\int_0^\infty e^{-t}\ln 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 :