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