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

\title{ECOLE DES HAUTES ETUDES COMMERCIALES }

\author{}
\date{}


\begin{document}
\maketitle
\section*{CONCOURS D'ADMISSION SUR CLASSES PREPARATOIRES}
\section*{OPTION SCIENTIFIQUE}
\section*{MATHEMATIQUES I}
Jeudi 18 Mai 2000, de 8h. à 12h.

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.

Ce problème a pour objet l'étude des points en lesquels une application linéaire de \(\mathbb{R}^{p}\) dans \(\mathbb{R}\) atteint son maximum sur l'ensemble des solutions d'un système d'inéquations linéaires.\\
Pour tout entier \(p\) strictement positif, on identifiera \(\mathbb{R}^{p}\) et \(\mathbb{M}_{p, 1}(\mathbb{R})\).

\section*{Partie I. Préliminaires}
On dit qu'une partie \(K\) non vide de \(\mathbb{R}\) est majorée lorsqu'il existe un réel \(M\) tel que

\[
\forall x \in K, x \leqslant M
\]

Un réel \(M\) vérifiant ces inégalités s'appelle un majorant de \(K\); on dit aussi que \(M\) majore \(K\).\\
Dans ce qui suit on suppose que \(K\) est une partie non vide et majorée de \(\mathbb{R}\).\\
Soit \(M\) un majorant de \(K\) et \(a\) un élément de \(K\). On définit les suites \(\left(u_{n}\right)_{n \in \mathbb{N}}\) et \(\left(v_{n}\right)_{n \in \mathbb{N}}\) par:

\[
\begin{gathered}
u_{0}=a, v_{0}=M \\
\forall n \in \mathbb{N},\left(u_{n+1}, v_{n+1}\right)= \begin{cases}\left(\frac{u_{n}+v_{n}}{2}, v_{n}\right) & \text { si } \frac{u_{n}+v_{n}}{2} \text { ne majore pas } K \\
\left(u_{n}, \frac{u_{n}+v_{n}}{2}\right) & \text { sinon }\end{cases}
\end{gathered}
\]

\begin{enumerate}
  \item On suppose, dans cette question seulement, que \(K=[0,1[\cup[3,4[, a=0\) et que \(M=10\).
\end{enumerate}

Déterminer ( \(u_{n}, v_{n}\) ) pour tout entier \(n\) appartenant à \(\{1,2,3,4\}\).\\
2) On revient désormais au cas général.\\
a) Montrer que: \(\forall n \in \mathbb{N}, u_{n} \leqslant v_{n}\).\\
b) Montrer que les deux suites \(\left(u_{n}\right)_{n \in \mathbb{N}}\) et \(\left(v_{n}\right)_{n \in \mathbb{N}}\) sont adjacentes et convergent vers un réel \(b\).\\
c) Montrer que pour tout entier positif \(n, v_{n}\) est un majorant de \(K\), puis que \(b\) majore \(K\).\\
d) Montrer qu'il existe une suite d'éléments de \(K\) qui converge vers \(b\).\\
e) On suppose que \(b^{\prime}\) est un majorant de \(K\).

\begin{itemize}
  \item Montrer que \(b^{\prime} \geqslant b\).
  \item En déduire que \(b\) ne dépend pas des choix initiaux de \(a\) et \(M\) pourvu que \(a\) appartienne à \(K\) et que \(M\) majore \(K\).\\
Désormais, on notera \(\alpha_{K}\) le majorant \(b\) de \(K\) ainsi obtenu.
\end{itemize}

\section*{Partie II. Étude d'un exemple}
On munit \(\mathbb{R}^{2}\) de sa norme euclidienne définie par \(\|(x, y)\|=\sqrt{x^{2}+y^{2}}\) pour tout \((x, y)\) appartenant à \(\mathbb{R}^{2}\).

\begin{enumerate}
  \item On considère trois nombres réels \(a, b, c\), tels que \((a, b) \neq(0,0)\). On définit alors les trois ensembles:\\
\(\mathscr{D}=\left\{(x, y) \in \mathbb{R}^{2} ; a x+b y+c=0\right\}, \mathscr{R}_{+}=\left\{(x, y) \in \mathbb{R}^{2} ; a x+b y+c>0\right\}\) et \(\mathscr{R}_{-}=\left\{(x, y) \in \mathbb{R}^{2} ; a x+b y+c<0\right\}\)\\
a) Montrer que \(\mathscr{R}_{+}\)est une partie ouverte de \(\mathbb{R}^{2}\).
\end{enumerate}

On pourra montrer, en utilisant la continuité de \((x, y) \longmapsto a x+b y+c\) en un point \(\left(x_{0}, y_{0}\right)\) appartenant à \(\mathscr{R}_{+}\), qu'il existe une boule ouverte centrée en ( \(x_{0}, y_{0}\) ) et incluse dans \(\mathscr{R}_{+}\).\\
Il s'ensuit, mutatis mutandis, que \(\mathscr{R}\) \_ est également une partie ouverte de \(\mathbb{R}^{2}\), ce que l'on admettra.\\
b) Soit \((x, y)\) et \(\left(x^{\prime}, y^{\prime}\right)\) deux éléments de \(\mathscr{R}_{+}\). Montrer que, pour tout réel \(\lambda\) appartenant à \([0,1]\), le couple \(\left(\lambda x+(1-\lambda) x^{\prime}, \lambda y+(1-\lambda) y^{\prime}\right)\) appartient à \(\mathscr{R}_{+}\).\\
c) On suppose que ( \(x, y\) ) et ( \(x^{\prime}, y^{\prime}\) ) appartiennent respectivement à \(\mathscr{R}_{+}\)et \(\mathscr{R}_{-}\).

En considérant la fonction \(\lambda \longmapsto a\left(\lambda x+(1-\lambda) x^{\prime}\right)+b\left(\lambda y+(1-\lambda) y^{\prime}\right)+c\), montrer qu'il existe \(\lambda\) dans \([0,1]\) tel que \(\left(\lambda x+(1-\lambda) x^{\prime}, \lambda y+(1-\lambda) y^{\prime}\right)\) appartient à \(\mathscr{D}\).\\
2) Soit \(k\) un entier strictement positif. On considère des parties non vides et ouvertes de \(\mathbb{R}^{2}: A_{1}, \ldots, A_{k}\).\\
a) On suppose dans cette sous-question que \(A_{1} \cap \ldots \cap A_{k}\) est non vide. Montrer que \(A_{1} \cap \ldots \cap A_{k}\) est une partie ouverte de \(\mathbb{R}^{2}\).\\
Si ( \(x_{0}, y_{0}\) ) est un élément de \(A_{1} \cap \ldots \cap A_{k}\), on montrera qu'il existe un réel \(r\) strictement positif tel que la boule de centre ( \(x_{0}, y_{0}\) ) et de rayon \(r\) soit incluse dans \(A_{1} \cap \ldots \cap A_{k}\).\\
b) Montrer que \(A_{1} \cup \ldots \cup A_{k}\) est une partie ouverte de \(\mathbb{R}^{2}\).\\
3) On note \(\Delta\) l'ensemble \(\left\{(x, y) \in \mathbb{R}^{2} ; x \geqslant 0, y \geqslant 0,1-2 x+y \geqslant 0\right.\) et \(\left.1+x-2 y \geqslant 0\right\}\) et \(g\) l'application définie sur \(\Delta\) par:

\[
\forall(x, y) \in \Delta, g(x, y)=3 x-y+4
\]

a) Représenter graphiquement \(\Delta\) dans un plan \(\mathscr{P}\) muni d'un repère orthonormé \((O, \vec{\imath}, \vec{\jmath})\).\\
b) Montrer que \(\Delta\) est une partie fermée et bornée de \(\mathbb{R}^{2}\).\\
c) Montrer que \(g\) admet un maximum sur \(\Delta\).\\
d) Ce maximum peut-il être atteint en un point de l'ensemble \(\Delta^{\prime}\) défini par:

\[
\Delta^{\prime}=\left\{(x, y) \in \mathbb{R}^{2} ; x>0, y>0,1-2 x+y>0 \text { et } 1+x-2 y>0\right\}
\]

e) Déterminer l'ensemble des points de \(\Delta\) où ce maximum est atteint.\\
4) On considère la matrice \(A=\left(\begin{array}{cccc}2 & -1 & 1 & 0 \\ -1 & 2 & 0 & 1\end{array}\right)\) et la matrice colonne \(B=\binom{1}{1}\).

On note \(\mathscr{C}\) l'ensemble \(\left\{X=\left(\begin{array}{l}x_{1} \\ x_{2} \\ x_{3} \\ x_{4}\end{array}\right) \in \mathbb{R}^{4} ; x_{1} \geqslant 0, x_{2} \geqslant 0, x_{3} \geqslant 0, x_{4} \geqslant 0\right.\) et \(\left.A X=B\right\}\).\\
a) Montrer que \(X=\left(\begin{array}{l}x_{1} \\ x_{2} \\ x_{3} \\ x_{4}\end{array}\right)\) appartient à \(\mathscr{C}\) si et seulement si \(x_{1}, x_{2}, x_{3}, x_{4}\) satisfont :

\[
x_{3}=1-2 x_{1}+x_{2}, x_{4}=1+x_{1}-2 x_{2},\left(x_{1}, x_{2}\right) \in \Delta
\]

b) On considère l'élément \(W=\left(\begin{array}{l}2 \\ 4 \\ 1 \\ 3\end{array}\right)\) appartenant à \(\mathbb{R}^{4}\).

On munit \(\mathbb{R}^{4}\) de son produit scalaire canonique : \(\langle X, Y\rangle={ }^{t} X . Y\). On considère également la fonction \(f\) définie sur \(\mathscr{C}\) par:

\[
\forall X \in \mathscr{C}, f(X)=\langle X, W\rangle
\]

\begin{itemize}
  \item Montrer que \(f(X)=g\left(x_{1}, x_{2}\right)\) pour tout élément \(X=\left(\begin{array}{l}x_{1} \\ x_{2} \\ x_{3} \\ x_{4}\end{array}\right)\) appartenant à \(\mathscr{C}\).
  \item Déterminer l'ensemble des points en lesquels \(f\) atteint son maximum sur \(\mathscr{C}\).
\end{itemize}

\section*{Partie III. Sommets et maximum}
Désormais \(n\) et \(p\) désigneront des entiers strictement positifs.\\
On considère une matrice \(A\) appartenant à \(\mathbb{M}_{n, p}(\mathbb{R})\), et deux matrices colonnes \(B\) et \(W\) appartenant respectivement à \(\mathbb{R}^{n}\) et \(\mathbb{R}^{p}\).\\
Pour tout élément \(X\) de \(\mathbb{R}^{p}\) et pour tout \(i\) appartenant à \(\{1, \ldots, p\}\), nous noterons \(X_{i}\) sa \(i\)-ième composante, et ainsi \(X=\left(\begin{array}{c}X_{1} \\ \vdots \\ X_{p}\end{array}\right)\).\\
On dira qu'un élément \(X\) de \(\mathbb{R}^{p}\) est positif et on écrira \(X \geqslant 0\), lorsque toutes ses composantes sont positives.\\
On munit \(\mathbb{R}^{p}\) de son produit scalaire canonique : \(\langle X, Y\rangle={ }^{t} X . Y\).\\
On considère l'ensemble \(\mathscr{C}=\left\{X \in \mathbb{R}^{p} ; X \geqslant 0\right.\) et \(\left.A X=B\right\}\) et l'application \(f\) définie sur \(\mathscr{C}\) par :

\[
\forall X \in \mathscr{C}, f(X)=\langle X, W\rangle
\]

On dit qu'un élément \(Z\) de \(\mathscr{C}\) est un sommet de \(\mathscr{C}\) lorsque :

\[
\left.\forall\left(Z^{\prime}, Z^{\prime \prime}\right) \in \mathscr{C}^{2}, \forall \lambda \in\right] 0,1\left[,\left(Z=\lambda Z^{\prime}+(1-\lambda) Z^{\prime \prime}\right) \Rightarrow\left(Z^{\prime}=Z^{\prime \prime}\right)\right.
\]

Si \(X=\left(\begin{array}{c}X_{1} \\ \vdots \\ X_{p}\end{array}\right)\) est un élément de \(\mathbb{R}^{p}\), on notera \(s(X)\) l'ensemble \(\left\{i \in\{1, \ldots, p\} ; X_{i} \neq 0\right\}\); cet ensemble sera appelé le support de \(X\).\\
Enfin, on notera \(C^{1}, C^{2}, \ldots, C^{p}\) les colonnes de \(A\).\\
Toutes ces notations seront utilisées jusqu'à la fin du problème.

\begin{enumerate}
  \item Vérifier que si l'élément nul de \(\mathbb{R}^{p}\) appartient à \(\mathscr{C}\), alors il est un sommet de \(\mathscr{C}\).
  \item On revient au cas général et on suppose dans ce qui suit que \(\mathscr{C}\) est non vide et que \(f\) atteint son maximum sur \(\mathscr{C}\) en \(U\). Ce maximum sera noté \(M_{0}\). Le but de ce qui va suivre est de construire un sommet de \(\mathscr{C}\) en lequel \(f\) atteint son maximum. On suppose donc que \(U\) n'est pas un sommet de \(\mathscr{C}\) et on considère deux éléments distincts \(U^{\prime}, U^{\prime \prime}\) appartenant à \(\mathscr{C}\) et un réel \(\lambda\) appartenant à \(] 0,1\left[\right.\) tels que \(U=\lambda U^{\prime}+(1-\lambda) U^{\prime \prime}\).\\
a) Vérifier que \(f\left(U^{\prime}\right)=f\left(U^{\prime \prime}\right)=f(U)\) et en déduire que le vecteur \(V=U^{\prime \prime}-U^{\prime}\) est orthogonal à \(W\).
\end{enumerate}

Le vecteur \(U^{\prime \prime}-U^{\prime}\) étant non nul, il a au moins une composante non nulle et quitte à échanger \(U^{\prime}\) et \(U^{\prime \prime}\) on peut supposer que le vecteur \(V\) égal à \(U^{\prime \prime}-U^{\prime}\) admet une composante strictement négative. C'est ce que nous supposons désormais.\\
b) - Montrer que \(s\left(U^{\prime}\right) \subset s(U), s\left(U^{\prime \prime}\right) \subset s(U)\) et \(s(V) \subset s(U)\).

\begin{itemize}
  \item Pour tout réel \(\mu\), calculer : \(A(U+\mu V)\).
  \item Montrer que \(s(U+\mu V) \subset s(U)\) pour tout réel \(\mu\).\\
c) Montrer que la famille \(\left(C^{i}\right)_{i \in s(U)}\) est liée. On pourra considérer \(A V\).\\
d) On considère \(K=\{\mu \in \mathbb{R}, U+\mu V \in \mathscr{C}\}\).
  \item Montrer que \(K\) est une partie non vide et majorée de \(\mathbb{R}\).
  \item Montrer que \(U+\alpha_{K} V\) appartient à \(\mathscr{C}\) et que \(f\left(U+\alpha_{K} V\right)=M_{0}\).
\end{itemize}

Le nombre \(\alpha_{K}\) a été défini dans la partie \(I\).\\
e) On suppose que,pour tout \(i\) appartenant à \(s(U)\), la \(i\)-ième composante \(Y_{i}\) de la colonne \(Y\) égale à \(U+\alpha_{K} V\) est non nulle.\\
En remarquant que pour tout \(i\) appartenant à \(s(U), \lim _{\mu \overrightarrow{>}^{0}}\left(U_{i}+\left(\alpha_{K}+\mu\right) V_{i}\right)=U_{i}+\alpha_{K} V_{i}\), justifier\\
l'existence d'un réel \(\eta\), strictement positif, tel que \(U+\left(\alpha_{K}+\eta\right) V\) appartienne à \(\mathscr{C}\).\\
En déduire que \(s\left(U+\alpha_{K} V\right)\) est strictement inclus dans \(s(U)\).\\
f) Nous noterons désormais \(U^{(1)}=U+\alpha_{K} V\) et nous supposons que \(U^{(1)}\) n'est pas un sommet de \(\mathscr{C}\).

En se servant des questions précédentes, montrer que l'on peut construire un élément \(U^{(2)}\) de \(\mathscr{C}\) tel que \(f\left(U^{(2)}\right)=M_{0}\) et tel que \(s\left(U^{(2)}\right)\) soit strictement inclus dans \(s\left(U^{(1)}\right)\).\\
g) Déduire de ce qui précède l'existence d'un sommet de \(\mathscr{C}\) en lequel \(f\) atteint son maximum sur \(\mathscr{C}\).

\section*{Partie IV. Existence du maximum de la fonction \(\boldsymbol{f}\)}
Dans cette partie nous reprenons les mêmes notations que dans la partie précédente et nous noterons par \(\left\langle X, X^{\prime}\right\rangle\) aussi bien le produit scalaire canonique de deux vecteurs \(X\) et \(X^{\prime}\) de \(\mathbb{R}^{p}\), que le produit scalaire canonique de deux vecteurs \(X\) et \(X^{\prime}\) de \(\mathbb{R}^{n}\).

\begin{enumerate}
  \item Montrer qu'il existe une matrice \(A^{\prime}\) appartenant à \(\mathbb{M}_{p, n}(\mathbb{R})\) telle que :
\end{enumerate}

\[
\forall(X, Y) \in \mathbb{R}^{p} \times \mathbb{R}^{n},\langle A X, Y\rangle=\left\langle X, A^{\prime} Y\right\rangle
\]

\begin{enumerate}
  \setcounter{enumi}{1}
  \item On note \(r\) le rang de la matrice \(A\). On suppose d'une part que \(r\) est non nul, et d'autre part que la famille ( \(C^{1}, C^{2}, \ldots, C^{r}\) ) est libre.\\
On note \(E\) l'espace vectoriel engendré par les colonnes \(C^{1}, \ldots, C^{p}\) de \(A\).\\
a) Montrer que l'application \(\theta: Y \longmapsto\left(\begin{array}{c}\left\langle Y, C^{1}\right\rangle \\ \vdots \\ \left\langle Y, C^{r}\right\rangle\end{array}\right)\) est un isomorphisme de \(E\) dans \(\mathbb{R}^{r}\).\\
b) Montrer qu'il existe un unique vecteur colonne \(Z\) appartenant à \(E\) tel que, pour tout \(i\) appartenant à \(\{1, \ldots, r\}\), on a \(\left\langle Z, C^{i}\right\rangle=W_{i}\). On rappelle que \(W_{i}\) représente la \(i\)-ième composante du vecteur \(W\) introduit dans le préambule de la partie III.\\
c) Exprimer les composantes dans la base canonique de \(\mathbb{R}^{p}\) du vecteur colonne \(A^{\prime} Z\), à l'aide des produits scalaires \(\left\langle Z, C^{i}\right\rangle,(i=1, \ldots, p)\).\\
d) Dans cette sous-question on suppose en outre que : \(\forall i \in\{r+1, \ldots, p\},\left\langle Z, C^{i}\right\rangle \geqslant W_{i}\).
\end{enumerate}

\begin{itemize}
  \item Soit \(X\) un élément appartenant à \(\mathscr{C}\), montrer que \(\langle Z, B\rangle \geqslant\langle X, W\rangle\).
  \item On suppose qu'il existe un vecteur \(U\) appartenant à \(\mathscr{C}\) tel que \(s(U)=\{1, \ldots, r\}\).
\end{itemize}

Prouver que la fonction \(f: X \longmapsto\langle X, W\rangle\) atteint son maximum sur \(\mathscr{C}\) en \(U\) et que \(U\) est un sommet de b.\\
3) Dans cette question \(A\) et \(W\) sont respectivement la matrice et le vecteur introduits dans la partie II.\\
a) Déterminer la valeur de \(r\).\\
b) Déterminer le vecteur \(Z\).\\
c) Est-ce que \(A^{\prime} Z-W \geqslant 0\) ?\\
d) Retrouve-t-on les résultats de la partie II?\\
\&\& \&


\end{document}