前置知识:
证明见 “对换对排列奇偶性的影响”。
定义1 记
D
=
∣
a
11
a
12
⋯
a
1
n
a
21
a
22
⋯
a
2
n
⋮
⋮
⋱
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
,
D
T
=
∣
a
11
a
21
⋯
a
n
1
a
12
a
22
⋯
a
n
2
⋮
⋮
⋱
⋮
a
1
n
a
2
n
⋯
a
n
n
∣
(1)
D = |a11a12⋯a1na21a22⋯a2n⋮⋮⋱⋮an1an2⋯ann|, \hspace{1em} D^T = |a11a21⋯an1a12a22⋯an2⋮⋮⋱⋮a1na2n⋯ann| \tag{1}
D=
a11a21⋮an1a12a22⋮an2⋯⋯⋱⋯a1na2n⋮ann
,DT=
a11a12⋮a1na21a22⋮a2n⋯⋯⋱⋯an1an2⋮ann
(1)
行列式
D
T
D^T
DT 称为行列式
D
D
D 的 转置行列式。
根据转置行列式的定义,在将行列式 D D D 转置为 D T D^T DT 时, D D D 中的每一项都从以行标为标准排列转换为了以列标为标准排列。于是,我们直观地猜想,在转置的过程中, D D D 中的每一项在 D T D^T DT 中都有且仅有某一项与之对应并相等。于是,有性质及证明如下:
性质1 行列式与它的转置行列式相等。
证明
(a)对于乘积 a 1 p 1 ⋯ a i p i ⋯ a j p j ⋯ a n p n a_{1 p_1} \cdots a_{i p_i} \cdots a_{j p_j} \cdots a_{n p_n} a1p1⋯aipi⋯ajpj⋯anpn,将 1 ⋯ i ⋯ j ⋯ n 1 \cdots i \cdots j \cdots n 1⋯i⋯j⋯n 称为行标排列, p 1 ⋯ p i ⋯ p j ⋯ p n p_1 \cdots p_i \cdots p_j \cdots p_n p1⋯pi⋯pj⋯pn 称为列标排列。
不妨设行标排列 1 ⋯ i ⋯ j ⋯ n 1 \cdots i \cdots j \cdots n 1⋯i⋯j⋯n 的逆序数为 r 0 r_0 r0,列标排列 p 1 ⋯ p i ⋯ p j ⋯ p n p_1 \cdots p_i \cdots p_j \cdots p_n p1⋯pi⋯pj⋯pn 的逆序数为 t 0 t_0 t0。对换元素 a i p i a_{i p_i} aipi 和 a j p j a_{j p_j} ajpj 后,新的行标排列 1 ⋯ j ⋯ i ⋯ n 1 \cdots j \cdots i \cdots n 1⋯j⋯i⋯n 的逆序数为 r 1 r_1 r1,根据引理 1 可知 ( − 1 ) r 1 = − ( − 1 ) r 0 (-1)^{r_1} = - (-1)^{r_0} (−1)r1=−(−1)r0;新的列标排列 p 1 ⋯ p j ⋯ p i ⋯ p n p_1 \cdots p_j \cdots p_i \cdots p_n p1⋯pj⋯pi⋯pn 的逆序数为 t 1 t_1 t1,根据引理 1 可知 ( − 1 ) t 1 = − ( − 1 ) t 0 (-1)^{t_1} = - (-1)^{t_0} (−1)t1=−(−1)t0。于是
( − 1 ) r 1 + t 1 = [ − ( − 1 ) r 0 ] ⋅ [ − ( − 1 ) t 0 ] = ( − 1 ) r 0 + t 0 (-1)^{r_1 + t_1} = \left[ -(-1)^{r_0} \right] \cdot \left[ -(-1)^{t_0} \right] = (-1)^{r_0 + t_0} (−1)r1+t1=[−(−1)r0]⋅[−(−1)t0]=(−1)r0+t0
这就表明:对换乘积中任意两个元素,行标排列和列标排列的逆序数之和的奇偶性不变。(b)因为每一次对换乘积中的任意两个元素,行标排列和列标排列的逆序数之和的奇偶性都不变;所以经过多次对换后,奇偶性也不会改变。
于是得到:对于行列式 D D D 的任一项 ( − 1 ) t a 1 p 1 a 2 p 2 ⋯ a n p n (-1)^t a_{1 p_1} a_{2 p_2} \cdots a_{n p_n} (−1)ta1p1a2p2⋯anpn,不妨设其列标排列 p 1 p 2 ⋯ p n p_1 p_2 \cdots p_n p1p2⋯pn 的逆序数为 t t t;通过若干次对换其中任意两个元素,将其列标排列变为标准排列后,此时行标排列相应地从标准排列变为了某个新的排列,设此新排列为 q 1 q 2 ⋯ q n q_1 q_2 \cdots q_n q1q2⋯qn,其逆序数为 s s s,则 t t t 和 s s s 的奇偶性相同,即 ( − 1 ) t = ( − 1 ) s (-1)^t = (-1)^s (−1)t=(−1)s。
(c)在若干次对换行列式 D D D 的任一项的过程中,其绝对值显然是不变的,于是有:
( − 1 ) t a 1 p 1 a 2 p 2 ⋯ a n p n = ( − 1 ) s a q 1 1 a q 2 2 ⋯ a q n n (2) (-1)^t a_{1 p_1} a_{2 p_2} \cdots a_{n p_n} = (-1)^s a_{q_1 1} a_{q_2 2} \cdots a_{q_n n} \tag{2} (−1)ta1p1a2p2⋯anpn=(−1)saq11aq22⋯aqnn(2)
(d)在式 (2) 中,如果左边乘积的第 i i i 个元素 a i p i a_{i p_i} aipi 为 a i j a_{ij} aij,那么它必定是右边乘积的第 j j j 个元素,即 a i p i = a i j = a q j j a_{i p_i} = a_{ij} = a_{q_j j} aipi=aij=aqjj。可见排列 q 1 q 2 ⋯ q n q_1 q_2 \cdots q_n q1q2⋯qn 由排列 p 1 p 2 ⋯ p n p_1 p_2 \cdots p_n p1p2⋯pn 所唯一确定。于是得到:行列式 D D D 中的任一项 ( − 1 ) t a 1 p 1 a 2 p 2 ⋯ a n p n (-1)^t a_{1 p_1} a_{2 p_2} \cdots a_{n p_n} (−1)ta1p1a2p2⋯anpn,总有且仅有 D T D^T DT 中的某一项 ( − 1 ) s a q 1 1 a q 2 2 ⋯ a q n n (-1)^s a_{q_1 1} a_{q_2 2} \cdots a_{q_n n} (−1)saq11aq22⋯aqnn 与之对应并相等;反之,对于 D T D^T DT 中的任一项 ( − 1 ) t a p 1 1 a p 2 2 ⋯ a p n n (-1)^t a_{p_1 1} a_{p_2 2} \cdots a_{p_n n} (−1)tap11ap22⋯apnn,也总有且仅有 D D D 中的某一项 ( − 1 ) s a 1 q 1 a 2 q 2 ⋯ a n q n (-1)^s a_{1 q_1} a_{2 q_2} \cdots a_{n q_n} (−1)sa1q1a2q2⋯anqn 与之对应并相等,于是 D D D 与 D T D^T DT 中的项可以一一对应并相等,从而 D = D T D = D^T D=DT。
当交换行列式中的两列后,行列式中任一项的行标排列不变,列标排列因两个元素对换改变了奇偶性而变号,行列式也会变号。因为行列式与它的转置行列式相等,所以交换行列式中的两行后,行列式也会变号。于是有性质及证明如下:
性质2 对换行列式的两行(列),行列式变号。
证明 设行列式
D 1 = ∣ b 11 b 12 ⋯ b 1 n b 21 b 22 ⋯ b 2 n ⋮ ⋮ ⋱ ⋮ b n 1 b n 2 ⋯ b n n ∣ D_1 = |b11b12⋯b1nb21b22⋯b2n⋮⋮⋱⋮bn1bn2⋯bnn| D1= b11b21⋮bn1b12b22⋮bn2⋯⋯⋱⋯b1nb2n⋮bnn
是由行列式 D = det ( a i j ) D = \det(a_{ij}) D=det(aij) 对换 i , j i,j i,j 两列得到的。对整数 p ∈ [ 1 , n ] p \in [1,n] p∈[1,n],当 k ≠ i , j k \ne i,j k=i,j 时, b p k = a p k b_{pk} = a_{pk} bpk=apk;当 k = i , j k = i,j k=i,j 时, b p i = a p j b_{pi} = a_{pj} bpi=apj, b p j = a p i b_{pj} = a_{pi} bpj=api,于是
D 1 = ∑ ( − 1 ) t 0 b 1 p 1 ⋯ b i p i ⋯ b j p j ⋯ b n p n = ∑ ( − 1 ) t 0 a 1 p 1 ⋯ a i p j ⋯ a j p i ⋯ a n p n D_1 = \sum (-1)^{t_0} b_{1 p_1} \cdots b_{i p_i} \cdots b_{j p_j} \cdots b_{n p_n} = \sum (-1)^{t_0} a_{1 p_1} \cdots a_{i p_j} \cdots a_{j p_i} \cdots a_{n p_n} D1=∑(−1)t0b1p1⋯bipi⋯bjpj⋯bnpn=∑(−1)t0a1p1⋯aipj⋯ajpi⋯anpn
其中 1 ⋯ i ⋯ j ⋯ n 1 \cdots i \cdots j \cdots n 1⋯i⋯j⋯n 为标准排列, t 0 t_0 t0 为排列 p 1 ⋯ p i ⋯ p j ⋯ p n p_1 \cdots p_i \cdots p_j \cdots p_n p1⋯pi⋯pj⋯pn 的逆序数。设排列 p 1 ⋯ p j ⋯ p i ⋯ p n p_1 \cdots p_j \cdots p_i \cdots p_n p1⋯pj⋯pi⋯pn 的逆序数为 t 1 t_1 t1,根据引理 1 有 ( − 1 ) t 1 = − ( − 1 ) t 0 (-1)^{t_1} = - (-1)^{t_0} (−1)t1=−(−1)t0,于是
D 1 = ∑ ( − 1 ) t 0 a 1 p 1 ⋯ a i p j ⋯ a j p i ⋯ a n p n = − ∑ ( − 1 ) t 0 a 1 p 1 ⋯ a i p i ⋯ a j p j ⋯ a n p n = − D D_1 = \sum (-1)^{t_0} a_{1 p_1} \cdots a_{i p_j} \cdots a_{j p_i} \cdots a_{n p_n} = - \sum (-1)^{t_0} a_{1 p_1} \cdots a_{i p_i} \cdots a_{j p_j} \cdots a_{n p_n} = -D D1=∑(−1)t0a1p1⋯aipj⋯ajpi⋯anpn=−∑(−1)t0a1p1⋯aipi⋯ajpj⋯anpn=−D因为行列式与它的转置行列式相等(性质 1),所以对换行列式 D D D 的 i , j i,j i,j 两列,等价于对换其转置行列式的 i , j i,j i,j 两行,显然对换后得到的行列式 D 1 D_1 D1 满足 D 1 = − D D_1 = -D D1=−D。
以 r i r_i ri 表示行列式的第 i i i 行,以 c i c_i ci 表示第 j j j 列。对换 i , j i,j i,j 两行记作 r i ↔ r j r_i \leftrightarrow r_j ri↔rj,对换 i , j i,j i,j 两列记作 c i ↔ c j c_i \leftrightarrow c_j ci↔cj。
根据以上性质 1,有推论及证明如下:
推论1 如果行列式有两行(列)完全相同,则此行列式等于零。
证明 设行列式 D = d e t ( a i j ) D = det(a_{ij}) D=det(aij) 中第 i i i 行和第 j j j 行完全相同。对换行列式中 D D D 中的第 i i i 行和第 j j j 行得到行列式 D 1 D_1 D1;因为第 i i i 行和第 j j j 行完全相同,所以行列式没有改变,显然有 D 1 = D D_1 = D D1=D;同时,根据性质 1,有 D 1 = − D D_1 = - D D1=−D。于是 D = D 1 = − D D = D_1 = - D D=D1=−D,故 D = 0 D = 0 D=0。
如果将行列式中的某一列中所有元素都乘同一个数 k k k,那么相当于将行列式的每一项都乘了数 k k k,即相当于用数 k k k 乘此行列式。于是有性质及证明如下:
性质3 行列式的某一行(列)中所有的元素都乘同一个数 k k k,等于用数 k k k 乘此行列式。
证明 设行列式
D 1 = ∣ b 11 b 12 ⋯ b 1 n b 21 b 22 ⋯ b 2 n ⋮ ⋮ ⋱ ⋮ b n 1 b n 2 ⋯ b n n ∣ D_1 = |b11b12⋯b1nb21b22⋯b2n⋮⋮⋱⋮bn1bn2⋯bnn| D1= b11b21⋮bn1b12b22⋮bn2⋯⋯⋱⋯b1nb2n⋮bnn
是由行列式 D = det ( a i j ) D = \det(a_{ij}) D=det(aij) 将第 i i i 列中所有的元素都乘数 k k k 得到的。对整数 p ∈ [ 1 , n ] p \in [1,n] p∈[1,n],当 l ≠ i l \ne i l=i 时, b p l = a p l b_{pl} = a_{pl} bpl=apl;当 l = i l = i l=i 时, b p l = k × a p l b_{pl} = k \times a_{pl} bpl=k×apl,于是
D 1 = ∑ ( − 1 ) t 0 b 1 p 1 ⋯ b i p i ⋯ b n p n = ∑ ( − 1 ) t 0 k ⋅ a 1 p 1 ⋯ a i p i ⋯ a n p n = k ∑ ( − 1 ) t 0 ⋅ a 1 p 1 ⋯ a i p i ⋯ a n p n = k ⋅ D D_1 = \sum (-1)^{t_0} b_{1 p_1} \cdots b_{i p_i} \cdots b_{n p_n} = \sum (-1)^{t_0} k \cdot a_{1 p_1} \cdots a_{i p_i} \cdots a_{n p_n} = k \sum (-1)^{t_0} \cdot a_{1 p_1} \cdots a_{i p_i} \cdots a_{n p_n} = k \cdot D D1=∑(−1)t0b1p1⋯bipi⋯bnpn=∑(−1)t0k⋅a1p1⋯aipi⋯anpn=k∑(−1)t0⋅a1p1⋯aipi⋯anpn=k⋅D
因为行列式与它的转置行列式相等(性质 1),所以将行列式 D D D 的第 i i i 列中所有的元素都乘数 k k k,等价于将其转置行列式的第 i i i 行中所有的元素都乘数 k k k,显然乘数 k k k 后得到的行列式 D 1 D_1 D1 满足 D 1 = k ⋅ D D_1 = k \cdot D D1=k⋅D。第 i i i 行(或列)乘 k k k,记作 r i × k r_i \times k ri×k(或 c i × k c_i \times k ci×k)。
根据以上性质 3,有推论及证明如下:
推论2 行列式中某一行(列)的所有元素的公因子可以提到行列式记号的外面。
证明 首先证明行列式中某一行的所有元素的公因子可以提到行列式记号的外面。不妨设行列式
D = ∣ a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ D = |a11a12⋯a1na21a22⋯a2n⋮⋮⋮an1an2⋯ann| D= a11a21⋮an1a12a22⋮an2⋯⋯⋯a1na2n⋮ann
中的第 i i i 行的所有元素具有公因子 k k k,则根据性质 1,令第 i i i 行中所有元素都乘以 1 k \frac{1}{k} k1 得到行列式 D 1 D_1 D1,则 D 1 = 1 k ⋅ D D_1 = \frac{1}{k} \cdot D D1=k1⋅D,于是 D = k D 1 D = k D_1 D=kD1。根据性质 1,同理可证行列式中某一列的所有元素的公因子可以提到行列式记号的外面。
第 i i i 行(或列)提出公因子 k k k,记作 r i ÷ k r_i \div k ri÷k(或 c ÷ k c \div k c÷k),有
∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ k a i 1 k a i 2 ⋯ k a i n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ = r i ÷ k k ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 a i 2 ⋯ a i n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ |a11a12⋯a1n⋮⋮⋮kai1kai2⋯kain⋮⋮⋮an1an2⋯ann| \xlongequal{r_i \div k} k |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮an1an2⋯ann| a11⋮kai1⋮an1a12⋮kai2⋮an2⋯⋯⋯a1n⋮kain⋮ann ri÷kk a11⋮ai1⋮an1a12⋮ai2⋮an2⋯⋯⋯a1n⋮ain⋮ann
性质4 行列式中如果有两行(列)元素成比例,则此行列式等于零。
证明 首先证明行列式中如果有两列元素成比例,则此行列式等于零。设行列式
D = ∣ a 11 ⋯ a 1 i ⋯ a 1 j ⋯ a 1 n a 21 ⋯ a 2 i ⋯ a 2 j ⋯ a 2 n ⋮ ⋮ ⋮ ⋮ a n 1 ⋯ a n i ⋯ a n j ⋯ a n n ∣ D = |a11⋯a1i⋯a1j⋯a1na21⋯a2i⋯a2j⋯a2n⋮⋮⋮⋮an1⋯ani⋯anj⋯ann| D= a11a21⋮an1⋯⋯⋯a1ia2i⋮ani⋯⋯⋯a1ja2j⋮anj⋯⋯⋯a1na2n⋮ann
其中第 i i i 列和第 j j j 列元素成比例,即对整数 p ∈ [ 1 , n ] p \in [1,n] p∈[1,n],有 a p i = k a p j a_{pi} = k a_{pj} api=kapj。根据性质 3,将行列式的第 j j j 列中所有的元素都乘 k k k,于是有
k D = ∣ a 11 ⋯ a 1 i ⋯ k a 1 j ⋯ a 1 n a 21 ⋯ a 2 i ⋯ k a 2 j ⋯ a 2 n ⋮ ⋮ ⋮ ⋮ a n 1 ⋯ a n i ⋯ k a n j ⋯ a n n ∣ = ∣ a 11 ⋯ a 1 i ⋯ a 1 i ⋯ a 1 n a 21 ⋯ a 2 i ⋯ a 2 i ⋯ a 2 n ⋮ ⋮ ⋮ ⋮ a n 1 ⋯ a n i ⋯ a n i ⋯ a n n ∣ k D = |a11⋯a1i⋯ka1j⋯a1na21⋯a2i⋯ka2j⋯a2n⋮⋮⋮⋮an1⋯ani⋯kanj⋯ann| = |a11⋯a1i⋯a1i⋯a1na21⋯a2i⋯a2i⋯a2n⋮⋮⋮⋮an1⋯ani⋯ani⋯ann| kD= a11a21⋮an1⋯⋯⋯a1ia2i⋮ani⋯⋯⋯ka1jka2j⋮kanj⋯⋯⋯a1na2n⋮ann = a11a21⋮an1⋯⋯⋯a1ia2i⋮ani⋯⋯⋯a1ia2i⋮ani⋯⋯⋯a1na2n⋮ann
此时第 i i i 列与第 j j j 列完全相同,根据推论 1,行列式 k D = 0 k D = 0 kD=0,于是 D = 0 D = 0 D=0。根据性质 1,同理可证行列式中如果有两行元素成比例,则此行列式等于零。
性质5 若行列式的某一行(列)的元素都是两数之和,例如第
i
i
i 行的元素都是两数之和:
D
=
∣
a
11
a
12
⋯
a
1
n
⋮
⋮
⋮
a
i
1
+
a
i
1
′
a
i
2
+
a
i
2
′
⋯
a
i
n
+
a
i
n
′
⋮
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
D = |a11a12⋯a1n⋮⋮⋮ai1+a′i1ai2+a′i2⋯ain+a′in⋮⋮⋮an1an2⋯ann|
D=
a11⋮ai1+ai1′⋮an1a12⋮ai2+ai2′⋮an2⋯⋯⋯a1n⋮ain+ain′⋮ann
则
D
D
D 等于下列两个行列式之和
D
=
∣
a
11
a
12
⋯
a
1
n
⋮
⋮
⋮
a
i
1
a
i
2
⋯
a
i
n
⋮
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
+
∣
a
11
a
12
⋯
a
1
n
⋮
⋮
⋮
a
i
1
′
a
i
2
′
⋯
a
i
n
′
⋮
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
D = |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮an1an2⋯ann| + |a11a12⋯a1n⋮⋮⋮a′i1a′i2⋯a′in⋮⋮⋮an1an2⋯ann|
D=
a11⋮ai1⋮an1a12⋮ai2⋮an2⋯⋯⋯a1n⋮ain⋮ann
+
a11⋮ai1′⋮an1a12⋮ai2′⋮an2⋯⋯⋯a1n⋮ain′⋮ann
证明 首先证明若行列式的某一行的元素都是两数之和。不妨设行列式 D D D 中第 i i i 列的元素都是两数之和:
D = ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 + a i 1 ′ a i 2 + a i 2 ′ ⋯ a i n + a i n ′ ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ D = |a11a12⋯a1n⋮⋮⋮ai1+a′i1ai2+a′i2⋯ain+a′in⋮⋮⋮an1an2⋯ann| D= a11⋮ai1+ai1′⋮an1a12⋮ai2+ai2′⋮an2⋯⋯⋯a1n⋮ain+ain′⋮ann
根据乘法结合律,有
D 1 = ∑ i = 1 n ( − 1 ) t a 1 p 1 ⋯ ( a i p i + a i p i ′ ) ⋯ a n p n = ∑ i = 1 n ( − 1 ) t a 1 p 1 ⋯ a i p i ⋯ a n p n + ∑ i = 1 n ( − 1 ) t a 1 p 1 ⋯ a i p i ′ ⋯ a n p n (1) D1=n∑i=1(−1)ta1p1⋯(aipi+a′ipi)⋯anpn=n∑i=1(−1)ta1p1⋯aipi⋯anpn+n∑i=1(−1)ta1p1⋯a′ipi⋯anpn \tag{1} D1=i=1∑n(−1)ta1p1⋯(aipi+aipi′)⋯anpn=i=1∑n(−1)ta1p1⋯aipi⋯anpn+i=1∑n(−1)ta1p1⋯aipi′⋯anpn(1)
其中式 (1) 中的第一项和第二项分别可以写成行列式 D 1 D_1 D1 和 D 2 D_2 D2:
D 1 = ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 a i 2 ⋯ a i n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ , D 2 = ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 ′ a i 2 ′ ⋯ a i n ′ ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ D_1 = |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮an1an2⋯ann|, \hspace{1em} D_2 = |a11a12⋯a1n⋮⋮⋮a′i1a′i2⋯a′in⋮⋮⋮an1an2⋯ann| D1= a11⋮ai1⋮an1a12⋮ai2⋮an2⋯⋯⋯a1n⋮ain⋮ann ,D2= a11⋮ai1′⋮an1a12⋮ai2′⋮an2⋯⋯⋯a1n⋮ain′⋮ann
根据性质 1,同理可证行列式中某一列的元素都是两数之和的情形。
这个性质表明,当某一行(或列)的元素为两数之和时,行列式关于该行(或列) 可分解为两个行列式。若 n n n 阶行列式每个元素都表示成两数之和,则可分解成 2 n 2^n 2n 个行列式。
性质6 把行列式的某一行(列)的各元素乘同一数然后加到另一行(列)对应的元素上去,行列式不变。
证明 首先证明将某一行的各元素乘同一个数然后加到另一行对应的元素的情况。设有行列式 D 0 = d e l ( a i j ) D_0 = del(a_{ij}) D0=del(aij) ,将行列式 D 0 D_0 D0 第 i i i 行的个元素乘 k k k 后加到第 j j j 行对应元素上去( i ≠ j i \ne j i=j),得到行列式 D 1 D_1 D1。根据性质 5,可将行列式 D 1 D_1 D1 分解为两个行列式
D 1 = ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 a i 2 ⋯ a i n ⋮ ⋮ ⋮ a j 1 + k a i 1 a j 2 + k a i 2 ⋯ a j n + k a i n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ = ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 a i 2 ⋯ a i n ⋮ ⋮ ⋮ a j 1 a j 2 ⋯ a j n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ + ∣ a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋮ a i 1 a i 2 ⋯ a i n ⋮ ⋮ ⋮ k a i 1 k a i 2 ⋯ k a i n ⋮ ⋮ ⋮ a n 1 a n 2 ⋯ a n n ∣ (1) D_1 = |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮aj1+kai1aj2+kai2⋯ajn+kain⋮⋮⋮an1an2⋯ann| = |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮aj1aj2⋯ajn⋮⋮⋮an1an2⋯ann| + |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮kai1kai2⋯kain⋮⋮⋮an1an2⋯ann| \tag{1} D1= a11⋮ai1⋮aj1+kai1⋮an1a12⋮ai2⋮aj2+kai2⋮an2⋯⋯⋯⋯a1n⋮ain⋮ajn+kain⋮ann = a11⋮ai1⋮aj1⋮an1a12⋮ai2⋮aj2⋮an2⋯⋯⋯⋯a1n⋮ain⋮ajn⋮ann + a11⋮ai1⋮kai1⋮an1a12⋮ai2⋮kai2⋮an2⋯⋯⋯⋯a1n⋮ain⋮kain⋮ann (1)式 (1) 中等式右侧第 1 项即行列式 D 0 D_0 D0;根据推论 2,因为等式右侧第 2 项的行列式第 i i i 行和第 j j j 行元素成比例,所以该行列式为 0 0 0。于是 D 1 = D 0 D_1 = D_0 D1=D0。
根据性质 1 ,同理可证将某一列的各元素乘同一个数然后加到一列对应的元素的情况。
例如以数
k
k
k 乘第
i
i
i 行加到第
j
j
j 行上(记作
r
j
+
k
r
i
r_j + k r_i
rj+kri),有
∣
a
11
a
12
⋯
a
1
n
⋮
⋮
⋮
a
i
1
a
i
2
⋯
a
i
n
⋮
⋮
⋮
a
j
1
a
j
2
⋯
a
j
n
⋮
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
=
r
j
+
k
r
i
∣
a
11
a
12
⋯
a
1
n
⋮
⋮
⋮
a
i
1
a
i
2
⋯
a
i
n
⋮
⋮
⋮
a
j
1
+
k
a
i
1
a
j
2
+
k
a
i
2
⋯
a
j
n
+
k
a
i
n
⋮
⋮
⋮
a
n
1
a
n
2
⋯
a
n
n
∣
(
i
≠
j
)
|a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮aj1aj2⋯ajn⋮⋮⋮an1an2⋯ann| \xlongequal{r_j + k r_i} |a11a12⋯a1n⋮⋮⋮ai1ai2⋯ain⋮⋮⋮aj1+kai1aj2+kai2⋯ajn+kain⋮⋮⋮an1an2⋯ann| \ (i \ne j)
a11⋮ai1⋮aj1⋮an1a12⋮ai2⋮aj2⋮an2⋯⋯⋯⋯a1n⋮ain⋮ajn⋮ann
rj+kri
a11⋮ai1⋮aj1+kai1⋮an1a12⋮ai2⋮aj2+kai2⋮an2⋯⋯⋯⋯a1n⋮ain⋮ajn+kain⋮ann
(i=j)