第 19 章

行列式的显式公式:大公式与代数余子式

用置换把行列式写成 n! 项之和,再用代数余子式把它降阶;最后用三对角矩阵演示递推与周期 6 的规律。

Determinant Formulas: The Big Formula and Cofactors

Write the determinant as a sum over n! permutations, then reduce it to smaller determinants with cofactors; finish with a tridiagonal example whose sequence has period six.

首发于 2009.05.07中 / EN
系统课程linear-algebradeterminantcofactorpermutation
语言
字号
目录
篇内目录

这一讲要做什么

上一讲用三条性质推出了行列式的全部行为,但没有给出显式公式。这一讲补上公式,而且给两个:大公式(按置换展开,n!n! 项)和代数余子式公式(降阶展开,n×nn \times n 化成 n−1n-1 阶)。

两个公式都不适合手算大矩阵,但它们是理解行列式结构的钥匙。实际计算仍然用上一讲的结论:消元后把主元乘起来。

时间轴

时间内容
0:00第二讲:行列式的显式公式
3:15对角矩阵的行列式
6:25把每一行拆成只有一个非零项
9:323×3 的六项展开
12:33项的符号与列顺序
15:394×4 反对角矩阵的例子
18:52一般公式:n! 项求和
22:02大公式为什么不实用
28:08按第一行把项分组
31:19含 a11a_{11} 的两项
34:24含 a12a_{12} 的项与符号
37:34符号 (−1)i+j(-1)^{i+j}
40:47另一条引入行列式的路径
43:51代数余子式公式
47:02余子式与符号的 2×2 例子
50:21余子式矩阵的构造

大公式:从拆行到置换

二阶是怎么拆出来的

把第一行拆成 (a,0)+(0,b)(a,0)+(0,b),再对第二行做同样的拆分,得到四个矩阵:

∣abcd∣=∣a0cd∣+∣0bcd∣\begin{vmatrix} a & b \\ c & d \end{vmatrix} = \begin{vmatrix} a & 0 \\ c & d \end{vmatrix} + \begin{vmatrix} 0 & b \\ c & d \end{vmatrix}

继续拆第二行,会出现四个 2×22\times2 行列式。其中两个含零列,直接为零;剩下

∣a00d∣=ad,∣0bc0∣=−bc\begin{vmatrix} a & 0 \\ 0 & d \end{vmatrix} = ad, \qquad \begin{vmatrix} 0 & b \\ c & 0 \end{vmatrix} = -bc

第二个之所以是负号,是因为它需要一次行交换才能变成对角形。

三阶与「幸存项」

三阶时,每一行拆成三块,一共产生 33=273^3=27 个矩阵。绝大多数含零列,只有每行每列各取一个元素的那些会留下。

这样的取法有多少种?第一行有 3 列可选,第二行只剩 2 列,第三行只剩 1 列,共 3!=63! = 6 种。每一种对应列号的一个排列。

以排列 (1,3,2)(1,3,2) 为例:

a11a23a32∣100001010∣a_{11}a_{23}a_{32} \begin{vmatrix}1&0&0\\0&0&1\\0&1&0\end{vmatrix}

剩下的行列式是一个置换矩阵的行列式,等于 −1-1,因为把第 2、3 行交换一次就回到单位矩阵。

一般地,设 σ\sigma 是 {1,…,n}\{1,\dots,n\} 的一个排列,记 sgn⁡(σ)\operatorname{sgn}(\sigma) 为把它排回自然顺序所需的交换次数的奇偶性(偶为 +1+1,奇为 −1-1),则

det⁡A=∑σsgn⁡(σ) a1,σ(1)a2,σ(2)⋯an,σ(n)\det A = \sum_{\sigma} \operatorname{sgn}(\sigma)\, a_{1,\sigma(1)} a_{2,\sigma(2)} \cdots a_{n,\sigma(n)}

这就是大公式。项数是 n!n!:2!=22!=2,3!=63!=6,4!=244!=24,5!=1205!=120。

一个容易被口诀误导的地方

三阶时,主对角线方向的三项带正号、副对角线方向的三项带负号,于是很多人记住「斜着乘」。但这条规则只对三阶成立。

四阶的副对角线元素乘积其实带正号:把第 1 行与第 4 行交换、第 2 行与第 3 行交换,两次交换后得到单位矩阵,所以符号是 (−1)2=+1(-1)^2=+1。

口诀失效的根本原因是:符号由排列的奇偶性决定,而不是由「往哪个方向画线」决定。

四阶例子:24 项里只有两项非零

考虑一个含大量零的四阶矩阵(课堂上现写的例子)。按大公式逐行逐列选元素,只有两条完整路径:

  • 排列 (4,3,2,1)(4,3,2,1):乘积为 11,需要两次交换,符号 +1+1。
  • 排列 (3,2,1,4)(3,2,1,4):乘积为 11,需要一次交换,符号 −1-1。

其余 22 项都因为取到零而消失。总和为 1−1=01-1=0,所以矩阵奇异。

用行关系验证:第 1 行加第 3 行得到全 1 行,第 2 行加第 4 行也得到全 1 行,因此

row1−row2+row3−row4=0\text{row}_1 - \text{row}_2 + \text{row}_3 - \text{row}_4 = 0

零空间里也有对应的向量 (1,−1,1,−1)(1,-1,1,-1)。大公式给出数值,行关系给出原因,两者互相印证。

代数余子式:把 n 阶降成 n-1 阶

从大公式分组

把大公式按第一行的元素分组:所有含 a11a_{11} 的项、所有含 a12a_{12} 的项,等等。

含 a11a_{11} 的那一组,剩下的因子恰好是「删掉第 1 行第 1 列后」的 n−1n-1 阶行列式:

a11(a22a33−a23a32)a_{11}\left(a_{22}a_{33} - a_{23}a_{32}\right)

含 a12a_{12} 的那一组,剩下的是删掉第 1 行第 2 列的行列式,但整体多一个负号。把这个符号并入系数,就得到代数余子式。

定义

对元素 aija_{ij},删去第 ii 行与第 jj 列,得到 n−1n-1 阶矩阵 MijM_{ij}(称为余子式)。代数余子式定义为

Cij=(−1)i+jdet⁡MijC_{ij} = (-1)^{i+j} \det M_{ij}

符号呈棋盘状:

+−+−−+−++−+−−+−+\begin{matrix} + & - & + & - \\ - & + & - & + \\ + & - & + & - \\ - & + & - & + \end{matrix}

余子式展开公式

沿任意一行展开:

det⁡A=∑j=1naijCij\det A = \sum_{j=1}^{n} a_{ij} C_{ij}

沿任意一列同样成立:

det⁡A=∑i=1naijCij\det A = \sum_{i=1}^{n} a_{ij} C_{ij}

列版本成立的原因是 det⁡(AT)=det⁡A\det(A^T)=\det A。

二阶验证:

det⁡[abcd]=a⋅d+b⋅(−c)=ad−bc\det\begin{bmatrix}a&b\\c&d\end{bmatrix} = a\cdot d + b\cdot(-c) = ad-bc

三种公式的分工

公式形式特点
主元公式∏di\prod d_i(带符号)计算时最实用,复杂工作已在消元中完成
大公式n!n! 项之和结构最清楚,计算量最大
余子式沿一行/列展开介于两者之间,适合有大量零的矩阵

三对角矩阵的例子

设 AnA_n 是 nn 阶三对角矩阵,主对角线全为 1,上下两条次对角线也全为 1,其余为 0。例如

A4=[1100111001110011]A_4 = \begin{bmatrix} 1&1&0&0\\ 1&1&1&0\\ 0&1&1&1\\ 0&0&1&1 \end{bmatrix}

沿第一行做余子式展开。第一个元素 11 的余子式是 An−1A_{n-1};第二个元素 11 的余子式,删掉第 1 行第 2 列后左上角出现一个零,展开只剩一个 n−2n-2 阶的三对角块,符号为负。因此

det⁡An=det⁡An−1−det⁡An−2\det A_n = \det A_{n-1} - \det A_{n-2}

初值:

det⁡A1=1,det⁡A2=∣1111∣=0\det A_1 = 1, \qquad \det A_2 = \begin{vmatrix}1&1\\1&1\end{vmatrix} = 0

递推得到

1, 0, −1, −1, 0, 1, 1, 0, −1,…1,\ 0,\ -1,\ -1,\ 0,\ 1,\ 1,\ 0,\ -1,\dots

周期为 6。所以

det⁡A61=det⁡A1=1\det A_{61} = \det A_1 = 1

这个例子说明两件事:余子式展开可以把高阶问题化成递推;递推序列可能出现周期性,而不是单调增长。

补充: 周期 6 可以用特征方程解释。递推 xn=xn−1−xn−2x_n = x_{n-1}-x_{n-2} 的特征根是 e±iπ/3e^{\pm i\pi/3},对应周期 6。课堂上没有展开这一步。

核心回顾

  • 大公式按置换展开,共 n!n! 项,符号由置换奇偶性决定。
  • 三阶的「对角线口诀」不能推广到四阶及以上。
  • 代数余子式把 nn 阶行列式降为 n−1n-1 阶;符号按 (−1)i+j(-1)^{i+j} 棋盘分布。
  • 沿任意行或列展开都成立。
  • 三对角全 1 矩阵满足二阶递推,行列式序列周期为 6。

常见误区

  1. 把三阶对角线法则用在四阶。四阶副对角线的符号是正的。
  2. 忘记余子式的符号。CijC_{ij} 已包含 (−1)i+j(-1)^{i+j},不要再手动加减。
  3. 认为余子式展开能降低计算量。一般矩阵仍然是 O(n!)O(n!),只有大量零时才有优势。
  4. 把余子式 MijM_{ij} 与代数余子式 CijC_{ij} 混用。前者是行列式,后者带符号。

理解检验

1. 四阶行列式一共有多少项?其中正负号各多少?

参考答案:4!=244!=24 项,对应 44 个列号的排列。符号由置换奇偶性决定,偶排列与奇排列各占一半,所以正号 1212 项、负号 1212 项。一般地,n≥2n\ge2 时各有 n!/2n!/2 项。

2. 为什么三阶的斜线法则不能用于四阶?请用副对角线例子说明。

参考答案:三阶斜线法则只是「符号 == 主对角线为正、副对角线为负」这一巧合的描述。四阶取副对角线元素 a14a23a32a41a_{14}a_{23}a_{32}a_{41},对应排列 (4,3,2,1)(4,3,2,1):把第 1、4 行交换、第 2、3 行交换,两次交换回到单位矩阵,所以 sgn⁡=(−1)2=+1\operatorname{sgn}=(-1)^2=+1,这一项带正号,与斜线法则的「副对角线取负」相反。符号只由排列奇偶性决定,与元素在图上画线的方向无关。

3. 写出 3×33\times3 行列式沿第二行展开的公式,并标出每一项的符号。

参考答案:沿第 2 行展开,符号由 (−1)2+j(-1)^{2+j} 给出:j=1j=1 为负,j=2j=2 为正,j=3j=3 为负。于是

det⁡A=−a21det⁡M21+a22det⁡M22−a23det⁡M23,\det A=-a_{21}\det M_{21}+a_{22}\det M_{22}-a_{23}\det M_{23},

其中 M2jM_{2j} 是删去第 2 行、第 jj 列后的 2×22\times2 矩阵。例如 a21a_{21} 的余子式是 ∣a12a13a32a33∣\begin{vmatrix}a_{12}&a_{13}\\a_{32}&a_{33}\end{vmatrix},前面要加负号。

4. 在三对角矩阵的递推中,第二项的负号从哪里来?

参考答案:沿第一行展开,第一行是 (1,1,0,… )(1,1,0,\dots)。第一项 a11=1a_{11}=1 给出 +1⋅det⁡An−1+1\cdot\det A_{n-1};第二项是 a12=1a_{12}=1,它的代数余子式带符号 (−1)1+2=−1(-1)^{1+2}=-1,所以贡献 −det⁡M12-\det M_{12}。删去第 1 行第 2 列后,左上角出现一个零;再沿那一行展开,只剩右下角的 (n−2)(n-2) 阶三对角块。于是负号来自余子式符号 (−1)1+2(-1)^{1+2},而不是来自元素本身。

5. 若 det⁡A4=−1\det A_4=-1、det⁡A5=0\det A_5=0,求 det⁡A6\det A_6。

参考答案:由递推 det⁡An=det⁡An−1−det⁡An−2\det A_n=\det A_{n-1}-\det A_{n-2},取 n=6n=6:

det⁡A6=det⁡A5−det⁡A4=0−(−1)=1.\det A_6=\det A_5-\det A_4=0-(-1)=1 .

这与序列 1,0,−1,−1,0,1,…1,0,-1,-1,0,1,\dots 的周期 6 一致:det⁡A6=det⁡A1=1\det A_6=\det A_1=1。

与前后课程的关系

上一讲用性质定义了行列式;这一讲给出两种显式表达。下一讲用余子式求逆矩阵(伴随矩阵)、用行列式表示 Cramer 法则,并把行列式解释为体积。之后课程进入特征值与对角化。

What this lecture delivers

The previous lecture derived every behavior of the determinant from three properties but gave no explicit formula. This lecture supplies two: the big formula (a sum over permutations, with n!n! terms) and the cofactor formula (expansion that reduces an n×nn \times n determinant to n−1n-1).

Neither is practical for large matrices, but both reveal the structure. Actual computation still uses the previous lecture's recipe: eliminate, then multiply the pivots.

Timeline

TimeTopic
0:00Second lecture on determinants: explicit formulas
3:15Determinants of diagonal matrices
6:25Splitting each row into one nonzero entry
9:32The six terms in the 3×3 case
12:33Signs of terms and column order
15:39A 4×4 anti-diagonal example
18:52The general formula: a sum over n!n! terms
22:02Why the big formula is impractical
28:08Grouping terms by the first row
31:19The two terms containing a11a_{11}
34:24The terms with a12a_{12} and their signs
37:34The sign (−1)i+j(-1)^{i+j}
40:47An alternative route to the determinant
43:51The cofactor formula
47:02A 2×2 cofactor example
50:21Building the cofactor matrix

The big formula: from row splitting to permutations

Splitting the 2×22 \times 2 case

Split the first row into (a,0)+(0,b)(a,0)+(0,b) and then split the second row the same way. Four matrices appear:

∣abcd∣=∣a0cd∣+∣0bcd∣\begin{vmatrix} a & b \\ c & d \end{vmatrix} = \begin{vmatrix} a & 0 \\ c & d \end{vmatrix} + \begin{vmatrix} 0 & b \\ c & d \end{vmatrix}

Two of the four resulting determinants contain a zero column and vanish. The survivors are

∣a00d∣=ad,∣0bc0∣=−bc\begin{vmatrix} a & 0 \\ 0 & d \end{vmatrix} = ad, \qquad \begin{vmatrix} 0 & b \\ c & 0 \end{vmatrix} = -bc

The second carries a minus because one row exchange turns it into diagonal form.

The 3×33 \times 3 case and the survivors

Splitting each of three rows into three pieces produces 33=273^3=27 matrices. Most die on a zero column. The survivors are exactly those that take one entry from each row and each column.

How many such choices? Three for the first row, two for the second, one for the third: 3!=63! = 6. Each corresponds to a permutation of the column indices.

For the permutation (1,3,2)(1,3,2):

a11a23a32∣100001010∣a_{11}a_{23}a_{32} \begin{vmatrix}1&0&0\\0&0&1\\0&1&0\end{vmatrix}

The remaining determinant is that of a permutation matrix and equals −1-1, since one exchange of rows 2 and 3 restores the identity.

In general, for a permutation σ\sigma of {1,…,n}\{1,\dots,n\}, let sgn⁡(σ)\operatorname{sgn}(\sigma) be +1+1 for an even number of exchanges and −1-1 for an odd number. Then

det⁡A=∑σsgn⁡(σ) a1,σ(1)a2,σ(2)⋯an,σ(n)\det A = \sum_{\sigma} \operatorname{sgn}(\sigma)\, a_{1,\sigma(1)} a_{2,\sigma(2)} \cdots a_{n,\sigma(n)}

This is the big formula. It has n!n! terms: 2!=22!=2, 3!=63!=6, 4!=244!=24, 5!=1205!=120.

Where the three-by-three mnemonic breaks

In the 3×33 \times 3 case the three products along the main diagonal carry plus signs and the three along the anti-diagonal carry minus signs, which invites the mnemonic "multiply along the diagonals". That rule holds only for 3×33 \times 3.

For 4×44 \times 4, the anti-diagonal product actually carries a plus sign: swapping rows 1 and 4 and then rows 2 and 3 restores the identity, two exchanges, so the sign is (−1)2=+1(-1)^2=+1.

The mnemonic fails because the sign comes from permutation parity, not from which way a line is drawn.

A 4×44 \times 4 example: only two nonzero terms

Take a matrix with many zeros (the lecture writes one on the spot). Scanning one entry per row and column leaves only two complete paths:

  • permutation (4,3,2,1)(4,3,2,1): product 11, two exchanges, sign +1+1;
  • permutation (3,2,1,4)(3,2,1,4): product 11, one exchange, sign −1-1.

The other 22 terms vanish. The total is 1−1=01-1=0, so the matrix is singular.

A row relation confirms it: row 1 plus row 3 is the all-ones row, and row 2 plus row 4 is also the all-ones row, hence

row1−row2+row3−row4=0\text{row}_1 - \text{row}_2 + \text{row}_3 - \text{row}_4 = 0

The null space also contains (1,−1,1,−1)(1,-1,1,-1). The formula gives the number; the row relation gives the reason.

Cofactors: reducing nn to n−1n-1

Grouping the big formula

Group the big formula by the entries of the first row. The group containing a11a_{11} has as its remaining factor the determinant of the matrix left after deleting row 1 and column 1:

a11(a22a33−a23a32)a_{11}\left(a_{22}a_{33} - a_{23}a_{32}\right)

The group containing a12a_{12} leaves the determinant after deleting row 1 and column 2, but with an extra minus sign. Absorbing that sign into the coefficient produces the cofactor.

Definition

For aija_{ij}, delete row ii and column jj to get the (n−1)×(n−1)(n-1)\times(n-1) minor MijM_{ij}. The cofactor is

Cij=(−1)i+jdet⁡MijC_{ij} = (-1)^{i+j} \det M_{ij}

The signs form a checkerboard:

+−+−−+−++−+−−+−+\begin{matrix} + & - & + & - \\ - & + & - & + \\ + & - & + & - \\ - & + & - & + \end{matrix}

The cofactor expansion

Along any row:

det⁡A=∑j=1naijCij\det A = \sum_{j=1}^{n} a_{ij} C_{ij}

Along any column:

det⁡A=∑i=1naijCij\det A = \sum_{i=1}^{n} a_{ij} C_{ij}

The column version holds because det⁡(AT)=det⁡A\det(A^T)=\det A.

Check on 2×22 \times 2:

det⁡[abcd]=a⋅d+b⋅(−c)=ad−bc\det\begin{bmatrix}a&b\\c&d\end{bmatrix} = a\cdot d + b\cdot(-c) = ad-bc

How the three formulas divide the work

FormulaFormCharacter
Pivots∏di\prod d_i with a signMost practical; the work is hidden in elimination
Big formulaSum of n!n! termsClearest structure, largest computation
CofactorsExpand along a row or columnIn between; best when many zeros

The tridiagonal example

Let AnA_n be the n×nn \times n tridiagonal matrix with ones on the main diagonal and on the two adjacent diagonals, and zeros elsewhere:

A4=[1100111001110011]A_4 = \begin{bmatrix} 1&1&0&0\\ 1&1&1&0\\ 0&1&1&1\\ 0&0&1&1 \end{bmatrix}

Expand along the first row. The first 1 has cofactor det⁡An−1\det A_{n-1}. The second 1 has a cofactor whose matrix, after deleting row 1 and column 2, has a zero in the upper-left corner; expanding further leaves a block identical to An−2A_{n-2}, with a minus sign. Therefore

det⁡An=det⁡An−1−det⁡An−2\det A_n = \det A_{n-1} - \det A_{n-2}

With initial values

det⁡A1=1,det⁡A2=∣1111∣=0\det A_1 = 1, \qquad \det A_2 = \begin{vmatrix}1&1\\1&1\end{vmatrix} = 0

the sequence is

1, 0, −1, −1, 0, 1, 1, 0, −1,…1,\ 0,\ -1,\ -1,\ 0,\ 1,\ 1,\ 0,\ -1,\dots

The period is six. Hence

det⁡A61=det⁡A1=1\det A_{61} = \det A_1 = 1

The example shows two things: cofactor expansion turns a high-order problem into a recurrence, and the resulting sequence can be periodic rather than growing.

Background: The period of six follows from the characteristic equation of xn=xn−1−xn−2x_n = x_{n-1}-x_{n-2}, whose roots are e±iπ/3e^{\pm i\pi/3}. The lecture does not develop this.

Core review

  • The big formula sums over permutations, n!n! terms, signed by permutation parity.
  • The three-by-three diagonal mnemonic does not generalize.
  • Cofactors reduce nn to n−1n-1, with signs given by (−1)i+j(-1)^{i+j}.
  • Expansion works along any row or any column.
  • The all-ones tridiagonal matrix satisfies a two-term recurrence and has period six.

Common misconceptions

  1. Applying the three-by-three diagonal rule to four-by-four. The anti-diagonal sign is positive in the 4×44\times4 case.
  2. Forgetting the cofactor sign. CijC_{ij} already includes (−1)i+j(-1)^{i+j}; do not add another sign.
  3. Expecting cofactor expansion to be cheap. For a general matrix it is still factorial; it helps only when many entries are zero.
  4. Confusing the minor with the cofactor. The minor is a determinant; the cofactor carries the sign.

Check your understanding

1. How many terms does a 4×44\times4 determinant have, and how many are positive?

Reference answer: 4!=244!=24 terms, one per permutation of the column indices. The sign is the parity of the permutation, and even and odd permutations are equally many, so 1212 terms are positive and 1212 negative. In general, for n≥2n\ge2, each sign occurs n!/2n!/2 times.

2. Why does the three-by-three diagonal rule fail at four-by-four? Use the anti-diagonal as the example.

Reference answer: The three-by-three rule merely describes the coincidence that, at order three, main-diagonal products come out positive and anti-diagonal products negative. At order four take the anti-diagonal product a14a23a32a41a_{14}a_{23}a_{32}a_{41}, i.e. the permutation (4,3,2,1)(4,3,2,1): swapping rows 1↔41\leftrightarrow4 and 2↔32\leftrightarrow3 returns the identity in two swaps, so sgn⁡=(−1)2=+1\operatorname{sgn}=(-1)^2=+1 and the term is positive — the opposite of what the rule predicts. The sign depends only on permutation parity, not on which way a line is drawn.

3. Write the expansion of a 3×33\times3 determinant along its second row, with signs marked.

Reference answer: Expanding along row 2, the signs are (−1)2+j(-1)^{2+j}: minus for j=1j=1, plus for j=2j=2, minus for j=3j=3. Hence

det⁡A=−a21det⁡M21+a22det⁡M22−a23det⁡M23,\det A=-a_{21}\det M_{21}+a_{22}\det M_{22}-a_{23}\det M_{23},

where M2jM_{2j} is the 2×22\times2 matrix obtained by deleting row 2 and column jj. For instance the cofactor of a21a_{21} is ∣a12a13a32a33∣\begin{vmatrix}a_{12}&a_{13}\\a_{32}&a_{33}\end{vmatrix} preceded by a minus sign.

4. In the tridiagonal recurrence, where does the minus sign on the second term come from?

Reference answer: Expand along the first row, which is (1,1,0,… )(1,1,0,\dots). The first entry a11=1a_{11}=1 contributes +1⋅det⁡An−1+1\cdot\det A_{n-1}. The second entry is a12=1a_{12}=1, whose cofactor carries (−1)1+2=−1(-1)^{1+2}=-1, so it contributes −det⁡M12-\det M_{12}. Deleting row 1 and column 2 leaves a zero in the top-left corner; expanding along that row leaves only the bottom-right (n−2)(n-2) tridiagonal block. The minus sign comes from the cofactor sign (−1)1+2(-1)^{1+2}, not from the entry.

5. If det⁡A4=−1\det A_4=-1 and det⁡A5=0\det A_5=0, find det⁡A6\det A_6.

Reference answer: With det⁡An=det⁡An−1−det⁡An−2\det A_n=\det A_{n-1}-\det A_{n-2} and n=6n=6,

det⁡A6=det⁡A5−det⁡A4=0−(−1)=1.\det A_6=\det A_5-\det A_4=0-(-1)=1 .

This matches the period-6 sequence 1,0,−1,−1,0,1,…1,0,-1,-1,0,1,\dots: indeed det⁡A6=det⁡A1=1\det A_6=\det A_1=1.

How this connects

The previous lecture defined the determinant through properties; this one gives two explicit expressions. The next lecture uses cofactors to invert a matrix (the adjugate), states Cramer's rule, and interprets the determinant as volume, before the course moves to eigenvalues and diagonalization.

来源