Maths Olympiad Prep

Library / /45 of 63

, 2011

Algebra Difficulty 8.5 Shortlist Prove it Turkey

Let Q+Q^+ denote the set of positive rational numbers. Determine all functions f:Q+Q+f: Q^+ \to Q^+ that satisfy the conditions
f(xx+1)=f(x)x+1andf(1x)=f(x)x3 f\left(\frac{x}{x+1}\right) = \frac{f(x)}{x+1} \quad \text{and} \quad f\left(\frac{1}{x}\right) = \frac{f(x)}{x^3}
for all xQ+x \in Q^+.

Solution

Let nn be a positive integer and x=1/nx = 1/n. Then f(1n)=n+1nf(1n+1)f(\frac{1}{n}) = \frac{n+1}{n} f(\frac{1}{n+1}). It follows by induction that f(1n)=f(1)nf(\frac{1}{n}) = \frac{f(1)}{n} for all positive integers nn.

We claim that f(mn)=m2nf(1)f(\frac{m}{n}) = \frac{m^2}{n} f(1) for all relatively prime positive integers mm and nn. This time we use induction on max(m,n)\max(m, n). If m<nm < n, then
f(mn)=f(m/(nm)m/(nm)+1)=1m/(nm)+1f(mnm)=nmnm2nmf(1)=m2nf(1) \begin{aligned} f\left(\frac{m}{n}\right) &= f\left(\frac{m/(n-m)}{m/(n-m)+1}\right) = \frac{1}{m/(n-m)+1} f\left(\frac{m}{n-m}\right) \\ &= \frac{n-m}{n} \cdot \frac{m^2}{n-m} f(1) = \frac{m^2}{n} f(1) \end{aligned}
where we used the induction hypothesis. On the other hand, if m>nm > n, then first
f(mn)=m3n3f(nm), and then m3n3f(nm)=m3n3n2mf(1)=m2nf(1). f\left(\frac{m}{n}\right) = \frac{m^3}{n^3} f\left(\frac{n}{m}\right), \text{ and then } \frac{m^3}{n^3} f\left(\frac{n}{m}\right) = \frac{m^3}{n^3} \cdot \frac{n^2}{m} f(1) = \frac{m^2}{n} f(1).

Conversely, it can be easily verified that the function defined by f(mn)=m2nf(\frac{m}{n}) = \frac{m^2}{n} for all relatively prime positive integers mm and nn, where rr a positive rational number, satisfies the conditions of the question.

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.