In a real orthonormal basis, a matrix is a proper rotation matrix exactly when and . The first condition preserves dot products, and the second preserves orientation of a vector space.
Put , , and , so the rows of the given matrix are . Their squared Euclidean norms and pairwise dot products are
Thus . For the sign of its determinant, use the circulant form:
This proves that it is a rotation matrix. Its fixed axis is , because each row sums to one. The rotation trace formula gives ; the skew part selects a positive angle about the unit axis .
The original triangle has edge vectors and . Its area is half the Euclidean norm of their cross product:
The rotated vertices are twice the three columns of :
A rotation matrix preserves lengths and the angle between the two edge vectors, so it preserves their parallelogram area. More explicitly, for a proper rotation matrix, and , so the rotated edge cross product is again . Therefore

Articles by others on the same topic (0)

There are currently no matching articles.