Exercice 9, § 1

Soient E un espace hilbertien réel, $f$ une forme linéaire continue dans E. Montrer que sur toute partie convexe fermée A de E, la fonction $x \mapsto \|x\|^2 - f(x)$ est minorée et atteint son minimum en un point de A et un seul.