\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{bbold} \begin{document} \section*{Ccricome} prepa\\ Mathématiques\\ Option Scientifique \section*{Mardi 16 avril 2019 de 8h00 à 12h00} Durée : 4 heures Candidats bénéficiant de la mesure « Tiers-temps » : 8h00-13h20 L'énoncé comporte 7 pages. \section*{CONSIGNES} TOUTES LES COPIES DOIVENT COMPORTER UN CODE-BARRES D'IDENTIFICATION.\\ 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} On considère la suite \(\left(I_{n}\right)_{n \geqslant 0}\) définie par : \[ \forall n \in \mathbb{N}, \quad I_{n}=\int_{0}^{\frac{\pi}{2}}(\cos t)^{n} \mathrm{~d} t . \] \begin{enumerate} \item Montrer que \(I_{n}\) est bien défini pour tout \(n \in \mathbb{N}\). \end{enumerate} Calculer \(I_{0}, I_{1}\) et \(I_{2}\).\\ 2.(a) Étudier la monotonie de la suite \(\left(I_{n}\right)_{n \geqslant 0}\). En déduire que la suite \(\left(I_{n}\right)_{n \geqslant 0}\) converge.\\ (b) À l'aide d'une intégration par parties, montrer que : \(\forall n \in \mathbb{N}, I_{n+2}=(n+1)\left(I_{n}-I_{n+2}\right)\).\\ (c) En déduire que: \(\forall n \in \mathbb{N}, I_{2 n}=\frac{(2 n)!}{\left(2^{n} n!\right)^{2}} \frac{\pi}{2}\) et \(I_{2 n+1}=\frac{\left(2^{n} n!\right)^{2}}{(2 n+1)!}\).\\ (d) Compléter la fonction I suivante, qui prend en entrée un entier positif \(n\), afin qu'elle retourne un vecteur y qui contient les \(2 n+2\) premiers termes de la suite \(\left(I_{n}\right)_{n \geqslant 0}\). \begin{verbatim} function y = I(n) u = zeros(1 , ........) u(0) = ........ u(1) = ........ for k = 1 : n ........ end y = u endfunction \end{verbatim} 3.(a) Rappeler un équivalent simple de \(x \longmapsto \cos (x)-1\) et \(u \longmapsto \ln (1+u)\) au voisinage de 0 .\\ (b) Montrer que \(n \ln \left(\cos \left(n^{-1 / 4}\right)\right) \underset{n \rightarrow+\infty}{\sim}-\frac{1}{2} \sqrt{n}\). En déduire \(\lim _{n \rightarrow+\infty}\left(\cos \left(n^{-1 / 4}\right)\right)^{n}\).\\ (c) Montrer que : \(\lim _{n \rightarrow+\infty}\left(\cos \left(n^{-2 / 3}\right)\right)^{n}=1\).\\ 4. (a) Montrer que pour tout \(n \in \mathbb{N}^{*}\) : \[ \int_{0}^{n^{-1 / 4}}(\cos t)^{n} \mathrm{~d} t \leqslant n^{-1 / 4} . \] (b) Montrer que pour tout \(n \in \mathbb{N}^{*}\) : \[ \int_{n^{-1 / 4}}^{\frac{\pi}{2}}(\cos t)^{n} \mathrm{~d} t \leqslant \frac{\pi}{2}\left(\cos \left(n^{-1 / 4}\right)\right)^{n} . \] (c) En déduire que \(\lim _{n \rightarrow+\infty} I_{n}=0\).\\ 5.(a) Montrer que pour tout \(n \in \mathbb{N}^{*}\) : \[ I_{n} \geqslant \int_{0}^{n^{-2 / 3}}(\cos t)^{n} \mathrm{~d} t \geqslant n^{-2 / 3}\left(\cos \left(n^{-2 / 3}\right)\right)^{n} . \] En déduire la nature de la série de terme général \(I_{n}\).\\ (b) Écrire une fonction en Scilab qui prend entrée un entier naturel \(n\) et qui renvoie en sortie le terme de rang \(n\) de la suite des sommes partielles associée à la série \(\sum_{n \geqslant 0} I_{n}\).\\ 6.(a) Montrer que pour tout réel \(t\) de \(]-\pi, \pi\left[: \cos (t)+1=\frac{2}{1+\tan ^{2}\left(\frac{t}{2}\right)}\right.\).\\ (b) À l'aide du changement de variable \(u=\tan \left(\frac{t}{2}\right)\), montrer que : \(\int_{0}^{\frac{\pi}{2}} \frac{d t}{1+\cos (t)}=1\).\\ (c) Montrer que pour tout entier \(n: \sum_{k=0}^{n}(-1)^{k} I_{k}=\int_{0}^{\frac{\pi}{2}} \frac{d t}{1+\cos (t)}-\int_{0}^{\frac{\pi}{2}} \frac{(-\cos (t))^{n+1}}{1+\cos (t)} d t\).\\ (d) Montrer que: \(\forall n \in \mathbb{N},\left|\int_{0}^{\frac{\pi}{2}} \frac{(-\cos (t))^{n+1}}{1+\cos (t)} d t\right| \leqslant I_{n+1}\).\\ (e) En déduire que la série \(\sum_{k \geqslant 0}(-1)^{k} I_{k}\) est convergente et déterminer sa somme. \section*{EXERCICE 2} Soit \(n\) un entier naturel supérieur ou égal à 2 .\\ On dit qu'un vecteur \(X=\left(\begin{array}{c}x_{1} \\ \vdots \\ x_{n}\end{array}\right)\) de \(\mathcal{M}_{n, 1}(\mathbb{R})\) est symétrique (respectivement antisymétrique) lorsque : \[ \forall i \in \llbracket 1, n \rrbracket, \quad x_{i}=x_{n+1-i}, \quad\left(\text { respectivement } x_{i}=-x_{n+1-i} \cdot\right) . \] On note \(F\) l'ensemble des vecteurs symétriques de \(\mathcal{M}_{n, 1}(\mathbb{R})\) et \(G\) l'ensemble des vecteurs antisymétriques de \(\mathcal{M}_{n, 1}(\mathbb{R})\).\\ On note \(S=\left(s_{i, j}\right) \in \mathcal{M}_{n}(\mathbb{R})\) la matrice définie par : \[ \forall(i, j) \in \llbracket 1, n \rrbracket^{2}, \quad s_{i, j}=\left\{\begin{array}{lll} 1 & \text { si } & i=n+1-j, \\ 0 & \text { si } & i \neq n+1-j . \end{array}\right. \] \section*{Partie A} Dans cette partie et uniquement dans cette partie, on étudie le cas particulier où \(n=3\). La matrice \(S\) est alors la suivante : \[ S=\left(\begin{array}{lll} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{array}\right) \] \begin{enumerate} \item Calculer \(S^{2}\). En déduire les valeurs propres de \(S\). \item Déterminer une base de \(F\) et de \(G\). \end{enumerate} Vérifier que \(F\) et \(G\) sont des sous-espaces propres de \(S\).\\ 3. En déduire que : \(F \oplus G=\mathcal{M}_{3,1}(\mathbb{R})\). \section*{Partie B} On revient dans la suite dans le cas général où \(n\) est un entier supérieur ou égal à 2 .\\ 4.(a) Expliciter \(S\) et justifier que \(S\) est diagonalisable.\\ (b) Calculer \(S X\) lorsque \(X=\left(\begin{array}{c}x_{1} \\ \vdots \\ x_{n}\end{array}\right)\).\\ (c) Pour \(i\) et \(j\) deux entiers de \(\llbracket 1, n \rrbracket\), expliciter le coefficient en ligne \(i\) et colonne \(j\) de \(S^{2}\) en fonction des coefficients \(s_{k, \ell}\) de \(S\). En déduire que \(S^{2}\) est la matrice identité d'ordre \(n\).\\ 5.(a) Soit \(X\) un vecteur de \(\mathcal{M}_{n, 1}(\mathbb{R})\). Montrer qu'il existe un unique couple ( \(Y, Z\) ) de vecteurs de \(\mathcal{M}_{n, 1}(\mathbb{R})\) tel que : \[ Y \in F, \quad Z \in G \quad \text { et } \quad X=Y+Z . \] (b) Montrer que \(F\) et \(G\) sont les sous-espaces propres de \(S\). Préciser les valeurs propres associées.\\ 6. Soit \(A=\left(a_{i, j}\right)_{1 \leqslant i, j \leqslant n}\) une matrice de \(\mathcal{M}_{n}(\mathbb{R})\) telle que : \[ \forall(i, j) \in \llbracket 1, n \rrbracket, \quad a_{i, n+1-j}=a_{n+1-i, j} . \] On considère \(\lambda\) une valeur propre de \(A\) et \(X\) un vecteur propre associé.\\ (a) Vérifier que \(A S=S A\).\\ (b) Montrer que \(S X\) est un vecteur propre de \(A\).\\ (c) On pose \(Y=X+S X\). Exprimer \(A Y\) en fonction de \(Y\) et \(\lambda\).\\ (d) En déduire que le sous-espace propre \(E_{\lambda}(A)\) associé à la valeur propre \(\lambda\) de \(A\) contient nécessairement un vecteur symétrique non nul ou un vecteur antisymétrique non nul. \section*{PROBLEME} Une urne contient initialement une boule blanche et une boule noire. On effectue une succession de tirages d'une boule dans cette urne. Après chaque tirage, on remet la boule tirée dans l'urne, et on rajoute dans l'urne une boule de couleur opposée à celle qui vient d'être tirée.\\ On suppose que cette expérience est modélisée par un espace probabilisé \((\Omega, \mathcal{T}, \mathbb{P})\).\\ Pour tout \(k \in \mathbb{N}\), on note \(X_{k}\) le nombre de boules blanches présentes dans l'urne juste avant le \((k+1)\)-ième tirage. En particulier, on a \(X_{0}=1\). On admet que pour tout entier \(k, X_{k}\) est une variable aléatoire de \((\Omega, \mathcal{T}, \mathbb{P})\). \section*{Partie A} \begin{enumerate} \item Déterminer la loi de \(X_{1}\). Donner son espérance et sa variance. \item Justifier soigneusement que la loi de \(X_{2}\) est donnée par : \end{enumerate} \[ \mathbb{P}\left(\left[X_{2}=1\right]\right)=\frac{1}{6}, \quad \mathbb{P}\left(\left[X_{2}=2\right]\right)=\frac{2}{3}, \quad \mathbb{P}\left(\left[X_{2}=3\right]\right)=\frac{1}{6} . \] \begin{enumerate} \setcounter{enumi}{2} \item Préciser l'ensemble \(X_{k}(\Omega)\) des valeurs que peut prendre \(X_{k}\). \item Soient \(i \in \mathbb{N}^{*}\) et \(j \in X_{k}(\Omega)\). Déterminer \(\mathbb{P}_{\left[X_{k}=j\right]}\left(\left[X_{k+1}=i\right]\right)\).\\ (On distinguera différents cas selon les valeurs relatives de \(i\) et \(j\) ). \item Déduire de ce qui précède que : \end{enumerate} \[ \forall k \in \mathbb{N}, \forall i \in \mathbb{N}^{*}, \quad \mathbb{P}\left(\left[X_{k+1}=i\right]\right)=\frac{i}{k+2} \mathbb{P}\left(\left[X_{k}=i\right]\right)+\frac{3+k-i}{k+2} \mathbb{P}\left(\left[X_{k}=i-1\right]\right) . \] \begin{enumerate} \setcounter{enumi}{5} \item À l'aide de la formule (*), déterminer la loi de \(X_{3}\).\\ 7.(a) Montrer que pour tout \(k \in \mathbb{N}: \mathbb{P}\left(\left[X_{k}=1\right]\right)=\frac{1}{(k+1)!}\).\\ (b) Déterminer pour tout \(k \in \mathbb{N}\), la valeur de \(\mathbb{P}\left(\left[X_{k}=k+1\right]\right)\).\\ (c) Pour tout \(k \in \mathbb{N}\), on pose : \(a_{k}=(k+1)!\times \mathbb{P}\left(\left[X_{k}=2\right]\right)\). \end{enumerate} Exprimer \(a_{k+1}\) en fonction de \(a_{k}\) et de \(k\).\\ Montrer que la suite \(\left(b_{k}\right)_{k \geqslant 0}\) définie par : \(\forall k \in \mathbb{N}, b_{k}=a_{k}+k+2\) est géométrique.\\ En déduire alors que : \[ \forall k \in \mathbb{N}, \mathbb{P}\left(\left[X_{k}=2\right]\right)=\frac{2^{k+1}-k-2}{(k+1)!} \] \section*{Partie B} \begin{enumerate} \setcounter{enumi}{7} \item Que renvoie la fonction Scilab suivante pour un entier \(k\) non nul? \end{enumerate} Détailler le fonctionnement de la ligne 5. \begin{verbatim} function x = mystere( k ) n = 1 ; b = 1 ; for i = 1 : k r = floor(rand()*(n+b)+1) if r > n then n = n + 1 else b = b + 1 end end x = b endfunction \end{verbatim} \begin{enumerate} \setcounter{enumi}{8} \item Écrire une fonction Scilab d'en-tête function LE \(=\) loi-exp( \(\mathrm{k}, \mathrm{N}\) ) qui prend en entrée un entier strictement positif \(k\) et un entier \(N\), qui effectue \(N\) simulations de \(k\) tirages successifs dans l'urne et qui retourne un vecteur LE qui contient une estimation de la loi de \(X_{k}\) (c'est-à-dire que pour chaque \(i \in \llbracket 1, k+1 \rrbracket\), LE(i) contient la fréquence d'apparition de l'événement \(\left[X_{k}=i\right]\) au cours des \(N\) simulations).\\ On pourra utiliser la fonction mystere. \item Recopier et compléter la fonction loi-theo suivante, qui prend en entrée un entier strictement positif \(n\), afin qu'elle retourne un vecteur LT qui contient la loi théorique de \(X_{n}\). \end{enumerate} \begin{verbatim} function LT = loi-theo(n) M = zeros(n , n + 1) M(1,1) = 1 / 2 M(1,2) = 1 / 2 for k = 1 : n - 1 M(k+1,1) = ........ for i = 2 : k + 1 M(k+1, i) = ........ end M(k+1,k+2) = ........ end LT = ........ endfunction \end{verbatim} \begin{enumerate} \setcounter{enumi}{10} \item Un étudiant nous propose comme loi de \(X_{5}\) le résultat suivant : \end{enumerate} \begin{center} \begin{tabular}{|c|c|c|c|c|c|c|} \hline \(k\) & 1 & 2 & 3 & 4 & 5 & 6 \\ \hline \(\mathbb{P}\left(\left[X_{5}=k\right]\right)\) & 0.001368 & 0.079365 & 0.419434 & 0.418999 & 0.079454 & 0.00138 \\ \hline \end{tabular} \end{center} A-t-il utilisé loi-exp ou bien loi-theo? \section*{Partie C} 12.(a) À l'aide de la formule (*), montrer que : \[ \forall k \in \mathbb{N}, E\left(X_{k+1}\right)=\frac{k+1}{k+2} E\left(X_{k}\right)+1 . \] (b) Déduire de ce qui précède que : \[ \forall k \in \mathbb{N}, E\left(X_{k}\right)=\frac{k+2}{2} . \] (c) Soit \(Y_{k}\) la variable aléatoire égale au nombre de boules noires présentes dans l'urne après \(k\) tirages.\\ Justifier que \(X_{k}\) et \(Y_{k}\) ont même espérance, puis retrouver le résultat de la question précédente.\\ On admettra pour la suite que : \[ \forall k \in \mathbb{N}^{*}, \quad V\left(X_{k}\right)=\frac{k+2}{12} . \] \begin{enumerate} \setcounter{enumi}{12} \item (a) Soit \(\alpha>0\). Montrer que : \end{enumerate} \[ \lim _{k \rightarrow+\infty} \mathbb{P}\left(\left|\frac{X_{k}}{k+2}-\frac{1}{2}\right|<\alpha\right)=1 . \] (b) Interpréter ce résultat et le justifier intuitivement. \section*{Partie D} \begin{enumerate} \setcounter{enumi}{13} \item Pour tout couple d'entiers \((i, j)\) tels que \(1 \leqslant j1\), \[ P_{i, i}(X)=-\sum_{j=1}^{i-1} P_{i, j}(0) . \] \begin{enumerate} \setcounter{enumi}{14} \item (a) Vérifier que : \(P_{2,1}(X)=-X-2\), puis calculer \(P_{2,2}(X)\).\\ (b) Vérifier que : \(P_{3,2}(X)=-2 X-4\). \end{enumerate} On admettra dans la suite que : \(P_{3,1}(X)=\frac{1}{2} X^{2}+\frac{3}{2} X+1\) et \(P_{3,3}(X)=3\). \section*{Cócricome} \begin{enumerate} \setcounter{enumi}{15} \item On considère, pour tout entier \(i\) de \(\mathbb{N}^{*}\), la propriété suivante : \end{enumerate} \[ \mathcal{H}_{i}: \ll \forall k \in \mathbb{N}, \mathbb{P}\left(\left[X_{k}=i\right]\right)=\frac{1}{(k+1)!} \sum_{j=1}^{i} P_{i, j}(k) j^{k} \gg . \] On souhaite montrer par récurrence que, pour tout \(i\) de \(\mathbb{N}^{*}, \mathcal{H}_{i}\) est vraie.\\ (a) Montrer que \(\mathcal{H}_{1}\) est vraie.\\ (b) Soit \(i>1\). On suppose que \(\mathcal{H}_{i-1}\) est vraie et on pose: \[ \forall k \in \mathbb{N}, \alpha_{k}=(k+1)!\mathbb{P}\left(\left[X_{k}=i\right]\right)-\sum_{j=1}^{i-1} P_{i, j}(k) j^{k} . \] En utilisant la formule \((*)\) et la relation \((3+X-i) P_{i-1, j}(X)=\varphi_{i, j}\left(P_{i, j}(X)\right)\), montrer que la suite \(\left(\alpha_{k}\right)_{k \geqslant 0}\) est géométrique.\\ Déterminer \(\alpha_{0}\) et en déduire que \(\mathcal{H}_{i}\) est vraie.\\ (c) Conclure.\\ 17.(a) En utilisant le résultat de la question 15(a), retrouver le résultat de la question 7(c).\\ (b) Déterminer \(\mathbb{P}\left(\left[X_{k}=3\right]\right)\) pour tout \(k \in \mathbb{N}^{*}\). \end{document}