Addition of subsets
Source: China Mathematical Olympiad 2014 Q6
December 22, 2013
pigeonhole principleceiling functioncombinatorics proposedcombinatorics
Problem Statement
For non-empty number sets , define the sets and .
Let be a positive integer, and be two non-empty subsets of . Show that there exists a subset of such that
1) ,
2) ,
where is the number of elements of the finite set .