An integer sequence (xn) is defined as follows: 0≤x0<x1≤100 and xn+2=7xn+1−xn+280,∀n≥0.
a. Prove that if x0=2,x1=3 then for each positive integer n, the sum of divisors of the following number is divisible by 24 xnxn+1+xn+1xn+2+xn+2xn+3+2018.
b. Find all pairs (x0,x1) such that xnxn+1+2019 are perfect squares for infinitely many numbers n.
Solution
Lemma 1. If a positive integer n satisfies 24∣n+1 then the sum of its positive divisors σ(n) is divisible by 24.
Proof. Indeed, if d is a divisor of n then dn is also a divisor of n. Because n≡2(mod3) so it cannot be a perfect square, which means the sum of its divisors can be divided into pairs of the form d+dn=dd2+n. Note that n≡2(mod3) and d2≡1(mod3) so the sum above is divisible by 3. On the other hand, n≡7(mod3) and d≡1,3,5,7(mod8), which implies d2≡1(mod8) so the above sum is also divisible by 8. Since (3,8)=1 then the above sum is divisible by 24 and the lemma is proved. □
a. Back to our problem, denote yn=xnxn+1+xn+1xn+2+xn+2xn+3, we need to prove that σ(yn+2018) is divisible by 24. We also have 2018≡2(mod24) so according to the lemma, we need to show yn≡−3(mod24).
Consider the period of the remainder when being divided by 3 of the sequence (xn), note that xn+2≡xn+1−xn+1(mod3) we have 2, 0, 2, 0, 2, 0, ... this sequence is periodic with period 2 and yn≡0⋅2+2⋅0+0⋅2=0(mod3).
Similarly, consider the remainder of (xn) when being divided by 8, note that xn+2≡−xn+1−xn(mod8) we have 2,3,3,2,3,3,2,3,3,… which means this sequence is periodic with period 3 and yn≡2⋅3+3⋅3+3⋅2=5(mod8). It follows that (yn+3) is both divisible by 3, and 8, so yn≡−3(mod24) and a) is proved.
b. Now, we prove the following lemma.
Lemma 2. Consider the integer sequence (zn) satisfying zn+2=azn+1−zn+b then the following quantity is constant zn+12−znzn+2−bzn+1 for all n≥0. Proof. Indeed, we have the following transformation zn+12−znzn+2−bzn+1=zn+1(zn+1−b)−zn(azn+1−zn+b)=zn+1(azn−zn−1)−zn(azn+1−zn+b)=zn2−zn−1zn+1−bzn. The above equality holds for all n≥0 so zn+12−znzn+2−bzn+1=z12−z0z2−bz1=c where c is a constant. □
Thus, there exists C∈Z such that xn+12−xnxn+2−280xn+1=C. We have xn+12−xn(7xn+1−xn+280)−280xn+1xn+12+xn2−7xn+1xn−280(xn+1+xn)(xn+1+xn−140)2un2=C=C=9(xn+1xn+2019)−9⋅2019+C+1402=vn2+C+1429, where un=xn+1+xn−140, vn=3xn+1xn+2019 for all n≥0.
Since (xn) is an increasing integer sequence so it is unbounded, thus (un) is increasing and unbounded. It is also clear that if xnxn+1+2019 is a perfect square then vn∈Z+.
Hence, un+vn∣C+1429 for infinite values of n. Clearly, this case only happens when C+1429=0 so (xn+1+xn−140)2=9(xn+1xn+2019),∀n∈Z+. We have (x0+x1−140)2≥2019⋅9>442⋅32=1322 so ∣140−x0−x1∣≥133, but 0≤x0<x1<101 then 140−(x0+x1)≥133, i.e. x0+x1≤7. We also have C=x12+x02−7x1x0−280(x1+x0)=−1429. Notice that x12+x02≤49 so −1429=C<49−280(x1+x0), which implies x0+x1≥5. By direct checking, the case x1+x0=7 and x1+x0=6 has no solution. So x0+x1=5, which implies x0x1=6 so it's easy to see that x0=2,x1=3.
Therefore, (x0,x1)=(2,3) is the only satisfying pair. □
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 and solution reproduced as published; topic and difficulty added by this site.