Suppose . The given quadratic form bound then gives
so . 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 to
Their cross product is the perpendicular unit vector . Using these as columns gives
The columns form an orthonormal basis, so and is an orthogonal matrix.
The determinant of is . The two-by-two inverse matrix formula yields
Direct matrix multiplication gives
Thus 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 (0)

There are currently no matching articles.