Browse · MathNet
PrintMongolian Mathematical Olympiad
Mongolia algebra
Problem
Let denote the set of positive real numbers. Find all functions satisfying for all . (Otgonbayar Uuye)
Solution
Answer: and . It is easy to check that these are solutions, so we prove there are no other solutions.
f = 1 if f is not injective: Suppose and . Then we have for any . Let and , then we get . Taking , , we get for all . Now, for , let and . Then and , thus . Moreover, we have
for any by induction, thus increasing , we see that is constant for all . Finally, for any , let , then and , thus .
if is injective: Let . For , we have , thus since . Let . Then injective implies that . For , we have , , , hence Simplifying to a polynomial identity and considering the constant term, we see that . It follows that for . Now let . Then and thus Therefore for .
f = 1 if f is not injective: Suppose and . Then we have for any . Let and , then we get . Taking , , we get for all . Now, for , let and . Then and , thus . Moreover, we have
for any by induction, thus increasing , we see that is constant for all . Finally, for any , let , then and , thus .
if is injective: Let . For , we have , thus since . Let . Then injective implies that . For , we have , , , hence Simplifying to a polynomial identity and considering the constant term, we see that . It follows that for . Now let . Then and thus Therefore for .
Final answer
f(x) = 1 and f(x) = 1/x for all x > 0
Techniques
Functional EquationsInjectivity / surjectivity