Maths Olympiad Prep

Library / /55 of 56

Combinatorics Difficulty 7.2 National Olympiad, round 2 Prove it Singapore

Alice starts with some coins in a box. On the nthn^{\text{th}} minute (for n=1,2,3,n = 1, 2, 3, \dots), she can choose to put an additional coin into the box or do nothing, and then she writes the number 2c2n22c^2 - n^2 on the board where cc is the number of coins in the box. Show that for any positive integer mm, there will eventually be two numbers on the board that sum to a multiple of mm.

Solution

Let cnc_n be the number of coins on the nthn^{\text{th}} minute. Consider the ordered pair (xn,yn)=(cn,ncn)(x_n, y_n) = (c_n, n - c_n), noting that each minute either xnx_n or yny_n increases by 1. The number written on the nthn^{\text{th}} minute is
2cn2n2=2xn2(xn+yn)2=xn22xnynyn2. 2c_n^2 - n^2 = 2x_n^2 - (x_n + y_n)^2 = x_n^2 - 2x_ny_n - y_n^2.
It thus suffices to prove the slightly more general problem:
Alice starts at an arbitrary integer lattice point (x,y)=(x0,y0)(x,y) = (x_0, y_0). Every minute, she walks one unit right or up (corresponding to increasing xx or yy by 1), then writes down the number f(x,y)=x22xyy2f(x,y) = x^2 - 2xy - y^2. Show that for any positive integer mm, there will eventually be two numbers on the board that sum to a multiple of mm.
The function ff has the special property of 9090^\circ rotational anti-symmetry, i.e., taken mod mm:
f(x,y)+f(y,x)0 f(x, y) + f(y, -x) \equiv 0

Claim: Among the numbers written over 4m4m minutes, there is either (a) two numbers that sum to a multiple of mm, or (b) a number which is a multiple or half-multiple of mm.
Proof of Claim: Suppose Bob starts at integer lattice point (u,v)=(u0,v0)(y0,x0)(modm)(u,v) = (u_0, v_0) \equiv (y_0, -x_0) \pmod{m}. Each minute, if Alice moves right, Bob moves down; if Alice moves up, Bob moves right.
In this manner, Alice's and Bob's coordinates are always related by (u,v)(y,x)(modm)(u,v) \equiv (y,-x) \pmod{m}. In particular, whenever Alice writes down the number f(x,y)f(x,y), Bob writes down the number f(u,v)f(x,y)(modm)f(u,v) \equiv -f(x,y) \pmod{m}.

It suffices to show that Alice's and Bob's paths coincide on some lattice point (x,y)(x^*, y^*). If this occurs, then either
1. (a) Alice and Bob reach (x,y)(x^*, y^*) at different times, thus Alice has written down f(x,y)f(x^*, y^*) and f(x,y)-f(x^*, y^*) (mod mm) at two different times; or
2. (b) Alice and Bob reach (x,y)(x^*, y^*) at the same time; thus f(x,y)f(x,y)f(x^*, y^*) \equiv -f(x^*, y^*) (mod mm), so Alice has written down a multiple or half-multiple of mm.
WLOG among Alice's first 2m12m-1 moves, she moves right at least mm times (the alternative is that she moves up at least mm times, in which case a similar argument holds by swapping the axes).
Then, within Alice's first 2m12m-1 moves, she passes through some lattice point (u0,w0)(u_0, w_0), where x0<u0x0+mx_0 < u_0 \le x_0 + m and u0y0(modm)u_0 \equiv y_0 \pmod m. We then select Bob's starting point as (u0,v0)(u_0, v_0) where w0<v0w0+mw_0 < v_0 \le w_0 + m and v0x0(modm)v_0 \equiv -x_0 \pmod m.
Consequently, the path LBob\mathcal{L}_{\text{Bob}} traversed by Bob within his first 2m12m-1 moves starts vertically above (u0,w0)(u_0, w_0), and at distance m\le m from (u0,w0)(u_0, w_0). Since Bob moves down at least mm times and moves right at most m1m-1 times within his first 2m12m-1 moves, his path LBob\mathcal{L}_{\text{Bob}} traverses within the upper-right quadrant {(x,y):xu0,yw0}\{(x, y) : x \ge u_0, y \ge w_0\} with respect to (u0,w0)(u_0, w_0), and leaves the quadrant from the bottom edge at a distance m\le m from (u0,w0)(u_0, w_0) (see Figure 1).
Thus, a further 2m2m moves by Alice starting from (u0,w0)(u_0, w_0) will take her from below LBob\mathcal{L}_{\text{Bob}} to above it, guaranteeing a lattice point intersection with LBob\mathcal{L}_{\text{Bob}}.
Since two multiples of mm or two half-multiples of mm sum to a multiple of mm, thus by the claim, Alice is guaranteed to write two numbers that sum to a multiple of mm within 34m=12m3 \cdot 4m = 12m moves.

Figure 1
Figure 1: Sample game for m=6m=6. Alice's path is lightly shaded and starts at (x0,y0)=(2,1)(x_0, y_0) = (2, 1) which is at the bottom. Bob's path is heavily shaded and starts at (u0,v0)=(7,10)(u_0, v_0) = (7, 10) at the top. Alice's path after (u0,w0)(u_0, w_0) which is at the bottom left corner of the box, is guaranteed to intersect Bob's path; the intersection is the square with 2. When Bob is at the intersection, Alice has also made 5 moves is at the square with 4. The numbers written by Alice in these 2 squares sum to a multiple of m=6m=6.

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.