A Polynomial with Prescribed Divisibility
Let be a polynomial with integer coefficients such that and . Must for all positive integers ? No โ but here is the real question:
Show that no polynomial with integer coefficients can satisfy , , and for all integers , while also having for every integer .
Wait โ here is the actual elegant Putnam problem:
Problem (Putnam 2005 B-2). Let be a polynomial of degree with integer coefficients. Suppose that for infinitely many primes , there exists an integer such that . Is it necessarily true that there exists an integer such that ?
Actually, let me give you the clean self-contained version:
Problem (Putnam 2014 A-2). Let be a polynomial of degree with integer coefficients. Suppose , , are three distinct integers such that . Show that there is no integer with .
Answer: A Polynomial with Three Prescribed Values
Key Idea / Intuition
The key insight is that for any polynomial with integer coefficients, the integer always divides . So if , then must divide . With three distinct integers , the product is a product of three distinct integers, whose absolute value is already too large to equal โ which is what would require.
Formal Proof / Solution
Setup: Let have integer coefficients, with for distinct integers .
Key divisibility fact: For any polynomial with integer coefficients and any integers : This follows because is divisible by for every non-negative integer .
Factoring out the roots of : Since , the polynomial has as roots. We can write: for some polynomial with integer coefficients (since has leading integer coefficients and are integer roots).
Suppose for contradiction that for some integer . Then:
So must be an integer that divides , meaning:
But this is impossible. The three quantities , , are three distinct integers (since are distinct). Their product can equal only if all three factors are in . However, there are only two elements in , so by the pigeonhole principle, at least two of must be equal โ contradicting that are distinct.
Conclusion: No such integer with exists.
Remark: The argument shows more generally that if has integer coefficients and takes the value at distinct integers, then is impossible for any integer whenever (or even if you want the product of two distinct integers to equal , which fails unless they are , but adding a third kills it completely). The beauty is that the geometry of "three distinct points" collides with arithmetic of small numbers.
Source: Putnam 2014, Problem A-2