Browse · MathNet
PrintBalkan Mathematical Olympiad
North Macedonia geometry
Problem
Let be a positive rational number. Two ants are initially at the same point in the plane. In the -th minute () each of them chooses whether to walk due north, east, south or west and then walks the distance of meter. After a whole number of minutes, they are at the same point in the plane (not necessarily ), but have not taken exactly the same route within that time. Determine all possible values of .
Solution
Let (resp. ) be the -coordinates of the first (resp. second) ant's position after minutes. Then , and so are given by polynomials in with coefficients in . So if the ants meet after minutes, then where is a polynomial with degree at most and coefficients in . Thus if (), we have and , i.e. .
It is clearly possible when .
We argue that is not possible. Assume that the ants diverge for the first time after the minute, for . Then But also for each , and so which is strictly positive for . So for any , the ants cannot meet after minutes. Thus .
Finally, we show that is also not possible. Suppose to the contrary that there is a pair of routes for , meeting after minutes. Now consider rescaling the plane by a factor , and looking at the routes in the opposite direction. This would then be an example for and we have just shown that this is not possible.
Therefore, the only possible value is .
It is clearly possible when .
We argue that is not possible. Assume that the ants diverge for the first time after the minute, for . Then But also for each , and so which is strictly positive for . So for any , the ants cannot meet after minutes. Thus .
Finally, we show that is also not possible. Suppose to the contrary that there is a pair of routes for , meeting after minutes. Now consider rescaling the plane by a factor , and looking at the routes in the opposite direction. This would then be an example for and we have just shown that this is not possible.
Therefore, the only possible value is .
Final answer
1
Techniques
Cartesian coordinatesIrreducibility: Rational Root Theorem, Gauss's Lemma, EisensteinHomothetyDistance chasingSums and products