Meanwhile, necromancing the thread, here's some more fun with polynomials.
Theorem. Any four consecutive numbers, multiplied together, produces a multiple of 24.
We start by recognising the following elementary facts:
[1] Any integer a that is a multiple of some other integer N, can be written as a = Nk, where k is some other integer:
[2] If two integers a and b are multiples of some other integer N, and can thus be written a = Nk and b = Nm, then their sum and difference are also multiples of N, viz:
(a+b) = (Nk+Nm) = N(k+m)
(a-b) = (Nk-Nm) = N(k-m)
These will become useful as we proceed.
We now recognise that any four consecutive numbers take the form n, n+1, n+2, n+3. The theorem states that:
n(n+1)(n+2)(n+3) mod 24 = 0
or equivalently, that:
n(n+1)(n+2)(n+3) = 24K, where K is an integer.
Proof by induction takes place as follows. Begin by establishing the result for n=1:
1×2×3×4 = 24, which is clearly 24×1.
Assume the result is true for n=j:
A = j(j+1)(j+2)(j+3) = 24K
We expand the multiplication to generate a polynomial:
A = j(j+1)(j+2)(j+3) = j
4+6j
3+11j
2+6j
Now, for n=j+1, we have:
B = (j+1)(j+2)(j+3)(j+4) = j
4+10j
3+35j
2+50j+24
Now, we subtract the two polynomials. If the two quantities are indeed multiples of 24, then their difference will also be a multiple of 24. Thus we have:
C = (B-A) = (j
4+10j
3+35j
2+50j+24) - (j
4+6j
3+11j
2+6j)
= 4j
3+24j
2+44j+24
Is this divisible by 24? Well, it's divisibly by 4, which can be factored out as follows:
C = 4(j
3+6j
2+11j+6)
This in turn can be seen, by comparison with A above, to be equal to:
C = 4(j+1)(j+2)(j+3)
For any integer choice of j, at least one of the factors above will be even, and thus divisible by 2. Since we have three consecutive integers comprising the factors, at least one of the factors will also be divisible by 3, because any three consecutive integers will always contain a multiple of three within that collection. Therefore, the factors:
(j+1)(j+2)(j+3)
will be divisible by 6.
Since C is both divisible by 4 and by 6, C is divisible by 24, and both A and B are therefore divisible by 24.
Since we have proven the case for n=1, the above establishes that for any n=j that the theorem is true, the theorem is true also for any n=j+1, by induction, the theorem is true for all positive n. A similar procedure working backwards to n=j-1 establishes the same result for all negative n, and of course, the theorem is also true for n=0, since 0 = 24×0.
QED.