MathLabs

Problem 1

Find all functions ff defined on the set of positive real numbers which take positive real values and satisfy the two conditions: (i) f(xf(y))=yf(x)f(xf(y)) = yf(x) for all positive real numbers x,yx, y; (ii) f(x)→0f(x) \to 0 as x→∞x \to \infty.
Step 4 of 6: Fixed points multiply, and invert
f(a)=a, f(b)=b ⇒ f(ab)=ab,f ⁣(1a)=1af(a)=a,\ f(b)=b \ \Rightarrow\ f(ab)=ab,\quad f\!\left(\tfrac1a\right)=\tfrac1a
Detailed analysis

Suppose f(a)=af(a)=a and f(b)=bf(b)=b. Setting x=a,y=bx=a,y=b in (i): f(ab)=f(af(b))=bf(a)=abf(ab)=f(af(b))=bf(a)=ab, so abab is also a fixed point. Setting x=1/a,y=ax=1/a, y=a: 1=f(1)=f(1af(a))=af(1a)1=f(1)=f(\tfrac1a f(a))=a f(\tfrac1a), so f(1/a)=1/af(1/a)=1/a: the reciprocal of a fixed point is a fixed point.