We denote the set of all nonzero integers and the set of all nonnegative integers by and , respectively. Find all functions for which the following two conditions hold:
(1) for each such that it holds that ;
(2) for each it holds that .
We denote the set of all nonzero integers and the set of all nonnegative integers by and , respectively. Find all functions for which the following two conditions hold:
(1) for each such that it holds that ;
(2) for each it holds that .
One trivial solution is the constant function . Let be a nontrivial function for which the conditions (1) and (2) hold. We will show that there exists a natural number and a prime number for which it holds that for each , where :
let us note at first that (proof:
from this and from (2) it follows that there exists a prime number for which ; for we will show that holds for every ; namely, for each prime there exists nonzero integers for which , so that the inequality holds; from
it follows that and ; let be the canonical factorization of ; then
It remains to note that each such function satisfies the conditions (1) and (2), and therefore it represents a nontrivial solution to the given problem.