Maths Olympiad Prep

Library / Vietnamese Mathematical Olympiad /1 of 68

Vietnamese Mathematical Olympiad

Algebra Difficulty 5.0 AIME Prove it Vietnam

Find all functions f:R→Rf: \mathbb{R} \to \mathbb{R} such that
f(x)f(y)=f(xy−1)+xf(y)+yf(x),∀x,y∈R. f(x)f(y) = f(xy - 1) + x f(y) + y f(x), \quad \forall x, y \in \mathbb{R}.

Solution

By letting y=0y = 0 in (1), we have f(x)⋅f(0)=f(−1)+xf(0)f(x) \cdot f(0) = f(-1) + x f(0).
We distinguish two cases regarding the value of f(0)f(0).

Case 1. f(0)≠0f(0) \neq 0 implies f(x)=x+cf(x) = x + c for all x∈Rx \in \mathbb{R} with cc is constant, which is not a solution.

Case 2. f(0)=0f(0) = 0 implies f(−1)=0f(-1) = 0.
By plugging x=y=1x = y = 1 into (1), we get f(1)2=2f(1)f(1)^2 = 2 f(1), so f(1)=0f(1) = 0 or f(1)=2f(1) = 2. From (1), the substitution y=−1y = -1 yields
f(−y−1)=f(y),∀y∈R.(2) f(-y - 1) = f(y), \forall y \in \mathbb{R}. \quad (2)
Replacing yy by −y−1-y - 1 in (1), we get
f(x)f(−y−1)=f(−x(y+1)−1)+xf(−y−1)−(y+1)f(x). f(x) f(-y - 1) = f(-x(y + 1) - 1) + x f(-y - 1) - (y + 1) f(x).
Thus, it follows from (2)
f(xy−1)+yf(x)=f(xy+x)−(y+1)f(x),∀x,y∈R.(3) f(xy - 1) + y f(x) = f(xy + x) - (y + 1) f(x), \forall x, y \in \mathbb{R}. \quad (3)
Let x≠−1x \neq -1, replacing xx by x+1x + 1 and yy by 1x+1\frac{1}{x+1} in (3), we have
f(x−1)=x−1x+1f(x),∀x≠−1. f(x - 1) = \frac{x - 1}{x + 1} f(x), \forall x \neq -1.
On the other hand, we set y=1y = 1 in (1) and get
f(x)⋅f(1)=f(x−1)+x⋅f(1)+f(x)=x−1x+1⋅f(x)+x⋅f(1)+f(x),∀x≠−1.(4) \begin{aligned} f(x) \cdot f(1) &= f(x - 1) + x \cdot f(1) + f(x) \\ &= \frac{x - 1}{x + 1} \cdot f(x) + x \cdot f(1) + f(x), \forall x \neq -1. \end{aligned} \quad (4)
* If f(1)=0f(1) = 0 then f=0f = 0 because (4) and f(−1)=0f(-1) = 0.
* If f(1)=2f(1) = 2 then f(x)=x(x+1)f(x) = x(x + 1) because (4) and f(−1)=0f(-1) = 0.

It is easy to see that f(x)≡0f(x) \equiv 0 and f(x)=x(x+1)f(x) = x(x+1) satisfied (1). □\square

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.