Olympiad Maths Prep

Track / Stage 7 / 18 of 300 #1418 of 2000

Problem 1418

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it

Seventeen people correspond by mail with one another-each one with all the rest. In their letters only three different topics are discussed. each pair of correspondents deals with only one of these topics. Prove that there are at least three people who write to each other about the same topic.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Choose a particular person from the group:
- Let's denote this person as P P .
- P P corresponds with the remaining 16 people.

2. Apply the Pigeonhole Principle:
- Since there are only 3 topics, by the Pigeonhole Principle, P P must correspond with at least 163=6 \lceil \frac{16}{3} \rceil = 6 people on the same topic. Let's call this topic I I .
- Denote these 6 people as P1,P2,P3,P4,P5,P6 P_1, P_2, P_3, P_4, P_5, P_6 .

3. Check for pairs within the 6 people:
- If any pair among P1,P2,P3,P4,P5,P6 P_1, P_2, P_3, P_4, P_5, P_6 corresponds on topic I I , then P P and this pair form a group of three people who all correspond on topic I I . This completes the proof.
- If no such pair exists, then all pairs among P1,P2,P3,P4,P5,P6 P_1, P_2, P_3, P_4, P_5, P_6 must correspond on topics II II or III III .

4. Choose a particular person from the 6 people:
- Let's choose P1 P_1 from P1,P2,P3,P4,P5,P6 P_1, P_2, P_3, P_4, P_5, P_6 .
- P1 P_1 corresponds with the remaining 5 people P2,P3,P4,P5,P6 P_2, P_3, P_4, P_5, P_6 .

5. Apply the Pigeonhole Principle again:
- Since there are only 2 topics left (topics II II and III III ), by the Pigeonhole Principle, P1 P_1 must correspond with at least 52=3 \lceil \frac{5}{2} \rceil = 3 people on the same topic. Let's call this topic II II .
- Denote these 3 people as P2,P3,P4 P_2, P_3, P_4 .

6. Check for pairs within the 3 people:
- If any pair among P2,P3,P4 P_2, P_3, P_4 corresponds on topic II II , then P1 P_1 and this pair form a group of three people who all correspond on topic II II . This completes the proof.
- If no such pair exists, then all pairs among P2,P3,P4 P_2, P_3, P_4 must correspond on topic III III .

7. Conclusion:
- In this case, P2,P3,P4 P_2, P_3, P_4 form a group of three people who all correspond on topic III III .

Thus, in all cases, we have found at least three people who write to each other about the same topic.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.