Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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 update
zeros 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.

Ancestors (11)

  1. A
  2. 41D
  3. Paper 1
  4. Ii
  5. 2025
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home