Suppose there are 6 members in an International Mathematical Olympiad team. Prove that among these 6 members there are three members who either all know each other or all don't know each other.
Solution
Suppose the members are . By the pigeonhole principle, either knows at least other members, or does not know at least 3 other members. WLOG assume it is the former case. Suppose knows . If any two of know each other, say and , then we are done since all of know each other. Otherwise, any two of do not know each other, which is also our goal. This completes the proof.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.