Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /187 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 6.1 National Olympiad Prove it Romania

Determine the continuous functions f:R→Rf : \mathbb{R} \to \mathbb{R} having the property that, for all x,y∈Rx, y \in \mathbb{R}, there exist t∈(0,1)t \in (0, 1) such that
f((1−t)x+ty)=(1−t)f(x)+tf(y). f((1-t)x + ty) = (1-t)f(x) + tf(y).

Solution

We shall prove that the answer is f:R→Rf : \mathbb{R} \to \mathbb{R}, f(x)=mx+nf(x) = mx + n, with m,n∈Rm, n \in \mathbb{R}. It is trivial to see that this family of functions satisfy the property.

For the converse, let ff with the given property. Consider a,b∈Ra, b \in \mathbb{R}, a<ba < b, and define
m=f(b)−f(a)b−aandn=bf(a)−af(b)b−a. m = \frac{f(b) - f(a)}{b - a} \quad \text{and} \quad n = \frac{bf(a) - af(b)}{b - a}.
We shall show that f(x)=mx+nf(x) = mx + n, for all x∈[a,b]x \in [a, b]. By way of contradiction, let x0∈[a,b]x_0 \in [a, b], such that f(x0)≠mx0+nf(x_0) \neq mx_0 + n. Consider the sets
A={x∈[a,x0]∣f(x)=mx+n}andB={x∈[x0,b]∣f(x)=mx+n}. A = \{x \in [a, x_0] \mid f(x) = mx + n\} \quad \text{and} \quad B = \{x \in [x_0, b] \mid f(x) = mx + n\}.
AA and BB are nonempty because a∈Aa \in A and b∈Bb \in B. Consider the numbers α=sup⁡(A)\alpha = \sup(A) and β=inf⁡(B)\beta = \inf(B). By the continuity of ff we get α∈A\alpha \in A, β∈B\beta \in B and α<x0<β\alpha < x_0 < \beta. By the hypothesis, there is t∈(0,1)t \in (0, 1) such that
f((1−t)α+tβ)=(1−t)f(α)+tf(β)=m((1−t)α+tβ)+n. f((1-t)\alpha + t\beta) = (1-t)f(\alpha) + tf(\beta) = m((1-t)\alpha + t\beta) + n.
Then γ=(1−t)α+tβ∈(α,β)\gamma = (1-t)\alpha + t\beta \in (\alpha, \beta) and f(γ)=mγ+nf(\gamma) = m\gamma + n, in contradiction with the definition of α\alpha and β\beta. So, f(x)=mx+nf(x) = mx + n, for all x∈[a,b]x \in [a, b].

To extend the answer to R\mathbb{R}, observe that if f:[a,c]→Rf : [a, c] \to \mathbb{R}, c>bc > b is a function obtained from the preceding considerations, say f(x)=m′x+n′f(x) = m'x + n', we must have by continuity m=m′m = m', n=n′n = n'. The same remark can be made on intervals of the form [c,b][c, b] with c<ac < a.

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

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