因为n=[(n-1)+(n+1)]/2,
既原题是要求f([(n-1)+(n+1)]/2)=f(f(n-1)) + f(f(n+1))恒成立,
由于线性函数具有以下性质f(x+y)=f(x)+f(y),假设f(n)为线性函数,
则f([(n-1)+(n+1)]/2)=f((n-1)/2)+f((n+1)/2)
显然当f(n)=n/2,同时满足题目要求和假设为其中的一个解.所以必然存在一个或一个以上的函数满足题目要求.
"将所有的 自然数集 映为自身"只要求对于任意自然数k都有,k=f(x0)(x0属于自然数),也就是说以f(x)为元数的集合,包含自然数集合即满足条件.因此f(3)不是自然数与题设没有矛盾.