Read · 1 min
Suppose that we have two vectors and , and that the angle between them is .
We know that .
Suppose that we map space by an isometry , such that is mapped to , is mapped to , and so on.
Since isometries preserve distance by definition, we have: Moreover, isometries also preserve angles. If you are unfamiliar with this, you can look at this article: All Isometries Preserve Angles. However, it is pretty simple: the idea boils down to the fact that a triangle may be determined up to congruence by its side lengths, even if you don't know the angles.
Thus, we have the following, if is the angle between and : Combining these statements, Therefore, we can conclude: Since the points , , , and were purely arbitrary choices, we may conclude that the same holds for any choice of points. Thus, all isometries preserve dot products of vectors.