Maths Olympiad Prep

Library / Tenth STARS OF MATHEMATICS COMPETITION /2 of 3

Tenth STARS OF MATHEMATICS COMPETITION

Number theory Difficulty 5.4 AIME, harder Prove it Romania

Determine all positive integers kk and nn for which 2k+10n2+n42^k + 10n^2 + n^4 is the square of an integer.

Solution

The required integers are k=3k = 3 and n=2n = 2. It is readily checked that these integers satisfy the condition in the statement.

To show that there are no other such, write 2k+10n2+n4=N22^k + 10n^2 + n^4 = N^2, where NN is a positive integer, so (N−n2−5)(N+n2+5)=2k−25(N - n^2 - 5)(N + n^2 + 5) = 2^k - 25.

The latter shows that N≥n2+6N \ge n^2 + 6 if k≥5k \ge 5, and of the first four positive integers, only k=3k = 3 yields a positive integer n=2n = 2, in which case N=8N = 8.

Henceforth, let k≥5k \ge 5, and notice that nn must be even, for otherwise N2=2k+10n2+n4≡3(mod4)N^2 = 2^k + 10n^2 + n^4 \equiv 3 \pmod 4, which is impossible. Let 2m,m≥12^m, m \ge 1, be the highest power of 22 dividing nn.

If k>2m+1k > 2m+1, then 22m+12^{2m+1} is the highest power of 22 dividing 2k+10n2+n4=N22^k+10n^2+n^4 = N^2, which is again impossible.

Consequently, k≤2m+1k \le 2m+1, so 2k≤22m+1≤2n22^k \le 2^{2m+1} \le 2n^2, and N2=2k+10n2+n4≤12n2+n4<(n2+6)2N^2 = 2^k + 10n^2 + n^4 \le 12n^2 + n^4 < (n^2 + 6)^2; that is, N<n2+6N < n^2 + 6, in contradiction with N≥n2+6N \ge n^2 + 6 established above. This ends the proof.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.