A 2D rotation can be represented by the following rotation matrix: Verify of Orthogonality The matrix is orthogonal as we can verify : See Also Rodrigues’ rotation formula