n0=1时无解,并不能说明n0是其它数也无解呀.
通过努力,又可以证得一个等式和一个不等式,但还未能解决本题.
f(x+n0-1)≥f(x)+n0-1,f(x+n0-1)+1≥f(x)+n0,f(x+n0)≤f(x)+n0,所以
f(x+n0)≤f(x+n0-1)+1,由递推关系可得,f(x+n0-1) ≤f(x+n0-2)+1,所以f(x+n0)≤f(x+n0-2)+2
依次下去有f(x+n0)≤f(x+n0-1)+1≤f(x+n0-2)+2≤…≤f(x)+n0,
所以f(x+n0-1)+1≤f(x)+n0,所以f(x+n0-1)≤f(x)+n0-1,又因为f(x+n0-1)≥f(x)+n0-1,所以
f(x+n0-1)=f(x)+n0-1。
再由f(x+n0)≤f(x+n0-1)+1可得f(x+n0)-f(x+n0-1) ≤1,可以推出f(2)-f(1) ≤1,f(3)-f(2) ≤1,f(4)-f(3) ≤1,…f(x)-f(x-1) ≤1,当x为正整数时,叠加可得f(x)≤x.
[此贴子已经被作者于2007-9-22 14:05:23编辑过]