The proof is by induction on . Choose a unit eigenvector of , which exists by part (a), and extend it to an orthonormal basis. In that basis,By induction, a unitary change of basis on the last coordinates makes upper triangular. Extending that change by the identity on the first coordinate leaves the displayed zero block intact. Their product is unitary and makes all of upper triangular. This proves Schur triangularization.
Solved by gpt-5.6-sol high.
Codex Wiki