2006 USAMO Problems/Problem 5
Problem
(Zoran Sunik) A mathematical frog jumps along the number line. The frog starts at 1, and jumps according to the following rule: if the frog is at integer , then it can jump either to or to where is the largest power of 2 that is a factor of . Show that if is a positive integer and is a nonnegative integer, then the minimum number of jumps needed to reach is greater than the minimum number of jumps needed to reach .
Solutions
Solution 1
For and , let denote the minimum number of jumps needed to reach the integer . We must prove that for all and . We prove this using the method of descent.
First note that holds for and all , because it takes 0 jumps to reach the starting value , and at least one jump to reach . Now assume that is not true for all choices of and . Let be the minimal value of for which fails for some , let be the minimal value of for which . Then it must be the case that and .
Let be a shortest sequence of integers that the frog occupies in jumping from 1 to . The length of each jump, that is, the difference between consecutive integers in , is either 1 or a positive integer power of 2. The sequence cannot contain because it takes more jumps to reach than it does to reach . Let , be the length of the longest jump made in generating . Such a jump can only be made from a number that is divisible by (and by no higher power of 2). Thus we must have , since otherwise a number divisible by is visited before is reached, contradicting the definition of .
Let be the length of the jump when the frog jumps over . If this jump starts at for some positive integer , then it will end at . Since it goes over we see or $(2^{i_0-m} - 1)/2 < t < (2^{i_0-m} + 1})/2$ (Error compiling LaTeX. ! Extra }, or forgotten $.). Thus and the jump over is from to .
Considering the jumps that generate , let be the number of jumps from 1 to , and let be the number of jumps from to . By definition of , it follows that can be reached from 1 in less than jumps. On the other hand, because , the number can be reached from in exactly jumps by using the same jump length sequence as in jumping from to . The key point here is that the shift by does not affect any of divisibility conditions needed to make jumps of the same length. In particular, with the exception of the last entry, , all of the elements of are of the form with , again because of the definition of . Because and the number is odd, a jump of size can be made from just as it can be made from .
Thus the frog can reach from 1 in less than jumps, and can then reach from in jumps. Hence the frog can reach from 1 in less than jumps, that is, in fewer jumps than needed to get to and hence in fewer jumps than required to get to . This contradicts the definition of .
Solution 2
Suppose are the integers visited by the frog on his trip from 1 to , . Let be the jump sizes. Define a reduced path inductively by Say a jump is deleted in the second case. We will show that the distinct integers among the give a shorter path from 1 to . Clearly for all . Suppose for some . Then every deleted jump before must have length greater than , hence must be a multiple of . Thus . If , then either (in which case this is a valid jump) or is the exact power of 2 dividing . In the second case, since , the congruence says is also the exact power of 2 dividing , thus again this is a valid jump. Thus the distinct form a valid path for the frog. If the congruence gives , but this is impossible for . Hence we see , that is, the reduced path ends at . Finally since the reduced path ends at at least one jump must have been deleted and it is strictly shorter than the original path.
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
See also
- <url>viewtopic.php?t=84558 Discussion on AoPS/MathLinks</url>
2006 USAMO (Problems • Resources) | ||
Preceded by Problem 4 |
Followed by Problem 6 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.