设f(x)=[x]+[2x]+[4x]+[8x]+[16x]+[32x]，则
f(x)≤[x+2x+4x+8x+16x+32x]=[63x]≤63x.
而f(x)=12345，故x≥12345/63≈195.952.
又f(196)=63×196=12348，且f(x)为不感函数知，
若f(x)=12345有实数解，则解属区间(195，196)??
设x=195+y，y=x-[x]，则
f(x)=f(195+y)=195×63+f(y)=12285+f(y).
另方面，
f(y)=[y]+[2y]+[4y]+[8y]+[16y]+[32y]
<0+1+3+7+15+31
=57，
则f(x)=12285+f(y)<12285+57=12342<12345.
这与已知矛盾，故原方程无实数解。
全部
