Subsets of \{1, 2,\ldots, n\}
Source: Romanian TST 4 2008, Problem 3
June 13, 2008
inductionpigeonhole principlecombinatorics proposedcombinatorics
Problem Statement
Let be a positive integer and let m \geq 2^{n\minus{}1}\plus{}1. Prove that for each family of nonzero distinct subsets of there exist , , such that A_i \cup A_j \equal{} A_k.