Maths Olympiad Prep

Library / /5 of 5

Algebra Difficulty 9.1 IMO level Prove it Romania

Given a continuous function f:RRf: \mathbb{R} \to \mathbb{R}, denote, for each interval [a,b][a, b], mab=minx[a,b]f(x)m_{ab} = \min_{x \in [a, b]} f(x) and Mab=maxx[a,b]f(x)M_{ab} = \max_{x \in [a, b]} f(x). Find all the continuous functions f:RRf: \mathbb{R} \to \mathbb{R} such that, for every a<ba < b, f(a+b2)=mab+Mab2f(\frac{a+b}{2}) = \frac{m_{ab} + M_{ab}}{2}.

Solution

Let f:RRf: \mathbb{R} \to \mathbb{R} be continuous and satisfy, for every a<ba < b,
f(a+b2)=mab+Mab2 f\left(\frac{a+b}{2}\right) = \frac{m_{ab} + M_{ab}}{2}
where mab=minx[a,b]f(x)m_{ab} = \min_{x \in [a, b]} f(x) and Mab=maxx[a,b]f(x)M_{ab} = \max_{x \in [a, b]} f(x).

Let us fix a<ba < b and consider the function ff on [a,b][a, b].

Since ff is continuous on [a,b][a, b], it attains its minimum and maximum at some points x1,x2[a,b]x_1, x_2 \in [a, b]:
mab=f(x1),Mab=f(x2) m_{ab} = f(x_1), \quad M_{ab} = f(x_2)

Let us consider the value at the midpoint m=a+b2m = \frac{a+b}{2}:
f(m)=f(x1)+f(x2)2 f(m) = \frac{f(x_1) + f(x_2)}{2}

But f(m)f(m) must also be between mabm_{ab} and MabM_{ab}, i.e., f(m)[mab,Mab]f(m) \in [m_{ab}, M_{ab}].

Suppose ff is not constant on [a,b][a, b]. Then mab<Mabm_{ab} < M_{ab}, and f(m)f(m) is strictly between them unless f(m)f(m) equals one of the endpoints. But f(m)f(m) is the average of the minimum and maximum, so unless ff is constant, f(m)f(m) is strictly between mabm_{ab} and MabM_{ab}.

Now, let us consider the following:

Let ff be strictly increasing. Then mab=f(a)m_{ab} = f(a), Mab=f(b)M_{ab} = f(b), and f(m)=f(a)+f(b)2f(m) = \frac{f(a) + f(b)}{2}.
But for a strictly increasing continuous function, f(m)f(m) is strictly less than f(b)f(b) and strictly greater than f(a)f(a), unless ff is linear.

Let us try f(x)=cx+df(x) = cx + d (affine function).

Then f(a)=ca+df(a) = ca + d, f(b)=cb+df(b) = cb + d, f(m)=ca+b2+d=ca+cb2+d=f(a)+f(b)2f(m) = c\frac{a+b}{2} + d = \frac{ca + cb}{2} + d = \frac{f(a) + f(b)}{2}.

On [a,b][a, b], since ff is affine, the minimum and maximum are at the endpoints:
If c>0c > 0, mab=f(a)m_{ab} = f(a), Mab=f(b)M_{ab} = f(b).
If c<0c < 0, mab=f(b)m_{ab} = f(b), Mab=f(a)M_{ab} = f(a).
If c=0c = 0, ff is constant.

In both cases, f(m)=f(a)+f(b)2f(m) = \frac{f(a) + f(b)}{2}, and mab+Mab=f(a)+f(b)m_{ab} + M_{ab} = f(a) + f(b), so the condition is satisfied.

Now, suppose ff is not affine. For example, suppose ff is quadratic: f(x)=x2f(x) = x^2.
On [a,b][a, b], the minimum is at aa or bb (if 0[a,b]0 \notin [a, b]), or at 00 (if 0[a,b]0 \in [a, b]).
Suppose a<0<ba < 0 < b.
Then mab=0m_{ab} = 0, Mab=max{a2,b2}M_{ab} = \max\{a^2, b^2\}.
But f(m)=(a+b2)2f(m) = (\frac{a+b}{2})^2.

Is it always true that f(m)=mab+Mab2f(m) = \frac{m_{ab} + M_{ab}}{2}? For a=1a = -1, b=1b = 1, m=0m = 0, f(m)=0f(m) = 0, mab=0m_{ab} = 0, Mab=1M_{ab} = 1, so mab+Mab2=12\frac{m_{ab} + M_{ab}}{2} = \frac{1}{2}. But f(m)=012f(m) = 0 \neq \frac{1}{2}.

Therefore, f(x)=x2f(x) = x^2 does not satisfy the condition.

Suppose ff is constant: f(x)=df(x) = d.
Then mab=dm_{ab} = d, Mab=dM_{ab} = d, f(m)=df(m) = d, mab+Mab2=d\frac{m_{ab} + M_{ab}}{2} = d.
So the condition is satisfied.

Therefore, the only continuous functions f:RRf: \mathbb{R} \to \mathbb{R} satisfying the condition are the affine functions f(x)=cx+df(x) = cx + d.

Let us check for c<0c < 0:
Then mab=f(b)m_{ab} = f(b), Mab=f(a)M_{ab} = f(a), f(m)=f(a)+f(b)2f(m) = \frac{f(a) + f(b)}{2}, mab+Mab2=f(a)+f(b)2\frac{m_{ab} + M_{ab}}{2} = \frac{f(a) + f(b)}{2}.
So the condition is satisfied.

Thus, all continuous functions f:RRf: \mathbb{R} \to \mathbb{R} of the form f(x)=cx+df(x) = cx + d for c,dRc, d \in \mathbb{R} satisfy the condition.

Final answer:

All continuous functions f:RRf: \mathbb{R} \to \mathbb{R} of the form f(x)=cx+df(x) = cx + d for c,dRc, d \in \mathbb{R}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.