Maths Olympiad Prep

Library / /5 of 7

Combinatorics Difficulty 6.6 National Olympiad Prove it Switzerland

Problem:

The Tokyo Metro system is one of the most efficient in the world. There is some odd positive integer kk such that each metro line passes through exactly kk stations, and each station is serviced by exactly kk metro lines. One can get from any station to any other station using only one metro line - but this connection is unique. Furthermore, any two metro lines must share exactly one station. David is planning an excursion for the IMO team, and wants to visit a set SS of kk stations. He remarks that no three of the stations in SS are on a common metro line. Show that there is some station not in SS, which is connected to every station in SS by a different metro line.

Solutions — 3

Solution 1

Solution:

Call a metro line charming if it contains exactly one of the stations David wants to visit, and breathtaking if it contains two such stations. Every train station in SS has kk metro lines passing through it, of which k1k-1 link it to other members of SS and are breathtaking, and the last one is charming. In particular, we have a one-to-one correspondence between charming metro lines and stations in SS and so there are kk charming metro lines.

Consider now an arbitrary breathtaking metro line MM and an arbitrary station ss on that line. We claim ss must lie on exactly one charming metro line. Note that this has already been proven for stations in SS, so suppose sSs \notin S. Firstly, it has to lie on a charming metro line, because every breathtaking metro line connects it to two stations in SS but this is a disjoint partition of SS and SS has an odd number of elements. However, there must now be at least one charming metro line for every element of MM and these metro lines must be distinct, meaning there is necessarily a one-to-one correspondence and there is exactly one charming metro line passing through every station on MM.

Consider now the intersection of two charming lines. This station cannot lie on a breathtaking line by the converse of the previous claim. It follows that it must lie on all the charming lines, in order for it to be possible to go from it to stations in SS without changing metro line. This intersection is therefore the desired station.

Solution 2

Solution:

As before, consider charming and breathtaking metro lines, and call a metro line dull if it contains no elements of SS. It is easy to see there is at least one dull metro line, as it is not difficult to compute that we have kk charming metro lines, k(k1)2\frac{k(k-1)}{2} breathtaking metro lines but k2k+1k^{2}-k+1 metro lines in total (the last computation follows from the fact that there are as many metro lines as stations by double counting, and you can count the number of stations as k(k1)+1k(k-1)+1 by considering an arbitrary station and looking at the distinct stations on each metro line it is on). Furthermore, these three definitions give a trichotomy on the metro lines.

Consider an arbitrary dull metro line DD. Every station on DD needs to lie on at least k+12\frac{k+1}{2} non-dull metro lines, to connect it to the kk (odd) stations in SS, since each non-dull metro line can connect it to at most 2 of these. Additionally, there is a bijection between non-dull metro lines and stations in DD by the unique intersection of metro lines condition. As there are k(k+1)2\frac{k(k+1)}{2} non-dull metro lines in total, every station on a dull metro line must lie on exactly k2+12\frac{k^{2}+1}{2} non-dull metro lines, of which exactly one is charming.

Now consider the intersection of two charming metro lines. If this station lies on a dull metro line, this contradicts what we have just proven. So it cannot lie on a dull metro line and since it lies on kk metro lines each of which connect it to at least one station in SS, every metro line it is on must connect it to a different station in SS.

Solution 3

Solution:

As before, consider charming and breathtaking metro lines. In particular, it is not too hard to show every station not in SS is on at least one charming line, by a simple parity argument.

Now, we place an upper bound on the number of stations not in SS. As shown in previous solutions, we know there are kk charming lines, so order this arbitrarily. The first charming line contains exactly k1k-1 stations not in SS. The second charming line contains at most k2k-2 new stations not in SS, as it must intersect with the previous charming line in at least one station. The third charming line contains at most k2k-2 new stations, as it must intersect with the previous charming lines in at least one station. Continuing in this manner, we obtain a total upper bound of k1+(k2)(k1)=k22k+1k-1+(k-2)(k-1)=k^{2}-2 k+1 stations not in SS.

However, as in previous solutions, one can show there are k2k+1k^{2}-k+1 stations in total, meaning this bound is tight and during our bounding process, each charming metro line had to provide k2k-2 new stations. This implies that all the charming metro lines intersect in one station, which is the desired station.

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.

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