Maths Olympiad Prep

Library / /1 of 3

, 2012

Algebra Difficulty 5.6 AIME, harder Prove it Spain

Find all continuous functions f:R+R+f: \mathbb{R}^{+} \rightarrow \mathbb{R}^{+} such that x+1x=f(x)+1f(x)x + \frac{1}{x} = f(x) + \frac{1}{f(x)} for every positive real number xx.

Solution

Let y=f(x)y = f(x). The equation is:
x+1x=y+1y x + \frac{1}{x} = y + \frac{1}{y}
Bring all terms to one side:
x+1xy1y=0 x + \frac{1}{x} - y - \frac{1}{y} = 0
Or:
xy+1x1y=0 x - y + \frac{1}{x} - \frac{1}{y} = 0
xy+yxxy=0 x - y + \frac{y - x}{xy} = 0
(xy)(11xy)=0 (x - y)\left(1 - \frac{1}{xy}\right) = 0
So either x=yx = y or xy=1xy = 1.

Thus, for each x>0x > 0, f(x)f(x) must be either xx or 1/x1/x.

We are given that ff is continuous on R+\mathbb{R}^{+}.

Suppose there exists x0>0x_0 > 0 such that f(x0)=x0f(x_0) = x_0 and f(x1)=1/x1f(x_1) = 1/x_1 for some x1x0x_1 \neq x_0. Consider the set A={x>0:f(x)=x}A = \{x > 0 : f(x) = x\} and B={x>0:f(x)=1/x}B = \{x > 0 : f(x) = 1/x\}. Both AA and BB are closed (since ff is continuous and the preimage of a closed set under a continuous function is closed), and AB=R+A \cup B = \mathbb{R}^{+}.

Suppose AA is nonempty and BB is nonempty. Let x0Ax_0 \in A, x1Bx_1 \in B. Since ff is continuous, for any sequence xnx0x_n \to x_0 with xnBx_n \in B, f(xn)f(x0)=x0f(x_n) \to f(x_0) = x_0, but f(xn)=1/xn1/x0f(x_n) = 1/x_n \to 1/x_0 as xnx0x_n \to x_0. Thus, x0=1/x0x_0 = 1/x_0, so x0=1x_0 = 1. Similarly, at x=1x = 1, f(1)=1f(1) = 1 or f(1)=1f(1) = 1.

Thus, the only possible point where f(x)f(x) can switch from xx to 1/x1/x is at x=1x = 1. But for x1x \neq 1, ff must be constant on each side due to continuity.

Therefore, the only continuous functions are:

1. f(x)=xf(x) = x for all x>0x > 0.
2. f(x)=1/xf(x) = 1/x for all x>0x > 0.

Both functions satisfy the given equation:
- For f(x)=xf(x) = x, x+1/x=x+1/xx + 1/x = x + 1/x.
- For f(x)=1/xf(x) = 1/x, x+1/x=1/x+xx + 1/x = 1/x + x.

Thus, the solutions are f(x)=xf(x) = x and f(x)=1/xf(x) = 1/x for all x>0x > 0.

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.