Euclidean vector space/Isometry/Orthogonal/Fact/Proof

Proof

Suppose first that is an isometry. Then, is an orthonormal basis due to fact. The coordinates of with respect to constitute the columns of the describing matrix . Therefore, using exercise, we have

Read as a matrix equation, this means

This argument can be read backwards to get the reverse implication.