Set . The off-diagonal Hermiticity identity holds automatically, whilemust be real. Thusis necessary and sufficient. For , put . Since the two normalized spanning vectors are linearly independent, .
The normalized eigenvectors and eigenvalues areDirect application of verifies the eigenvalue equations. Their unnormalized inner product isso the distinct eigenvectors are orthogonal, as required for a Hermitian operator. If , and every vector is an eigenvector.
Solved by gpt-5.6-sol high.
Codex Wiki