We consider systems of two equations in two unknowns. The standard methods are substitution and
Elimination.
Theorem. The system
A1x+b1yA2x+b2y=c1=c2
Has:
A unique solution if a1b2−a2b1=0 (the lines are not parallel);
No solution if a1b2−a2b1=0 and the equations are inconsistent (parallel distinct
lines);
Infinitely many solutions if a1b2−a2b1=0 and the equations are consistent
(coincident lines).
Proof. By elimination. Multiply the first equation by b2 and the second by b1:
A1b2x+b1b2yA2b1x+b1b2y=c1b2=c2b1
Subtracting: (a1b2−a2b1)x=c1b2−c2b1.
If a1b2−a2b1=0We obtain a unique x. Similarly for y.
If a1b2−a2b1=0Then either c1b2−c2b1=0 (infinitely many solutions) or
c1b2−c2b1=0 (no solution). ■
Intuition. The quantity a1b2−a2b1 is the determinant of the coefficient matrix.
Geometrically, two lines in the plane either intersect (unique solution), are parallel but distinct
(no solution), or coincide (infinitely many solutions).
Example
Solve:
3x+2y5x−3y=12−−−(1)=1−−−(2)
Multiply (1) by 3 and (2) by 2:
9x+6y10x−6y=36=2
Add: 19x=38So x=2.
Substitute into (1): 6+2y=12So y=3.
Solution: x=2, y=3.
2. Linear-Quadratic Simultaneous Equations
When one equation is linear and the other is quadratic (or of higher degree), we use
substitution.
Method.
From the linear equation, express one variable in terms of the other.
Substitute into the quadratic equation.
Solve the resulting quadratic.
Back-substitute to find both variables.
The discriminant of the resulting quadratic determines the number of intersection points.
When an inequality involves fractions, multiply through by the square of the denominator (which is
Always non-negative, so the inequality direction is preserved) or use a sign chart.
Example
Solve $\frac{2x - 1}{x + 3} \geq 1$.
x+32x−1−1x+32x−1−(x+3)x+3x−4≥0≥0≥0
Critical values: x=4 (zero of numerator) and x=−3 (zero of denominator, undefined).
Sign chart:
Interval
x−4
x+3
Quotient
x<−3
−
−
+
−3<x<4
−
+
−
x>4
+
+
+
The quotient is ≥0 when x<−3 or x≥4.
Solution: x∈(−∞,−3)∪[4,∞).
4. Graphical Inequalities
4.1 Regions Defined by Inequalities
To represent ax+by+c≥0 graphically:
Draw the line ax+by+c=0.
Test a point not on the line ( the origin).
If the point satisfies the inequality, shade the region containing it.
If the point does not satisfy the inequality, shade the other region.
Use a solid line for ≥ or ≤And a dashed line for > or <.
4.2 Systems of Inequalities
When multiple inequalities define a region, the solution is the intersection of all individual
Regions.
Example
Shade the region defined by:
X+yXYY≤6≥0≥0≥2x
This defines a polygon bounded by the lines x+y=6, x=0, y=0And y=2x. The Vertices
are (0, 0)$$(0, 6)And the intersection of x+y=6 with y=2x: 3x=6x = 2$$y = 4. So
the third vertex is (2,4).
5. Rigorous Treatment of Inequality Manipulation
5.1 Transitive Property
If a<b and b<cThen a<c.
Proof.b−a>0 and c−b>0. Adding: (c−b)+(b−a)=c−a>0. So a<c.
■
5.2 Addition Preserves Order
If a<b and c<dThen a+c<b+d.
Proof.b−a>0 and d−c>0. Adding: (b−a)+(d−c)=(b+d)−(a+c)>0. So
a+c<b+d. ■
5.3 Multiplication by Positive Preserves Order
If a<b and c>0Then ac<bc.
Proof.b−a>0 and c>0. Product: c(b−a)>0So cb−ca>0Giving ac<bc.
■
5.4 Reciprocals Reverse Order (for Positive Numbers)
If 0<a<bThen a1>b1.
Proof. Since a,b>0 and a<b: a1−b1=abb−a. Since
b−a>0 and ab>0The result is positive. So a1>b1. ■
Intuition. Consider a = 2$$b = 4. Then 21>41. The smaller the positive
Number, the larger its reciprocal — like how slicing a cake into more pieces makes each piece
Smaller.
6. Polynomial Equations
6.1 The Factor Theorem
Theorem (Factor Theorem). If f(a)=0Then (x−a) is a factor of f(x).
Proof. By polynomial division, for any polynomial f(x) and constant aThere exist a quotient
Polynomial Q(x) and a constant remainder R such that:
f(x)=(x−a)Q(x)+R
Setting x=a: f(a)=(a−a)Q(a)+R=R.
If f(a)=0Then R=0So f(x)=(x−a)Q(x). Hence (x−a) divides f(x) exactly.
■
6.2 The Remainder Theorem
Theorem (Remainder Theorem). When a polynomial f(x) is divided by (x−a)The remainder
Equals f(a).
Proof. From the division identity f(x)=(x−a)Q(x)+RSubstituting x=a gives f(a)=R.
■
The remainder theorem provides a quick way to evaluate f(a): perform polynomial division of f(x)
By (x−a) and read off the constant remainder, avoiding full expansion.
6.3 Factorisation Using the Factor Theorem
The systematic approach:
Find a root a by testing small integer values (try factors of the constant term).
By the rational root theorem, possible rational roots are factors of 2 divided by factors of 2:
±1,±2,±21.
f(1)=2+1−5+2=0. So (x−1) is a factor.
Divide by (x−1):
2x3+x2−5x+2=(x−1)(2x2+3x−2)
Factorise the quadratic: 2x2+3x−2=(2x−1)(x+2).
So f(x)=(x−1)(2x−1)(x+2).
:::tip When searching for roots, test the factors of the constant term first. For
f(x)=xn+⋯+cThe possible rational roots are ±1,±2,… (factors of c).
:::
7. Systems of Three Linear Equations
7.1 Gaussian Elimination
For a system of three equations in three unknowns, the elimination method extends :
Use the first equation to eliminate one variable from equations 2 and 3.
Use the resulting pair of equations (now in two variables) to eliminate a second variable.
Back-substitute to recover all three variables.
This process is known as Gaussian elimination. It can be systematised using augmented matrices
And three elementary row operations: swapping rows, multiplying a row by a non-zero constant, and
Adding a multiple of one row to another.
A 3x3 system may have a unique solution, no solution, or infinitely many solutions, depending on the
Determinant of the coefficient matrix (analogous to the 2x2 case in Section 1).
Worked Example
Solve:
X+2y−z2x−y+zX+y+2z=3−−−(1)=1−−−(2)=8−−−(3)
Step 1: Eliminate x from (2) and (3).
(2) − 2 × (1): −5y+3z=−5 --- (4)
(3) − (1): −y+3z=5 --- (5)
Step 2: Eliminate y from (5).
(4) − 5 × (5): (−5y+3z)−5(−y+3z)=−5−25
−5y+3z+5y−15z=−30
−12z=−30So z=25.
Step 3: Back-substitute into (5):
−y+3⋅25=5⟹−y+215=5⟹y=25.
Step 4: Back-substitute into (1):
x+2⋅25−25=3⟹x+25=3⟹x=21.
Solution: x=21,y=25,z=25.
8. Modulus Inequalities
8.1 Standard Forms
∣f(x)∣<a (with a>0) is equivalent to −a<f(x)<a.
∣f(x)∣>a (with a>0) is equivalent to f(x)<−a or f(x)>a.
∣f(x)∣<g(x) requires g(x)>0 and is equivalent to −g(x)<f(x)<g(x).
∣f(x)∣>g(x) is equivalent to f(x)<−g(x) or f(x)>g(x).
8.2 Methods
Two principal approaches:
Case analysis: Split into f(x)≥0 and f(x)<0Replacing ∣f(x)∣ with f(x) or
−f(x) respectively. Solve each case and take the union.
Squaring: Since ∣f(x)∣2=f(x)2The inequality ∣f(x)∣<g(x) becomes
f(x)2<g(x)2 provided g(x)≥0. This is often cleaner when both sides are
non-negative.
Example
Solve $|2x - 1| \lt x + 3$.
Since ∣2x−1∣≥0We require x+3>0I.e. x>−3.
Case 1:2x−1≥0I.e. x≥21.
Then ∣2x−1∣=2x−1So 2x−1<x+3Giving x<4.
Combined with x≥21: 21≤x<4.
Case 2:2x−1<0I.e. x<21.
Then ∣2x−1∣=1−2xSo 1−2x<x+3Giving −2<3xI.e. x>−32.
Combined with x<21: −32<x<21.
Solution:−32<x<4.
Example
Solve $|x^2 - 4| \gt 5$.
Case 1:x2−4≥0I.e. ∣x∣≥2.
Then x2−4>5Giving x2>9So x>3 or x<−3.
Case 2:x2−4<0I.e. −2<x<2.
Then −(x2−4)>5Giving 4−x2>5I.e. x2<−1.
No real solution from this case.
Solution:x<−3 or x>3.
:::caution Warning Inequality ∣f(x)∣<g(x) only makes sense when g(x)>0And squaring
preserves the Direction since a<b implies a2<b2 for a,b≥0.
:::
9. Absolute Value (Modulus) Properties
9.1 Squaring Identity
Proposition.∣x∣2=x2 for all real x.
Proof. If x≥0Then ∣x∣=xSo ∣x∣2=x2.
If x<0Then ∣x∣=−xSo ∣x∣2=(−x)2=x2.
In both cases ∣x∣2=x2. ■
9.2 Multiplicativity of Modulus
Theorem.∣ab∣=∣a∣∣b∣ for all real a and b.
Proof. Exhaustive case analysis on the signs of a and b:
a≥0,b≥0: ∣ab∣=ab=∣a∣⋅∣b∣.
a≥0,b<0: ab<0So ∣ab∣=−(ab)=a(−b)=∣a∣⋅∣b∣.
a<0,b≥0: ab<0So ∣ab∣=−(ab)=(−a)b=∣a∣⋅∣b∣.
a<0,b<0: ab>0So ∣ab∣=ab=(−a)(−b)=∣a∣⋅∣b∣.
In all four cases, ∣ab∣=∣a∣∣b∣. ■
9.3 Triangle Inequality
Theorem (Triangle Inequality). For all real a and b:
∣a+b∣≤∣a∣+∣b∣
Proof. We split into cases based on the signs of a and b.
Case 1:a≥0,b≥0.
Then a+b≥0So ∣a+b∣=a+b=∣a∣+∣b∣. Equality holds.
Case 2:a≥0,b<0.
Sub-case (i): a+b≥0. Then ∣a+b∣=a+b. Since b<0 implies b<−b=∣b∣:
∣a+b∣=a+b<a+∣b∣=∣a∣+∣b∣
Sub-case (ii): a+b<0. Then ∣a+b∣=−(a+b)=−a−b. Since a≥0 implies
−a≤a=∣a∣:
∣a+b∣=−a+(−b)=−a+∣b∣≤∣a∣+∣b∣
Case 3:a<0,b≥0. Symmetric to Case 2 (swap a and b).
Case 4:a<0,b<0.
Then a+b<0So ∣a+b∣=−(a+b)=(−a)+(−b)=∣a∣+∣b∣. Equality holds.
In all cases, ∣a+b∣≤∣a∣+∣b∣. ■
Intuition. On the number line, going from the origin to a+b directly covers at most as much
Distance as going from the origin to a and then from a to a+b.
10. Problem Set
Problem 1. Solve the simultaneous equations 3x+y=13 and x2+y2=25.
Solution
From (1): $y = 13 - 3x$. Substitute into (2):
X2+(13−3x)2X2+169−78x+9x210x2−78x+1445x2−39x+72=25=25=0=0
So x≤L◆B◆3−13◆RB◆◆LB◆2◆RB◆ or x≥L◆B◆3+13◆RB◆◆LB◆2◆RB◆.
Since 13>5The condition x2−3x+1≥0 is automatically satisfied by
These ranges.
Case 2:x2−3x+1<0I.e.
L◆B◆3−5◆RB◆◆LB◆2◆RB◆<x<L◆B◆3+5◆RB◆◆LB◆2◆RB◆.
Then −(x2−3x+1)≥2Giving x2−3x+3≤0.
Discriminant: Δ=9−12=−3<0. Since the parabola opens upward, x2−3x+3>0
For all real x. No solution from this case.
Solution:x≤L◆B◆3−13◆RB◆◆LB◆2◆RB◆ or
x≥L◆B◆3+13◆RB◆◆LB◆2◆RB◆.
If you get this wrong, revise: [Modulus inequalities](#8-modulus-inequalities)
Problem 14. Find the area of the region defined by x \geq 0$$y \geq 0$$3x + 2y \leq 12 And
x+y≥3.
Solution
The region is bounded by four lines. Find the vertices:
(0,3): intersection of x=0 and x+y=3.
(0,6): intersection of x=0 and 3x+2y=12.
(4,0): intersection of y=0 and 3x+2y=12.
(3,0): intersection of y=0 and x+y=3.
The region is a trapezoid. Using the shoelace formula with vertices (0,3),(0,6),(4,0),(3,0)
In order:
Area=21∣∑ixiyi+1−∑iyixi+1∣
=21∣(0⋅6+0⋅0+4⋅0+3⋅3)−(3⋅0+6⋅4+0⋅3+0⋅0)∣
=21∣9−24∣=215
If you get this wrong, revise: [Graphical inequalities](#4-graphical-inequalities)
Problem 15. Solve the simultaneous equations x2+xy=10 and y2+xy=15.
Solution
**Key insight:** add and subtract the equations.
Adding: x2+2xy+y2=25So (x+y)2=25.
This gives x+y=5 or x+y=−5.
Subtracting: y2−x2=5So (y−x)(y+x)=5.
Case 1:x+y=5.
Then (y−x)(5)=5Giving y−x=1.
From x+y=5 and y−x=1: adding gives 2y=6So y=3, x=2.
Case 2:x+y=−5.
Then (y−x)(−5)=5Giving y−x=−1.
From x+y=−5 and y−x=−1: adding gives 2y=−6So y=−3, x=−2.
Verification:(2,3): 4+6=10 ✓ and 9+6=15 ✓.
(−2,−3): 4+6=10 ✓ and 9+6=15 ✓.
Solutions: (2,3) and (−2,−3).
If you get this wrong, revise: [Simultaneous equations](#1-linear-simultaneous-equations)
:::tip Diagnostic Test Ready to test your understanding of Equations and Inequalities? The contains the
hardest questions within the A-Level specification for this topic, each with a full worked solution.
Unit tests probe edge cases and common misconceptions. Integration tests combine Equations
and Inequalities with other pure mathematics topics to test synthesis under exam conditions.
See for instructions on self-marking and
building a personal test matrix.
:::
Common Pitfalls
Confusing the domain and range of functions, or not considering restrictions (e.g., denominator
cannot be zero).
Forgetting the +c constant of integration in indefinite integrals, or misusing boundary
conditions in definite integrals.
Rounding too early in multi-step calculations — carry full precision through and round only the
final answer.
Incorrectly applying integration by parts by choosing u and dxdv the wrong way
around.
Summary
The key principles covered in this topic are linked in the sub-pages above. Focus on understanding
the definitions, applying the formulas or frameworks, and evaluating strengths and limitations of
each approach.
Worked Examples
Worked examples demonstrating the application of key concepts are covered in the detailed sub-pages
linked above.