Maths Olympiad Prep

Library / /260 of 520

Number theory Difficulty 5.2 AIME, harder Find the answer

3. Find all integer pairs (a,b)(a, b) such that there exists an integer d>1d > 1 satisfying that for any positive integer nn, an+bn+1a^{n} + b^{n} + 1 is a multiple of dd.
(Chen Yonggao \quad supplied the problem)

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

Solution

3. When a,ba, b are one odd and one even, an+bn+1a^{n}+b^{n}+1 is always a multiple of 2, satisfying the condition.

When a,ba, b are both odd or both even, by d(an+bn+1)d \mid\left(a^{n}+b^{n}+1\right), we know dd is an odd number.
 Also, a2+b2+1=(a+b)22ab+1,d(a+b+1),d(a2+b2+1), \begin{array}{l} \text { Also, } a^{2}+b^{2}+1=(a+b)^{2}-2 a b+1, \\ d \mid (a+b+1), d \mid \left(a^{2}+b^{2}+1\right), \end{array}

Thus, d[(1)22ab+1]d \mid \left[(-1)^{2}-2 a b+1\right], i.e.,
d2(1ab)d \mid 2(1-a b).
Therefore, d(ab1)d \mid (a b-1).
By a3+b3+1=(a+b)(a2+b2ab)+1a^{3}+b^{3}+1=(a+b)\left(a^{2}+b^{2}-a b\right)+1 (1)(11)+1=3(modd)\equiv(-1)(-1-1)+1=3(\bmod d), d(a3+b3+1)d \mid \left(a^{3}+b^{3}+1\right),
Thus, d3d \mid 3.
Since d>1d>1, then d=3d=3.
Because (ab)2=a2+b22ab(a-b)^{2}=a^{2}+b^{2}-2 a b
120(mod3)\equiv-1-2 \equiv 0(\bmod 3),
So, ab(mod3)a \equiv b(\bmod 3).
By 0a+b+12a+1(mod3)0 \equiv a+b+1 \equiv 2 a+1(\bmod 3), we know a1(mod3)a \equiv 1(\bmod 3).
Thus, ab1(mod3)a \equiv b \equiv 1(\bmod 3).
On the other hand, when ab1(mod3)a \equiv b \equiv 1(\bmod 3), for any positive integer nn we have
an+bn+11+1+10(mod3). a^{n}+b^{n}+1 \equiv 1+1+1 \equiv 0(\bmod 3) .

Therefore, an+bn+1a^{n}+b^{n}+1 is a multiple of 3, satisfying the condition.
In summary, the integer pairs (a,b)(a, b) are (2k,2l+1)(2 k, 2 l+1),
(2k+1,2l),(3k+1,3l+1)(k,lZ) (2 k+1,2 l),(3 k+1,3 l+1)(k, l \in \mathbf{Z}) \text {. }

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.