高等工程数学（张韵华，汪琥庭，宋立功）—— 第一篇：线性代数

第一篇：线性代数

https://zhuanlan.zhihu.com/p/80690520 公式链接1

第二章：线性空间

第1题和第3题，第3题点题了。

1. 证明 $:\mathrm{rank}\left(A^{\mathrm{T}}A\right)=\mathrm{rank}(A)$.

   证明：$设x_1是Ax=0的解，则A{x}_1=0;A^{T}A{x}_1=A^T(A{x}_1)=A^T\ast 0=0$.

   因为$x_1是A^{T}A{x}_1的解，故Ax=0的解也是A^{T}Ax=0的解$.

   $设x_2是A^{T}Ax=0的解，则A^{T}A{x}_2=0，所以x_2^T(A^{T}A{x}_2)=(x_{2}A{)}^T(A{x}_2)=0$.

   所以：$A{x}_2=0,故x_2是Ax=0的解，故A^{T}Ax=0的解也是Ax=0的解$.

   综上：$Ax=0和A^{T}Ax=0是同解方程组，所以n-r(A)=n-r(A^{T}A),故r(A)=r(A^{T}A)$.

   

2. 设 ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,{\mathbf{\alpha }}_3$ 线性无关. 证明 $:{\mathbf{\beta }}_1={\mathbf{\alpha }}_1,{\mathbf{\beta }}_2={\mathbf{\alpha }}_1+{\mathbf{\alpha }}_2,{\mathbf{\beta }}_3={\mathbf{\alpha }}_1+{\mathbf{\alpha }}_2+{\mathbf{\alpha }}_3$ 也线性无关.

   $k_1{\beta }_1+k_2{\beta }_2+k_3{\beta }_3=(k_1+k_2+k_3){\alpha }_1+(k_2+k_3){\alpha }_2+k_3{\alpha }_3$.

   因为${\alpha }_1,{\alpha }_2,{\alpha }_3,线性无关,所以不存在不全为0的l_1,l_2,l_3，使得l_1{\alpha }_1+l_2{\alpha }_2+l_3{\alpha }_3=0$，假设${\beta }_1,{\beta }_2,{\beta }_3$线性相关，则存在$k_1,k_2,k_3$,不全为零使得$k_1{\beta }_1+k_2{\beta }_2+k_3{\beta }_3=(k_1+k_2+k_3){\alpha }_1+(k_2+k_3){\alpha }_2+k_3{\alpha }_3=0$.与已知的矛盾。故${\beta }_1,{\beta }_2,{\beta }_3$线性无关。

   行列式值法

3. 设非齐次线性方程组 $A_{m\times n}x=b(b\ne 0)$ 有解, rank $(A)=r$。$${\eta }_1,{\eta }_2,\cdots ,{\eta }_{n-r}$$ 是 $Ax=0$
   的基础解系, $\mathbf{\beta }$ 是 $A_{m\times n}x=b$ 的某个解.证明 : 向量组 $\mathbf{\beta },{\mathbf{\eta }}_1,{\mathbf{\eta }}_2,\cdots ,{\mathbf{\eta }}_{n-r}$ 线性无关.

   证明：

   $k\beta +k_1{\eta }_1+k_2{\eta }_2+....+k_{n-r}{\eta }_{n-r}=0$.等式两边左乘A得到$kA\beta +k_{1}A{\eta }_1+k_{2}A{\eta }_2+....+k_{n-r}A{\eta }_{n-r}=0$

   由已知得到$kA\beta =kb=0$,（这里等于0是因为前面的$kA\beta +k_{1}A{\eta }_1+k_{2}A{\eta }_2+....+k_{n-r}A{\eta }_{n-r}=0$）由于$b\ne 0,所以k=0,所以k_1{\eta }_1+k_2{\eta }_2+....+k_{n-r}{\eta }_{n-r}=0$,由因为${\mathbf{\eta }}_1,{\mathbf{\eta }}_2,\cdots ,{\mathbf{\eta }}_{n-r}$，线性无关，所以$k_1=k_2=...=k_{n-r}=0$,所以向量组 $\mathbf{\beta },{\mathbf{\eta }}_1,{\mathbf{\eta }}_2,\cdots ,{\mathbf{\eta }}_{n-r}$ 线性无关.

4. 设 $A$ 是 $n$ 阶方阵, $\mathbf{\eta }$ 是 $n$ 维列向量,若存在正整数 $k$ 使得 $A^k\mathbf{\eta }=0,$ 但 $A^{k-1}\mathbf{\eta }\ne 0,$ 证 明: 向量组 $\mathbf{\eta },\mathbf{A}\mathbf{\eta },\cdots ,{\mathbf{A}}^{k-1}\mathbf{\eta }$ 线性无关.

   证明：设有常数${\lambda }_0,{\lambda }_1,{\lambda }_2....{\lambda }_{k-1}$使得${\lambda }_0\eta +{\lambda }_{1}A\eta +....{\lambda }_{k-1}{A}^{k-1}\eta =0$.

   从而有$A^{k-1}({\lambda }_0\eta +{\lambda }_{1}A\eta +....{\lambda }_{k-1}{A}^{k-1}\eta )=0$

   从而${\lambda }_0{A}^{k-1}\eta =0$，由题设$A^{k-1}\mathbf{\eta }\ne 0$，所以${\lambda }_0=0$

   类似可证${\lambda }_1={\lambda }_2....={\lambda }_{k-1}=0$，所以向量组 $\mathbf{\eta },\mathbf{A}\mathbf{\eta },\cdots ,{\mathbf{A}}^{k-1}\mathbf{\eta }$ 线性无关.