Browse · MathNet
PrintSAUDI ARABIAN IMO Booklet 2023
Saudi Arabia 2023 algebra
Problem
Does there exist a function satisfying for all ?
Solution
The answer is No. Put and let then so is surjective over . Put , then it is easy to see that is injective. So is bijective. Put , then so , resulting in . Replace then so , where is the inverse of . From this, it follows that is also surjective over . Rewrite the problem as and replace then Therefore, is additive on , thus there exist such that . Replace to the original equation to get or From that we have , obviously is not the square of the rational number so the equation of variable has no rational solution. Therefore, there does not exist for a function that satisfies.
Final answer
No
Techniques
Functional EquationsInjectivity / surjectivityExistential quantifiers