Maths Olympiad Prep

Library / /43 of 101

Algebra Difficulty 6.0 AIME, harder Prove it Estonia

Find all functions f:RRf : \mathbb{R} \to \mathbb{R} that satisfy
f(y2f(x)f(xy))=f(y2)+2(x2f(x))(f(y)1)+1 f(y^2f(x) - f(xy)) = f(y^2) + 2(x^2 - f(x))(f(y) - 1) + 1
for all real numbers xx and yy.

Solutions — 2

Solution 1

Substituting y=1y = 1 into the given equation, we obtain
f(0)=f(1)+2(x2f(x))(f(1)1)+1 f(0) = f(1) + 2(x^2 - f(x))(f(1) - 1) + 1
which is equivalent to
2f(x)(f(1)1)=f(1)f(0)+2x2(f(1)1).(3) 2f(x)(f(1) - 1) = f(1) - f(0) + 2x^2(f(1) - 1). \quad (3)

If f(1)=1f(1) = 1 then (3) implies 0=1f(0)+10 = 1 - f(0) + 1, or equivalently, f(0)=2f(0) = 2.
Substituting now y=0y = 0 into the original equation and applying f(0)=2f(0) = 2 gives us
f(2)=2+2(x2f(x))+1, f(-2) = 2 + 2(x^2 - f(x)) + 1,
or equivalently, f(x)=x2+cf(x) = x^2 + c where c=3f(2)2c = \frac{3-f(-2)}{2}. In the other case, f(x)f(x) is expressed in the same form with c=f(1)f(0)+12(f(1)1)c = \frac{f(1)-f(0)+1}{2(f(1)-1)}.
We show that the function f(x)=x2+cf(x) = x^2 + c satisfies the original equation if and only if c=1c = 1. Substituting f(x)=x2+cf(x) = x^2 + c into the original equation and simplifying leads to
(c21)y4+2c(1c)y2+(3c22c1)=0. (c^2 - 1) y^4 + 2c(1-c)y^2 + (3c^2 - 2c - 1) = 0.
This equality must hold for every real number yy. For that, all coefficients in the left hand side must be zeros. From the leading term, we get c21=0c^2 - 1 = 0, implying c=1c = 1 or c=1c = -1. From the quadratic term, we get 2c(1c)=02c(1-c) = 0, implying c=0c = 0 or c=1c = 1. Altogether, only c=1c = 1 works. It makes the constant term also zero. Hence f(x)=x2+1f(x) = x^2 + 1 is the only function that satisfies the given equation.

Solution 2

Substituting y=0y = 0 into the original equation gives
f(f(0))=f(0)+2(x2f(x))(f(0)1)+1, f(-f(0)) = f(0) + 2(x^2 - f(x))(f(0) - 1) + 1,
or equivalently,
2f(x)(f(0)1)=f(0)f(f(0))+1+2x2(f(0)1).(4) 2f(x)(f(0)-1) = f(0) - f(-f(0)) + 1 + 2x^2(f(0)-1). \quad (4)
This implies that either f(0)=1f(0) = 1 or f(x)=x2+f(0)f(f(0))+12(f(0)1)f(x) = x^2 + \frac{f(0)-f(-f(0))+1}{2(f(0)-1)} for any real number xx.

Consider the case f(0)=1f(0) = 1. Substituting x=0x = 0 into the original equation leads to
f(y21)=f(y2)2(f(y)1)+1, f(y^2 - 1) = f(y^2) - 2(f(y) - 1) + 1,
which must hold for any real number yy. Substituting y-y for yy gives
f(y21)=f(y2)2(f(y)1)+1, f(y^2 - 1) = f(y^2) - 2(f(-y) - 1) + 1,
which must also hold for any real number yy. Hence f(y)=f(y)f(y) = f(-y) for any real number yy, i.e., ff is an even function. Eliminating the two terms with f(0)1f(0) - 1 in (4) gives 0=1f(1)+10 = 1 - f(-1) + 1, or equivalently, f(1)=2f(-1) = 2. Substituting now y=1y = -1 into the original equation gives
f(f(x)f(x))=f(1)+2(x2f(x))(f(1)1)+1.(5) f(f(x) - f(-x)) = f(1) + 2(x^2 - f(x))(f(-1) - 1) + 1. \quad (5)
As ff is an even function and f(1)=f(1)=2f(1) = f(-1) = 2, the equation (5) simplifies to 1=2+2(x2f(x))+11 = 2 + 2(x^2 - f(x)) + 1 which is equivalent to f(x)=x2+1f(x) = x^2 + 1.

Hence f(x)=x2+cf(x) = x^2 + c for any real number xx, where cc is some constant. We proceed like in Solution 1.

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.