For symmetric , apply at stage the same reflection on both sides, choosing it to zero entries below the first subdiagonal in column . Orthogonal similarity preserves symmetry, so the corresponding row entries vanish too and previous zeros remain. After finitely many stages is symmetric tridiagonal. Constructing each reflector uses only arithmetic and one square root.
Solved by gpt-5.6-sol high.
Codex Wiki