Maths Olympiad Prep

Library / /65 of 104

Algebra Difficulty 6.0 National Olympiad Prove it Bulgaria

Problem:
Let R\mathbb{R} be the set of real numbers. Find all a>0a>0 such that there exists a function f:RRf: \mathbb{R} \rightarrow \mathbb{R} with the following two properties:

a) f(x)=ax+1af(x)=a x+1-a for any x[2,3)x \in [2,3);

b) f(f(x))=32xf(f(x))=3-2 x for any xRx \in \mathbb{R}.

Solution

Solution:
Setting h(x)=f(x+1)1h(x)=f(x+1)-1, it is easy to see that the conditions for f(x)f(x) are equivalent to h(x)=axh(x)=a x for any x[1,2)x \in [1,2) and h(h(x))=2xh(h(x))=-2 x for any xRx \in \mathbb{R}. Then h(2x)=h(h(h(x)))=2h(x)h(-2 x)=h(h(h(x)))=-2 h(x); in particular, h(0)=0h(0)=0.

It follows by induction that h(4nx)=4nh(x)h\left(4^{n} x\right)=4^{n} h(x) and hence h(x)>0h(x)>0 for x[4n,24n)x \in \left[4^{n}, 2 \cdot 4^{n}\right), where nn is an arbitrary integer. Since 0>2x=h(h(x))=h(ax)0>-2 x=h(h(x))=h(a x) for x[1,2)x \in [1,2), then [a,2a)[24k,4k+1)[a, 2 a) \subset \left[2 \cdot 4^{k}, 4^{k+1}\right) for some integer kk. Therefore a=24ka=2 \cdot 4^{k}.

Conversely, if aa has this form, then it is easy to check that the function
h(x)={ax,x[4n,24n)2xa,x[24n,4n+1)0,x=0ax,x(4n+1,24n]2xa,x(24n,4n] h(x)=\left\{\begin{aligned} a x, & \quad x \in \left[4^{n}, 2 \cdot 4^{n}\right) \\ -\frac{2 x}{a}, & \quad x \in \left[2 \cdot 4^{n}, 4^{n+1}\right) \\ 0, & \quad x=0 \\ a x, & \quad x \in \left(-4^{n+1},-2 \cdot 4^{n}\right] \\ -\frac{2 x}{a}, & \quad x \in \left(-2 \cdot 4^{n},-4^{n}\right] \end{aligned}\right.
where nn runs over all integers, has the desired properties. One can easily show that this is the only function with the above properties.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.