Difference between revisions of "2012 IMO Problems/Problem 4"
m |
|||
Line 3: | Line 3: | ||
(Here <math>\mathbb{Z}</math> denotes the set of integers.) | (Here <math>\mathbb{Z}</math> denotes the set of integers.) | ||
− | + | ==Solution== | |
Consider <math>a = b = c = 0.</math> Then <math>f(0)^2 + f(0)^2 + f(0)^2 = 2f(0)f(0) + 2f(0)f(0) + 2f(0)f(0) \Rightarrow 3f(0)^2 = 6f(0)^2 \Rightarrow</math> <cmath>f(0) = 0.</cmath> | Consider <math>a = b = c = 0.</math> Then <math>f(0)^2 + f(0)^2 + f(0)^2 = 2f(0)f(0) + 2f(0)f(0) + 2f(0)f(0) \Rightarrow 3f(0)^2 = 6f(0)^2 \Rightarrow</math> <cmath>f(0) = 0.</cmath> | ||
Now we look at <math>b = -a, c = 0.</math> <math>f(a)^2 + f(-a)^2 + f(0)^2 = 2f(a)f(-a) + 2f(-a)f(0) + 2f(0)f(a) \Rightarrow</math> <math>f(a)^2 + f(-a)^2 = 2f(a)f(-a) \Rightarrow</math> <math>f(a)^2 - 2f(a)f(-a) + f(-a)^2 = 0 \Rightarrow</math> <math>(f(a) - f(-a))^2=0 \Rightarrow</math> <cmath>f(a)=f(-a).</cmath> | Now we look at <math>b = -a, c = 0.</math> <math>f(a)^2 + f(-a)^2 + f(0)^2 = 2f(a)f(-a) + 2f(-a)f(0) + 2f(0)f(a) \Rightarrow</math> <math>f(a)^2 + f(-a)^2 = 2f(a)f(-a) \Rightarrow</math> <math>f(a)^2 - 2f(a)f(-a) + f(-a)^2 = 0 \Rightarrow</math> <math>(f(a) - f(-a))^2=0 \Rightarrow</math> <cmath>f(a)=f(-a).</cmath> |
Revision as of 23:57, 10 October 2013
Find all functions such that, for all integers
and
that satisfy
, the following equality holds:
(Here
denotes the set of integers.)
Solution
Consider Then
Now we look at
What about
Then
We conjecture that
Consider
and assume that
If it does, we get that the constant 0 function satisfies the conditions of the problem.
We note that
This means that we want to find what the possible values of
are in order to finish the problem.
Returning to the above manipulations (the ones used to show that
), we see that letting
and multiplying through by
yields precisely this result (again, assuming that
with equality yielding the fact that the constant 0 function satisfies the condition). Therefore,
can be any integer value (since
maps the integers to the integers only), and setting
, we see that any function of the form
satisfies the condition.
-Gadmaget