\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{mathrsfs} \usepackage{bbold} \author{Durée : 4 heures\\ Candidats bénéficiant de la mesure « Tiers-temps » : 8h00-13h20} \date{} \begin{document} \maketitle \section*{Ccricome} \section*{Mathématiques} \section*{Option Économique} \section*{Lundi 25 avril 2022 de 8 hOO à 12 h 00} L'énoncé comporte 4 pages. \section*{CONSIGNES} Tous les feuillets doivent être identifiables et numérotés par le candidat.\\ 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} Dans tout l'exercice, \(\mathscr{M}_{3}(\mathbb{R})\) désigne l'ensemble des matrices carrées d'ordre 3 à coefficients réels. On notera respectivement \(I_{3}\) et \(0_{3}\) la matrice identité et la matrice nulle de \(\mathscr{M}_{3}(\mathbb{R})\).\\ Soit \(F\) l'ensemble des matrices de \(\mathscr{M}_{3}(\mathbb{R})\) de la forme \(\left(\begin{array}{lll}a & b & b \\ b & a & b \\ b & b & a\end{array}\right)\), où \(a\) et \(b\) sont des réels quelconques. Soit \(G\) l'ensemble des matrices \(M\) de \(\mathscr{M}_{3}(\mathbb{R})\) telles que \(M^{2}=M\). \section*{Partie I} \begin{enumerate} \item \(F\) est-il un sous-espace vectoriel de \(\mathscr{M}_{3}(\mathbb{R})\) ? Si oui, déterminer une base de \(F\) et préciser la dimension de \(F\). \item \(G\) est-il un sous-espace vectoriel de \(\mathscr{M}_{3}(\mathbb{R})\) ? Si oui, déterminer une base de \(G\) et préciser la dimension de \(G\). \item Soit \(A=\frac{1}{3}\left(\begin{array}{ccc}2 & -1 & -1 \\ -1 & 2 & -1 \\ -1 & -1 & 2\end{array}\right)\)\\ (a) Démontrer que \(A \in F \cap G\).\\ (b) En déduire un polynôme annulateur de \(A\).\\ (c) Déterminer les valeurs propres de \(A\), et donner une base de chaque sous-espace propre associé.\\ (d) La matrice \(A\) est-elle inversible? Est-elle diagonalisable? \end{enumerate} \section*{Partie II} On considère dans cette partie une matrice \(M=\left(\begin{array}{lll}a & b & b \\ b & a & b \\ b & b & a\end{array}\right)\) de \(F\) avec \((a, b) \in \mathbb{R}^{2}\).\\ 4. (a) Démontrer que : \[ M \in G \Longleftrightarrow\left\{\begin{array}{l} a^{2}+2 b^{2}=a \\ b(b+2 a-1)=0 \end{array} .\right. \] (b) Montrer alors que : \(F \cap G=\left\{I_{3}, 0_{3}, A, I_{3}-A\right\}\).\\ 5. On note \(B=I_{3}-A\). Démontrer que la famille ( \(A, B\) ) est une base de \(F\).\\ 6. (a) On note \(\alpha=\frac{4 a-b}{3}\) et \(\beta=\frac{a+2 b}{3}\). Vérifier que : \[ M=\alpha A+\beta B . \] (b) Calculer \(A B\) et \(B A\).\\ (c) Montrer que pour tout entier naturel \(n\) : \[ M^{n}=\alpha^{n} A+\beta^{n} B . \] \begin{enumerate} \setcounter{enumi}{6} \item (a) Montrer que \(M\) est inversible si et seulement si \(\alpha \neq 0\) et \(\beta \neq 0\).\\ (b) Si \(\alpha\) et \(\beta\) sont deux réels non nuls, montrer que pour tout entier naturel \(n\), on a : \end{enumerate} \[ M^{-n}=\alpha^{-n} A+\beta^{-n} B . \] \section*{Partie III} Soient \(T=\left(\begin{array}{lll}3 & 1 & 1 \\ 1 & 3 & 1 \\ 1 & 1 & 3\end{array}\right)\) et \(Y=\left(\begin{array}{c}1 \\ -1 \\ 0\end{array}\right)\).\\ On considère la suite \(\left(X_{n}\right)\) de matrices colonnes définie par \(X_{0}=\left(\begin{array}{l}1 \\ 1 \\ 0\end{array}\right)\) et la relation de récurrence: \[ \forall n \in \mathbb{N}, \quad X_{n+1}=T X_{n}+Y . \] \section*{Cócricome} \begin{enumerate} \setcounter{enumi}{7} \item Calculer la matrice \(I_{3}-T\) et exprimer cette matrice en fonction de \(A\) et \(B\). \item À l'aide de la question 7 , calculer la matrice \(\left(I_{3}-T\right)^{-1}\). \item Démontrer qu'il existe une unique matrice colonne \(L\), que l'on déterminera, telle que : \end{enumerate} \[ L=T L+Y . \] \begin{enumerate} \setcounter{enumi}{10} \item Démontrer que pour tout entier naturel \(n\), on a : \(X_{n+1}-L=T\left(X_{n}-L\right)\), puis que : \end{enumerate} \[ \forall n \in \mathbb{N}, \quad X_{n}-L=T^{n}\left(X_{0}-L\right) . \] \begin{enumerate} \setcounter{enumi}{11} \item Pour tout entier naturel \(n\), exprimer \(X_{n}\) en fonction de \(A, B, L, X_{0}\) et \(n\). \end{enumerate} \section*{Exercice 2} Pour tout réel \(x>0\), on pose : \[ g(x)=\exp \left(\left(2-\frac{1}{x}\right) \ln (x)\right) . \] \section*{Partie I : Étude de la fonction \(g\)} \begin{enumerate} \item Déterminer \(\lim _{x \rightarrow 0^{+}} g(x)\) et \(\lim _{x \rightarrow+\infty} g(x)\). \item Soit \(h\) la fonction définie sur \(\mathbb{R}_{+}^{*}\) par : \end{enumerate} \[ \forall x>0, h(x)=\ln (x)+2 x-1 . \] (a) Démontrer que la fonction \(h\) est strictement croissante sur \(\mathbb{R}_{+}^{*}\).\\ (b) Démontrer qu'il existe un unique réel \(\alpha>0\) tel que \(h(\alpha)=0\). Justifier que \(\frac{1}{2}<\alpha<1\).\\ (c) Démontrer que : \(\forall x>0, g^{\prime}(x)=\frac{1}{x^{2}} h(x) g(x)\).\\ (d) En déduire les variations de la fonction \(g\) sur \(\mathbb{R}_{+}^{*}\).\\ 3. Démontrer que : \[ g(x)-x^{2} \underset{x \rightarrow+\infty}{\sim}-x \ln (x) . \] \section*{Partie II : Étude d'une suite récurrente} Soit \(\left(u_{n}\right)_{n \in \mathbb{N}}\) la suite définie par son premier terme \(u_{0}>0\) et la relation de récurrence : \[ \forall n \in \mathbb{N}, u_{n+1}=g\left(u_{n}\right) . \] \begin{enumerate} \setcounter{enumi}{3} \item Démontrer par récurrence que, pour tout entier naturel \(n, u_{n}\) existe et \(u_{n}>0\). \item Écrire une fonction Scilab qui prend en argument un réel u0 et un entier n et renvoie sous forme de matrice ligne la liste des \(n+1\) premières valeurs de la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) de premier terme \(u_{0}=\mathrm{u} 0\). \item (a) Étudier le signe de \((x-1) \ln x\) pour \(x>0\).\\ (b) Montrer que: \(\forall x>0, \frac{g(x)}{x} \geqslant 1\).\\ (c) En déduire que pour tout réel \(x>0\), on a \(g(x) \geqslant x\), et que l'équation \(g(x)=x\) admet 1 comme unique solution. \item Étudier les variations de la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\). \item Dans cette question uniquement, on suppose que \(u_{0} \in\left[\frac{1}{2}, 1\right]\).\\ (a) Démontrer que : \(\forall n \in \mathbb{N}, u_{n} \in\left[\frac{1}{2}, 1\right]\).\\ (b) En déduire que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) converge, et déterminer sa limite. \end{enumerate} \section*{Ccricome} \begin{enumerate} \setcounter{enumi}{8} \item Dans cette question uniquement, on suppose que \(u_{0}>1\).\\ (a) Démontrer que : \(\forall n \in \mathbb{N}, u_{n}>1\).\\ (b) Démontrer que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) tend vers \(+\infty\). \item Dans cette question uniquement, on suppose que \(0