Maths Olympiad Prep

Library / /1 of 10

, 2015

Number theory Difficulty 4.3 AIME Prove it Taiwan

Let the sequence {an}\{a_n\} satisfy an+1=an3+103, n=1,2,a_{n+1} = a_n^3 + 103,\ n = 1, 2, \dots.
Prove that there exists at most one positive integer nn such that ana_n is a perfect square.

Solution

Taking mod 4, we can find that
(an,an+1)=(0,3)(mod4) (a_n, a_{n+1}) = (0, 3) \pmod 4
(an,an+1)=(1,0)(mod4) (a_n, a_{n+1}) = (1, 0) \pmod 4
(an,an+1)=(2,3)(mod4) (a_n, a_{n+1}) = (2, 3) \pmod 4
(an,an+1)=(3,2)(mod4). (a_n, a_{n+1}) = (3, 2) \pmod 4.
Note that a perfect square modulo 4 can only be 0 or 1. If an=0(mod4)a_n = 0 \pmod 4, then for all m>nm > n, we must have am=2(mod4)a_m = 2 \pmod 4 or am=3(mod4)a_m = 3 \pmod 4, so subsequent terms cannot be perfect squares. And if an=1(mod4)a_n = 1 \pmod 4, then an+1=0(mod4)a_{n+1} = 0 \pmod 4, and the previous discussion still applies. From this we know that at most two terms (an,an+1)(a_n, a_{n+1}) can be perfect squares.
Now suppose an=p2,an+1=q2a_n = p^2, a_{n+1} = q^2. Substituting into the original equation, we get p6+103=q2p^6 + 103 = q^2, that is, 103=(q+p3)(qp3)103 = (q + p^3)(q - p^3). Since 103 is prime, we must have q+p3=103q + p^3 = 103 and qp3=1q - p^3 = 1, that is, p3=51p^3 = 51, a contradiction! Therefore, at most one term can be a perfect square.

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 translated into English from the original; metadata (topic, difficulty) added by this project.