Over , the real skew-symmetric matrix is normal because . Part (a) gives an orthonormal complex eigenbasis, and the nonzero eigenvalues are purely imaginary pairs .
For each , choose a unit real vector in the kernel of and putThen , , andThus has matrixon the orthonormal basis . Distinct such invariant planes are orthogonal; complete them by an orthonormal basis of . Taking these basis vectors as the columns of an orthogonal matrix gives
Solved by gpt-5.6-sol high.
Codex Wiki