Soit une fonction différentiable telle que pour tout et pour tout ,
1
On fixe et pour tout on pose . Calculer pour tout , en l’exprimant en fonction de et .
2
En déduire que .
On définit la fonction par .
3
En utilisant la règle des chaînes, exprimer la dérivée partielle , en fonction des dérivées partielles de .
4
En utilisant une question précédente, en déduire que
5
En déduire qu’il existe une fonction telle que pour tout ,