解不等式log2(x^2-1)>1