Since , it suffices to map the two edge vectors. Let the columns of the required matrix be . The condition gives
The condition then gives
and hence
These are orthonormal. Taking produces the orthogonal matrix
Its columns are orthonormal, and direct substitution verifies , , and .
Write . The reflection in a hyperplane orthogonal to sends
so
It acts as on and as on the three-dimensional hyperplane . Therefore
For , the cross-product matrix is
Its diagonal is zero, so . Also , and , so has a nontrivial kernel. Hence
Expanding along its last row gives the last diagonal contribution . The only other nonzero entry is ; expanding its minor along the last column contributes
Thus the tridiagonal determinant recurrence is
so
The recurrence becomes
Its characteristic polynomial is
Therefore . The initial conditions give and , so

Articles by others on the same topic (0)

There are currently no matching articles.