Problem:
An air company operates 36 airlines in a country with 16 airports. Prove that one can make a round trip that includes 4 airports.
Problem:
An air company operates 36 airlines in a country with 16 airports. Prove that one can make a round trip that includes 4 airports.
Solution:
Consider a graph whose vertices are the airports in the country. Two vertices form an edge if there is an airline between the corresponding airports. Suppose that a round trip satisfying the conditions of the problem does not exist, i.e. there is no cycle of length 4 in .
If is a vertex of denote by the number of neighbors of . Then the number of pairs both elements of which are neighbors of equals . Note that every pair is counted from at most one vertex , since otherwise there is a cycle of length 4.
Using the identity and the Root mean square - Arithmetic mean inequality we have
a contradiction.