Maths Olympiad Prep

Library / Baltic Way Problem Shortlist /19 of 31

Baltic Way Problem Shortlist, 2011

Combinatorics Difficulty 8.2 Shortlist Prove it Baltic Way

In Greifswald, there are three schools called AA, BB, and CC, each of which is attended by at least one student. Among any three students aa from AA, bb from BB, and cc from CC there are two knowing each other and two others not knowing each other. Prove that either some student from AA knows all students from BB, or some student from BB knows all students from CC, or some student from CC knows all students from AA.

Solution

Assume the contrary and let aa be a student from AA knowing as many students from BB as possible. As aa does not know all students from BB, there is a student bb from BB not known to aa. Similarly, we may pick a student cc from CC not known to bb and then a student a′a' from AA not known to cc. Applying the assumption to the sets of students {a,b,c}\{a, b, c\} and {a′,b,c}\{a', b, c\}, we learn that aa and cc know each other, and so do a′a' and bb. As bb knows a′a' but not aa, we have a≠a′a \neq a'. Moreover, the maximality condition imposed on aa tells us that some student b′b' from BB is known to aa but not to a′a'. Now if b′b' and cc knew each other, then any two students from {a,b′,c}\{a, b', c\} would know one another, which is not possible. Thus b′b' and cc do not know each other, but this means that no two students from {a′,b′,c}\{a', b', c\} know one another, which is likewise impossible. Thereby the problem is solved.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.