\documentclass[10pt]{article}
\usepackage[french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[version=4]{mhchem}
\usepackage{stmaryrd}
\usepackage{mathrsfs}
\usepackage{bbold}
\usepackage{graphicx}
\usepackage[export]{adjustbox}
\graphicspath{ {./images/} }
\usepackage{caption}

\begin{document}
\captionsetup{singlelinecheck=false}
\section*{Cricome}
\section*{CONCOURS D'ADMISSION 2023}
prepa

\section*{Mathématiques Approfondies Série ECG}
\section*{Lundi 17 avril 2023 de 8h00 à 12h00}
\section*{Durée : 4 heures}
Candidats bénéficiant de la mesure « Tiers-temps » : 8h00-13h20

L'énoncé comporte 6 pages.

\section*{CONSIGNES}
Tous les feuillets doivent être identifiables et numérotés par le candidat.\\
Aucun document n'est permis, aucun instrument de calcul n'est autorisé.\\
Conformément au règlement du concours, l'usage d'appareils communiquants ou connectés est formellement interdit durant l'épreuve.\\
Les candidats sont invités à soigner la présentation de leur copie, à mettre en évidence les principaux résultats, à respecter les notations de l'énoncé et à donner des démonstrations complètes - mais brèves - de leurs affirmations.\\
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.\\
Ce document est la propriété d'ECRICOME, le candidat est autorisé à le conserver à l'issue de l'épreuve.

\section*{Exercice 1}
Dans cet exercice, \(n\) désigne un entier naturel non nul et \(I_{n}\) désigne la matrice identité de \(\mathscr{M}_{n}(\mathbb{R})\). Les parties 1 et 2 sont indépendantes.

\section*{Partie 1}
\begin{enumerate}
  \item Dans cette question uniquement, on considère que \(A=\left(\begin{array}{cc}1 & 1 \\ -1 & 1\end{array}\right)\) et que \(B=\left(\begin{array}{ll}1 & 2 \\ 1 & 1\end{array}\right)\).\\
(a) Calculer \(A B\) et \(B A\).\\
(b) Déterminer les valeurs propres et les sous-espaces propres de \(A B\) et de \(B A\).
\end{enumerate}

Soit \(A\) et \(B\) deux matrices quelconques de \(\mathscr{M}_{n}(\mathbb{R})\).\\
2. Soit \(\lambda\) une valeur propre non nulle de \(A B\) et \(X\) un vecteur propre associé.\\
(a) Justifier que \(B X \neq 0\).\\
(b) Montrer que \(B X\) est un vecteur propre de \(B A\) et que \(\lambda\) est une valeur propre de \(B A\).\\
3. Supposons que 0 est une valeur propre de \(A B\) et \(X\) un vecteur propre associé.\\
(a) Supposons que \(B\) est inversible.

Justifier que \(B X \neq 0\). En déduire que 0 est une valeur propre de \(B A\).\\
(b) Supposons que \(B\) n'est pas inversible.

Montrer que \(\operatorname{rg}(B A)<n\). En déduire que 0 est une valeur propre de \(B A\).\\
4. Montrer que \(A B\) et \(B A\) ont le même spectre.\\
5. Les matrices \(A B\) et \(B A\) ont-elles les mêmes sous-espaces propres?

\section*{Partie 2}
On considère \(A\) une matrice de \(\mathscr{M}_{n}(\mathbb{R})\) admettant \(n\) valeurs propres réelles \(\lambda_{1}, \ldots, \lambda_{n}\) deux à deux distinctes. Soit \(B\) une matrice de \(\mathscr{M}_{n}(\mathbb{R})\) telle que \(A B=B A\).\\
6. Supposons qu'il existe un \(n\)-uplet de réels non tous nuls \(\left(\alpha_{0}, \cdots, \alpha_{n-1}\right)\) tel que \(\sum_{k=0}^{n-1} \alpha_{k} A^{k}=0\).\\
(a) Justifier que \(A\) admet un polynôme annulateur non nul \(Q\) de degré inférieur ou égal à \(n-1\).

\begin{itemize}
  \item (b) En étudiant les racines de ce polynôme \(Q\) annulateur de \(A\), aboutir à une contradiction.\\
(c) Que peut-on déduire sur la famille \(\left(I_{n}, A, \ldots, A^{n-1}\right)\) ?
\end{itemize}

\begin{enumerate}
  \setcounter{enumi}{6}
  \item Soit \(\lambda\) une valeur propre de \(A\) et \(X\) un vecteur propre associé.\\
(a) Justifier que l'espace propre de \(A\) associé à la valeur propre \(\lambda\) est l'espace vectoriel engendré par \(X\).\\
(b) Exprimer de deux manières différentes \(B A X\).\\
(c) En déduire que \(B X \in \operatorname{Vect}(X)\).
  \item Déduire que tout vecteur propre de \(A\) est aussi un vecteur propre de \(B\).
  \item (a) Justifier qu'il existe une base \(\left(X_{1}, \cdots, X_{n}\right)\) de \(\mathscr{M}_{n, 1}(\mathbb{R})\) composée de vecteurs propres de \(A\) et de \(B\) telle que :
\end{enumerate}

\[
\forall i \in \llbracket 1, n \rrbracket, A X_{i}=\lambda_{i} X_{i} .
\]

(b) Pour tout entier \(i\) de \(\llbracket 1, n \rrbracket\), on note \(\mu_{i}\) le réel tel que \(B X_{i}=\mu_{i} X_{i}\).

Montrer que \(\operatorname{Sp}(A B)=\left\{\lambda_{i} \mu_{i}, i \in \llbracket 1, n \rrbracket\right\}\).\\
10. On rappelle que le seul polynôme \(P \in \mathbb{R}_{n-1}[x]\) ayant \(n\) racines deux à deux distinctes est le polynôme nul.\\
(a) Montrer que l'application \(P \mapsto\left(P\left(\lambda_{1}\right), \ldots, P\left(\lambda_{n}\right)\right)\) est un isomorphisme de \(\mathbb{R}_{n-1}[x]\) dans \(\mathbb{R}^{n}\).\\
(b) Montrer qu'il existe un unique polynôme \(P \in \mathbb{R}_{n-1}[x]\) vérifiant.

\[
\forall i \in \llbracket 1, n \rrbracket, B X_{i}=P\left(\lambda_{i}\right) X_{i} .
\]

(c) Montrer que \(B=P(A)\).\\
11. (a) Montrer que l'ensemble \(\mathscr{C}(A)=\left\{B \in \mathscr{M}_{n}(\mathbb{R}), A B=B A\right\}\) est un sous-espace vectoriel de \(\mathscr{M}_{n}(\mathbb{R})\).\\
(b) Montrer que \(\mathscr{C}(A)=\left\{P(A), P \in \mathbb{R}_{n-1}[x]\right\}\).\\
(c) À l'aide de la question 6 , déterminer la dimension de \(\mathscr{C}(A)\).

\section*{Exercice 2}
Dans tout l'exercice, \(n\) désigne un entier supérieur ou égal à 2 et on considère que \(\mathbb{R}^{n}\) est muni de son produit scalaire usuel, noté \(\langle\cdot, \cdot\rangle\), et que la norme associée au produit scalaire usuel est notée \(\|\cdot\|\).\\
On considère un endomorphisme \(f\) de \(\mathbb{R}^{n}\), symétrique dont les valeurs propres notées \(\lambda_{1}, \cdots, \lambda_{n}\) vérifient

\[
0<\lambda_{1} \leqslant \lambda_{2} \leqslant \cdots \leqslant \lambda_{n} .
\]

On note \(A=\left(a_{i, j}\right)_{1 \leqslant i, j \leqslant n}\) la matrice de \(f\) dans la base canonique de \(\mathbb{R}^{n}\).\\
Enfin, on considère un vecteur \(u=\left(u_{1}, \ldots, u_{n}\right)\) de \(\mathbb{R}^{n}\), et on définit la fonction \(g\) sur \(\mathbb{R}^{n}\) à valeurs réelles par :

\[
\forall x \in \mathbb{R}^{n}, g(x)=\frac{1}{2}\langle f(x), x\rangle-\langle u, x\rangle .
\]

\begin{enumerate}
  \item Montrer que \(f\) est un automorphisme de \(\mathbb{R}^{n}\). On note alors \(f^{-1}\) la réciproque de \(f\).
  \item (a) Rappeler la définition d'un endomorphisme symétrique.\\
(b) Exprimer \({ }^{t} A\) en fonction de \(A\).\\
(c) En déduire qu'il existe une matrice \(P\) de \(\mathscr{M}_{n}(\mathbb{R})\) inversible telle que \({ }^{t} P A P\) soit diagonale.\\
(d) Montrer que pour tout vecteur \(x\) de \(\mathbb{R}^{n}, \lambda_{1}\|x\|^{2} \leqslant\langle f(x), x\rangle \leqslant \lambda_{n}\|x\|^{2}\).\\
(e) Montrer que \(\langle f(x), x\rangle=0\) si et seulement si \(x=0\).
  \item Soit \(x=\left(x_{1}, \ldots, x_{n}\right)\) un vecteur de \(\mathbb{R}^{n}\).\\
(a) Exprimer \(g(x)\) en fonction des \(x_{i}, a_{i, j}\) et \(u_{i}\).\\
(b) Montrer que \(g\) est de classe \(\mathscr{C}^{1}\) sur \(\mathbb{R}^{n}\), et préciser \(\partial_{1} g(x)\).\\
(c) Vérifier que pour tout vecteur \(x\) de \(\mathbb{R}^{n}\) :
\end{enumerate}

\[
\nabla g(x)=f(x)-u .
\]

\begin{enumerate}
  \setcounter{enumi}{3}
  \item Montrer que \(g\) admet un unique point critique \(m\) de \(\mathbb{R}^{n}\) et que \(m=f^{-1}(u)\).
  \item Montrer que pour tout vecteur \(x\) de \(\mathbb{R}^{n}\) :
\end{enumerate}

\[
\frac{1}{2}\langle f(x-m), x-m\rangle=g(x)-g(m) .
\]

\begin{enumerate}
  \setcounter{enumi}{5}
  \item Que peut-on en déduire au sujet du point \(m\), vis-à-vis de \(g\) ?
\end{enumerate}

On considère un réel \(\alpha\) de \(\left.] 0, \frac{1}{\lambda_{n}}\right]\) et un vecteur \(m_{0}\) de \(\mathbb{R}^{n}\), et l'on définit par récurrence des vecteurs \(m_{p}\) de \(\mathbb{R}^{n}\) par:

\[
\forall p \in \mathbb{N}, m_{p+1}=m_{p}-\alpha \nabla g\left(m_{p}\right) .
\]

\begin{enumerate}
  \setcounter{enumi}{6}
  \item Soit \(a, h\) deux vecteurs de \(\mathbb{R}^{n}\).\\
(a) Montrer que
\end{enumerate}

\[
\langle f(a+h), a+h\rangle=\langle f(a), a\rangle+2\langle f(a), h\rangle+\langle f(h), h\rangle .
\]

\section*{Coricome}
(b) En déduire que

\[
g(a+h)=g(a)+\langle\nabla g(a), \dot{h}\rangle+\frac{1}{2}\langle f(h), h\rangle .
\]

\begin{enumerate}
  \setcounter{enumi}{7}
  \item (a) En appliquant cette égalité à des vecteurs \(a, h\) bien choisis, montrer que pour tout entier naturel \(p\) :
\end{enumerate}

\[
g\left(m_{p+1}\right)=g\left(m_{p}\right)-\alpha\left\|\nabla g\left(m_{p}\right)\right\|^{2}+\frac{\alpha^{2}}{2}\left\langle f\left(\nabla g\left(m_{p}\right)\right), \nabla g\left(m_{p}\right)\right\rangle
\]

(b) En déduire que pour tout entier naturel \(p\) :

\[
g\left(m_{p+1}\right) \leqslant g\left(m_{p}\right)-\alpha\left(1-\frac{\alpha \lambda_{n}}{2}\right)\left\|\nabla g\left(m_{p}\right)\right\|^{2} .
\]

\begin{enumerate}
  \setcounter{enumi}{8}
  \item (a) Montrer que la suite \(\left(g\left(m_{p}\right)\right)_{p \in \mathbb{N}}\) converge.
\end{enumerate}

On admet que \(\left(g\left(m_{p}\right)\right)_{p \in \mathbb{N}}\) converge vers \(g(m)\), où \(m\) a été défini à la question 4 .\\
(b) Montrer que pour tout entier naturel \(p\),

\[
\left\|m_{p}-m\right\|^{2} \leqslant \frac{2}{\lambda_{1}}\left(g\left(m_{p}\right)-g(m)\right) .
\]

(c) En déduire que \(\lim _{p \rightarrow+\infty}\left\|m_{p}-m\right\|=0\).\\
10. Dans cette question, on suppose que \(n=2\) et que \(u=(2,1)\) et

\[
f:(x, y) \longmapsto(2 x+y, x+2 y) .
\]

(a) Vérifier que \(f\) est un endomorphisme symétrique de \(\mathbb{R}^{2}\).

Dans la figure 1, on a représenté l'évolution des suites \(\left(g\left(m_{p}\right)\right)_{p \in \mathbb{N}}\) et \(\left(m_{p}\right)_{p \in \mathbb{N}}\) en prenant deux paramètres différents \(\left(\alpha_{0}=0,2\right.\) et \(\left.\alpha_{1}=0,67\right)\).\\
Dans la figure de gauche, on représente l'évolution de \(g\left(m_{p}\right)\) en fonction de \(p\), et dans la figure de droite on a représenté l'évolution de points \(m_{p}\) dans le plan, en reliant les points successifs.

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{97a87a2b-41b2-4f1f-a8b9-66407ef1e318-4_682_1683_1597_157}
\captionsetup{labelformat=empty}
\caption{Figure 1 - Deux descentes de gradient, pour deux valeurs de \(\alpha\) différentes.}
\end{center}
\end{figure}

(b) Commenter ces courbes, et déterminer qualitativement lequel des deux \(\alpha\) ne vérifie pas les hypothèses de l'énoncé (il n'y en a qu'un seul).\\
(c) Conjecturer la valeur de \(m\), sachant que \(m\) est à coordonnées entières.\\
(d) Vérifier que les conditions de l'énoncé sont bien vérifiées, et que les résultats expérimentaux sont en adéquation avec ce qui a été démontré dans les questions précédentes.

\section*{Problème}
\section*{Partie 1}
On définit sur \(\mathbb{R}\) la fonction

\[
F: x \longmapsto \frac{\mathrm{e}^{x}}{1+\mathrm{e}^{x}} .
\]

\begin{enumerate}
  \item La librairie Numpy est importée sous la dénomination np.
\end{enumerate}

Écrire une fonction en langage Python nommée F prenant en argument un réel \(x\) et renvoyant en sortie le réel \(F(x)\).\\
2. Justifier que \(F\) est de classe \(\mathscr{C}^{\infty}\) sur \(\mathbb{R}\), déterminer l'expression de \(f=F^{\prime}\), puis justifier que

\[
f^{\prime}: x \longmapsto \frac{\mathrm{e}^{x}\left(1-\mathrm{e}^{x}\right)}{\left(1+\mathrm{e}^{x}\right)^{3}} .
\]

\begin{enumerate}
  \setcounter{enumi}{2}
  \item Dresser le tableau de variations des fonctions \(f\) et \(F\) sur \(\mathbb{R}\). On fera apparaître les limites aux bornes.
  \item Déterminer la parité des fonctions \(f\) et \(F-\frac{1}{2}\).
  \item Sur un schéma, tracer l'allure de la courbe de \(F\), en faisant apparaître tous les éléments remarquables (asymptotes, points d'inflexion notamment).
  \item Justifier que \(F\) réalise une bijection de \(\mathbb{R}\) sur un intervalle \(I\) (à déterminer), et donner l'expression de \(F^{-1}\) la fonction réciproque de \(F\).
\end{enumerate}

\section*{Partie 2}
\begin{enumerate}
  \setcounter{enumi}{6}
  \item Montrer que la série \(\sum_{n \geqslant 1} \frac{(-1)^{n-1}}{n^{2}}\) converge.
\end{enumerate}

On admet que

\[
\sum_{n=1}^{+\infty} \frac{(-1)^{n-1}}{n^{2}}=\frac{\pi^{2}}{12} .
\]

\begin{enumerate}
  \setcounter{enumi}{7}
  \item Justifier que \(f\) est une densité de probabilité, et que \(F\) est la fonction de répartition associée.
\end{enumerate}

Dans cette partie et dans la suivante, on note \(X\) une variable aléatoire réelle définie sur l'espace probabilisé ( \(\Omega, \mathscr{A}, P\) ) dont la fonction de répartition est \(F\), et dont \(f\) est une densité.

9: Justifier que \(X\) admet une espérance et une variance.\\
10. (a) En utilisant un résultat obtenu à la question 4 et à l'aide d'un changement de variable, montrer que

\[
\int_{-\infty}^{0} x f(x) \mathrm{d} x=-\int_{0}^{+\infty} x f(x) \mathrm{d} x .
\]

(b) En déduire la valeur de \(E(X)\).\\
11. Justifier que

\[
V(X)=2 \int_{0}^{+\infty} \frac{x^{2} \mathrm{e}^{x}}{\left(1+\mathrm{e}^{x}\right)^{2}} \mathrm{~d} x
\]

puis que

\[
V(X)=4 \int_{0}^{+\infty} \frac{x \mathrm{e}^{-x}}{1+\mathrm{e}^{-x}} \mathrm{~d} x
\]

\begin{enumerate}
  \setcounter{enumi}{11}
  \item Pour tout entier naturel \(n\) non nul, justifier la convergence et donner la valeur de \(\int_{0}^{+\infty} x \mathrm{e}^{-n x} \mathrm{~d} x\).
  \item Montrer que
\end{enumerate}

\[
\forall N \in \mathbb{N}^{*}, \quad V(X)=4\left(\sum_{n=1}^{N}\left((-1)^{n-1} \int_{0}^{+\infty} x e^{-n x} \mathrm{~d} x\right)+(-1)^{N} \int_{0}^{+\infty} R_{N}(x) \mathrm{d} x\right),
\]

où \(\forall N \in \mathbb{N}^{*}, \forall x \in \mathbb{R}_{+}, R_{N}(x)=\frac{x e^{-(N+1) x}}{1+e^{-x}}\).\\
14. (a) Montrer que \(\forall N \in \mathbb{N}^{*}, \forall x \in \mathbb{R}_{+},\left|R_{N}(x)\right| \leqslant x e^{-(N+1) x}\).\\
(b) Montrer que \(\int_{0}^{+\infty} R_{N}(x) \mathrm{d} x \underset{N \rightarrow+\infty}{\longrightarrow} 0\).\\
15. Déduire de toutes les questions précédentes que \(V(X)=\frac{\pi^{2}}{3}\).

\section*{Partie 3}
Dans cette partie, on considère une suite \(\left(X_{i}\right)_{i \in \mathbb{N}}\) de variables aléatoires réelles mutuellement indépendantes définies sur l'espace probabilisé ( \(\Omega, \mathscr{A}, P\) ), toutes de même loi que \(X\).\\
On admet que \(X^{2}\) admet une variance et que \(V\left(X^{2}\right)=\frac{16 \pi^{4}}{45}\).\\
16. Montrer que \(V_{n}=\frac{1}{n}\left(X_{1}^{2}+\cdots+X_{n}^{2}\right)\) converge en probabilité vers \(\frac{\pi^{2}}{3}\).\\
17. Construire une variable aléatoire \(T_{n}\) qui converge en probabilité vers \(\pi\). On justifiera précisément le résultat.\\
18. Montrer que si \(U\) est une variable aléatoire de loi uniforme sur \(] 0,1\left[\right.\), alors \(F^{-1}(U)\) suit la même loi que \(X\), où la fonction \(F\) est définie dans la partie 1.\\
19. La bibliothèque numpy.random est importée sous la dénomination rd.

On rappelle que la commande rd.random() renvoie un nombre aléatoire compris entre 0 et 1 selon une loi uniforme sur \([0,1[\).\\
Écrire une fonction en langage Python, nommée realisation\_X, ne prenant aucun argument en entrée et renvoyant une réalisation de la variable aléatoire \(X\).\\
20. Écrire une fonction en langage Python, nommée estimation\_pi, prenant un entier naturel \(n\) en entrée et renvoyant une estimation de \(\pi\) à l'aide de la question 17.\\
21. (a) Montrer qu'il existe un réel positif \(z\) tel que \(\Phi(z)=\int_{-\infty}^{z} \frac{1}{\sqrt{2 \pi}} \mathrm{e}^{-t^{2} / 2} \mathrm{~d} t=0,975\), où \(\Phi\) est la fonction de répartition de la loi normale centrée réduite.\\
On admet que \(z \leqslant 2\), ainsi que \(\pi \leqslant 4\).\\
(b) Montrer que

\[
P\left(\frac{3 \sqrt{5 n}}{4 \pi^{2}}\left|V_{n}-\frac{\pi^{2}}{3}\right| \leqslant z\right) \underset{n \rightarrow+\infty}{\longrightarrow} 0,95 .
\]

\# (c) En déduire un intervalle de confiance asymptotique de \(\frac{\pi^{2}}{3}\) au niveau de confiance \(95 \%\), ne dépendant ni de \(\pi\), ni de \(z\).\\
(d) En déduire un intervalle de confiance asymptotique de \(\pi\) au niveau de confiance \(95 \%\).\\
22. Dans la figure 2 , on a tracé l'évolution, en fonction de \(n\), de l'estimateur et de l'intervalle de confiance construits précédemment. Commenter la figure obtenue au regard des questions précédentes.

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{97a87a2b-41b2-4f1f-a8b9-66407ef1e318-6_650_814_2008_650}
\captionsetup{labelformat=empty}
\caption{Figure 2 - Estimation de \(\pi\)}
\end{center}
\end{figure}

\begin{enumerate}
  \setcounter{enumi}{22}
  \item Pour toutes les valeurs de \(n\) entre 1 et \(10^{3}\), on a répété 100 fois l'expérience précédente, et on a tracé dans la figure 3 la proportion de fois où \(\pi\) appartient bien à l'intervalle de confiance proposé (en traits plein), ainsi que la limite de \(95 \%\) (en traits hachurés). Commenter la figure obtenue.
\end{enumerate}

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{97a87a2b-41b2-4f1f-a8b9-66407ef1e318-7_686_894_474_579}
\captionsetup{labelformat=empty}
\caption{Figure 3 - Évaluation de la qualité de l'intervalle de confiance}
\end{center}
\end{figure}


\end{document}