Exercise 2187Combinatorics › Pigeonhole principleOlympiadAdded 3 Nov 2026
Ramsey-type pigeonhole
#pigeonhole#Ramsey#coloring
Statement
In any party of people, show that there are either mutual friends or mutual strangers.
Hint
Fix a person . Consider the other people: at least are friends or strangers.
Show solutionHide solution
Solution
Setup. By pigeonhole on the remaining people's relation to ( categories: friend or stranger): at least fall into the same category. WLOG, is friends with .
Among .
- If any two are friends, they and form mutual friends. Done.
- If none are friends with each other, then are mutual strangers. Done.
Conclusion. people guarantee mutual friends or mutual strangers (Ramsey ).