Olympiad Maths Prep

Library / /6 of 21

, 2007

Number theory Difficulty 8.1 Shortlist Prove it IMO

Find all pairs (k,n)(k, n) of positive integers for which 7k3n7^{k}-3^{n} divides k4+n2k^{4}+n^{2}.

Solution

Suppose that a pair (k,n)(k, n) satisfies the condition of the problem. Since 7k3n7^{k}-3^{n} is even, k4+n2k^{4}+n^{2} is also even, hence kk and nn have the same parity. If kk and nn are odd, then k4+n21+1=2(mod4)k^{4}+n^{2} \equiv 1+1=2\pmod{4}, while 7k3n730(mod4)7^{k}-3^{n} \equiv 7-3 \equiv 0\pmod{4}, so k4+n2k^{4}+n^{2} cannot be divisible by 7k3n7^{k}-3^{n}. Hence, both kk and nn must be even.

Write k=2ak=2a, n=2bn=2b. Then 7k3n=72a32b=7a3b22(7a+3b)7^{k}-3^{n}=7^{2a}-3^{2b}=\frac{7^{a}-3^{b}}{2} \cdot 2\left(7^{a}+3^{b}\right), and both factors are integers. So 2(7a+3b)7k3n2\left(7^{a}+3^{b}\right) \mid 7^{k}-3^{n} and 7k3nk4+n2=2(8a4+2b2)7^{k}-3^{n} \mid k^{4}+n^{2}=2\left(8a^{4}+2b^{2}\right), hence
7a+3b8a4+2b2.(1) 7^{a}+3^{b} \leq 8a^{4}+2b^{2} . \tag{1}
We prove by induction that 8a4<7a8a^{4}<7^{a} for a4a \geq 4, 2b2<3b2b^{2}<3^{b} for b1b \geq 1 and 2b2+93b2b^{2}+9 \leq 3^{b} for b3b \geq 3. In the initial cases a=4a=4, b=1b=1, b=2b=2 and b=3b=3 we have 844=2048<74=24018 \cdot 4^{4}=2048<7^{4}=2401, 2<32<3, 222=8<32=92 \cdot 2^{2}=8<3^{2}=9 and 232+9=33=272 \cdot 3^{2}+9=3^{3}=27, respectively.

If 8a4<7a8a^{4}<7^{a} (a4)(a \geq 4) and 2b2+93b2b^{2}+9 \leq 3^{b} (b3)(b \geq 3), then
8(a+1)4=8a4(a+1a)4<7a(54)4=7a625256<7a+1 and 2(b+1)2+9<(2b2+9)(b+1b)23b(43)2=3b169<3b+1, \begin{aligned} 8(a+1)^{4} & =8a^{4}\left(\frac{a+1}{a}\right)^{4}<7^{a}\left(\frac{5}{4}\right)^{4}=7^{a} \frac{625}{256}<7^{a+1} \quad \text{ and } \\ 2(b+1)^{2}+9 & <\left(2b^{2}+9\right)\left(\frac{b+1}{b}\right)^{2} \leq 3^{b}\left(\frac{4}{3}\right)^{2}=3^{b} \frac{16}{9}<3^{b+1}, \end{aligned}
as desired.

For a4a \geq 4 we obtain 7a+3b>8a4+2b27^{a}+3^{b}>8a^{4}+2b^{2} and inequality (1) cannot hold. Hence a3a \leq 3, and three cases are possible.

Case 1: a=1a=1. Then k=2k=2 and 8+2b27+3b8+2b^{2} \geq 7+3^{b}, thus 2b2+13b2b^{2}+1 \geq 3^{b}. This is possible only if b2b \leq 2. If b=1b=1 then n=2n=2 and k4+n27k3n=24+227232=12\frac{k^{4}+n^{2}}{7^{k}-3^{n}}=\frac{2^{4}+2^{2}}{7^{2}-3^{2}}=\frac{1}{2}, which is not an integer. If b=2b=2 then n=4n=4 and k4+n27k3n=24+427234=1\frac{k^{4}+n^{2}}{7^{k}-3^{n}}=\frac{2^{4}+4^{2}}{7^{2}-3^{4}}=-1, so (k,n)=(2,4)(k, n)=(2,4) is a solution.

Case 2: a=2a=2. Then k=4k=4 and k4+n2=256+4b2743n=493b(49+3b)k^{4}+n^{2}=256+4b^{2} \geq |7^{4}-3^{n}|=|49-3^{b}| \cdot (49+3^{b}). The smallest value of the first factor is 22, attained at b=3b=3, so 128+2b211(49+3b)128+2b^{2} \geq 11(49+3^{b}), which is impossible since 3b>2b23^{b}>2b^{2}.

Case 3: a=3a=3. Then k=6k=6 and k4+n2=1296+4b2763n=3433b(343+3b)k^{4}+n^{2}=1296+4b^{2} \geq |7^{6}-3^{n}|=|343-3^{b}| \cdot (343+3^{b}). Analogously, 3433b100|343-3^{b}| \geq 100 and we have 324+b225(343+3b)324+b^{2} \geq 25(343+3^{b}), which is impossible again.

We find that there exists a unique solution (k,n)=(2,4)(k, n)=(2,4).

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.