版权声明

本文大部分内容皆来自李永乐老师考研教材和视频课。

补充知识

求和公式的性质

• $$\sum _{i=1}^{n}k{a}_i=k\sum _{i=1}^n{a}_i$$
• $$\sum _{i=1}^n(a_i+b_i)=\sum _{i=1}^n{a}_i+\sum _{i=1}^n{b}_i$$
• $$\sum _{i=1}^m\sum _{j=1}^n{a}_{ij}=\sum _{j=1}^n\sum _{i=1}^m{a}_{ij}$$

常用希腊字符读音

• $\alpha$：/ælfə/
• $\beta$：/betə/
• $\Gamma$、$\gamma$：/gama/
• $\Delta$、$\delta$：/deltə/
• $\epsilon$：/epsilon/
• $\upsilon$：/apsilon/
• $\theta$：/θitə/
• $\pi$：/paɪ/
• $\eta$：/ita/
• $\Lambda$、$\lambda$：/læmdə/
• $\mu$：/mju/
• $\xi$：/ksi/
• $\Sigma$、$\sigma$：/sigmə/
• $\tau$：/taʊ/
• $\Phi$、$\phi$：/faɪ/
• $\psi$：/psi/
• $\Omega$、$\omega$：/omiga/
• $\rho$：/ru:/

线性方程组

方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=b_1\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=b_2\\ \dots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=b_m\end{array}\text{\hspace{1em}①}$$
称为$n$个未知数$m$个方程的非齐次线性方程组，如果$b_i=0(\forall i=1,2,\dots ,m)$，则方程组
$$\{\begin{array}{l}{a}_{11}{x}_1+a_{12}{x}_2+\cdots +a_{1n}{x}_n=0\\ a_{21}{x}_1+a_{22}{x}_2+\cdots +a_{2n}{x}_n=0\\ \dots \\ a_{m1}{x}_1+a_{m2}{x}_2+\cdots +a_{mn}{x}_n=0\end{array}\text{\hspace{1em}②}$$
称为齐次线性方程组，他是方程组①的导出组。若用一组数$c_1,c_2,\dots ,c_n$分别代替①中的$x_1,x_2,\dots ,x_n$，使①中$m$个等式都成立，则称有序组$c_1,c_2,\dots ,c_n$是①的一组解，解方程就是要找出方程组的全部解。如果①和②有相同的解集合，则称他们是同解方程组。方程组①的全体系数和常数项构成的矩阵
$$\bar{A}=\left[\begin{array}{ccccc}{a}_{11}& a_{12}& \dots & a_{1n}& b_1\\ a_{21}& a_{22}& \dots & a_{2n}& b_2\\ ⋮& ⋮& & ⋮& ⋮\\ a_{m1}& a_{m2}& \dots & a_{mn}& b_m\end{array}\right]$$
称为①的增广矩阵。由全体系数组成的矩阵
$$A=\left[\begin{array}{cccc}{a}_{11}& a_{12}& \dots & a_{1n}\\ a_{21}& a_{22}& \dots & a_{2n}\\ ⋮& ⋮& & ⋮\\ a_{m1}& a_{m2}& \dots & a_{mn}\end{array}\right]$$
称为①的系数矩阵。方程组①和②可以分别表示为：
$$Ax=b\text{\hspace{1em}①}$$
$$Ax=0\text{\hspace{1em}②}$$
其中$x=(x_1,x_2,\dots ,x_n{)}^T,b=(b_1,b_2,\dots ,b_m{)}^T$。

有解判定定理

如果对$\bar{A}$进行初等变换，得到行阶梯矩阵（这个过程叫做正向消元）
$$\bar{A}=\left[\begin{array}{ccccc}{a}_{11}& a_{12}& \dots & a_{1n}& b_1\\ & a_{22}& \dots & a_{2n}& b_2\\ & & \ddots & ⋮& ⋮\\ & & 0& a_{rn}& b_r\\ & & & 0& b_{r+1}\\ & & & ⋮& ⋮\\ & & & 0& 0\end{array}\right]$$
接着由下往上将化简后的矩阵加入未知数，即可得出线性方程的解（这个过程叫做反向求解），那么：

• 如果$b_{r+1}\ne 0$，则方程组①无解；
• 如果$b_{r+1}=0$，则方程组①有解，当$r=n$时有唯一解；当$r<n$时有无穷多解。

即：

• 方程组①有解的充要条件是$r(A)=r(\bar{A})$：
  • 若$r(A)=r(\bar{A})=n$，则方程组有唯一解；
  • 若$r(A)=r(\bar{A})<n$，则方程组有无穷多解；
• 方程组①无解$\iff r(A)+1=r(\bar{A})\iff b$不能由$A$的列向量线性表示。

同理，如果对$A$进行初等变换，得到行阶梯矩阵
$$A=\left[\begin{array}{cccc}{a}_{11}& a_{12}& \dots & a_{1n}\\ & a_{22}& \dots & a_{2n}\\ & & \ddots & ⋮\\ & & 0& a_{rn}\\ & & & 0\\ & & & ⋮\\ & & & 0\end{array}\right]$$
那么：

• 如果$a_{rn}\ne 0$，则方程组②只有零解；
• 如果$a_{rn}=0$，则方程组②有解，且有无穷多解。

即：方程组②有非零解$\iff r(A)<n\iff A$的列向量线性相关。

齐次线性方程组的基础解系

如果向量组${\eta }_1,{\eta }_2,\dots ,{\eta }_t$满足：

• ${\eta }_1,{\eta }_2,\dots ,{\eta }_t$是②的解；
• ${\eta }_1,{\eta }_2,\dots ,{\eta }_t$线性无关；
• ②的任意一个解都能由${\eta }_1,{\eta }_2,\dots ,{\eta }_t$线性表处。

则称${\eta }_1,{\eta }_2,\dots ,{\eta }_t$为齐次线性方程组②的基础解系，那么对任意常数$c_1,c_2,\dots ,c_t$
$$c_1{\eta }_1+c_2{\eta }_2+\cdots +c_t{\eta }_t$$
是齐次方程组②的通解。齐次线性方程组解的性质如下：

• 如果${\eta }_1,{\eta }_2$是方程组②的两个解，那么其线性组合仍是②的解。
  证明：
  $$\begin{gathered} \because A{\eta }_1=0,A{\eta }_2=0 \\ \therefore A(k{\eta }_1+l{\eta }_2)=kA{\eta }_1+lA{\eta }_2=0 \end{gathered}$$
• 若$r(A)=r<n$，则②有$n-r$个线性无关的解，且②的任何一个解都可这由$n-r$个线性无关的解线性表示。
  证明：设$A$的前$r$个列向量线性无关，对$A$进行初等变换化为行阶梯矩阵：
  $$A=\left[\begin{array}{cccccc}1& 0& \dots & a_{1r+1}& \dots & a_{1n}\\ & 1& \dots & a_{2r+1}& \dots & a_{2n}\\ & & \ddots & ⋮& ⋮& ⋮\\ & & & a_{rr+1}& \dots & a_{rn}\\ & & & 0& \dots & 0\\ & & & 0& \dots & 0\end{array}\right]$$
  那么可得方程组：
  $$\{\begin{array}{l}{x}_1=c_{1r+1}{x}_{r+1}-\cdots -c_{1n}{x}_n\\ x_2=c_{2r+1}{x}_{r+1}-\cdots -c_{2n}{x}_n\\ \dots \\ x_r=c_{rr+1}{x}_{rr+1}-\cdots -c_{rn}{x}_n\end{array}$$
  令
  $$\left[\begin{array}{c}{x}_{r+1}\\ x_{r+2}\\ ⋮\\ x_n\end{array}\right]$$
  分别是
  $$\left[\begin{array}{c}1\\ 0\\ ⋮\\ 0\end{array}\right]\left[\begin{array}{c}0\\ 1\\ ⋮\\ 0\end{array}\right]\dots \left[\begin{array}{c}0\\ 0\\ ⋮\\ 1\end{array}\right]$$
  代入方程组得②的$n-r$个解：
  $${\eta }_1=\left[\begin{array}{c}-c_{1r+1}\\ ⋮\\ -c_{rr+1}\\ 1\\ 0\\ ⋮\\ 0\end{array}\right]{\eta }_2=\left[\begin{array}{c}-c_{1r+2}\\ ⋮\\ -c_{rr+2}\\ 0\\ 1\\ ⋮\\ 0\end{array}\right]\dots {\eta }_{n-r}=\left[\begin{array}{c}-c_{1n}\\ ⋮\\ -c_{rn}\\ 0\\ 0\\ ⋮\\ 1\end{array}\right]$$
  因为$(1,0,\dots ,0{)}^T,(0,1,\dots ,0{)}^T,(0,0,\dots ,1{)}^T$线性无关，所以${\eta }_1,{\eta }_2,\dots ,{\eta }_{n-r}$线性无关。设$$\eta =(d_1,d_2,\dots ,d_n{)}^T$$是②的任一解，则：
  $$\gamma =d_{r+1}{\eta }_1+d_{r+2}{\eta }_2+\cdots +d_n{\eta }_{n-r}-\eta =(l_1,l_2,\dots .l_r,0,0,\dots ,0{)}^T$$
  必为②的一个解，带入②得：
  $$l_1=0,l_2=0,\dots ,l_r=0$$
  即$\gamma =0$，所以
  $$\eta =d_{r+1}{\eta }_1+d_{r+2}{\eta }_2+\cdots +d_n{\eta }_{n-r}$$
  因此②的任何一个解都可这由$n-r$个线性无关的解线性表示。

非齐次线性方程组解的结构

对方程组①，若$r(A)=r(\bar{A})=r$，且已知${\eta }_1,{\eta }_2,\dots ,{\eta }_{n-r}$是②的基础解系，${\xi }_0$是①的某个已知解，则①的通解为：
$${\xi }_0+c_1{\eta }_1+c_2{\eta }_2+\cdots +c_{n-r}{\eta }_{n-r}$$
其中$c_1,c_2,\dots ,c_{n-r}$为任意常数。非齐次线性方程组解的性质如下：

• 如果$\alpha ,\beta$是①的两个解，那么$\alpha -\beta$是②的解。
  证明：
  $$\begin{gathered} \because A\alpha =b,A\beta =b \\ \therefore A(\alpha -\beta )=0 \end{gathered}$$
• 如果$\alpha$是①的解，$\eta$是②的解，则$\alpha +\eta$是①的解。
  证明：
  $$\begin{gathered} \because A\alpha =b,A\eta =0 \\ \therefore A(\alpha +k\eta )=A\alpha +kA\eta =b+0=b \end{gathered}$$