Skip to main content
OlympiadHQ

Browse · MathNet

Print

SAMC

Saudi Arabia algebra

Problem

Let be a strictly increasing function such that , for all . Find . (Note: ).
Solution
It follows , hence for all we have For we find . We have . Indeed, if , then we get , not possible. Hence , so . It follows , and consequently . Now we prove by induction that for all , we have Indeed, the relations (2) hold for . If they hold for a positive integer , then we get and There are exactly positive integers such that . Also, there are exactly positive integers such that The function is strictly increasing, then we have hence . In our case, we have and it follows

---

Alternative solution.

Let the representation of in base 3. We have, if , then . If , then . These relations are direct consequences from (2). As in the previous solution we have . But , hence and we get .
Final answer
3843

Techniques

Functional EquationsInjectivity / surjectivityInduction / smoothing