解题思路:(1)f(x)=f([x/2]+[x/2])=f2([x/2]),结合函数f(x)为非零函数可得;
(2)利用函数的单调性的定义证明;
(3)由f(4)=[1/16]可得f(2)=[1/4],从而化简不等式f(x-3)•f(5)≤[1/4]为f(x-3+5)≤f(2),从而利用单调性求解.
(1)证明:f(x)=f([x/2]+[x/2])=f2([x/2])>0,
(2)证明:∵f(0)=f2(0),∴f(0)=1;
∴f(b-b)=f(b)•f(-b)=1;
∴f(-b)=[1
f(b);
任取x1<x2,则x1-x2<0,
∴
f(x1)
f(x2)=f(x1-x2)>1,
又∵f(x)>0恒成立,
∴f(x1)>f(x2);
则f(x)为减函数;
(3)由f(4)=f2(2)=
1/16],则f(2)=[1/4],
原不等式转化为f(x-3+5)≤f(2),
结合(2)得:x+2≥2,
∴x≥0;
故不等式的解集为{x|x≥0}.
点评:
本题考点: 抽象函数及其应用.
考点点评: 本题考查了函数单调性的证明与应用,属于中档题.