\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/} } \begin{document} \section*{Ccricome} prepa\\ Mathématiques\\ Option Économique \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 6 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*{Cócricome} \section*{EXERCICE 1} On considère dans cet exercice l'espace vectoriel \(E=\mathbb{R}^{3}\), dont on note \(\mathcal{B}=\left(e_{1}, e_{2}, e_{3}\right)\) la base canonique. Soit \(f\) l'endomorphisme de \(E\) dont la matrice représentative dans la base \(\mathcal{B}\) est la matrice : \[ A=\frac{1}{3}\left(\begin{array}{rrr} -1 & 2 & 1 \\ -1 & -1 & -2 \\ 1 & 1 & 2 \end{array}\right) . \] \section*{Partie A} 1.(a) Calculer \(A^{2}\) puis vérifier que \(A^{3}\) est la matrice nulle de \(\mathcal{M}_{3}(\mathbb{R})\).\\ (b) Justifier que 0 est l'unique valeur propre possible de \(f\).\\ (c) Déterminer une base et la dimension du noyau de \(f\).\\ (d) L'endomorphisme \(f\) est-il diagonalisable ?\\ 2. Soient \(e_{1}^{\prime}=(-1,-1,1), e_{2}^{\prime}=(2,-1,1)\) et \(e_{3}^{\prime}=(-1,2,1)\).\\ (a) Démontrer que la famille \(\mathcal{B}^{\prime}=\left(e_{1}^{\prime}, e_{2}^{\prime}, e_{3}^{\prime}\right)\) est une base de \(E\).\\ (b) Démontrer que la matrice représentative de \(f\) dans la base \(\mathcal{B}^{\prime}\) est la matrice \(T=\left(\begin{array}{lll}0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0\end{array}\right)\).\\ 3. On pose : \[ M=\frac{1}{3}\left(\begin{array}{rrr} 4 & -2 & -1 \\ 1 & 4 & 2 \\ -1 & -1 & 1 \end{array}\right) \] On note \(h\) l'endomorphisme de \(E\) dont la matrice représentative dans la base \(\mathcal{B}\) est la matrice \(M\).\\ (a) Déterminer deux réels \(\alpha\) et \(\beta\) tels que \(M=\alpha A+\beta I\), où \(I\) est la matrice identité d'ordre 3 .\\ (b) Déterminer la matrice \(M^{\prime}\) de \(h\) dans la base \(\mathcal{B}^{\prime}\).\\ (c) En déduire que \(M\) est inversible.\\ (d) À l'aide de la question 1(a), calculer \((M-I)^{3}\). En déduire l'expression de \(M^{-1}\) en fonction des matrices \(I, M\) et \(M^{2}\).\\ (e) À l'aide de la formule du binôme de Newton, exprimer \(M^{n}\) pour tout entier naturel \(n\), en fonction des matrices \(I, A\) et \(A^{2}\).\\ Cette formule est-elle vérifiée pour \(n=-1\) ? \section*{Partie B} Dans cette partie, on veut montrer qu'il n'existe aucun endomorphisme \(g\) de \(E\) vérifiant \(g \circ g=f\). On suppose donc par l'absurde qu'il existe une matrice \(V\) carrée d'ordre 3 telle que : \[ V^{2}=T . \] On note \(g\) l'endomorphisme dont la matrice représentative dans la base \(\mathcal{B}^{\prime}\) est \(V\). \begin{enumerate} \item Montrer que \(V T=T V\). En déduire que \(g \circ f=f \circ g\).\\ 2.(a) Montrer que \(g\left(e_{1}^{\prime}\right)\) appartient au noyau de \(f\). \end{enumerate} En déduire qu'il existe un réel a tel que \(g\left(e_{1}^{\prime}\right)=a e_{1}^{\prime}\). \section*{Cócricome} (b) Montrer que \(g\left(e_{2}^{\prime}\right)-a e_{2}^{\prime}\) appartient aussi au noyau de \(f\). En déduire qu'il existe un réel \(b\) tel que \(g\left(e_{2}^{\prime}\right)=b e_{1}^{\prime}+a e_{2}^{\prime}\).\\ (c) Montrer que: \(f \circ g\left(e_{3}^{\prime}\right)=g \circ f\left(e_{3}^{\prime}\right)=a e_{2}^{\prime}+b e_{1}^{\prime}\). En déduire que \(g\left(e_{3}^{\prime}\right)-a e_{3}^{\prime}-b e_{2}^{\prime}\) appartient au noyau de \(f\).\\ (d) En déduire qu'il existe un réel \(c\) tel que : \(V=\left(\begin{array}{lll}a & b & c \\ 0 & a & b \\ 0 & 0 & a\end{array}\right)\).\\ 3. Calculer \(V^{2}\) en fonction de \(a, b\) et \(c\), puis en utilisant l'hypothèse \(V^{2}=T\), obtenir une contradiction. \section*{EXERCICE 2} On considère la fonction \(f\) définie sur l'ouvert \(\mathbb{R}_{+}^{*} \times \mathbb{R}_{+}^{*}\) par : \[ \forall(x, y) \in \mathbb{R}_{+}^{*} \times \mathbb{R}_{+}^{*}, \quad f(x, y)=\frac{x}{y^{2}}+y^{2}+\frac{1}{x} . \] La première partie consiste en l'étude des extrema éventuels de la fonction \(f\), et la deuxième partie a pour objectif l'étude d'une suite implicite définie à l'aide de la fonction \(f\).\\ Ces deux parties sont indépendantes. \section*{Partie A} \begin{enumerate} \item On utilise Scilab pour tracer des lignes de niveau de la fonction \(f\). On obtient le graphe suivant :\\ \includegraphics[max width=\textwidth, alt={}, center]{a8e58c2a-978b-4cf5-83e9-cef02fe61536-3_882_1164_1576_477} \end{enumerate} Établir une conjecture à partir du graphique quant à l'existence d'un extremum local pour \(f\), dont on donnera la nature, la valeur approximative et les coordonnées du point en lequel il semble être atteint.\\ 2.(a) Démontrer que \(f\) est de classe \(\mathcal{C}^{2}\) sur \(\mathbb{R}_{+}^{*} \times \mathbb{R}_{+}^{*}\).\\ (b) Calculer les dérivées partielles premières de \(f\), puis démontrer que \(f\) admet un unique point critique, noté \(A\), que l'on déterminera.\\ (c) Calculer les dérivées partielles secondes de \(f\), puis démontrer que la matrice hessienne de \(f\) au point \(A\) est la matrice \(H\) définie par : \(H=\left(\begin{array}{cc}2 & -2 \\ -2 & 8\end{array}\right)\).\\ (d) En déduire que la fonction \(f\) admet au point \(A\) un extremum local, préciser si cet extremum est un minimum ou un maximum, et donner sa valeur. \section*{Partie B} Pour tout entier naturel \(n\) non nul, on note \(h_{n}\) la fonction définie sur \(\mathbb{R}_{+}^{*}\) par : \[ \forall x>0, \quad h_{n}(x)=f\left(x^{n}, 1\right)=x^{n}+1+\frac{1}{x^{n}} . \] \begin{enumerate} \item Démontrer que pour tout entier naturel \(n\) non nul, la fonction \(h_{n}\) est strictement décroissante sur \(] 0,1\) [ et strictement croissante sur \([1,+\infty[\). \item En déduire que pour tout entier naturel \(n\) non nul, l'équation : \(h_{n}(x)=4\) admet exactement deux solutions, notées \(u_{n}\) et \(v_{n}\), et vérifiant : \(00, \quad \forall n \in \mathbb{N}^{*}, \quad h_{n+1}(x)-h_{n}(x)=\frac{(x-1)\left(x^{2 n+1}-1\right)}{x^{n+1}} . \] (b) En déduire que : \(\forall n \in \mathbb{N}^{*}, h_{n+1}\left(v_{n}\right) \geqslant 4\).\\ (c) Montrer alors que la suite ( \(v_{n}\) ) est décroissante.\\ 4.(a) Démontrer que la suite ( \(v_{n}\) ) converge vers un réel \(\ell\) et montrer que \(\ell \geqslant 1\).\\ (b) En supposant que \(\ell>1\), démontrer que : \(\lim _{n \rightarrow+\infty} v_{n}^{n}=+\infty\). En déduire une contradiction.\\ (c) Déterminer la limite de \(\left(v_{n}\right)\).\\ 5.(a) Montrer que: \(\forall n \geqslant 1, v_{n} \leqslant 3\).\\ (b) Écrire une fonction Scilab d'en-tête function \(\mathrm{y}=\mathrm{h}(\mathrm{n}, \mathrm{x})\) qui renvoie la valeur de \(h_{n}(x)\) lorsqu'on lui fournit un entier naturel \(n\) non nul et un réel \(x \in \mathbb{R}_{+}^{*}\) en entrée.\\ (c) Compléter la fonction suivante pour qu'elle renvoie une valeur approchée à \(10^{-5}\) près de \(v_{n}\) par la méthode de dichotomie lorsqu'on lui fournit un entier \(n \geqslant 1\) en entrée : \begin{verbatim} function res=v(n) a = 1 b = 3 while (b-a)>10^(-5) c = (a+b)/2 if h(n,c) < 4 then ......... else ........ end end ........ endfunction \end{verbatim} (d) À la suite de la fonction v , on écrit le code suivant : \begin{verbatim} X=1:20 Y=zeros (1,20) for k=1:20 Y(k)=v(k)^k end plot2d(X,Y,style=2) \end{verbatim} À l'exécution du programme, on obtient la sortie graphique suivante :\\ \includegraphics[max width=\textwidth, alt={}, center]{a8e58c2a-978b-4cf5-83e9-cef02fe61536-5_757_999_977_587} Expliquer ce qui est affiché sur le graphique ci-dessus.\\ Que peut-on conjecturer?\\ (e) Montrer que: \(\quad \forall n \geqslant 1,\left(v_{n}\right)^{n}=\frac{3+\sqrt{5}}{2}\).\\ (f) Retrouver ainsi le résultat de la question 4(c). \section*{Cócricome} \section*{EXERCICE 3} On suppose que toutes les variables aléatoires présentées dans cet exercice sont définies sur le même espace probabilisé. \section*{Partie A} Soit \(f\) la fonction définie sur \(\mathbb{R}\) par : \[ \forall t \in \mathbb{R}, \quad f(t)=\left\{\begin{array}{cl} \frac{1}{t^{3}} & \text { si } t \geqslant 1, \\ 0 & \text { si }-1