函数的最小正周期为 ▲ .
若的值为 ▲ .
已知,,则 ▲ .
已知全集,集合,则 ▲ .
已知向量,则向量的坐标是 ▲ .
(本题满分15分)定义在上的函数,对任意的,都有成立,且当时,.
(1)试求的值;
(2)证明:对任意都成立;
(3)证明:在上是减函数;
(4)当时,解不等式.