Maths Olympiad Prep

Library / /4 of 4

Algebra Difficulty 7.8 National olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

Let R\mathbb{R} denote the set of all real numbers. Find all functions ff from R\mathbb{R} to R\mathbb{R} satisfying:
(i) there are only finitely many ss in R\mathbb{R} such that f(s)=0f(s)=0, and
(ii) f(x4+y)=x3f(x)+f(f(y))f\left(x^{4}+y\right)=x^{3} f(x)+f(f(y)) for all x,yx, y in R\mathbb{R}.

Solutions — 2

Solution 1

The only such function is the identity function on R\mathbb{R}.

Setting (x,y)=(1,0)(x, y)=(1,0) in the given functional equation (ii), we have f(f(0))=0f(f(0))=0. Setting x=0x=0 in (ii), we find
f(y)=f(f(y)) \begin{equation*} f(y)=f(f(y)) \tag{1} \end{equation*}
[1 mark.] and thus f(0)=f(f(0))=0f(0)=f(f(0))=0 [1 mark.]. It follows from (ii) that f(x4+y)=x3f(x)+f(y)f\left(x^{4}+y\right)= x^{3} f(x)+f(y) for all x,yRx, y \in \mathbb{R}. Set y=0y=0 to obtain
f(x4)=x3f(x) \begin{equation*} f\left(x^{4}\right)=x^{3} f(x) \tag{2} \end{equation*}
for all xRx \in \mathbb{R}, and so
f(x4+y)=f(x4)+f(y) \begin{equation*} f\left(x^{4}+y\right)=f\left(x^{4}\right)+f(y) \tag{3} \end{equation*}
for all x,yRx, y \in \mathbb{R}. The functional equation (3) suggests that ff is additive, that is, f(a+b)=f(a)+f(b)f(a+b)= f(a)+f(b) for all a,bRa, b \in \mathbb{R}. [1 mark.] We now show this.

First assume that a0a \geq 0 and bRb \in \mathbb{R}. It follows from (3) that
f(a+b)=f((a1/4)4+b)=f((a1/4)4)+f(b)=f(a)+f(b) f(a+b)=f\left(\left(a^{1 / 4}\right)^{4}+b\right)=f\left(\left(a^{1 / 4}\right)^{4}\right)+f(b)=f(a)+f(b)
We next note that ff is an odd function, since from (2)
f(x)=f(x4)(x)3=f(x4)x3=f(x),x0 f(-x)=\frac{f\left(x^{4}\right)}{(-x)^{3}}=\frac{f\left(x^{4}\right)}{-x^{3}}=-f(x), \quad x \neq 0
Since ff is odd, we have that, for a<0a<0 and bRb \in \mathbb{R},
f(a+b)=f((a)+(b))=(f(a)+f(b))=(f(a)f(b))=f(a)+f(b) \begin{aligned} f(a+b) & =-f((-a)+(-b))=-(f(-a)+f(-b)) \\ & =-(-f(a)-f(b))=f(a)+f(b) \end{aligned}
Therefore, we conclude that f(a+b)=f(a)+f(b)f(a+b)=f(a)+f(b) for all a,bRa, b \in \mathbb{R}. [2 marks.]

We now show that {sRf(s)=0}={0}\{s \in \mathbb{R} \mid f(s)=0\}=\{0\}. Recall that f(0)=0f(0)=0. Assume that there is a nonzero hRh \in \mathbb{R} such that f(h)=0f(h)=0. Then, using the fact that ff is additive, we inductively have f(nh)=0f(n h)=0 or nh{sRf(s)=0}n h \in\{s \in \mathbb{R} \mid f(s)=0\} for all nNn \in \mathbb{N}. However, this is a contradiction to the given condition (i). [1 mark.]

It's now easy to check that ff is one-to-one. Assume that f(a)=f(b)f(a)=f(b) for some a,bRa, b \in \mathbb{R}. Then, we have f(b)=f(a)=f(ab)+f(b)f(b)=f(a)=f(a-b)+f(b) or f(ab)=0f(a-b)=0. This implies that ab{sRf(s)=0}={0}a-b \in\{s \in \mathbb{R} \mid f(s)=0\}=\{0\} or a=ba=b, as desired. From (1) and the fact that ff is one-to-one, we deduce that f(x)=xf(x)=x for all xRx \in \mathbb{R}. [1 mark.] This completes the proof.

Solution 2

Again, the only such function is the identity function on R\mathbb{R}.

As in Solution 1, we first show that f(f(y))=f(y)f(f(y))=f(y), f(0)=0f(0)=0, and f(x4)=x3f(x)f\left(x^{4}\right)=x^{3} f(x). [2 marks.] From the latter follows
f(x)=0f(x4)=0 f(x)=0 \Longrightarrow f\left(x^{4}\right)=0
and from condition (i) we get that f(x)=0f(x)=0 only possibly for x{0,1,1}x \in\{0,1,-1\}. [1 mark.]

Next we prove
f(a)=bf(ab4)=0 f(a)=b \Longrightarrow f(\sqrt[4]{|a-b|})=0
This is clear if a=ba=b. If a>ba>b then
f(a)=f((ab)+b)=(ab)3/4f(ab4)+f(f(b))=(ab)3/4f(ab4)+f(b)=(ab)3/4f(ab4)+f(f(a))=(ab)3/4f(ab4)+f(a) \begin{aligned} f(a) & =f((a-b)+b)=(a-b)^{3 / 4} f(\sqrt[4]{a-b})+f(f(b)) \\ & =(a-b)^{3 / 4} f(\sqrt[4]{a-b})+f(b) \\ & =(a-b)^{3 / 4} f(\sqrt[4]{a-b})+f(f(a)) \\ & =(a-b)^{3 / 4} f(\sqrt[4]{a-b})+f(a) \end{aligned}
so (ab)3/4f(ab4)=0(a-b)^{3 / 4} f(\sqrt[4]{a-b})=0 which means f(ab4)=0f(\sqrt[4]{|a-b|})=0. If a<ba<b we get similarly
f(b)=f((ba)+a)=(ba)3/4f(ba4)+f(f(a))=(ba)3/4f(ba4)+f(b) \begin{aligned} f(b) & =f((b-a)+a)=(b-a)^{3 / 4} f(\sqrt[4]{b-a})+f(f(a)) \\ & =(b-a)^{3 / 4} f(\sqrt[4]{b-a})+f(b) \end{aligned}
and again f(ab4)=0f(\sqrt[4]{|a-b|})=0. [2 marks.]

Thus f(a)=bab{0,1}f(a)=b \Longrightarrow|a-b| \in\{0,1\}. Suppose that f(x)=x+bf(x)=x+b for some xx, where b=1|b|=1.
Then from f(x4)=x3f(x)f\left(x^{4}\right)=x^{3} f(x) and f(x4)=x4+af\left(x^{4}\right)=x^{4}+a for some a1|a| \leq 1 we get x3=a/bx^{3}=a / b, so x1|x| \leq 1.
Thus f(x)=xf(x)=x for all xx except possibly x=±1x= \pm 1. [1 mark.] But for example,
f(1)=f(2415)=23f(2)+f(f(15))=23215=1 f(1)=f\left(2^{4}-15\right)=2^{3} f(2)+f(f(-15))=2^{3} \cdot 2-15=1
and
f(1)=f(2417)=23f(2)+f(f(17))=23217=1 f(-1)=f\left(2^{4}-17\right)=2^{3} f(2)+f(f(-17))=2^{3} \cdot 2-17=-1
[1 mark.] This finishes the proof.

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.