Maths Olympiad Prep

Library / /55 of 101

Algebra Difficulty 6.2 National olympiad Prove it Estonia

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} which for any real numbers xx and yy satisfy (f(x+y))2=xf(x)+2f(xy)+(f(y))2.(f(x+y))^2 = x f(x) + 2 f(xy) + (f(y))^2.

Solution

*Answer:* f(x)=0f(x) = 0 and f(x)=xf(x) = x.

Substituting x=y=0x = y = 0 to the equation, we get (f(0))2=0+2f(0)+(f(0))2(f(0))^2 = 0 + 2f(0) + (f(0))^2. Simplifying this gives f(0)=0f(0) = 0.

Substituting y=0y = 0 to the original equation, we get the equation (f(x))2=xf(x)+2f(0)+(f(0))2(f(x))^2 = x f(x) + 2 f(0) + (f(0))^2 which must be satisfied for all real xx. Since f(0)=0f(0) = 0, this simplifies to f(x)(f(x)x)=0f(x)(f(x) - x) = 0. Thus, for each xx, either f(x)=0f(x) = 0 or f(x)=xf(x) = x.

Assume there exists a real number c0c \neq 0 such that f(c)=0f(c) = 0. Substituting x=cx = c to the original equation, we get (f(c+y))2=2f(cy)+(f(y))2(f(c+y))^2 = 2f(cy) + (f(y))^2, or
2f(cy)=(f(c+y))2(f(y))2.(1) 2f(cy) = (f(c + y))^2 - (f(y))^2. \quad (1)
This is valid for any yy. Let's analyse four cases based on whether f(c+y)=0f(c+y) = 0 or f(c+y)=c+yf(c+y) = c+y and whether f(y)=0f(y) = 0 or f(y)=yf(y) = y.

1) If f(c+y)=0f(c+y) = 0 and f(y)=0f(y) = 0, then (1) simplifies to f(cy)=0f(cy) = 0.

2) If f(c+y)=0f(c+y) = 0 and f(y)=yf(y) = y, then (1) gives f(cy)=y22f(cy) = -\frac{y^2}{2}. Assuming that f(cy)=cy0f(cy) = cy \neq 0, we get c=y2c = -\frac{y}{2} i.e. y=2cy = -2c.

3) If f(c+y)=c+yf(c+y) = c+y and f(y)=0f(y) = 0, then (1) gives us 2f(cy)=(c+y)22f(cy) = (c+y)^2. Assuming that f(cy)=cyf(cy) = cy, we get c2+y2=0c^2 + y^2 = 0 from which c=0c=0, contradiction.

4) If f(c+y)=c+yf(c+y) = c+y and f(y)=yf(y) = y, then (1) gives us 2f(cy)=c2+2cy2f(cy) = c^2 + 2cy. Assuming that f(cy)=cyf(cy) = cy, we get c2=0c^2 = 0, contradiction.

Thus f(cy)0f(cy) \neq 0 can only be valid if y=2cy = -2c, i.e. f(x)0f(x) \neq 0 can only be valid if x=c(2c)=2c2x = c \cdot (-2c) = -2c^2. Thus it is possible to choose a real number dd such that d0d \neq 0, f(d)=0f(d) = 0, and dc|d| \neq |c|. By replacing dd by cc we can analogously conclude that f(x)0f(x) \neq 0 can only be valid when x=2d2x = -2d^2. As 2d22c2-2d^2 \neq -2c^2, f(x)0f(x) \neq 0 cannot be valid for any x0x \neq 0. So f(x)=0f(x) = 0 for all xx.

Therefore the only suitable functions are f(x)=0f(x) = 0 and f(x)=xf(x) = x.

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.