固有多項式

線型代数学において、固有多項式（こゆうたこうしき、characteristic polynomial）あるいは特性多項式（とくせいたこうしき）とは、有限次元線形空間での線形変換に対してその固有値を求めるために得られる多項式のことである。特に正方行列に対して定義される。
固有多項式は、その線形変換（正方行列）の行列の固有値、行列式、トレース、最小多項式といった重要な量と関連している。相似な行列に対しては同じ固有多項式が定まる。
またグラフ理論において、グラフの固有多項式とは、グラフの隣接行列の固有多項式のことを指す。この多項式はグラフの不変量となっている。すなわち同型なグラフは同じ固有多項式を持つ。
動機.
次正方行列 に対して、
を満たすスカラー , ベクトル が存在するとき、 を の固有値、 を の固有値 に関する固有ベクトルという。
 の固有値をすべて求めることを考える。
条件 は
と同値である（ここで は単位行列）。したがって が の固有値である必要十分条件は、一次方程式
の非自明な解 が存在すること、つまり
となることである。
これは についての 次方程式である。この方程式を の固有方程式あるいは特性方程式と言う。
定義.
 を体（例えば実数体や複素数体）とする。 の元を成分とする 次正方行列 に対して、 の固有多項式とは、
で定義される多項式 のことである。ここで は単位行列である。
（ を定義とする場合もあるが、 が奇数のときに限り符号 が付くだけで、本質的に違いはない。）
例.
次の実2次正方行列 の固有値を求める。
そのために、 の固有多項式 を求める。
となる。よって の固有値は である。