Consider the sequence xn=2n−n, n=0,1,2,…. Find all integers m≥0 such that sm=x0+x1+x2+…+xm is a power of 2.
Solution
We have sm=k=0∑m(2k−k)=2m+1−1−2m(m+1) We prove that for m≥3, we have 2m<sm<2m+1. This inequality is equivalent to 2m<2m+1−1−2m(m+1)<2m+1 The right inequality is obvious. The left inequality is equivalent to 1+2m(m+1)<2m that is 2+22m(m+1)<2m+1 or 2((0m+1)+(2m+1))<2m+1 and we are done.
For m=0, we have s0=1=20. For m=1, we have s1=2=21. For m=2, we have s2=4=22. The solutions are m∈{0,1,2}.
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.