利用中值定理证明g(x)=1/(x⁴+1)在ℝ上一致连续

嘿，我来帮你打通这个证明的关键环节！你已经走到中值定理这一步了，其实只差找到导数的全局上界——这是用中值定理证明一致连续的核心思路，咱们一步步理清楚：

首先回忆一致连续的核心定义：对任意ε>0，总能找到δ>0，使得只要ℝ上的两个点x、y满足|x-y|<δ，就有|g(x)-g(y)|<ε。

你已经用中值定理得到了关键关联式：

任取x,y∈ℝ，存在s∈(x,y)，使得 |g(x)-g(y)| = |g’(s)| · |x-y|

所以问题直接转化为：证明g’(s)在整个ℝ上有一个固定的上界M——只要导数有界，那我们就能取δ=ε/M，轻松满足一致连续的要求。

步骤1：计算g(x)的导数并分析其绝对值 #

先求导：
g’(x) = -4x³/(x⁴+1)²
所以导数的绝对值为：
|g’(x)| = 4|x|³/(x⁴+1)²

步骤2：证明|g’(x)|在ℝ上有全局上界 #

我们只需考虑x≥0的情况（因为x<0时，|g’(x)|=|g’(-x)|，对称性保证非负区间的上界就是全局上界）。设h(x)=4x³/(x⁴+1)²（x≥0），现在求h(x)的最大值：

对h(x)求导并化简：

h’(x) = 4[3x²(x⁴+1)² - x³·2(x⁴+1)·4x³]/(x⁴+1)^4

分子部分进一步化简：
3x²(x⁴+1) - 8x⁶ = 3x² + 3x⁶ - 8x⁶ = x²(3 - 5x⁴)

令h’(x)=0，解得临界点：x=0 或 x=(3/5)^(1/4)（正实数解）。

计算h(x)在关键点和无穷远处的值：

• h(0)=0
• 代入x=(3/5)^(1/4)，可得h(x)是一个有限的正数（具体数值不需要精确计算，知道它是有限值就行）
• 当x→+∞时，h(x) ~ 4x³/x⁸ = 4/x⁵ → 0

这说明h(x)在x≥0时有最大值M（一个有限常数），也就意味着对所有s∈ℝ，|g’(s)|≤M。

步骤3：完成一致连续的证明 #

对任意给定的ε>0，取δ=ε/M。此时对任意x,y∈ℝ，只要|x-y|<δ，根据中值定理：
|g(x)-g(y)| = |g’(s)|·|x-y| ≤ M·δ = M·(ε/M) = ε

完全符合一致连续的定义，证明完成。

另外提一句：你之前展开x⁴-y⁴的方向其实绕远了，不用纠结那个式子——中值定理已经直接把函数差和导数、自变量差联系起来，重点放在控制导数的大小上就好。

内容的提问来源于stack exchange，提问作者SABOY