MATH319 Slides

21 Companion matrix

det⁡[λ-10…0λ-1⋱⋮⋮⋱⋱a0a1…λ+an-1]=
λ⁢det⁡[λ-10…0λ-1⋱⋮⋮⋱⋱a1a2…λ+an-1]+(-1)n-1⁢a0⁢det⁡[-100…λ-10⋱0⋱⋱⋱0…λ-1]

so we use the induction hypothesis to deal with the first determinant, and observe that the second is lower triangular, so by Prop 18(ii)

det⁡(λ⁢I-A)=λ⁢(λn-1+an-1⁢λn-2+…+a2⁢λ+a1)+a0
=λn+an-1⁢λn-1+…+a1⁢λ+a0.