实数mn有f(m+n)=f(m)+f(n)且当x大于0时有f(x)大于0,若f(1)=1,解不等式f[log2(x^-x