log2(x)在定义域为单增函数,
而log2(2-a^X),在1到负无穷为减函数,
说明2-a^X,在1到负无穷为减函数.
a^X要么单增要么单减,即a>1.
而(2-a^X),在（-Infinity,1）大于0.
说明a