Answer (E): Let Q(m)=8P(m)=4m+2m2+m4+m8. Because the coefficients of Q are integers, it follows that if a≡b(mod8), then Q(a)≡Q(b)(mod8). It suffices to show that the 8 numbers Q(−3), Q(−2), Q(−1), ..., Q(4) are all divisible by 8. If m is even, then each of the monomials of Q(m) is divisible by 8. If m=±1, then Q(m)=±4+4≡0(mod8). If m=±3, then m2=9≡1(mod8), which implies that m4≡1(mod8), and so also that m8≡1(mod8). Hence Q(±3)≡±12+2+1+1≡0(mod8).
Therefore 8P(m) is divisible by 8 for all integers m, which implies that P(m) is an integer for all m. In particular, all 4 of the given values of P(m) are integers.
Let Q(m) be defined as in the first solution, and note that Q(m) is divisible by 8 if m is even. To treat odd m, write
Q(m)=8m+4(m2−m)+2m2(m2−1)+m4(m4−1)=8m+4m(m−1)+2m2(m+1)(m−1)+m4(m2+1)(m+1)(m−1)
and note that because m+1,m−1, and m2+1 are all even, each term has at least three factors of 2. The solution concludes as above.
Another way to see that Q(m) is divisible by 8 when m is odd in the second solution is to apply more general facts from number theory. Fermat's Little Theorem asserts that if p is prime, then ap≡a(modp) for all integers a. In particular, m2≡m(mod2). Euler's Totient Theorem asserts that if gcd(a,q)=1, then aϕ(q)≡1(modq), where ϕ(q) is the number of positive integers less than q that are relatively prime to q. Because ϕ(4)=2, it follows that m2≡1(mod4) when m is odd. Also, ϕ(8)=4, so m4≡1(mod8) if m is odd.