MathDB
Approximating with sums of subsets of a geometric series

Source: Balkan MO 2012 - Problem 3

April 28, 2012
inductioninequalitiesfloor functionlogarithmscombinatorics unsolvedcombinatorics

Problem Statement

Let nn be a positive integer. Let Pn={2n,2n13,2n232,,3n}.P_n=\{2^n,2^{n-1}\cdot 3, 2^{n-2}\cdot 3^2, \dots, 3^n \}. For each subset XX of PnP_n, we write SXS_X for the sum of all elements of XX, with the convention that S=0S_{\emptyset}=0 where \emptyset is the empty set. Suppose that yy is a real number with 0y3n+12n+1.0 \leq y \leq 3^{n+1}-2^{n+1}. Prove that there is a subset YY of PnP_n such that 0ySY<2n0 \leq y-S_Y < 2^n