MathLabs
TheoremProved

When D=0: no solution or infinitely many

Statement

If ad−bc=0ad-bc=0, the system {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} never has exactly one solution: it has no solution if ed−bf≠0ed-bf\neq0, and infinitely many solutions if ed−bf=0ed-bf=0 (provided a,ba,b are not both zero).

Why is it true?

D=0 means the two lines have the same slope: geometrically they are either perfectly parallel and never meet (no solution), or actually the same line drawn twice (every point is a solution) — never a single crossing point.

Proof sketch

The elimination steps from the previous theorem did not require ad−bc≠0ad-bc\neq0: they show that any solution (x,y)(x,y) of {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} must satisfy (ad−bc)x=ed−bf(ad-bc)x=ed-bf, regardless of the value of DD. When ad−bc=0ad-bc=0, the left side (ad−bc)x(ad-bc)x equals 0⋅x=00\cdot x=0 for every xx, so this necessary equation collapses to the numerical statement 0=ed−bf0=ed-bf.

**Case ed−bf≠0ed-bf\neq0 (no solution).** The statement 0=ed−bf0=ed-bf is then simply false, independent of xx and yy. Since every solution of the system would have to make this false statement true, no solution can exist. Geometrically, the two equations describe lines with the same slope (since D=0D=0) but different intercepts, i.e. two parallel, non-intersecting lines.

**Case ed−bf=0ed-bf=0 (infinitely many solutions).** Now the necessary equation is the true but empty statement 0=00=0, so eliminating y gives no information at all — it is automatically satisfied by any xx. Concretely, since D=ad−bc=0D=ad-bc=0 and (a,b)≠(0,0)(a,b)\neq(0,0), there is a constant kk with c=kac=ka and d=kbd=kb (the second equation's x,y-coefficients are proportional to the first's); combined with ed−bf=0ed-bf=0 one finds f=kef=ke as well, so the second equation cx+dy=fcx+dy=f is literally kk times the first equation ax+by=eax+by=e. Every point (x,y)(x,y) satisfying the first equation automatically satisfies the second (multiply the first equation by kk), so the whole line ax+by=eax+by=e — infinitely many points — solves the system.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.