The linear system has the matrix formThe first equation gives . Substitute it into the second to obtain . Substitution into the third gives . ConsequentlyIt follows thatSubstitution verifies all three equations. Also , so this solution of a linear system is unique.
The characteristic polynomial of isThe corresponding eigenvectors may be chosen as and . They are linearly independent, so write . Substitution in the system of ordinary differential equations givesIndependence of the eigenvectors yields two decoupled harmonic oscillator equations. Their four integration constants give the general real solutionBoth 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 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.