例 2.76 依赖于 例 2.72 被以下题目直接调用 无 例 2.76 设 A,B,C,D 是 n 阶矩阵且 AC=CA,求证: ACBD=∣AD−CB∣. 解答 证明 若 A 是非异阵,则由降阶公式可得 ACBD=∣A∣∣D−CA−1B∣=∣AD−ACA−1B∣=∣AD−CB∣. 对于一般的方阵 A,可取到一列有理数 tk→0,使得 tkIn+A 为非异阵,并且条件 (tkIn+A)C=C(tkIn+A) 仍然成立。由非异阵情形的证明可得 tkIn+ACBD=∣(tkIn+A)D−CB∣. 注意到上式两边均为行列式,其值都是 tk 的多项式,从而关于 tk 连续。上式两边同时取极限,令 tk→0,即有 ACBD=∣AD−CB∣ 成立。 \par注 例 2.76 也给出了例 2.72 的摄动法证明。
评论
支持 Markdown 和 LaTeX 数学公式。