A linear system of m equations in n unknowns can be written as a matrix equation Ax = b. The augmented matrix [A|b] encodes the full system. We solve it by bringing it to row echelon form (Zeilenstufenform) via Gaussian elimination.
After Gaussian elimination, the rank r determines the solution type. If a zero row has a non-zero entry in b, the system is inconsistent (no solution). If r = n (as many pivots as unknowns), the solution is unique. If r < n, there are n − r free parameters — infinitely many solutions.
For a square matrix A ∈ ℝn×n, the following are ALL equivalent — if any one is true, all are true. If any one fails, they all fail.
A homogeneous system Ax = 0 always has at least one solution: x = 0 (the trivial solution). The question is whether there are non-trivial solutions (x ≠ 0).