MathLabs

Problem 6

There are n≥2n\ge2 line segments in the plane such that every two segments cross, and no three segments meet at a point. Geoff has to choose an endpoint of each segment and place a frog on it, facing the other endpoint. Then he will clap his hands n−1n-1 times; each time he claps, every frog immediately jumps forward to the next intersection point on its segment (frogs never change the direction of their jumps). Geoff wishes to place the frogs so that no two of them ever occupy the same intersection point at the same time. (a) Prove that Geoff can always fulfil his wish if nn is odd. (b) Prove that Geoff can never fulfil his wish if nn is even.
Step 2 of 4: Part (a): placing frogs on every other point works for odd nn
In plain words

Placing all starting frogs on the odd-indexed points and letting them run keeps a simple parity invariant that prevents collisions.

a odd ⇒ frogs on P1,P3,P5,…,P2n−1a\ \text{odd} \ \Rightarrow\ \text{frogs on } P_1,P_3,P_5,\dots,P_{2n-1}
Detailed analysis

For odd nn, write n=2m+1n=2m+1 and let CrC_r (r=0,1,…,2mr=0,1,\dots,2m) be the segment whose frog starts at the odd-indexed point Qr=P2r+1Q_r=P_{2r+1} (the indices of the PP's are read modulo 2n2n); its other endpoint is P2r+1+nP_{2r+1+n}. Thus the placement is explicit: the frogs start at every odd point P1,P3,…,P2n−1P_1,P_3,\dots,P_{2n-1}, one on each of the nn segments, and face along CrC_r from QrQ_r to P2r+1+nP_{2r+1+n}. Fix C0C_0. For r=1,…,mr=1,\dots,m, the endpoint P1+2rP_{1+2r} of CrC_r lies on the open circular arc from P1P_1 to P1+nP_{1+n}; for r=m+1,…,2mr=m+1,\dots,2m, the endpoint of CrC_r on that arc is its antipode P1+2r+nP_{1+2r+n}, whose relative index from P1P_1 is 2r−n2r-n. Since n=2m+1n=2m+1, these relative indices are 2,4,…,2m2,4,\dots,2m and 1,3,…,2m−11,3,\dots,2m-1, respectively, so they are exactly all integers 1,2,…,n−11,2,\dots,n-1 in circular order. Therefore, if CrC_r meets C0C_0, the rank of their intersection when counted from the frog on C0C_0 is ρ0(r)=2r\rho_0(r)=2r for r=1,…,mr=1,\dots,m, and ρ0(r)=2r−n\rho_0(r)=2r-n for r=m+1,…,2mr=m+1,\dots,2m. Rotating the same argument to any pair Ca,CbC_a,C_b, and writing rr for the cyclic difference of their starting-point indices, shows that the two ranks of their intersection, counted from the two frogs, are ρ0(r)\rho_0(r) and ρr(0)=n−ρ0(r)\rho_r(0)=n-\rho_0(r): the second frog sees the same crossing order in reverse. This is the invariant/parity count: every pair's two ranks are positive integers in 1,…,n−11,\dots,n-1 whose sum is nn, so they cannot be equal because nn is odd (equality would give 2ρ0(r)=n2\rho_0(r)=n). After clap kk (1≤k≤n−11\le k\le n-1), a frog is at the kk-th intersection on its directed segment; hence two frogs could collide only if the two ranks for their pair were equal, which we have just ruled out. Thus the explicit odd-point placement avoids every collision.