2024 USAMO Problems/Problem 2
Let be finite sets of integers whose intersection is not empty. For each non-empty
, the size of the intersection of the sets in
is a multiple of the number of sets in
. What is the least possible number of elements that are in at least 50 sets?
Solution 1
Let's determine the smallest possible number of elements that appear in at least 50 of the sets.
First, we establish some notation. For any subset , let
denote the intersection of all sets in
. By the problem statement,
is divisible by
.
We'll use a binary encoding approach. For each element in our universe, define its "signature" as a binary string of length 100, where the
-th bit is 1 if
and 0 otherwise.
For any signature with exactly
ones, corresponding elements must appear in exactly
sets. The problem condition requires that for any subset of sets corresponding to positions where 1's appear in some signature
, the number of elements having signature
that contains all 1's from
must be divisible by
.
Let's denote by the number of elements with signature
. The problem condition translates to: for any signature
,
divides
.
Key claim: For any signature with
, we need
.
Proof: By the divisibility condition, must be divisible by 50. For any
strictly containing
, if we sum over all such
of size 50, each
with
gets counted multiple times. To satisfy the divisibility condition for each individual
, we need
for each signature
with exactly 50 ones.
Since there are different ways to choose 50 positions for ones in the signature, and each such signature must correspond to at least 50 elements, the minimum number of elements appearing in at least 50 sets is
.
Therefore, the answer is .
~ brandonyee