Determine all functions f:R→R such that for all real numbers x and y holds f(x2+f(y))=(f(x)+y2)2.
Solution
Let a=f(0). Setting x=y=0 in the given equation gives f(a)=a2. Setting y=0 gives f(x2+a)=(f(x))2,∀x∈R.(∘) Setting x=a gives f(a2+a)=(f(a))2=a4. Assume that a<0. Then there exists b>0 such that a=−b2. Setting x=b in (\circ) gives a=f(0)=f(b2+a)=(f(b))2≥0, a contradiction. Hence a≥0. Setting x=a, y=a in the given equation gives f(a+a2)=(f(a)+a2)2. We have obtained f(a+a2)=(f(a)+a2)2=a4, i.e. f(a)(f(a)+2a2)=0. Assume f(a)=−2a2. Setting x=a+2a2, y=a gives f(x2+f(y))=f(a+2a2−2a2)=f(a)=−2a2<0. But the given equation gives f(x2+f(y))=(f(x)+y2)2≥0, a contradiction. Hence f(a)=0. Setting x=0 in the given equation gives f(f(y))=(a+y2)2,∀y∈R. Setting y=a gives a=f(0)=f(f(a))=(a+a)2=4a2. We have two cases: a=41 or a=0. Assume a=41. Then f(21)=0. Because f(f(y))=(a+y2)2, we have f(41)=161. If x and y are real numbers such that x2+f(y)=21, the given equation gives f(x)=−y2. This is true for, e.g., x=47 and y=41 and we conclude that f(47)=−161<0. But setting x=47−1 in (\circ) gives f(47)≥0, a contradiction. Hence f(0)=a=0 and we can simplify obtained identities to f(x2)=(f(x))2 and f(f(y))=y4. From the first identity we have f(x)≥0 for all x≥0. Assume there is t>0 such that f(t)<t2. Setting x=t2−f(t) and y=t in the given equation gives f(t2)=(f(t2−f(t))+t2)2≥t4, therefore (f(t))2≥t4 which is a contradiction with the assumption f(t)<t2. Hence for all x≥0 holds f(x)≥x2. This implies that x4=f(f(x))≥(f(x))2≥x4 for all x>0, which is possible only if f(x)=x2 for all x≥0. Let w>0. Setting x=−w in f(x2)=(f(x))2 gives f(−w)=w2 or f(−w)=−w2. But if f(−w)=−w2, setting x=w, y=−w in the given equation gives 0=f(0)=f(w2−w2)=f(x2+f(y))=(f(x)+y2)2=4w4>0, a contradiction. Hence the only possible solution is f(x)=x2,∀x∈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.