矩阵的行列式，证明|A||B|=|AB|

证明|A||B|=|AB|

引理

1.下三角和上三角行列式的值等于对角线元素之积
2.任一方形行列式都可以通过行列倍加的操作转化为下三角行列式或者上三角形式且维持值不变。
3.由1和2可以推出下式：
$$\left|\begin{array}{cc}{A}_{k\times k}& C_{k\times n}\\ 0& B_{n\times n}\end{array}\right|=\left|\begin{array}{cc}{A}_{k\times k}& 0\\ C_{k\times n}& B_{n\times n}\end{array}\right|=|A_{k\times k}||B_{n\times n}|$$

证明

设两个n阶方阵$A=(a_{i,j}),B=(b_{i,j})$。记2n阶行列式
$$D=\left|\begin{array}{cc}{A}_{n\times n}& 0\\ -E_{n\times n}& B_{n\times n}\end{array}\right|=|A||B|$$
对D用行列倍加的操作消去右下角的B，便得到
$$D=\left|\begin{array}{cc}{A}_{n\times n}& C_{n\times n}\\ -E_{n\times n}& 0\end{array}\right|=(-1{)}^n|-E||C|=|C|$$
其中可以得知C=AB.

因此有|A||B|=|AB|