2019 IMO Problems/Problem 1
Problem:
Let Z be the set of integers. Determine all functions f : Z → Z such that, for all integers a and b, f(2a) + 2f(b) = f(f(a + b))
Solution 1:
Let us substitute 0 in for a to get: f(0) + 2f(b) = f(f(b))
Now, let x = f(b) to get and f(0) equal some constant c: c + 2x = f(x). Therefore, we have found that all solutions must be of the form f(x) = 2x + c.
Plugging back into the original equation, we have: 4a + c + 4b + 2c = 4a + 4b + 2c + c which is true. Therefore, we know that f(x) = 2x + c satisfies the above for any integral constant c, and that this family of equations is unique.
Solution 2: We plug in and to get respectively.
Setting them equal to each other, we have the equation and moving "like terms" to one side of the equation yields Seeing that this is a difference of outputs of we can relate this to slope by dividing by on both sides. This gives us which means that is linear.
Let Plugging our expression into our original equation yields and letting be constant, this can only be true if If then which implies If we have Plugging both of these both work, so the answer is or for some integer