Maths Olympiad Prep

Track / Stage 5 / 273 of 400 #1513 of 2604

Problem 1513

AIME late
Algebra Difficulty 5.5 Prove it Indian National Mathematical Olympiad · India · 2011

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

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

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

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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 y∈Ry \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(x−1)=(f(x)+f(1))2−4x2f(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(1−x)=(f(1)+f(x))2−4f(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 4c2−4c=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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.