Difference between revisions of "2023 USAMO Problems/Problem 2"

Latest revision as of 13:25, 1 January 2024

Problem 2

Let $\mathbb{R}^{+}$ be the set of positive real numbers. Find all functions $f:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}$ such that, for all $x, y \in \mathbb{R}^{+}$ , $f(xy + f(x)) = xf(y) + 2$

Solution 1

Make the following substitutions to the equation:

1. $(x, 1) \rightarrow f(x + f(x)) = xf(1) + 2$

2. $(1, x + f(x)) \rightarrow f(x + f(x) + f(1)) = f(x + f(x)) + 2 = xf(1) + 4$

3. $(x, 1 + \frac{f(1)}{x}) \rightarrow f(x + f(x) + f(1)) = xf\biggl(1 + \frac{f(1)}{x}\biggr) + 2$

It then follows from (2) and (3) that $f(1 + \frac{f(1)}{x}) = f(1) + \frac{2}{x}$ , so we know that this function is linear for $x > 1$ . Substitute $f(x) = ax+b$ and solve for $a$ and $b$ in the functional equation; we find that $f(x) = x + 1 \forall x > 1$ .

Now, we can let $x > 1$ and $y \le 1$ . Since $f(x) = x + 1$ , $xy + f(x) > x > 1$ , so $f(xy + f(x)) = xy + x + 2 = xf(y) + 2$ . It becomes clear then that $f(y) = y + 1$ as well, so $f(x) = x + 1$ is the only solution to the functional equation.

~jkmmm3

@@ Line 2: / Line 2: @@
 Let <math>\mathbb{R}^{+}</math> be the set of positive real numbers. Find all functions <math>f:\mathbb{R}^{+}\rightarrow\mathbb{R}^{+}</math> such that, for all <math>x, y \in \mathbb{R}^{+}</math>,<cmath>f(xy + f(x)) = xf(y) + 2</cmath>
-== Solution ==
+== Solution 1 ==
-First, let us plug in some special points; specifically, plugging in <math>x=0</math> and <math>x=1</math>, respectively:
-<cmath>
+Make the following substitutions to the equation:
-\begin{align}
-    f(f(0)) &= 2 \\
-    f(y + f(1)) &= f(y) + 2
-\end{align}
-</cmath>
-Next, let us find the first and second derivatives of this function. First, with (2), we isolate <math>f(y)</math> one one side
+. <math>(x, 1) \rightarrow f(x + f(x)) = xf(1) + 2</math>
-<cmath>
+. <math>(1, x + f(x)) \rightarrow f(x + f(x) + f(1)) = f(x + f(x)) + 2 = xf(1) + 4</math>
-\begin{align*}
-   f(y) = f(y + f(1)) - 2
-\end{align*}
-</cmath>
-and then take the derivative:
+. <math>(x, 1 + \frac{f(1)}{x}) \rightarrow f(x + f(x) + f(1)) = xf\biggl(1 + \frac{f(1)}{x}\biggr) + 2</math>
-<cmath>
+It then follows from (2) and (3) that <math>f(1 + \frac{f(1)}{x}) = f(1) + \frac{2}{x}</math>, so we know that this function is linear for <math>x > 1</math>. Substitute <math>f(x) = ax+b</math> and solve for <math>a</math> and <math>b</math> in the functional equation; we find that <math>f(x) = x + 1 \forall x > 1</math>.
-\begin{align*}
-    \dfrac{\mathrm{d}f}{\mathrm{d}y}
-    &=\dfrac{\mathrm{d}f}{\mathrm{d}y}\left[f(y + f(1)) - 2\right] \\
-    &= \dfrac{\mathrm{d}f}{\mathrm{d}y}\left[f(y + f(1))\right] - \dfrac{\mathrm{d}f}{\mathrm{d}y}\left[2\right] \\
-    &= f'(y + f(1))\cdot\dfrac{\mathrm{d}f}{\mathrm{d}y}\left[y + f(1)\right] \\
-    &= f'(y + f(1))\cdot(1)\\
-    f'(y) &= f'(y + f(1))\\
-\end{align*}
-</cmath>
-The second derivative is as follows:
+Now, we can let <math>x > 1</math> and <math>y \le 1</math>. Since <math>f(x) = x + 1</math>, <math>xy + f(x) > x > 1</math>, so <math>f(xy + f(x)) = xy + x + 2 = xf(y) + 2</math>. It becomes clear then that <math>f(y) = y + 1</math> as well, so <math>f(x) = x + 1</math> is the only solution to the functional equation.
-<cmath>
+~jkmmm3
-\begin{align*}
-    \dfrac{\mathrm{d}^2f}{\mathrm{d}y^2}
-    &= \dfrac{\mathrm{d}f}{\mathrm{d}y}\left[\dfrac{\mathrm{d}f}{\mathrm{d}y}\right] \\
-    &= \dfrac{\mathrm{d}f}{\mathrm{d}y}\left[f'(y + f(1))\right] \\
-    &= f''(y + f(1))\cdot\dfrac{\mathrm{d}f}{\mathrm{d}y}\left[y + f(1)\right] \\
-    f''(y) &= f''(y + f(1))\\
-\end{align*}
-</cmath>
-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 <math>f'</math> and <math>f''</math> must be constants, and <math>f</math> must be a linear equation. That means we can model <math>f(x)</math> like so:
+==See Also==
+{{USAMO newbox|year=2023|num-b=1|num-a=3}}
-<cmath>
+{{MAA Notice}}
-\begin{align*}
-    f(x) = ax + b
-\end{align*}
-</cmath>
-Via (1), we get the following:
-<cmath>
-\begin{align*}
-    f(f(0)) &= 2 \\
-    a(a(0) + b) + b &= 2 \\
-    ab + b &= 2
-\end{align*}
-</cmath>
-And via (2),
-<cmath>
-\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*}
-</cmath>
-Setting these equations equal to each other,
-<cmath>
-\begin{align*}
-    ab + b &= a^2 + ab \\
-    b &= a^2 \\
-\end{align*}
-</cmath>
-Therefore,
-<cmath>
-\begin{align*}
-    ab + b &= 2 \\
-    a^3 + a^2 &= 2 \\
-\end{align*}
-</cmath>
-There are three solutions to this equation: <math>a = 1</math>, <math>a = -1 + i</math>, and <math>a = -1 - i</math>. Knowing that <math>b = a^2</math>, the respective <math>b</math> values are <math>b = 1</math>, <math>b = -2i</math>, and <math>b = 2i</math>. Thus, <math>f(x)</math> could be the following:
-<cmath>
-\begin{align*}
-    f(x) &= x + 1 \\
-    f(x) &= x(-1 + i) - 2i \\
-    f(x) &= x(-1 - i) + 2i \\
-\end{align*}
-</cmath>
-<math>\square</math>
-~ cogsandsquigs

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

Page

Toolbox

Search

Difference between revisions of "2023 USAMO Problems/Problem 2"

Latest revision as of 13:25, 1 January 2024

Problem 2

Solution 1

See Also