Browse · MathNet
PrintTHE 68th NMO SELECTION TESTS FOR THE JUNIOR BALKAN MATHEMATICAL OLYMPIAD
Romania counting and probability
Problem
The sides of an equilateral triangle are divided into equal parts by points on each side. Through these points one draws parallel lines to the sides of the triangle. Thus, the initial triangle is divided into equal equilateral triangles. In every vertex of such a triangle there is a beetle. The beetles start crawling simultaneously, with equal speed, along the sides of the small triangles. When they reach a vertex, the beetles change the direction of their movement by or by .
a) Prove that, if , the beetles can move indefinitely on the sides of the small triangles without two beetles ever meeting in a vertex of a small triangle.
b) Determine all the values of for which the beetles can move along the sides of the small triangles without meeting in their vertices.




a) Prove that, if , the beetles can move indefinitely on the sides of the small triangles without two beetles ever meeting in a vertex of a small triangle.
b) Determine all the values of for which the beetles can move along the sides of the small triangles without meeting in their vertices.
Solution
It is easy to see (by induction or otherwise) that, for odd, the set of the vertices of the small triangle can be partitioned into groups of 3 and 4 vertices that form either an equilateral triangle or a rhombus formed by gluing together two such triangles. On each of these polygonal lines, the beetles can move in a circuit, changing at each step their direction.
Alternatively, one can provide a direct example in this case: we call a strip an isosceles trapezoid whose legs are part of the original triangle's sides and whose bases are horizontal and we label the strips from top to bottom, strip number consisting of small equilateral triangles. Then we can choose the triangles and the rhombi as follows: on the strip with odd we place a triangle, then rhombi. An example for is shown below:
In general, if for a given the beetles can move without meeting, then they can move indefinitely for as well. For and one can give examples. A possible example for :
The inductive step for the case when is even: if the triangle whose sides have been divided into equal parts can be traveled by the beetles without intersecting, then so can the triangle whose sides have been divided into equal parts: it is enough to split the triangles with side length into an equilateral triangle of side length plus two strips, of which the lower one can be partitioned according to the model exemplified below for :
Why can the beetles not move indefinitely without meeting in the case when ? We color red all the vertices situated on odd position in rows with an odd number, the numbering starting from top to bottom, as in the following figure:
We color the remaining points blue. A beetle can not get in one step from a red vertex to another red one, nor can it achieve this in two steps because it needs to change direction after the first step. After two steps, those 10 beetles initially positioned in a red vertex need to be in blue vertices, but so do the 10 beetles that were in red vertices after the first step. But there are only 18 vertices to accommodate these 20 beetles, so some beetles need to meet after two steps. If for the beetles would be able to move without meeting, from the inductive step it would follow that the same would be true for and then also for , which is not happening.
In conclusion, the beetles can move indefinitely without ever meeting if and only if .
Alternatively, one can provide a direct example in this case: we call a strip an isosceles trapezoid whose legs are part of the original triangle's sides and whose bases are horizontal and we label the strips from top to bottom, strip number consisting of small equilateral triangles. Then we can choose the triangles and the rhombi as follows: on the strip with odd we place a triangle, then rhombi. An example for is shown below:
In general, if for a given the beetles can move without meeting, then they can move indefinitely for as well. For and one can give examples. A possible example for :
The inductive step for the case when is even: if the triangle whose sides have been divided into equal parts can be traveled by the beetles without intersecting, then so can the triangle whose sides have been divided into equal parts: it is enough to split the triangles with side length into an equilateral triangle of side length plus two strips, of which the lower one can be partitioned according to the model exemplified below for :
Why can the beetles not move indefinitely without meeting in the case when ? We color red all the vertices situated on odd position in rows with an odd number, the numbering starting from top to bottom, as in the following figure:
We color the remaining points blue. A beetle can not get in one step from a red vertex to another red one, nor can it achieve this in two steps because it needs to change direction after the first step. After two steps, those 10 beetles initially positioned in a red vertex need to be in blue vertices, but so do the 10 beetles that were in red vertices after the first step. But there are only 18 vertices to accommodate these 20 beetles, so some beetles need to meet after two steps. If for the beetles would be able to move without meeting, from the inductive step it would follow that the same would be true for and then also for , which is not happening.
In conclusion, the beetles can move indefinitely without ever meeting if and only if .
Final answer
All positive integers except 2, 4, and 6
Techniques
Coloring schemes, extremal argumentsInduction / smoothingPigeonhole principle