MathDB
function

Source: Korea National 2014 #8

January 21, 2015
functionalgebraratioequation

Problem Statement

Prove that there exists a function f:NNf : \mathbb{N} \rightarrow \mathbb{N} that satisfies the following
(1) {f(n):nN}\{f(n) : n\in\mathbb{N}\} is a finite set; and (2) For nonzero integers x1,x2,,x1000x_1, x_2, \ldots, x_{1000} that satisfy f(x1)=f(x2)==f(x1000)f(\left|x_1\right|)=f(\left|x_2\right|)=\cdots=f(\left|x_{1000}\right|), then x1+2x2+22x3+23x4+24x5++2999x10000x_1+2x_2+2^2x_3+2^3x_4+2^4x_5+\cdots+2^{999}x_{1000}\ne 0.