Browse · MathNet
PrintBaltic Way 2023 Shortlist
Baltic Way 2023 counting and probability
Problem
The Perseverance is NASA's Mars rover exploring this planet. Every day it starts in home base and then goes north, south, east or west. Every one kilometer the robot makes one turn. Moreover, the robot doesn't want to check the same place twice during the day (except for the home base, which is always the starting and the ending point of its trip). What are the possible lengths of the robot's path?
Solution
Let's define the coordinate system with the origin point at the home base and vertical-horizontal axes. W.l.o.g. assume that the first move was east and the path had length of . Then each odd move changed the coordinate of the robot by and each even move changed the coordinate by .
At the end of the day both coordinates were equal to zero again, so there had to be an even number of odd and an even number of even moves. That implies that only divisible by can fulfill the conditions.
For we have a square path. For we had changes of coordinate and changes of , so the whole path was inside some
For there is a path in the shape of "+" with first moves like . Now we can change the middle sequence by . Thanks to this change the robot explored new territory south-east from the one before explored. We got of length of the path. There we can do it again and again, reaching any length of for all .
At the end of the day both coordinates were equal to zero again, so there had to be an even number of odd and an even number of even moves. That implies that only divisible by can fulfill the conditions.
For we have a square path. For we had changes of coordinate and changes of , so the whole path was inside some
For there is a path in the shape of "+" with first moves like . Now we can change the middle sequence by . Thanks to this change the robot explored new territory south-east from the one before explored. We got of length of the path. There we can do it again and again, reaching any length of for all .
Final answer
All positive multiples of four
Techniques
Invariants / monovariantsInduction / smoothingConstructions and loci