Olympiad Maths Prep

Track / Stage 6 / 303 of 400 #1303 of 2000

Problem 1303

National olympiad, first round
Number theory Difficulty 6.5 Find the answer

If nn is a positive integer such that 8n+18n+1 is a perfect square, then
(A) n must be odd\textbf{(A)}~n\text{ must be odd}
(B) n cannot be a perfect square\textbf{(B)}~n\text{ cannot be a perfect square}
(C) n cannot be a perfect square\textbf{(C)}~n\text{ cannot be a perfect square}
(D) None of the above\textbf{(D)}~\text{None of the above}

Official solution

1. Let 8n+1=k2 8n + 1 = k^2 for some integer k k . This implies:
8n=k21 8n = k^2 - 1
8n=(k1)(k+1) 8n = (k-1)(k+1)

2. Since 8n 8n is even, (k1)(k+1) (k-1)(k+1) must also be even. Note that k1 k-1 and k+1 k+1 are two consecutive even numbers, so one of them must be divisible by 2, and the other must be divisible by 4. Therefore, (k1)(k+1) (k-1)(k+1) is divisible by 8.

3. Let us check if n n must be odd. Suppose n n is even, say n=2m n = 2m . Then:
8(2m)+1=k2 8(2m) + 1 = k^2
16m+1=k2 16m + 1 = k^2
This implies k21(mod16) k^2 \equiv 1 \pmod{16} . The quadratic residues modulo 16 are 0,1,4,9 0, 1, 4, 9 , so k21(mod16) k^2 \equiv 1 \pmod{16} is possible. Therefore, n n can be even.

4. Now, let us check if n n can be a perfect square. Suppose n=m2 n = m^2 . Then:
8m2+1=k2 8m^2 + 1 = k^2
k28m2=1 k^2 - 8m^2 = 1
This is a Pell's equation, which has infinitely many solutions in integers (k,m) (k, m) . Therefore, n n can be a perfect square.

5. Since n n can be even and n n can be a perfect square, options (A), (B), and (C) are incorrect. Therefore, the correct answer is:
None of the above \boxed{\text{None of the above}}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.