一个线性方程组的问题

几天前看到一个线性方程组的问题。不论形式如何变化，终归是线性方程组。只是，把看上去陌生的问题、转换成采用特定熟悉的模式能够解决的问题而已。

CSDN博客方便用$\LaTeX$,不妨再把公式写一遍。

方程组（红色的是未知数，要求的是红色部分）：

$$\left[ \begin{array}{ccc} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \\ \end{array} \right]\cdot \left[ \begin{array}{ccc} \color{red}{x_1}\\ x_2 \\ \color{red}{x_3} \\ \end{array} \right]= \left[ \begin{array}{ccc} b_1\\ \color{red}{b_2}\\ b_3 \\ \end{array} \right]$$

本质上，仍然是三个（需要相互独立的）一次或线性方程、三个未知变量的线性方程组的问题。所以，求解方法仍然是线性的即可，而实际上，对于变量较少 情况下，这样规模的方程组，通常直接用Mathematica的Solve应该也可以求解。不过，想要用更高效的LinearSolve只能从特定形式出发。

上面的线性方程组等价和同解于如下的线性方程组：

$$\left[ \begin{array}{ccc} a_{11} & 0 & a_{13} \\ a_{21} & -1 & a_{23} \\ a_{31} & 0 & a_{33} \\ \end{array} \right]\cdot \left[ \begin{array}{ccc} \color{red}{x_1}\\ \color{red}{b_2} \\ \color{red}{x_3} \\ \end{array} \right]= \left[ \begin{array}{r} b_1-a_{12}x_2\\ -a_{22}x_2\\ b_3-a_{32}x_2 \\ \end{array} \right]$$
从而可以用标准的线性代数方程组的求解模式来实现。

下面贴图中所用的求解方法本质上其实类似，不过看上去稍微繁琐了些。

两种解法都能推广到分块矩阵的情形；前一种方法的 $0$ 应该变成相应维数的$0$分块矩阵，$-1$对应于带负号的单位阵。