real orthogonal matrices do rotations

[impossiblewizardry]

(Av) . (Aw) = v’ A’ A w = v’ w = v . w

So dot products are the same, before and after transformation. That means lengths and angles are the same.

Is this a rotation? Might it instead be a translation? No:

A0 = 0

Center is the same.