解不等式2log2(2^x+1)