Maths Olympiad Prep

Library / Mathematical Olympiad in Ukraine /22 of 27

Mathematical Olympiad in Ukraine

Algebra Difficulty 6.1 National Olympiad Prove it Ukraine

Find all functions f:R→Rf: \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=0⇒f(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 y0≠−1y_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)=−12⇔y=−1f(y) = -\frac{1}{2} \Leftrightarrow y = -1. Now take some y≠−1y \neq -1, and substitute in the given equality
x=−12−f(y)y+1. Then 0=f(−12)=(f(y)+12)(f(−12−f(y)y+1)+12). Since y≠−1,f(y)+12≠0, and so f(−12−f(y)y+1)=−12⇒−12−f(y)y+1=−1⇒f(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.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.