Maths Olympiad Prep

Library / /6 of 53

Algebra Difficulty 5.1 AIME, harder Prove it China

A function f:(0,+)Rf: (0, +\infty) \to \mathbf{R} satisfies the following conditions:

a. f(a)=1f(a) = 1 for a positive real number aa,

b. f(x)f(y)+f(ax)f(ay)=2f(xy)f(x)f(y) + f(\frac{a}{x})f(\frac{a}{y}) = 2f(xy), for any positive real number x,yx, y.

Prove that f(x)f(x) is constant.

Solution

Setting x=y=1x = y = 1 in (1)(1) gives
f2(1)+f2(a)=2f(1), f^2(1) + f^2(a) = 2f(1),
(f(1)1)2=0, (f(1) - 1)^2 = 0,
so f(1)=1f(1) = 1.

Setting y=1y = 1 in (1)(1) yields
f(x)f(1)+f(ax)f(a)=2f(x), f(x)f(1) + f(\frac{a}{x})f(a) = 2f(x),
f(x)=f(ax),x>0.(2) f(x) = f(\frac{a}{x}), \quad x > 0. \qquad (2)

Setting y=axy = \frac{a}{x} in (1)(1) yields
f(x)f(ax)+f(ax)f(x)=2f(a), f(x)f(\frac{a}{x}) + f(\frac{a}{x})f(x) = 2f(a),
f(x)f(ax)=1.(3) f(x)f(\frac{a}{x}) = 1. \qquad (3)

Combining (2)(2) and (3)(3) gives f2(x)=1,x>0f^2(x) = 1, x > 0.

Setting x=y=tx = y = \sqrt{t} in (1)(1) gives
f2(t)+f2(at)=2f(t), f^2(\sqrt{t}) + f^2(\frac{a}{\sqrt{t}}) = 2f(t),
f(t)>0. f(t) > 0.
So f(x)=1,x>0f(x) = 1, x > 0, as desired.

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.