Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2016 / Paper 2 / 15 / a

The homogeneous linear system has solution set $\ker A$, a vector subspace. If it contains only the zero vector, no two different solutions of the full system can exist: their difference would be a nonzero homogeneous solution.

A particular solution ${\mathbf{v}}_p$ to the full system exists exactly when $\mathbf{w}$ belongs to the image of a linear map $\mathrm{im}A$. If it exists, every solution isIndeed, subtracting $A{\mathbf{v}}_p=\mathbf{w}$ from $A\mathbf{v}=\mathbf{w}$ gives $A(\mathbf{v}-{\mathbf{v}}_p)=0$, and conversely adding a kernel vector preserves the right-hand side. Thus there are no solutions, one solution if the kernel is trivial, or infinitely many solutions if it is nontrivial. The last solution set is an affine subspace of dimension $\dim \ker A$, determined by the rank-nullity theorem. For a square nonsingular matrix there is one solution for every right-hand side.