Développement : Fonction dont la différentielle en tout point est une isométrie

Détails/Enoncé :

Soit $f: R^n→R^n$ de classe $C^1$ telle que pour tout $x \in R^n$, $df(x) \in O_n(R)$. Alors $f$ est une isométrie affine.

Versions :