Skip to main content
OlympiadHQ

Browse · MathNet

Print

SAUDI 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