Bonjour,
J'ai quelques difficultés dans un exercice.
Voilà la consigne:
Soit V un espace euclidien, et soit F: V-->V une application injéctive qui conserve l'angle. Montrez que sous cette condition, il existe une constante k, k différent de 0 et une application orthogonale G:V-->V, tel que F=kG
Soit v,w appartenant à V, v,w différents de 0.
Comme F conserve l'angle, on peut dire que:
<v,w> / (||v|| ||w||) = <F(v),F(w)> / (||F(v)|| ||F(w)||)
<v,w> = [(||v|| ||w||) / (||F(v)|| ||F(w)||)] (<F(v),F(w)>)
Il faut donc montrer que [(||v|| ||w||) / (||F(v)|| ||F(w)||)] est une constante (1/k^2) pour tout v,w appartenant à V.
Ainsi si 1/k^2=[(||v|| ||w||) / (||F(v)|| ||F(w)||)]
<v,w> = 1/k^2 <F(v),F(w)> = <1/k F(v),1/k F(w)>= <G(v),G(w)> (G une application orthogonale, F=kG)
Et c'est là que je suis bloqué, j'arrives pas prouver que c'est une constante
Siq quelqun pour me donner un coup de main, ça serait le bienvenue
Merci,
Damien
-----