定义在正实数集上的函数f（x）满足下列条件：

解题思路：（1）分别取x=a^m，y=aⁿ，再结合已知条件中的等式，化简可以得出f（xy）=f（x）+f（y）；
（2）设两个正数x₁，x₂，且x₁＞x₂，通过构造x₁=x₂t（t＞1），t=a^α（α＜0），再用函数单调性的定义可以证出f（x₁）-f（x₂）=αf（a）=α＜0，可得函数在（0，+∞）上单调递减；
（3）先利用（1）的结论，将不等式化为f(

t2+2

8t

)≤f(a3)，再根据（2）利用函数单调增的性质，转化为不等式，∴

t2+2

8t

≥a3对于t＞0恒成立，实数a的范围就不难得出了．

（1）证明：∵x，y均为正数，且0＜a＜1，根据指数函数性质可知，总有实数m，n使得x=a^m，y=aⁿ，
于是f（xy）=f（a^maⁿ）=f（a^m+n）=（m+n）f（a）=m+n，…（2分）
又f（x）+f（y）=f（a^m）+f（aⁿ）=mf（a）+nf（a）=m+n，∴f（xy）=f（x）+f（y）（5分）
（2）证明：任设x₁，x₂∈R⁺，x₁＞x₂，可令x₁=x₂t（t＞1），t=a^α（α＜0）…（7分）
则由（1）知f（x₁）-f（x₂）=f（x₂t）-f（x₂）=f（x₂）+f（t）-f（x₂）=f（t）=f（a^α）=αf（a）=α＜0，
即f（x₁）＜f（x₂）．∴f（x）在正实数集上单调递减；
（3）令log_a（4-x）=t，原不等式化为f（t²+2）-f（8t）≤3，其中t＞0．∵f（x）-f（y）=f（x）+f（y^-1）=f(
x
y)且f（a）=1（0＜a＜1），
不等式可进一步化为f(
t2+2
8t)≤f(a3)，…．（12分）
又由于单调递减，∴
t2+2
8t≥a3对于t＞0恒成立．…（13分）
而
t2+2
8t＝
1
8((
t−

2
t)2+2
2)≥
1
2
2，
且当t＝
2时(
t2+2
8t)min＝

点评：
本题考点： 函数恒成立问题．

考点点评： 本题以抽象函数为依托，考查利用函数单调性的定义解函数值不等式，属于难题．解决抽象函数的问题一般应用赋值法，在解题过程中体现了转化的思想，在转化过程中还要注意函数的定义域．