Example 4 (2004 Thailand Mathematical Olympiad Problem) Let the function f:[0,1]→R satisfy (1) f(0)=f(1)=0; (2) For all x,y∈[0,1], and x=y,∣f(x)−f(y)∣<∣x−y∣.
Prove: For all x,y∈[0,1],∣f(x)−f(y)∣<21.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Proof 1 For all x∈[0,1], we have
\begin{array}{l}
|f(x)|=|f(x)-f(0)|\frac{1}{2}$, assume
\frac{1}{2}\frac{1}{2}$, then let 1⩾x1>x2⩾0.f(0)=f(1),
Since so ∣f(x2)−f(x1)∣ =∣f(x2)−f(0)+f(1)−f(x1)∣⩽∣f(x2)−f(0)∣+∣f(1)−f(x1)∣<x2−0+1−x1=1−(x1−x2)<21.
So ∣f(x2)−f(x1)∣<21. This is the conventional proof of the problem, using the properties of absolute value inequalities. Deep thinking reveals the geometric meaning contained within, leading to a new proof by constructing a geometric figure: Proof 3 Because ∣f(x2)−f(x1)∣<∣x2−x1∣. So x2−x1f(x2)−f(x1)<1,
which means the slope k of the line connecting any two points on the graph of y=f(x) satisfies ∣k∣<1. Therefore, all points on the graph of y=f(x) must be confined within a square region with side length 22 as shown in Figure 5-1. Let the highest point on the graph be E(x4,y0), and the lowest point be F(xb,yb). Then ∣kEF∣<1, connect EF, intersecting OB at point P, extend FE and EF to intersect OA and BC at G and H respectively. Draw a line parallel to AB through point P intersecting OA and BC at M and N respectively, and draw perpendiculars from points E, F, G, H, M, and N to OB, with the feet of the perpendiculars being E′, F′, G′, H′, M′, and N′ respectively, then f(xs)−f(xn)<∣GG′∣+∣HH′∣<∣MM′∣+∣NN′∣=22(∣PM∣+∣PN∣)=22∣MN∣=21.
Since E and F are the highest and lowest points on the graph of y=f(x) respectively, we have ∣f(x2)−f(x1)∣⩽f(xa)−f(xb)<21.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.