Divisibility (Leaving Cert Mathematics): Revision Notes
Divisibility
Induction can be used to prove that an expression is divisible by some integer.
If is divisible by that means that can be expressed as where . For example, is divisible by , because can be expressed as .
Example
Prove by induction that is divisible by where .
Prove for base case, :
is divisible by because you can express as .
Assume true for , that is, assume that can be expressed as where .
Prove true for
We need to show that can be expressed as for some .
We can apply indices rules :
Observe that we have expressed as for some because is an integer from our inductive hypothesis :
Example
Prove by induction that is divisible by for .
Prove for base case, :
is divisible by because .
Assume true for
for some .
Prove true for
has been expressed as for some . We assumed that is an integer, so is also an integer (closed under multiplication). An integer subtracted by an integer is also an integer (closed under subtraction), so .
True for , assuming that the proposition is true for . Hence the proposition is true for all .