方程2的x次方-1的绝对值有唯一实数解