Maths Olympiad Prep

Library / Taiwan Mathematical Olympiad /2 of 4

Taiwan Mathematical Olympiad

Algebra Difficulty 6.0 National Olympiad Prove it Taiwan

Find all functions ff from real numbers to real numbers such that
2f((x+y)2)=f(x+y)+(f(x))2+(4y−1)f(x)−2y+4y2 2f((x+y)^2) = f(x+y) + (f(x))^2 + (4y-1)f(x) - 2y + 4y^2
holds for all real numbers xx and yy.

Solution

The unique solution is f(x)=2xf(x) = 2x.

Solution 1:
1. Substituting y=0y=0 into the original equation, we get
2f(x2)=f(x)+f(x)2−f(x)=f(x)2,(1) 2f(x^2) = f(x) + f(x)^2 - f(x) = f(x)^2, \qquad (1)
and hence we have
f(x)2=2f(x2)=2f((−x)2)=f(−x)2.(2) f(x)^2 = 2f(x^2) = 2f((-x)^2) = f(-x)^2. \qquad (2)
2. Substituting y=−xy=-x into the original equation, we get
f(0)=f(x)2−(4x+1)f(x)+2x+4x2.(3) f(0) = f(x)^2 - (4x+1)f(x) + 2x + 4x^2. \qquad (3)
This means that
f(x)2−(4x+1)f(x)+2x+4x2=f(0)=f(−0)2−(−4x+1)f(−x)−2x+4x2, f(x)^2 - (4x+1)f(x) + 2x + 4x^2 = f(0) = f(-0)^2 - (-4x+1)f(-x) - 2x + 4x^2,
and hence by (2), we have
−(4x+1)f(x)+4x=(4x−1)f(−x).(4) -(4x+1)f(x) + 4x = (4x-1)f(-x). \qquad (4)
In particular, if we substitute x=1/4x = 1/4 into (4), we get f(1/4)=1/2f(1/4) = 1/2; then substituting x=1/4x = 1/4 into (3), we get f(0)=0f(0) = 0.
3. Substituting x=0x=0 into the original equation, and combining with f(0)=0f(0)=0, we get
f(y)−2y+4y2=2f(y2)=2f((−y)2)=f(−y)+2y+4y2 f(y) - 2y + 4y^2 = 2f(y^2) = 2f((-y)^2) = f(-y) + 2y + 4y^2
that is,
f(y)=f(−y)+4y.(5) f(y) = f(-y) + 4y. \qquad (5)
Squaring (5) and combining with (2), we get
f(y)2=f(−y)2+8f(−y)y+16y2⇒8f(−y)y+16y2=0, f(y)^2 = f(-y)^2 + 8f(-y)y + 16y^2 \Rightarrow 8f(-y)y + 16y^2 = 0,
so f(y)=2yf(y) = 2y holds for all y≠0y \neq 0. And since we already know f(0)=0=2×0f(0) = 0 = 2 \times 0, we conclude f(x)≡2xf(x) \equiv 2x.

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 translated into English from zh; metadata (topic, difficulty) added by this project.