log1/2(x)递减
且函数递减
所以真数递增
而tan在一个周期内本身就是递增的
所以至少函数有意义即可
所以就是求定义域
这个我刚才求过了
所以减区间就是(kπ/2-π/6,kπ/2+π/12)