Skip to main content
OlympiadHQ

Browse · MathNet

Print

Team selection tests for BMO 2018

Saudi Arabia 2018 algebra

Problem

Find all functions such that for all .
Solution
Let and denote () as the given condition. Assume that , substituting and in (), we get or This follows that is a perfect square which is a contradiction since there is no perfect square congruent to modulo . Thus , or . Now, substituting in (), we get It follows that Therefore From this and , we get or for any integer . Clearly, the function satisfies the original equation. Let us consider now the case there exists some integer such that . Replacing in (), we get Thus, for any even integer , we have . Now, if there exists some odd number such that , taking even and in (), we get If , then and hence . Plug back into the above equation, we get a contradiction. Therefore, and hence for any nonzero even integer . It follows that for any integer such that and . In , taking , we get . It follows that for any integer such that and . Thus for any integer . However, we have , so or . It follows that and so , which is a contradiction. Therefore, in this case, we have for any integer . In conclusion, the equation has two solution: and .
Final answer
f(x) = 0 for all x ∈ ℤ; f(x) = x^2 for all x ∈ ℤ

Techniques

Functional EquationsModular ArithmeticIntegers