Congratulations to Markus Kuan from Northstowe Secondary College for successfully solving the problem!
(a) Factorise:
![]()
are all consecutive integers. Any two consecutive integers will have at least one number that is divisible by 2, any three consecutive integers will have at least one number that is divisible by 3. The entire expression has factors of 2 and 3, so it will also have a factor of 6.
(b) Factorise:
![]()
Using the same logic from (a), the expression will be divisible by 2 and 3.
Consider
. You may realise that all square numbers end in the digits 1, 4, 5, 6, 9, 0. These digits are all either 1 more, 1 below, or is a multiple of 5. Hence, you can always find a multiple of 5 on one of the three terms depending on the units digit of
. If
ended in 1 or 6, plugging into
will return a number divisible by 5. If
ended in 4 or 9, plug into
. If
ended in 5 or 0,
itself is divisible by 5. The expression has a factor of 2, 3, 5, and therefore will contain a factor of 30.
Alternative Method 1:
Consider
.
![]()
![]()
If
or
was divisible by 5, then
will be divisible by 5 too.
are five consecutive integers, this means at least one of them must be divisible by 5. Therefore, the entire expression has a factor of 5.
(c)* Consider
.
Those that do Further Maths GCSE may recognise binomial expansion using Pascal’s Triangle. Consider the
th row. Notice how all the middle terms are always divisible by
.
Here’s a proof:
Each term in the
th row of Pascal’s Triangle, represented by the
th term has the coefficient:
![]()
where 1
(0th term and
th term are the 1s on the side)
Since
is prime, when
or
is less than
, the denominator will not have the factor
, meaning the overall value will have the factor
. The only exception is when
or
, where the denominator contains
. This will divide the numerator and makes the 1s on the side of the triangle.
This means the expansion of
will reduce to the following:
![]()
![]()
Plug
into the equation:
![]()
![]()
![]()
Plug
into the equation:
![]()
![]()
![]()
Plug
into the equation:
![]()
![]()
![]()
Notice in the above examples, by induction,
![]()
![]()
This shows that
is always divisible by
, when
is a prime and
is an integer.
For further learning, consider checking out modular arithmetic or proof by induction. Also, part (c) proves a version of Fermat’s Little Theorem, those who are interested in that proof could consider giving it a search.