Maths Olympiad Prep

Library / /62 of 97

Algebra Difficulty 8.1 Shortlist Find the answer

In some squares of a 2012×20122012\times 2012 grid there are some beetles, such that no square contain more than one beetle. At one moment, all the beetles fly off the grid and then land on the grid again, also satisfying the condition that there is at most one beetle standing in each square. The vector from the centre of the square from which a beetle BB flies to the centre of the square on which it lands is called the [i]translation vector[/i] of beetle BB.
For all possible starting and ending configurations, find the maximum length of the sum of the [i]translation vectors[/i] of all beetles.

A number or a short expression. Spacing and $ signs are ignored.

Solution

In a 2012×20122012 \times 2012 grid, we place beetles such that no square contains more than one beetle. When the beetles fly off and land again, each beetle has a translation vector from its initial to its final position. We aim to find the maximum length of the sum of these translation vectors for all possible starting and ending configurations.

The answer is 201234\frac{2012^3}{4}, which is achieved by moving 201222\frac{2012^2}{2} beetles that start on the left half of the grid each 20122\frac{2012}{2} units to the right. We now prove that this is maximal.

Suppose the beetles start at positions XiX_i and end at positions YiY_i, and let OO denote the center of the board. By the triangle inequality,
XiYiOXi+OYi. \left|\sum \overrightarrow{X_i Y_i}\right| \leq \left|\sum \overrightarrow{O X_i}\right| + \left|\sum \overrightarrow{O Y_i}\right|.
We will prove that OXi201238\left| \sum \overrightarrow{O X_i}\right| \leq \frac{2012^3}{8}. This will be done by applying the triangle inequality smartly.

Assume O=(0,0)O = (0,0) and scale the board so that the gridlines are of the form x=2ix = 2i and y=2iy = 2i for integers ii. The closest square centers to OO are (±1,±1)(\pm 1, \pm 1). For 1n10061 \leq n \leq 1006, consider the set SS of points (x,y)(x,y) such that max{x,y}=2n1\max\{|x|, |y|\} = 2n-1, which forms a square-shaped "frame".

Define f(A)=PAOPf(A) = \sum_{P \in A} \overrightarrow{OP}, where ASA \subseteq S. We claim that
f(A)6n26n+2. |f(A)| \leq 6n^2 - 6n + 2.
To prove this, we observe the following "smoothing"-type facts:
- If AA contains two opposite points of the form (a,b)(a,b) and (a,b)(-a,-b), we can delete both without changing anything.
- If AA does not contain (a,b)(a,b) nor (a,b)(-a,-b), then one of them must form a non-obtuse angle with f(A)f(A), so adding that one to AA will increase f(A)|f(A)|.
- If AA contains some (a,b)(a,b) which forms an obtuse angle with f(A)f(A), then removing it from AA will increase f(A)|f(A)|.

Hence, if f(A)|f(A)| is maximal, we must have A=S/2=4n2|A| = |S|/2 = 4n-2, and the range of the arguments of the vectors formed by elements of AA is at most 180180^\circ. It cannot be exactly 180180^\circ by the first property. Thus, AA must be formed from a contiguous run of points along the frame.

The rest of the problem is essentially algebraic. We only consider AA which satisfy the above requirements, meaning that some entire "side" of the frame must be contained in AA. Without loss of generality, assume the right side (x=2n1x = 2n-1). Suppose the rightmost point on the top side has xx-coordinate 2(nk)1>02(n-k)-1 > 0, so the rightmost point on the bottom side has xx-coordinate 2(kn)+1<02(k-n)+1 < 0 (where k0k \geq 0).

In this case, the xx-component of f(A)f(A) equals
2i=nkn1(2i1)+2n(2n1)=2k(2nk2)+2n(2n1). 2 \sum_{i=n-k}^{n-1} (2i-1) + 2n(2n-1) = 2k(2n-k-2) + 2n(2n-1).
The yy-component of f(A)f(A) is
2(2n1)(n1k). -2(2n-1)(n-1-k).
Therefore, if m=n1km = n-1-k, we have
f(A)2=(2m(2n1))2+(2(n1m)(n1+m)+2n(2n1))2=36n472n3+60n224n+4+4m2(m22n2+2n1). |f(A)|^2 = (2m(2n-1))^2 + (2(n-1-m)(n-1+m) + 2n(2n-1))^2 = 36n^4 - 72n^3 + 60n^2 - 24n + 4 + 4m^2(m^2 - 2n^2 + 2n - 1).
Because k0k \geq 0, mn1m \leq n-1, so
m22n2+2n1(n1)22n2+2n1=n20, m^2 - 2n^2 + 2n - 1 \leq (n-1)^2 - 2n^2 + 2n - 1 = -n^2 \leq 0,
thus,
36n472n3+60n224n+4+4m2(m22n2+2n1)36n472n3+60n224n+4=(6n26n+2)2, 36n^4 - 72n^3 + 60n^2 - 24n + 4 + 4m^2(m^2 - 2n^2 + 2n - 1) \leq 36n^4 - 72n^3 + 60n^2 - 24n + 4 = (6n^2 - 6n + 2)^2,
which is the desired bound.

To finish, by summing our bound over 1n10061 \leq n \leq 1006, we have
OXin=11006(6n26n+2)=201234. \left|\sum \overrightarrow{OX_i}\right| \leq \sum_{n=1}^{1006} (6n^2 - 6n + 2) = \frac{2012^3}{4}.
Remembering that we scaled by a factor of 22, this implies that we actually have OXi201238\left| \sum \overrightarrow{OX_i}\right| \leq \frac{2012^3}{8}, which is the desired result.

The answer is 201234\boxed{\frac{2012^3}{4}}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.