Maths Olympiad Prep

Library / /6 of 10

, 2011

Algebra Difficulty 5.5 AIME, harder Prove it India

Find all functions f:RRf : \mathbb{R} \rightarrow \mathbb{R} such that

f(x+y)f(xy)=(f(x)+f(y))24x2f(y),(1) f(x+y)f(x-y) = (f(x)+f(y))^2 - 4x^2f(y), \quad (1)

for all x,yRx, y \in \mathbb{R}, where R\mathbb{R} denotes the set of all real numbers.

Solution

Put x=y=0x = y = 0; we get f(0)2=4f(0)2f(0)^2 = 4f(0)^2 and hence f(0)=0f(0) = 0.

f(y)(f(y)f(y))=0. f(y)(f(y) - f(-y)) = 0.

We may conclude that either f(y)=0f(y) = 0 or f(y)=f(y)f(y) = f(-y) for each yRy \in \mathbb{R}. Replacing yy by y-y, we may also conclude that f(y)(f(y)f(y))=0f(-y)(f(-y) - f(y)) = 0. If f(y)=0f(y) = 0 and f(y)0f(-y) \neq 0 for some yy, then we must have f(y)=f(y)=0f(-y) = f(y) = 0, a contradiction. Hence either f(y)=f(y)=0f(y) = f(-y) = 0 or f(y)=f(y)f(y) = f(-y) for each yy. This forces ff is an even function.

Taking y=1y = 1 in (1), we get
f(x+1)f(x1)=(f(x)+f(1))24x2f(1). f(x+1)f(x-1) = (f(x)+f(1))^2 - 4x^2f(1).

Replacing yy by xx and xx by 11, you also get
f(1+x)f(1x)=(f(1)+f(x))24f(x). f(1+x)f(1-x) = (f(1)+f(x))^2 - 4f(x).

Comparing these two using the even nature of ff, we get f(x)=cx2f(x) = cx^2, where c=f(1)c = f(1). Putting x=y=1x = y = 1 in (1), you get 4c24c=04c^2 - 4c = 0. Hence c=0c = 0 or 11. We get f(x)=0f(x) = 0 for all xx or f(x)=x2f(x) = x^2 for all xx.

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.