On considère un espace euclidien . On dit qu’un endomorphisme de est une similitude de si et seulement si il existe un réel tel que Montrer que les trois assertions suivantes sont équivalentes :
1
[(i)] est une similitude
2
[(ii)] est colinéaire à une transformation orthogonale, c’est à dire
3
[(iii)] conserve l’orthogonalité, c’est à dire :
Pour (i)(ii), on pourra commencer par montrer que (ii)(i).
Pour (i)(iii), on commencera par montrer que et sont toujours colinéaires, c’est à dire que puis on montrera que est indépendant de .