Maths Olympiad Prep

Library / /21 of 21

Combinatorics Difficulty 7.7 National Olympiad, round 2 Prove it Italy

Problem:

Let nn be a positive integer. A train stops at 2n2 n stations, including the initial and the final one, numbered in order from the first to the 2n2 n-th. It is known that in a certain carriage, for every pair of integers i,ji, j such that 1i<j2n1 \leq i<j \leq 2 n, exactly one seat has been booked for the journey between the ii-th station and the jj-th one. Obviously different bookings cannot overlap. Determine, as a function of nn, the minimum number of seats that must be available in that carriage in order for the described situation to be possible.

Solution

Solution:

Let us consider the stretch from the nn-th station to the n+1n+1-th one. On this stretch, in the carriage in question, there are all the passengers who boarded at one of the nn stations from the first to the nn-th one and are heading to one of the nn stations from the n+1n+1-th to the 2n2 n-th one. The total number of passengers present at that moment in that carriage is then the product of the number of preceding stations by the number of following stations, that is n2n^{2}, which is then the minimum number of seats that must be available.

Furthermore, n2n^{2} seats are also sufficient. Indeed, let us place the bookings in the following way:
- 2n12 n-1 seats occupied for the whole route of the train, of which 1 occupied by the passenger traveling from the first to the 2n2 n-th station and the other 2n22 n-2, for every integer kk such that 1<k<2n1<k<2 n, occupied first by the passenger traveling from the first to the kk-th station and then by the passenger traveling from the kk-th to the 2n2 n-th station.
- 2n32 n-3 seats occupied from the second to the 2n12 n - 1-th station, of which 1 occupied by the passenger traveling from the second to the 2n12 n - 1-th station and the other 2n42 n-4, for every integer kk such that 2<k<2n22<k<2 n-2, occupied first by the passenger traveling from the second to the kk-th station and then by the passenger traveling from the kk-th to the 2n12 n - 1-th station.
- ...
- 3 seats occupied from the n1n - 1-th to the n+2n+2-th station, of which one for the journey between stations n1n-1 and n+2n+2, one for the journey between stations n1n-1 and nn and then between nn and n+2n+2, and the last one first for the journey between n1n-1 and n+1n+1 and afterward for the journey between n+1n+1 and n+2n+2.
- 1 seat for the journey between station nn and n+1n+1
In this way the seats needed are given by the sum of all the odd integers from 1 to 2n12 n-1, and they are n2n^{2} by a well-known identity. Let i,ji, j then be integers such that 1i<j2n1 \leq i<j \leq 2 n. Then:
- If i<jni<j \leq n the passenger traveling between the ii-th and the jj-th station will have one of the 2n2i+12 n-2 i+1 seats occupied for the journey between the ii-th station and the 2n+1i2 n+1-i-th one, and symmetrically if n+1i<jn+1 \leq i<j.
- If ini \leq n and n+1jn+1 \leq j, and ni>j(n+1)n-i>j-(n+1), the passenger traveling between the ii-th and the jj-th station will have one of the 2n2i+12 n-2 i+1 seats occupied for the journey between the ii-th station and the 2n+1i2 n+1-i-th one, and symmetrically if ni<j(n+1)n-i<j-(n+1). If instead ni=j(n+1)n-i=j-(n+1) the journey will take place entirely on one of the seats occupied between the ii-th station and the 2n+1i2 n+1 - i-th one. There are no other cases for the choice of ii and jj, so all the necessary seats have been assigned to their respective passengers.

- For n=1n=1 it is clearly sufficient to have 1=121=1^{2} seat to go from the first to the second station.
- If n>1n>1, for the passengers traveling between the ii-th and the jj-th station with 1<i<j<2n1<i<j<2 n, (n1)2(n-1)^{2} seats are sufficient; indeed we can apply the inductive hypothesis to the stretch from the second to the 2n12 n - 1-th station, which contains 2(n1)2(n-1) stations. Moreover there are added 1 passenger traveling between the first and the 2n2 n-th station, who will require a further seat, 2n22 n-2 passengers traveling between the first and the kk-th station, with 1<k<2n1<k<2 n, and another 2n22 n-2 traveling between the hh-th and the 2n22 n-2-th station, for 1<h<2n1<h<2 n; these latter ones can be arranged in 2n22 n-2 seats by having, for every integer kk such that 1<k<2n1<k<2 n, one seat occupied first by the passenger traveling between the first and the kk-th station and then by the passenger traveling from the kk-th station to the end. It will then be enough to add 2n12 n-1 seats, and (n1)2+2n1=n2(n-1)^{2}+2 n-1=n^{2}

Let us show that, if there are at least n2n^{2} total seats available, at any station other than obviously the final one, regardless of how the passengers sit down when boarding the train and then occupy the seat for the whole duration of their respective journey, the newly boarding passengers will always find a free seat for themselves.
At the kk-th station, with 1k<2n1 \leq k<2 n, at the moment the new passengers board the train, there are still in the carriage all the passengers traveling starting from one of the stations preceding the kk-th one and heading to one of the stations following it, and there are therefore (k1)(2nk)(k-1)(2 n-k) of them. There remain available n2(k1)(2nk)n^{2}-(k-1)(2 n-k) seats, which must be enough for the 2nk2 n-k passengers who are boarding at the kk-th station. It must therefore hold that n2(k1)(2nk)2nkn^{2}-(k-1)(2 n-k) \geq 2 n-k, that is n2(k1)(2nk)+2nk=k(2nk)=(n(nk))(n+(nk))=n2(nk)2n^{2} \geq(k-1)(2 n-k)+2 n-k=k(2 n-k)=(n-(n-k))(n+(n-k))=n^{2}-(n-k)^{2}, and this is indeed the case, since (nk)20(n-k)^{2} \geq 0 being a square.

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 translated into English from it; metadata (topic, difficulty) added by this project.