MathDB
$(A − A) \cap (B − B)$ is nonempty

Source: 11-th Hungary-Israel Binational Mathematical Competition 2000

April 22, 2007
functionpigeonhole principlecombinatorics proposedcombinatorics

Problem Statement

Let AA and BB be two subsets of S={1,2,...,2000}S = \{1, 2, . . . , 2000\} with AB3999|A| \cdot |B| \geq 3999. For a set XX , let XXX-X denotes the set {sts,tX,st}\{s-t | s, t \in X, s \not = t\}. Prove that (AA)(BB)(A-A) \cap (B-B) is nonempty.