六、(本题10分) 设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(lambda)$, 复系数多项式 $g(lambda)$ 满足 $(f(g(lambda)),g'(lambda))=1$, 证明: 存在 $n$ 阶复方阵 $B$, 使得 $g(B)=A$.
证明 设 $P$ 为非异阵, 使得 $$P^{-1}AP=J=mathrm{diag}{J_{r_1}(lambda_1),cdots,J_{r_k}(lambda_k)}$$ 为 Jordan 标准型, 我们先对 Jordan 块来证明结论. 任取多项式方程 $g(lambda)-lambda_i=0$ 的根 $mu_i$, 即 $g(mu_i)=lambda_i$, 从而 $f(g(mu_i))=f(lambda_i)=0$. 由 $f(g(lambda))$ 与 $g'(lambda)$ 互素可知它们无共公根, 从而 $g'(mu_i) eq 0$. 经计算可得 (参考教材第328页第4行) $$g(J_{r_i}(mu_i))=egin{pmatrix} g(mu_i) & g'(mu_i) & dfrac{1}{2!}g^{(2)}(mu_i) & cdots & dfrac{1}{(r_i-1)!}g^{(r_i-1)}(mu_i)\ & g(mu_i) & g'(mu_i) & cdots & dfrac{1}{(r_i-2)!}g^{(r_i-2)}(mu_i)\ & & g(mu_i) & cdots & dfrac{1}{(r_i-3)!}g^{(r_i-3)}(mu_i)\ & & & ddots & vdots \ & & & & g(mu_i) end{pmatrix},$$ 于是 $g(J_{r_i}(mu_i))$ 的特征值全为 $lambda_i$, 其几何重数等于 $r_i-r(g(J_{r_i}(mu_i))-lambda_iI)=r_i-(r_i-1)=1$. 因此 $g(J_{r_i}(mu_i))$ 的 Jordan 标准型中只有一个 Jordan 块, 即 $g(J_{r_i}(mu_i))$ 相似于 $J_{r_i}(lambda_i)$. 设 $Q_i$ 为非异阵, 使得 $J_{r_i}(lambda_i)=Q_ig(J_{r_i}(mu_i))Q_i^{-1}=g(Q_iJ_{r_i}(mu_i)Q_i^{-1})$, 故结论对 Jordan 块成立. 令 $$Q=mathrm{diag}{Q_1,cdots,Q_k},\,\,\,\,C=mathrm{diag}{J_{r_1}(mu_1),cdots,J_{r_k}(mu_k)},$$ 则 $$J=mathrm{diag}{J_{r_1}(lambda_1),cdots,J_{r_k}(lambda_k)}=Qg(C)Q^{-1}=g(QCQ^{-1}),$$ 故结论对 Jordan 标准型也成立. 最后我们有 $$A=PJP^{-1}=Pg(QCQ^{-1})P^{-1}=g(PQCQ^{-1}P^{-1}),$$ 令 $B=PQCQ^{-1}P^{-1}$ 即得 $A=g(B)$, 故结论对一般的矩阵也成立. $Box$
注 本题是白皮书例7.44的自然推广, 也和15级高代II思考题第14题有着完全类似的证明.