1. 化为三角形是计算行列式的通用方法,但三种行(列)变换对行列式值的影响必须分别记清★★ 必会
任何行列式都可以用初等变换化为三角形来计算,这是最通用的方法。但是三种变换对行列式值的影响各不相同,必须分别记清:
- 倍加(某行的 倍加到另一行):值不变,它是化简的主要手段,可以放心使用。
- 互换两行(或两列):值变号,每互换一次就记下一个 。
- 提公因子(从某行提出 ):提出以后要在行列式外面乘回 。
化为三角形的一般步骤如下:从第 列开始,用倍加把主对角线下方的元素消成 ;如果某个主元位置上是 ,就把它所在的行与下方某个非零行互换,同时记下变号;最后取主对角元之积,并把途中互换所产生的符号与提出的公因子都乘回去。
- 倍加(某行的 倍加到另一行):值不变,它是化简的主要手段,可以放心使用。
- 互换两行(或两列):值变号,每互换一次就记下一个 。
- 提公因子(从某行提出 ):提出以后要在行列式外面乘回 。
化为三角形的一般步骤如下:从第 列开始,用倍加把主对角线下方的元素消成 ;如果某个主元位置上是 ,就把它所在的行与下方某个非零行互换,同时记下变号;最后取主对角元之积,并把途中互换所产生的符号与提出的公因子都乘回去。
证明 / 推导
下面从行列式的定义出发,说明三种变换为什么各有不同的效果。 阶行列式的定义为其中 取遍 的一切排列, 是排列 的逆序数。由此可见,展开式中的每一项都从每一行取且只取一个元素。
① 提公因子。把第 行的每个元素都乘以 。展开式中的每一项都含一个来自第 行的因子,故每一项都变为原来的 倍,整个和也变为 倍。因此从某一行提出公因子 以后,要在行列式外面乘回 。由同一条定义还可以得到拆行的性质:如果第 行是两行之和,那么行列式等于相应的两个行列式之和。
② 互换两行。把第 行与第 行互换。展开式中的每一项仍是取自不同行不同列的 个元素之积,只是列标所成的排列被作了一次对换。对换改变排列逆序数的奇偶性,故每一项的符号都改变,从而整个行列式变号。
由 ② 立刻得到一条推论:如果行列式有两行完全相同,那么它等于零。事实上,把这两行互换,矩阵并没有改变,故行列式仍为 ;但按 ② 它又等于 。由 得 ,所以 。
③ 倍加。把第 行的 倍加到第 行上,其中 。由 ① 中的拆行性质,所得行列式等于两个行列式之和。第一个就是原来的行列式。第二个的第 行是第 行的 倍,提出 以后它有两行相同,由上面的推论知它等于零。因此倍加不改变行列式的值,可以放心使用。
④ 三角形行列式等于主对角元之积。设 是上三角形,即当 时 。若展开式中某一项不为零,则对每个 必有 。先看 ,由 得 ;再看 ,由 且 ,得 。如此自下而上推下去,得 为恒等排列。故展开式中只剩一项 ,它的逆序数为零,符号为正。
把 ①②③④ 合起来,就是化三角形这一算法的全部依据。用 ③ 消元不必附记任何因子。用 ② 换行时记下一个 ,用 ① 提因子时记下一个 。最后由 ④ 取主对角元之积。
举例说明
计算 。解. 主元位置上 ,先把第 行互换,行列式变号,记下一个 :
再把第 行的 倍加到第 行,倍加不改变行列式的值:
又把第 行的 倍加到第 行,第 元变为 ,于是
所以 。这里的负号全部来自最初的那一次互换。如果把它漏掉,就会得到 ,结果完全错误。