Maths Olympiad Prep

Library / /79 of 92

Algebra Difficulty 7.3 National olympiad, round 2 Prove it Iran

Suppose mm and nn are two nonnegative integers. In the Philosopher's Chess, the chessboard is an infinite array of same regular hexagon cells. The Phoenix piece, which is a special piece in this kind of chess, moves as follows:
At first, the Phoenix selects one of the six directions and moves mm cells in that direction. Then it turns 60 degrees clockwise and moves nn cells in that new direction to get to the final point.
At most how many cells of the Philosopher's Chess' chessboard exist in such a way that one cannot start from one of them and reach another one with a finite number of movements of the Phoenix piece?
Figure 1

Solution

By considering centers of the hexagons, we get the following equivalent problem:
"Two vertices α\alpha and β\beta of the triangular lattice are called equivalent if αβ\alpha - \beta is equal to sum of finitely many vectors from the set:
A={±(nimj),±(nk+mi),±(nj+mk)} A = \{\pm(n\vec{i} - m\vec{j}), \pm(n\vec{k} + m\vec{i}), \pm(n\vec{j} + m\vec{k})\}
Where i=(1,0)\vec{i} = (1,0), j=(12,32)\vec{j} = (-\frac{1}{2}, \frac{\sqrt{3}}{2}) and k=(12,32)\vec{k} = (\frac{1}{2}, \frac{\sqrt{3}}{2}) according to the normal Cartesian coordinates.

What is the maximum number of nonequivalent vertices?
Note that k=i+j\vec{k} = \vec{i} + \vec{j}, thus we can determine vectors of set AA using only i\vec{i} and j\vec{j}:
A={±(nimj),±((n+m)i+nj),±(mi+(m+n)j)}. A = \{\pm(n\vec{i} - m\vec{j}), \pm((n+m)\vec{i} + n\vec{j}), \pm(m\vec{i} + (m+n)\vec{j})\}.
Since the first vector nimjn\vec{i} - m\vec{j} is the difference of the two others, two vertices α\alpha and β\beta are equivalent iff their difference αβ\alpha - \beta can be written as a linear combination of vectors (n+m)i+nj(n+m)\vec{i} + n\vec{j} and mi+(m+n)jm\vec{i} + (m+n)\vec{j} with integer coefficients.
Note that for integers a,b,xa, b, x and yy the space generated by the vectors {ai+bj,xi+yj}\{a\vec{i} + b\vec{j}, x\vec{i} + y\vec{j}\} (using integer coefficients) equals the space generated by vectors {(ax)i+(by)j,xi+yj}\{(a-x)\vec{i} + (b-y)\vec{j}, x\vec{i} + y\vec{j}\}. Therefore, we can change former vectors to get simpler vectors to work with. Note that in this change the value of aybxay - bx (determinant of the matrix formed by vectors (a,b)(a, b) and (x,y)(x, y) as rows) is invariant, because aybx=(ax)y(by)xay - bx = (a-x)y - (b-y)x. Now, in a similar way to Euclidean Algorithm, if axa \ge x we change {ai+bj,xi+yj}\{a\vec{i} + b\vec{j}, x\vec{i} + y\vec{j}\} by {(ax)i+(by)j,xi+yj}\{(a-x)\vec{i} + (b-y)\vec{j}, x\vec{i} + y\vec{j}\}. Repeating this process several times leads to vectors of the form si+rjs\vec{i} + r\vec{j} and 0i+tj0\vec{i} + t\vec{j}. It means that we can suppose the coefficient of i\vec{i} for one of them is zero. hence, if we want to go from one vertex to another, the difference of the coefficients of i\vec{i} must be a multiple of ss, since tjt\vec{j} does not affect the coefficient of i\vec{i}. As a result, for two equivalent vertices, we can first use vector si+rjs\vec{i} + r\vec{j} several times to match their first coordinate. Then, we must use tjt\vec{j} to match the second coordinate. Hence we have stst nonequivalent vertices. But
st=det[sr0t] st = \det \begin{bmatrix} s & r \\ 0 & t \end{bmatrix}
which is invariant during the process.
det[sr0t]=det[m+nmnm+n]=m2+mn+n2 \det \begin{bmatrix} s & r \\ 0 & t \end{bmatrix} = \det \begin{bmatrix} m+n & m \\ n & m+n \end{bmatrix} = m^2 + mn + n^2
So the maximum number of nonequivalent vertices is m2+mn+n2m^2 + mn + n^2.

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.