Maths Olympiad Prep

Library / /84 of 104

Number theory Difficulty 6.6 National Olympiad Prove it Bulgaria

Problem:
Find the number of positive integers aa less than 20032003, for which there exists a positive integer nn such that 320033^{2003} divides n3+an^{3}+a.

Solution

Solution:
We shall prove that the desired numbers have one of the forms 9k±19k \pm 1, 33(9k±1)3^{3}(9k \pm 1) or 36(9k±1)3^{6}(9k \pm 1).

Suppose that 33 does not divide aa. Since n30,±1(mod9)n^{3} \equiv 0, \pm 1 \pmod{9}, then a±1(mod9)a \equiv \pm 1 \pmod{9}.

Conversely, let a±1(mod9)a \equiv \pm 1 \pmod{9}. Since 99 divides 1311^{3}-1 and 23+12^{3}+1, then there is n0n_{0} such that n03+a=3stn_{0}^{3}+a=3^{s} t, where s2s \geq 2 and tt is not divisible by 33. We shall prove that if n1=n0+23s1tn_{1}=n_{0}+2 \cdot 3^{s-1} t, then 3s+13^{s+1} divides n13+an_{1}^{3}+a. We have that
(n0+23s1t)3+a=3st(2n02+1)+4n032s1t2+833s3t3 \left(n_{0}+2 \cdot 3^{s-1} t\right)^{3}+a=3^{s} t\left(2 n_{0}^{2}+1\right)+4 n_{0} 3^{2s-1} t^{2}+8 \cdot 3^{3s-3} t^{3}
Since 33 does not divide n0n_{0}, then 2n02+12 n_{0}^{2}+1 is divisible by 33. Moreover, 2s1s+12s-1 \geq s+1 and 3s3s+13s-3 \geq s+1. Hence n13+an_{1}^{3}+a is divisible by 3s+13^{s+1} but 33 does not divide n1n_{1}. Repeating the same argument, we get a positive integer npn_{p} such that 320033^{2003} divides np3+an_{p}^{3}+a.

Let now 33 divides a<2003a<2003. Then a=3sba=3^{s} b, where s6s \leq 6. Hence nn is divisible by 33, i.e., n=3pn0n=3^{p} n_{0}, where p1p \geq 1 and 33 does not divide n0n_{0}. If p3p \geq 3, then 393^{9} divides n3n^{3} and does not divide aa which implies that 320033^{2003} does not divide n3+an^{3}+a. Hence p=1p=1 or p=2p=2 and it is easy to see that s=3s=3 or s=6s=6, respectively.

In the first case we get that 320003^{2000} divides n03+bn_{0}^{3}+b, where 33 does not divide bb and 27b<200327b<2003. It follows as above that b±1(mod9)b \equiv \pm 1 \pmod{9}.

In the second case we get similarly that 319973^{1997} divides n03+bn_{0}^{3}+b, where 729b<2003729b<2003 and b±1(mod9)b \equiv \pm 1 \pmod{9}.

The number of the positive integers b±1(mod9)b \equiv \pm 1 \pmod{9} such that b<2003b<2003, 27b<200327b<2003 or 729b<2003729b<2003 equals 2222+1=4452 \cdot 222+1=445, 28+1=172 \cdot 8+1=17 or 11, respectively. Hence the desired number is equal to 445+17+1=463445+17+1=463.

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.