MathDB
Differences equal to a power of 2

Source: Kürschak 2008, problem 2

July 6, 2014
combinatorics unsolvedcombinatorics

Problem Statement

Let n1n\ge 1 and a1<a2<<ana_1<a_2<\dots<a_n be integers. Let SS be the set of pairs 1i<jn1\le i<j\le n for which ajaia_j-a_i is a power of 22, and TT be the set of pairs 1i<jn1\le i<j\le n with jij-i a power of 22. (Here, the powers of 22 are 1,2,4,1,2,4,\dots.) Prove that ST|S|\le |T|.