Maths Olympiad Prep

Library / /17 of 28

Algebra Difficulty 8.5 Shortlist Prove it China

Find all functions f:Q+Q+f: Q^+ \to Q^+ such that
f(x)+f(y)+2xyf(xy)=f(xy)f(x+y),1 f(x) + f(y) + 2xyf(xy) = \frac{f(xy)}{f(x+y)}, \qquad \textcircled{1}
Where Q+={qq is a positive rational number}Q^+ = \{q \mid q \text{ is a positive rational number}\}.

Solution

(1) Prove that f(1)=1f(1) = 1.
Put y=1y = 1 in \textcircled{1}, and write f(1)=af(1) = a. Then
f(x)+a+2xf(x)=f(x)f(x+1) f(x) + a + 2x f(x) = \frac{f(x)}{f(x+1)}
Thus
f(x+1)=f(x)(1+2x)f(x)+a2 f(x+1) = \frac{f(x)}{(1 + 2x)f(x) + a} \qquad \textcircled{2}
Hence
f(2)=a4a=14, f(2) = \frac{a}{4a} = \frac{1}{4},
f(3)=114+a=15+4a, f(3) = \frac{1}{\frac{1}{4} + a} = \frac{1}{5 + 4a},
f(4)=17+5a+4a2. f(4) = \frac{1}{7 + 5a + 4a^2}.
---
On the other hand, we put x=y=2x = y = 2 in \textcircled{1}, then
2f(2)+8f(4)=f(4)f(4)=1. 2f(2) + 8f(4) = \frac{f(4)}{f(4)} = 1.
By \textcircled{2}, we have
12+87+5a+4a2=1. \frac{1}{2} + \frac{8}{7 + 5a + 4a^2} = 1.
Solving the equation, we have a=1a = 1, i.e. f(1)=1f(1) = 1.

(2) Prove that
f(x+n)=f(x)(n2+2nx)f(x)+1,n=1,2,3 f(x+n) = \frac{f(x)}{(n^2 + 2nx)f(x) + 1}, \quad n = 1, 2, \dots \qquad \textcircled{3}
Firstly, according to \textcircled{2} we know that \textcircled{3} is true for n=1n = 1. Now suppose \textcircled{3} is true for n=kn = k. Then
f(x+k+1)=f(x+k)(1+2(x+k))f(x+k)+1=(f(x)(k2+2kx)f(x)+1)/((1+2(x+k))f(x)(k2+2kx)f(x)+1+1)=f(x)((k+1)2+2(k+1)x)f(x)+1. \begin{aligned} f(x + k + 1) &= \frac{f(x + k)}{(1 + 2(x + k))f(x + k) + 1} \\ &= \left( \frac{f(x)}{(k^2 + 2kx)f(x) + 1} \right) / \left( \frac{(1 + 2(x + k))f(x)}{(k^2 + 2kx)f(x) + 1} + 1 \right) \\ &= \frac{f(x)}{((k + 1)^2 + 2(k + 1)x)f(x) + 1}. \end{aligned}
Hence the result follows by induction.
From \textcircled{3} we have
f(n+1)=f(1)(n2+2n)f(1)+1=1(n+1)2, f(n + 1) = \frac{f(1)}{(n^2 + 2n)f(1) + 1} = \frac{1}{(n+1)^2},
so f(n)=1n2,n=1,2,. \text{so } f(n) = \frac{1}{n^2}, \quad n = 1, 2, \dots.

(3) Prove that
f(1n)=n2=1(1n)2,n=1,2,4 f\left(\frac{1}{n}\right) = n^2 = \frac{1}{\left(\frac{1}{n}\right)^2}, \quad n = 1, 2, \dots \qquad \textcircled{4}
In fact, by letting x=1nx = \frac{1}{n} in \textcircled{3}, we have
f(n+1n)=f(1n)(n2+2)f(1n)+1, f\left(n+\frac{1}{n}\right) = \frac{f\left(\frac{1}{n}\right)}{\left(n^2+2\right)f\left(\frac{1}{n}\right)+1},
and by setting y=1xy = \frac{1}{x} in \textcircled{1}, we have
f(x)+f(1x)+2=1f(x+1x). f(x) + f\left(\frac{1}{x}\right) + 2 = \frac{1}{f\left(x + \frac{1}{x}\right)}.
So
f(n)+f(1n)+2=1f(n+1n)=n2+2+1f(1n). f(n) + f\left(\frac{1}{n}\right) + 2 = \frac{1}{f\left(n + \frac{1}{n}\right)} = n^2 + 2 + \frac{1}{f\left(\frac{1}{n}\right)}.
Consequently, f(n)=1n2f(n) = \frac{1}{n^2} implies f(1n)=n2f(\frac{1}{n}) = n^2.

(4) Prove that if q=nmq = \frac{n}{m}, gcd(m,n)=1\text{gcd}(m, n) = 1, m,nNm, n \in \mathbb{N}^*, then f(q)=1q2f(q) = \frac{1}{q^2}.
For m,nNm, n \in \mathbb{N}^*, gcd(m,n)=1\text{gcd}(m, n) = 1, put x=nx = n, y=1my = \frac{1}{m} in \textcircled{1}, we have
f(1m)+f(n)+2nmf(nm)=f(nm)f(n+1m). f\left(\frac{1}{m}\right) + f(n) + \frac{2n}{m}f\left(\frac{n}{m}\right) = \frac{f\left(\frac{n}{m}\right)}{f\left(n+\frac{1}{m}\right)}.
Put x=1mx = \frac{1}{m} in \textcircled{3}, we get
f(n+1m)=f(1m)(n2+2nm)f(1m)+1=1n2+2nm+1m2. f\left(n+\frac{1}{m}\right) = \frac{f\left(\frac{1}{m}\right)}{\left(n^2+\frac{2n}{m}\right)f\left(\frac{1}{m}\right)+1} = \frac{1}{n^2+\frac{2n}{m}+\frac{1}{m^2}}.
So
1n2+m2+2nmf(nm)=(n+1m)2f(nm). \frac{1}{n^2} + m^2 + \frac{2n}{m} f\left(\frac{n}{m}\right) = \left(n + \frac{1}{m}\right)^2 f\left(\frac{n}{m}\right).
Now we have
f(q)=f(nm)=1n2+m2n2+1m2=(mn)2=1q2. f(q) = f\left(\frac{n}{m}\right) = \frac{\frac{1}{n^2} + m^2}{n^2 + \frac{1}{m^2}} = \left(\frac{m}{n}\right)^2 = \frac{1}{q^2}.
Finally, it is easy to verify that f(x)=1x2f(x) = \frac{1}{x^2} satisfies the condition. So f(x)=1x2f(x) = \frac{1}{x^2} is the answer.

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.