\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} \usepackage{mathrsfs} \title{Conception : EDHEC } \author{} \date{} \begin{document} \maketitle \section*{OPTION SCIENTIFIQUE} \section*{MATHÉMATIQUES} 8 mai 2018 , de 8 h. à 12 h. La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté et la précision des raisonnements entreront pour une part importante dans l'appréciation des copies.\\ Les candidats sont invités à encadrer, dans la mesure du possible, les résultats de leurs calculs.\\ Ils ne doivent faire usage d'aucun document ; seule l'utilisation d'une règle graduée est autorisée.\\ L'utilisation de toute calculatrice et de tout matériel électronique est interdite.\\ Si au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il la signalera sur sa copie et poursuivra sa composition en expliquant les raisons des initiatives qu'il sera amené à prendre. \section*{Exercice 1} \begin{enumerate} \item Pour tout entier naturel \(n\) supérieur ou égal à 2 , on pose \(a_{n}=\frac{1}{n \ln n}\).\\ a) Montrer que, pour tout entier naturel \(k\) supérieur ou égal à 2 , on a : \(\int_{k}^{k+1} \frac{1}{t \ln t} d t \leq \frac{1}{k \ln k}\).\\ b) En déduire, par sommation, la nature de la série de terme général \(a_{n}\). \end{enumerate} Dans la suite, on considère la fonction \(f\) définie par : \[ f(x)=\left\{\begin{array}{l} \left.\frac{-x}{(1-x) \ln (1-x)} \text { si } x \in\right]-\infty, 0[\cup] 0,1[ \\ 1 \text { si } x=0 \end{array}\right. \] \begin{enumerate} \setcounter{enumi}{1} \item a) Montrer que \(f\) est continue sur \(]-\infty, 1[\).\\ b) Montrer que \(f\) est dérivable en 0 et donner la valeur de \(f^{\prime}(0)\). \item a) Montrer que \(f\) est dérivable sur \(]-\infty, 0[\) et sur \(] 0,1\left[\right.\), puis calculer \(f^{\prime}(x)\) pour tout \(x\) de \(]-\infty, 0[\cup] 0,1[\).\\ b) Étudier le signe de la quantité \(\ln (1-x)+x\), lorsque \(x\) appartient à \(]-\infty, 1[\), puis en déduire les variations de \(f\).\\ c) Déterminer les limites de \(f\) aux bornes de son ensemble de définition, puis dresser son tableau de variation. \item a) Établir que, pour tout \(n\) de \(\mathbb{N}^{*}\), il existe un seul réel de \(\left[0,1\left[\right.\right.\), noté \(u_{n}\), tel que \(f\left(u_{n}\right)=n\) et donner la valeur de \(u_{1}\).\\ b) Montrer que la suite \(\left(u_{n}\right)\) converge et que \(\lim _{n \rightarrow+\infty} u_{n}=1\).\\ c) Pour tout entier naturel \(n\) non nul, calculer \(f\left(1-\frac{1}{n \sqrt{n}}\right)\) puis en déduire qu'il existe un entier naturel \(n_{0}\) tel que, pour tout entier \(n\) supérieur ou égal à \(n_{0}\), on a : \(u_{n} \leq 1-\frac{1}{n \sqrt{n}}\).\\ d) En déduire, à l'aide de la première question, que la série de terme général \(\frac{-1}{n \ln \left(1-u_{n}\right)}\) est divergente.\\ e) Conclure, en revenant à la définition de \(u_{n}\), que la série de terme général \(1-u_{n}\) est divergente. \end{enumerate} \section*{Exercice 2} On désigne par \(n\) et \(p\) deux entiers naturels supérieurs ou égaux à \(l\).\\ On se place dans l'espace euclidien \(\mathbb{R}^{p}\). Le produit scalaire canonique des vecteurs \(x\) et \(y\) de \(\mathbb{R}^{p}\) est noté \(\langle x, y\rangle\) et la norme du vecteur \(x\) est notée \(\|x\|\). \begin{enumerate} \item Dans cette question, on considère \(n\) vecteurs \(u_{1}, u_{2}, \ldots, u_{n}\) de \(\mathbb{R}^{p}\), tous de norme égale à 1 . \end{enumerate} À tout \(n\)-uplet \(x=\left(x_{1}, x_{2}, \ldots, x_{n}\right)\), on associe le vecteur \(w_{x}=\sum_{k=1}^{n} x_{k} u_{k}\).\\ On se propose de montrer qu'il existe des \(n\)-uplets \(x=\left(x_{1}, x_{2}, \ldots, x_{n}\right)\), dont les coordonnées sont éléments de \(\{-1,1\}\), pour lesquels \(\left\|w_{x}\right\| \leq \sqrt{n}\) et d'autres pour lesquels \(\left\|w_{x}\right\| \geq \sqrt{n}\).\\ À cet effet, on considère \(n\) variables aléatoires \(X_{1}, X_{2}, \ldots, X_{n}\), toutes définies sur le même espace probabilisé \((\Omega, A, P)\), indépendantes, et telles que pour tout \(k\) de \(\llbracket 1, n \rrbracket\), on ait : \[ P\left(X_{k}=1\right)=P\left(X_{k}=-1\right)=\frac{1}{2} \] On considère l'application \(X\), qui, à tout \(\omega\) de \(\Omega\), associe le réel \(X(\omega)=\left\|\sum_{k=1}^{n} X_{k}(\omega) u_{k}\right\|^{2}\).\\ On admet que \(X\) est une variable aléatoire définie, elle aussi, sur \((\Omega, A, P)\).\\ a) Calculer, pour tout couple \((i, j)\) de \(\llbracket 1, n \rrbracket^{2}\), la valeur de \(E\left(X_{i} X_{j}\right)\).\\ b) En déduire l'existence et la valeur de \(E(X)\).\\ c) Conclure quant à l'objectif de cette question.\\ 2) Dans cette question, on considère \(n\) réels \(p_{1}, p_{2}, \ldots, p_{n}\), tous éléments de \(] 0,1[\), ainsi que \(n\) vecteurs \(v_{1}, v_{2}, \ldots, v_{n}\) de \(\mathbb{R}^{p}\) vérifiant: \(\forall k \in \llbracket 1, n \rrbracket,\left\|v_{k}\right\| \leq 1\).\\ On pose \(z=\sum_{k=1}^{n} p_{k} v_{k}\) et on se propose de montrer qu'il existe un \(n\)-uplet \(x=\left(x_{1}, x_{2}, \ldots, x_{n}\right)\) dont les coordonnées sont dans \(\{0,1\}\), tel que, en notant \(y_{x}=\sum_{k=1}^{n} x_{k} v_{k}\), on ait: \[ \left\|z-y_{x}\right\| \leq \frac{\sqrt{n}}{2} \] À cet effet, on considère \(n\) variables aléatoires \(Y_{1}, Y_{2}, \ldots, Y_{n}\), définies sur le même espace probabilisé \((\Omega, A, P)\), indépendantes, et telles que, pour tout \(k\) de \(\llbracket 1, n \rrbracket, Y_{k}\) suit la loi de Bernoulli \(\mathscr{B}\left(p_{k}\right)\). On considère l'application \(Y\), qui, à tout \(\omega\) de \(\Omega\), associe le réel \(Y(\omega)=\left\|\sum_{k=1}^{n}\left(p_{k}-Y_{k}(\omega)\right) v_{k}\right\|^{2}\) et on admet que \(Y\) est une variable aléatoire définie sur \((\Omega, A, P)\).\\ a) Calculer, pour tout couple \((i, j)\) de \(\llbracket 1, n \rrbracket^{2}\), la valeur de \(E\left(\left(p_{i}-Y_{i}\right)\left(p_{j}-Y_{j}\right)\right)\).\\ b) Justifier que \(Y\) possède une espérance et montrer que : \(E(Y) \leq \frac{n}{4}\).\\ c) Conclure quant à l'objectif de cette question. \section*{Exercice 3} Un mobile se déplace aléatoirement sur un axe dont l'origine est le point \(O\) d'abscisse 0 .\\ Au départ (instant 0 ), le mobile est situé sur le point \(O\).\\ Le mobile se déplace selon la règle suivante : à l'instant \(n\left(n \in \mathbb{N}^{*}\right)\), il se place de façon équiprobable, sur l'un des points d'abscisses \(0,1, \ldots, n\).\\ Pour tout entier naturel \(n\), on note \(X_{n}\) l'abscisse de ce point à l'instant \(n\) (on a donc \(X_{0}=0\) ).\\ On admet que, pour tout entier naturel \(n, X_{n}\) est une variable aléatoire définie sur un espace probabilisé \((\Omega, \mathcal{A}, P)\) que l'on ne cherchera pas à déterminer. On admet aussi que \(\left(X_{n}\right)_{n \in \mathbb{N}}\) est une suite de variables aléatoires mutuellement indépendantes. \begin{enumerate} \item a) Déterminer, pour tout entier naturel \(n\) non nul, la loi de \(X_{n}\).\\ b) En déduire que, pour tout entier naturel \(n\) non nul, \(X_{n}\) possède une espérance et une variance, puis déterminer \(E\left(X_{n}\right)\) et \(V\left(X_{n}\right)\). \item On note \(Y\) le rang du premier retour à l'origine du mobile et on admet que \(Y\) est une variable aléatoire définie, elle aussi, sur \((\Omega, \mathcal{A}, P)\).\\ a) Pour tout entier naturel \(n\) non nul, exprimer l'événement ( \(Y=n\) ) à l'aide des variables aléatoires \(X_{1}, X_{2}, \ldots, X_{n}\).\\ b) En déduire que la loi de \(Y\) est définie par : \(\forall n \in \mathbb{N}^{*}, P(Y=n)=\frac{1}{n(n+1)}\).\\ c) Vérifier par le calcul que l'on a : \(\sum_{n=1}^{+\infty} P(Y=n)=1\).\\ d) La variable \(Y\) admet-elle une espérance ? \item a) Montrer que, pour tout entier naturel \(k\) non nul, on a : \(\frac{1}{k+1} \leq \ln (k+1)-\ln k \leq \frac{1}{k}\).\\ b) En déduire que: \(\forall j \geq 2, \ln j \leq \sum_{k-1}^{j-1} \frac{1}{k} \leq \ln j+1-\frac{1}{j}\).\\ c) Conclure alors que : \(\sum_{k=1}^{j-1} \frac{1}{k} \underset{+\infty}{\sim} \ln j\). \item On note \(Z\) le rang du deuxième retour à l'origine du mobile et on admet que \(Z\) est une variable aléatoire, définie, elle aussi, sur \((\Omega, A, P)\).\\ a) Déterminer pour tout \(i \geq j\), la probabilité \(P_{(Y-i)}(Z=j)\).\\ b) Établir que: \end{enumerate} \[ \forall i \leq j-1, P_{(Y=i)}(Z=j)=\frac{i+1}{j(j+1)} \] c) Écrire, pour tout entier naturel \(j\) supérieur ou égal à 2 , la probabilité \(P(Z=j)\) comme une somme finie.\\ d) La variable aléatoire \(Z\) possède-t-elle une espérance ?\\ 5) Informatique On rappelle qu'en Scilab, l'instruction grand(1,1, 'uin', \(a, b)\) permet de simuler une variable aléatoire suivant la loi uniforme à valeurs dans \(\llbracket a, b \rrbracket\).\\ a) Écrire des commandes Scilab calculant et affichant la valeur de l'abscisse du mobile après son \(n^{\text {e }}\) déplacement lorsque la valeur de \(n\) est entrée au clavier par l'utilisateur.\\ b) Compléter le script Scilab suivant pour qu'il permette d'afficher dans cet ordre les valeurs prises par les variables aléatoires \(Y\) et \(Z\). \begin{verbatim} n=0 a=0 while a<2 n=n+1 if grand (1,1, 'uin', 0,n)==0 then a=a+1 if }a==1 then y=n, end end end disp(---, 'y=') disp(---, 'z=') \end{verbatim} \section*{Problème} \section*{Partie 1} Pour tout entier naturel \(n\), on pose \(u_{n}=\int_{0}^{\pi / 2}(\cos t)^{n} d t\). \begin{enumerate} \item a) Calculer \(u_{0}\) et \(u_{1}\).\\ b) Montrer que la suite ( \(u_{n}\) ) est décroissante.\\ c) Établir que: \(\forall n \in \mathbb{N}, u_{n}>0\). \item a) Montrer, grâce à une intégration par parties, que: \(\forall n \in \mathbb{N},(n+2) u_{n+2}=(n+1) u_{n}\).\\ b) En déduire que: \(\forall n \in \mathbb{N}, u_{2 n}=\frac{(2 n)!}{\left(2^{n} \times n!\right)^{2}} \times \frac{\pi}{2}\).\\ c) Montrer que: \(\forall n \in \mathbb{N},(n+1) u_{n+1} u_{n}=\frac{\pi}{2}\).\\ d) En déduire la valeur de \(u_{2 n+1}\). \item a) Calculer \(\lim _{n \rightarrow+\infty} \frac{u_{n+2}}{u_{n}}\).\\ b) En déduire, par encadrement, que \(\lim _{n \rightarrow+\infty} \frac{u_{n+1}}{u_{n}}=1\).\\ c) Montrer enfin que \(u_{n} \underset{+\infty}{\sim} \sqrt{\frac{\pi}{2 n}}\). \item Utiliser la question 2c) pour compléter les commandes Scilab suivantes afin qu'elles permettent de calculer \(u_{n}\) lorsque \(n\) est entré par l'utilisateur. \end{enumerate} \begin{verbatim} n=input('entrez la valeur de n : '), u=%pi/2 for ------ end disp(u) \end{verbatim} \section*{Partie 2} On note \(f\) la fonction définie pour tout réel \(x\) par : \(f(x)=\left\{\begin{array}{cl}\sin x & \text { si } 0 \leq x \leq \pi / 2 \\ 0 & \text { sinon }\end{array}\right.\)\\ 5) Vérifier que \(f\) est une densité de probabilité. Dans la suite, on considère une variable aléatoire réelle \(X\) définie sur un certain espace probabilisé ( \(\Omega, \mathcal{A}, P\) ), et ayant \(f\) pour densité.\\ 6) Déterminer la fonction de répartition \(F\) de la variable aléatoire \(X\).\\ 7) a) Montrer que \(X\) possède une espérance et la calculer.\\ b) Montrer que \(X\) possède également une variance et la calculer.\\ 8) On considère maintenant une suite \(\left(X_{n}\right)_{n \in \mathbb{N}^{*}}\) de variables aléatoires toutes définies sur ( \(\Omega, \mathcal{A}, P\) ), mutuellement indépendantes et qui suivent toutes la même loi que \(X\).\\ Pour tout entier naturel \(n\) supérieur ou égal à 2 , on pose \(I_{n}=\min \left(X_{1}, X_{2}, \ldots, X_{n}\right)\) et on admet que \(I_{n}\) est une variable aléatoire à densité, elle aussi définie \(\operatorname{sur}(\Omega, \mathcal{A}, P)\).\\ a) Déterminer la fonction de répartition, notée \(F_{n}\), de la variable aléatoire \(I_{n}\).\\ b) La suite \(\left(I_{n}\right)_{n \in \mathbb{N}^{*}}\) converge-t-clle en loi ?\\ c) Déterminer une densité de \(I_{n}\), puis montrer que \(I_{n}\) possède un moment d'ordre 2 : \[ E\left(I_{n}^{2}\right)=2 \int_{0}^{\pi / 2} x(\cos x)^{n} d x \] d) Établir que : \(E\left(I_{n}^{2}\right) \leq \pi u_{n}\).\\ e) En déduire que la suite \(\left(I_{n}\right)_{n \in \mathbb{N}}\). converge en probabilité vers une variable aléatoire dont on précisera la loi.\\ 9) Soit \(h\) la restriction de la fonction cosinus à \(\left[0, \frac{\pi}{2}\right]\).\\ a) Montrer que \(h\) réalise une bijection de \(\left[0, \frac{\pi}{2}\right]\) sur \([0,1]\).\\ b) Justifier que l'on peut poser \(Y=h(X)\). On admet alors que \(Y\) est une variable aléatoire, elle aussi définie sur \((\Omega, A, P)\). Déterminer la fonction de répartition \(G\) de \(Y\), puis vérifier que \(Y\) suit une loi uniforme.\\ c) On rappelle que la commande grand \(\left(1,1,{ }^{\prime}\right.\) unf \(\left.^{\prime}, a, b\right)\) renvoie une simulation Scilab d'une variable aléatoire à densité suivant une loi uniforme sur \([a, b]\) et on admet que la fonction \(h^{-1}\) s'obtient par l'instruction acos. Compléter les commandes Scilab suivantes afin qu'elles permettent de simuler la variable aléatoire \(X\). \[ \begin{aligned} & Y=\operatorname{grand}\left(1,1, \text { ' unf }^{\prime},--\geqslant,---\right) \\ & X=--- \end{aligned} \] \end{document}