\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}

\title{Conception : ECOLE DES HAUTES ETUDES COMMERCIALES }

\author{}
\date{}


\begin{document}
\maketitle
CONCOURS D'ADMISSION DE 2009

OPTION ECONOMIQUE

\section*{MATHEMATIQUES}
HEC\_\_MATE\\
Mardi 28 avril 2009, 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 : 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

\section*{EXERCICE}
Toutes les matrices de cet exercice sont des éléments de l'ensemble \(\mathcal{M}_{2}(\mathbb{R})\) des matrices carrées d'ordre 2 à coefficients réels. On note \(I\) la matrice identité de \(\mathcal{M}_{2}(\mathbb{R})\). On rappelle qu'un élément \(A\) de \(\mathcal{M}_{2}(\mathbb{R})\) est colinéaire à \(I\) s'il existe un réel \(\lambda\) tel que \(A=\lambda I\).

On définit les deux applications suivantes de \(\mathcal{M}_{2}(\mathbb{R})\) dans \(\mathbb{R}\), notées \(d\) et \(t\), par : pour tout élément \(A=\left(a_{i, j}\right)_{1 \leqslant i, j \leqslant 2}\) de \(\mathcal{M}_{2}(\mathbb{R}), d(A)=a_{1,1} a_{2,2}-a_{1,2} a_{2,1}\) et \(t(A)=a_{1,1}+a_{2,2}\).

\begin{enumerate}
  \item Soit \(A\) et \(B\) deux éléments de \(\mathcal{M}_{2}(\mathbb{R})\).\\
a) Calculer \(d(2 I)\). En déduire que l'application \(d\) n'est pas linéaire.\\
b) Établir la formule : \(d(A B)=d(A) \times d(B)\).\\
c) En déduire que si \(A\) et \(B\) sont semblables, on a : \(d(A)=d(B)\).
  \item a) Montrer que \(t\) est une application linéaire de \(\mathcal{M}_{2}(\mathbb{R})\) dans \(\mathbb{R}\). Déterminer la dimension de son image et celle de son noyau.\\
b) Établir que si \(A\) et \(B\) sont deux éléments de \(\mathcal{M}_{2}(\mathbb{R})\), on a : \(t(A B)=t(B A)\).\\
c) En déduire que si \(A\) et \(B\) sont semblables, on a : \(t(A)=t(B)\).
  \item Soit \(A\) un élément donné de \(\mathcal{M}_{2}(\mathbb{R})\) non colinéaire à \(I\).\\
a) Établir l'existence d'un unique couple ( \(\alpha, \beta\) ) de réels vérifiant : \(A^{2}=\alpha A+\beta I\).\\
b) Exprimer \(\alpha\) et \(\beta\) en fonction de \(d(A)\) et \(t(A)\).
  \item Soit \(A\) un élément donné de \(\mathcal{M}_{2}(\mathbb{R})\) non colinéaire à \(I\). On note \(u\) l'endomorphisme de \(\mathbb{R}^{2}\) dont \(A\) est la matrice associée dans la base canonique ( \(e_{1}, e_{2}\) ) de \(\mathbb{R}^{2}\). On pose : \(w=e_{1}+e_{2}\).\\
a) Montrer que les trois vecteurs \(e_{1}, e_{2}\) et \(w\) ne peuvent être simultanément vecteurs propres de \(u\).\\
b) En déduire qu'il existe au moins un élément non nul \(x\) de \(\mathbb{R}^{2}\) tel que la famille ( \(x, u(x)\) ) soit une base de \(\mathbb{R}^{2}\).\\
c) Montrer que la matrice \(M\) associée à \(u\) dans la base ( \(x, u(x)\) ) est de la forme ( \(\left.\begin{array}{ll}0 & a \\ 1 & b\end{array}\right)\), où \(a\) et \(b\) sont deux réels, indépendants de la base ( \(x, u(x)\) ), que l'on exprimera en fonction de \(d(A)\) et \(t(A)\).\\
d) En déduire que la matrice \(A\) est semblable à sa transposée \({ }^{t} A\).
  \item Soit \(A\) un élément donné de \(\mathcal{M}_{2}(\mathbb{R})\) et \(\mathcal{C}(A)\) l'ensemble défini par : \(\mathcal{C}(A)=\left\{B \in \mathcal{M}_{2}(\mathbb{R}) / A B=B A\right\}\).\\
a) Montrer que \(\mathcal{C}(A)\) est un sous-espace vectoriel de \(\mathcal{M}_{2}(\mathbb{R})\).\\
b) Déterminer une base et la dimension de \(\mathcal{C}(A)\) (on discutera selon que \(A\) est ou n'est pas colinéaire à \(I\) ).
\end{enumerate}

\section*{PROBLÈME}
Dans tout le problème, on considère la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) définie par \(u_{0}=0, u_{1}=1\) et la relation : pour tout \(n\) de \(\mathbb{N}, u_{n+2}=u_{n+1}+u_{n}\).\\
La partie II est indépendante de la partie I et la partie III est indépendante de la partie II.

\section*{Partie I. Analyse}
\begin{enumerate}
  \item a) Montrer que la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) est une suite croissante d'entiers naturels.\\
b) La suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) est-elle convergente?
\end{enumerate}

Dans toute la suite du problème, \(a\) et \(b(a>b)\) désignent les deux solutions de l'équation du second degré suivante : \(x^{2}-x-1=0\).\\
2. a) Montrer que : \(b=1-a=-\frac{1}{a}\). Établir l'encadrement suivant : \(1<a<2\).\\
b) Montrer que, pour tout \(n\) de \(\mathbb{N}\), on a : \(u_{n}=\frac{1}{\sqrt{5}}\left(a^{n}-b^{n}\right)\).\\
c) En déduire un équivalent de \(u_{n}\) lorsque \(n\) tend vers \(+\infty\).\\
3. On pose, pour tout \(n\) de \(\mathbb{N}: \beta_{n}=u_{n+1}-a u_{n}\). Exprimer, pour tout \(n\) de \(\mathbb{N}, \beta_{n}\) en fonction de \(n\) et \(b\).\\
4. On rappelle que pour tout réel \(x\), la partie entière de \(x\) est l'entier noté \(\lfloor x\rfloor\) qui vérifie : \(\lfloor x\rfloor \leqslant x<\lfloor x\rfloor+1\).\\
a) Établir, pour tout \(n\) de \(\mathbb{N}\), l'égalité suivante : \(\left\lfloor a u_{2 n}\right\rfloor=u_{2 n+1}-1\).\\
b) Exprimer, pour tout \(n\) de \(\mathbb{N}^{*},\left\lfloor a u_{2 n-1}\right\rfloor\) en fonction de \(u_{2 n}\).\\
5. Soit \(y\) un réel fixé vérifiant \(|y|<1\) et \(k\) un entier fixé de \(\mathbb{N}\).\\
a) Montrer que la série \(\sum_{n \geqslant 1} n^{k} y^{n}\) est absolument convergente.\\
b) En déduire la convergence de la série \(\sum_{n \geqslant 1} n^{k} \frac{u_{n}}{2^{n+1}}\).\\
c) En utilisant la définition de la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\), calculer \(\sum_{n=1}^{\infty} \frac{u_{n}}{2^{n+1}}\).

\section*{Partie II. Algèbre et algorithmique}
\begin{enumerate}
  \setcounter{enumi}{5}
  \item Soit \(A\) la matrice carrée d'ordre 4 définie par : \(A=\frac{1}{2}\left(\begin{array}{llll}1 & 1 & 1 & 1 \\ 1 & 0 & 0 & 1 \\ 1 & 0 & 0 & 1 \\ 1 & 1 & 1 & 1\end{array}\right)\)\\
a) La matrice \(A\) est-elle inversible? \(A\) est-elle diagonalisable?\\
b) Calculer \(A^{2}\) et \(A^{3}\). Vérifier que \(A^{3}\) est une combinaison linéaire de \(A\) et \(A^{2}\).\\
c) Déterminer les valeurs propres de \(A\).\\
d) Établir l'existence de deux suites \(\left(a_{n}\right)_{n \in \mathbb{N}^{*}}\) et \(\left(b_{n}\right)_{n \in \mathbb{N}^{*}}\) telles que, pour tout \(n\) de \(\mathbb{N}^{*}\), on ait : \(A^{n}=a_{n} A+b_{n} A^{2}\).\\
e) Exprimer, pour tout \(n\) de \(\mathbb{N}^{*}, a_{n+1}\) et \(b_{n+1}\) en fonction de \(a_{n}\) et \(b_{n}\). Montrer que les suites \(\left(a_{n}\right)_{n \in \mathbb{N}^{*}}\) et \(\left(b_{n}\right)_{n \in \mathbb{N}^{*}}\) vérifient une relation de récurrence linéaire d'ordre 2 .
  \item On propose la fonction Pascal suivante :
\end{enumerate}

\begin{verbatim}
Function f(n : integer) : integer;
var temp,u,v,k : integer;
Begin
u := 0; v := 1;
for k := 1 to n-1 do
    Begin
    temp := ___ ; v := ___ ; u := ___
    end;
f := ___
end ;
\end{verbatim}

Compléter cette fonction aux quatre places signalées par des tirets de façon que la valeur rendue soit \(u_{n}\).\\
8. Soit \(n\) un entier de \(\mathbb{N}^{*}\). On dit que \(n\) admet une \(Z\)-décomposition s'il existe un entier \(r\) de \(\mathbb{N}^{*}\) tel que l'on puisse écrire : \(n=u_{k_{1}}+u_{k_{2}}+\cdots+u_{k_{r}}\), où, pour tout \(i\) de \(\llbracket 1, r \rrbracket, k_{i}\) est un entier supérieur ou égal à 2 et où, pour tout \(i\) de \(\llbracket 1, r-1 \rrbracket\) (avec \(r \geqslant 2\) ), on a : \(k_{i+1}-k_{i} \geqslant 2\).\\
a) Montrer que les entiers 37 et 272 admettent une Z -décomposition.\\
b) Soit \(n\) un entier admettant une Z-décomposition de la forme : \(n=u_{k_{1}}+u_{k_{2}}+\cdots+u_{k_{r}}\). Montrer, par récurrence sur \(r\), que l'on a : \(n<u_{k_{r}+1}\). En déduire l'unicité de \(r\).\\
c) Montrer que, pour tout entier \(p\) supérieur ou égal à 2 , tout entier \(n\) qui vérifie \(1 \leqslant n \leqslant u_{p}\) admet une unique Z-décomposition (on pourra faire un raisonnement par récurrence sur \(p\) ).\\
9. On suppose que l'on a défini en Pascal une constante \(p\) et un type tab par les instructions suivantes :

\begin{verbatim}
const p=20; type tab=array[2..p] of integer
\end{verbatim}

On suppose également que l'on a défini une variable u de type tab telle que, pour tout \(k\) de \(\llbracket 2, p \rrbracket\), la variable \(\mathrm{u}[\mathrm{k}]\) contient la valeur \(u_{k}\). On se donne un entier \(n\) vérifiant : \(1 \leqslant n \leqslant u_{p}\).\\
Rédiger la procédure d'en-tête : procedure \(\mathrm{Z}(\mathrm{n}\) : integer; var Res: tab) de façon que:

\[
\operatorname{Res}[k]=\left\{\begin{aligned}
u_{k_{1}} & \text { si } k=k_{1} \\
u_{k_{2}} & \text { si } k=k_{2} \\
\vdots & \vdots \\
u_{k_{r}} & \text { si } k=k_{r} \\
0 & \text { sinon }
\end{aligned}\right.
\]

Expliquer et justifier l'algorithme utilisé.

\section*{Partie III. Probabilités}
On effectue dans une urne qui contient des boules numérotées 0 ou 1 une suite illimitée de tirages avec remise d'une boule. À chaque tirage, la probabilité de tirer une boule numérotée 1 est \(p(0<p<1)\) et la probabilité de tirer une boule numérotée 0 est \(q\), avec \(q=1-p\), et on suppose que les résultats des différents tirages sont indépendants.\\
On suppose que cette expérience est modélisée par un espace probabilisé ( \(\Omega, \mathcal{A}, P\) ). On s'intéresse au nombre de tirages nécessaires pour obtenir deux boules numérotées 1 de suite, c'est-à-dire lors de deux tirages consécutifs. On définit, pour tout \(i\) de \(\mathbb{N}^{*}\), les événements \(S_{i}\) : «le \(i\)-ième tirage donne une boule numérotée 1 », et \(B_{i}=S_{i} \cap S_{i+1}\).\\
Si au moins un des événements \(B_{i}\) se réalise au cours de l'expérience, on note \(Y\) la valeur de l'entier \(i\) correspondant au premier événement \(B_{i}\) réalisé. Sinon, c'est-à-dire si aucun des événements \(B_{i}\) ne se réalise, on attribue à \(Y\) la valeur 0 . On admet que \(Y\) est une variable aléatoire définie sur ( \(\Omega, \mathcal{A}, P\) ).\\
Par exemple, si le résultat de l'expérience est : \(0,1,0,0,0,1,1,0,1,1,1,0, \ldots\), alors \(Y\) prend la valeur 6 .\\
10. a) Calculer, pour tout \(i\) de \(\mathbb{N}^{*}\), la probabilité \(P\left(B_{i}\right)\).\\
b) Déterminer \(Y(\Omega)\). Calculer \(P([Y=1]), P([Y=2])\) et \(P([Y=3])\).\\
11. Pour tout \(n\) de \(\mathbb{N}^{*}\), on note \(C_{n}\) l'événement : « lors des \(n\) premiers tirages, il n'apparaît jamais deux fois de suite une boule numérotée 1 ». On pose : \(C_{0}=\Omega\).\\
a) Calculer \(P\left(C_{0}\right), P\left(C_{1}\right)\) et \(P\left(C_{2}\right)\).\\
b) Établir, pour tout \(n\) de \(\mathbb{N}\), la relation : \(P([Y=n+2])=p^{2} q P\left(C_{n}\right)\).\\
12. a) En considérant les résultats possibles des deux premiers tirages, montrer, pour tout entier \(n\) supérieur ou égal à 2 , l'égalité : \(P\left(C_{n}\right)=q P\left(C_{n-1}\right)+p q P\left(C_{n-2}\right)\).\\
b) Déterminer, pour tout \(n\) de \(\mathbb{N}^{*}\), une relation entre \(P([Y=n+2]), P([Y=n+1])\) et \(P([Y=n])\).\\
13. On suppose dans cette question que \(p=q=1 / 2\).\\
a) Montrer que, pour tout \(n\) de \(\mathbb{N}^{*}\), on a : \(P([Y=n])=\frac{u_{n}}{2^{n+1}}\), où la suite \(\left(u_{n}\right)_{n \in \mathbb{N}}\) a été définie dans le préambule du problème.\\
b) Que vaut \(P([Y=0])\) ?\\
c) On note \(E(Y)\) l'espérance de \(Y\). Montrer que \(E(Y)=5\).\\
d) Calculer la variance \(V(Y)\) de \(Y\).\\
14. On revient au cas général : \(0<p<1\) et \(q=1-p\).\\
a) Montrer que l'équation du second degré \(x^{2}-q x-p q=0\) admet deux racines distinctes. On les note \(r\) et \(s\), avec \(r>s\).\\
b) Établir les inégalités suivantes : \(-1<s<0<r<1\) et \(r>|s|\).\\
c) On pose : \(\Delta=q^{2}+4 p q\). Montrer que, pour tout \(n\) de \(\mathbb{N}^{*}\), on a : \(P([Y=n])=\frac{p^{2}}{\sqrt{\Delta}}\left(r^{n}-s^{n}\right)\).\\
d) Calculer \(P([Y=0])\).\\
e) Montrer que \(Y\) admet des moments de tous ordres et calculer l'espérance de \(Y\).\\
15. a) Montrer, pour tout réel \(x\) vérifiant \(|x|<\frac{1}{r}\), la convergence de la série \(\sum_{n \geqslant 1} P([Y=n]) x^{n}\). On pose alors : \(g(x)=\sum_{n=1}^{\infty} P([Y=n]) x^{n}\).\\
b) Établir, pour tout réel \(x\) vérifiant \(|x|<\frac{1}{r}\), la formule suivante : \(g(x)=\frac{p^{2} x}{1-q x-p q x^{2}}\).\\
16. On suppose dans cette question que \(p=2 / 3\).\\
a) Étudier les variations de la fonction \(g\) sur l'intervalle \(I=]-\frac{3}{2}, \frac{3}{2}[\).\\
b) Montrer l'existence d'un unique réel \(\alpha\) de \(]-\frac{1}{2}, 0[\) tel que \(g\) soit concave sur l'intervalle \(]-\frac{3}{2}, \alpha[\) et convexe sur l'intervalle ] \(\alpha, \frac{3}{2}[\).\\
c) Tracer l'allure de la courbe représentative de \(g\) sur \(I\) dans le plan rapporté à un repère orthonormé.


\end{document}