2008 Indonesia MO Problems/Problem 8
Solution 1
Since , we know that
.
Let ,
be
,
, respectively. Then,
.
Let ,
be
,
, respectively. Then,
Let ,
be
,
, respectively. Then,
Let ,
be
,
, respectively. Then,
From the last 2 equations, we get that
Since , substituting, we get
\begin{align*} \frac{1}{2}(f(2)^2+1)&=(f(2)(f(1)-1)+1)(f(1)-1)+1\\ \frac{1}{2}(f(2)^2+1)&=f(2)f(1)^2-f(2)f(1)+f(1)-f(2)f(1)-f(2)-1+1\\ f(2)^2+1&=2f(2)f(1)^2-2f(2)f(1)+2f(1)-2f(2)f(1)-2f(2) \end{align*}
If we take modulo of f(2) on both sides, we get
Because , we also know that
. If
, then
.
Suppose :
since , we have
. Or that
. Thus,
Thus,
or
.
case 1:
Let , and
be an arbitrary integer
. Then,
Thus,
.
case 2:
Let , and
be an arbitrary integer
. Then,
This forms a linear line where
Thus,
Upon verification for , we get
Upon verification for , we get
Thus, both equations, and
are valid