Difference between revisions of "2014 UMO Problems/Problem 4"
m (→See Also) |
(→Solution) |
||
Line 19: | Line 19: | ||
== Solution == | == Solution == | ||
+ | <b>Answer:</b> | ||
+ | <i>All</i> pairs of <math>(m, n)</math> work. | ||
+ | |||
+ | <b>Proof:</b> | ||
+ | First, note that <math>(2, 2)</math> repeats forever: | ||
+ | <cmath>(2, 2)\to (0, 0, 2)\to (0, 0, 1)\to (2, 1)\to (0, 1, 1)\to (1,2)\to (0, 1, 1)\qquad (1)</cmath> | ||
+ | Now suppose we have <math>m\ne n</math>. Let <math>M =\max(m, n)</math> We get | ||
+ | <cmath>(m, n)\to (0, 0, \dots, 0, 1, 0, \dots, 0, 1)\to (M-1, 2)\to \cdots \to (M-2, 2) \to \cdots \to (2, 2)\qquad (2)</cmath> | ||
+ | Otherwise, <math>m=n</math>. If <math>n > 1</math> then | ||
+ | <cmath>(n, n)\to (0, 0, \dots, 0, 2)\to (n, 0, 1)\to (1, 1, 0, \dots, 0, 1)\to (n-2, 3)</cmath> | ||
+ | If <math>n=5</math> we get | ||
+ | <cmath>(3,3)\to (1,3) \to \text{Apply (2)} \to (2, 2)</cmath> | ||
+ | Otherwise we get | ||
+ | <cmath>(n-2, 3)\to\text{Apply (2)} \to (2, 2)</cmath> | ||
+ | Our final case is if <math>n = 1</math>. Then we have | ||
+ | <cmath>(1, 1)\to (0, 2)\to (0, 0, 1)</cmath> | ||
+ | which we know repeats from <math>(1)</math>. | ||
+ | |||
+ | Therefore, for all <math>(m, n)</math> it will repeat forever. | ||
== See Also == | == See Also == |
Latest revision as of 15:45, 12 February 2020
Problem
Joel is playing with ordered lists of integers in the following way. He starts out with an ordered list of nonnegative integers. Then, he counts the number of ’s, ’s, ’s, and so on in the list, writing the counts out as a new list. He stops counting when he has counted everything in the previous list. Then he takes the second list and applies the same process to get a third list. He repeats this process indefinitely.
For example, he could start out with the ordered list . He counts three ’s, zero ’s, and one , and then stops counting, so the second list is In the second list, he counts one , one , zero ’s, and one , so the third list is . Then he counts one and three ’s, so the fourth list is . Here are the first few lists he writes down: If instead he started with , he would write down: If Joel starts out with an arbitrary list of nonnegative integers and then continues this process, there are certain lists of length two that he might end up writing an infinite number of times. Find all such pairs .
Solution
Answer: All pairs of work.
Proof: First, note that repeats forever: Now suppose we have . Let We get Otherwise, . If then If we get Otherwise we get Our final case is if . Then we have which we know repeats from .
Therefore, for all it will repeat forever.
See Also
2014 UMO (Problems • Answer Key • Resources) | ||
Preceded by Problem 3 |
Followed by Problem 5 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All UMO Problems and Solutions |