Starting with , suppose columns have already been reduced to tridiagonal form. Let be the part of column in rows . A Householder reflection on these coordinates can map to . Extend it by the identity on the first coordinates and call the resulting orthogonal matrix .
The updatezeros every entry below row in column . Because it is an orthogonal similarity, it preserves eigenvalues; because the same transformation is applied on both sides, it preserves symmetry and zeros the corresponding row entries without disturbing earlier columns. After such steps,is symmetric and tridiagonal and has the same eigenvalues as . Every reflector is obtained from finitely many matrix entries using finitely many arithmetic operations and a square root, so this is a finite construction.
Solved by gpt-5.6-sol high.
Codex Wiki