Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /104 of 208

Belarusian Mathematical Olympiad

Algebra Difficulty 6.0 AIME, harder Prove it Belarus

A function f:R→Rf: \mathbb{R} \to \mathbb{R} satisfies the equality f(f(x))=xf(x)+x−1f(f(x)) = x f(x) + x - 1 for all real numbers xx.

a) Find f(−1)f(-1).

b) Find all possible values of f(1)f(1).

Solution

Let the function f:R→Rf: \mathbb{R} \to \mathbb{R} satisfy the equality
f(f(x))=xf(x)+x−1(∗) f(f(x)) = x f(x) + x - 1 \quad (*)
for all x∈Rx \in \mathbb{R}.

a) Set c=f(0)c = f(0). We have f(c)=f(f(0))=0⋅f(0)+0−1=−1f(c) = f(f(0)) = 0 \cdot f(0) + 0 - 1 = -1. So
−1=f(c).(1) -1 = f(c). \quad (1)
Therefore, taking into account (∗)(*) for x=cx = c and (1), we obtain the required value
f(−1)=f(f(c))=c⋅f(c)+c−1=−c+c−1=−1. f(-1) = f(f(c)) = c \cdot f(c) + c - 1 = -c + c - 1 = -1.

b) Let a=f(1)a = f(1). Taking into account (∗)(*) for x=1x = 1, we obtain
f(a)=f(f(1))=1⋅f(1)+1−1=a. f(a) = f(f(1)) = 1 \cdot f(1) + 1 - 1 = a.
Since
a=f(a),(2) a = f(a), \quad (2)
it follows that
f(a)=f(f(a))=a⋅f(a)+a−1=a2+a−1.(3) f(a) = f(f(a)) = a \cdot f(a) + a - 1 = a^2 + a - 1. \quad (3)
From (2) and (3) it follows that a2+a−1=aa^2 + a - 1 = a, i.e. either a=−1a = -1 or a=1a = 1.

Both the values are achieved. For example,
f(x)=−1andf(x)={−1,if x≠1,1,if x=1.(3) f(x) = -1 \quad \text{and} \quad f(x) = \begin{cases} -1, & \text{if } x \neq 1, \\ 1, & \text{if } x = 1. \end{cases} \quad (3)
It is easy to verify that both the functions satisfy the initial equation (∗)(*) for all real xx.

Some more examples:
f(x)={1x,if x≠0,−1,if x=0orf(x)={−1,if x≠0,α,if x=0, f(x) = \begin{cases} \frac{1}{x}, & \text{if } x \neq 0, \\ -1, & \text{if } x = 0 \end{cases} \quad \text{or} \quad f(x) = \begin{cases} -1, & \text{if } x \neq 0, \\ \alpha, & \text{if } x = 0, \end{cases}
where α\alpha is any real number different from 00.
Another function: f(x)=1xf(x) = \frac{1}{x}, if x∈Ax \in A, and f(x)=−1f(x) = -1 for all other xx, where AA is an arbitrary subset of R∖{0}\mathbb{R} \setminus \{0\}, such that A−1⊂AA^{-1} \subset 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.