Find the smallest positive integer such that there exist polynomials with rational coefficients satisfying
Solution
We have . Below we prove that is impossible (and hence smaller is also impossible, since we can take ).
Suppose for contradiction that where all are polynomials with rational coefficients. Clearly the must all be of degree one, write , . We have
Let , , then computation gives
After clearing denominators, this makes the following proposition hold: Proposition: There exist a positive integer and integers such that
But we will next prove that the proposition is false, thereby deriving a contradiction. Suppose that the current is the smallest for which the proposition holds. Since the square of an odd number leaves remainder upon division by , and the square of an even number leaves remainder or upon division by , a simple case analysis shows that if the sum of four squares is a multiple of eight, then all four numbers must be even, hence are all even.
But then would be a multiple of 4, so is even, and therefore we can take half of each of and and still satisfy the proposition, but this contradicts the assumption that is the smallest. This completes the proof.