![b51838a81d20ecbe8c7b57b37ac9548d.png](https://i-blog.csdnimg.cn/blog_migrate/a9592e82829f205cc6c34b2458468b75.png)
行列式 (Determinant) 可以部分解决线性方程组求解的问题.
- 什么是行列式, 为何称之为行列式?
- 为何只能部分解决, 哪部分可以解决?
- 解决的思路是什么?
- 具体步骤是什么?
- 为什么是这样的步骤?
- 是否可以改进?
- 与消元法有什么关联?
要诀:
- 基于线性方程组的几何意义构建行列式的性质和几何意义;
- 基于消元法回看行列式的性质;
- 基于消元法发现Cramer法则.
行列式是一个数, 它由
起初行列式是为了判断
要想完全说清楚行列式, 就要明白
线性方程组的几何意义
数形结合是一个非常好用的数学方法. 正如一元二次方程和抛物线的完美结合一样, 线性方程和平面有不解之缘.
对于一个二元线性方程
什么时候存在唯一解呢? 即, 两条直线相交于一点. 换种思维, 两条直线的法向量
![3148ddbedb16c745a00626599b458307.png](https://i-blog.csdnimg.cn/blog_migrate/bb5b6e0fe5fd5ca43b0eaf73b250b74f.jpeg)
下面就探讨这个面积如何计算. 首先, 我们用下述符号表示
然后, 根据面积的意义, 容易得到,
![d25d355af0e03d9e6499fd29da8f97ae.png](https://i-blog.csdnimg.cn/blog_migrate/b27c78f3cfaa5feb308f4aac84a7a678.jpeg)
![324fcc3c1f60323b229046e9f22448ac.png](https://i-blog.csdnimg.cn/blog_migrate/64cc5bf73aa4602b162b4d5af4511b78.jpeg)
以及
![d85414c57569321d3f2364c49f2287f9.png](https://i-blog.csdnimg.cn/blog_migrate/f660dbc1a29c940b40fac9ed456f7ec1.jpeg)
这样, 我们基于上述规定, 可以得到"交换两行, 行列式变号".
这也告诉我们, 这里所说的面积其实是有正负的. 同时, 基于"交换两行, 行列式变号"也让我们可以证明出"两行相同的行列式为零".
值得注意的是, 某行每个元素分裂成两个数的行列式等于分别两个行列式的和. 某行每个元素乘以一个数的行列式等于原行列式乘以这个数. 这两个规定可以归结为行列式关于固定的一行有线性性.
所以,
这就是二阶行列式的定义啦, 这不仅让我们知道如何计算两个向量张成的平行四边形面积 (其实是具有正负号的"面积"), 也让我们明白了怎么用一个数判断线性方程组
何时存在唯一解. 那么三阶行列式就是
那么, 可以通过行列式的"大公式"定义, 证明诸多行列式的性质. 这也是教科书上的做法. 我们这里只是让"大公式"的引入没有那么的生硬.
行列式的性质
从行列式的几何意义, 我们可以总结出行列式的下述性质:
-
;
-
;
-
;
-
;
-
;
-
;
-
.
容易证明,
- 性质2
性质4;
- 当性质3成立的时候, 性质2
性质5;
- 性质4
性质6;
- 性质1, 3, 5
性质7.
换句话讲, 上述性质中1, 2, 3, 最为关键, 基于前三条性质可以得到后四条性质.
虽然我们是通过二阶行列式阐述这七条性质, 但它们很容易推广到
行列式的真相
- 原名: 判别式 -- 希望找到一个数判断
个未知数
个线性方程的线性方程组是否存在唯一解;
- 化名: 行列式 -- 凡是关于行的性质, 列同样具备, 行与列是平等的;
- 表象: 大公式 -- 它的复杂性源于行列式的逐行分裂,且交换行列形成逆序数;
- 内心: 平行四边形的"有向"面积 -- 三条性质的图像呈现出行列式的几何意义;
- 性格: 一共七条性质 -- 前三条性质是本质,后四条性质是外延;
- 父亲: 莱布尼兹;
- 兄弟:
.
光阴给我们经验, 视频给我们知识.
- 厦门大学-- 高等代数-- 第一章-- 第4节-- 行列式
- 麻省理工学院-- 线性代数-- 第18集-- 行列式及其性质
- 麻省理工学院-- 线性代数-- 第19集-- 行列式公式和代数余子式