Last updated on November 14, 2023 11:52 PM
线性方程组的解的判据
定理:n 元线性方程组的解有三种情况:无解/唯一解/无穷组解。当其增广矩阵初等行变换成阶梯矩阵后,若出现 0=d 形,则无解。令非零行数目为 r,若 r<n 则无穷组解,若 r=n 则唯一解,不可能出现 r>n 的情况。
齐次线性方程组一定有零解。有非零解则一定是无穷组。判据则为当增广矩阵化为阶梯型后,判断非零行数量。
行列式部分
Cramer 法则与行列式几何意义的一些直观解释;
代数余子式的正交性
考虑按照某一行展开:
∣∣∣∣∣∣∣∣∣∣x1a21⋮an1x2a22⋮an2⋯⋯⋯xna2n⋮ann∣∣∣∣∣∣∣∣∣∣=A11x1+A12x2+⋯+A1nxn
其为关于某一行的线性函数。如果代入剩下的行,不难发现值是 0。用其理解叉积是很自然的:令 α=(a1,a2,a3),β=(b1,b2,b3),则
α×β=∣∣∣∣∣∣∣i^a1b1j^a2b2k^a3b3∣∣∣∣∣∣∣
Cramer 法则
n 个方程的 n 元线性方程组有唯一解 ⟺ 其系数行列式 detA=0。
相应地,n 个方程的 n 元齐次线性方程组只有零解 ⟺detA=0;有非零解 ⟺detA=0。
Cramer 法则给出了解的形式:
xi=detAdetBi
其中 Bi 是将 A 的第 i 列替换为 β。
证明:将这组解代入任意一个方程,比如说第 i 个:
ai1detAdetB1+ai2detAdetB2+⋯+aindetAdetBn=detA1j=1∑naijdetBj
将 detBj 展开:detBj=k=1∑nbkAkj,带回去:
j=1∑naijdetBj=j=1∑naijk=1∑nbkAkj=k=1∑nbkj=1∑naijAkj=bidetA
所以回代回去,就变成 bi 了,LHS = RHS,证毕。最后一行利用的就是代数余子式的正交性,只有当 k=i 的时候右边的式子是不为 0 的。