Maths Olympiad Prep

Library / /402 of 520

Number theory Difficulty 7.0 National olympiad Find the answer

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.

A number or a short expression. Spacing and $ signs are ignored.

Solutions — 2

Solution 1

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

1. Define the polynomial and set up the problem:
We are given the polynomial P(n)=n5+ab P(n) = \frac{n^5 + a}{b} and need to find all positive integers a a and b b such that P(n) P(n) takes integer values for three consecutive integers n n .

2. **Introduce a new polynomial Q(n) Q(n) :**
Let Q(n)=n5+a Q(n) = n^5 + a . For P(n) P(n) to be an integer, b b must divide Q(n) Q(n) for three consecutive integers n n .

3. Analyze the divisibility conditions:
We need b b to divide the differences between Q(n) Q(n) evaluated at consecutive integers:
bQ(n+1)+Q(n1)2Q(n) b \mid Q(n+1) + Q(n-1) - 2Q(n)
bQ(n+1)Q(n1) b \mid Q(n+1) - Q(n-1)

4. Calculate the differences:
Q(n+1)=(n+1)5+a=n5+5n4+10n3+10n2+5n+1+a Q(n+1) = (n+1)^5 + a = n^5 + 5n^4 + 10n^3 + 10n^2 + 5n + 1 + a
Q(n1)=(n1)5+a=n55n4+10n310n2+5n1+a Q(n-1) = (n-1)^5 + a = n^5 - 5n^4 + 10n^3 - 10n^2 + 5n - 1 + a
Q(n+1)+Q(n1)2Q(n)=(n5+5n4+10n3+10n2+5n+1+a)+(n55n4+10n310n2+5n1+a)2(n5+a) Q(n+1) + Q(n-1) - 2Q(n) = (n^5 + 5n^4 + 10n^3 + 10n^2 + 5n + 1 + a) + (n^5 - 5n^4 + 10n^3 - 10n^2 + 5n - 1 + a) - 2(n^5 + a)
Simplifying, we get:
Q(n+1)+Q(n1)2Q(n)=20n3+10n Q(n+1) + Q(n-1) - 2Q(n) = 20n^3 + 10n
Therefore:
b20n3+10n b \mid 20n^3 + 10n

5. Calculate the second difference:
Q(n+1)Q(n1)=(n5+5n4+10n3+10n2+5n+1+a)(n55n4+10n310n2+5n1+a) Q(n+1) - Q(n-1) = (n^5 + 5n^4 + 10n^3 + 10n^2 + 5n + 1 + a) - (n^5 - 5n^4 + 10n^3 - 10n^2 + 5n - 1 + a)
Simplifying, we get:
Q(n+1)Q(n1)=10n4+20n2+2 Q(n+1) - Q(n-1) = 10n^4 + 20n^2 + 2
Therefore:
b10n4+20n2+2 b \mid 10n^4 + 20n^2 + 2

6. Combine the conditions:
b2(10n4+20n2+2)n(20n3+10n) b \mid 2(10n^4 + 20n^2 + 2) - n(20n^3 + 10n)
Simplifying, we get:
b20n4+40n2+420n410n2=30n2+4 b \mid 20n^4 + 40n^2 + 4 - 20n^4 - 10n^2 = 30n^2 + 4
Therefore:
b30n2+4 b \mid 30n^2 + 4

7. Further simplification:
b2n(30n2+4)3(20n3+10n) b \mid 2n(30n^2 + 4) - 3(20n^3 + 10n)
Simplifying, we get:
b60n3+8n60n330n=22n b \mid 60n^3 + 8n - 60n^3 - 30n = -22n
Therefore:
b22n b \mid 22n

8. **Determine possible values of b b :**
Since b b must divide 22n 22n for all n n , and gcd(Q(n+1)Q(n1),n)=1 \gcd(Q(n+1) - Q(n-1), n) = 1 , we have gcd(b,n)=1 \gcd(b, n) = 1 . Thus, b b must divide 22. The possible values for b b are 1, 2, 11, and 22.

9. Case analysis:
- **Case 1: b=1 b = 1 **
Any integer value of a a works since P(n)=n5+a P(n) = n^5 + a is always an integer.
- **Case 2: b=2 b = 2
We cannot have three consecutive fifth powers with the same remainder modulo 2, so no solution exists.
-
Case 3: b=11 b = 11 **
We need n5+a0(mod11) n^5 + a \equiv 0 \pmod{11} for three consecutive n n . Observing the fifth powers modulo 11:
151,251,351,451,551(mod11) 1^5 \equiv 1, \quad 2^5 \equiv -1, \quad 3^5 \equiv 1, \quad 4^5 \equiv -1, \quad 5^5 \equiv 1 \pmod{11}
We find that a1(mod11) a \equiv -1 \pmod{11} or a1(mod11) a \equiv 1 \pmod{11} .
- **Case 4: b=22 b = 22
By the Chinese Remainder Theorem, we cannot have three consecutive fifth powers with the same remainder modulo 22.

10. Conclusion:**
The only solutions are (a,b)=(k,1) (a, b) = (k, 1) and (a,b)=(11k±1,11) (a, b) = (11k \pm 1, 11) for kZ k \in \mathbb{Z} .

The final answer is (a,b)=(k,1),(11k±1,11) \boxed{ (a, b) = (k, 1), (11k \pm 1, 11) } for kZ k \in \mathbb{Z} .

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.