Proving that a system of inhomogeneous, underdetermined equations has infinitely many solutions I'm reading Axler's Linear Algebra Done Right. There is a nice proof on page 47 that a system of homogeneous linear equations with fewer equations than unknowns must have a nontrivial solution.
However, the more common formulation taught in grade school is that inhomogeneous systems with fewer equations than unknowns have an infinite number of solutions. I can't figure out how to prove this from the theorems Axler has introduced up to this point and, oddly, also can't find a proof online. Is this even true? Does anyone have pointers for how to prove it?
This question has a proof for the case where the corresponding homogeneous solution has a nontrivial solution. It would be nice if I could prove it without this assumption.
 A: There is no theorem in Linear Algebra Done Right that an inhomogeneous system of equations with fewer equations than unknowns has an infinite number of solutions because that result is not true. Consider, for example the following system of linear equations:
$$
x + y + z = 1\\ 
x + y + z = 2
$$
Obviously this system of equations has no solutions. This is a system of two equations in three unknowns. Thus even though there are fewer equations than unknowns, there are no solutions.
A: You also need the equations to be consistent (i.e., in order not to get incompatible equations like $x=0$, $x=1$). You should take a look at the Rouché-Capelli theorem. The number of solutions (none, one, infinite) is determined by the comparison of the ranks of the matrix of the homogeneous system and of the (augmented) matrix of the complete system.
A: Gaussian elimination can yield at most as many pivots as there are equations. So if there are more variables than there are equations, it follows that in the solution to the homogeneous system, at least one variable must be free. Hence there are infinitely many solutions.
