>>379
問題の式から b と x0 を消去して整理すると、
0 = (E + α0 A + α1 A^2 + α2 A^3)y.
ただし、y = x0 - x と置いた。

α0, α1, α2 は、y に依存しないものが採れる。
E + α0 A + α1 A^2 + α2 A^3 が A の消去多項式ならよい。
A は３次行列だから、３次の固有多項式を持つが、
正則だから、その定数項は 0 ではない。
固有多項式を detA で割って、E + α0 A + α1 A^2 + α2 A^3.