2022 AMC 10B Problem 24
Consider functions that satisfy for all real numbers and . Of all such functions that also satisfy the equation , what is the greatest possible value of
Show solution without answering
Key insight
Since f(300) = f(900), the values f(400) and f(800) can differ by at most 50 + 50 = 100. Applying f again halves that, so at most 50.
Solution
The rule says: two inputs that are apart give outputs at most apart. In graph terms, the graph is never steeper than up or down.
This is a "greatest possible" question, so show that cannot be beaten, then show can happen.
Part 1: at most 50.
1. Work from the outside in. and are outputs for the inputs and . So they differ by at most half of the gap between and .
2. The gap between and . Going straight from to only gives a bound of . Use as a shortcut instead:
- and are apart, so is within of ;
- equals ;
- and are apart, so is within of .
So and are at most apart.
3. Finish the bound. is at most .
Part 2: 50 is possible. Every step above must be as large as it can be: should drop by from to , drop by from to , and climb at slope between the two inner values. Take the graph that joins these points with straight segments, and is flat to the left of and to the right of :
4. Check the steepness. The slopes of the pieces are , , , and . None is steeper than , so the whole graph follows the rule.
5. Check the conditions. . Then and , so
The answer is .
Why this works
The rule means can at most halve distances, and applying twice halves again. The hidden key is the equal pair : it gives a shortcut from to of total length instead of . For a "greatest possible" answer you then need an example, and a connect-the-dots graph with slopes no steeper than is the easiest way to make every step as large as allowed.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
Upper bound. Applying the condition to the outer ,
Now bound using the equal values at and :
Hence the target is at most .
Construction. Equality needs , , and slope exactly between the two inner values. Take , so and , and make have slope on . One piecewise-linear choice, with every slope of absolute value at most :
extended by constants outside . It is continuous (check the joints: ) and satisfies the condition. Then .
The answer is .
Review in the AoPS books
- Introduction to Algebra, Chapter 16: Functions
- Introduction to Algebra, Chapter 20: Special Functions (§20.2, §20.5)
- Introduction to Algebra, Chapter 17: Graphing Functions (§17.2)
- Introduction to Algebra, Chapter 15: More Inequalities (§15.1, §15.3, §15.4)
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.