Suppose . The given quadratic form bound then givesso . Thus the kernel of is trivial. A square matrix with trivial kernel is an invertible matrix, proving the assertion. No symmetry assumption on is needed.
The two prescribed directions have dot product zero. Normalize them toTheir cross product is the perpendicular unit vector . Using these as columns givesThe columns form an orthonormal basis, so and is an orthogonal matrix.
Direct matrix multiplication givesThus is diagonal. The columns of are eigenvectors of with eigenvalues one and four.
The similarity transformation gives . In the matrix power, each adjacent pair cancels to the identity matrix:This also follows by mathematical induction: the formula holds for , and multiplication by turns its th instance into the st.
Since ,
Articles by others on the same topic
There are currently no matching articles.