Since , it suffices to map the two edge vectors. Let the columns of the required matrix be . The condition givesThe condition then givesand henceThese are orthonormal. Taking produces the orthogonal matrixIts columns are orthonormal, and direct substitution verifies , , and .
Write . The reflection in a hyperplane orthogonal to sendssoIt acts as on and as on the three-dimensional hyperplane . Therefore
For , the cross-product matrix isIts 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 contributesThus the tridiagonal determinant recurrence isso
The recurrence becomesIts characteristic polynomial isTherefore . The initial conditions give and , so
Articles by others on the same topic
There are currently no matching articles.