考虑二阶方阵,有 [ a b c d ] − 1 = 1 a d − b c [ d − b − c a ] \begin{bmatrix} a & b \\ c & d \end{bmatrix}^{-1} = \dfrac{1}{ad - bc} \begin{bmatrix} d & -b \\ -c & a \end{bmatrix} [acbd]−1=ad−bc1[d−c−ba]
可以发现 a d − b c = ∣ a b c d ∣ ad - bc = \begin{vmatrix} a & b \\ c & d \end{vmatrix} ad−bc= acbd 且 d , − b , − c , a d , -b , -c , a d,−b,−c,a分别为 a , b , c , d a , b , c , d a,b,c,d的代数余子式
由此推广至更高阶可得求逆公式: A − 1 = 1 ∣ A ∣ C T A^{-1} = \dfrac{1}{|A|} C^T A−1=∣A∣1CT,其中 c i , j = A i , j c_{i , j} = A_{i , j} ci,j=Ai,j,即 C C C中的每个元素是 A A A中对应元素的代数余子式, C T C^T CT称为 A A A的伴随矩阵
证明求逆公式:
即证: A C T = ∣ A ∣ I A C^T = |A| I ACT=∣A∣I,即证 A C T A C^T ACT主对角线上的元素为 ∣ A ∣ |A| ∣A∣且非主对角线上的元素为 0 0 0
A C T A C^T ACT的第一个元素等于 r o w 1 o f A ⋅ c o l 1 o f C T row\ 1\ of\ A\cdot col\ 1\ of\ C^T row 1 of A⋅col 1 of CT,根据伴随矩阵的定义可得,第一个元素为 ∣ A ∣ |A| ∣A∣
所有主对角线上的元素都可以类似计算,所以它们都是 ∣ A ∣ |A| ∣A∣
计算非主对角线上的元素,即计算 r o w i o f A ⋅ c o l j o f C T ( i ≠ j ) row\ i\ of\ A\cdot col\ j\ of\ C^T(i \ne j) row i of A⋅col j of CT(i=j)时,可以考虑将该计算结果也视为某个方阵的行列式
因为 A A A中任意元素的代数余子式不会受其所在行的影响,所以该计算结果可以视为将 A A A的第 j j j行变为与第 i i i行一致而其他元素不变所得方阵的行列式,该方阵第 i i i行与第 j j j行一致,所以其行列式为 0 0 0,即非主对角线上的元素为 0 0 0
若 A A A可逆,考虑在求解 A x ⃗ = b ⃗ A \vec{x} = \vec{b} Ax=b时将 A A A的求逆公式带入,可得 x ⃗ = A − 1 b ⃗ = 1 ∣ A ∣ C T b ⃗ \vec{x} = A^{-1} \vec{b} = \dfrac{1}{|A|} C^T \vec{b} x=A−1b=∣A∣1CTb(因为 A A A可逆,所以 x ⃗ \vec{x} x只有一个解)
可以猜想 x 1 = ∣ B 1 ∣ ∣ A ∣ , x 2 = ∣ B 2 ∣ ∣ A ∣ , ⋯ x_1 = \dfrac{|B_1|}{|A|} , x_2 = \dfrac{|B_2|}{|A|} , \cdots x1=∣A∣∣B1∣,x2=∣A∣∣B2∣,⋯,而克拉默法则揭露了 B 1 , B 2 , ⋯ B_{1} , B_{2} , \cdots B1,B2,⋯的规律,即 B n B_{n} Bn是将 A A A的第 n n n列变为 b ⃗ \vec{b} b而其他元素不变所得的矩阵
但是用克拉默法则解方程非常低效
容易发现单位矩阵的行列式等于各行向量围成的“箱子”的体积
由于行列式可能为负,所以可以推广猜想行列式的绝对值等于各行(列)向量围成的“箱子”的体积(一阶方阵应该称为长度,二阶应该称为面积,但是没关系,意思都一样),而行列式的正负代表了“箱子”的左右手系,下面进行证明
考虑正交矩阵,其行向量构成一组标准正交基,因而围成的“箱子”为单位体积,由 Q T Q = I Q^T Q = I QTQ=I可得 ∣ Q T ∣ ∣ Q ∣ = ∣ I ∣ = 1 |Q^T| |Q| = |I| = 1 ∣QT∣∣Q∣=∣I∣=1,又 ∣ Q T ∣ = ∣ Q ∣ |Q^T| = |Q| ∣QT∣=∣Q∣,所以 ∣ Q ∣ = ± 1 |Q| = \pm 1 ∣Q∣=±1,行列式的绝对值等于体积
考虑行向量相互垂直但不一定为单位向量的情况,相当于将正交矩阵中的行向量分别乘上一个正实数,这对体积和行列式的绝对值的影响是一样的(都是挨个乘上每个正实数),因而二者仍然一致
考虑行向量不一定相互垂直时,可以对方阵进行施密特正交化,但是不要进行最后一步标准化,这样得到一个还未标准化的 Q ′ Q^{'} Q′,假设 A = Q ′ R ′ A = Q^{'} R^{'} A=Q′R′,与 R R R同理可得 R ′ R^{'} R′也是一个上三角阵且其主对角线元素为 1 1 1,即 ∣ R ′ ∣ = 1 |R^{'}| = 1 ∣R′∣=1,所以 ∣ Q ′ ∣ = ∣ A ∣ ∣ ( R ′ ) T ∣ |Q^{'}| = |A| |(R^{'})^T| ∣Q′∣=∣A∣∣(R′)T∣ = ∣ A ∣ = |A| =∣A∣,又考虑正交化的每一步可以发现体积不变,因而行列式和体积在正交化前后均不变,而正交化之后得到一个行向量相互垂直的方阵,其行列式的绝对值等于体积,所以原方阵行列式的绝对值等于体积
综上证毕,在证明过程中可以发现,考虑左右手系并用正负区分的体积满足了定义行列式的三个性质,也就是说这样的体积符合行列式的定义,所以这样的体积就是行列式
应用: 可以使用体积与行列式的关系快速求出坐标系中一个平行四边形的面积或一个平行六面体的体积,还可以拓展到三角形的面积
制作不易,若有帮助,欢迎打赏!