Maths Olympiad Prep

Library / /20 of 65

Algebra Difficulty 5.7 AIME, harder Prove it Bulgaria

Problem:
Let Q+\mathbb{Q}^{+} be the set of positive rational numbers. Find all functions f:Q+Rf: \mathbb{Q}^{+} \rightarrow \mathbb{R} such that f(1)=1f(1)=1, f(1/x)=f(x)f(1 / x)=f(x) for any xQ+x \in \mathbb{Q}^{+} and xf(x)=(x+1)f(x1)x f(x)=(x+1) f(x-1) for any xQ+,x>1x \in \mathbb{Q}^{+}, x>1.

Solution

Solution:
Let x=pqx=\frac{p}{q}, where pp and qq are coprime positive integers. We shall prove by induction on n=p+q2n=p+q \geq 2 that f(x)f(x) is uniquely determined. This is true for n=2n=2 (since f(1)=1f(1)=1).

Suppose that it is true for all integers less than a given n3n \geq 3 and consider x=pqx=\frac{p}{q}, where p+q=np+q=n. It follows from the first condition that we may assume that p>qp>q.

Now the second condition shows that f(pq)f\left(\frac{p}{q}\right) is uniquely determined by f(pqq)f\left(\frac{p-q}{q}\right) and since pq+q<np-q+q<n it is uniquely determined by the induction hypothesis.

Note that the function f(pq)=p+q2f\left(\frac{p}{q}\right)=\frac{p+q}{2} for pp and qq relatively prime fulfills the conditions of the problem.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.