Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2012/p/p3/b/solution

Using orthogonality,
Both norms are nonnegative, so taking square roots proves
Thus an orthogonal matrix is a Euclidean isometry fixing the origin.

New to topics? Read the docs here!