MathDB
Sets of integers with i+a in A or i-b in B

Source: APMO 2013, Problem 4

May 3, 2013
algebrapolynomialcombinatoricsAPMO

Problem Statement

Let aa and bb be positive integers, and let AA and BB be finite sets of integers satisfying (i) AA and BB are disjoint; (ii) if an integer ii belongs to either to AA or to BB, then either i+ai+a belongs to AA or ibi-b belongs to BB. Prove that aA=bBa\left\lvert A \right\rvert = b \left\lvert B \right\rvert. (Here X\left\lvert X \right\rvert denotes the number of elements in the set XX.)