当前位置:HOME - 线性代数入门答案 - 4.2 行列式函数

4.2 行列式函数

4.2.1\quad计算下列行列式
\\ 1. 1214012100210003=6.\begin{vmatrix} 1&2&1&4 \\ 0&-1&2&1\\ 0&0&2&-1\\ 0&0&0&3 \end{vmatrix} =-6. \quad 2. 112321014=25.\begin{vmatrix} 1&-1&2 \\ 3&2&1\\ 0&1&4 \end{vmatrix} =25. \quad 3. 1234234134124123=160.\begin{vmatrix} 1&2&3&4 \\ 2&3&4&1\\ 3&4&1&2\\ 4&1&2&3 \end{vmatrix} =160. \quad 4. xyx+yyx+yxx+yxy\begin{vmatrix} x&y&x+y\\ y&x+y&x\\ x+y&x&y \end{vmatrix} 直接用公式计算得 2x32y3-2x^3-2y^3 \quad 5. 1+x11111x11111+y11111y\begin{vmatrix} 1+x&1&1&1\\ 1&1-x&1&1\\ 1&1&1+y&1\\ 1&1&1&1-y \end{vmatrix} =x2y2x^2y^2 \\
4.2.2 设AA是三阶方阵,det(A)=5\det(A)=5,求下列矩阵BB的行列式
\\ 1.B=2A,A,A2,A1B=2A,-A,A^2,A^{-1} \\解:det(2A)=23×5=40det(A)=(1)3×5=5det(A2)=25det(A1)=15\det(2A)=2^3 \times 5=40\quad\det(-A)=(-1)^3\times5=-5\quad\det(A^2)=25\quad\det(A^{-1})=\frac{1}{5} \\ 2.B=[a1Ta3Ta2Ta1Ta3Ta2T],[a1T+a3Ta2T+a1Ta3T+a2T],B=\begin{bmatrix} \bm{a}^\mathrm{T}_1-\bm{a}^\mathrm{T}_3\\ \bm{a}^\mathrm{T}_2-\bm{a}^\mathrm{T}_1\\ \bm{a}^\mathrm{T}_3-\bm{a}^\mathrm{T}_2 \end{bmatrix}, \begin{bmatrix} \bm{a}^\mathrm{T}_1+\bm{a}^\mathrm{T}_3\\ \bm{a}^\mathrm{T}_2+\bm{a}^\mathrm{T}_1\\ \bm{a}^\mathrm{T}_3+\bm{a}^\mathrm{T}_2 \end{bmatrix}, 其中A=[a1Ta2Ta3T].A=\begin{bmatrix} \bm{a}^\mathrm{T}_1\\ \bm{a}^\mathrm{T}_2\\ \bm{a}^\mathrm{T}_3 \end{bmatrix}.\\ 解:\\ 法一:利用倍加行变换. a1Ta3Ta2Ta1Ta3Ta2T=a1Ta3Ta2Ta1Ta1Ta2T=0.\begin{vmatrix} \bm{a}_1^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}-\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=\begin{vmatrix} \bm{a}_1^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_1^{\mathrm{T}}\\ \bm{a}_1^{\mathrm{T}}-\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=0. a1T+a3Ta2T+a1Ta3T+a2T=a1T+a3Ta2Ta3Ta3T+a2T=a1T+a3Ta2Ta3T2a3T=2a1T+a3Ta2Ta3Ta3T=2a1Ta2Ta3T=10.\begin{vmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}+\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}+\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=\begin{vmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}+\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=\begin{vmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ 2\bm{a}_3^{\mathrm{T}}\\ \end{vmatrix}=2\begin{vmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{vmatrix}=2\begin{vmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{vmatrix}=10. 法二: [a1Ta3Ta2Ta1Ta3Ta2T]=[a1Ta2Ta3T][a3Ta1Ta2T]=[111][a1Ta2Ta3T][001100010][a1Ta2Ta3T]=[101110011][a1Ta2Ta3T]\begin{align*} \begin{bmatrix} \bm{a}_1^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}-\bm{a}_2^{\mathrm{T}}\\ \end{bmatrix}&=\begin{bmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{bmatrix}-\begin{bmatrix} \bm{a}_3^{\mathrm{T}}\\ \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \end{bmatrix}\\ &=\begin{bmatrix} 1\\ &1\\ &&1 \end{bmatrix}\begin{bmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{bmatrix}-\begin{bmatrix} 0&0&1\\ 1&0&0\\ 0&1&0 \end{bmatrix}\begin{bmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{bmatrix}\\ &=\begin{bmatrix} 1&0&-1\\ -1&1&0\\ 0&-1&1 \end{bmatrix}\begin{bmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{bmatrix} \end{align*} 所以a1Ta3Ta2Ta1Ta3Ta2T=101110011a1Ta2Ta3T=0.\begin{vmatrix} \bm{a}_1^{\mathrm{T}}-\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}-\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}-\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=\begin{vmatrix} 1&0&-1\\ -1&1&0\\ 0&-1&1 \end{vmatrix}\begin{vmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{vmatrix}=0.\\ 同理[a1T+a3Ta2T+a1Ta3T+a2T]=[101110011][a1Ta2Ta3T].\begin{bmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}+\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}+\bm{a}_2^{\mathrm{T}}\\ \end{bmatrix}=\begin{bmatrix} 1&0&1\\ 1&1&0\\ 0&1&1 \end{bmatrix}\begin{bmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{bmatrix}. 所以 a1T+a3Ta2T+a1Ta3T+a2T=101110011a1Ta2Ta3T=10.\begin{vmatrix} \bm{a}_1^{\mathrm{T}}+\bm{a}_3^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}+\bm{a}_1^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}+\bm{a}_2^{\mathrm{T}}\\ \end{vmatrix}=\begin{vmatrix} 1&0&1\\ 1&1&0\\ 0&1&1 \end{vmatrix}\begin{vmatrix} \bm{a}_1^{\mathrm{T}}\\ \bm{a}_2^{\mathrm{T}}\\ \bm{a}_3^{\mathrm{T}}\\ \end{vmatrix}=10.\\\\
4.2.3
\\ 略. \\
4.2.4\quad 计算det(A)\det(A):
\\ 1.A=[i+j]n×nA=\begin{bmatrix}i+j\end{bmatrix}_{n \times n}\\ 解:若n=1n=1det(A)=2.\det(A)=2.n=2n=2det(A)=2334=1.\det(A)=\begin{vmatrix} 2&3\\ 3&4 \end{vmatrix} =-1.n3n\geq 3det(A)=0\det(A)=0\\ 2.A=[ij]n×nA=\begin{bmatrix}ij\end{bmatrix}_{n \times n}\\ 解:若n=1n=1det(A)=1.\det(A)=1.n2det(A)=0n \geq 2,\det(A)=0 \\
4.2.5\quad 计算111111\begin{vmatrix} 1&-1& & \\ &\ddots&\ddots&\\ &&1&-1\\ -1&&&1 \end{vmatrix} \\
解:行列式为0. \\
4.2.6\quad 计算1+x1y11+x1y21+x1yn1+x2y11+x2y21+x2yn1+xny11+xny21+xnyn\begin{vmatrix} 1+x_1y_1&1+x_1y_2&\cdots&1+x_1y_n\\ 1+x_2y_1&1+x_2y_2&\cdots&1+x_2y_n\\ \vdots&\vdots&&\vdots\\ 1+x_ny_1&1+x_ny_2&\cdots&1+x_ny_n \end{vmatrix}\\
解:原式=(x1x2)y1(x1x2)y2(x1x2)yn(x2x3)y1(x2x3)y2(x2x3)yn1+xny11+xny21+xnyn=0.\begin{vmatrix} (x_1-x_2)y_1&(x_1-x_2)y_2&\cdots&(x_1-x_2)y_n\\ (x_2-x_3)y_1&(x_2-x_3)y_2&\cdots&(x_2-x_3)y_n\\ \vdots&\vdots&&\vdots\\ 1+x_ny_1&1+x_ny_2&\cdots&1+x_ny_n \end{vmatrix} =0.\\
4.2.7\quad 计算a11a1,n1a1na21a2,n10an100.\begin{vmatrix} a_{11}&\cdots&a_{1,n-1}&a_{1n}\\ a_{21}&\cdots&a_{2,n-1}&0\\ \vdots&\ddots&\ddots&\vdots\\ a_{n1}&0&\cdots&0 \end{vmatrix} .\\
解:行变换后可得到下三角矩阵。若nn是偶数,行列式为(1)n2an1an1,2...a1n.(-1)^{\frac{n}{2}}a_{n1}a_{n-1,2}...a_{1n}.nn是奇数,行列式为(1)n12an1an1,2...a1n.(-1)^{\frac{n-1}{2}}a_{n1}a_{n-1,2}...a_{1n}. \\
4.2.8
\\ 略. \\
4.2.9 \quad 证明或举出反例.
\\ 1. ABBAAB-BA的行列式必然是零.\\ 解:不正确。 A=[1111],B=[1110].det(ABBA)=1.A= \begin{bmatrix} 1&1\\ 1&1 \end{bmatrix}, B= \begin{bmatrix} 1&1\\ 1&0 \end{bmatrix}. \det(AB-BA)=1.\\ 2. AA的行列式等于其简化阶梯型的行列式.\\ 解:显然不正确。\\ 3. AAnn阶反对称矩阵,当nn为奇数时,det(A)=0.\det(A)=0.\\ 证明:AT=A,A^\mathrm{T}=-A,于是det(AT)=det(A)=(1)ndet(A).\det(A^\mathrm{T})=\det(-A)=(-1)^n\det(A).\\nn为奇数,det(A)=det(A),\det(A)=-\det(A),det(A)=0.\det(A)=0. 4. AAnn阶反对称矩阵,当nn为偶数时,det(A)=0.\det(A)=0.\\ 解:显然不正确。\\ 5. 如果det(A)>1\lvert \det(A) \rvert >1,那么当nn趋于无穷时,AnA^n中必然有元素的绝对值趋于无穷.\\ 证明:det(A)>1,\lvert \det(A) \rvert >1, 于是 limn+det(An)+.\lim_{n \to +\infty} \det(A^n) \to +\infty.det(An)\det(A^n)是通过对AnA^n中元素进行有限次加法减法和乘法运算得到,这表明AnA^n中一定有元素的绝对值趋于无穷.\\ 6. 如果det(A)<1\lvert \det(A) \rvert <1,那么当nn趋于无穷时,AnA^n中所有元素都趋于0.\\ 解:显然不正确.\\A=[12122],det(A)=12,A= \begin{bmatrix} \frac{1}{2}&&\\ &\frac{1}{2}&\\ &&2 \end{bmatrix}, \det(A)=\frac{1}{2}, An=[2n2n2n],A^n= \begin{bmatrix} 2^{-n}&&\\ &2^{-n}&\\ &&2^n \end{bmatrix}, 其中有元素发散.\\
4.2.10 \quad 以下均为某些学生出现过的错误,请找到错误的原因.\\
1.\\ det(A1)=det(1adbc[dbca])=1(adbc)2det([dbca])=1adbc.\det(A^{-1})=\det(\frac{1}{ad-bc}\begin{bmatrix} d&-b\\ -c&a \end{bmatrix}) =\frac{1}{(ad-bc)^2}\det(\begin{bmatrix} d&-b\\ -c&a \end{bmatrix}) = \frac{1}{ad-bc}.\\ 2.\\ det([ABCD])=det([ABODBA1C])=det(A)det(DBA1C).\det(\begin{bmatrix} A&B\\ C&D \end{bmatrix}) = \det(\begin{bmatrix} A&B\\ O&D-BA^{-1}C \end{bmatrix}) = \det(A)\det(D-BA^{-1}C).\\ 3.\\ AA不是方阵.\\ 4.\\ 不正确,见4.2.9第3,4小问.\\ 5.\\ 略. \\
4.2.11 \quadnn阶方阵AA的对角元素全为0,其他元素全为1,令A=[a1a2an].A=\begin{bmatrix} \bm{a_1}&\bm{a_2}&\cdots&\bm{a_n} \end{bmatrix}.\\
1.求向量u\bm{u},使得ai(i=1,2,...,n)\bm{a_i}(i=1,2,...,n)可以写成ei\bm{e_i}u\bm{u}的线性组合.\\ 2.根据行列式满足列多线性,求det(A).\det(A).\\ 解:\\ 1.\quad u=[111],ai=uei.\bm{u}=\begin{bmatrix} 1\\ 1\\ \vdots\\ 1 \end{bmatrix}, \bm{a_i}=\bm{u}-\bm{e_i}.\\ 2.\quad det(A)=(1)n1(n1).\det(A)=(-1)^{n-1}(n-1). \\
4.2.12-4.2.14.
\\ 略.\\
4.2.15 \quad 用行列式证明奇数阶反对称矩阵不可逆.
\\ 证明见4.2.9第3小问.\\
4.2.16 \quad 证明任意阶可逆矩阵AA都可以只用倍加变换化为diag(1,1,...,1,det(A))\operatorname{diag}(1,1,...,1,\det(A)).
\\ 证明:\\ 显然任意阶可逆矩阵AA都可以只用倍加变换化为对角元均不为零的上三角矩阵。设这个上三角矩阵为[a11a12a1na22a2nann],a11,a22,,ann0.\begin{bmatrix} a_{11}&a_{12}&\cdots&a_{1n}\\ &a_{22}&\cdots&a_{2n}\\ &&\ddots&\vdots\\ &&&a_{nn} \end{bmatrix},a_{11},a_{22},\cdots,a_{nn} \neq 0.\\ 反复利用倍加行变换和倍加列变换,有 [a11a12a1na22a2nann][a1100a111a22a2,n10an1,n10ann][100a111a22a2,n10an1,n10annann][100a111a22a2,n10an1,n100ann+ann(a111)][1000a22a2,n10an1,n10a11ann]\begin{align*} \begin{bmatrix} a_{11}&a_{12}&\cdots&a_{1n}\\ &a_{22}&\cdots&a_{2n}\\ &&\ddots&\vdots\\ &&&a_{nn} \end{bmatrix} &\Rightarrow\begin{bmatrix} a_{11}&0&\cdots&0&a_{11}-1\\ &a_{22}&\cdots&a_{2,n-1}&0\\ &&\ddots&&\vdots\\ &&&a_{n-1,n-1}&0\\ &&&&a_{nn} \end{bmatrix}\\ &\Rightarrow\begin{bmatrix} 1&0&\cdots&0&a_{11}-1\\ &a_{22}&\cdots&a_{2,n-1}&0\\ &&\ddots&&\vdots\\ &&&a_{n-1,n-1}&0\\ -a_{nn}&&&&a_{nn} \end{bmatrix}\\ &\Rightarrow\begin{bmatrix} 1&0&\cdots&0&a_{11}-1\\ &a_{22}&\cdots&a_{2,n-1}&0\\ &&\ddots&&\vdots\\ &&&a_{n-1,n-1}&0\\ 0&&&&a_{nn}+a_{nn}(a_{11}-1) \end{bmatrix}\\ &\Rightarrow\begin{bmatrix} 1&0&\cdots&0&0\\ &a_{22}&\cdots&a_{2,n-1}&0\\ &&\ddots&&\vdots\\ &&&a_{n-1,n-1}&0\\ &&&&a_{11}a_{nn} \end{bmatrix}\\ \end{align*} 以此类推,即可利用倍加变换将上三角矩阵化为diag(1,,1,a11a22ann)=diag(1,,1,det(A)).\operatorname{diag}(1,\cdots,1,a_{11}a_{22}\cdots a_{nn})=\operatorname{diag}(1,\cdots,1,\det(A)).\\
4.2.17 \quad 给定A=[aij]n×nA=[a_{ij}]_{n \times n},而B=[aijcij]n×nB=[a_{ij}c^{i-j}]_{n \times n},其中c0.c \neq 0.证明det(A)=det(B).\det(A)=\det(B).\\
证明: det(B)=a11a12c1a1ncn+1a21ca22a2ncn+2an1cn1ann=cn(n1)2a11a12c1a13c2a1ncn+1a21a22c1a23c2a2ncn+1an1anncn+1=cn(n1)2n(n1)2a11a12a1na21a22a2nan1an2ann=det(A)\begin{align*} \det(B)&=\begin{vmatrix} a_{11}&a_{12}c^{-1}&\cdots&a_{1n}c^{-n+1}\\ a_{21}c&a_{22}&\cdots&a_{2n}c^{-n+2}\\ \vdots&\vdots&\vdots&\vdots\\ a_{n1}c^{n-1}&\cdots&&a_{nn} \end{vmatrix}\\ &= c^{\frac{n(n-1)}{2}}\begin{vmatrix} a_{11}&a_{12}c^{-1}&a_{13}c^{-2}&\cdots&a_{1n}c^{-n+1}\\ a_{21}&a_{22}c^{-1}&a_{23}c^{-2}&\cdots&a_{2n}c^{-n+1}\\ \vdots&\vdots&&\vdots&\vdots\\ a_{n1}&\cdots&&&a_{nn}c^{-n+1} \end{vmatrix}\\ &= c^{\frac{n(n-1)}{2}-\frac{n(n-1)}{2}}\begin{vmatrix} a_{11}&a_{12}&\cdots&a_{1n}\\ a_{21}&a_{22}&\cdots&a_{2n}\\ \vdots&\vdots&\vdots&\vdots\\ a_{n1}&a_{n2}&\cdots&a_{nn} \end{vmatrix}\\ &= \det(A) \end{align*}
4.2.18 \quad 给定n1n-1个互不相同的数a1,a2,...,an1a_1,a_2,...,a_{n-1},令P(x)=1xxn11a1a1n11an1an1n1.P(x)=\begin{vmatrix} 1&x&\cdots&x^{n-1}\\ 1&a_1&\cdots&a_{1}^{n-1}\\ \vdots&\vdots&&\vdots\\ 1&a_{n-1}&\cdots&a_{n-1}^{n-1} \end{vmatrix}. 证明P(x)P(x)是一个关于xxn1n-1次多项式,并求P(x)P(x)n1n-1个根。
\\ 证明:\\ 此即Vandermonde矩阵(见p.171),于是P(x)=(a1x)(a2x)...(an1x)1j<in1(aiaj).P(x)=(a_1-x)(a_2-x)...(a_{n-1}-x)\prod_{1\leq j < i \leq n-1}(a_i-a_j).P(x)P(x)是关于xxn1n-1次多项式,多项式的根是a1,a2,...,an1.a_1,a_2,...,a_{n-1}.\\
4.2.19 \quadfi(x)f_i(x)ii次多项式,i=0,1,2,...,n1i=0,1,2,...,n-1,其首项系数是aia_i.又设b0,b1,...,bn1b_0,b_1,...,b_{n-1}nn个数,计算如下的nn阶行列式:
\\ f0(b0)f0(b1)f0(bn1)f1(b0)f1(b1)f1(bn1)fn1(b0)fn1(b1)fn1(bn1).\begin{vmatrix} f_0(b_0)&f_0(b_1)&\cdots&f_0(b_{n-1})\\ f_1(b_0)&f_1(b_1)&\cdots&f_1(b_{n-1})\\ \vdots&\vdots&&\vdots\\ f_{n-1}(b_0)&f_{n-1}(b_1)&\cdots&f_{n-1}(b_{n-1}) \end{vmatrix} . 证明:\\ 原式=a0a0a0a1b0a1b1a1bn1a2b02a2b12a2bn12an1b0n1an1b1n1an1bn1n1=a0a1...an1111b0b1bn1b02b12bn12b0n1b1n1bn1n1\begin{vmatrix} a_0&a_0&\cdots&a_0\\ a_1b_0&a_1b_1&\cdots&a_1b_{n-1}\\ a_2b_0^2&a_2b_1^2&\cdots&a_2b_{n-1}^2\\ \vdots&\vdots&&\vdots\\ a_{n-1}b_0^{n-1}&a_{n-1}b_1^{n-1}&\cdots&a_{n-1}b_{n-1}^{n-1} \end{vmatrix} = a_0a_1...a_{n-1}\begin{vmatrix} 1&1&\cdots&1\\ b_0&b_1&\cdots&b_{n-1}\\ b_0^2&b_1^2&\cdots&b_{n-1}^2\\ \vdots&\vdots&&\vdots\\ b_0^{n-1}&b_1^{n-1}&\cdots&b_{n-1}^{n-1} \end{vmatrix}\\ 右边即为著名的Vandermonde矩阵,于是原式=a0a1...an11j<in1(bibj).a_0a_1...a_{n-1}\prod_{1 \leq j < i \leq n-1}(b_i-b_j).\\
4.2.20
\\ 略.\\
4.2.21
\\ 见4.2.10第2小问.\\
4.2.22 \quadAA,BBnn阶方阵,证明,det([ABBA])=det(A+B)det(AB).\det(\begin{bmatrix} A&B\\ B&A \end{bmatrix})=\det(A+B)\det(A-B).\\
证明:\\ ABBA=行变换A+BB+ABA=列变换A+BOBAB=det(A+B)det(AB).\begin{vmatrix} A&B\\ B&A \end{vmatrix} \overset{\text{行变换}}{=} \begin{vmatrix} A+B&B+A\\ B&A \end{vmatrix} \overset{\text{列变换}}{=} \begin{vmatrix} A+B&O\\ B&A-B \end{vmatrix} = \det(A+B)\det(A-B). \\
4.2.23 \quadA,BA,B分别是m×n,n×mm \times n,n \times m矩阵,证明det(Im+AB)=det(In+BA).\det(I_m+AB)=\det(I_n+BA).由此推出,Im+ABI_m+AB可逆当且仅当In+BAI_n+BA可逆.
\\ 此即著名的Sylvester等式,由J. J. Sylverster提出,有多种证明方法。\\
证法1:
\\ 注意到[InBAIm][InBOIm]=[InOAAB+Im].\begin{bmatrix} I_n&-B\\ A&I_m \end{bmatrix} \begin{bmatrix} I_n&B\\ O&I_m \end{bmatrix} = \begin{bmatrix} I_n&O\\ A&AB+I_m \end{bmatrix}. [InBOIm][InBAIm]=[In+BAOAIm]. \begin{bmatrix} I_n&B\\ O&I_m \end{bmatrix} \begin{bmatrix} I_n&-B\\ A&I_m \end{bmatrix} = \begin{bmatrix} I_n+BA&O\\ A&I_m \end{bmatrix}. 于是det([InBAIm])det([InBOIm])=det([InOAAB+Im])=det(Im+AB).\det(\begin{bmatrix} I_n&-B\\ A&I_m \end{bmatrix}) \cdot \det(\begin{bmatrix} I_n&B\\ O&I_m \end{bmatrix}) = \det(\begin{bmatrix} I_n&O\\ A&AB+I_m \end{bmatrix}) = \det(I_m+AB). det([InBOIm])det([InBAIm])=det([In+BAOAIm])=det(In+BA). \det(\begin{bmatrix} I_n&B\\ O&I_m \end{bmatrix}) \cdot \det(\begin{bmatrix} I_n&-B\\ A&I_m \end{bmatrix}) = \det(\begin{bmatrix} I_n+BA&O\\ A&I_m \end{bmatrix}) = \det(I_n+BA). det(Im+AB)=det(In+BA)\det(I_m+AB)=\det(I_n+BA)
证法2:
\\ 注意到det([ImABIn])=行变换det([Im+ABOBIn])=det(Im+AB). \det(\begin{bmatrix} I_m&-A\\ B&I_n \end{bmatrix}) \overset{\text{行变换}}{=} \det(\begin{bmatrix} I_m+AB&O\\ B&I_n \end{bmatrix}) = \det(I_m+AB). det([ImABIn])=列变换det([ImOBIn+BA])=det(In+BA). \det(\begin{bmatrix} I_m&-A\\ B&I_n \end{bmatrix}) \overset{\text{列变换}}{=} \det(\begin{bmatrix} I_m&O\\ B&I_n+BA \end{bmatrix}) = \det(I_n+BA). det(Im+AB)=det(In+BA)\det(I_m+AB)=\det(I_n+BA) \\
4.2.24 \quad 计算
1+a12a1a2a1ana2a11+a22a2anana1ana21+an2.\begin{vmatrix} 1+a_1^2&a_1a_2&\cdots&a_1a_n\\ a_2a_1&1+a_2^2&\cdots&a_2a_n\\ \vdots&\vdots&&\vdots\\ a_{n}a_1&a_{n}a_2&\cdots&1+a_n^2 \end{vmatrix}.\\ 解:\\a=[a1a2an].\bm{a}=\begin{bmatrix} a_1\\a_2\\ \vdots\\a_n \end{bmatrix}.由4.2.23得到的Sylvester等式,原式= det(In+aaT)=det(1+aTa)=1+a12+a22+...+an2.\det(I_n+\bm{a}\bm{a}^\mathrm{T})=\det(1+\bm{a}^\mathrm{T}\bm{a})=1+a_1^2+a_2^2+...+a_n^2.
4.2.25 \quadAA是是三阶矩阵,已知det(AI3)=det(A2I3)=det(A3I3)=0.\det(A-I_3)=\det(A-2I_3)=\det(A-3I_3)=0.
\\ 1.证明存在非零向量v1,v2,v3,\bm{v}_1,\bm{v}_2,\bm{v}_3,满足Avi=ivi,i=1,2,3.A\bm{v}_i=i\bm{v}_i,i=1,2,3.\\ 2.设k1v1+k2v2+k3v3=0k_1\bm{v}_1+k_2\bm{v}_2+k_3\bm{v}_3=\bm{0},证明k1v1+2k2v2+3k3v3=0,k1v1+4k2v2+9k3v3=0.k_1\bm{v}_1+2k_2\bm{v}_2+3k_3\bm{v}_3=\bm{0},k_1\bm{v}_1+4k_2\bm{v}_2+9k_3\bm{v}_3=\bm{0}.\\ 3.证明存在可逆Vandermonde矩阵,使得[k1v1k2v2k3v3]V=O.\begin{bmatrix} k_1\bm{v}_1&k_2\bm{v}_2&k_3\bm{v}_3 \end{bmatrix}V=O.\\ 4.证明v1,v2,v3\bm{v}_1,\bm{v}_2,\bm{v}_3构成R3\mathbb{R}^3的一组基,因此矩阵B=[v1v2v3]B=\begin{bmatrix} \bm{v}_1&\bm{v}_2&\bm{v}_3 \end{bmatrix}可逆.\\ 5.证明存在对角矩阵DD,使得AB=BDAB=BD,并计算det(A).\det(A).\\ 证明:\\ 1. Avi=ivi(AiI3)vi=0,i=1,2,3A\bm{v}_i=i\bm{v}_i\Rightarrow (A-iI_3)\bm{v}_i=0,i=1,2,3 由题可知AiI3A-iI_3均不可逆,(AiI3)vi=0(A-iI_3)\bm{v}_i=0存在非零解.于是存在非零向量v1,v2,v3,\bm{v}_1,\bm{v}_2,\bm{v}_3,满足Avi=ivi,i=1,2,3.A\bm{v}_i=i\bm{v}_i,i=1,2,3.\\ 2. k1v1+2k2v2+3k3v3=k1Av1+k2Av2+k3Av3=A(k1v1+k2v2+k3v3)=0. k_1\bm{v}_1+2k_2\bm{v}_2+3k_3\bm{v}_3=k_1A\bm{v}_1+k_2A\bm{v}_2+k_3A\bm{v}_3=A(k_1\bm{v}_1+k_2\bm{v}_2+k_3\bm{v}_3)=\bm{0}. k1v1+4k2v2+9k3v3=k1A2v1+k2A2v2+k3A2v3=A2(k1v1+k2v2+k3v3)=0. k_1\bm{v}_1+4k_2\bm{v}_2+9k_3\bm{v}_3=k_1A^2\bm{v}_1+k_2A^2\bm{v}_2+k_3A^2\bm{v}_3=A^2(k_1\bm{v}_1+k_2\bm{v}_2+k_3\bm{v}_3)=\bm{0}. 3.\\ 显然存在,V=[111124139].V=\begin{bmatrix} 1&1&1\\ 1&2&4\\ 1&3&9 \end{bmatrix}.\\ 4.\\ 由2得,k1v1=k2v2=k3v3=0k_1\bm{v}_1=k_2\bm{v}_2=k_3\bm{v}_3=\bm{0},而v1,v2,v30\bm{v}_1,\bm{v}_2,\bm{v}_3 \neq \bm{0},所以k1=k2=k3=0k_1=k_2=k_3=0,即BB可逆.\\ 5.\\ D=[123].det(A)=6.D=\begin{bmatrix} 1&&\\ &2&\\ &&3 \end{bmatrix}.\quad \det(A)=6.\\
4.2.26 \quad 对函数f(t)=det(In+tA)f(t)=\det(I_n+tA)t=0t=0处求导。设A=[a1a2an]A=\begin{bmatrix} \bm{a}_1&\bm{a}_2&\cdots&\bm{a}_n \end{bmatrix},则In+tAI_n+tA的第ii列是ei+tai.\bm{e}_i+t\bm{a}_i.\\
1.当n=1,2,3n=1,2,3时,用AA的元素表示f(0)f^{'}(0);分析其规律,求f(0)f^{'}(0)的一般表达式.\\ 2.利用det(In+AB)=det(Im+BA)\det(I_n+AB)=\det(I_m+BA),证明trace(AB)=trace(BA).\operatorname{trace}(AB)=\operatorname{trace}(BA).\\ 1.解:\\n=1,f(0)=a11.n=1,f^{'}(0)=a_{11}.n=2,f(0)=a11+a22.n=2,f^{'}(0)=a_{11}+a_{22}.n=3,f(0)=a11+a22+a33.n=3,f^{'}(0)=a_{11}+a_{22}+a_{33}.\\ 由导数定义,f(0)=limΔt0det(In+ΔtA)det(In)Δt=limΔt01+a11Δt+a22Δt++annΔt+o(Δt)1Δt=trace(A)\begin{align*} f^{'}(0)&=\lim_{\Delta t \to 0}\cfrac{\det(I_n+\Delta t A)-\det(I_n)}{\Delta t}\\ &=\lim_{\Delta t \to 0}\cfrac{1+a_{11}\Delta t+a_{22}\Delta t+\cdots+a_{nn}\Delta t+o(\Delta t)-1}{\Delta t}\\ &=\operatorname{trace}(A) \end{align*} 于是f(0)=trace(A).f^{'}(0)=\operatorname{trace}(A).\\ 2.证明:\\det(In+tAB)=det(Im+tBA)\det(I_n+tAB)=\det(I_m+tBA)两边同时求导立得.\\
4.2.27\quadAAm×nm \times n矩阵,任取其中的kk行和kk列,其交叉点的元素组成的kk阶方阵的行列式称为AA的一个kk阶子式. 定义rankdet(A)=max{k|A有非零的k阶子式}.\operatorname{rank}_{\det}(A)=\text{$max$\{$k$|$A$有非零的$k$阶子式\}}.证明,rankdet(A)=rank(A).\operatorname{rank}_{\det}(A)=\operatorname{rank}(A).\\
证明:\\rank(A)=r\operatorname{rank}(A)=r,则AA中最多只能取得rr个线性无关的列向量。由于行秩等于列秩,这rr个线性无关的列向量中最多也只能取到rr个线性无关的行向量。这说明AA中最多只能得到rr阶非零子式。于是命题显然成立。\\
4.2.28\quad Hadamard不等式
\\ 1.利用QR分解证明,对任意kk阶矩阵T=[t1t2tn]T=\begin{bmatrix} \bm{t}_1&\bm{t}_2&\cdots&\bm{t}_n \end{bmatrix}det(T)t1t2tn.\vert{\det(T)}\vert\leq \Vert{\bm{t}_1}\Vert\Vert{\bm{t}_2}\Vert\cdots\Vert{\bm{t}_n}\Vert.\\ 2.证明Hadamard矩阵使等号成立.\\ 1.证明:\\ T=Qdiag(qi)R.T=Q\operatorname{diag}(\Vert{\bm{q_i}}\Vert)R. 其中,QQ是正交矩阵,RR是对角元均为1的上三角阵.\\ 所以det(T)=1inqi.\vert{\det(T)}\vert=\prod_{1 \leq i \leq n}\Vert{\bm{q}_i}\Vert. 由于qi\bm{q}_i是列向量ti\bm{t}_i垂直于q1,q2,,qn1\bm{q}_1,\bm{q}_2,\cdots,\bm{q}_{n-1}的分量,于是qiti,\Vert \bm{q}_i \Vert \leq \Vert \bm{t}_i \Vert,等号成立当且仅当ti\bm{t}_i垂直于t1,t2,...ti1.\bm{t}_1,\bm{t}_2,...\bm{t}_{i-1}.det(T)=1inqit1t2tn.\vert{\det(T)}\vert=\prod_{1 \leq i \leq n}\Vert{\bm{q}_i}\Vert \leq \Vert{\bm{t}_1}\Vert\Vert{\bm{t}_2}\Vert\cdots\Vert{\bm{t}_n}\Vert. 2.证明:\\Hadamard矩阵列向量相互垂直,于是等号成立。\\
4.2.29
\\ 显然.\\
4.2.30-31
\\ 略.