Développement #387

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

Contenu : 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.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42