CCINP 2023 — PC — Mathématiques
Les trois exercices sont indépendants.
Exercice 1 — Endomorphisme cyclique
Soit {f} un endomorphisme d’un espace vectoriel {E} de dimension {n\geq1}. On note {f^0=\operatorname{id}_E} et {f^p} la composée de {p} copies de {f} pour {p\geq1}.
On dit que {f} est cyclique s’il existe {v\in E} tel que {(v,f(v),\ldots,f^{n-1}(v))} soit une base de {E}. Les trois premières parties étudient des exemples ; la dernière traite le cas diagonalisable.
I — Étude d’un premier exemple
On considère {f:\mathbb R^2\to\mathbb R^2} défini par {f(x,y)=(4x-2y,x+y)}.
Q 1. En considérant {v=(1,0)}, montrer que {f} est cyclique.
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 2. Déterminer les valeurs propres de {f} et une base de chacun de ses sous-espaces 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 :
Q 3. Existe-t-il {w\ne0} tel que {(w,f(w))} ne soit pas une base de {\mathbb R^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 :
II — Étude d’un deuxième exemple
La matrice de {g:\mathbb R^3\to\mathbb R^3} dans la base canonique est {M=\begin{pmatrix}0&-1&1\\[8pt]-1&0&-1\\[8pt]1&-1&0\end{pmatrix}.}
Q 4. Montrer que {g^2=g+2\operatorname{id}_{\mathbb R^3}}.
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. Montrer que {M} est diagonalisable et déterminer 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 :
Q 6. L’endomorphisme {g} est-il cyclique ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
III — Étude d’un troisième exemple
On fixe {n\geq2} et on définit, sur {\mathbb R_n[X]}, {\Delta(P)=P(X+1)-P(X).}Par exemple, {\Delta(X^2)=2X+1}.
Q 7. Montrer que {\Delta} est un endomorphisme de {\mathbb R_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 8. Pour {k\in\llbracket0,n\rrbracket}, développer {\Delta(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 9. En déduire que, si {P} est non constant, {\deg\Delta(P)=\deg P-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 10. Montrer que {\Delta} est cyclique.
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 — Cas d’un endomorphisme diagonalisable
Soit {h} un endomorphisme diagonalisable d’un espace complexe {E} de dimension {n\geq1}. On choisit une base propre {\mathcal B=(v_1,\ldots,v_n)}, avec {h(v_k)=\lambda_kv_k}.
Pour {v\in E}, on écrit {v=\alpha_1v_1+\cdots+\alpha_nv_n}.
Q 11. Montrer que, pour {p\geq1}, {h^p(v)=\alpha_1\lambda_1^pv_1+\cdots+\alpha_n\lambda_n^pv_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 12. Pour {\mathcal F=(v,h(v),\ldots,h^{n-1}(v))}, montrer que {\det_{\mathcal B}(\mathcal F)=\alpha_1\cdots\alpha_n\prod_{1\leq i\lt j\leq n}(\lambda_j-\lambda_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 13. Conclure que {h} est cyclique si et seulement s’il admet {n} valeurs propres distinctes.
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 — La fonction dilogarithme
On admet {\sum\limits_{n=1}^{+\infty}1/n^2=\pi^2/6}.
I — Existence et premières propriétés
On considère {f(t,x)=\frac{t}{e^t-x},\ t>0,\quad x\leq1.}
Q 14. Justifier que {f} est bien définie sur {]0,+\infty[\times]-\infty,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 15. Montrer que {t\mapsto f(t,1)} 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 :
Q 16. Pour {x\leq1}, montrer par comparaison avec {f(t,1)} que {t\mapsto f(t,x)} 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 :
On définit donc la fonction dilogarithme {L:]-\infty,1]\to\mathbb R} par {L(x)=x\int_0^{+\infty}f(t,x)\,dt.}
Q 17. Montrer que {L} est continue sur {]-\infty,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 — Développement en série entière
On fixe {x\in[-1,1]} et, pour {n\in\mathbb N}, on pose {s_n(t)=te^{-(n+1)t}x^n} pour {t>0}.
Q 18. Montrer que {\int_0^{+\infty}s_n(t)\,dt} converge et vaut {x^n/(n+1)^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 19. Montrer que {\sum\limits_{n\geq0}s_n} converge simplement sur {]0,+\infty[} et que sa somme est {f(t,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 20. Montrer que {\sum\limits_{n\geq1}x^n/n^2} converge et en déduire {L(x)=\sum_{n=1}^{+\infty}\frac{x^n}{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. Montrer que, pour {x\in[-1,1]}, {L(x)+L(-x)=\frac12L(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 22. Déterminer {L(1)} et {L(-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 :
III — Une autre propriété
Pour {x\in]0,1[}, on pose {h(x)=L(x)+L(1-x)+\ln x\ln(1-x).}
Q 23. Justifier que {L} est dérivable sur {]-1,1[} et montrer que {L'(x)=\left\{\begin{array}{ll}-\dfrac{\ln(1-x)}x&\text{si }x\ne0,\\[8pt]1&\text{si }x=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 24. Montrer que {h} est constante 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 :
Q 25. Montrer que {h(x)=L(1)} pour {x\in]0,1[}, puis calculer {\int_0^{+\infty}t/(2e^t-1)\,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 :
Exercice 3 — Un jeu de société
On fixe des entiers {M\geq2} et {A\geq1}. Un pion part de la case {0} d’un parcours infini dont les cases sont numérotées par {\mathbb N}. À chaque tour, il avance d’un nombre de cases tiré uniformément dans {\llbracket0,M-1\rrbracket}. Le jeu se termine dès qu’il atteint ou dépasse la case {A}.
Sur {(\Omega,\mathcal A,\mathbb P)}, les variables {(X_k)_{k\geq1}} sont indépendantes et uniformes sur {\llbracket0,M-1\rrbracket}. On pose {S_0=0} et {S_n=\sum\limits_{k=1}^nX_k}.
Si {S_n\lt A} pour tout {n\geq1}, on pose {T=0}. Sinon, {T=\min\{n\geq1:S_n\geq A\}}. L’objectif est de déterminer l’espérance de {T} dans deux cas particuliers.
I — Préliminaires
I.1 — Modélisation
Q 26. Que représentent {X_n} et {S_n} dans la situation présenté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 :
Q 27. Que représente {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 :
I.2 — Calcul de la somme d’une série entière
On considère {f(x)=1/(1-x)} sur {]-1,1[}.
Q 28. Montrer que {f\in\mathcal C^\infty(]-1,1[)} et que {f^{(p)}(x)=\frac{p!}{(1-x)^{p+1}}\quad(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 :
Q 29. Pour {p\in\mathbb N}, montrer que {\sum\limits_{n\geq p}\binom np x^n} a pour rayon de convergence {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 30. En développant {f} en série entière, montrer que, pour {|x|\lt 1}, {\sum_{n=p}^{+\infty}\binom np x^n=\frac{x^p}{(1-x)^{p+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 — Étude d’un premier cas
Dans cette partie uniquement, {M=2}.
II.1 — Loi de {S_n} et de {T}
Q 31. Montrer que {S_n} suit la loi binomiale de paramètres {n} et {1/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 32. Quelles sont les valeurs prises par {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 :
Q 33. Pour {k\geq A}, exprimer {(T=k)} à l’aide de {(S_{k-1}=A-1)} et {(X_k=1)}, puis montrer que {\mathbb P(T=k)=\binom{k-1}{A-1}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 34. Calculer {\mathbb P(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 :
II.2 — Espérance de {T}
La fonction génératrice {G_T} est donnée par la série {\sum\limits_{k\geq A}\mathbb P(T=k)x^k} sur son intervalle de convergence.
Q 35. Déterminer son rayon {R_T} et montrer que, pour {|x|\lt R_T}, {G_T(x)=\left(\frac{x}{2-x}\right)^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 :
Q 36. En déduire le nombre moyen de tours pour terminer la partie.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
III — Étude d’un second cas
On suppose désormais {A\leq M}.
III.1 — Calcul de {\mathbb P(S_n\leq k)}
On admet la formule {\sum_{\ell=0}^k\binom{n+k-\ell}{n}=\binom{n+1+k}{n+1}\ (k,n\in\mathbb N).}
Q 37. En utilisant le système complet {(X_{n+1}=\ell)_{0\leq\ell\leq M-1}}, montrer que, pour {n\geq1} et {0\leq k\leq A-1}, {\mathbb P(S_{n+1}\leq k)=\frac1M\sum_{\ell=0}^k\mathbb P(S_n\leq k-\ell).}
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 par récurrence sur {n\geq1} que, pour {0\leq k\leq A-1}, {\mathbb P(S_n\leq k)=\frac1{M^n}\binom{n+k}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 :
III.2 — Espérance de {T}
On rappelle que, pour une variable {Z} à valeurs dans {\mathbb N}, la convergence de {\sum\limits_{n\geq0}\mathbb P(Z>n)} entraîne l’existence de son espérance et l’égalité {\mathbb E(Z)=\sum\limits_{n=0}^{+\infty}\mathbb P(Z>n)}.
Q 39. Comparer {(T>n)} et {(S_n\lt A)} pour {n\in\mathbb N}. En déduire que {T} admet une espérance 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 :