Maths Olympiad Prep

Library / /10 of 61

Number theory Difficulty 6.0 AIME, harder Prove it Canada

Problem:
If f(x)=x2+xf(x) = x^{2} + x, prove that the equation 4f(a)=f(b)4 f(a) = f(b) has no solutions in positive integers aa and bb.

Solution

Solution:
Let f(x)=x2+xf(x) = x^2 + x. The equation is 4f(a)=f(b)4 f(a) = f(b), i.e.,

4(a2+a)=b2+b. 4(a^2 + a) = b^2 + b.

Expanding:
4a2+4a=b2+b 4a^2 + 4a = b^2 + b
Bring all terms to one side:
4a2+4ab2b=0 4a^2 + 4a - b^2 - b = 0
4a2+4a=b2+b 4a^2 + 4a = b^2 + b

Let us try to solve for bb in terms of aa:

b2+b4a24a=0 b^2 + b - 4a^2 - 4a = 0
This is a quadratic in bb:
b2+b(4a2+4a)=0 b^2 + b - (4a^2 + 4a) = 0
The discriminant must be a perfect square for integer solutions:

The quadratic formula gives:
b=1±1+16a2+16a2 b = \frac{-1 \pm \sqrt{1 + 16a^2 + 16a}}{2}
So 1+16a2+16a1 + 16a^2 + 16a must be a perfect square.
Let 1+16a2+16a=k21 + 16a^2 + 16a = k^2 for some integer kk.

So:
k216a216a=1 k^2 - 16a^2 - 16a = 1
k216(a2+a)=1 k^2 - 16(a^2 + a) = 1

Let aa be a positive integer. Then a2+aa^2 + a is always even, so 16(a2+a)16(a^2 + a) is divisible by 3232.

Let us try small values of aa:

If a=1a = 1: 12+1=21^2 + 1 = 2, 16×2=3216 \times 2 = 32, k2=1+32=33k^2 = 1 + 32 = 33 (not a perfect square).

If a=2a = 2: 22+2=62^2 + 2 = 6, 16×6=9616 \times 6 = 96, k2=1+96=97k^2 = 1 + 96 = 97 (not a perfect square).

If a=3a = 3: 32+3=123^2 + 3 = 12, 16×12=19216 \times 12 = 192, k2=1+192=193k^2 = 1 + 192 = 193 (not a perfect square).

If a=4a = 4: 42+4=204^2 + 4 = 20, 16×20=32016 \times 20 = 320, k2=1+320=321k^2 = 1 + 320 = 321 (not a perfect square).

If a=5a = 5: 52+5=305^2 + 5 = 30, 16×30=48016 \times 30 = 480, k2=1+480=481k^2 = 1 + 480 = 481 (not a perfect square).

In general, k2=16a2+16a+1=(4a+2)23k^2 = 16a^2 + 16a + 1 = (4a + 2)^2 - 3.

So k2+3=(4a+2)2k^2 + 3 = (4a + 2)^2.

Thus, (4a+2)2k2=3(4a + 2)^2 - k^2 = 3.

So (4a+2k)(4a+2+k)=3(4a + 2 - k)(4a + 2 + k) = 3.

The only integer factorizations of 33 are (1,3)(1, 3) and (1,3)(-1, -3).

Case 1: 4a+2k=14a + 2 - k = 1, 4a+2+k=34a + 2 + k = 3

Add: 2(4a+2)=42(4a + 2) = 4, so 4a+2=24a + 2 = 2, so a=0a = 0 (not positive integer).

Case 2: 4a+2k=14a + 2 - k = -1, 4a+2+k=34a + 2 + k = -3

Add: 2(4a+2)=42(4a + 2) = -4, so 4a+2=24a + 2 = -2, so a=1a = -1 (not positive integer).

Case 3: 4a+2k=34a + 2 - k = 3, 4a+2+k=14a + 2 + k = 1

Add: 2(4a+2)=42(4a + 2) = 4, so 4a+2=24a + 2 = 2, a=0a = 0 (not positive integer).

Case 4: 4a+2k=34a + 2 - k = -3, 4a+2+k=14a + 2 + k = -1

Add: 2(4a+2)=42(4a + 2) = -4, 4a+2=24a + 2 = -2, a=1a = -1 (not positive integer).

Therefore, there are no positive integer solutions for aa.

Therefore, the equation 4f(a)=f(b)4 f(a) = f(b) has no solutions in positive integers aa and bb.

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.