幂函数 $y=x^\alpha$ 在 $(0,+\infty)$ 上是严格减函数，且经过 $(-1,-1)$，则 $\alpha$ 的值可能是（ ）.

已知函数 $y=f(x)$ 的定义域是 $D$. 对于 $t\in D$，定义集合 $S_f(t)=\{x\mid f(x)\ge f(t)\}$.

(1) $f(x)=\log_2x$，求 $S_f(16)$； (2) 对于集合 $A$，若对任意 $x\in A$ 都有 $-x\in A$，则称 $A$ 是对称集. 若 $D$ 是对称集，证明：“函数 $y=f(x)$ 是偶函数”的充要条件是“对任意 $t\in D$，$S_f(t)$ 是对称集”； (3) 若 $x\in\mathbf{R}$，$f(x)=\mathrm{e}^x-\dfrac12mx^2$. 求 $m$ 的取值范围，使得对于任意 $t_1<t_2\in D$，都有 $S_f(t_2)\subseteq S_f(t_1)$.