Simultaneous Linear Equations has Unique Solution iff Rank of Matrix of Coefficients equals Number of Columns

Theorem

Let $S$ be a system of $m$ simultaneous linear equations in $n$ variables:

$\ds \forall i \in \set {1, 2, \ldots, m} : \sum_{j \mathop = 1}^n \alpha_{i j} x_j = \beta_i$

Let $S$ be expressed in matrix form as:

$\mathbf A \mathbf x = \mathbf b$

where:

$\mathbf A = \begin {pmatrix} \alpha_{1 1} & \alpha_{1 2} & \cdots & \alpha_{1 n} \\ \alpha_{2 1} & \alpha_{2 2} & \cdots & \alpha_{2 n} \\ \vdots & \vdots & \ddots & \vdots \\ \alpha_{m 1} & \alpha_{m 2} & \cdots & \alpha_{m n} \\ \end {pmatrix}$, $\mathbf x = \begin {pmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{pmatrix}$, $\mathbf b = \begin {pmatrix} \beta_1 \\ \beta_2 \\ \vdots \\ \beta_m \end {pmatrix}$

Then $S$ has exactly one solution if and only if:

$\map \rho {\mathbf A} = n$

where $\map \rho {\mathbf A}$ denotes the rank of $\mathbf A$.

Proof

This theorem requires a proof. In particular: tedious You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Sources

• 1998: Richard Kaye and Robert Wilson: Linear Algebra ... (previous) ... (next): Part $\text I$: Matrices and vector spaces: $1$ Matrices: $1.5$ Row and column operations