Maths Olympiad Prep

Library / /6 of 14

Algebra Difficulty 8.1 Shortlist Prove it Estonia

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} that satisfy f(xy+f(xy))=2xf(y)f(xy + f(xy)) = 2x f(y) for all x,yRx, y \in \mathbb{R}.

Solutions — 2

Solution 1

By choosing (x,y)=(z,1)(x, y) = (z, 1) in the original equation, where zz is any real number, we get f(z+f(z))=2zf(1)f(z + f(z)) = 2z f(1). However, by choosing (x,y)=(1,z)(x, y) = (1, z) in the original equation, we get f(z+f(z))=2f(z)f(z + f(z)) = 2 f(z). From these equations together we obtain f(z)=f(1)zf(z) = f(1) z.

By choosing z=1z = 1 in equation f(z+f(z))=2zf(1)f(z + f(z)) = 2z f(1), we get f(1+f(1))=2f(1)f(1 + f(1)) = 2 f(1), however by choosing z=1+f(1)z = 1 + f(1) in equation f(z)=f(1)zf(z) = f(1) z, we get f(1+f(1))=f(1)(1+f(1))f(1 + f(1)) = f(1)(1 + f(1)). Altogether we get (1+f(1))f(1)=2f(1)(1 + f(1)) f(1) = 2 f(1) or, equivalently, f(1)(f(1)1)=0f(1)(f(1) - 1) = 0, from which f(1)=0f(1) = 0 or f(1)=1f(1) = 1.

Therefore by f(z)=f(1)zf(z) = f(1) z either f(z)=0f(z) = 0 or f(z)=zf(z) = z for every zz. We can check that both functions indeed satisfy the original equation.

Solution 2

By choosing y=0y = 0 we get f(f(0))=2xf(0)f(f(0)) = 2x f(0). As xx can be any real number, this can hold only if f(0)=0f(0) = 0.

By choosing x=1yx = \frac{1}{y}, we end up with f(1+f(1))=2yf(y)f(1 + f(1)) = \frac{2}{y} f(y). Hence for each y0y \neq 0 the equation f(y)=f(1+f(1))2yf(y) = \frac{f(1 + f(1))}{2} y holds. In the case of f(1+f(1))=0f(1 + f(1)) = 0 this equation gives f(y)=0f(y) = 0 for every yy. We get the same result if 1+f(1)=01 + f(1) = 0, because f(0)=0f(0) = 0.

However, if 1+f(1)01 + f(1) \neq 0 and f(1+f(1))0f(1 + f(1)) \neq 0, then we can take y=1+f(1)y = 1 + f(1) in the equation above and divide both sides by f(1+f(1))f(1 + f(1)); we obtain 1+f(1)2=1\frac{1 + f(1)}{2} = 1, which implies f(1)=1f(1) = 1. Now by setting y=1y = 1 in the equation above we get f(1+f(1))2=1\frac{f(1 + f(1))}{2} = 1, therefore f(y)=yf(y) = y for every yy.

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.