莱布尼茨公式与行列式几何解释的关联
嘿，这个问题问得特别戳中要点——把纯代数的置换求和和几何体积扯到一起，确实有点反直觉，我来一步步给你掰明白：
首先得明确两个核心定义：
- 几何视角下，n阶行列式是n维空间中由矩阵列（或行）向量张成的平行多面体的带符号体积（符号对应向量组的定向，比如右手系和左手系的区别）。
- 莱布尼茨公式则是纯代数的：$\det(A) = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \prod_{i=1}^n A_{i,\sigma(i)}$，其中$S_n$是1到n的所有置换集合，$\text{sgn}(\sigma)$是置换的符号（偶置换为1，奇置换为-1）。
关键的桥梁在于：几何体积的核心性质，唯一确定了莱布尼茨公式的形式，反过来莱布尼茨公式也完全满足体积的所有几何特性。
先从几何体积的性质推导莱布尼茨公式
几何体积（带符号）必须满足三个基本规则：
- 多线性：如果把某一列向量拆成两个向量的和，行列式等于两个行列式的和；给某一列乘标量k，行列式也跟着乘k。
- 反对称性：交换任意两列，行列式变号（对应平行多面体的定向翻转，体积符号改变）。
- 单位基准：标准正交基张成的单位立方体，行列式为1（体积是1）。
现在我们用这三个规则来推导行列式的表达式：
假设矩阵$A$的列向量是$\boldsymbol{a}_1, \boldsymbol{a}_2, ..., \boldsymbol{a}_n$，每个列向量都能拆成标准基$\boldsymbol{e}_1, \boldsymbol{e}_2, ..., \boldsymbol{e}n$的线性组合：$\boldsymbol{a}j = \sum{i=1}^n A{i,j} \boldsymbol{e}i$（这里$A{i,j}$是矩阵第i行第j列的元素）。
根据多线性性，行列式可以展开成所有基向量组合的和：
$$\det(\boldsymbol{a}1, \boldsymbol{a}2, ..., \boldsymbol{a}n) = \sum{i_1,i_2,...,i_n} \left( A{i_1,1}A{i_2,2}...A_{i_n,n} \right) \det(\boldsymbol{e}{i_1}, \boldsymbol{e}{i_2}, ..., \boldsymbol{e}_{i_n})$$
接下来看$\det(\boldsymbol{e}{i_1}, ..., \boldsymbol{e}{i_n})$：
- 如果有两个索引重复（比如$i_1=i_2$），根据反对称性，交换这两列后行列式变号，但交换后的矩阵和原矩阵完全一样，所以这个行列式只能是0。
- 只有当$i_1,i_2,...,i_n$是1到n的一个置换$\sigma$（也就是每个数恰好出现一次）时，这个行列式才非零。
对于置换$\sigma$，$\det(\boldsymbol{e}{\sigma(1)}, \boldsymbol{e}{\sigma(2)}, ..., \boldsymbol{e}_{\sigma(n)})$的值就是$\text{sgn}(\sigma)$：因为把标准基$\boldsymbol{e}1,..., \boldsymbol{e}n$变成$\boldsymbol{e}{\sigma(1)},..., \boldsymbol{e}{\sigma(n)}$，需要做$\text{sgn}(\sigma)$次相邻交换（偶置换对应偶数次交换，行列式不变；奇置换对应奇数次，行列式变号），而标准基的行列式是1，所以结果就是置换的符号。
把这些代入展开式，就得到了莱布尼茨公式：
$$\det(A) = \sum_{\sigma \in S_n} \text{sgn}(\sigma) A_{1,\sigma(1)}A_{2,\sigma(2)}...A_{n,\sigma(n)}$$
用低维例子直观验证
- 2维情况：$S_2$只有两个置换（恒等和交换），莱布尼茨公式就是$ad - bc$，这正好是平面上平行四边形的带符号面积，你肯定早就熟悉这个关系了。
- 3维情况：$S_3$有6个置换，莱布尼茨公式的6项加起来正好等于标量三重积，而标量三重积的几何意义就是平行六面体的带符号体积，完美对应。
最后补个关键细节
置换的符号$\text{sgn}(\sigma)$其实对应了平行多面体的定向：偶置换对应的向量组和标准基定向一致（比如右手系），体积为正；奇置换则定向相反（左手系），体积为负——这也正好解释了几何里“带符号体积”的含义。
说白了，莱布尼茨公式就是把几何体积的三个核心性质，用纯代数的置换求和形式表达了出来，两者本质上是同一个概念的两种描述而已。
备注：内容来源于stack exchange，提问作者Rohit Pandey
