1-（1/2）^x>=0
(1/2)^x<=(1/2)^0
因为y=(1/2)^x为定义域上的减函数
所以x>=0
其定义域为x∈[0,+∞)