Soit E un espace euclidien. Soit F un fermé non vide de E. Pour tout x de E, on pose f(x) = d(x, F) .
1. Montrer que qqs x de E , il existe y de F tel que f(x) = ||x − y|| .
2. Soit x un point de E \ F. On suppose que f est différentiable au point x. Montrer que le point y de la question 1. est unique.