Maths Olympiad Prep

Library / /36 of 63

, 2009

Number theory Difficulty 8.4 Shortlist Prove it Turkey

Find all primes pp for which there exist an odd integer nn and a polynomial Q(x)Q(x) with integer coefficients such that the polynomial 1+pn2+i=12p2Q(xi)1 + p n^2 + \prod_{i=1}^{2p-2} Q(x^i) has at least one integer root.

Solution

Let P(x)=1+pn2+i=12p2Q(xi)P(x) = 1 + p n^2 + \prod_{i=1}^{2p-2} Q(x^i). For p=2p = 2, n=1n = 1 and Q(x)=2x+1Q(x) = 2x + 1 work as P(1)=0P(-1) = 0.

We will show that for odd primes no suitable nn and Q(x)Q(x) exist.

Since all Q(ai)Q(a^i) have the same parity for 1i2p21 \le i \le 2p-2 for an integer aa; if P(a)=0P(a) = 0, then p3(mod4)p \equiv 3 \pmod{4}.

We also have aiai+p1(modp)a^i \equiv a^{i+p-1} \pmod{p} for 1ip11 \le i \le p-1 for an integer aa. Therefore, i=12p2Q(ai)(i=1p1Q(ai))2(modp)\prod_{i=1}^{2p-2} Q(a^i) \equiv (\prod_{i=1}^{p-1} Q(a^i))^2 \pmod{p}, and P(a)1+(i=1p1Q(ai))20(modp)P(a) \equiv 1 + (\prod_{i=1}^{p-1} Q(a^i))^2 \ne 0 \pmod{p} for p3(mod4)p \equiv 3 \pmod{4}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.