\documentclass[10pt]{article} \usepackage[french]{babel} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{graphicx} \usepackage[export]{adjustbox} \graphicspath{ {./images/} } \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage[version=4]{mhchem} \usepackage{stmaryrd} \usepackage{caption} \usepackage{bbold} \usepackage{mathrsfs} \begin{document} \captionsetup{singlelinecheck=false} \section*{CONCOURS D'ADMISSION 2024} \includegraphics[max width=\textwidth, alt={}, center]{4cf9945e-7900-43a7-abf2-ef65ca0b74c3-1_625_503_584_0}\\ \includegraphics[max width=\textwidth, alt={}, center]{4cf9945e-7900-43a7-abf2-ef65ca0b74c3-1_332_1025_639_568} \section*{Mathématiques Approfondies} Série ECG\\ Lundi 15 avril 2024 de 8 hOO à 12 h 00\\ Durée : 4 heures\\ Candidats bénéficiant de la mesure « Tiers-temps » :\\ 8h00-13h20 \section*{L'énoncé comporte 7 pages.} \section*{INSTRUCTIONS} 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 communicants 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} À toutes fins utiles, on donne \(31^{2}=961,32^{2}=1024,3^{4}=81\) et \(4^{4}=256\). \begin{enumerate} \item Rappeler en fonction du réel \(\alpha\), la nature de la série \(\sum_{n \geqslant 1} \frac{1}{n^{\alpha}}\) et de l'intégrale \(\int_{1}^{+\infty} \frac{\mathrm{d} t}{t^{\alpha}}\). \end{enumerate} On note alors \(S=\sum_{n=1}^{+\infty} \frac{1}{n^{2}}\) et pour tout entier naturel \(N\) non nul : \(S_{N}=\sum_{n=1}^{N} \frac{1}{n^{2}}\) et \(R_{N}=\sum_{n=N+1}^{+\infty} \frac{1}{n^{2}}\).\\ 2. (a) En étudiant la monotonie de la fonction \(t \longmapsto \frac{1}{t^{2}}\), montrer que pour tout entier naturel \(n\) supérieur ou égal à 2 : \[ \int_{n}^{n+1} \frac{\mathrm{~d} t}{t^{2}} \leqslant \frac{1}{n^{2}} \leqslant \int_{n-1}^{n} \frac{\mathrm{~d} t}{t^{2}} \] (b) En déduire que pour tout entier naturel \(N\) non nul : \[ \frac{1}{N+1} \leqslant R_{N} \leqslant \frac{1}{N} \] \begin{enumerate} \setcounter{enumi}{2} \item Déterminer un entier naturel \(N_{0}\) tel que: \(\forall N \geqslant N_{0},\left|S_{N}-S\right| \leqslant 10^{-3}\). \item On pose pour tout entier naturel \(N\) non nul : \(T_{N}=S_{N}+\frac{1}{N+1}\).\\ (a) Montrer que pour tout entier naturel \(N\) non nul : \end{enumerate} \[ \left|T_{N}-S\right| \leqslant \frac{1}{N^{2}} \] (b) Déterminer un entier naturel \(N_{1}\) strictement inférieur à \(N_{0}\) tel que \(\forall N \geqslant N_{1},\left|T_{N}-S\right| \leqslant 10^{-3}\). On pose maintenant pour tout couple \((n, p)\) d'entiers naturels non nuls : \[ u_{n}(p)=\frac{1}{n(n+1) \ldots(n+p)} \] \begin{enumerate} \setcounter{enumi}{4} \item Soit \(p\) un entier naturel non nul.\\ (a) Donner un équivalent simple de \(u_{n}(p)\) lorsque \(n\) tend vers \(+\infty\).\\ (b) En déduire la nature de la série \(\sum_{n \geqslant 1} u_{n}(p)\). \end{enumerate} On pose pour tout entier naturel \(p\) non nul : \[ U(p)=\sum_{n=1}^{+\infty} u_{n}(p) \] \begin{enumerate} \setcounter{enumi}{5} \item (a) Déterminer deux réels \(a, b\) vérifiant pour tout entier naturel \(n\) non nul : \(u_{n}(1)=\frac{a}{n}+\frac{b}{n+1}\).\\ (b) En déduire la valeur de \(U(1)\). \item (a) Exprimer, pour tout couple d'entiers naturels \((n, p)\) tel que \(n \geqslant 1\) et \(p \geqslant 2, u_{n}(p-1)-u_{n+1}(p-1)\) en fonction de \(p\) et de \(u_{n}(p)\).\\ (b) Montrer que pour tout entier naturel \(p\) non nul : \(U(p)=\frac{1}{p \cdot p!}\). \item (a) Montrer, par récurrence sur \(p\), que pour tout entier naturel \(p\) non nul, pour tout entier naturel \(n\) non nul : \end{enumerate} \[ \frac{1}{n^{2}}=\frac{p!}{n^{2}(n+1) \ldots(n+p)}+\sum_{k=1}^{p}(k-1)!u_{n}(k) \] (b) En déduire que pour tout entier naturel \(p\) non nul : \(\sum_{n \geqslant 1} \frac{1}{n^{2}(n+1) \ldots(n+p)}\) converge et \[ S=\sum_{k=1}^{p} \frac{1}{k^{2}}+p!\sum_{n=1}^{+\infty} \frac{1}{n^{2}(n+1) \ldots(n+p)} . \] \begin{enumerate} \setcounter{enumi}{8} \item En reprenant la méthode de la question 2 , que l'on appliquera cette fois à la fonction \(x \longmapsto \frac{1}{x^{p+2}}\), montrer que pour tout couple ( \(N, p\) ) d'entiers naturels non nuls : \end{enumerate} \[ 0 \leqslant \sum_{n=N+1}^{+\infty} \frac{1}{n^{2}(n+1) \ldots(n+p)} \leqslant \frac{1}{p+1} \cdot \frac{1}{N^{p+1}} \] \begin{enumerate} \setcounter{enumi}{9} \item On suppose maintenant que \(p=3\). On pose donc pour tout entier naturel \(N\) non nul : \end{enumerate} \[ U_{N}=\sum_{k=1}^{3} \frac{1}{k^{2}}+3!\sum_{n=1}^{N} \frac{1}{n^{2}(n+1)(n+2)(n+3)}=\frac{49}{36}+6 \sum_{n=1}^{N} \frac{1}{n^{2}(n+1)(n+2)(n+3)} . \] Déterminer un entier \(N_{2}\) tel que \(\forall N \geqslant N_{2},\left|U_{N}-S\right| \leqslant 10^{-3}\).\\ 11. On représente sur la figure 1 l'évolution des erreurs d'approximation de \(S\) par \(S_{N}, T_{N}\) et \(U_{N}\), respectivement. Commenter ce graphique, à la lumière des réponses apportées aux questions précédentes. \begin{figure}[h] \begin{center} \includegraphics[alt={},max width=\textwidth]{4cf9945e-7900-43a7-abf2-ef65ca0b74c3-3_583_769_1375_646} \captionsetup{labelformat=empty} \caption{Figure 1 - Évolution des erreurs d'approximation de \(S\) par \(S_{N}, T_{N}\) et \(U_{N}\).} \end{center} \end{figure} \section*{Exercice 2} Dans cet exercice, \(n\) désigne un entier naturel non nul, \(x_{0}, \ldots, x_{n}\) des réels deux à deux distincts. \section*{Partie 1} On considère l'application : \[ \Phi:\left\{\begin{array}{ccc} \mathbb{R}_{n}[x] & \longrightarrow & \mathbb{R}^{n+1} \\ P & \longmapsto & \left(P\left(x_{0}\right), \ldots, P\left(x_{n}\right)\right) \end{array} .\right. \] On rappelle que si deux polynômes de degré au plus \(m\) coïncident en \(m+1\) points distincts, alors ils sont égaux ( \(m\) étant un entier naturel). \begin{enumerate} \item (a) Montrer que \(\Phi\) est une application linéaire injective.\\ (b) En déduire que pour tout élément \(\left(y_{0}, \ldots, y_{n}\right)\) de \(\mathbb{R}^{n+1}\), il existe un unique polynôme \(P\) de degré au plus \(n\) vérifiant \(P\left(x_{0}\right)=y_{0}, \ldots, P\left(x_{n}\right)=y_{n}\).\\ Un tel polynôme \(P\) est appelé polynôme d'interpolation de Lagrange associé aux points \(\left(x_{0}, y_{0}\right), \ldots,\left(x_{n}, y_{n}\right)\). \item Montrer que pour tout entier naturel \(i\) de \(\llbracket 0, n \rrbracket\), il existe un unique polynôme \(L_{i}\) de \(\mathbb{R}_{n}[x]\) vérifiant \end{enumerate} \[ \forall j \in \llbracket 0, n \rrbracket, L_{i}\left(x_{j}\right)= \begin{cases}1 & \text { si } i=j, \\ 0 & \text { si } i \neq j .\end{cases} \] \begin{enumerate} \setcounter{enumi}{2} \item Dans cette question uniquement, on suppose que \(x_{0}=-1, x_{1}=1, x_{2}=2\) et \(x_{3}=3\). \end{enumerate} Expliciter les polynômes \(L_{0}, L_{1}, L_{2}\) et \(L_{3}\).\\ 4. Montrer que pour tout entier \(i\) de \(\llbracket 0, n \rrbracket, L_{i}(x)=\frac{\prod_{\substack{j=0 \\ j \neq i}}^{n}\left(x-x_{j}\right)}{\prod_{\substack{j=0 \\ j \neq i}}^{n}\left(x_{i}-x_{j}\right)}\). En déduire pour tout entier \(i\) de \(\llbracket 0, n \rrbracket\), le degré de \(L_{i}\) et son coefficient dominant.\\ \(\mathscr{L}\) désigne la famille \(\left(L_{0}, \ldots, L_{n}\right)\). On considère maintenant pour \(P\) et \(Q\) deux polynômes de \(\mathbb{R}_{n}[x]\) : \[ \langle P, Q\rangle=\sum_{k=0}^{n} P\left(x_{k}\right) Q\left(x_{k}\right) \] \begin{enumerate} \setcounter{enumi}{4} \item Montrer que \(\langle\cdot, \cdot\rangle\) est un produit scalaire sur \(\mathbb{R}_{n}[x]\). \item Montrer que \(\mathscr{L}\) est une base orthonormée de \(\mathbb{R}_{n}[x]\) pour ce produit scalaire. \item Montrer que le ( \(n+1\) )-uplet des coordonnées d'un polynôme \(P\) de \(\mathbb{R}_{n}[x]\) dans la base \(\mathscr{L}\) est \(\left(P\left(x_{0}\right), \ldots, P\left(x_{n}\right)\right)\). \end{enumerate} \section*{Partie 2} On pose maintenant \(N_{0}=1\) et pour tout entier naturel \(i\) de \(\llbracket 1, n \rrbracket\) : \[ N_{i}(x)=\prod_{j=0}^{i-1}\left(x-x_{j}\right) \] \begin{enumerate} \setcounter{enumi}{7} \item Dans cette question uniquement, on suppose que \(x_{0}=-1, x_{1}=1, x_{2}=2\) et \(x_{3}=3\).\\ (a) Expliciter les polynômes \(N_{0}, N_{1}, N_{2}\) et \(N_{3}\).\\ (b) Pour tout entier \(i\) de \(\llbracket 0,3 \rrbracket\), déterminer les coordonnées ( \(m_{0, i}, m_{1, i}, m_{2, i}, m_{3, i}\) ) de \(N_{i}\) dans la base ( \(L_{0}, L_{1}, L_{2}, L_{3}\) ). On note alors \(M\) la matrice \(\left(m_{i-1, j-1}\right)_{1 \leqslant i, j \leqslant 4}\).\\ (c) Montrer que \(M\) est inversible et déterminer \(M^{-1}\). \item Montrer que \(\mathscr{N}=\left(N_{0}, \ldots, N_{n}\right)\) est une base de \(\mathbb{R}_{n}[x]\). \item (a) Montrer que \(N_{0}=\sum_{k=0}^{n} L_{k}\).\\ (b) Montrer que pour tout entier naturel \(i\) de \(\llbracket 0, n \rrbracket, N_{i}=\sum_{k=1}^{n} \prod_{j=0}^{i-1}\left(x_{k}-x_{j}\right) L_{k}\). \item Donner la matrice de passage \(A\) de la base \(\mathscr{L}\) vers la base \(\mathscr{N}\). La base \(\mathscr{N}\) est-elle orthonormée? \end{enumerate} On considère \(n+1\) points \(X_{0}=\left(x_{0}, y_{0}\right), \ldots, X_{n}=\left(x_{n}, y_{n}\right)\).\\ Pour tout entier naturel \(k\) de \(\llbracket 0, n \rrbracket\), on note \(P_{k}\) le polynôme d'interpolation de Lagrange associé aux points \(X_{0}, \ldots, X_{k}\) : c'est l'unique polynôme de degré au plus \(k\) vérifiant \(P_{k}\left(x_{0}\right)=y_{0}, \ldots, P_{k}\left(x_{k}\right)=y_{k}\).\\ 12. Justifier l'existence et l'unicité des \(n+1\) réels \(a_{0}, \ldots, a_{n}\) tels que \[ P_{n}(x)=a_{0} N_{0}(x)+a_{1} N_{1}(x)+\cdots+a_{n} N_{n}(x) . \] \begin{enumerate} \setcounter{enumi}{12} \item Dans cette question uniquement, on admet que \(a_{0}=y_{0}\) et que pour tout entier naturel \(k\) de \(\llbracket 1, n \rrbracket, a_{k}=\sum_{i=0}^{k} \frac{y_{i}}{\prod_{\substack{j=0 \\ j \neq i}}^{k}\left(x_{i}-x_{j}\right)}\). \end{enumerate} Considérons que les données sont représentées par deux matrices \(X\) et \(Y\) \[ X=\left(\begin{array}{c} x_{0} \\ \vdots \\ x_{n} \end{array}\right) \quad \text { et } \quad Y=\left(\begin{array}{c} y_{0} \\ \vdots \\ y_{n} \end{array}\right) . \] En Python, on représentera cela par deux matrices, au format numpy. array, comportant chacun \(n+1\) lignes et 1 colonne.\\ (a) Écrire une fonction, en langage Python, nommée prodX prenant en entrée \(X\), un entier \(i\) et un entier \(k\) et qui renvoie le produit \(\prod_{\substack{j=0 \\ j \neq i}}^{k}\left(x_{i}-x_{j}\right)\).\\ (b) Écrire une fonction, en langage Python, nommée coeff prenant en entrée \(X\) et \(Y\) et qui renvoie les coefficients \(a_{0}, \ldots, a_{n}\) sous forme d'une matrice.\\ (c) Comment utiliser cette fonction pour trouver l'inverse de la matrice de passage \(A\) définie à la question 11 ? Combien d'appels de cette fonction sont nécessaires?\\ 14. (a) Montrer que \(a_{0}=y_{0}\) et que \(a_{n}\) est le coefficient du monôme de degré \(n\) de \(P_{n}(x)\).\\ (b) Justifier que \(P_{n}(x)=\sum_{i=0}^{n} y_{i} L_{i}(x)\).\\ (c) En déduire que \(a_{n}=\sum_{i=0}^{n} \frac{y_{i}}{\prod_{\substack{j=0 \\ j \neq i}}^{n}\left(x_{i}-x_{j}\right)}\).\\ 15. Soit \(k\) un entier naturel de \(\llbracket 1, n-1 \rrbracket\). On pose \(Q_{k}(x)=\sum_{j=0}^{k} a_{j} N_{j}(x)\).\\ (a) Montrer que \(Q_{k}\) est un élément de \(\mathbb{R}_{k}[x]\).\\ (b) Montrer que, pour tout entier \(i\) de \(\llbracket 1, k \rrbracket, Q_{k}\left(x_{i}\right)=y_{i}\).\\ (c) En déduire que \(P_{k}(x)=a_{0} N_{0}(x)+\ldots+a_{k} N_{k}(x)\).\\ (d) Montrer que \(a_{k}=\sum_{i=0}^{k} \frac{y_{i}}{\prod_{\substack{j=0 \\ j \neq i}}^{k}\left(x_{i}-x_{j}\right)}\). \section*{Problème} \section*{Partie 1} On considère un paramètre réel \(a>0\), et l'on définit la fonction \(f\) sur \(\mathbb{R}\) par : \[ \forall x \in \mathbb{R}, \quad f(x)=\frac{a}{\pi\left(x^{2}+a^{2}\right)} . \] \begin{enumerate} \item Justifier que \(f\) est une densité de probabilité. \item Montrer que la fonction de répartition associée à \(f\) est la fonction définie sur \(\mathbb{R}\) par : \end{enumerate} \[ F: x \longmapsto \frac{1}{\pi} \arctan \left(\frac{x}{a}\right)+\frac{1}{2} . \] Si une variable aléatoire réelle \(X\) a pour densité la fonction \(f\), on dit que \(X\) suit la loi de Cauchy de paramètre \(a>0\). Lorsque \(a=1\), on dit que \(X\) suit la loi de Cauchy standard.\\ 3. Une variable aléatoire \(X\) suivant une loi de Cauchy admet-elle une espérance?\\ 4. Soit \(X\) une variable aléatoire réelle. Montrer que \(X\) suit la loi de Cauchy standard si et seulement si \(a X\) suit la loi de Cauchy de paramètre \(a\).\\ 5. Soit \(k\) un entier naturel non nul. Soit \(x\) un réel non nul. Soit \(g\) la fonction définie sur \(\mathbb{R}\) par \(g(t)=\frac{1}{\left(t^{2}+k^{2}\right)\left((x-t)^{2}+1\right)}\).\\ On admet qu'il existe des réels \(\alpha, \beta, \gamma\) tels que pour tout réel \(t, g(t)=\frac{\alpha t+\beta}{t^{2}+k^{2}}+\frac{\alpha(x-t)+\gamma}{(x-t)^{2}+1}\).\\ (a) Montrer que \(\left\{\begin{aligned} \beta+\gamma & =\alpha x \\ \alpha\left(x^{2}+1-k^{2}\right) & =2 \beta x \\ \beta\left(x^{2}+1\right)+\alpha x k^{2}+\gamma k^{2} & =1\end{aligned}\right.\)\\ (b) En déduire que \(\left\{\begin{aligned} \beta\left(x^{2}+k^{2}+1\right)+2 \gamma k^{2} & =1 \\ 2 \beta+\gamma\left(x^{2}+k^{2}+1\right) & =1\end{aligned}\right.\)\\ (c) Montrer finalement que \(\beta+\gamma k=\frac{k+1}{x^{2}+(k+1)^{2}}\).\\ (d) Montrer que la fonction \(G\) définie sur \(\mathbb{R}\) par : \[ G(t)=\frac{\alpha}{2} \ln \left(\frac{t^{2}+k^{2}}{(x-t)^{2}+1}\right)+\frac{\beta}{k} \arctan \left(\frac{t}{k}\right)+\gamma \arctan (t-x) \] est une primitive de \(g\).\\ 6. Soit \(k\) un entier naturel non nul. Soit \(X\) une variable aléatoire de loi de Cauchy de paramètre \(k\) et \(Y\) une variable aléatoire de loi de Cauchy standard, indépendante de \(X\). On admet que \(X+Y\) est une variable aléatoire à densité.\\ (a) Montrer que la fonction \(\varphi\) est une densité de \(X+Y\) où \(\varphi\) est la fonction définie par : \[ \forall x \in \mathbb{R}^{*}, \varphi(x)=\frac{k}{\pi^{2}}\left(\lim _{t \rightarrow+\infty}(G(t))-\lim _{t \rightarrow-\infty}(G(t))\right) . \] (b) En déduire que \(X+Y\) suit une loi de Cauchy de paramètre \(k+1\).\\ 7. Montrer par récurrence sur \(k\) que, pour tout \(k\) entier naturel non nul, si \(X_{1}, \ldots, X_{k}\) sont des variables aléatoires mutuellement indépendantes et suivant toutes la loi de Cauchy de paramètre \(a\), alors \(X_{1}+\cdots+X_{k}\) suit la loi de Cauchy de paramètre \(k a\).\\ On pourra se ramener à la question précédente en utilisant la question 4. \section*{Partie 2} \begin{enumerate} \setcounter{enumi}{7} \item Soit \(U\) une variable aléatoire suivant la loi uniforme sur \([0,1]\). \end{enumerate} Montrer que \(Y=a \cdot \tan \left(\pi\left(U-\frac{1}{2}\right)\right)\) suit la loi de Cauchy de paramètre \(a\).\\ 9. Écrire une fonction en langage Python, nommée cauchy, prenant en argument un nombre flottant \(a>0\) et simulant une variable aléatoire suivant la loi de Cauchy de paramètre \(a\). Soient \(n\) un entier naturel non nul, \(X_{1}, \ldots, X_{n}\) des variables aléatoires indépendantes suivant toutes la même loi que \(X\) et \(\bar{X}_{n}=\frac{X_{1}+\cdots+X_{n}}{n}\).\\ 10. Écrire une fonction en langage Python, nommée realisation, prenant en argument un entier \(n\) et un réel \(a\) et renvoyant un vecteur de taille \(n\) contenant une réalisation du \(n\)-uplet ( \(X_{1}, \ldots, X_{n}\) ).\\ 11. Écrire une fonction en langage Python, nommée moyennes, prenant en argument un entier \(n\) et un réel \(a\) et renvoyant un vecteur de taille \(n\) contenant une réalisation de ( \(\bar{X}_{1}, \ldots, \bar{X}_{n}\) ).\\ 12. On a représenté sur la figure 2 l'évolution de trois réalisations de ces vecteurs. Commenter cette figure. \begin{figure}[h] \begin{center} \includegraphics[alt={},max width=\textwidth]{4cf9945e-7900-43a7-abf2-ef65ca0b74c3-7_362_1618_1160_194} \captionsetup{labelformat=empty} \caption{Figure 2 - Trois réalisations de ( \(\bar{X}_{1}, \ldots, \bar{X}_{n}\) ).} \end{center} \end{figure} \section*{Partie 3} On considère une suite \(\left(X_{n}\right)_{n \in \mathbb{N}}\) de variables aléatoires mutuellement indépendantes et suivant toutes la loi de Cauchy de paramètre réel \(a\) strictement positif. On considère un paramètre réel \(M\) strictement, et l'on pose pour tout entier naturel non nul \(n\) : \[ Y_{n}= \begin{cases}1 & \text { si }\left|X_{n}\right| \leqslant M, \\ 0 & \text { si }\left|X_{n}\right|>M .\end{cases} \] On pose enfin pour tout entier naturel \(n\) non nul : \[ \bar{Y}_{n}=\frac{Y_{1}+\cdots+Y_{n}}{n} . \] \begin{enumerate} \setcounter{enumi}{12} \item Déterminer la loi de \(Y_{n}\), d'abord en fonction de \(F(M)\), puis uniquement en fonction de \(a\) et de \(M\). \item Démontrer que \(\bar{Y}_{n}\) converge en probabilité vers une variable aléatoire certaine égale à \(p(a)=\frac{2}{\pi} \arctan \left(\frac{M}{a}\right)\). \item (a) Justifier que \(0