Maths Olympiad Prep

Library / /11 of 18

Algebra Difficulty 6.4 National olympiad Prove it Belarus

Find all functions f,g:[0;1][0;1]f, g: [0; 1] \to [0; 1], satisfying the following conditions:
{{f(x)}sin2x+{x}cosf(x)cosx=f(x),f(f(x))=f(x), \begin{cases} \{f(x)\} \sin^2 x + \{x\} \cos f(x) \cos x = f(x), \\ f(f(x)) = f(x), \end{cases}
for all real xx.
(Here {y}\{y\} stands for the fractional part of yy.)

Solution

Let f(x)f(x) satisfies the problem condition:
{{f(x)}sin2x+{x}cosf(x)cosx=f(x),f(f(x))=f(x),(1)(2) \left\{ \begin{array}{l} \{f(x)\} \sin^2 x + \{x\} \cos f(x) \cos x = f(x), \\ f(f(x)) = f(x), \end{array} \right. \qquad (1) \qquad (2)
for all real xx.
Replacing xx by f(x)f(x) in (1) we obtain:
{f(f(x))}sin2f(x)+{f(x)}cos2f(x)=f(f(x)). \{f(f(x))\} \sin^2 f(x) + \{f(x)\} \cos^2 f(x) = f(f(x)).
From (2) it follows that {f(x)}=f(x)\{f(x)\} = f(x). So f:[0,1][0,1)f: [0, 1] \to [0, 1).
From (1) and the equality {f(x)}=f(x)\{f(x)\} = f(x) it follows that:
{x}cosf(x)cosx=f(x)(1sin2x)=f(x)cos2x.(3) \{x\} \cos f(x) \cos x = f(x)(1 - \sin^2 x) = f(x) \cos^2 x. \quad (3)
We have cosx>0\cos x > 0 and {x}=x\{x\} = x for x[0,1]x \in [0, 1]. Therefore from (3) we have xcosf(x)=f(x)cosxx \cos f(x) = f(x) \cos x for x[0,1]x \in [0, 1]. Dividing the last equality by cosxcosf(x)\cos x \cos f(x) we obtain:
xcosx=f(x)cosf(x).(4) \frac{x}{\cos x} = \frac{f(x)}{\cos f(x)}. \qquad (4)
Consider the function g(x)=x/cos(x)g(x) = x/\cos(x), g:[0,1]Rg: [0, 1] \to \mathbb{R}. It is increasing since xx increases and cosx\cos x decreases. Since in view of (4) g(x)=g(f(x))g(x) = g(f(x)) for x[0,1]x \in [0, 1], we obtain f(x)=xf(x) = x.

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.