Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passaudited 2026-08-31
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Householder similarities reduce a general matrix to upper Hessenberg form and a real symmetric matrix to tridiagonal form

Statement

Every square matrix over R or C is unitarily similar to an upper Hessenberg matrix. Every real symmetric matrix is orthogonally similar to a real symmetric tridiagonal matrix.

Facts & Assumptions

Given: A square matrix A over R or C, and in the second claim a real symmetric matrix A=AT.

[L1]

Householder reflectors are unitary and can annihilate any chosen tail below a leading entry (Householder reflectors and Givens transformations are unitary and can annihilate prescribed entries).

[L2]

Upper Hessenberg and real symmetric tridiagonal are the zero patterns of Upper Hessenberg matrices and real symmetric tridiagonal matrices.

[L3]

A Householder reflector is the rank-one orthogonal or unitary reflection from Householder reflectors in real or complex inner-product spaces.

Proof

technique · direct
1.1

If n2, every n×n matrix is already upper Hessenberg and every real symmetric one is already tridiagonal, so take the identity similarity. Assume n3. For j=1,,n2, apply [L1] to the tail of column j below the first subdiagonal inside the trailing (nj)×(nj) block. Embedding that reflector into the identity produces a unitary Qj that annihilates all entries of column j below row j+1. Because Qj acts only on the trailing block, previously created zeros are preserved.

L1L3construct
2.1

After the n2 steps of 1.1, the product H=Qn2Q1AQ1Qn2 has zeros below its first subdiagonal, so [L2] says that H is upper Hessenberg.

L2step 1.1algebra
2.2

If A is real symmetric, the same similarity steps remain real orthogonal. Each step that zeros the lower tail in column j also zeros the matching upper tail in row j because symmetry is preserved under orthogonal similarity.

L1step 1.1algebra
3.1

Therefore the final matrix is symmetric and upper Hessenberg, hence tridiagonal by [L2]. This proves the symmetric claim.

L2step 2.2

Depends on

Used by

Dependency tree · two levels

7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources