sin x ＜ x 的严格证明：从导数法到单位圆几何法的全面解析

从“画个图就看出来”到真正写出严格证明，中间隔着一整个“定义基础”的认知差距。sin x < x 这个不等式几乎人人见过，但真被问到“如何证明”时，大多数人的第一反应是：画出 y = sin x 和 y = x 的图象，然后说“你看，明显在下方”。这个回答在直观层面是对的，但在证明层面站不住脚。图象只能说明“看起来如此”，无法说明“必然如此”，而且图象还隐含着“我们已经接受了正弦函数的几何性质”这个前提。这篇文章我打算把 sin x < x 的主流证明路径拆开讲透，包括导数法、单位圆几何法、凸性工具、级数定义下的处理，以及最常见的四个证明误区。无论你是刚学高数的学生，还是需要给学生讲清楚这个问题的老师，相信都能从中找到一条适合自己的严格路线。

1. 从“看图说话”到“严格证明”：sin x < x 到底在证明什么

1.1 题设条件的第一道坎：x 的取值区间

先得把命题写准确。sin x < x 并不是对一切实数 x 都成立的不等式。x = 0 时两边相等，sin 0 = 0 = 0，取不到严格不等号；x < 0 时，比如 x = −1，sin(−1) ≈ −0.84，而左边 −0.84 大于右边 −1，不等号方向反过来。所以这个不等式真正成立的区间是 x > 0，完整表述应该是：对任意正实数 x，有 sin x < x。

这个细节看起来简单，但恰恰是很多初学者容易忽略的地方。题目一上来就写“证明 sin x < x”，省略了定义域限制，很容易让人误以为这是全局结论。我们在证明之前先明确范围，其实是在确定“我们到底要证明什么”。这也是数学证明的第一原则：证什么，必须先说清楚。

对应地，当 x > 0 时，sin x / x < 1；而当 x < 0 时，因为 sin x 和 x 都是负数，比值仍然小于 1。所以严格来说，sin x < x 在 x > 0 成立，sin x > x 在 x < 0 成立。有人也会写成 |sin x| ≤ |x|，这个全局形式对所有实数都成立，只是等号只在 x = 0 处取到。

1.2 为什么“图象法”不能算证明

我的看法是：图象作为启发工具完全合格，但作为证明依据不合格。原因有两点。

第一，图象的绘制依赖于有限个采样点和连线插值，你看到的“在下方”只是视觉判断。计算机绘图的精度再高，也不可能把无穷多个点全部画出来。它展示的是一个样本，不是全部。万一在某个人眼分辨不出的区间里，sin x 跑到 x 上面去了呢？图象法无法排除这种可能性。

第二，也是更本质的一点：当你画 y = sin x 的图象时，你已经假设了“这个函数的赋值方式是正确的”，而 sin x 的性质本身正是我们要讨论的对象。这就相当于用结论来证明结论。当然，并不是说直观毫无价值——恰恰相反，直观能帮我们判断命题的真伪，只是在严格证明的框架里，直观只能作为辅助。

1.3 关键：sin x 的定义方式决定了证明路径

“怎么证明 sin x < x”这个问题，真正的答题关键不在不等式的技巧，而在 sin x 的定义方式。我见过太多人忽略了这一点，直接上来就用泰勒展开，却不知道泰勒展开本身是建立在一定定义基础之上的。

如果 sin x 是几何定义的——通过直角三角形对边比斜边，或者单位圆上点的纵坐标——那么最自然的证明路线是几何法。如果 sin x 是分析定义的——通过幂级数或微分方程——那么导数法、中值定理法、级数截断法才是顺理成章的选择。不同教材在不同章节引入三角函数，定义方式不同，能用的工具也不同。所以下面我给出的每一种证明，都会先交代它依赖的定义基础，这样你就知道在什么场合下用它最合适。

2. 导数法：最务实的主证路径与细节补全

2.1 辅助函数的核心构造

如果你所在的课程已经定义了三角函数的导数，也就是会说 (sin x)' = cos x，那么导数法是最干净、最不容易出错的一条路。

构造辅助函数：

f(x) = sin x − x

目标变成证明：当 x > 0 时，f(x) < 0。

第一步，计算导数：

f'(x) = cos x − 1

因为对任意实数 x 都有 cos x ≤ 1，所以 f'(x) ≤ 0，说明 f(x) 在 [0, +∞) 上是单调递减的。再加上 f(0) = 0，于是当 x > 0 时，f(x) < f(0) = 0，即 sin x − x < 0，命题得证。

这套逻辑链条非常短，几乎两行就能写完。但这里有一个只有真正动笔写才会发现的细节：f'(x) ≤ 0 只给出了“单调递减”，也就是 f(x) ≤ f(0)，得到的是 sin x ≤ x，还不是严格的 <。如何把 ≤ 升级为 <？这里有三种处理方式，我按严谨程度从低到高列出来。

2.2 三个让“≤”变成“<”的细节处理

第一种处理：观察 f'(x) = cos x − 1。当 x ∈ (0, 2π) 时，除了在 x = 0 这一时刻，cos x < 1 是严格成立的，于是 f'(x) < 0。也就是说 f(x) 在 [0, 2π] 上是严格递减的。这样在 (0, 2π] 内就得到严格的 f(x) < 0。

第二种处理：把区间拆开讨论。当 0 < x ≤ 1 时，可以用上面的“严格递减”论断，因为 (0,1] 完全包含在 (0,2π) 内。当 x > 1 时，直接用 sin x ≤ 1 < x，一步到位。这个方法的妙处在于避开了“f'(x) 只在个别点等于 0”这种需要额外说明的细节，而且逻辑上非常扎实。

第三种处理：使用积分形式。因为 f(x) = f(0) + ∫₀ˣ f'(t) dt = ∫₀ˣ (cos t − 1) dt。当 x > 0 时，区间长度为正；在 (0, x) 上除去 t = 0 这个点，被积函数 cos t − 1 严格小于 0。一个在正长度区间上几乎处处严格小于 0 的连续函数，其定积分严格小于 0。所以 f(x) < 0，证明结束。

我个人在给初学者讲解时，最推荐第二种“区间拆分法”，因为它不依赖“严格递减”这个相对微妙的概念，只需要最基本的单调性加一个 sin x ≤ 1 的估值，思路非常直白。

2.3 为什么导数法如此“简单”

有的读者可能会疑惑：这证明是不是太简单了？是不是漏掉了什么？其实没有漏，它的简洁来源于“前提的强大”。用导数法，意味着你默认已经建立了一套完整的分析体系：函数的极限、连续、导数、微积分基本定理。在这些工具面前，sin x < x 只是一个很基础的小推论。

打个比方，如果你已经会开车，那么从 A 地到 B 地的距离问题可以一脚油门解决；但如果你是步行，就得考虑路径、坡度、体力。两种方式都在回答问题，但工具不同，解法当然不同。导数法就是“开车”的方案，它绕开了几何直觉中许多需要额外公理的地方，直接把问题转化成“这个函数的单调性如何”，而这个转化过程是高度机械化的。

这也解释了为什么在高等数学教材中，sin x < x 很少作为一个独立难题出现，更多是作为“利用导数研究函数不等式”的标准例题。它的教学价值在于演示辅助函数构造法的基本套路：要证明 f(x) < g(x)，就令 h(x) = f(x) − g(x)，然后研究 h 的单调性和端点值。

3. 单位圆几何法：直观背后的严格化考量

3.1 单位圆上的基本构图

现在来看另一种经典证法——单位圆几何法。这个方法在初等数学和高中课本中经常出现，优点是直观到几乎不需要额外解释。

取一个单位圆，圆心为 O。在圆上取一点 A，使得从 x 轴正方向逆时针旋转到 OA 的角度为 x 弧度，其中 0 < x < π/2。过 A 作 x 轴的垂线，垂足为 B。那么 AB 的长度就是 sin x，因为单位圆的半径是 1，sin x 就是对边比斜边。

而角 x 对应的圆弧长度为 x——这是弧度制的定义：弧长 = 半径 × 圆心角。单位圆半径是 1，所以弧长就是 x。

接下来看图：从 A 到 B 的线段 AB（长度为 sin x）是从 A 到 B 的一条直线段，而圆弧从 A 滑到 x 轴上的某个点？这里稍微细致一点：真正的比较对象应该是线段 AB 和它对应的那一段圆弧。如果我们把圆弧从 A 点延伸到它与 x 轴的交点 D，则弧 AD 的长度是 x（其实这里要小心，弧 AD 不一定从 A 连到 B，D 是圆弧与 x 轴的交点，也就是角度为 0 的点，弧长为 x）。而折线 A → B → D 的长度是 AB + BD ≥ AB = sin x。但我们要的是弧 AD 长度 x 与 AB 长度 sin x 的比较，不是折线。

严格写法是这样的：在单位圆中，从 A 到 D 的圆弧记作弧 AD，其长度为 x。弦 AD 的长度为 2sin(x/2)，显然弦 AD ≤ 弧 AD，即 2sin(x/2) ≤ x。但我们要的是 sin x < x，不是 sin(x/2)。所以这个构图还得再绕一步：弦 AD 是一条直线段，而弧 AD 是一条曲线段。平面上两点之间直线段最短，所以弦 AD < 弧 AD（当弧不是直线时严格不等）。代入长度：2sin(x/2) < x。令 t = x/2，得到 sin t < t，其中 t ∈ (0, π/4)。这个范围比我们想要的小，但我们可以推广：对任意 x > 0，取足够大的 n 使得 x/2ⁿ ∈ (0, π/2)，反复应用上面的步骤？其实不需要反复，只要证明对任意角度 t ∈ (0, π/2) 成立，然后对于更大的角度用 sin x ≤ 1 处理。

在 (0, π/2) 内，可以直接构造：作角 x 的终边交单位圆于点 A，过 A 作 x 轴垂线 AB。这样 AB = sin x。从 A 到 x 轴上点 (1,0)（角度为 0 的点 D）的直线距离是弦长，而这个弦长大于 AB？不对，弦 AD 长 2sin(x/2)，AB = sin x = 2sin(x/2)cos(x/2)，所以弦 AD > AB，但这不是我们要的。

绕了一大圈，还是用“弧长 > 弦长”来比较更直接：以直线段 AB（长度 sin x）为一条边，它小于从 A 到 D 的弦 AD，而弦 AD 又小于弧 AD（长度 x）。所以 sin x < x。这个证明思路在几何上完全成立，只是需要把“弧长大于弦长”作为一条直观公理或已证明的定理接受下来。

3.2 这个证法的“严格性”到底缺在哪

很多学生觉得几何法已经足够好了，为什么还要学导数法？这其实涉及一个很多人没意识到的点：几何法的前提“弧长大于弦长”或者“两点之间直线段最短”，在欧氏几何里是公理级别的结论，但在实数完备性的分析体系中，需要先定义“曲线的长度”才能真正证明它。

更麻烦的是，当我们用“扇形面积”来比较时——比如三角形 OAB 面积 = (1/2)sin x，扇形 OAD 面积 = x/2——要得到扇形面积公式，又需要先证明圆的面积公式，而圆的面积公式一般要用到积分或者极限，最后还是绕回到分析工具上。

所以我个人的评估是：单位圆法最适合用来“建立直观”，它让你一眼就相信 sin x < x 是对的，而且能解释为什么这个不等式在弧度制下尤其自然——因为“角度 x 对应弧长 x”这件事本身就需要弧度制。但在一个严格的数学分析框架里，它不是一个自足的证明，除非你先承认若干几何公理并建立了弧长的严格定义。高中数学阶段用它做铺垫完全没问题，到了高等数学阶段，导数法才是更体系化的选择。

3.3 用面积还是用弧长：两条等价的几何思路

几何证明实际上有两大分支：一条是比较弧长与弦长，另一条是比较扇形面积与三角形面积。

弧长线的核心不等式是：圆弧 > 弦。因为直线段是两点间最短路径。

面积线的核心不等式是：扇形 > 三角形。三角形 OAB 的面积是 (1/2)sin x（底 OA 为 1，高 AB 为 sin x）；扇形 OAB 的面积是 (1/2)x（扇形面积 = 半径平方 × 圆心角 / 2，即 1² × x / 2）。三角形内嵌在扇形内部，面积小于扇形，所以 (1/2)sin x < (1/2)x，也就是 sin x < x。

面积法在写作上比弧长法更简洁，但它的前提同样不轻：你相信“包含关系的图形，面积也包含”。这在直观层面毫无问题，在严格层面同样需要面积公理。总而言之，两条几何思路在本质上是平行的，选择哪条取决于你觉得“面积”还是“弧长”更好接受。

4. 凸性、中值定理与不等式链：更宏观的证明工具

4.1 拉格朗日中值定理的漂亮一步

如果你的工具箱里已经有了拉格朗日中值定理，那么 sin x < x 的证明可以更优雅，而且还能顺带得到一个更强的不等式链。

考虑函数 sin t 在区间 [0, x] 上使用拉格朗日中值定理，其中 x > 0。该函数在 [0, x] 上连续、在 (0, x) 上可导，于是存在 ξ ∈ (0, x)，使得：

(sin x − sin 0) / (x − 0) = cos ξ

也就是：

sin x / x = cos ξ

现在需要判断 cos ξ 与 1 的大小关系。因为 ξ ∈ (0, x)，当 x 比较小时 ξ 落在 (0, π/2) 内，cos ξ < 1 是显然的。但当 x 很大时，ξ 可能大于 π/2，此时 cos ξ 可能是负数，那就更小于 1 了。所以无论哪种情况，当 x > 0 时，除去 ξ = 0 这种不可能的取值，恒有 cos ξ < 1。于是：

sin x / x < 1，即 sin x < x

这个证明的关键在于：中值定理自动帮我们绕过了一切单调性讨论，只要知道“导数是余弦函数”就够了。它的教育意义还在于，它揭示了比值 (sin x)/x 与导数 cos ξ 之间的联系，这正是以后证明重要极限 lim_{x→0} sin x / x = 1 时的过渡产物。

4.2 从 sin x < x 到 sin x < x < tan x

利用同样的构造，可以立刻得到另一个著名不等式：在 (0, π/2) 上，tan x > x。

令 g(x) = tan x − x，则 g'(x) = sec²x − 1 = tan²x。当 x ∈ (0, π/2) 时，tan²x > 0，所以 g 在 [0, π/2) 上严格递增，g(0) = 0，于是 g(x) > 0，即 tan x > x。

把两个不等式连起来，就得到一条在极限计算中非常实用的不等式链：

sin x < x < tan x，对任意 x ∈ (0, π/2) 成立

这条链不仅美观，更重要的是它直接为“夹逼准则”服务。比如求 lim_{x→0} (sin x)/x，可以从 sin x < x < tan x 出发，同除以 sin x（正数），得到 1 < x / sin x < 1 / cos x，再取倒数，利用夹逼定理得到 (sin x)/x → 1。可以说，sin x < x 是整个三角函数极限理论的基石性不等式。

4.3 凸性视角：为什么“正弦线在切线下方”

学过凹凸性之后，还有一个更直观的分析解释：sin x 在 x = 0 附近的图像是上凸的（concave，即开口向下的凸函数），而上凸函数有一个性质：图像总在它的切线下方。

sin x 在 x = 0 处的切线是 y = x，因为 sin 0 = 0，且导数为 cos 0 = 1。于是，利用“上凸函数图像位于切线下方”这个性质，立刻得到 sin x < x。

当然，这里有一个循环论证风险：要证明 sin x 在 x = 0 附近是上凸的，通常需要知道 (sin x)'' = −sin x < 0，而这又需要先对 sin x 求两次导。所以凸性法本质上还是导数法的换皮版本，只不过它把“单调递减”换成了“二阶导数小于零”，在思维上更直观，在书写上更简洁。

我自己的建议是：对初学者，先用导数法打底，等学到凹凸性之后再用凸性视角重新审视一遍，会有一种“原来之前那条单调递减曲线说的就是这个意思”的贯通感。

5. 极限定义下的级数证明与反证法路径

5.1 当 sin x 由幂级数定义时怎么处理

在某些严密的分析教材里，sin x 不是通过几何定义的，而是直接定义成幂级数：

sin x = x − x³/3! + x⁵/5! − x⁷/7! + ...

在这种定义下，证明 sin x < x 的方法又有不同。最直接的想法是作差：

sin x − x = −x³/3! + x⁵/5! − x⁷/7! + ...

对于固定的正数 x，这是一个变号级数。利用莱布尼茨判别法，交错级数的和与首项同号，条件是该级数各项绝对值单调递减趋于 0。当 x 比较小时（比如 0 < x < 1），绝对值序列 x³/3! > x⁵/5! > x⁷/7! > ... 显然递减，所以整个级数的和为负，即 sin x − x < 0。

当 x ≥ 1 时，级数的单调递减条件不一定好验，但可以直接用估值：sin x ≤ 1 < x（因为 x ≥ 1 时 x > 1，而 sin x 不可能超过 1）。这就把问题分成了 (0,1) 和 [1,+∞) 两段，两段都解决了。

这个做法与导数法互为印证。它说明了一个更深刻的道理：同一个不等式，在“几何定义 + 几何公理”和“解析定义 + 级数理论”两套体系中都有相应的证明路径，选择哪条取决于你站在哪个理论基础上。如果你所在的课程用幂级数定义三角函数，就不要用几何法，因为几何法的前提（弧长、面积）还没有形式化；反之，如果课程用几何定义，那就先用单位圆法建立直觉。

5.2 反证法：如果它不成立会怎样

我们再来看看反证法的思路。假设存在某个正数 a，使得 sin a ≥ a。记 h(x) = sin x − x，则 h(0) = 0，且 h(a) ≥ 0。因为 h 是连续函数，所以它从 0 出发，要么一直在 0 以下，要么在某处穿过 0 向上。

考虑集合 S = { x > 0 | h(x) ≥ 0 }。如果 S 非空（由假设 a ∈ S），由于 h(0) = 0 且 h 连续，S 一定有下确界，记为 c > 0？这里要小心，因为 h 在 0 附近是负的还是非负的？实际上需要先知道 h 在 0 的右侧附近是负的，然后 S 才有“最小正元素”可抽取。

我们可以换一种更直接的反证：假设存在 x₀ > 0 使 sin x₀ ≥ x₀。由于 sin x₀ ≤ 1，必有 x₀ ≤ 1，所以反例只能出现在 (0,1] 内。在 (0,1] 上，h'(x) = cos x − 1 < 0 严格成立（因为 x ∈ (0,1] ⊂ (0, π/2)，cos x < 1），所以 h 严格递减，h(x₀) < h(0) = 0，与 sin x₀ ≥ x₀ 矛盾。

这个反证法的优点在于，它只需要证明“在 (0,1] 内严格递减”，剩下的全是逻辑推理。反证法的教育价值在于：它告诉我们，不等式证明不一定非得“正面强攻”，假设反例存在然后利用函数性质推出矛盾，有时候反而更清晰。

5.3 积分法：一个被低估的优雅路径

最后再补充一个被很多人低估的证明路径——积分法。如果 sin x 的导数已知，并且你接受微积分基本定理，那么：

sin x = ∫₀ˣ cos t dt

因为当 t ∈ (0, x) 且 x > 0 时，除去 t = 0 这一单点外，cos t < 1 基本成立（无论 x 多大，cos t ≤ 1 且不是恒等于 1），所以：

∫₀ˣ cos t dt < ∫₀ˣ 1 dt = x

于是 sin x < x。严格来说，这个不等式是在勒贝格或黎曼积分意义下“被积函数几乎处处严格小于对方时，积分严格小于”这一性质上成立的。这个证明和导数法本质上是一回事，但思考角度不同：导数法看“变化率”，积分法看“累积量”。

6. 四个常见误区与一条可落地的证明路线图

6.1 误区一：用图象代替证明，被“视觉惯性”带偏

我在批改作业时看到最多的错误，就是学生写“由图可知 sin x 的图象在 y = x 下方，故 sin x < x”。这个说法在填空题、选择题里作为判断依据没问题，但在证明题里是零分处理。

为什么？因为图象的横轴、纵轴比例可以被拉伸压缩，同一个函数在不同坐标系下画出来，视觉上“在上方”还是“在下方”是可以人为改变的。这不是诡辩，而是说图象本身带有太多的表达自由度，无法承担“严格逻辑”的重任。如果你实在想用几何直觉，请至少写成单位圆里的“弧长大于弦长”，那才算给出了一个可以检验的几何论证。

6.2 误区二：泰勒展开只取第一项，忽略余项

另一种常见错误是：因为 sin x = x − x³/6 + x⁵/120 − ...，所以 sin x < x。这里的问题在于，无穷级数“首项为负”不等于“整个和小于首项”。你需要说明余项的性质。

比如当 x 很大时，x³/3! 可能非常大，后续项虽然在交错抵消，但你凭什么确认整个级数仍然是负的？必须像我在 5.1 节那样，用交错级数的莱布尼茨判别法给出理由，或者用导数法绕开级数求和。简而言之：不写余项分析的泰勒展开，本质上是在用一种“看起来很高级”的方式犯低级错误。

6.3 误区三：循环论证的风险

还有一个隐蔽性很强的误区：在证明重要极限 lim_{x→0} sin x / x = 1 时，有人先用 sin x < x 推出 (sin x)/x < 1，再结合夹逼定理。这一步本身没问题，但反过来，如果你的教材是先证明了这个重要极限，再用它去求 sin x 的导数，最后再用导数法证明 sin x < x，那么整套逻辑链条中 sin x < x 就是重要极限的推论，不能再用它去证明重要极限。循环论证在数学中是大忌，很多时候不是错在某一处推导，而是错在整个逻辑顺序。

解决方式是：明确你的教材在哪里定义了 sin x，在哪里证明了 sin x 的导数，在哪里引入了重要极限。把这条链写清楚，你就不会掉进循环论证的坑。

6.4 误区四：忽略 x 的正负与等号成立条件

把“sin x < x”当作全局不等式使用，也是常见问题。题目写的是 x 的全体实数时，命题根本不成立。正确的使用姿势是：看到这个不等式，第一反应就是标注“x > 0”。更完整的形式可以写成 |sin x| ≤ |x|，这样对任意实数 x 都成立，等号仅在 x = 0 时取到。记住这个“带绝对值”版本，在很多估计问题里反而更好用。

6.5 不同定义基础下的推荐证明路线

最后我根据上述讨论，整理了一条可以按图索骥的路线。先说结论：如果你在学高等数学，用导数法；如果你在准备竞赛或者给中学生讲，用单位圆法；如果教材用幂级数定义三角函数，用级数截断加分段估值；如果只是想要一个快速且严格的证明，用积分法。

我给出一个简表，方便对照：

每一种方法都对应着一套理论基础，没有哪一种“绝对最好”，只有哪一种“在当前体系下最自然”。我个人的习惯是：先用单位圆法建立直觉，再用导数法写出严格证明，最后用中值定理法做一个推广。三条路径走下来，这个不等式在我脑子里就不是一个孤立的结论，而是一张连接几何、分析、级数的知识网。

你要真的想把这个不等式吃透，不妨把上面七种方法都自己写一遍，重点体会每种方法“缺了什么就证不出来”的边界感。数学的严谨不是某一种证明方法赋予的，而是你对“前提、推理、结论”三者关系的理解深度决定的。