不等式tanx≤-1的解集是（　　）

给出下列四个命题：
①已知a，b，m都是正数，且

a+m

b+m

＞

a

b

，则a＜b；
②已知a、b、c成等比数列，a、x、b成等差数列，b、y、c也成等差数列，则

a

x

+

c

y

的值等于2；
③函数y=tanx的图象关于点（kπ，0），（k∈Z）对称；
④关于x的不等式|x+1|+|x-3|≥m的解集为R，则m≤4；
其中为真命题的序号是．

求函数定义域（要求列出不等式然后写出答案，解不等式过程不写）
（1）y=logsinx(cosx+

1

2

)；
（2）y=

tanx-1

+ln(4-x2)．

不等式tanx＞-1的解集是．