Maths Olympiad Prep

Library / Belarus — Selection and Training Session /44 of 78

Belarus — Selection and Training Session

Algebra Difficulty 5.6 AIME, harder Prove it Belarus

Do there exist numbers a,b∈Ra, b \in \mathbb{R} and a surjective function f:R→Rf: \mathbb{R} \to \mathbb{R} such that
f(f(x))=bxf(x)+a f(f(x)) = b x f(x) + a
for all real xx?

Solution

(Solution by A. Asanau, Y. Dubovik, Y. Laurenau, V. Vityaz.) Suppose that such aa, bb, ff exist. Obviously b≠0b \neq 0. Further, since ff is surjective, there exists a λ\lambda such that f(λ)=0f(\lambda) = 0. Set x=λx = \lambda in
f(f(x))=bxf(x)+a,(1) f(f(x)) = b x f(x) + a, \tag{1}
then f(0)=f(f(λ))=bλf(λ)+a=bλ⋅0+a=af(0) = f(f(\lambda)) = b \lambda f(\lambda) + a = b \lambda \cdot 0 + a = a. Further,
f(a)=f(f(0))=b⋅0⋅f(0)+a=a. f(a) = f(f(0)) = b \cdot 0 \cdot f(0) + a = a.
Now a=f(a)=f(f(a))=baf(a)+a=ba2+aa = f(a) = f(f(a)) = b a f(a) + a = b a^2 + a whence a=0a = 0. Thus (1) becomes
f(f(x))=bxf(x).(2) f(f(x)) = b x f(x). \tag{2}
Further, there exists a σ≠0\sigma \neq 0 such that f(σ)=−1/bf(\sigma) = -1/b. Set x=σx = \sigma in (2), then
f(−1/b)=f(f(σ))=bσf(σ)=bσ(−1/b)=−σ.(3) f(-1/b) = f(f(\sigma)) = b \sigma f(\sigma) = b \sigma(-1/b) = -\sigma. \quad (3)
Hence
f(−σ)=f(f(−1/b))=b(−1/b)f(−1/b)=σ. f(-\sigma) = f(f(-1/b)) = b(-1/b)f(-1/b) = \sigma.
Therefore,
1b=f(σ)=f(f(−σ))=b(−σ)f(−σ)=−bσ2 \frac{1}{b} = f(\sigma) = f(f(-\sigma)) = b(-\sigma)f(-\sigma) = -b \sigma^2
and so σ=±1/b\sigma = \pm 1/b.
If σ=−1/b\sigma = -1/b, then σ=−1/b=f(σ)=f(−1/b)\sigma = -1/b = f(\sigma) = f(-1/b), contrary to (3).
If σ=1/b\sigma = 1/b, then in view of (3) we have
f(−σ)=−σ  ⟹  −σ=f(−σ)=f(f(−σ))=b(−σ)f(−σ)=bσ2  ⟹  σ=−1/b, f(-\sigma) = -\sigma \implies -\sigma = f(-\sigma) = f(f(-\sigma)) = b(-\sigma)f(-\sigma) = b \sigma^2 \implies \\ \qquad \sigma = -1/b,
a contradiction.

Therefore, there are no aa, bb, ff satisfying the problem condition.

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.