A Jordan block is , where has ones on the superdiagonal and zeros elsewhere. Since for , Taylor expansion givesThe Jordan normal form is the block-diagonal matrix, unique up to block order, to which is similar and whose blocks are Jordan blocks.
A block of size at least two for eigenvalue contributes a generalized eigenvector in . Thus the displayed equality for every is equivalent to every block having size one, which is diagonalizability.
The transpose of each Jordan block is similar to it by reversing its basis. Hence has the same Jordan form as .
Write . Let be block diagonal with the reversal matrix on each Jordan block. Both and are symmetric and is invertible. Thereforewhere are symmetric and is nonsingular.
Solved by gpt-5.6-sol high.
Codex Wiki