Connectez-vous pour consulter le corrigé.
On suppose, et c’est valable pour toute l’épreuve, que les librairies
numpy, numpy.random et
numpy.linalg de Python sont importées avec les
commandes respectives import numpy as np,
import numpy.random as rd et
import numpy.linalg as al.
Dans tout l’exercice, la lettre \(n\) désigne un entier naturel non nul.
On considère la fonction \(f_{n}\) définie par : \[\forall x \in[0,1], \ f_{n}(x)=\sum_{k=1}^{n} k x^{k}=x+2 x^{2}+3 x^{3}+\cdots+n x^{n}\]
Montrer que \(f_{n}\) est strictement croissante sur \([0,1]\).
En déduire que l’équation \(f_{n}(x)=1\), d’inconnue \(x\), possède une seule solution, notée \(u_{n}\), élément de \([0,1]\).
Donner la valeur de \(u_{1}\).
Pour tout réel \(x\) de \([0,1]\), exprimer \(f_{n+1}(x)\) en fonction de \(f_{n}(x)\).
En déduire que \(f_{n+1}(u_{n}) \geqslant 1\).
Utiliser les variations de \(f_{n+1}\) pour conclure que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}^{*}}\) est décroissante.
Montrer que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}^{*}}\) est convergente. On note \(\ell\) sa limite.
Pour tout réel \(x \neq 1\), rappeler la formule donnant \(\displaystyle \sum_{k=0}^{n} x^{k}\) en fonction de \(x\) et \(n\).
En déduire que, pour tout réel \(x\) différent de 1, on a l’égalité : \[\sum_{k=1}^{n} k x^{k-1}=\frac{n x^{n+1}-(n+1) x^{n}+1}{(1-x)^{2}}\]
Donner alors une expression sans symbole \(\Sigma\) de \(f_{n}(x)\) pour \(x \in[0,1[\).
Déterminer \(u_{2}\) puis en déduire que, si \(n\) est supérieur ou égal à 2, on a: \(\displaystyle 0 \leqslant u_{n} \leqslant \frac{1}{2}\).
En déduire \(\displaystyle \lim _{n \rightarrow+\infty} u_{n}^{n}\) et \(\displaystyle \lim _{n \rightarrow+\infty} n u_{n}^{n}\).
En revenant à la définition de \(u_{n}\), montrer, pour \(n \geqslant 2\), l’égalité : \[u_{n}^{2}-3 u_{n}+1=n u_{n}^{n+2}- \left( n+1 \right) u_{n}^{n+1}\]
Donner finalement la valeur de \(\ell\).
On note \(E\) l’ensemble des matrices de la forme \(M(a, b)=\begin{pmatrix} a & b & a \\ b & 2 a-b & b \\ a & b & a \end{pmatrix}\), où \(a\) et \(b\) sont des réels.
Montrer que \(E\) est un sous-espace vectoriel de \(\mathcal{M}_{3}(\mathbb{R})\).
Donner une base de \(E\) et en déduire sa dimension.
Justifier sans calcul que les matrices de \(E\) sont diagonalisables mais pas inversibles.
Dans toute la suite, sauf la dernière question, on étudie un exemple.
On note \(I\) la matrice identité de \(\mathcal{M}_{3}(\mathbb{R})\) et on considère la matrice \(A=\begin{pmatrix} 1 & 3 & 1 \\ 3 & -1 & 3 \\ 1 & 3 & 1 \end{pmatrix}\).
Vérifier que \(A\) appartient à \(E\).
Écrire une fonction Python d’en-tête
matA() retournant la matrice \(A\).
Quelle valeur propre de \(A\) la question 2) permet-elle d’obtenir?
Montrer que les matrices \(A-5 I\) et \(A+4 I\) ne sont pas inversibles. En déduire deux autres valeurs propres de \(A\).
Déterminer une base de chaque sous-espace propre de \(A\) puis construire une base \((U, V, W)\) de \(\mathcal{M}_{3,1}(\mathbb{R})\) formée de vecteurs propres de \(A\) (on prendra pour chacun d’entre eux la première composante égale à 1).
On considère les instructions Python suivantes:
Utiliser la question précédente pour donner les valeurs de \(r_{1}\) et \(r_{2}\) renvoyées par ce script.
Vérifier que les vecteurs \(U, V\) et \(W\) sont vecteurs propres de toutes les matrices de \(E\).
Soit \(n\) un entier naturel non nul. En utilisant la matrice \(P\) dont les colonnes sont les vecteurs \(U, V\) et \(W\), indiquer comment obtenir la puissance \(n\)-ième de n’importe quelle matrice de \(E\) (seule la démarche est exigée, les calculs et leurs résultats numériques ne sont pas demandés).
En déduire, sans la commande al.matrix_power, et
toujours pour \(n \in \mathbb{N}^{*}\),
une fonction Python d’en-tête
puissanceM(a,b,n) renvoyant \(M(a, b)^{n}\).
On suppose que les variables aléatoires présentées dans cet exercice sont toutes définies sur un même espace probabilisé \((\Omega, \mathcal{A}, \mathbb{P})\).
Dans tout l’exercice, la lettre \(n\) désigne un entier naturel non nul.
Soit \(f_{n}\) la fonction définie par \(f_{n}(x)= \begin{cases} \displaystyle \left(1-\frac{x}{n}\right)^{n-1} & \text { si } 0 \leqslant x \leqslant n \\ \hfill 0 \hfill & \text { sinon } \rule[0pt]{0pt}{20pt} \end{cases}\).
Vérifier que \(f_{n}\) est une densité.
Dans la suite, on considère une suite \(\left(X_{n}\right)_{n \in \mathbb{N}^{*}}\) de variables aléatoires telle que, pour tout entier naturel \(n\) non nul, \(X_{n}\) admet \(f_{n}\) comme densité.
Justifier que \(\displaystyle \mathbb{E}\! \left(1-\frac{X_{n}}{n}\right)\) et \(\displaystyle \mathbb{E}\!\left(\left(1-\frac{X_{n}}{n}\right)^{2}\right)\) existent et donner leur expression en fonction de \(n\).
En déduire que \(X_{n}\) possède une espérance et une variance et donner leur expression en fonction de \(n\).
Déterminer la fonction de répartition \(F_{n}\) de \(X_{n}\).
Donner, pour tout réel \(x\) strictement négatif, la limite de \(F_{n}(x)\) quand \(n\) tend vers \(+\infty\).
Soit \(x\) un réel positif. Montrer que, pour tout entier \(n \geqslant \lfloor x\rfloor+1\), on a : \[F_{n}(x)=1-\left(1-\frac{x}{n}\right)^{n}\]
Pour tout réel \(x\) positif, calculer \(\displaystyle \lim _{n \rightarrow+\infty} n \ln \! \left(1-\frac{x}{n}\right)\).
Déduire des questions précédentes que la suite \(\left(X_{n}\right)_{n \in \mathbb{N}^{*}}\) converge en loi vers une variable \(X\) dont on donnera la loi.
Soit \(U_{1}, \ldots, U_{n}\) des variables aléatoires mutuellement indépendantes, et suivant toutes la loi uniforme sur \([0,1]\). On considère la variable aléatoire \(M_{n}\) définie par \(M_{n}=\min \left(U_{1}, \ldots, U_{n}\right)\), ce qui signifie que, pour tout \(\omega \in \Omega, \ M_{n}(\omega)\) est le plus petit des réels \(U_{1}(\omega), \ldots, U_{n}(\omega)\).
Enfin, on pose \(Z_{n}=n M_{n}\).
En notant \(G\) la fonction de répartition commune à \(U_{1}, \ldots, U_{n}\), rappeler l’expression de \(G(x)\) selon que \(x<0, \ 0 \leqslant x \leqslant 1\) ou \(x>1\).
Déterminer, pour tout réel \(x\), la probabilité \(\mathbb{P}( Z_{n}>x )\) à l’aide de la fonction \(G\) et en déduire explicitement la fonction de répartition \(F_{Z_{n}}\) de \(Z_{n}\).
Conclure que \(Z_{n}\) suit la même loi que \(X_{n}\).
Utiliser la question 5c) pour écrire une fonction
Python renvoyant une réalisation de \(X_{n}\).
Dans ce problème, \(n\) désigne un entier naturel non nul.
On dispose de \(n+1\) urnes, numérotées de 1 à \(n+1\), et contenant chacune \(n\) boules.
Pour tout \(k\) de \(\left[\!\left[1, n+1\right]\!\right]\), l’urne numéro \(k\) contient \(k-1\) boules noires, les autres boules étant blanches (ainsi, l’urne numérotée 1 ne contient que des boules blanches et l’urne numérotée \(n+1\) ne contient que des boules noires).
L’épreuve consiste à choisir une urne au hasard et à y effectuer indéfiniment des tirages au hasard d’une boule, avec remise de la boule tirée dans l’urne dont elle provient après chaque tirage.
Pour tout \(k\) de \(\left[\!\left[1, n+1\right]\!\right]\), on note \(U_{k}\) l’événement : « On a choisi l’urne numérotée \(k\) ».
On appelle \(X_{n}\) la variable aléatoire qui prend la valeur 0 si l’on n’obtient aucune boule blanche au cours de l’épreuve et qui prend la valeur \(j\) (\(j \in \mathbb{N}^{*}\)) si la première boule blanche apparaît au \(j^{\text {ième }}\) tirage.
Pour finir, on rappelle les commandes Python suivantes
qui permettent de simuler certaines variables discrètes usuelles :
rd.randint(a,b+1) simule une variable aléatoire
suivant la loi uniforme sur \(\left[\!\left[a, b\right]\!\right]\).
rd.binomial(n,p) simule une variable aléatoire
suivant la loi binomiale de paramètres \(n\) et \(p\).
rd.geometric(p) simule une variable aléatoire
suivant la loi géométrique de paramètre \(p\).
Simulation de \(X_{n}\) : pour
tout \(j\) de \(\left[\!\left[2, n+1\right]\!\right]\), on code les
\(j-1\) boules noires de l’urne
numérotée \(j\) par les entiers de
\(\left[\!\left[1, j-1\right]\!\right]\).
Compléter alors la fonction Python suivante pour qu’elle
renvoie la valeur prise par \(X_{n}\)
lors de l’épreuve aléatoire décrite ci-dessus :
Pour tout \(k\) de \(\left[\!\left[1, n+1\right]\!\right]\), déterminer \(\mathbb{P}( U_{k})\).
Pour tout \(k\) de \(\left[\!\left[1, n\right]\!\right]\), donner la loi de \(X_{n}\), conditionnellement à l’événement \(U_{k}\).
En conservant, sans les écrire de nouveau, les 6 premières lignes de la fonction Python précédente, compléter les 3 lignes suivantes afin d’obtenir une nouvelle simulation de \(X_{n}\) :
Déterminer \(\mathbb{P}_{U_{n+1}}(X_{n}=1)\).
Pour tout \(k\) de \(\left[\!\left[1, n\right]\!\right]\), donner \(\mathbb{P}_{U_{k}}(X_{n}=1)\).
Montrer alors que \(\mathbb{P}(X_{n}=1)=\frac{1}{2}\).
Soit \(j\) un entier supérieur ou égal à 2.
Déterminer \(\mathbb{P}_{U_{n+1}}(X_{n}=j)\).
Pour tout \(k\) de \(\left[\!\left[1, n\right]\!\right]\), donner \(\mathbb{P}_{U_{k}}(X_{n}=j)\).
En déduire l’égalité : \[\mathbb{P}( X_{n}=j)=\frac{1}{n+1} \sum_{k=0}^{n-1}\left[\left(\frac{k}{n}\right)^{j-1}-\left(\frac{k}{n}\right)^{j}\right]\]
Justifier que, pour tout \(k\) de \(\left[\!\left[0, n-1\right]\!\right]\), on a : \(\displaystyle \sum_{j=2}^{+\infty}\left[\left(\frac{k}{n}\right)^{j-1}-\left(\frac{k}{n}\right)^{j}\right]=\frac{k}{n}\).
Calculer \(\mathbb{P}( X_{n} \geqslant 2)\) en fonction de \(n\).
Déduire des deux questions précédentes l’expression de \(\mathbb{P}(X_{n}=0)\) en fonction de \(n\).
Aurait-on pu anticiper ce dernier résultat sans aucun calcul?
Montrer que \(X_{n}\) possède une espérance \(\mathbb{E}( X_{n} )\) donnée par :
\[\mathbb{E}( X_{n})=\frac{n}{n+1} \sum_{p=1}^{n} \frac{1}{p}\]
Informatique : calcul et affichage de \(\mathbb{E}(X_{n})\).
Compléter le script suivant afin qu’il permette de calculer et d’afficher \(\mathbb{E}(X_{n})\) :
Montrer que : \(\forall p \in \mathbb{N}^{*}, \ \displaystyle \frac{1}{p+1} \leqslant \int_{p}^{p+1} \frac{1}{t} \, \mathrm{d} t \leqslant \frac{1}{p}\).
En déduire, pour tout \(n\) de \(\mathbb{N}^{*} \setminus\{1\}\), l’encadrement : \(\displaystyle \sum_{p=2}^{n} \frac{1}{p} \leqslant \ln (n) \leqslant \sum_{p=1}^{n-1} \frac{1}{p}\).
Établir enfin l’encadrement :
\[\forall n \in \mathbb{N}^{*} \setminus \{1\}, \ \ln (n)+\frac{1}{n} \leqslant \sum_{p=1}^{n} \frac{1}{p} \leqslant \ln (n)+1\]
Utiliser l’encadrement précédent pour donner l’équivalent le plus simple possible de \(\mathbb{E}( X_{n})\) lorsque \(n\) est au voisinage de \(+\infty\).
Le corrigé pas à pas, les aides et les explications sont disponibles dans la plateforme.
Un agréable sujet qui permettra de bonnes révisions pour tous.