3.3 克拉默法则、体积和线性变换（第三章 行列式）

主要内容

本节讲述了行列式的一些应用。首先是利用克拉默法则去求解线性方程的解，接着，以克拉默法则为基础，引出一种求矩阵的逆的方法。最后讲述了从几何意义上去理解行列式，行列式代表了矩阵围成的平行四边形或平行六面体的面积或体积，并可以通过行列式关联线性变换前后的区域面积或体积。

克拉默法则

为描述方便，首先做一个约定：

对任意$n\times n$矩阵$A$和任意的${\mathbb{R}}^n$中向量$\mathbf{b}$，令$A_i(\mathbf{b})$表示$A$中第$i$列由向量$\mathbf{b}$替换得到的矩阵：
$$A_i(\mathbf{b})=\left[\begin{array}{ccccc}{\mathbf{a}}_1& \cdots & \mathbf{b}& \cdots & {\mathbf{a}}_n\end{array}\right]$$

克拉默法则：

设$A$是一个可逆的矩阵$n\times n$矩阵，对${\mathbb{R}}^n$中任意向量$\mathbf{b}$，方程$A\mathbf{x}=\mathbf{b}$的唯一解可由下式给出：
$$x_i=\frac{det{A}_i(\mathbf{b})}{detA},i=1,2,\cdots ,n$$

证明：

用${\mathbf{a}}_i$表示$A$的列，用${\mathbf{e}}_i$表示单位矩阵$\mathbf{I}$的列。若$A\mathbf{x}=\mathbf{b}$，则由矩阵乘法的定义有：
$$A{\mathbf{I}}_i(\mathbf{x})=A\left[\begin{array}{ccccc}{\mathbf{e}}_1& \cdots & \mathbf{x}& \cdots & {\mathbf{e}}_n\end{array}\right]=\left[\begin{array}{ccccc}A{\mathbf{e}}_1& \cdots & A\mathbf{x}& \cdots & A{\mathbf{e}}_n\end{array}\right]$$
由于$A{\mathbf{e}}_i={\mathbf{a}}_i$，所以，
$$A{\mathbf{I}}_i(\mathbf{x})=\left[\begin{array}{ccccc}{\mathbf{a}}_1& \cdots & \mathbf{b}& \cdots & {\mathbf{a}}_n\end{array}\right]=A_i(\mathbf{b})$$
由上节中提到的行列式乘法法则有：
$$(detA)(det{\mathbf{I}}_i(\mathbf{x}))=det{A}_i(\mathbf{b})$$
另一方面，明显的，$det{\mathbf{I}}_i(\mathbf{x})=x_i$（沿着${\mathbf{I}}_i(\mathbf{x})$的第$i$行作余因子进行计算就可得到该结论），所以：
$$(detA)x_i=det{A}_i(\mathbf{b})$$
由于$A$可逆，从而$detA\ne 0$，两边同时除去$detA$，得证。

例：

利用克拉默法则解方程组：
$$\begin{array}{rl}3x_1-2x_2& =6\\ -5x_1+4x_2& =8\end{array}$$

解：

根据上述约定，得知：
$$A_1(\mathbf{b})=\left[\begin{array}{cc}6& -2\\ 8& 4\end{array}\right],A_2(\mathbf{b})=\left[\begin{array}{cc}3& 6\\ -5& 8\end{array}\right]$$
根据克拉默法则：
$$\begin{array}{r}{x}_1=\frac{det{A}_1(\mathbf{b})}{detA}=20\\ x_2=\frac{det{A}_2(\mathbf{b})}{detA}=27\end{array}$$

伴随矩阵求矩阵的逆

这里引出一个由克拉默法则求矩阵逆的方法。

考虑一个$n\times n$的矩阵$A$，要求$A$的逆矩阵$A^{-1}$。

推导：

显然，如果$A^{-1}$存在，那么有：
$$A{A}^{-1}=\mathbf{I}$$
假设$A^{-1}$的第$j$列为${\mathbf{x}}_j$，那么有：
$$A\left[\begin{array}{cccc}{\mathbf{x}}_1& {\mathbf{x}}_2& \cdots {\mathbf{x}}_j& \cdots {\mathbf{x}}_n\end{array}\right]=\mathbf{I}$$
根据矩阵乘法的定义，有：
$$\left[\begin{array}{cccc}A{\mathbf{x}}_1& A{\mathbf{x}}_2& \cdots A{\mathbf{x}}_j& \cdots A{\mathbf{x}}_n\end{array}\right]=\mathbf{I}$$
明显的，对于上式左边的第$j$列，有：
$$A{\mathbf{x}}_j={\mathbf{e}}_j$$
根据克拉默法则，对于向量${\mathbf{x}}_j$中的第$i$个元素$x_{ij}$，有：
$$x_{ij}=\frac{det{A}_i({\mathbf{e}}_j)}{detA}$$
$det{A}_i({\mathbf{e}}_j)$的意思就是，用${\mathbf{e}}_j$去代替矩阵$A$中的第$i$列。那么我们按照$A_i({\mathbf{e}}_j)$的第$i$列去做余因子展开，有：
$$det{A}_i({\mathbf{e}}_j)=(-1{)}^{i+j}detAji=C_{ji}$$
根据上述规律，可以求得$A^{-1}$的每一个元素，如下式所示：
$$A^{-1}=\frac{1}{detA}\left[\begin{array}{cccc}{C}_{11}& C_{21}& \cdots & C_{n1}\\ C_{12}& C_{22}& \cdots & C_{n2}\\ \cdots & & & \\ C_{1n}& C_{2n}& \cdots & C_{nn}\end{array}\right]$$
该余因子矩阵称为$A$的伴随矩阵，记为$adjA$。

行列式和面积/体积

这里仅讨论${\mathbb{R}}^2$和${\mathbb{R}}^3$中的面积和体积问题。

定理：

若$A$是一个$2\times 2$矩阵，则由$A$的列确定的平行四边形的面积为$|detA|$。若$A$是一个$3\times 3$矩阵，则由$A$的列确定的平行六面体的体积为$|detA|$。

下面以${\mathbb{R}}^2$为例证明。
证：

a. 若$A$为2阶矩阵，定理显然成立。

$\left|\det \left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\right|=|ad|=area$

b. 对于$A$不为对角矩阵的情况，基于a的事实，我们只需证明$A=\left[\begin{array}{cc}{\mathbf{a}}_1& {\mathbf{a}}_2\end{array}\right]$能变换成一个对角矩阵，变换时既不改变相应的平行四边形面积，又不改变$\left|detA\right|$。

c. 由上节可以知道，列倍加变换和列交换不会改变行列式的绝对值，而这样的变换足以将矩阵$A$变换为对角矩阵。

d. 要证明面积的等价性，就要证明矩阵$A$在通过列倍加变换和列交换变换到对角矩阵的过程中，不会改变列向量构成的平行四边形面积。
d-1. 对于列交换，只是交换两个向量的位置，显然不会改变对应的平行四边形面积。
d-2. 对于列倍加变换，就要证明${\mathbf{a}}_1$，${\mathbf{a}}_2$组成的平行四边形面积，和${\mathbf{a}}_1$，${\mathbf{a}}_2+c{\mathbf{a}}_1$组成的平行四边形的面积相等。这点通过下图可以得知成立（${\mathbf{a}}_2$和${\mathbf{a}}_2+c{\mathbf{a}}_1$到${\mathbf{a}}_1$所在的直线$L$的垂线距离是相等的）：

得证。

线性变换

通过行列式，可以把线性变换前后各个点组成的几何图形的面积和体积的关系联系起来。
定理：

设$\mathbf{T}:{\mathbb{R}}^2\to {\mathbb{R}}^2$是一个$2\times 2$矩阵$A$确定的线性变换，若$S$是${\mathbb{R}}^2$中一个平行四边形，则：
$$areaof\mathbf{T}(S)=\left|detA\right|\cdot areaofS$$
也就是说，$\mathbf{T}(S)$的面积等于$A$的行列式乘以$S$的面积。
类似的，若$\mathbf{T}$是一个由$3\times 3$矩阵$A$确定的线性变换，而$S$是${\mathbb{R}}^3$中的一个平行六面体，则有：
$$volumeof\mathbf{T}(S)=\left|detA\right|\cdot volumeofS$$

证：

仅以${\mathbb{R}}^2$到${\mathbb{R}}^2$的线性变换为例。
假设变换$\mathbf{T}$对应的矩阵$A=\left[\begin{array}{cc}{\mathbf{a}}_1& {\mathbf{a}}_2\end{array}\right]$。
考虑$S$中一个顶点在原点的平行四边形，这个平行四边形由向量${\mathbf{b}}_1$和${\mathbf{b}}_2$确定，这个平行四边形中的所有点由下列表达式表示：
S = { s 1 b 1 + s 2 b 2 : 0 ≤ s 1 ≤ 1 ,   0 ≤ s 2 ≤ 1 } S=\{s_1\boldsymbol b_1 + s_2\boldsymbol b_2:0\leq s_1\leq 1,\ 0\leq s_2 \leq 1\} S={s1​b1​+s2​b2​:0≤s1​≤1, 0≤s2​≤1}
这些点在$\mathbf{T}$的作用下的像由以下形式的点组成：
$$\mathbf{T}(s_1{\mathbf{b}}_1+s_2{\mathbf{b}}_2)=s_1\mathbf{T}({\mathbf{b}}_1)+s_2\mathbf{T}({\mathbf{b}}_2)=s_{1}A{\mathbf{b}}_1+s_{2}A{\mathbf{b}}_2$$
由以上表达式可知，$\mathbf{T}(S)$是由矩阵$\left[\begin{array}{cc}A{\mathbf{b}}_1& A{\mathbf{b}}_2\end{array}\right]$的列组成的平行四边形，把矩阵$B$记作$\left[\begin{array}{cc}{\mathbf{b}}_1& {\mathbf{b}}_2\end{array}\right]$。
由本节前面的知识，$\mathbf{T}(S)$的面积是$\left|detAB\right|$，而：
$$\left|detAB\right|=\left|detA\right|\cdot \left|detB\right|=\left|detA\right|\cdot areaofS$$

对于顶点不在原点的平行四边形，都可以认为是由顶点在原点的平行四边形平移过去的，因此也满足该定理。

该面积/体积定理还可以推广到任何一种几何形状（利用微积分的思想，化成无数多个小平行四边形的积分）。

例：

若$a$，$b$是正数，求由方程为$\frac{x_1^2}{a^2}+\frac{x_2^2}{b^2}=1$的椭圆为边界的区域$E$的面积。

解：

我们可以把$E$看作单位圆盘$D$在线性变换$\mathbf{T}$下的像，这里，$\mathbf{T}$由矩阵$\left[\begin{array}{cc}a& 0\\ 0& b\end{array}\right]$确定。这是因为若在原空间中有一个向量$\mathbf{u}=\left[\begin{array}{c}{u}_1\\ u_2\end{array}\right]$，变换后的向量为$\mathbf{x}=\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]$，则：
$${\mathbf{u}}_1=\frac{x_1}{a},{\mathbf{u}}_2=\frac{x_2}{b}$$
当$\mathbf{u}$在单位圆盘内时，即满足$u_1^2+u_2^2\le 1$时，$(\frac{x_1}{a}{)}^2+(\frac{x_2}{b}{)}^2\le 1$，所以，变换后的椭圆形内的面积，可以转化成原始空间中圆的面积：$\left|detA\right|\cdot areaofD=a\cdot b\cdot \pi (1{)}^2=\pi ab$