Appearance
已知$a \in \mathbf{R}$，对于定义在$\mathbf{R}$上的函数$y=f(x)$和$y=g(x)$，设$M_{a}=\lbrace t \mid t=f(x)-g(a), x \geq a\rbrace $．
（1）若$f(x)=\sin \frac{1}{x^{2}+1}, g(x)=\cos x$，求$M_{0}$；
（2）设$m \in \mathbf{R}$，若$f(x)=\sin x \cos x-2 m(\sin x+\cos x-1), g(x)=x, M_{a} \subseteq[0,+\infty)$，求$a$的取值范围；
（3）已知对任意$a \in \mathbf{R}$，均有$M_{a}=[0,+\infty)$，记$h(x)=g(x)-a$，求证：＂对任意$a \in \mathbf{R}$，函数$y=h(x)$零点个数均有限＂的充要条件是＂$y=f(x)$在$\mathbf{R}$上是严格增函数＂．
解析1
问题背景
已知 $a \in \mathbf{R}$，对于定义在 $\mathbf{R}$上的函数$y=f(x)$和$y=g(x)$，定义集合： $$M_{a}=\lbrace t \mid t=f(x)-g(a), x \geq a\rbrace $$
(1) 求解 $M_{0}$
已知条件： $f(x)=\sin \frac{1}{x^{2}+1}, g(x)=\cos x, a=0$。
解答步骤：
- 计算 $g(a)$： 当 $a=0$ 时，$g(0) = \cos 0 = 1$。
- 确定 $f(x)$在$[0, +\infty)$ 上的值域： 令 $u = \frac{1}{x^2+1}$。当 $x \in [0, +\infty)$ 时，$u$的取值范围是$(0, 1]$。 由于 $y = \sin u$在$(0, 1]$ 上单调递增，故： $$f(x) \in (\sin 0, \sin 1] = (0, \sin 1]$$
- 计算 $t = f(x) - g(0)$： $$t \in (0 - 1, \sin 1 - 1] = (-1, \sin 1 - 1]$$
结论：
$M_{0} = (-1, \sin 1 - 1]$
(2) 求解参数 $a$ 的取值范围
已知条件： $f(x)=\sin x \cos x-2 m(\sin x+\cos x-1), g(x)=x$。 若 $M_{a} \subseteq[0,+\infty)$，意味着对任意 $x \geq a$，都有 $f(x) \geq g(a) = a$。
解答步骤：
- 换元化简 $f(x)$： 令 $s = \sin x + \cos x = \sqrt{2}\sin(x + \frac{\pi}{4})$，其中 $s \in [-\sqrt{2}, \sqrt{2}]$。 则 $\sin x \cos x = \frac{s^2-1}{2}$。 代入得二次函数： $$H(s) = \frac{s^2-1}{2} - 2m(s-1) = \frac{1}{2}s^2 - 2ms + 2m - \frac{1}{2}$$
- 分析条件 $f(x) \geq a$： 由于 $f(x)$是周期函数，若对于所有$x \geq a$均成立，则$a$必须不超过$f(x)$的全局最小值$f_{\min}$。
- 讨论 $f_{\min}$： 二次函数 $H(s)$的对称轴为$s=2m$：
- 当 $m \leq -\frac{\sqrt{2}}{2}$ 时，$f_{\min} = H(-\sqrt{2}) = (2\sqrt{2}+2)m + \frac{1}{2}$；
- 当 $-\frac{\sqrt{2}}{2} < m < \frac{\sqrt{2}}{2}$ 时，$f_{\min} = H(2m) = -2m^2 + 2m - \frac{1}{2}$；
- 当 $m \geq \frac{\sqrt{2}}{2}$ 时，$f_{\min} = H(\sqrt{2}) = (2-2\sqrt{2})m + \frac{1}{2}$。
结论： $a$的取值范围是$a \leq f_{\min}$，具体如下： $$a \leq \begin{cases} (2\sqrt{2}+2)m + \frac{1}{2}, & m \leq -\frac{\sqrt{2}}{2} \newline -2(m-\frac{1}{2})^2, & -\frac{\sqrt{2}}{2} < m < \frac{\sqrt{2}}{2} \newline (2-2\sqrt{2})m + \frac{1}{2}, & m \geq \frac{\sqrt{2}}{2} \end{cases}$$
(3) 充要条件证明
命题： “对任意 $a \in \mathbf{R}$，$h(x)=g(x)-a$ 零点个数均有限” 的充要条件是 “$y=f(x)$在$\mathbf{R}$ 上是严格增函数”。
证明过程： 由 $M_a = [0, +\infty)$ 可知：
- $g(a) = \inf_{x \geq a} f(x)$
- $f(x)$在$[a, +\infty)$上无上界，且$g(x)$ 是单调不减函数。
1. 充分性 ($\implies$)
若 $f(x)$严格增，则对于任意$x$，有 $\inf_{t \geq x} f(t) = f(x)$。 此时 $g(x) = f(x)$。 由于 $f(x)$严格增，则$h(x) = f(x) - a$也是严格增函数，对于任意$a$，其零点至多只有一个（有限个）。
2. 必要性 ($\impliedby$)
使用反证法。假设 $f(x)$ 不是严格增函数。
- 情况 A： 若 $f(x)$存在减区间。则存在$x_1 < x_2$使得$f(x_1) > f(x_2)$。由 $g(x) = \inf_{t \geq x} f(t)$的性质可知，在$[x_1, x_2]$ 的某个子区间内，$g(x)$必然会出现一段等于常数的情况（即最小值点被“锁定”）。此时$g(x)=a$ 会有无穷多个解。
- 情况 B： 若 $f(x)$单调不减但存在一段常数区间。则在该区间内$g(x)$也是常数，同理导致$g(x)=a$ 有无穷多零点。 因此，若要零点个数有限，$f(x)$ 必须严格递增。
证毕。
解析2
（1）
当 $a=0$ 时，$g(0)=\cos 0=1$，故 $$ M_0=\lbrace f(x)-1\mid x\geq 0\rbrace . $$ 对于 $f(x)=\sin\frac{1}{x^2+1}$，令 $\theta(x)=\frac{1}{x^2+1}$，则 $\theta(0)=1$，当 $x\to+\infty$时$\theta(x)\to 0^+$，且 $\theta(x)$在$[0,+\infty)$ 上严格单调递减。
因为 $\sin\theta$在$[0,1]$ 上严格单调递增（$\cos\theta>0$），所以 $f(x)=\sin\theta(x)$在$[0,+\infty)$上严格单调递减，从$f(0)=\sin 1$递减到$\lim_{x\to+\infty}f(x)=0$（但永不取到 $0$）。
又 $f$连续，故$f([0,+\infty))=(0,\sin 1]$。
因此 $$ M_0=(-1,\sin 1-1]. $$
（2）
$g(a)=a$，故 $$ M_a=\lbrace f(x)-a\mid x\geq a\rbrace , $$ $M_a\subseteq[0,+\infty)$等价于$f(x)\geq a$对一切$x\geq a$ 成立，即 $$ \inf_{x\geq a}f(x)\geq a. $$ 令 $u(x)=\sin x+\cos x=\sqrt{2}\sin\left(x+\frac{\pi}{4}\right)$，则 $u(x)$的值域为$[-\sqrt{2},\sqrt{2}]$。
因为 $u(x)$以$2\pi$为周期，且在每个周期上取遍$[-\sqrt{2},\sqrt{2}]$，所以对任意 $a\in\mathbf{R}$，$u([a,+\infty))=[-\sqrt{2},\sqrt{2}]$。
又 $$ f(x)=\sin x\cos x-2m(\sin x+\cos x-1)=\frac{1}{2}u^2-2mu+\left(2m-\frac{1}{2}\right), $$ 记 $\varphi(u)=\frac{1}{2}u^2-2mu+\left(2m-\frac{1}{2}\right)$，则 $f([a,+\infty))=\varphi([-\sqrt{2},\sqrt{2}])$。
$\varphi(u)$是开口向上的抛物线，顶点在$u=2m$。
故 $$ k(m):=\min_{u\in[-\sqrt{2},\sqrt{2}]}\varphi(u)=\begin{cases} -2\left(m-\frac{1}{2}\right)^2, & |m|\leq\frac{\sqrt{2}}{2},\newline[1em] \frac{1}{2}+2m(1+\sqrt{2}), & m>\frac{\sqrt{2}}{2},\newline[1em] \frac{1}{2}+2m(1-\sqrt{2}), & m<-\frac{\sqrt{2}}{2}. \end{cases} $$ （当 $|m|=\frac{\sqrt{2}}{2}$ 时，两侧表达式一致。）
于是 $\inf_{x\geq a}f(x)=k(m)$（与 $a$无关），故$M_a\subseteq[0,+\infty)$当且仅当$a\leq k(m)$。
因此 $a$的取值范围为$(-\infty,k(m)]$。
（3）
由题设，对任意 $a\in\mathbf{R}$，$M_a=[0,+\infty)$，即 $$ f([a,+\infty))-g(a)=[0,+\infty)\implies f([a,+\infty))=[g(a),+\infty). $$ 从而 $$ g(a)=\inf_{x\geq a}f(x), $$ 且 $g(a)$作为区间下端点必被$f$在$[a,+\infty)$上取到（因$g(a)\in f([a,+\infty))$），即存在 $x\geq a$使$f(x)=g(a)$。
对任意函数 $f$，令 $l(a)=\inf_{x\geq a}f(x)$，则 $g(a)=l(a)$。当 $a<b$时$[b,+\infty)\subset[a,+\infty)$，故 $l(b)\geq l(a)$，即 $g$ 是非减函数。
先证“对任意 $a\in\mathbf{R}$，$y=h(x)$ 零点个数有限”$\iff$“$g$严格递增”（利用$g$ 非减）。
对非减函数 $g$，若存在 $x_1<x_2$使$g(x_1)=g(x_2)=b$，则对 $x_1<x<x_2$，由非减性有 $g(x_1)\leq g(x)\leq g(x_2)$，即 $g(x)=b$。故水平集 $\lbrace x\mid g(x)=b\rbrace $ 要么为空，要么为单点，要么为非退化闭区间（含无穷多个点）。
因此“每个水平集有限个点”等价于“$g$ 无平段”，即“$g$ 严格递增”。
再证“$g$ 严格递增$\iff$ $f$在$\mathbf{R}$ 上严格递增”（在题设条件下）。
（$\Rightarrow$）设 $g$严格递增。任取$a\in\mathbf{R}$，由前述存在 $x\geq a$使$f(x)=g(a)$。
若 $x>a$，则 $f(x)\geq g(x)$（因 $g(x)=\inf_{y\geq x}f(y)\leq f(x)$，对任意点均成立），即 $g(a)\geq g(x)$。
又 $x>a$且$g$严格递增，故$g(x)>g(a)$，矛盾。
因此必有 $x=a$，即 $f(a)=g(a)$。此对一切 $a$成立，故$f=g$，从而 $f$ 严格递增。
（$\Leftarrow$）设 $f$在$\mathbf{R}$上严格递增。任取$a\in\mathbf{R}$，对 $x>a$有$f(x)>f(a)$，故 $$ \inf_{x\geq a}f(x)=f(a)\implies g(a)=f(a). $$ 于是 $g=f$，故 $g$ 严格递增。
综上，在题设“对任意 $a\in\mathbf{R}$，$M_a=[0,+\infty)$”下，
“对任意 $a\in\mathbf{R}$，$y=h(x)$ 零点个数均有限”$\iff$“$g$ 严格递增”$\iff$“$y=f(x)$在$\mathbf{R}$ 上是严格增函数”。
（等价关系传递成立。）
注：证明中未使用连续性，仅用集合等式、$\inf$ 的性质及单调性。