行列式
“行列式就是「这个变换把面积缩放了多少倍」——0意味着它把空间压扁了。”
公式
det([[a, b], [c, d]]) = ad − bc怎么读: 对于一个2×2矩阵，变换会把单位正方形的面积缩放ad−bc倍——负号意味着定向发生了翻转
- det
- — 行列式——提取一个变换的「面积缩放因子」的运算
- a, b, c, d
- — 矩阵的四个元素
- ad − bc
- — 2×2行列式公式：对角线乘积减去反对角线乘积
引子
当一个矩阵对空间进行拉伸和错切时，行列式用一个数就回答了「面积扩大了多少倍」这个问题。
通俗地说
2×2矩阵[[a,b],[c,d]]的行列式是ad − bc。这个数告诉你，这个矩阵把任意图形的面积缩放了多少倍。
直觉
把变换作用在单位正方形（面积为1）上，它会变成一个平行四边形。这个平行四边形的面积恰好是|行列式|。行列式为3意味着面积变成了3倍；行列式为0意味着图形被压扁成了一条线或一个点。负号意味着变换把图形翻转了过来（镜像）。
如何构建
ad − bc中的两部分分别是由列向量(a,c)和(b,d)张成的平行四边形的面积。ad是「铺开」的贡献，bc是「被削掉的重叠部分」——两者之差才是真正的面积。如果两列指向同一方向（平行），平行四边形就会塌缩成面积为0，所以det = 0。
示例
det([[1,2],[3,4]]) = 1·4 − 2·3 = 4 − 6 = −2。面积变成了|−2| = 2倍，负号意味着定向被翻转了。det([[2,0],[0,3]]) = 6 → 水平方向2倍、垂直方向3倍，面积正好是6倍，符合预期。
常见误区
行列式并不是「把矩阵的大小汇总成一个数」——这是一种误解。元素很大的矩阵，行列式也可能是0（例如[[1,2],[2,4]]）。重要的不是元素的大小，而是两列所张成的面积（也就是它们是否线性无关）。
用在哪里
det = 0标志着没有逆矩阵、线性方程组没有唯一解（关键判据）；求特征值的特征方程det(A−λI)=0；积分换元中的雅可比行列式；叉积的模——都源自这个面积因子。
从何而来
莱布尼茨和日本的关孝和在17世纪末各自独立地在求解线性方程组时发现了它。「行列式」这个名字由柯西提出，取其「判定」解是否存在之意。
前置概念
小测验
det([[2,1],[0,3]])的值是多少？
- 5
- 6✓
- 7
- 0
练习
求det([[3,1],[2,4]])。
答案: 10
- ad − bc = 3·4 − 1·2
- = 12 − 2 = 10
要点: 2×2行列式是对角线乘积减去反对角线乘积。
求det([[2,0],[0,5]])。
答案: 10
- ad − bc = 2·5 − 0·0
- = 10
要点: 对角矩阵的行列式是对角线元素的乘积=各轴缩放因子的乘积。
求det([[1,2],[2,4]])，并在笔记本上写出结果的含义。
答案: 0
- ad − bc = 1·4 − 2·2 = 4 − 4 = 0
- 列向量(1,2)和(2,4)是平行的 → 平行四边形塌缩了
- det = 0意味着变换把空间压扁成了一条线，且不存在逆矩阵
要点: det = 0标志着「面积塌缩为0」=不存在逆矩阵。
用单位正方形解释一下，为什么det([[a,b],[c,d]])是一个「面积缩放因子」。
答案: undefined
- 单位正方形的边(1,0),(0,1)在变换下变成了(a,c),(b,d)
- 它们所张成的平行四边形面积是|ad−bc|
- 由于原来的面积是1，|det|恰好就是面积变化的倍数
要点: 行列式=单位正方形（面积为1）经过变换后所占据的面积。