beetle2 said:
((n-1)*(n+1)*(n^2+1)=0 mod 3 when n = 2
((n-1)*(n+1)*(n^2+1)=0 mod 3 when n = 1
Three of the factors are n - 1, n, and n + 1, right? That's three integers in succession. Whenever you have any three successive integers, one of them will be a multiple of 3.
Take any integer value of n. Exactly one of the following must be true:
n \equiv 0 (mod 3)
n \equiv 1 (mod 3)
n \equiv 2 (mod 3)
For each of these three cases, which one of n - 1, n, or n + 1 will be divisible by 3?
beetle2 said:
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 1
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 2
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 3
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 4
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 6
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 7
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 8
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 9
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 11
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 12
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 13
((n-1)*(n+1)*(n^2+1)*(n^4+1)*(n^8+1)*(n^16+1)) = 0 mod 5 when n = 14
Using what you said if m = a (mod 5) and n = b (mod 5), then mn = ab (mod c).
I chose m= 11 = a = 12 mod 5 and n = 8 = b = 9 mod 5
?
Instead of showing that the big expression is divisibly by 15, it's easier to show that it is divisible by 3 and it is divisible by 5. You just need to be a little careful that if one of the factors is divisible by 3, then either it is also divisible by 5 or one of the other factors is divisible by 5.
For example, if n \equiv 0 (mod 5), then n would be in the set {0, 5, 10, 15, 20, 25, 30, ...}. All of these numbers are divisible by 5, and every third one is also divisible by 3. If n is one of the numbers not divisible by 3 (e.g., 5, 10, 20, 25, etc.), then either n + 1 is divisible by 3 or n - 1 is divisible by 3.
Do this for the other four possibilities for n (mod 5).
beetle2 said:
then
mn = ab (mod 5).
88 = 108 = 3 mod 5
How does that relate to the mod 3's?