1986 IMO Problems/Problem 5

Problem

Find all (if any) functions $f$ taking the non-negative reals onto the non-negative reals, such that

(a) $f(xf(y))f(y) = f(x+y)$ for all non-negative $x$, $y$;

(b) $f(2) = 0$;

(c) $f(x) \neq 0$ for every $0 \leq x < 2$.

Solution 1

For all $x+y\ge2$, there exists a nonnegative real $t$ such that $t+2=x+y$ and $f(x+y)=f(t+2)=f(tf(2))f(2)=0$. Hence, $f(x)=0$ for all $x\ge 2$.

For $x<2$, take $0=f(2)=f((2-x)+(x))=f((2-x)f(x))f(x)$. Since $f(x)\neq0$ for $x<2$, then $f((2-x)f(x))=0$. Thus, $(2-x)f(x)\ge2\Leftrightarrow f(x)\ge\frac{2}{2-x}$ for all $x<2$.

Suppose $f(a)>\frac{2}{2-a}$ so that $f(a)=\frac{2}{2-a-\epsilon}$ for some $\epsilon>0$ and $0\le a<2$. Then $f\left((2-a-\epsilon)f(a)\right)f(a)=f(2-\epsilon)$. The left hand side is equivalent to $f\left((2-a-\epsilon)\left(\frac{2}{2-a-\epsilon}\right)\right)f(a)=f(2)=0$, but the right hand side is nonzero, since $2-\epsilon<2$ and $f(x)\neq0$ for all $x<2$.

Hence, $f(x)=\frac{2}{2-x}$ for $0\le a<2$. For $x+y<2$,f(xf(y))f(y)=f((x)(22y))(22y)=(222x2y)(22y)=442y2x=22yxf(x+y)=22yx. Indeed, $f(xf(y))f(y)=f(x+y)$, so the desired function is \[f(x)=\begin{cases}\frac{2}{2-x},& 0\le x<2\\0,& x\ge2.\end{cases}\]

This solution was posted and copyrighted by Shen Kislay Kai. The original thread for this problem can be found here: [1]

Solution 2

Taking $y=2$ gives $f(x+2)=0 \forall x\ge 0$, or equivalently $f(x)=0  \forall x\ge 2$. Taking $y=2-x$ for $0\le x<2$ yields\[f(xf(2-x))f(2-x)=f(2)=0\]Since $0<2-x\le 2$, we must have $f(xf(2-x))=0$, which forces\[xf(2-x)\ge 2\implies f(x)\ge \frac{2}{2-x}\forall 0\le x<2.\]Now taking $x=2/f(y)$, for $0\le y<2$ gives,\[f(y+2/f(y))=f(2)f(y)=0\implies y+2/f(y)\ge 2.\]Thus,\[f(y)\le \frac{2}{2-y}\forall 0\le y<2\]Hence, this forces $f(x)=2/(2-x)$ for $0\le x<2$, giving a final answer of\[f(x)=\begin{cases} 0 & \text{ if }x \ge 2 \\ \frac{2}{2-x} & \text{ if } 0 \le x < 2 . \end{cases}\]

This solution was posted and copyrighted by winnertakeover. The original thread for this problem can be found here: [2]

Solution 3

Let $P(x,y)$ be the assertion. Note that $P(x,2)\implies f(x+2)=0.$

Since $x$ is defined for non-negative reals, we have $x+2\geq 2.$ So, $\boxed{f(x)=0\qquad \forall x\geq2}.$

Now, $P(2-y,y)\implies f((2-y)f(y))f(y)=0.$

Here, we are working with $0\leq y<2.$ Since we may not have $f(y)=0$ due to condition (iii), we must have $f((2-y)f(y))=0.$

From our first solution, it is imperative that $(2-y)f(y)\geq 2.$ So, $f(y)\geq \dfrac{2}{2-y} \qquad (1).$

Now consider $P(\dfrac{2}{f(y),y}$. We get,\[0=f\left(\dfrac{2+yf(y)}{f(y)}\right).\]Similar to the previous step, we have $\dfrac{2+yf(y)}{f(y)}\geq 2.$ Re arranging this, we get $f(y)\leq \dfrac{2}{2-y}\qquad (2).$

Since $f(y)$ satisfies both $(1)$ and $(2),$ we must have $\boxed{f(x)=\dfrac{2}{2-x}\qquad \forall x\in [0,2)}.$

Of course, we plug both solution back to see if they satisfy the three conditions. Sure enough, they do!

This solution was posted and copyrighted by proshi. The original thread for this problem can be found here: [3]

See Also

1986 IMO (Problems) • Resources
Preceded by
Problem 4
1 2 3 4 5 6 Followed by
Problem 6
All IMO Problems and Solutions