Maths Olympiad Prep

Library / /358 of 462

Algebra Difficulty 6.6 National Olympiad Prove it Ireland

Find all functions f(x)=ax2+bx+cf(x) = a x^2 + b x + c, with a0a \neq 0, such that
f(f(1))=f(f(0))=f(f(1)). f(f(1)) = f(f(0)) = f(f(-1)).

Solution

Solution 1. First note that f(0)=cf(0) = c, f(1)=a+b+cf(1) = a + b + c, f(1)=ab+cf(-1) = a - b + c. Second, note that if f(α)=f(β)f(\alpha) = f(\beta), then a(α2β2)+b(αβ)=0a(\alpha^2 - \beta^2) + b(\alpha - \beta) = 0, so (αβ)(a(α+β)+b)=0(\alpha - \beta)(a(\alpha + \beta) + b) = 0. Third, a key observation is that for fixed kk, there are at most two distinct real numbers xx for which f(x)=kf(x) = k. It follows from this that since f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)), the set {f(1),f(0),f(1)}\{f(1), f(0), f(-1)\} can contain at most two distinct numbers. This leads us to three cases.

Case 1: f(1)=f(1)f(1) = f(-1).
This gives b=0b = 0, so f(1)=f(1)=a+cf(1) = f(-1) = a + c and f(0)=cf(0) = c. Therefore
0=f(f(1))f(f(0))=(f(1)f(0))(a(f(1)+f(0))+0)=a2(a+2c). 0 = f(f(1)) - f(f(0)) = (f(1) - f(0))(a(f(1) + f(0)) + 0) = a^2(a + 2c).
So c=a/2c = -a/2, which yields f(x)=a(x212)f(x) = a(x^2 - \frac{1}{2}). Let us verify that it works. First, f(0)=a2f(0) = -\frac{a}{2} and f(1)=f(1)=a2f(1) = f(-1) = \frac{a}{2}. But ff is an even function, so f(a2)=f(a2)f(-\frac{a}{2}) = f(\frac{a}{2}) and hence f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.

Case 2: f(1)=f(0)f(1) = f(0).
This gives b=ab = -a, so f(1)=f(0)=cf(1) = f(0) = c and f(1)=2a+cf(-1) = 2a + c. Therefore
0=f(f(1))f(f(1))=(f(1)f(1))(a(f(1)+f(1))+b)=2a(a(2a+2c)a)=2a2(2a+2c1). 0 = f(f(-1)) - f(f(1)) = (f(-1) - f(1))(a(f(-1) + f(1)) + b) \\ = 2a(a(2a + 2c) - a) = 2a^2(2a + 2c - 1).
So 2a+2c1=02a + 2c - 1 = 0, and hence c=a+12c = -a + \frac{1}{2}. This yields f(x)=a(x2x1)+12f(x) = a(x^2 - x - 1) + \frac{1}{2}. Let us verify that it works. Note that f(12x)=f(12+x)f(\frac{1}{2} - x) = f(\frac{1}{2} + x). Also f(0)=12a2=f(1)f(0) = \frac{1}{2} - \frac{a}{2} = f(1) and f(1)=12+a2f(-1) = \frac{1}{2} + \frac{a}{2}. So f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.

Case 3: f(1)=f(0)f(-1) = f(0).
This gives b=ab = a, so f(1)=f(0)=cf(-1) = f(0) = c and f(1)=2a+cf(1) = 2a + c. Therefore
0=f(f(1))f(f(1))=(f(1)f(1))(a(f(1)+f(1))+b)=2a2(2a+2c+1). 0 = f(f(1)) - f(f(-1)) = (f(1) - f(-1))(a(f(1) + f(-1)) + b) \\ = 2a^2(2a + 2c + 1).
So 2a+2c+1=02a + 2c + 1 = 0 and hence c=a12c = -a - \frac{1}{2}. This yields f(x)=a(x2+x1)12f(x) = a(x^2 + x - 1) - \frac{1}{2}. Let us verify that it works. Note that f(12x)=f(12+x)f(-\frac{1}{2} - x) = f(-\frac{1}{2} + x). Also f(0)=a212=f(1)f(0) = -\frac{a}{2} - \frac{1}{2} = f(-1) and f(1)=a212f(1) = \frac{a}{2} - \frac{1}{2}. So f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.

In summary, the solutions are
a(x212),a(x2x1)+12,a(x2+x1)12 a(x^2 - \frac{1}{2}), \quad a(x^2 - x - 1) + \frac{1}{2}, \quad a(x^2 + x - 1) - \frac{1}{2}

Solution 2. First note that f(f(x))f(f(x)) is a quartic. The quartic g(x)=ax4+βx3+γx2+δx+ϵg(x) = a x^4 + \beta x^3 + \gamma x^2 + \delta x + \epsilon has the property that g(1)=g(0)=g(1)g(1) = g(0) = g(-1) if and only if α+γ=0\alpha + \gamma = 0 and β+δ=0\beta + \delta = 0. For the given function
f(f(x))=a(ax2+bx+c)2+b(ax2+bx+c)+c f(f(x)) = a(a x^2 + b x + c)^2 + b(a x^2 + b x + c) + c
So the property f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) gives a3+ab2+2a2c+ab=0a^3 + a b^2 + 2 a^2 c + a b = 0 and 2a2b+2abc+b2=02 a^2 b + 2 a b c + b^2 = 0.
Since a0a \neq 0, the first equation gives b2+b+a2+2ac=0b^2 + b + a^2 + 2 a c = 0. The latter equation gives b(2a2+2ac+b)=0b(2 a^2 + 2 a c + b) = 0. So b=0b = 0 or b=2a22ac=2a(a+c)b = -2 a^2 - 2 a c = -2 a(a + c). We look at these cases separately.

Case 1: b=0b = 0.
Then a2+2ac=0a^2 + 2 a c = 0 and hence c=a/2c = -a/2 (since a0a \neq 0). Then f(x)=a(x212)f(x) = a(x^2 - \frac{1}{2}). Let us verify that it works. First, f(0)=a2f(0) = -\frac{a}{2} and f(1)=12f(1) = -\frac{1}{2}. But ff is even, so f(12)=f(12)f(-\frac{1}{2}) = f(\frac{1}{2}) and hence f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.

Case 2: b=2a22ac=2a(a+c)b = -2 a^2 - 2 a c = -2 a(a + c).
Then the first equation gives 4a2(a+c)22a22ac+a2+2ac=04 a^2(a + c)^2 - 2 a^2 - 2 a c + a^2 + 2 a c = 0. Since a0a \neq 0, this gives (a+c)2=1/4(a + c)^2 = 1/4. Thus c=a±12c = -a \pm \frac{1}{2} and hence b=ab = \mp a. So we get two solutions f(x)=a(x2x1)+12f(x) = a(x^2 - x - 1) + \frac{1}{2} and f(x)=a(x2+x1)12f(x) = a(x^2 + x - 1) - \frac{1}{2}, for any a0a \neq 0.
We check that both of these work. For the first function, f(12x)=f(12+x)f(\frac{1}{2} - x) = f(\frac{1}{2} + x). Also, f(0)=1212=12f(0) = \frac{1}{2} - \frac{1}{2} = \frac{1}{2} and f(1)=12+12f(-1) = \frac{1}{2} + \frac{1}{2}. So f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.
For the second function, f(12x)=f(12+x)f(-\frac{1}{2} - x) = f(-\frac{1}{2} + x). Also, f(0)=1212=f(1)f(0) = -\frac{1}{2} - \frac{1}{2} = f(-1) and f(1)=1212f(1) = \frac{1}{2} - \frac{1}{2}. So f(f(1))=f(f(0))=f(f(1))f(f(1)) = f(f(0)) = f(f(-1)) as required.

In summary, the solutions are
a(x212),a(x2x1)+12,a(x2+x1)12,a(x^2 - \frac{1}{2}), \quad a(x^2 - x - 1) + \frac{1}{2}, \quad a(x^2 + x - 1) - \frac{1}{2},
for any a0a \neq 0.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.