Soit une fonction de classe telle que et dont la différentielle vaille Soit l’application de classe définie par
1
Calculer .
2
Déterminer à partir du calcul précédent et ([eq]), et sans autre calcul.
3
Montrer que est une bijection. (On pourra calculer explicitement .)
4
Déterminer explicitement .
5
Calculer les matrixes jacobiennes et et vérifier par un calcul direct que où est la matrice identité d’ordre 2.