AMC 10 Step by Step

2022 AMC 10B Problem 24

P21-25~7 minPrint

Consider functions ff that satisfy ∣f(x)−f(y)∣≤12∣x−y∣|f(x)-f(y)|\leq \frac{1}{2}|x-y| for all real numbers xx and yy . Of all such functions that also satisfy the equation f(300)=f(900)f(300) = f(900) , what is the greatest possible value of f(f(800))−f(f(400))?f(f(800))-f(f(400))?

Log in to save your progress.
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 ∣f(x)−f(y)∣≤12∣x−y∣|f(x) - f(y)| \le \frac12 |x - y| says: two inputs that are DD apart give outputs at most D2\frac{D}{2} apart. In graph terms, the graph is never steeper than 12\frac12 up or down.

This is a "greatest possible" question, so show that 5050 cannot be beaten, then show 5050 can happen.

Part 1: at most 50.

1. Work from the outside in. f(f(800))f(f(800)) and f(f(400))f(f(400)) are outputs for the inputs f(800)f(800) and f(400)f(400). So they differ by at most half of the gap between f(800)f(800) and f(400)f(400).
2. The gap between f(800)f(800) and f(400)f(400). Going straight from 400400 to 800800 only gives a bound of 12×400=200\frac12 \times 400 = 200. Use f(300)=f(900)f(300) = f(900) as a shortcut instead:
- 800800 and 900900 are 100100 apart, so f(800)f(800) is within 5050 of f(900)f(900);
- f(900)f(900) equals f(300)f(300);
- 300300 and 400400 are 100100 apart, so f(300)f(300) is within 5050 of f(400)f(400).

So f(800)f(800) and f(400)f(400) are at most 50+0+50=10050 + 0 + 50 = 100 apart.
3. Finish the bound. f(f(800))−f(f(400))f(f(800)) - f(f(400)) is at most 12×100=50\frac12 \times 100 = 50.

Part 2: 50 is possible. Every step above must be as large as it can be: ff should drop by 5050 from 300300 to 400400, drop by 5050 from 800800 to 900900, and climb at slope 12\frac12 between the two inner values. Take the graph that joins these points with straight segments, and is flat to the left of −50-50 and to the right of 900900:

xx−50-505050300300400400800800900900
f(x)f(x)−25-25252500−50-50505000

4. Check the steepness. The slopes of the pieces are 50100=12\frac{50}{100} = \frac12, −25250=−110\frac{-25}{250} = -\frac{1}{10}, −50100=−12\frac{-50}{100} = -\frac12, 100400=14\frac{100}{400} = \frac14 and −50100=−12\frac{-50}{100} = -\frac12. None is steeper than 12\frac12, so the whole graph follows the rule.
5. Check the conditions. f(300)=f(900)=0f(300) = f(900) = 0. Then f(800)=50f(800) = 50 and f(400)=−50f(400) = -50, so
f(f(800))−f(f(400))=f(50)−f(−50)=25−(−25)=50.f(f(800)) - f(f(400)) = f(50) - f(-50) = 25 - (-25) = 50.

The answer is (B) 50\boxed{\textbf{(B)}\ 50}.

Why this works

The rule means ff can at most halve distances, and applying ff twice halves again. The hidden key is the equal pair f(300)=f(900)f(300) = f(900): it gives a shortcut from 400400 to 800800 of total length 100100 instead of 400400. For a "greatest possible" answer you then need an example, and a connect-the-dots graph with slopes no steeper than 12\frac12 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 ff,
∣f(f(800))−f(f(400))∣≤12∣f(800)−f(400)∣.|f(f(800)) - f(f(400))| \le \tfrac12 |f(800) - f(400)|.
Now bound ∣f(800)−f(400)∣|f(800) - f(400)| using the equal values at 300300 and 900900:
∣f(800)−f(400)∣≤∣f(800)−f(900)∣+∣f(900)−f(300)∣+∣f(300)−f(400)∣≤50+0+50=100.|f(800) - f(400)| \le |f(800) - f(900)| + |f(900) - f(300)| + |f(300) - f(400)| \le 50 + 0 + 50 = 100.
Hence the target is at most 5050.

Construction. Equality needs f(400)=f(300)−50f(400) = f(300) - 50, f(800)=f(900)+50f(800) = f(900) + 50, and slope exactly +12+\tfrac12 between the two inner values. Take f(300)=f(900)=0f(300) = f(900) = 0, so f(400)=−50f(400) = -50 and f(800)=50f(800) = 50, and make ff have slope 12\tfrac12 on [−50,50][-50, 50]. One piecewise-linear choice, with every slope of absolute value at most 12\tfrac12:
f(x)={x2−50≤x≤50,25−x−501050≤x≤300,−x−3002300≤x≤400,x−6004400≤x≤800,−x−9002800≤x≤900,f(x) = \begin{cases} \tfrac{x}{2} & -50 \le x \le 50,\\ 25 - \tfrac{x - 50}{10} & 50 \le x \le 300,\\ -\tfrac{x - 300}{2} & 300 \le x \le 400,\\ \tfrac{x - 600}{4} & 400 \le x \le 800,\\ -\tfrac{x - 900}{2} & 800 \le x \le 900, \end{cases}
extended by constants outside [−50,900][-50, 900]. It is continuous (check the joints: 25,0,−50,50,025, 0, -50, 50, 0) and satisfies the condition. Then f(f(800))−f(f(400))=f(50)−f(−50)=25−(−25)=50f(f(800)) - f(f(400)) = f(50) - f(-50) = 25 - (-25) = 50.

The answer is (B) 50\boxed{\textbf{(B)}\ 50}.

Review in the AoPS books

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.