方程log 1/2 (a-2^x) = 2 + x 有解,则a 的最小值