Maths Olympiad Prep

Library / /38 of 48

Geometry Difficulty 7.8 National olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

There are nn line segments on the plane, no three intersecting at a point, and each pair intersecting once in their respective interiors. Tony and his 2n12 n-1 friends each stand at a distinct endpoint of a line segment. Tony wishes to send Christmas presents to each of his friends as follows:
First, he chooses an endpoint of each segment as a "sink". Then he places the present at the endpoint of the segment he is at. The present moves as follows:
- If it is on a line segment, it moves towards the sink.
- When it reaches an intersection of two segments, it changes the line segment it travels on and starts moving towards the new sink.
If the present reaches an endpoint, the friend on that endpoint can receive their present. Prove Tony can send presents to exactly nn of his 2n12 n-1 friends.

Solutions — 2

Solution 1

Draw a circle that encloses all the intersection points between line segments and extend all line segments until they meet the circle, and then move Tony and all his friends to the circle. Number the intersection points with the circle from 1 to 2n2 n anticlockwise, starting from Tony (Tony has number 1). We will prove that the friends eligible to receive presents are the ones on even-numbered intersection points.

First part: at most nn friends can receive a present.

The solution relies on a well-known result: the nn lines determine regions inside the circle; then it is possible to paint the regions with two colors such that no regions with a common (line) boundary have the same color. The proof is an induction on nn : the fact immediately holds for n=0n=0, and the induction step consists on taking away one line \ell, painting the regions obtained with n1n-1 lines, drawing \ell again and flipping all colors on exactly one half plane determined by \ell.

Now consider the line starting on point 1. Color the regions in red and blue such that neighboring regions have different colors, and such that the two regions that have point 1 as a vertex are red on the right and blue on the left, from Tony's point of view. Finally, assign to each red region the clockwise direction and to each blue region the anticlockwise direction. Because of the coloring, every boundary will have two directions assigned, but the directions are the same since every boundary divides regions of different colors. Then the present will follow the directions assigned to the regions: it certainly does for both regions in the beginning, and when the present reaches an intersection it will keep bordering one of the two regions it was dividing. To finish this part of the problem, consider the regions that share a boundary with the circle. The directions alternate between outcoming and incoming, starting from 1 (outcoming), so all even-numbered vertices are directed as incoming and are the only ones able to receive presents.

Second part: all even-numbered vertices can receive a present.

First notice that, since every two chords intersect, every chord separates the endpoints of each of the other n1n-1 chords. Therefore, there are n1n-1 vertices on each side of every chord, and each chord connects vertices kk and k+n,1knk+n, 1 \leq k \leq n.

We prove a stronger result by induction in nn : let kk be an integer, 1kn1 \leq k \leq n. Direct each chord from ii to i+ni+n if 1ik1 \leq i \leq k and from i+ni+n to ii otherwise; in other words, the sinks are k+1,k+2,,k+nk+1, k+2, \ldots, k+n. Now suppose that each chord sends a present, starting from the vertex opposite to each sink, and all presents move with the same rules. Then kik-i sends a present to k+i+1,i=0,1,,n1k+i+1, i=0,1, \ldots, n-1 (indices taken modulo 2n2 n ). In particular, for i=k1i=k-1, Tony, in vertex 1, send a present to vertex 2k2 k. Also, the nn paths the presents make do not cross (but they may touch.) More formally, for all i,1ini, 1 \leq i \leq n, if one path takes a present from kik-i to k+i+1k+i+1, separating the circle into two regions, all paths taking a present from kjk-j to k+j+1,j<ik+j+1, j<i, are completely contained in one region, and all paths taking a present from kjk-j to k+j+1,j>ik+j+1, j>i, are completely contained in the other region. For instance, possible {}{1}\{ \}^\{1\} paths for k=3k=3 and n=5n=5 follow:

Figure 1

The result is true for n=1n=1. Let n>1n>1 and assume the result is true for less chords. Consider the chord that takes kk to k+nk+n and remove it. Apply the induction hypothesis to the remaining n1n-1 lines: after relabeling, presents would go from kik-i to k+i+2,1in1k+i+2,1 \leq i \leq n-1 if the chord were not there.

Reintroduce the chord that takes kk to k+nk+n. From the induction hypothesis, the chord intersects the paths of the presents in the following order: the ii-th path the chord intersects is the the one that takes kik-i to k+i,i=1,2,,n1k+i, i=1,2, \ldots, n-1.

Figure 2

Paths without chord kk+nk \rightarrow k+n

Figure 3

Corrected paths with chord kk+nk \rightarrow k+n

Then the presents cover the following new paths: the present from kk will leave its chord and take the path towards k+1k+1; then, for i=1,2,,n1i=1,2, \ldots, n-1, the present from kik-i will meet the chord from kk to k+nk+n, move towards the intersection with the path towards k+i+1k+i+1 and go to k+i+1k+i+1, as desired. Notice that the paths still do not cross. The induction (and the solution) is now complete.

Solution 2

First part: at most nn friends can receive a present.

Similarly to the first solution, consider a circle that encompasses all line segments, extend the lines, and use the endpoints of the chords instead of the line segments, and prove that each chord connects vertices kk and k+nk+n. We also consider, even in the first part, nn presents leaving from nn outcoming vertices.

First we prove that a present always goes to a sink. If it does not, then it loops; let it first enter the loop at point PP after turning from chord aa to chord bb. Therefore after it loops once, it must turn to chord bb at PP. But PP is the intersection of aa and bb, so the present should turn from chord aa to chord bb, which can only be done in one way - the same way it came in first. This means that some part of chord aa before the present enters the loop at PP is part of the loop, which contradicts the fact that PP is the first point in the loop. So no present enters a loop, and every present goes to a sink.

Figure 4

There are no loops

Figure 5

No two paths cross

The present paths also do not cross: in fact, every time two paths share a point PP, intersection of chords aa and bb, one path comes from aa to bb and the other path comes from bb to aa, and they touch at PP. This implies the following sequence of facts:
- Every path divides the circle into two regions with paths connecting vertices within each region.
- All nn presents will be delivered to nn different persons; that is, all sinks receive a present. This implies that every vertex is an endpoint of a path.
- The number of chord endpoints inside each region is even, because they are connected within their own region.

Now consider the path starting at vertex 1, with Tony. It divides the circle into two regions with an even number of vertices in their interior. Then there is an even number of vertices between Tony and the recipient of his present, that is, their vertex is an even numbered one.

Second part: all even-numbered vertices can receive a present.

The construction is the same as the in the previous solution: direct each chord from ii to i+ni+n if 1ik1 \leq i \leq k and from i+ni+n to ii otherwise; in other words, the sinks are k+1,k+2,,k+nk+1, k+2, \ldots, k+n. Then, since the paths do not cross, kk will send a present to k+1,k1k+1, k-1 will send a present to k+2k+2, and so on, until 1 sends a present to (k+1)+(k1)=2k(k+1)+(k-1)=2 k.

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 and solution reproduced as published; topic and difficulty added by this site.