Olympiad Maths Prep

Library / /23 of 28

Algebra Difficulty 6.1 National olympiad Prove it Ukraine

Find all functions f:RRf: \mathbb{R} \rightarrow \mathbb{R}, such that for all real x,yx, y the following equality holds:
f(x+xy+f(y))=(f(x)+12)(f(y)+12). f(x + x y + f(y)) = (f(x) + \frac{1}{2})(f(y) + \frac{1}{2}).

Solution

If we take y=1y = -1 we'll get that: f(f(1))=(f(x)+12)(f(1)+12)f(f(-1)) = (f(x) + \frac{1}{2})(f(-1) + \frac{1}{2}). So if f(1)12f(-1) \neq -\frac{1}{2}, then ff is constant. If we substitute f=cf = c in our equality, then we'll get that c=(c+12)2c = (c + \frac{1}{2})^2 which is impossible. Therefore f(1)=12f(-1) = -\frac{1}{2}.
x=0f(f(y))=(f(0)+12)(f(y)+12).(1) x = 0 \Rightarrow f(f(y)) = (f(0) + \frac{1}{2})(f(y) + \frac{1}{2}). \quad (1)
Substituting y=1y = -1 in (1) we see that f(12)=0f(-\frac{1}{2}) = 0. Now suppose that for some y01y_0 \neq -1 we have f(y0)=12f(y_0) = -\frac{1}{2}. Then substituting y=y0y = y_0 in the given equality we will obtain: f(x(1+y0)12)=0f(x(1 + y_0) - \frac{1}{2}) = 0, which means that ff is constant which was proved to be impossible. Thus f(y)=12y=1f(y) = -\frac{1}{2} \Leftrightarrow y = -1. Now take some y1y \neq -1, and substitute in the given equality
x=12f(y)y+1. Then 0=f(12)=(f(y)+12)(f(12f(y)y+1)+12). Since y1,f(y)+120, and so f(12f(y)y+1)=1212f(y)y+1=1f(y)=y+12. An easy x = \frac{-\frac{1}{2} - f(y)}{y + 1} \text{. Then } 0 = f(-\frac{1}{2}) = (f(y) + \frac{1}{2}) \left( f\left(\frac{-\frac{1}{2} - f(y)}{y+1}\right) + \frac{1}{2} \right) \text{. Since } y \neq -1, \\ f(y) + \frac{1}{2} \neq 0, \text{ and so } f\left(\frac{-\frac{1}{2} - f(y)}{y+1}\right) = -\frac{1}{2} \Rightarrow \frac{-\frac{1}{2} - f(y)}{y+1} = -1 \Rightarrow f(y) = y + \frac{1}{2} \text{. An easy}
check shows that this function meets all the requirements.

Looking for a route rather than 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.