换元法设t=(1/2)^x那么t的增区间的定义域换过来就是函数的减区间的?