2026-Inp-Pc-Corrigé

CCINP 2026 — PC — Mathématiques

Exercice 1 — Réduction de matrices par blocs

On fixe {n\geq1} et {A\in\mathcal M_n(\mathbb R)}. On étudie des matrices par blocs de la forme {\begin{pmatrix}\alpha A&\beta A\\[8pt]\gamma A&\delta A\end{pmatrix}}. Les opérations par blocs suivent les règles usuelles lorsque les tailles sont compatibles. On note {I_n} l’identité et {O_n} la matrice nulle.

I — Première forme

On pose {M=\begin{pmatrix}A&A\\[8pt]A&A\end{pmatrix}}.

I.1 — Un exemple

Dans les trois premières questions, {n=2} et {A=\operatorname{diag}(1,2)}.

Q 1. Justifier que {M} est diagonalisable.
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 {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 3. Montrer que {M} est symétrique positive. Est-elle définie positive ?
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 — Réduction dans le cas général

On revient à {n,A} quelconques et on pose {P=\begin{pmatrix}I_n&I_n\\[8pt]-I_n&I_n\end{pmatrix}}.

Q 4. Montrer que {P} est inversible et que {P^{-1}=\frac12\begin{pmatrix}I_n&-I_n\\[8pt]I_n&I_n\end{pmatrix}}.
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 semblable à {D=\begin{pmatrix}O_n&O_n\\[8pt]O_n&2A\end{pmatrix}}.
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. Montrer que {\chi_M(\lambda)=\lambda^n2^n\chi_A(\lambda/2)} pour tout réel {\lambda}, puis déterminer le spectre 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 7. Pour {Q\in\mathbb R[X]}, montrer l’équivalence entre : (i) {Q(A)=0} et {Q(0)=0} ; (ii) le polynôme {Q(X/2)} annule {D}.
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. En déduire que {M} est diagonalisable si et seulement si {A} l’est.
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 — Seconde forme

On pose désormais {M=\begin{pmatrix}A&A\\[8pt]O_n&A\end{pmatrix}}.

Q 9. Montrer que {M^k=\begin{pmatrix}A^k&kA^k\\[8pt]O_n&A^k\end{pmatrix}} pour tout {k\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 10. Montrer que {Q(M)=\begin{pmatrix}Q(A)&AQ'(A)\\[8pt]O_n&Q(A)\end{pmatrix}} pour tout polynôme {Q}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Jusqu’à la fin de l’exercice, on suppose {M} diagonalisable et on note {S} un polynôme annulateur de {M} scindé à racines simples sur {\mathbb R}.

Q 11. Montrer que {S'(A)} est diagonalisable, puis exprimer son spectre en fonction de celui de {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 12. Montrer que {S'(A)} est inversible. En déduire une condition nécessaire et suffisante sur {A} pour que {M} soit diagonalisable.
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 — Autour de la loi géométrique

On fixe {p\in]0,1[} et {q=1-p}. Les variables {(X_k)_{k\geq1}} sont indépendantes, de loi géométrique de paramètre {p} sur {\mathbb N^*}. On pose {S_n=\sum\limits_{k=1}^nX_k} et {V_n=\max(X_1,\ldots,X_n)}.

I — Loi de {S_n}

Q 13. Déterminer les valeurs prises par {S_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 14. Rappeler l’espérance et la variance de {X_1}, puis calculer celles de {S_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 :

Pour {Y} à valeurs dans {\mathbb N}, on note {G_Y(t)=\mathbb E(t^Y)=\sum\limits_{k=0}^{+\infty}\mathbb P(Y=k)t^k}.

Q 15. Montrer que cette série entière a un rayon de convergence au moins égal à {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 16. Pour {|t|\lt 1}, exprimer {G_{S_n}} à l’aide des {G_{X_k}} et en déduire {G_{S_n}(t)=(pt/(1-qt))^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 17. Développer {(pt)^n(1-qt)^{-n}} en série entière sur {]-1,1[} et en déduire la loi de {S_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 — Loi de {V_n}

Q 18. Montrer que {\mathbb P(X_1>k)=q^k} pour {k\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 :
Q 19. En déduire {\mathbb P(V_n\leq k)=(1-q^k)^n} pour {k\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 :
Q 20. Montrer que {V_n} est d’espérance finie et que {\mathbb E(V_n)=\sum\limits_{k=0}^{+\infty}(1-(1-q^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 :
Q 21. Déterminer la loi de {V_n} à partir des événements {\{V_n=k\}}, {\{V_n\leq k\}} et {\{V_n\leq 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 :

III — Équivalent de l’espérance de {V_n}

Pour {x\geq0}, on pose {\varphi_n(x)=1-(1-q^x)^n}.

Q 22. Montrer que {\varphi_n} est décroissante et 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 23. Par comparaison série-intégrale, montrer {\int_0^{+\infty}\varphi_n(x)\,dx\leq\mathbb E(V_n)\leq1+\int_0^{+\infty}\varphi_n(x)\,dx.}
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. Avec le changement de variable {u=1-q^x}, montrer la convergence de {\int_0^1(1-u^n)/(1-u)\,du} et l’identité {\int_0^1\frac{1-u^n}{1-u}\,du=-\ln q\int_0^{+\infty}\varphi_n(x)\,dx.}
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 {\sum\limits_{k=1}^n1/k\sim\ln n}.

Q 25. Déterminer un équivalent simple de {\mathbb E(V_n)} lorsque {n\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 :

Exercice 3 — Une équation différentielle non ordinaire

Pour {\lambda\in[-1,1]}, on cherche les fonctions dérivables {f:\mathbb R\to\mathbb R} telles que {f'(x)=f(\lambda x)} pour tout réel {x}. On note {\mathcal S_\lambda} l’ensemble de ces solutions.

I — Généralités

Q 26. Montrer que {\mathcal S_\lambda} est un sous-espace de l’espace des fonctions dérivables de {\mathbb R} dans {\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 27. Déterminer {\mathcal S_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 28. Si {f} vérifie l’équation pour {\lambda=0}, montrer qu’elle est affine, puis déterminer {\mathcal S_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 29. Pour {\lambda=-1}, montrer que {f} est deux fois dérivable et vérifie {f''+f=0}. En déduire {\mathcal S_{-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 — Solutions développables en série entière

On suppose {\lambda\ne0}.

Q 30. Déterminer le rayon de convergence de {\sum\limits_{n\geq0}\lambda^{n(n-1)/2}x^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 :

On note {\varphi} la somme de cette série entière sur {\mathbb R}.

Q 31. Montrer que {\varphi\in\mathcal S_\lambda}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Soit {f(x)=\sum\limits_{n=0}^{+\infty}a_nx^n} une série entière de rayon infini.

Q 32. Si {f} est solution, montrer que {(n+1)a_{n+1}=\lambda^na_n} pour tout {n\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 :
Q 33. En déduire que {f} est solution si et seulement si {f\in\operatorname{Vect}(\varphi)}.
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 — Toutes les solutions

On conserve {\lambda\ne0} et on prend {f\in\mathcal S_\lambda}.

On admet la formule de Taylor avec reste intégral : pour {h\in\mathcal C^\infty(\mathbb R)}, {h(x)=\sum_{k=0}^n\frac{h^{(k)}(0)}{k!}x^k+\int_0^x\frac{(x-t)^n}{n!}h^{(n+1)}(t)\,dt.}

Q 34. Montrer par récurrence que {f\in\mathcal C^n(\mathbb R)} et que {f^{(n)}(t)=\lambda^{n(n-1)/2}f(\lambda^nt)} 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 :

On fixe {a>0}, {x\in[-a,a]} et {g_n(t)=(x-t)^nf^{(n+1)}(t)/n!}.

Q 35. Montrer que {g_n} converge uniformément vers zéro sur {[-a,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. Montrer que {f} est développable en série entière 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 :
Q 37. Quelle est la dimension de {\mathcal S_\lambda} ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :