I'd like to prove the fact that - since a rotation of axes is a length-preserving transformation, the rotation matrix must be orthogonal. By the way, the converse of the statement is true also. Meaning, if a transformation is orthogonal, it must be length preserving, and I have been able to prove it. This is the so called "sufficient" statement. But how to prove the "necessary" statement above? Any help?