Es sei A ∈ Mat n × n ( R ) {\displaystyle {}A\in \operatorname {Mat} _{n\times n}(\mathbb {R} )} und F = a n X n + a n − 1 X n − 1 + … + a 1 X + a 0 ∈ R [ X ] {\displaystyle {}F=a_{n}X^{n}+a_{n-1}X^{n-1}+\ldots +a_{1}X+a_{0}\in \mathbb {R} [X]} ein reelles Polynom. Weiter sei v ∈ R n {\displaystyle {}v\in \mathbb {R} ^{n}} ein Eigenvektor von A {\displaystyle {}A} zum Eigenwert λ {\displaystyle {}\lambda } .