Olympiad Maths Prep

Track / Stage 6 / 36 of 400 #1036 of 2000

Problem 1036

National olympiad, first round
Algebra Difficulty 6.0 Prove it

(Finding functions 2) Find all functions f:RRf: \mathbb{R} \rightarrow \mathbb{R} such that for all x,yRx, y \in \mathbb{R}, we have:

f(xy)=f(x)f(y) f(\lfloor x\rfloor y)=f(x)\lfloor f(y)\rfloor

(IMO 2010)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Set x=0x=0 in the equation, we have f(0)=f(0)f(y)f(0)=f(0)\lfloor f(y)\rfloor for all real yy;

- If f(0)0\mathrm{f}(0) \neq 0, then f(y)[1,2[\mathrm{f}(\mathrm{y}) \in[1,2[ for all real yy. With y=0y=0 in the equation, we get f(x)=f(0)f(x)=f(0) for all xRx \in \mathbb{R}, so ff is a constant function with value v[1,2[v \in[1,2[.
- If f(0)=0f(0)=0, we show that ff is the zero function. If for some z[0,1[z \in[0,1[, f(z)0f(z) \neq 0, we get with x=z:0=f(0)=f(z)f(y)]x=z: 0=f(0)=f(z)\lfloor f(y)] so for all real y,f(y)[0,1[y, f(y) \in[0,1[. Take the initial equation with x=1x=1 and y=zy=z: we get f(z)=0f(z)=0, which is a contradiction. Therefore, ff is zero on [0,1[\left[0,1\left[\right.\right.. If now zRz \in \mathbb{R}, there exists an integer nZn \in \mathbb{Z} such that zn[0,1[\frac{z}{n} \in[0,1[. We get with x=nx=n and y=zny=\frac{z}{n} :

f(z)=f(n)f(zn)=0 \mathrm{f}(z)=\mathrm{f}(\mathfrak{n})\left\lfloor\mathrm{f}\left(\frac{z}{\mathfrak{n}}\right)\right\rfloor=0

so ff is indeed the zero function.

Conversely, these functions satisfy the equation.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.