矩阵方程:提公因子、消去律与可逆性验证

核心问题

能不能推出 ?不能——除非可逆。矩阵没有消去律,这一条造成的失分比任何计算错误都多。这一节把”什么时候能约、约之前要验什么”讲清楚。

消去律的正确形式

且 可 逆 且 可 逆

不可逆时结论不成立:取 ,,,则但。

更弱但常用的版本: 列满秩时 (左消); 行满秩时 (右消)。

四步解法

归项、提公因子。矩阵不可交换,左提还是右提决定后面往哪边乘逆: (左提);(右提)。若未知矩阵两侧都有东西(如 ),就左提一个、右留一个。
化标准形 / / 。
验 ——不能跳。
- 可逆: / / 。左边的逆左乘,右边的逆右乘。
- 不可逆:退回线性方程组,对增广矩阵做初等行变换。有几列就同时处理几列,解可能不存在,也可能含自由参数——此时答案必须带任意常数。
算。是初等矩阵时, 仍是同类初等矩阵,直接对做相应行/列变换即可。

待定元素法:未知矩阵被夹在中间(如 )、无法整理成标准形时,把的元素设为未知数展开比较。2 阶只有 4 个未知数,完全可行。

Sylvester 方程的判据 $在与无公共特征值时只有零解$ ，反之 (即”与可交换”)必有非零解: 的全体多项式都满足。当的最小多项式次数等于阶数时,可交换矩阵恰好就是 的多项式;另一极端时任何矩阵都可交换。

逐列看就是个线性方程组 ,共用同一个系数矩阵。

这也解释了为什么""只是特殊情形:矩阵方程本质上是并排的线性方程组,而不是除法。