設函數f（x）是定義域在（0，+∞），且對任意m，n∈（0，+∞）都有f（mn）=f（m）+f（n），f（4）=1，當x＞1時，恒有f（x）＞0
（1）求證：f（x）在（0，+∞）上是增函數
（2）解不等式f（x+6）+f（x）＜2
（3）若?x∈[4，16]，都有f（x）≤a，求實數a的取值范圍
分析：（1）設0＜a＜b，由b=
•a及f（mn）=f（m）+f（n），證明f（a）＜f（b），得到f（x）在（0，+∞）上是增函數．
（2）先求出f（16）的值，利用f（x）在（0，+∞）上是增函數得出x（x+6）＜16，進而求出不等式的解．
（3）利用函數的單調性及函數的值域，求實數a的取值范圍．
解答：解：（1）設0＜a＜b，則b-a＞0，
＞1，
∵任意m，n∈（0，+∞）都有f（mn）=f（m）+f（n），
∴f（b）=f（
•a）=f（
）+f（a），
∵當x＞1時，恒有f（x）＞0，∴f（b）-f（a）=f（
）＞0，
∴f（a）＜f（b），
∴f（x）在（0，+∞）上是增函數．
（2）∵f（4）=1，
∴f（16）=f（4×4）=f（4）+f（4）=2，
不等式即不等式即：f（x（x+6））＜f（16），
∵f（x）在（0，+∞）上是增函數．
∴x（x+6）＜16，∴x＜-8 或x＞2，
f（x）定義域是（0，+∞），
∴x＞2，
∴不等式的解集是{ x|x＞2}．
（3）由（2）的結果知，
x∈[4，16]時，f（x）≤f（16）=2，∴a≥2．
∴實數a的取值范圍是 a≥2．
點評：本題考查抽象函數的單調性、值域、恒成立問題、解不等式，體現等價轉化的數學思想．
