Let . Since the two columns are linearly independent, the leading block in
is invertible. Hence . The hypothesis that is an invariant subspace of implies that this coordinate plane is invariant under . Consequently the first two columns of have no entries below row two, and
where is the top-left block and is the bottom-right block. Eigenvalue deflation by an invariant subspace now gives
so
again counting algebraic multiplicities.
For the required orthogonal reduction, take a thin QR decomposition , extend the two orthonormal columns of to an orthogonal matrix , and set . Then
Equivalently, apply one Householder transformation to annihilate entries of , followed by a second Householder transformation acting only on coordinates to annihilate entries of the transformed .