log以0.5为底x的平方减一的对数的单调性