设 $A=(a_{ij})_{n\times n}$ 是相容非齐次方程组

的系数矩阵，且 $\operatorname{rank}A=r$。

1. 证明方程组有 $n-r+1$ 个线性无关的解向量；
2. 用两种形式表示通解。