Soit, dans , un sous-espace fermé, et soit définie par . On rappelle que est -lipschitzienne, et que pour chaque il existe tel que .
1
On suppose que est différentiable en . Montrer que .
2
On considère la fonction ; en calculant de deux façons, montrer que et .
3
En déduire que est unique.