Proof by Exhaustion

What is Proof by Exhaustion?

Proof by exhaustion is a method of proving that a mathematical statement is always true by working it out and showing it is true for every possible case.

How do you prove by exhaustion?

To prove a conjecture by exhaustion, split it up into different cases.
The different cases come from looking at all of the possible values within the range that the conjecture is true for.

Example

Prove that no square number ends in a 7.
It's impossible to write out all the square numbers to show that they don't end in a 7.
We have to think of another way to cover all of the possible cases.

What are the different cases?

All numbers ending in the same digits have square numbers that also end in the same digits.
For example. as 4² = 16, all numbers ending in 4 will have square numbers that end in 6.
- This is a known theorem, so we can begin our proof with this statement.
So the cases to consider are the squares of the 10 different digits that a number can end in.

Square numbers

Writing out the square numbers, we have:
- 0² = 0, 1² = 1, 2² = 4
- 3² = 9, 4² = 16, 5² = 25
- 6² = 36, 7² = 49, 8² = 64 and 9² = 81

Inspection

We see the possible digits they can end in are:
- $0, 1, 4, 5, 6, 9$
The number 7 is missing from this list.

Final statement

No square number can end in a 7.

Full proof

1Proof

1.1Types of Numbers

1.1.1Whole Numbers

1.1.2The Four Rules for Positive Numbers

1.1.3Negative Numbers

1.1.4Integers

1.1.5The Four Rules for Negative Numbers

1.1.6Real Numbers

1.1.7Rational vs Irrational

1.2Notation

1.2.1Sets

1.2.2Subsets

1.2.3Venn Diagrams

1.2.4Sets Numbers

1.2.5Notation in Mathematical Arguments

1.3Proof

1.3.1Mathematical Proof

1.3.2Proof by Deduction

1.3.3Proving an Identity

1.3.4Polynomial Identities

1.3.5Proof by Exhaustion

1.3.6Disproof by Counter Example

1.3.7Proof by Contradiction (A2 Only)

2Algebra & Functions

2.1Powers & Roots

2.1.1Exponential Rules

2.1.2Rational Exponents

2.1.3Surds

2.1.4Simplify Surds

2.1.5Rationalise Denominator

2.2Quadratic Equations

2.2.1Quadratic +/-

2.2.2Factorise Quadratics

2.2.3Quadratic Formula

2.2.4Complete the Square

2.2.5Solve Quadratics Graphically

2.2.6Simultaneous Equations

2.2.7Simultaneous Quadratic Equations

2.2.8Simultaneous Equations Graphs

2.2.9Simultaneous Equations Word Problems

2.2.10Quadratic Equations of Powers

2.3Inequalities

2.3.1Solving Inequalities

2.3.2Solving Double Inequalities

2.3.3Solving Quadratic Inequalities

2.3.4Representing Inequalities

2.3.5Graphing Inequalities

2.3.6Set Notation

2.3.7Set Notation & Inequalities

2.4Polynomials

2.4.1Polynomials

2.4.2Adding & Subtracting Polynomials

2.4.3Remainder Theorem

2.4.4Algebraic Long Division

2.4.5Rewriting Rational Expressions

2.5Graphs

2.5.1Graphs of Polynomials

2.5.2Simultaneous Equations Graphs

2.5.3Simultaneous Quadratic Equations

2.5.4Graphs of Proportion

2.5.5Graphs of Common Functions 1

2.5.6Graphs of Common Functions 2

2.5.7Graphs of Common Functions 3

2.5.8Proportion

2.5.9Direct Proportion

2.5.10Inverse Proportion

2.6Functions

2.6.1Properties of Functions

2.6.2Inverse Functions

2.6.3Composite Functions

2.7Transformation of Graphs

2.7.1Reflections

2.7.2Rotation

2.7.3Translation

2.7.4Stretches & Compressions

2.7.5Effects of Transformations

2.7.6Combinations of Transformations

2.8Partial Fractions (A2 Only)

2.8.1Partial Fractions

2.8.2Partial Fractions with Three Linear Factors

2.8.3Partial Fractions with Three Linear Factors 2

2.8.4Partial Fractions with Repeated Factors

2.8.5Partial Fractions - Practice

3Coordinate Geometry

3.1Straight Lines

3.1.1y = mx +c

3.1.2Gradient & Y-intercept

3.1.3Distance-Time Graph

3.1.4Velocity-Time Graph

3.1.5Conversion Graph

3.2Circles

3.2.1Equations of Circles centred at Origin

3.2.2Finding the Centre & Radius

3.2.3Equation of a Tangent

3.2.4Circle Theorems - Perpendicular Bisector

3.2.5Circle Theorems - Angle at the Centre

3.2.6Circle Theorems - Angle at a Semi-Circle

3.2.7Equation of a Perpendicular Bisector

3.2.8Equation of a Circumcircle

3.2.9Circumcircle of a Right-angled Triangle

3.3Parametric Equations (A2 only)

3.3.1Parametric Equations

3.3.2Modelling with Parametric Equations

4Sequences & Series

4.1Binomial Expansion

4.1.1Pascal's Triangle

4.1.2Factorials

4.1.3Binomial Expansion

4.1.4Binomial Expansion & Rational Powers (A2 only)

4.1.5Binomial Expansion & Rational Powers 2 (A2 only)

4.2Sequences (A2 only)

4.2.1Nth term Rules

4.2.2Recurring Rules

4.2.3Types of Sequences

4.2.4Arithmetic Sequences

4.2.5Geometric Sequences

4.2.6Sigma Notation

4.2.7Arithmetic Series

4.2.8Geometric Series

4.2.9Sum to Infinity of a Geometric Series

4.2.10Modelling with Sequences & Series

5Trigonometry

5.1Using Angles

5.1.1Radians

5.1.2Arc length

5.1.3Area of Sectors

5.1.4Area of Segments

5.2Trigonometric Functions

5.2.1Unit Circle

5.2.2Properties of Trig Functions

5.2.3Trigonometry

5.2.4Exact values

5.2.5Graphs of Trigonometric Functions

5.2.6Small Angle Approximation

5.3Triangle Rules

5.3.1Sine Rules

5.3.2Cosine Rules

5.3.3Area of a Triangle

5.4Trigonometric Identities

5.4.1Secant, Cosecant & Cotangent

5.4.2Pythagorean Identities

5.4.3Angle Addition Formulae

5.4.4Manipulating the Angle Addition Formulae

5.4.5Double Angle Formula

6Exponentials & Logarithms

6.1Exponentials & Logarithms

6.1.1Exponential Function

6.1.2Logarithms

6.1.3Properties of Logarithms

6.1.4Natural Logarithm

6.1.5Graphs of Exponents & Logarithms

6.2Exponential Growth Decay

6.2.1Population Growth

6.2.2Depreciation

6.2.3Graphing Linear and Exponential Growth

6.2.4Interpreting Exponential Growth and Decay Graphs

6.2.5Compound Growth & Decay

6.2.6Compund Interest

7Differentiation

7.1Derivatives

7.1.1Gradient of a Curve

7.1.2Differentiation from First Principles

7.1.3Differentiation from First Principles - Practice

7.1.4Differentiation

7.1.5Finding derivatives

7.1.6Second Order Derivatives

7.2Graphs & Differentiation

7.2.1Stationary Points

7.2.2Maxima & Minima

7.2.3Modelling with Differentiation

7.2.4Using Second Derivatives (A2 only)

7.2.5Rate of Change (A2 only)

7.3Differentiation With Trigonometry and Exponentials

7.3.1Differentiation with Sin & Cos

7.3.2Diff. of Exponential Functions

7.3.3Differentiation of Trig. Functions 1 (A2 only)

7.3.4Differentiation of Trig. Functions 2 (A2 only)

7.4Rules of Differetiation (A2 only)

7.4.1Chain Rule

7.4.2Product Rule

7.4.3Quotient Rule

7.5Parametric & Implicit Differentiation

7.5.1Parametric Differentiation

7.5.2Implicit Differentiation

8Integration

8.1Integration

8.1.1Integration - Basics

8.1.2Integration - Definite Integrals

8.1.3Finding Functions

8.1.4Area under curves

8.1.5Area under x-axis

8.1.6Area between curves and lines

8.2Integration (A2 Only)

8.2.1Integration - Standard Functions

8.2.2Integration - Reverse Chain Rule

8.2.3Integration by Substitution

8.2.4Integration by Parts

8.2.5Integration by Parts - Practice

8.2.6Integration by Partial Fraction

8.2.7Modelling with Differential Equations

9Numerical Methods

9.1Finding Solutions

9.1.1Number Iterations

9.1.2Iterations to 1 Decimal Places

9.1.3Iteration Formula

9.1.4Locating Roots

9.1.5Newton Raphson Method

9.2Finding the Area

9.2.1Trapezium Rule

10Vectors

10.12D Vectors

10.1.1Vectors - Magnitude & Direction

10.1.2Unit Vectors

10.1.3Vectors - Algebraic Operations

10.1.4Position Vectors

10.1.5Vector Proofs

10.1.6Vectors Word Questions

10.23D Vectors

10.2.13D Vector Magnitude

10.2.23D Vectors - Algebraic Operations

10.2.3Position Vectors 3D

10.2.43D Vectors Word Questions

10.3Vector Proofs

10.3.1Coming Soon

Jump to other topics