Maths Olympiad Prep

Library / /187 of 462

Number theory Difficulty 5.6 AIME, harder Prove it Ireland

Find all possible values of 2n+n32^n + n^3, when nn is an integer satisfying 2nn3=42^n - n^3 = 4!

Solution

Integers n<2n < 2 obviously do not satisfy 2nn3=4!=242^n - n^3 = 4! = 24. For 2n92 \le n \le 9 we easily check that they satisfy 2n<n32^n < n^3, hence 2nn3242^n - n^3 \ne 24.
22<3224<26=4326<2333=6329=83<93 2^2 < 3^2 \qquad 2^4 < 2^6 = 4^3 \qquad 2^6 < 2^3 \cdot 3^3 = 6^3 \qquad 2^9 = 8^3 < 9^3
23<3325<26=43<5328<29=83and 2^3 < 3^3 \qquad 2^5 < 2^6 = 4^3 < 5^3 \qquad 2^8 < 2^9 = 8^3 \qquad \text{and}
27=844<866=486<497=73. 2^7 = 8 \cdot 4 \cdot 4 < 8 \cdot 6 \cdot 6 = 48 \cdot 6 < 49 \cdot 7 = 7^3.

Because 210=1024=103+242^{10} = 1024 = 10^3 + 24, n=10n = 10 satisfies the condition 2nn3=242^n - n^3 = 24. For n10n \ge 10 we show that 2n+1(n+1)3>2nn3>02^{n+1} - (n+1)^3 > 2^n - n^3 > 0. First note that
2n+1(n+1)3=22nn33n23n1>22n2n3=2(2nn3) 2^{n+1} - (n+1)^3 = 2 \cdot 2^n - n^3 - 3n^2 - 3n - 1 \\ > 2 \cdot 2^n - 2 \cdot n^3 = 2(2^n - n^3)
because 3n2+3n+1=n2(3+3n+1n2)<n33n^2 + 3n + 1 = n^2(3 + \frac{3}{n} + \frac{1}{n^2}) < n^3 for n6n \ge 6. Since 210103=24>02^{10} - 10^3 = 24 > 0 it follows now by induction that 2nn3>02^n - n^3 > 0 for n10n \ge 10 and so 2n+1(n+1)3>2(2nn3)>2nn32^{n+1} - (n+1)^3 > 2(2^n - n^3) > 2^n - n^3 as claimed.
We have shown that n=10n = 10 is the only integer that satisfies 2nn3=242^n - n^3 = 24. The only possible value for 2n+n32^n + n^3 therefore is 210+103=20242^{10} + 10^3 = 2024.

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.