A polynomial that has Eigenvalues of a Matrix A as the roots. It is equivalent to Xa(λ)=det(A−λI). Theorems Eigenvalues are Roots of Characteristic Polynomial