|
Here's a result that is not true for non-homogeneous linear systems.
|
Proof: Since A has more columns than rows, the reduced row-echelon form of [A|0] has more columns left of the bar than rows, and hence more columns left of the bar than leading 1's. The solution must then contain parameters, so there are infinitely many solutions. |
The solutions of a general linear system Ax = b and its corresponding homogeneous system Ax = 0 are related to each other.
Let xp be any particular solution of the linear system Ax = b. Then |
|
|
Proof of a): A(xP + xH) = AxP + AxH = b + 0 = b, so xP + xH is a solution of Ax = b. |
Proof of b): Let x be any solution of Ax = b and define y = x – xP. Then Ay = Ax – AxP = b – b = 0, so y is a solution of Ax = 0 and x = xP + y. For xH = y, x is of the form xP + xH for some solution xH of the homogeneous system Ax = 0. |
You can see how this works our when you solve a linear system and its corresponding homogeneous system together. Suppose for example you solve both systems
|
|
|||||||||||||||||
Their augmented matrices are |
||||||||||||||||||
which reduce to |
||||||||||||||||||
Their solutions are then |
||||||||||||||||||
|
|
|||||||||||||||||
or in column matrix form, |
||||||||||||||||||
![]() |
![]() |
Notice what happens: the parameter part of the solution of the non-homogeneous system is the solution to the homogeneous system, and the remaining part is the particular solution you get by putting s = t = 0.
Now suppose we have a square homogeneous linear system.
|
Proof: If A is invertible and x is any solution of Ax = 0, then (multiply by A–1) AA–1x = A–10, i.e. x = 0 - there is only the trivial solution. |
Assume that A is not invertible; then its reduced row echelon form R is not the identity and so has a row of zeroes at the bottom. The reduced row-echelon form of the augmented matrix [A|0] is [R|0], so it also has a row of zeroes at the bottom, and thus fewer leading 1's than rows. Since A and R are square, [R|0] has fewer leading 1's than columns left of the bar, so its solution contains parameters. The system thus has a non-trivial solution. |