Maths Olympiad Prep

Library / /21 of 27

Algebra Difficulty 8.5 Shortlist Prove it Saudi Arabia

Consider the function f:R+R+f: \mathbb{R}^{+} \to \mathbb{R}^{+} and satisfying
f(x+2y+f(x+y))=f(2x)+f(3y),x,y>0. f(x + 2y + f(x + y)) = f(2x) + f(3y), \forall x, y > 0.
1. Find all functions f(x)f(x) that satisfy the given condition.
2. Suppose that f(4sin4x)f(4cos4x)f2(1)f(4\sin^4x)f(4\cos^4x) \ge f^2(1) for all x(0;π2)x \in (0; \frac{\pi}{2}). Find the minimum value of f(2022)f(2022).

Solution

1) In the given condition, replace x3x,y2yx \rightarrow 3x, y \rightarrow 2y, we have
f(3x+4y+f(3x+2y))=f(6x)+f(6y). f(3x + 4y + f(3x + 2y)) = f(6x) + f(6y).
By swapping x,yx, y and comparing the two left sides, we have
f(3x+4y+f(3x+2y))=f(4x+3y+f(2x+3y)). f(3x + 4y + f(3x + 2y)) = f(4x + 3y + f(2x + 3y)).
From injectivity, we have
3x+4y+f(3x+2y)=4x+3y+f(2x+3y) 3x + 4y + f(3x + 2y) = 4x + 3y + f(2x + 3y)
or
f(3x+2y)(3x+2y)=f(2x+3y)(2x+3y). f(3x + 2y) - (3x + 2y) = f(2x + 3y) - (2x + 3y).
Set g(x)=f(x)xg(x) = f(x) - x then g(3x+2y)=g(2x+3y),x,yR+g(3x + 2y) = g(2x + 3y), \forall x, y \in \mathbb{R}^+. Put a=3x+2y,b=2x+3ya = 3x + 2y, b = 2x + 3y then
x=3a2b5,y=3b2a5 x = \frac{3a - 2b}{5}, \quad y = \frac{3b - 2a}{5}
so the condition of the pair of numbers (a,b)(a, b) for the existence of x,yx, y the above relation is 3a2b>03a - 2b > 0 and 3b2a>03b - 2a > 0, equivalent to 23<ab<32\frac{2}{3} < \frac{a}{b} < \frac{3}{2}.
Hence we have g(a)=g(b)g(a) = g(b) for all ab(23;32)\frac{a}{b} \in (\frac{2}{3}; \frac{3}{2}). From here we will show that gg is a constant function. Indeed, we have g(1)=g(x),x[1;32)g(1) = g(x), \forall x \in [1; \frac{3}{2}), from here inductively
g(1)=g(x),x[(32)k;(32)k+1) g(1) = g(x), \forall x \in \left[ \left(\frac{3}{2}\right)^k ; \left(\frac{3}{2}\right)^{k+1} \right)
so g(1)=g(x),x>1g(1) = g(x), \forall x > 1. Similarly
g(1)=g(x),x((23)k+1;(23)k] g(1) = g(x), \forall x \in \left( \left( \frac{2}{3} \right)^{k+1} ; \left( \frac{2}{3} \right)^k \right]
so there is also g(1)=g(x),x(0;1)g(1) = g(x), \forall x \in (0; 1). Therefore, g(x)g(x) is a constant function. Instead we have f(x)=x+cf(x) = x + c with c0c \geq 0, try again and we are satisfied.

2) Since f(x)=x+cf(x) = x + c, instead of the problem condition, we have
(4sin4x+c)(4cos4x+c)(1+c)2 or sin4(2x)+4(sin4x+cos4x)c1+2c. (4\sin^4x + c)(4\cos^4x + c) \geq (1 + c)^2 \text{ or } \sin^4(2x) + 4(\sin^4x + \cos^4x)c \geq 1 + 2c.
Notice that sin4x+cos4x=112sin22x\sin^4x + \cos^4x = 1 - \frac{1}{2}\sin^22x and put t=sin2(2x)(0;1]t = \sin^2(2x) \in (0; 1], we rewrite the above inequality as t4+(42t2)c1+2ct^4 + (4 - 2t^2)c \geq 1 + 2c or
2(1t2)c(1t2)(t2+1). 2(1 - t^2)c \geq (1 - t^2)(t^2 + 1).
Since 1t2>01 - t^2 > 0 so 2ct2+12c \geq t^2 + 1, which max(0;1]{t2+1}=2\max_{(0;1]}\{t^2 + 1\} = 2 so 2c2c12c \geq 2 \Leftrightarrow c \geq 1. So the minimum value of f(2022)f(2022) is 2023. □

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.