Maths Olympiad Prep

Library / /67 of 82

Algebra Difficulty 6.3 National olympiad Prove it Croatia

Determine all functions f:RRf : \mathbb{R} \to \mathbb{R} such that for all real numbers xx and yy holds
f(x2+f(y))=(f(x)+y2)2. f(x^2 + f(y)) = (f(x) + y^2)^2.

Solution

Let a=f(0)a = f(0). Setting x=y=0x = y = 0 in the given equation gives f(a)=a2f(a) = a^2. Setting y=0y = 0 gives
f(x2+a)=(f(x))2,xR.() f(x^2 + a) = (f(x))^2, \quad \forall x \in \mathbb{R}. \qquad (\circ)
Setting x=ax = a gives f(a2+a)=(f(a))2=a4f(a^2 + a) = (f(a))^2 = a^4.
Assume that a<0a < 0. Then there exists b>0b > 0 such that a=b2a = -b^2. Setting x=bx = b in (\circ) gives a=f(0)=f(b2+a)=(f(b))20a = f(0) = f(b^2 + a) = (f(b))^2 \ge 0, a contradiction. Hence a0a \ge 0.
Setting x=ax = \sqrt{a}, y=ay = a in the given equation gives f(a+a2)=(f(a)+a2)2f(a + a^2) = (f(\sqrt{a}) + a^2)^2.
We have obtained f(a+a2)=(f(a)+a2)2=a4f(a + a^2) = (f(\sqrt{a}) + a^2)^2 = a^4, i.e. f(a)(f(a)+2a2)=0f(\sqrt{a}) (f(\sqrt{a}) + 2a^2) = 0.
Assume f(a)=2a2f(\sqrt{a}) = -2a^2. Setting x=a+2a2x = \sqrt{\sqrt{a} + 2a^2}, y=ay = \sqrt{a} gives
f(x2+f(y))=f(a+2a22a2)=f(a)=2a2<0. f(x^2 + f(y)) = f(\sqrt{a} + 2a^2 - 2a^2) = f(\sqrt{a}) = -2a^2 < 0.
But the given equation gives f(x2+f(y))=(f(x)+y2)20f(x^2 + f(y)) = (f(x) + y^2)^2 \ge 0, a contradiction. Hence f(a)=0f(\sqrt{a}) = 0.
Setting x=0x = 0 in the given equation gives f(f(y))=(a+y2)2,yRf(f(y)) = (a + y^2)^2, \forall y \in \mathbb{R}.
Setting y=ay = \sqrt{a} gives a=f(0)=f(f(a))=(a+a)2=4a2a = f(0) = f(f(\sqrt{a})) = (a + a)^2 = 4a^2.
We have two cases: a=14a = \frac{1}{4} or a=0a = 0.
Assume a=14a = \frac{1}{4}. Then f(12)=0f(\frac{1}{2}) = 0. Because f(f(y))=(a+y2)2f(f(y)) = (a + y^2)^2, we have f(14)=116f(\frac{1}{4}) = \frac{1}{16}. If xx and yy are real numbers such that x2+f(y)=12x^2 + f(y) = \frac{1}{2}, the given equation gives f(x)=y2f(x) = -y^2. This is true for, e.g., x=74x = \frac{\sqrt{7}}{4} and y=14y = \frac{1}{4} and we conclude that f(74)=116<0f(\frac{\sqrt{7}}{4}) = -\frac{1}{16} < 0. But setting x=714x = \sqrt{\frac{\sqrt{7}-1}{4}} in (\circ) gives f(74)0f(\frac{\sqrt{7}}{4}) \ge 0, a contradiction.
Hence f(0)=a=0f(0) = a = 0 and we can simplify obtained identities to f(x2)=(f(x))2f(x^2) = (f(x))^2 and f(f(y))=y4f(f(y)) = y^4.
From the first identity we have f(x)0f(x) \ge 0 for all x0x \ge 0.
Assume there is t>0t > 0 such that f(t)<t2f(t) < t^2. Setting x=t2f(t)x = \sqrt{t^2 - f(t)} and y=ty = t in the given equation gives
f(t2)=(f(t2f(t))+t2)2t4, f(t^2) = \left( f(\sqrt{t^2 - f(t)}) + t^2 \right)^2 \ge t^4,
therefore (f(t))2t4(f(t))^2 \ge t^4 which is a contradiction with the assumption f(t)<t2f(t) < t^2. Hence for all x0x \ge 0 holds f(x)x2f(x) \ge x^2.
This implies that x4=f(f(x))(f(x))2x4x^4 = f(f(x)) \ge (f(x))^2 \ge x^4 for all x>0x > 0, which is possible only if f(x)=x2f(x) = x^2 for all x0x \ge 0.
Let w>0w > 0. Setting x=wx = -w in f(x2)=(f(x))2f(x^2) = (f(x))^2 gives f(w)=w2f(-w) = w^2 or f(w)=w2f(-w) = -w^2. But if f(w)=w2f(-w) = -w^2, setting x=wx = w, y=wy = -w in the given equation gives 0=f(0)=f(w2w2)=f(x2+f(y))=(f(x)+y2)2=4w4>00 = f(0) = f(w^2 - w^2) = f(x^2 + f(y)) = (f(x) + y^2)^2 = 4w^4 > 0, a contradiction.
Hence the only possible solution is f(x)=x2,xRf(x) = x^2, \forall x \in \mathbb{R}. We check directly that it really satisfies the given equation.

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.