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 areThus . 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
There are currently no matching articles.