## Homogeneous System of Linear Equations — Guide

## What Is a Homogeneous System of Linear Equations?
A **homogeneous system of linear equations** is a set of linear equations in which the constant term on the right side of every equation is zero. A system like 3x−2y+z=0 and x+y−z=0 is homogeneous; a system with any non-zero constant (say x+y=2) is not — that one is called non-homogeneous.

In matrix form, a homogeneous system is written AX=0, where A is the coefficient matrix, X is the column vector of unknowns, and 0 is the zero column vector. Because the right side is the zero vector, substituting X=0 always satisfies the system. That guaranteed answer is the **trivial solution**, and it is the feature that sets homogeneous systems apart from general [linear equations](/content/math/algebra/linear-equations/index.html).

## What Are Trivial and Non-Trivial Solutions?
Every homogeneous system has the **trivial solution** — the one where all variables equal zero, X=0. It is always there, so it is never interesting on its own.

A **non-trivial solution** is any solution in which at least one variable is non-zero. When a homogeneous system has a non-trivial solution, it actually has infinitely many, because scaling any non-trivial solution by a constant produces another valid solution. So a homogeneous system has exactly one of two outcomes: only the trivial solution, or the trivial solution plus infinitely many non-trivial ones. There is never a "finite handful of non-trivial answers" case.

### When does a homogeneous system have a non-trivial solution?
For a square system written AX=0, the test is the **determinant** of the coefficient matrix:
- If det A≠0, the matrix is invertible, and the _only_ solution is the trivial one, X=0.
- If det A=0, the matrix is singular, and the system has **infinitely many non-trivial solutions**.

There is also a counting shortcut that needs no determinant: **if a homogeneous system has more unknowns than equations, it always has a non-trivial solution.** Three unknowns, two equations — non-trivial solutions are guaranteed, because there are not enough equations to pin every variable to zero.

## How Do You Solve a Homogeneous System?
Solving means describing _all_ solutions, not just confirming the trivial one. The reliable method is row reduction.

1. **Write the coefficient matrix A.** The zero column on the right never changes under row operations, so you can drop it and work with A alone.
2. **Row-reduce A** to row echelon (or reduced row echelon) form.
3. **Identify pivot variables and free variables.** A free variable is any column without a pivot.
4. **If there are no free variables**, only the trivial solution exists. **If there is at least one free variable**, set it to a parameter (say t) and express the pivot variables in terms of it — that gives the infinite family of non-trivial solutions.

## Examples of Homogeneous System of Linear Equations
### Example 1
**Which of these is a homogeneous system: (i) 2x+y=0,x−3y=0 or (ii) 2x+y=5,x−3y=0?**  
A system is homogeneous only when _every_ constant term is zero. System (i) has zeros on both right sides. System (ii) has a 5 in the first equation.

**Final answer:** System (i) is homogeneous; system (ii) is not.

### Example 2
**A common slip — does x+y=0,2x−y=0 have non-trivial solutions?**  
_Wrong attempt._ A student notices both right sides are zero, recalls "homogeneous systems have infinitely many solutions," and answers "yes, infinitely many." But that rule only applies when det A=0. 
_Correct._ Compute the determinant of A=
\[\begin{bmatrix} 1 & 1 \\
2 & -1 \end{bmatrix}\]:

det A=(1)(−1)−(1)(2)=−1−2=−3≠0.\
Since det A≠0, the matrix is invertible and the _only_ solution is the trivial one.
**Final answer:** Only the trivial solution (x,y)=(0,0).

### Example 3
**Solve the system x+2y−z=0,2x+4y−2z=0.**  
The second equation is exactly twice the first, so it adds no new information — effectively one equation, three unknowns. With more unknowns than independent equations, non-trivial solutions exist. From x+2y−z=0, solve for x: x=−2y+z. Let y=s and z=t be free parameters:
**Final answer:** infinitely many solutions, (x,y,z)=(−2s+t,s,t) for any real s,t.

### Example 4
**Solve 2x+3y−z=0,x−y+2z=0,x+4y−3z=0 given that det A=0.**  
Row-reduce the coefficient matrix. The third row turns out to be the difference of combinations of the first two, leaving one free variable.
**Final answer:** (x,y,z)=(−t,t,t) for any real t.

### Example 5
**A homogeneous system has 4 unknowns and 2 equations. How many solutions does it have?**  
**Final answer:** infinitely many solutions (non-trivial solutions guaranteed).

### Example 6
**For what value of λ does λx+y=0,x+λy=0 have a non-trivial solution?**  
Non-trivial solutions require det A=0. The coefficient matrix is 
\[\begin{bmatrix} \lambda & 1 \\
1 & \lambda \end{bmatrix}\].

det A=λ²−1=0⟹λ=±1.
**Final answer:** λ=1 or λ=−1. For any other λ, only the trivial solution exists.

## Why Homogeneous Systems Sit at the Centre of Linear Algebra
> "When does a square matrix collapse a non-zero vector to zero?"
That question — which is exactly the non-trivial-solution question — runs through far more than a textbook chapter.
- **Eigenvalues and eigenvectors.** 
- **The null space.**  
- **Linear independence.**

## Where Students Trip Up on Homogeneous Systems
### Mistake 1: Assuming "homogeneous" automatically means infinitely many solutions  
**Where it slips in:** The student sees all-zero constants and concludes non-trivial solutions must exist.
### Mistake 2: Forgetting the trivial solution counts as a solution  
**Where it slips in:** Asked "how many solutions," a student answers "zero" when only the trivial one exists.
### Mistake 3: Misreading a dependent equation as a new constraint  
**Where it slips in:** A system has three equations but one is a multiple or sum of the others.

## Key Takeaways
- A **homogeneous system of linear equations** has all-zero constants and always has the trivial (all-zeros) solution.
- Non-trivial solutions exist exactly when det A=0 or when there are more unknowns than equations.
- The most common mistake is assuming "homogeneous" automatically means infinitely many solutions — the determinant decides.

## Practice These Before Moving On
1. Determine whether 3x−y=0,6x−2y=0 has non-trivial solutions, and describe all solutions.
2. For what value of k does kx+2y=0,2x+ky=0 have a non-trivial solution?
3. A homogeneous system has 5 unknowns and 3 equations. State how many solutions it has and why.