\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{graphicx}
\usepackage[export]{adjustbox}
\graphicspath{ {./images/} }
\usepackage{caption}

\title{MATHÉMATIQUES APPROFONDIES }

\author{}
\date{}


\begin{document}
\maketitle
\captionsetup{singlelinecheck=false}
\section*{Conception : EDHEC BS}
\section*{FILIÈRE ÉCONOMIQUE ET COMMERCIALE VOIE GENERALE}
Lundi 29 avril 2024, de 14 h. à 18 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.\\
Aucun document n'est autorisé. L'utilisation de toute calculatrice et de tout matériel électronique est interdite. Seule l'utilisation d'une règle graduée est autorisée.\\
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.

On suppose, et c'est valable pour toute l'épreuve, que la bibliothèque numpy de Python est importée avec import numpy as np et que la librairie numpy. random de Python est importée grâce à la commande import numpy.random as rd.

\section*{Exercice 1}
Dans cet exercice, \(n\) désigne un entier naturel supérieur ou égal à 2 .\\
On note \(I_{n}\) la matrice identité de \(\mathcal{M}_{n}(\mathbb{R})\) et \(J_{n}\) la matrice de \(\mathcal{M}_{n}(\mathbb{R})\) dont tous les éléments valent 1 .

\begin{enumerate}
  \item a) Déterminer le rang de \(J_{n}\). En déduire que 0 est valeur propre de \(J_{n}\) et déterminer la dimension du sous-espace propre associé.\\
b) Vérifier que le vecteur \(V_{n}\), élément de \(\mathcal{M}_{n, 1}(\mathbb{R})\), dont toutes les composantes sont égales à 1 , est un vecteur propre de \(J_{n}\).\\
c) À l'aide des questions précédentes, donner les valeurs propres de \(J_{n}\).
\end{enumerate}

Dans toute la suite, on considère la fonction \(f_{n}\) définie sur \(\mathbb{R}^{n}\) par:

\[
\forall x=\left(x_{1}, x_{2}, \ldots, x_{n}\right) \in \mathbb{R}^{n}, f_{n}(x)=\frac{1}{n} \sum_{k=1}^{n} x_{k}^{2}-\left(\frac{1}{n} \sum_{k=1}^{n} x_{k}\right)^{2}
\]

\begin{enumerate}
  \setcounter{enumi}{1}
  \item Montrer que \(f_{n}\) est de classe \(C^{2}\) sur \(\mathbb{R}^{n}\).
  \item a) Déterminer, pour tout \(i\) de \(\llbracket 1, n \rrbracket\) et pour tout \(x=\left(x_{1}, x_{2}, \ldots, x_{n}\right)\) de \(\mathbb{R}^{n}\), l'expression de \(\partial_{i} f_{n}(x)\) en fonction de \(x_{1}, x_{2}, \ldots, x_{n}\) et de \(n\).\\
b) En déduire que les points critiques de \(f_{n}\) sont les points de la forme \((a, a, \ldots, a) \in \mathbb{R}^{n}\).
  \item a) Déterminer les dérivées partielles d' ordre 2 de \(f_{n}\).\\
b) Vérifier que la hessienne de \(f_{n}\) en chaque point critique est \(\nabla^{2} f_{n}(a, a, \ldots, a)=\frac{2}{n^{2}}\left(n I_{n}-J_{n}\right)\).\\
c) Compléter les commandes Python suivantes afin qu'elles permettent de calculer et d'afficher \(\nabla^{2} f_{n}(a, a, \ldots, a)\) pour une valeur de \(n\) entrée par l'utilisateur.
\end{enumerate}

\begin{verbatim}
n=int(input('entrez la valeur de n:'))
I=---
J=---
Hessienne=---
print(Hessienne)
\end{verbatim}

d) À l'aide de la première question, donner les valeurs propres de \(\nabla^{2} f_{n}(a, a, \ldots, a)\) et expliquer pourquoi cette méthode ne permet pas de savoir si \(f_{n}\) possède un extremum local.\\
5) a) En appliquant l'inégalité de Cauchy-Schwarz à deux vecteurs bien choisis de \(\mathbb{R}^{n}\), muni de son produit scalaire canonique, montrer que :

\[
\forall\left(x_{1}, x_{2}, \ldots, x_{n}\right) \in \mathbb{R}^{n},\left(\sum_{k=1}^{n} x_{k}\right)^{2} \leq n \sum_{k=1}^{n} x_{k}^{2}
\]

b) En déduire que \(f_{n}\) admet un minimum global sur \(\mathbb{R}^{n}\) et que ce minimum est atteint en chaque point critique de \(f_{n}\).\\
6) Étude du cas \(n=2\).\\
a) Compléter la deuxième ligne de la fonction Python suivante afin de définir la fonction \(f_{2}\).

\begin{verbatim}
def f_2(x,y):
    z=------
    return z
\end{verbatim}

b) Certaines commandes Python utilisant la fonction précédente permettent de tracer la surface représentant \(f_{2}\). Laquelle est-ce? Justifier la réponse.

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{cc477ad5-2c9f-481f-b17a-5bc496f587c0-2_296_364_2334_342}
\captionsetup{labelformat=empty}
\caption{Surface 1}
\end{center}
\end{figure}

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{cc477ad5-2c9f-481f-b17a-5bc496f587c0-2_326_408_2311_806}
\captionsetup{labelformat=empty}
\caption{Surface 2}
\end{center}
\end{figure}

\begin{figure}[h]
\begin{center}
  \includegraphics[alt={},max width=\textwidth]{cc477ad5-2c9f-481f-b17a-5bc496f587c0-2_323_351_2307_1356}
\captionsetup{labelformat=empty}
\caption{Surface 3}
\end{center}
\end{figure}

\section*{Exercice 2}
\begin{enumerate}
  \item Question préliminaire. On rappelle que la fonction arctangente, notée Arctan, est la bijection réciproque de la restriction de la fonction tangente à l'intervalle \(]-\frac{\pi}{2}, \frac{\pi}{2}\left[\right.\) et qu'elle est de classe \(C^{1}\) sur \(\mathbb{R}\).\\
a) Rappeler l'expression, pour tout réel \(x\), de \(\operatorname{Arctan}^{\prime}(x)\).\\
b) Montrer que, pour tout réel \(x\) strictement positif, on a :
\end{enumerate}

\[
\operatorname{Arctan}(x)+\operatorname{Arctan}\left(\frac{1}{x}\right)=\frac{\pi}{2}
\]

c) Justifier l'équivalent suivant :

\[
\operatorname{Arctan}(x) \underset{0}{\sim} x
\]

\begin{enumerate}
  \setcounter{enumi}{1}
  \item On considère la fonction \(f\) définie par :
\end{enumerate}

\[
\forall x \in \mathbb{R}, f(x)=\frac{2}{\pi\left(\mathrm{e}^{x}+\mathrm{e}^{-x}\right)}
\]

a) Vérifier que l'intégrale \(\int_{-\infty}^{+\infty} f(x) \mathrm{d} x\) converge.\\
b) Montrer que \(f\) peut être considérée comme une densité.

Dans la suite, on s'intéresse à une variable aléatoire \(X\), définie sur un espace probabilisé ( \(\Omega, A, P\) ), admettant \(f\) pour densité.\\
3) Montrer que la fonction de répartition \(F\) de \(X\) est définie par :

\[
\forall x \in \mathbb{R}, F(x)=\frac{2}{\pi} \operatorname{Arctan}\left(\mathrm{e}^{x}\right)
\]

\begin{enumerate}
  \setcounter{enumi}{3}
  \item Simulation.
\end{enumerate}

On pose \(U=F(X)\) et on admet que \(U\) est une variable aléatoire, elle aussi définie sur \((\Omega, A, P)\).\\
a) Montrer que \(F\) est une bijection de \(\mathbb{R}\) dans \(] 0,1[\).\\
b) Reconnaître la loi de \(U\).\\
c) Déterminer \(F^{-1}(x)\) pour tout \(x\) de \(] 0,1[\) puis, en admettant que la commande np.tan(y) renvoie la valeur de la fonction tangente en \(y\), écrire un script Python permettant de simuler \(X\).\\
5) a) Montrer que \(X\) admet une espérance et la déterminer.\\
b) Montrer que \(X^{2}\) admet une espérance.\\
6) Dans cette question, on se propose de déterminer la variance de \(X\).

On pose \(I=\int_{0}^{+\infty} \frac{t^{2}}{\mathrm{e}^{t}+\mathrm{e}^{-t}} \mathrm{~d} t\).\\
a) Pour tout \(n \in \mathbb{N}^{*}\), établir que l'intégrale \(\int_{0}^{+\infty} t^{2} \mathrm{e}^{-n t} \mathrm{~d} t\) converge et que \(\int_{0}^{+\infty} t^{2} \mathrm{e}^{-n t} \mathrm{~d} t=\frac{2}{n^{3}}\).\\
b) Pour tout entier naturel \(p\), établir l'égalité:

\[
\sum_{k=0}^{p}(-1)^{k} \int_{0}^{+\infty} t^{2} \mathrm{e}^{-(2 k+1) t} \mathrm{~d} t=I+(-1)^{p} \int_{0}^{+\infty} \frac{t^{2} \mathrm{e}^{-(2 p+3) t}}{1+\mathrm{e}^{-2 t}} \mathrm{~d} t
\]

c) Montrer, par encadrement, que :

\[
\lim _{p \rightarrow+\infty} \int_{0}^{+\infty} \frac{t^{2} \mathrm{e}^{-(2 p+3) t}}{1+\mathrm{e}^{-2 t}} \mathrm{~d} t=0
\]

d) Déduire des questions précédentes l'expression de \(V(X)\) sous forme d'une somme de série.

En admettant que \(\sum_{k=0}^{+\infty} \frac{(-1)^{k}}{(2 k+1)^{3}}=\frac{\pi^{3}}{32}\), donner la valeur de \(V(X)\).\\
7) On pose \(Y=\mathrm{e}^{X}\) et on admet que \(Y\) est une variable aléatoire, définie elle aussi sur l'espace probabilisé \((\Omega, A, P)\).\\
a) Déterminer explicitement la fonction de répartition \(G\) de \(Y\) puis en déduire que \(Y\) est une variable aléatoire à densité.\\
b) On considère une suite \(\left(Y_{n}\right)_{n \in \mathbb{N}^{*}}\) de variables aléatoires, toutes définies sur l'espace probabilisé \((\Omega, A, P)\), indépendantes, et suivant la même loi que \(Y\).\\
On pose \(M_{n}=\max \left(Y_{1}, Y_{2}, \ldots, Y_{n}\right)\) et on admet que \(M_{n}\) est une variable aléatoire à densité, définie elle aussi sur l'espace probabilisé ( \(\Omega, \mathcal{A}, P\) ).\\
Montrer que la fonction de répartition \(G_{n}\) de \(M_{n}\) est définie par:

\[
G_{n}(x)= \begin{cases}\left(\frac{2}{\pi} \operatorname{Arctan}(x)\right)^{n} & \text { si } x>0 \\ 0 & \text { si } x \leq 0\end{cases}
\]

c) Utiliser la question 1) pour montrer que la suite de variables aléatoires \(\left(\frac{n}{M_{n}}\right)_{n \in \mathbb{N}^{*}}\) converge en loi vers une variable aléatoire dont on précisera la loi.

\section*{Exercice 3}
Dans cet exercice, \(E\) est un espace euclidien tel que \(\operatorname{dim} E \geq 2\) et \(p\) désigne un entier naturel non nul et strictement inférieur à \(\operatorname{dim} E\).\\
Le produit scalaire des vecteurs \(a\) et \(b\) de \(E\) est noté \(\langle a, b\rangle\) et la norme du vecteur \(a\) est notée \(\|a\|\).\\
On considère \(p\) réels \(\lambda_{1}, \ldots, \lambda_{p}\) tous différents de 0 , ainsi qu'une famille orthonormale \(\left(u_{1}, \ldots, u_{p}\right)\) de \(p\) vecteurs de \(E\), et enfin on pose \(U=\operatorname{Vect}\left(u_{1}, \ldots, u_{p}\right)\).\\
On se propose d'étudier l'application \(f\) qui, à tout vecteur \(x\) de \(E\), associe :

\[
f(x)=\sum_{i=1}^{p} \lambda_{i}\left\langle u_{i}, x\right\rangle u_{i}
\]

\section*{Partie 1 : étude de \(f\)}
\begin{enumerate}
  \item Montrer que \(f\) est un endomorphisme symétrique de \(E\).
  \item Caractériser \(f\) lorsque \(\lambda_{1}, \ldots, \lambda_{p}\) sont tous égaux à 1 .
\end{enumerate}

On revient au cas général pour toute la suite.\\
3) a) Déterminer \(\operatorname{Ker}(f)\) et préciser sa dimension en fonction de \(\operatorname{dim} E\) et \(p\).\\
b) En déduire le rang de \(f\) puis déterminer \(\operatorname{Im}(f)\).\\
4) Montrer que les réels \(\lambda_{1}, \ldots, \lambda_{p}\) sont valeurs propres de \(f\) et donner un vecteur propre associé à chacune d'entre elles.

\section*{Partie 2 : convergence d'une suite de vecteurs de \(\boldsymbol{E}\)}
\begin{enumerate}
  \setcounter{enumi}{4}
  \item On dit qu'une suite \(\left(y_{n}\right)_{n \in \mathbb{N}}\) de vecteurs de \(E\) converge vers le vecteur \(y\) de \(E\) lorsque \(\lim _{n \rightarrow+\infty}\left\|y_{n}-y\right\|=0\). Montrer que le vecteur \(y\) est unique.
\end{enumerate}

On pose \(K=\sqrt{\sum_{i=1}^{p} \lambda_{i}^{2}}\) et on suppose que \(K\) est strictement inférieur à 1 .\\
6) Calculer \(\|f(x)\|^{2}\) pour tout \(x\) de \(E\) et en déduire que l'on a \(\|f(x)\| \leq K\|x\|\).\\
7) On considère une suite \(\left(x_{n}\right)_{n \in \mathbb{N}}\) de vecteurs de \(E\) définie par la donnée du vecteur \(x_{0}\) et par la relation \(x_{n+1}=f\left(x_{n}\right)\), valable pour tout entier naturel \(n\).\\
a) Montrer que, pour tout entier naturel \(n\), on a \(\left\|x_{n}\right\| \leq K^{n}\left\|x_{0}\right\|\).\\
b) Montrer que la suite \(\left(x_{n}\right)_{n \in \mathbb{N}}\) converge. Vers quel vecteur?\\
c) Donner la nature de la série \(\sum_{n}\left\|x_{n}\right\|\).

\section*{Problème}
\section*{Partie 1}
Pour tout entier naturel \(n\), on pose \(u_{n}=\int_{0}^{1} \frac{1}{\left(1+t^{2}\right)^{n}} \mathrm{~d} t\). On a donc \(u_{0}=1\).

\begin{enumerate}
  \item a) Montrer que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) est décroissante et positive.\\
b) En déduire la convergence de la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\).
  \item a) Montrer que, pour tout \(x\) de \([0,1]\), on a l'inégalité : \(\mathrm{e}^{x / 2} \leq 1+x\).\\
b) En déduire, pour tout entier naturel \(n\), l'inégalité :
\end{enumerate}

\[
u_{n} \leq \int_{0}^{1} \mathrm{e}^{-n t^{2} / 2} \mathrm{~d} t
\]

c) Donner la valeur, pour tout entier naturel \(n\) non nul, de l'intégrale \(\int_{-\infty}^{+\infty} \mathrm{e}^{-n t^{2} / 2} \mathrm{~d} t\).\\
d) En déduire la limite de la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\).

\section*{Partie 2}
\begin{enumerate}
  \setcounter{enumi}{2}
  \item Montrer que, pour tout \(n\) de \(\mathbb{N}^{*}\), l'intégrale \(\int_{0}^{+\infty} \frac{1}{\left(1+t^{2}\right)^{n}} \mathrm{~d} t\) est convergente.
\end{enumerate}

Pour toute la suite, on pose, pour tout \(n\) de \(\mathbb{N}^{*}\) :

\[
I_{n}=\int_{1}^{+\infty} \frac{1}{\left(1+t^{2}\right)^{n}} \mathrm{~d} t \text { et } J_{n}=\int_{0}^{+\infty} \frac{1}{\left(1+t^{2}\right)^{n}} \mathrm{~d} t
\]

\begin{enumerate}
  \setcounter{enumi}{3}
  \item a) Montrer que :
\end{enumerate}

\[
\forall n \in \mathbb{N}^{*}, 0 \leq I_{n} \leq \frac{1}{2 n-1}
\]

b) En déduire la valeur de \(\lim _{n \rightarrow+\infty} I_{n}\).\\
c) Déterminer \(\lim _{n \rightarrow+\infty} J_{n}\).\\
5) a) Montrer, grâce à une intégration par parties effectuée dans \(J_{n}\), que :

\[
\forall n \in \mathbb{N}^{*}, J_{n}=2 n\left(J_{n}-J_{n+1}\right)
\]

b) Déterminer \(J_{1}\).\\
c) Montrer que la série de terme général \(\frac{J_{n}}{n}\) est convergente et que \(\sum_{n=1}^{+\infty} \frac{J_{n}}{n}=\pi\).\\
d) Utiliser la relation de la question 5a) pour compléter la fonction Python suivante afin qu'elle renvoie la valeur de \(J_{n}\).

\begin{verbatim}
def suiteJ(n):
    J=---
    for \(k\) in range \((2, n+1)\) :
        J=---
    return J
\end{verbatim}

\begin{enumerate}
  \setcounter{enumi}{5}
  \item Montrer que l'on a :
\end{enumerate}

\[
\forall n \in \mathbb{N}, J_{n+1}=\frac{\pi}{2} \times \frac{\binom{2 n}{n}}{4^{n}}
\]

\section*{Partie 3}
On désigne par \(n\) un entier naturel non nul et on note \(X_{n}\) (resp. \(Y_{n}\) ) le nombre de "piles" (resp. "faces") obtenus lors des \(2 n\) premiers lancers supposés indépendants d'une pièce équilibrée.\\
7) a) Donner, en justifiant, la loi de \(X_{n}\).\\
b) Montrer que \(P\left(X_{n}=Y_{n}\right)=\frac{2}{\pi} J_{n+1}\) et en déduire la valeur de \(\lim _{n \rightarrow+\infty} P\left(X_{n}=Y_{n}\right)\).\\
c) Justifier sans calcul l'égalité \(P\left(X_{n}<Y_{n}\right)=P\left(X_{n}>Y_{n}\right)\).\\
d) Montrer que la probabilité d'obtenir strictement moins de "piles" que de "faces" lors de l'expérience décrite plus haut tend vers \(\frac{1}{2}\) lorsque \(n\) tend vers \(+\infty\).\\
8) Pour tout entier naturel \(k\) non nul, on considère la variable aléatoire \(Z_{k}\) qui vaut 1 si l'on a obtenu "pile" au \(k^{e}\) lancer et 0 sinon.\\
a) Vérifier que 1 'on a \(\sum_{k=1}^{2 n} Z_{k}=X_{n}\).\\
b) En appliquant le théorème limite central à la suite \(\left(Z_{k}\right)_{k \in \mathbb{N}^{*}}\), montrer que :

\[
\lim _{n \rightarrow+\infty} P\left(X_{n} \leq Y_{n}\right)=\frac{1}{2}
\]

c) Retrouver le résultat établi à la question 7d).


\end{document}