定义在正实数集上的函数f（x）满足下列条件：
①存在常数a（0＜a＜1），使得f（a）=1；②对任意实数m，当x∈R⁺时，有f（x^m）=mf（x）．
（1）求证：对于任意正数x，y，f（xy）=f（x）+f（y）；
（2）证明：f（x）在正实数集上单调递减；
（3）若不等式f（log_a²（4-x）+2）-f（log_a（4-x）⁸）≤3恒成立，求实数a的取值范围．

定义在正实数集上的函数f（x）满足下列条件：
①存在常数a（0＜a＜1），使得f（a）=1；②对任意实数m，当x∈R⁺时，有f（x^m）=mf（x）．
（1）求证：对于任意正数x，y，f（xy）=f（x）+f（y）；
（2）证明：f（x）在正实数集上单调递减；
（3）若不等式f（log_a²（4-x）+2）-f（log_a（4-x）⁸）≤3恒成立，求实数a的取值范围．

定义在正实数集上的函数f（x）满足下列条件：
①存在常数a（0＜a＜1），使得f（a）=1；②对任意实数m，当x∈R⁺时，有f（x^m）=mf（x）．
（1）求证：对于任意正数x，y，f（xy）=f（x）+f（y）；
（2）证明：f（x）在正实数集上单调递减；
（3）若不等式f（log_a²（4-x）+2）-f（log_a（4-x）⁸）≤3恒成立，求实数a的取值范围．

已知函数f(x)=ax2-2

4+2b-b2

•x，g(x)=-

1-(x-a)2

(a， b∈R)．
（1）当b=0时，若f（x）在（-∞，2]上单调递减，求a的取值范围；
（2）求满足下列条件的所有整数对（a，b）：存在x₀，使得f（x₀）是f（x）的最大值，g（x₀）是g（x）的最小值；
（3）对满足（II）中的条件的整数对（a，b），试构造一个定义在D=x|x∈R且x≠2k，k∈Z上的函数h（x），使h（x+2）=h（x），且当x∈（-2，0）时，h（x）=f（x）．