Maths Olympiad Prep

Track / Stage 6 / 59 of 400 #1059 of 1964

Problem 1059

National olympiad, first round
Combinatorics Difficulty 6.1 Prove it

215. Given a horizontal strip on a plane, the edges of which are parallel lines, and nn lines intersecting this strip. Any two of these lines intersect inside the strip, and no three of them have a common point. Consider all paths starting on the lower edge of the strip, traveling along the given lines, and ending on the upper edge of the strip, with the property that as we travel along such a path, we always move upwards; upon reaching an intersection point of the lines, we must switch to another line (Fig. 10). Prove that among such paths:

a) there are at least n/2n / 2 paths without common points;

b) there is a path consisting of at least nn segments;

c)* there is a path passing through no more than n2+1\frac{n}{2} + 1 lines;

d)* there is a path passing through all nn lines. *)

!

Fig. 10

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

215. Let A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} be the points of intersection of the lines with the lower edge of the strip, numbered in order (from left to right), and B1,B2,,BnB_{1}, B_{2}, \ldots, B_{n} be the points of intersection with the upper edge (also from left to right). We will number the paths starting from points A1,A2,,AnA_{1}, A_{2}, \ldots, A_{n} in order with the numbers 1,2,,n1, 2, \ldots, n. From the rules of constructing the paths, the following properties follow.

11^{\circ} Each segment of each line is traversed by exactly one path.

22^{\circ} Adjacent paths, the kk-th and (k+1)(k+1)-th, touch at vertices, and the kk-th path always lies to the left of the (k+1)(k+1)-th path (for each k=1,2,,n1k=1, 2, \ldots, n-1). Non-adjacent paths do not have any common points.

33^{\circ} The kk-th path ends at point BkB_{k}.

Now let's prove all the statements of the problem.

a) Consider all paths with odd numbers. According to property 11^{\circ}, they cannot have common points, and their number is at least n/2n / 2.

b) Let's count the total number of segments on all paths in two ways. Each segment AiBn+1tA_{i} B_{n+1-t} of one of the lines is divided by points of intersection with the other lines into nn segments. Therefore, the total number of segments is n2n^{2}. According to 11^{\circ}, we should get the same sum n2n^{2} by summing the number of segments in all nn paths. Therefore, at least one of the summands will be no less than nn.

Of course, statement b) also follows from g).

c) Let's estimate the number of segments in the two extreme paths, the 1st and the nn-th.

These paths bound convex sets lying to the left of the 1st path and to the right of the nn-th path; the first path lies within the angle A1PB1A_{1} P B_{1}, and the second within the angle AnPBnA_{n} P B_{n}, where PP is the point of intersection of the lines A1BnA_{1} B_{n} and AnB1A_{n} B_{1}. The other lines A2Bn1,A3Bn2,,An1B2A_{2} B_{n-1}, A_{3} B_{n-2}, \ldots, A_{n-1} B_{2} can have a common segment only with one of the two extreme paths (specifically, with the one that lies on the other side of this line from the point PP). Therefore, the total number of segments in the two extreme paths is no more than 4+(n2)4 + (n-2) segments. Therefore, in one of them, there are no more than n2+1\frac{n}{2} + 1 segments.

d) Consider the middle path, i.e., the path with number m=(n+1)/2m = (n+1) / 2 if nn is odd and m=n/2m = n / 2 if nn is even, and prove that it passes through all the lines (Fig. 89). Indeed, it divides the strip into two regions: each of the segments A1BnA_{1} B_{n} and A2Bn1,,AnB1A_{2} B_{n-1}, \ldots, A_{n} B_{1} starts in one of the regions (possibly on the boundary) and ends in the other and, therefore, has a common point with the middle path, and hence (by the rule of constructing paths) - a common segment.

\nabla It would be interesting to obtain good lower and upper bounds for the number of segments in the maximum (by the number of segments) path.

!

Fig. 89

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