Maths Olympiad Prep

Library / /7 of 25

Number theory Difficulty 7.7 National Olympiad, round 2 Prove it European Girls' Mathematical Olympiad (EGMO)

Problem:
Find all positive integers aa and bb for which there are three consecutive integers at which the polynomial
P(n)=n5+ab P(n)=\frac{n^{5}+a}{b}
takes integer values.

Solutions — 3

Solution 1

Solution:
Denote the three consecutive integers by x1,xx-1, x, and x+1x+1, so that
(x1)5+a0(modb),x5+a0(modb),(x+1)5+a0(modb). (x-1)^{5}+a \equiv 0 \quad(\bmod b), \quad x^{5}+a \equiv 0 \quad(\bmod b), \quad(x+1)^{5}+a \equiv 0 \quad(\bmod b) .
By computing the differences of the equations in (1) we get
A:=(x+1)5(x1)5=10x4+20x2+20(modb)B:=(x+1)5x5=5x4+10x3+10x2+5x+10(modb) \begin{aligned} A & :=(x+1)^{5}-(x-1)^{5}=10 x^{4}+20 x^{2}+2 \equiv 0 \quad(\bmod b) \\ B & :=(x+1)^{5}-x^{5}=5 x^{4}+10 x^{3}+10 x^{2}+5 x+1 \equiv 0 \quad(\bmod b) \end{aligned}
Adding the first and third equation in (1) and subtracting twice the second equation yields
C:=(x+1)5+(x1)52x5=20x3+10x0(modb). C:=(x+1)^{5}+(x-1)^{5}-2 x^{5}=20 x^{3}+10 x \equiv 0 \quad(\bmod b) .
Next, (2) and (4) together yield
D:=4xA(2x2+3)C=22x0(modb). D:=4 x A-\left(2 x^{2}+3\right) C=-22 x \equiv 0(\bmod b) .
Finally we combine (3) and (5) to derive
22B+(5x3+10x2+10x+5)D=220(modb). 22 B+\left(5 x^{3}+10 x^{2}+10 x+5\right) D=22 \equiv 0(\bmod b) .
As the positive integer bb divides 22 , we are left with the four cases b=1,b=2,b=11b=1, b=2, b=11 and b=22b=22.
If bb is even (i.e. b=2b=2 or b=22b=22 ), then we get a contradiction from (3), because the integer B=2(5x3+5x2)+5(x4+x)+1B=2\left(5 x^{3}+5 x^{2}\right)+5\left(x^{4}+x\right)+1 is odd, and hence not divisible by any even integer.
For b=1b=1, it is trivial to see that a polynomial of the form P(n)=n5+aP(n)=n^{5}+a, with aa any positive integer, has the desired property.
For b=11b=11, we note that
n0,1,2,3,4,5,6,7,8,9,10(mod11)n50,1,1,1,1,1,1,1,1,1,1(mod11) \begin{aligned} & n \equiv 0,1,2,3,4,5,6,7,8,9,10 \quad(\bmod 11) \\ & \Longrightarrow \quad n^{5} \equiv 0,1,-1,1,1,1,-1,-1,-1,1,-1 \quad(\bmod 11) \end{aligned}
Hence a polynomial of the form P(n)=(n5+a)/11P(n)=\left(n^{5}+a\right) / 11 has the desired property if and only if a±1(mod11)a \equiv \pm 1(\bmod 11). This completes the proof.

A Variant. We start by following the first solution up to equation (4). We note that b=1b=1 is a trivial solution, and assume from now on that b2b \geqslant 2. As (x1)5+a(x-1)^{5}+a and x5+ax^{5}+a have different parity, bb must be odd. As BB in (3) is a multiple of bb, we conclude that (i) bb is not divisible by 5 and that (ii) bb and xx are relatively prime. As C=10x(2x2+1)C=10 x\left(2 x^{2}+1\right) in (4) is divisible by bb, we altogether derive
E:=2x2+10(modb) E:=2 x^{2}+1 \equiv 0(\bmod b)
Together with (2) this implies that
5E2+10E2A=110(modb) 5 E^{2}+10 E-2 A=11 \equiv 0 \quad(\bmod b)
Hence b=11b=11 is the only remaining candidate, and it is handled as in the first solution.

Solution 2

Solution:
Let pp be a prime such that pp divides bb. For some integer xx, we have
(x1)5x5(x+1)5(modp) (x-1)^{5} \equiv x^{5} \equiv(x+1)^{5} \quad(\bmod p)
Now, there is a primitive root gg modulo pp, so there exist u,v,wu, v, w such that
x1gu(modp),xgv(modp),x+1gw(modp) x-1 \equiv g^{u} \quad(\bmod p), \quad x \equiv g^{v} \quad(\bmod p), \quad x+1 \equiv g^{w} \quad(\bmod p)
The condition of the problem is thus
g5ug5vg5w(modp)5u5v5w(modp1) g^{5 u} \equiv g^{5 v} \equiv g^{5 w} \quad(\bmod p) \quad \Longrightarrow \quad 5 u \equiv 5 v \equiv 5 w \quad(\bmod p-1)
If p≢1(mod5)p \not \equiv 1(\bmod 5), then 5 is invertible modulo p1p-1 and thus uvw(modp1)u \equiv v \equiv w(\bmod p-1), i.e. x1xx+1(modp)x-1 \equiv x \equiv x+1(\bmod p). This is a contradiction. Hence p1(mod5)p \equiv 1(\bmod 5) and thus uvw(modp15)u \equiv v \equiv w\left(\bmod \frac{p-1}{5}\right). Thus, from (6), there exist integers k,k, \ell such that
x1gv+kp15xtk(modp)x+1gv+p15xt(modp)} where t=gp15 \left.\begin{array}{rl} x-1 & \equiv g^{v+k \frac{p-1}{5}} \equiv x t^{k} \quad(\bmod p) \\ x+1 & \equiv g^{v+\ell \frac{p-1}{5}} \\ \equiv x t^{\ell} & (\bmod p) \end{array}\right\} \quad \text { where } t=g^{\frac{p-1}{5}}
Let r=tkr=t^{k} and s=ts=t^{\ell}. In particular, the above yields r,s≢1(modp)r, s \not \equiv 1(\bmod p), and thus
x(r1)1(s1)1(modp) x \equiv-(r-1)^{-1} \equiv(s-1)^{-1} \quad(\bmod p)
It follows that
(r1)1+(s1)10(modp)r+s2(modp) (r-1)^{-1}+(s-1)^{-1} \equiv 0 \quad(\bmod p) \quad \Longrightarrow \quad r+s \equiv 2 \quad(\bmod p)
Now t51(modp)t^{5} \equiv 1(\bmod p), so rr and ss must be congruent, modulo pp, to some of the non-trivial fifth roots of unity t,t2,t3,t4t, t^{2}, t^{3}, t^{4}. Observe that, for any pair of these non-trivial roots of unity,
either one is the other's inverse, or one is the other's square. In the first case, we have r+r12(modp)r+r^{-1} \equiv 2(\bmod p), implying r1(modp)r \equiv 1(\bmod p), a contradiction. Hence
r+r22(modp)(r1)(r+2)0(modp), r+r^{2} \equiv 2 \quad(\bmod p) \quad \Longrightarrow \quad(r-1)(r+2) \equiv 0 \quad(\bmod p),
or
s2+s2(modp)(s1)(s+2)0(modp) s^{2}+s \equiv 2 \quad(\bmod p) \quad \Longrightarrow \quad(s-1)(s+2) \equiv 0 \quad(\bmod p)
Thus, since r,s≢1(modp)r, s \not \equiv 1(\bmod p), we have r2(modp)r \equiv-2(\bmod p) or s2(modp)s \equiv-2(\bmod p), and thus 1r532(modp)1 \equiv r^{5} \equiv-32(\bmod p) or an analogous equation obtained from ss. Hence p33p \mid 33. Since p1(mod5)p \equiv 1(\bmod 5), it follows that p=11p=11, i.e. bb is a power of 11 .
Examining the fifth powers modulo 11 , we see that b=11b=11 is indeed a solution with a±1(mod11)a \equiv \pm 1(\bmod 11) and, correspondingly, x±4(mod11)x \equiv \pm 4(\bmod 11). Now suppose, for the sake of contradiction, that 11211^{2} divides bb. Then, for some integer mm, we must have
(x1,x,x+1)±(3+11m,4+11m,5+11m)(mod121) (x-1, x, x+1) \equiv \pm(3+11 m, 4+11 m, 5+11 m) \quad(\bmod 121)
and thus, substituting into the condition of the problem,
35+5534m45+5544m55+5554m(mod121)122m56+44m21+11m(mod121) \begin{aligned} 3^{5}+55 \cdot 3^{4} m & \equiv 4^{5}+55 \cdot 4^{4} m \equiv 5^{5}+55 \cdot 5^{4} m \quad(\bmod 121) \\ & \Longrightarrow \quad 1-22 m \equiv 56+44 m \equiv-21+11 m \quad(\bmod 121) \end{aligned}
Hence 33m22(mod121)33 m \equiv 22(\bmod 121) and 33m44(mod121)33 m \equiv 44(\bmod 121), so 220(mod121)22 \equiv 0(\bmod 121), a contradiction. It follows that b11b \mid 11.
Finally, we conclude that the positive integers satisfying the original condition are b=11b=11, with a±1(mod11)a \equiv \pm 1(\bmod 11), and b=1b=1, for any positive integer aa.

Solution 3

Solution:
Denote the three consecutive integers by x1,xx-1, x, and x+1x+1 as in Solution 1. By computing the differences in (1), we find
F:=(x+1)5x5=5x4+10x3+10x2+5x+10(modb),G:=x5(x1)5=5x410x3+10x25x+10(modb). \begin{aligned} & F:=(x+1)^{5}-x^{5}=5 x^{4}+10 x^{3}+10 x^{2}+5 x+1 \equiv 0 \quad(\bmod b), \\ & G:=x^{5}-(x-1)^{5}=5 x^{4}-10 x^{3}+10 x^{2}-5 x+1 \equiv 0 \quad(\bmod b) . \end{aligned}
By determining the polynomial greatest divisor of F(x)F(x) and G(x)G(x) using the Euclidean algorithm, we find that
p(x)F(x)+q(x)G(x)=22 p(x) F(x)+q(x) G(x)=22
where
p(x)=15x3+30x228x+11q(x)=15x3+30x2+28x+11 \begin{aligned} & p(x)=-15 x^{3}+30 x^{2}-28 x+11 \\ & q(x)=15 x^{3}+30 x^{2}+28 x+11 \end{aligned}
Since bF(x)b \mid F(x) and bG(x)b \mid G(x), it follows from (7) that b22b \mid 22. We now finish off the problem as in Solution 1.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.