The linear system has the matrix form
The first equation gives . Substitute it into the second to obtain . Substitution into the third gives . Consequently
It follows that
Substitution verifies all three equations. Also , so this solution of a linear system is unique.
The characteristic polynomial of is
The corresponding eigenvectors may be chosen as and . They are linearly independent, so write . Substitution in the system of ordinary differential equations gives
Independence of the eigenvectors yields two decoupled harmonic oscillator equations. Their four integration constants give the general real solution
Both components can be differentiated directly to verify . Orthogonality of the eigenvectors is unnecessary: diagonalizing this nonsymmetric matrix requires an invertible eigenbasis, not an orthonormal one.
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.