Maths Olympiad Prep

Library / /64 of 133

, 2015

Algebra Difficulty 5.5 AIME, harder Prove it Saudi Arabia

Find all functions f:R>0Rf: \mathbb{R}_{>0} \rightarrow \mathbb{R} such that
f(xy)=f(x)+f(y)f(x)f(y) f\left(\frac{x}{y}\right)=f(x)+f(y)-f(x) f(y)
for all x,yR>0x, y \in \mathbb{R}_{>0}. Here, R>0\mathbb{R}_{>0} denotes the set of all positive real numbers.

Solution

Define g:R>0Rg: \mathbb{R}_{>0} \rightarrow \mathbb{R} by g(x)=1f(x)g(x)=1-f(x) for all x>0x>0. The functional equation can be rewritten g(x/y)=g(x)g(y)g(x / y)=g(x) g(y) for all x,y>0x, y>0.

Putting y=x=1y=x=1, we get g(1)=g(1)2g(1)=g(1)^2. This means that g(1)=0g(1)=0 or g(1)=1g(1)=1.

1. Assume g(1)=0g(1)=0. For all x>0x>0, we have g(x)2=g(x/x)=g(1)=0g(x)^2=g(x / x)=g(1)=0. Hence g(x)=0g(x)=0 for all x>0x>0. Conversely, g=0g=0 is a solution of the given functional equation.

2. Assume g(1)=1g(1)=1. In this case, for all x>0x>0, we have g(x)=g(1)g(x)=g(1/x)g(x)=g(1) g(x)= g(1 / x).
Let x>0x>0. We have
g(x)=g(x1/x)=g(x)g(1/x)=g(x)2=g(x/x)=g(1)=1. g(x)=g\left(\frac{\sqrt{x}}{1 / \sqrt{x}}\right)=g(\sqrt{x}) g(1 / \sqrt{x})=g(\sqrt{x})^2=g(\sqrt{x} / \sqrt{x})=g(1)=1 .
Conversely, g=1g=1 is a solution of the given functional equation.

In conclusion, f(x)f(x) is identically 0 or identically 1 .

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.