2023 USAMO Problems/Problem 2
- Problem 2
Let be the set of positive real numbers. Find all functions such that, for all ,
- Solution
First, let us plug in some special points; specifically, plugging in and , respectively:
\begin{align}
f(f(0)) &= 2 \\ f(y + f(1)) &= f(y) + 2
\end{align}
Next, let us find the first and second derivatives of this function. First, with (2), we isolate one one side
\begin{align*}
f(y) = f(y + f(1)) - 2
\end{align*}
and then take the derivative:
\begin{align*}
\dv{f}{y} &= \dv{f}{y}\left[f(y + f(1)) - 2\right] \\ &= \dv{f}{y}\left[f(y + f(1))\right] - \dv{f}{y}\left[2\right] \\ &= f'(y + f(1))\cdot\dv{f}{y}\left[y + f(1)\right] \\ &= f'(y + f(1))\cdot(1)\\ f'(y) &= f'(y + f(1))\\
\end{align*}
The second derivative is as follows:
\begin{align*}
\dv[2]{f}{y} &= \dv{f}{y}\left[\dv{f}{y}\right] \\ &= \dv{f}{y}\left[f'(y + f(1))\right] \\ &= f(y + f(1))\cdot\dv{f}{y}\left[y + f(1)\right] \\ f(y) &= f(y + f(1))\\
\end{align*}
For both of these derivatives, we see that the input to the function does not matter: it will return the same result regardless of input. Therefore, the functions and must be constants, and must be a linear equation. That means we can model like so:
\begin{align}
f(x) = ax + b
\end{align}
Via (1), we get the following:
\begin{align*}
f(f(0)) &= 2 \\ a(a(0) + b) + b &= 2 \\ ab + b &= 2
\end{align*}
And via (2),
\begin{align*}
f(y + f(1)) &= f(y) + 2 \\ a(y + a(1) + b) + b &= ay + b + 2 \\ ay + a^2 + ab + b &= ay + b + 2 \\ a^2 + ab &= 2 \\
\end{align*}
Setting these equations equal to each other,
\begin{align*}
ab + b &= a^2 + ab \\ b &= a^2 \\
\end{align*}
Therefore,
\begin{align*}
ab + b &= 2 \\ a^3 + a^2 &= 2 \\
\end{align*}
There are three solutions to this equation: , , and . Knowing that , the respective values are , , and . Thus, could be the following:
\begin{align*}
f(x) &= x + 1 \\ f(x) &= x(-1 + i) - 2i \\ f(x) &= x(-1 - i) + 2i \\
\end{align*}