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 .
Solved by gpt-5.6-sol high.
Codex Wiki