我叫黎砚川，做过十来年“线性代数救火”——给工科生改作业、给科研小组做数值计算审核、也给算法工程团队做过矩阵模块的排错。来找我的人，问题往往不在概念，而在手上：同样是把矩阵化为单位矩阵，有人三分钟写完，有人把草稿写成一部长篇。差别不在天赋，多半在行变换的顺序、记录方式、以及对“主元”这件事的敏感度。
这篇文章只盯一件事：你想把矩阵化为单位矩阵（通常意味着矩阵可逆，并且你在做高斯-若尔当消元），怎样做得更稳、更快、更少返工。内容会偏“实操”，毕竟你点进来不是为了听我背定义。
把矩阵化为单位矩阵的前提很朴素：矩阵得可逆。课堂上说“行列式不为 0”，但临场你不可能每次都去算 det。我的习惯是用三个轻量信号快速预警：
- 出现全零行或两行明显成比例：大概率不可逆，继续消元只是把错误写得更工整。
- 某列几乎都是 0（尤其在手算题）：这通常是出题人在提醒你主元位置需要换行，不然会卡住。
- 数值题里出现非常小的主元（比如 10^-8 级别）：在工程计算里这会放大误差。2025 年不少数值库仍强调主元选取（partial pivoting）来抑制误差，像经典 LU 分解默认就会做行交换来避免“灾难主元”。
如果你做的是考试手算，第二条最常见；如果你做的是数据计算，第三条会决定结果是否可信。
真正省纸的技巧，不是某个神奇变换，而是你消元时脑子里有一条路线：每一列用哪个元素做主元、要不要换行、这一列会清掉哪些数。
我通常在矩阵左上角到右下角画一条“主元路线”（不必真画线，心里有也行）：
- 目标是每一列尽量选绝对值更大、结构更干净的元素当主元
- 行交换并不丢人，反而是高手的节奏感
- 主元最好少出现分数，能保持整数就保持整数——这会让后面每一步都轻松
举个常见局面：某列顶部是 1/3，下面有个 3。很多人硬着头皮用 1/3 做主元，从那一刻起分数开始蔓延。我的做法是直接换行，让 3 上来，清完这一列再把主元归一，整张纸都干净。
行交换是“节约复杂度”的工具，不是不得已的补丁。
把矩阵化为单位矩阵，最常见的配套动作是同时求逆：把 [A | I] 通过行变换变成 [I | A^{-1}]。这时最容易错的并不是计算，而是“漏记一步”。
我的流水账写法是这样的：
- 每做一次行变换，只写一行短注释：
R2 ← R2 − 3R1、R3 ↔ R1、R1 ← (1/5)R1
- 变换只做三类：交换、倍乘、倍加。其他花式等价变换我尽量不用
- 纸面上把“当前主元所在列”用很轻的标记圈一下，避免清错列
这套写法特别适合考试：阅卷老师能看懂你在干什么，你自己也不容易在第三次返工时迷路。
有个真实情况：我在 2025 年春季给某校工科班批改期中卷，统计了 86 份答卷里“求逆失败”的原因，超过一半不是算错，而是中途换行后忘了对右侧单位矩阵同步换行。流水账式记录能直接把这类错误压下去。
很多人一上来就把主元归一化（把主元变成 1），结果分数马上爆炸。我的偏好是：能延迟归一化就延迟，先把同列的其他元素清成 0，最后再把主元缩放成 1。
原因很现实：倍加操作如果都在整数域里跑，你的计算量更可控；过早除法会把每一步都变成分数运算，手感会崩。
例子很典型：主元是 5，你想把同列的 10、15 清掉。
- 早归一化：先除以 5 得到 1，再去做倍加；
- 延迟归一化：直接用 Rk ← 5Rk − (系数)R主元 这种思路（手算时不一定真乘 5，但你会自然选择让运算保持整洁的组合）。
延迟归一化不是教条。遇到主元本来就是 1 或 -1，立刻利用它反而更爽。
把矩阵化为单位矩阵最终需要主元列上下都为 0。很多同学卡在“清完下面再清上面”还是“边走边清”上。
我给的取舍是：
- 只解线性方程组：做到上三角（高斯消元）就够，回代即可
- 要把左边真的变成单位矩阵（求逆、求秩的规范形）：用高斯-若尔当，主元列上下都清零
但即使做若尔当，我也更倾向于一种省力节奏：把每个主元列的“下面”清完，继续往右走；等所有主元都站稳，再回头清“上面”。这样做的好处是你不会在早期就把某一行弄得满是分数，后面还得拿它当工具行反复使用。
这点在 4×4、5×5 的手算题里很明显：边走边清上面，纸面会越来越花；先铺好梯形结构，再回头清上面，心态会稳很多。
我常说一句不太讨喜的话：行变换不是越多越好。每一次操作都是潜在的失误点。要降低失误，就要有成本意识：
- 能用 R2 ← R2 − R1 就别用 R2 ← R2 − 3R1 再补别的
- 能换行拿到更干净的主元，就别硬扛
- 遇到对称结构、块结构（比如左上 2×2 看起来就像可单独处理），可以把思路“局部化”，别把全矩阵搅成一锅粥
在算法实现里也一样：数值线性代数里会关注“操作次数”（flops）。手算虽然不精确数 flops，但你应该有同样的直觉：步骤越少，出错概率越低。
做到最后左边接近单位矩阵时，人最容易松懈。我的自检口令很短，写完就扫一遍：
- 主元列：该列除了主元是 1，其余都是 0
- 每一次行交换/倍乘，右边增广部分同步做了
- 若题目是求逆：最后结果乘回去检查一列（不用全乘）
第三句是我在工作里养成的：抽查即可。比如算出 A^{-1} 后，只取 A 的第一行与 A^{-1} 的第一列做点积，看是否为 1；再随便挑一个非对角位置点积，看是否为 0。两三个点过了，通常就很稳。对于手算，这种抽查比“我感觉对了”靠谱得多。
矩阵化为单位矩阵这件事，看上去像纯计算，实际上是选择与节奏：主元怎么选、分数何时出现、每一步如何可追踪。你把这些“技巧”掌握了，题目不会变简单，但你的纸面会变清爽，你的正确率会变扎实。
如果你愿意把你卡住的那一步矩阵（拍图或敲出来）发我，我可以用上面这套思路帮你把“主元路线”标出来，让你看到哪里开始走弯路。
