对数不等式lg(x^2-1)