Talk:2008 IMO Problems/Problem 4

Revision as of 10:25, 23 August 2008 by Cmnv (talk | contribs) (typo)

There are many interesting properties fo $f$ one can prove. The most interesting is probably

\[f(xy) = f(x)f(y)\ \forall_{x,y \in \mathbb{R}^+}\]

So f must be an automorphism of the group $\mathbb{R}^+, \times$.

If you assume (or can prove) that f must be continuous, then $f$ must be of the form $f(x) = x^a$ for $a\ne 0$. (the only continuous automorphisms of the group)

Plugging this into the original functional equation gives $a=\pm 1$.

I would like to see an alternative solution along these lines.