Let be the matrix whose th column consists of the coordinates of in the basis . Define the upper-triangular matrix and lower-triangular matrix by
The first identity in part b says , so . The second says that the matrix of is . Since has diagonal entries one, , and therefore
Thus is the characteristic polynomial of the Coxeter element in its geometric representation.
Using the convention , the characteristic polynomial is
Since for every , the only eigenvalue over the real numbers is . Solving gives
Thus the only eigenspace over the real numbers is the axis of the rotation.
Over the complex numbers, the characteristic polynomial splits into three distinct roots of a polynomial, . Direct multiplication gives the eigenvectors
They are linearly independent: the last two have two-dimensional determinant in the first two coordinates, and the first has nonzero third coordinate. Thus
This is a basis of eigenvectors of , proving that has a diagonalizable matrix.
For the given matrix , the characteristic polynomial is
For , the eigenvector equation gives ; for , it gives . Thus the eigenvalues and their corresponding eigenspaces are
For any eigenvector with eigenvalue , the vector-valued function satisfies , since its derivative is . The two displayed eigenvectors are linearly independent, so the general solution of the linear system of ordinary differential equations is
Choose an ordered basis of and let . Define the characteristic polynomial by
If a different basis gives for an invertible matrix , multiplicativity of the determinant gives
Thus the definition is independent of the chosen basis. The alternate convention differs by the constant factor and gives the same roots.
By the spectral theorem for real symmetric matrices, there is an orthogonal matrix such that
For clarity, the diagonalization can also be justified recursively. The characteristic polynomial has a complex root of a polynomial by the fundamental theorem of algebra. By ii its eigenvalue is real; taking a nonzero real or imaginary part of an associated eigenvector in gives a real eigenvector, which can be normalized. Its orthogonal complement is invariant, because . Restriction to this linear subspace is again symmetric, and induction on dimension gives an orthonormal basis of eigenvectors.
All by ii. The permitted invariance of determinant and matrix trace under change of basis, applied to the diagonal matrix, yields
We use the monic polynomial convention for the characteristic polynomial of an matrix:
It has degree , since the only contribution to the coefficient of in the determinant is the product of the diagonal terms . The alternative convention has the same polynomial roots.
Put , . The characteristic polynomial is , giving
When , these eigenvalues coincide and .
Direct matrix multiplication gives
Consequently , the Cayley-Hamilton theorem for its characteristic polynomial . Rearranging gives , so
Call the given matrix . Its middle coordinate decouples, immediately giving the eigenvalue with normalized eigenvector . The remaining characteristic polynomial comes from the block:
For , the first row of gives ; for , the first row of gives . After vector normalization, one possible complete set is
Each has unit Euclidean norm. The dot products with vanish because the other two middle components are zero, and . This explicitly verifies orthonormality, also predicted by the spectral theorem for real symmetric matrices with distinct eigenvalues. Changing any eigenvector's sign gives an equally valid normalized choice.
The characteristic polynomial is . For , the eigenvector equation gives ; for , it gives . The normalized eigenvectors can therefore be chosen as
Both have unit Euclidean norm, and their dot product is , explicitly verifying orthogonality. This also follows from the spectral theorem for a real symmetric matrix with distinct eigenvalues.
True. Orthogonality gives and , so . Thus is a similar matrix to . If , set . Then
The transformed eigenvector is nonzero because is invertible. Applying the inverse transformation gives the reverse correspondence, and similar matrices also have the same characteristic polynomial, including algebraic multiplicities of all eigenvalues.
The characteristic polynomial is . Solving the three eigenvector equations gives
Each eigenspace consists of the scalar multiples of its displayed nonzero vector. Their pairwise dot products vanish: and . This also agrees with the orthogonal diagonalization of a real symmetric matrix.
The upper-left block is a planar rotation matrix. Its real characteristic polynomial is , which is strictly positive for real because the angle excludes integer multiples of . Hence any real eigenvector has . The remaining equation is , giving
There are infinitely many nonzero solutions, spanning one independent eigenvector direction.
Differentiate without dividing by :
Thus the linearization of a Riccati equation gives
Its characteristic polynomial is , explaining both the distinct-root exponentials and the repeated-root factor . Nonzero solutions reconstruct between their zeros; the identically zero also satisfies the linear equation.
Computing the characteristic polynomial with the convention gives
Thus the three eigenvalues are
They can also be checked directly on the respective eigenvectors , , and .
With , the characteristic polynomial factors into , up to the overall sign convention. The eigenvalues are and . Integer values require an odd integer satisfying . The positive integer factorization forces and
The resulting eigenvalues and corresponding nonzero eigenvectors are
Any nonzero scalar multiple is equally valid. The factorization also shows that no other positive integer works.
The characteristic polynomial is
Thus the eigenvalues and corresponding eigenvectors over are
All nonzero scalar multiples of these vectors are also eigenvectors. Distinct eigenvalues make them linearly independent. Put them in the columns of
The equations are exactly , giving the diagonalization
There is no diagonalization over , since the matrix has no real eigenvalues.
Compute the characteristic polynomial using :
Its three distinct real roots are and . For , the first row of gives and the second then gives , so take .
For either root of , take and solve the row equations to get . Substitution makes the first two row residuals opposite multiples of the quadratic equation and the third zero. Thus a complete choice is
Every nonzero scalar multiple is another valid eigenvector in the corresponding one-dimensional eigenspace.