Olympiad Maths Prep

Library / /4 of 11

Algebra Difficulty 5.7 AIME, harder Prove it Czech Republic

Find all functions f:R{0}Rf: \mathbb{R} \setminus \{0\} \to \mathbb{R} such that for all non-zero numbers x,yx, y,
xf(xy)+f(y)=xf(x). x \cdot f(xy) + f(-y) = x \cdot f(x).

Solutions — 2

Solution 1

Substituting x=1x = 1 gives
f(y)+f(y)=f(1). f(y) + f(-y) = f(1).
Denoting f(1)=af(1) = a, we have f(y)=af(y)f(-y) = a - f(y). Substituting y=1y = -1, we get
xf(x)+f(1)=xf(x), x \cdot f(-x) + f(1) = x \cdot f(x),
i. e.,
x(af(x))+a=xf(x), x(a - f(x)) + a = x \cdot f(x),
hence
f(x)=a(x+1)2x=a2(1+1x). f(x) = \frac{a(x+1)}{2x} = \frac{a}{2}\left(1+\frac{1}{x}\right).
Finally, we check that for any real number cc, the function f(x)=c(1+1/x)f(x) = c(1+1/x) satisfies the conditions:
xf(xy)+f(y)=xc(1+1xy)+c(1+1y)=c(x+1y+11y)==c(x+1)=cx(1+1x)=xf(x). \begin{aligned} x \cdot f(xy) + f(-y) &= x \cdot c\left(1 + \frac{1}{xy}\right) + c\left(1 + \frac{1}{-y}\right) = c\left(x + \frac{1}{y} + 1 - \frac{1}{y}\right) = \\ &= c(x+1) = cx\left(1 + \frac{1}{x}\right) = x \cdot f(x). \end{aligned}

Solution 2

Let us set f(1)=af(1) = a. Substituting y=1y = -1 into the given equation yields
xf(x)+a=xf(x), xf(-x) + a = xf(x),
i. e.,
f(x)=f(x)ax. f(-x) = f(x) - \frac{a}{x}.

The given equation can be rearranged into the form
f(xy)+1xf(y)=f(x), f(xy) + \frac{1}{x} \cdot f(-y) = f(x),
whence, using (1), we have
f(xy)+1x(f(y)ay)=f(x), f(xy) + \frac{1}{x} \left( f(y) - \frac{a}{y} \right) = f(x),
f(xy)+f(y)xaxy=f(x). f(xy) + \frac{f(y)}{x} - \frac{a}{xy} = f(x).

Interchanging xx and yy gives
f(yx)+f(x)yayx=f(y), f(yx) + \frac{f(x)}{y} - \frac{a}{yx} = f(y),
so, combining the last two equations, we get
f(x)yf(y)x=f(y)f(x), \frac{f(x)}{y} - \frac{f(y)}{x} = f(y) - f(x),
and substituting y=1y = 1 now gives
2f(x)=a(1+1x). 2f(x) = a\left(1 + \frac{1}{x}\right).
Again, we can easily verify that every function f(x)=c(1+1/x)f(x) = c(1 + 1/x) is a solution of the given functional equation.

Looking for a route rather than 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.