Maths Olympiad Prep

Library / /47 of 121

Algebra Difficulty 5.9 AIME, harder Prove it India

Problem:
Let R\mathbf{R} denote the set of all real numbers. Find all functions f:RRf: \mathbf{R} \rightarrow \mathbf{R} satisfying the condition
f(x+y)=f(x)f(y)f(xy) f(x+y)=f(x) f(y) f(x y)
for all x,yx, y in R\mathbf{R}.

Solution

Solution:
Putting x=0,y=0x=0, y=0, we get f(0)=f(0)3f(0)=f(0)^3 so that f(0)=0,1f(0)=0, 1 or 1-1.
If f(0)=0f(0)=0, then taking y=0y=0 in the given equation, we obtain f(x)=f(x)f(0)2=0f(x)=f(x) f(0)^2=0 for all xx.

Suppose f(0)=1f(0)=1. Taking y=xy=-x, we obtain
1=f(0)=f(xx)=f(x)f(x)f(x2) 1=f(0)=f(x-x)=f(x) f(-x) f\left(-x^2\right)
This shows that f(x)0f(x) \neq 0 for any xRx \in \mathbf{R}.

Taking x=1,y=x1x=1, y=x-1, we obtain
f(x)=f(1)f(x1)2=f(1)[f(x)f(x)f(x)]2 f(x)=f(1) f(x-1)^2=f(1)[f(x) f(-x) f(-x)]^2
Using f(x)0f(x) \neq 0, we conclude that 1=kf(x)(f(x))21=k f(x)(f(-x))^2, where k=f(1)(f(1))2k=f(1)(f(-1))^2.
Changing xx to x-x here, we also infer that 1=kf(x)(f(x))21=k f(-x)(f(x))^2.
Comparing these expressions we see that f(x)=f(x)f(-x)=f(x).
It follows that 1=kf(x)31=k f(x)^3.
Thus f(x)f(x) is constant for all xx.
Since f(0)=1f(0)=1, we conclude that f(x)=1f(x)=1 for all real xx.

If f(0)=1f(0)=-1, a similar analysis shows that f(x)=1f(x)=-1 for all xRx \in \mathbf{R}.

We can verify that each of these functions satisfies the given functional equation. Thus there are three solutions, all of them being constant functions.

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.