Maximum d'une fonction définie sur R^n

Référence Exercice 8.19 p. 514 - Dugardin, Rezzouk\r\rOn considère l'ensemble \r\[\r\mathcal{K}_n = \lbrace x = (x_1,\dots,x_n) \in \mathbb{R}^{n}_{+}, x_1+\dots+x_n=1 \rbrace\r\]\rainsi que la fonction \r$$\r\begin{array}{ccccc}\r\rf & : & \mathbb{R}^n & \to & \mathbb{R} \\\r\r & & x & \mapsto & \dfrac{1}{2} \underset{i \eq j}{\sum} x_i x_j \\\r\end{array}\r$$\rOn utilisera la norme 1. \r\r1) Justifier que la restriction de $f$ à $\mathcal{K}_n$ est majorée et qu'elle atteint sa borne supérieure en au moins un point de $\mathcal{K}_n$. Dans la suite on notera $M_n$ ce supremum.\r\r2) Calculer $M_2$.\r\r3) Soit $a \in \mathcal{K}_n$ tel que $M_n = f_n(a)$.\ra) En considérant la fonction $g_n : x \mapsto f_n(x) - f_n(a) \lVert x \rVert_{1}^{2}$, démontrer que si $a \in \mathbb{R}_{+}^{*n}$, alors $\nabla f_n(a) = f_n(a) \cdot \begin{bmatrix}\r 1 \\\r \vdots \\\r 1\r \end{bmatrix}$.\r\rb) Conclure alors par récurrence sur $n$ en ce qui concerne la valeur de $M_n$.