Maths Olympiad Prep

Library / /20 of 35

Algebra Difficulty 5.6 AIME, harder Prove it Belarus

Do there exist numbers a,bRa, b \in \mathbb{R} and a surjective function f:RRf: \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 b0b \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))=b0f(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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.