Discuter:Automorphisme orthogonal

Un article de Wikipédia, l'encyclopédie libre.

Il était dit dans une version précédente (en fait depuis la création de l'article)

"la formule (1) permet de démontrer la linéarité de f."

c'est incorrect, même si on peut prouver ceci (en dim finie) : si une application vérifie f(0)=0 et ||f(x)-f(y)||=||x-y|| pour tous x, y alors f est en effet linéaire, et est un autom orthogonal. Ceci dit ce résultat me semble plus technique qu'intéressant Peps 14 avril 2007 à 14:45 (CEST)