解:(I)證明:令y=x,則f(4x)=4f(x)
令x=y=0,則f(0)=0
令y=0,則f(3x)=3f(x)
(II)解:f(x)在(-∞,+∞)上是減函數,以下證明:
任設x
1,x
2∈(-∞,+∞),且x
1>x
2,則
f(x
1)-f(x
2)=f(

×3+x
2)-f(x
2)=3f(

)
∵x
1-x
2>0
∴f(

)<0
即f(x
1)-f(x
2)<0,即f(x
1)<f(x
2)
∴f(x)在(-∞,+∞)上是減函數
(III)解:∵f(8)=-2
∴4f(2)=2,∴f(2)=-

12f(log
2
)=3f(4log
2
)=3f(log
2x)
∴

=

=

=f(log
2[x(x-2)])
∴

?f(log
2[x(x-2)])<f(2)
?

?

?

∴不等式的解集為

分析:(I)使用賦值法,先令y=x,得f(4x)=4f(x),再令x=y=0,得f(0)=0,最后令y=0,得f(3x)=3f(x)
(II)利用函數單調性的定義以及已知抽象表達式,x>0時,f(x)<0.即可證明f(x)在(-∞,+∞)上是減函數
(III)先利用抽象表達式得f(2)=-

,再利用對數運算性質及函數的單調性,將不等式轉化為對數不等式組,解之即可
點評:本題綜合考查了抽象表達式的意義和作用,函數單調性的定義及證明,利用函數的單調性解不等式的技巧