反三角函数与不等式：从定义域到单调性的完整破题框架

很多同学复习考研数学的时候，容易把高中数学里的三角函数和反三角函数当成"已经会了"的内容，结果一做题就露馅。尤其是“反三角函数 + 不等式”这个组合，它不像解普通代数不等式那样直接搬移项、穿根，中间还要牵扯定义域、值域、单调性、恒等变形这些弯弯绕绕，稍不注意就翻车。这篇是这个系列的第三篇，前两篇我们梳理了反三角函数的定义、图像和基本恒等变形，这一篇专门啃“反三角函数与不等式”这块硬骨头，从最基础的解不等式，到证明型不等式，再一路衔接到考研数学里常用的放缩和等价无穷小替换，一次讲透。

这篇内容适合两类人：一类是正在备考高考、想拿下选填压轴题的高三学生，另一类是考研数学复习到函数与极限部分、发现反三角这块基础不牢的同学。不管你是哪一类，我建议你带着一个目标来读：把反三角函数从“背公式的对象”变成“解不等式的工具”。一旦完成了这个转化，后面不管是遇到含参讨论、复合函数不等式，还是证明题里的放缩，你都会顺手很多。

1. 整体设计：为什么反三角函数和不等式放在一起讲

1.1 两者结合带来的三重障碍

单独看反三角函数，也就是几个公式、几条性质；单独看不等式，也就是移项、变形、分类讨论。可一旦把两者组合起来，难度不是加法，而是乘法。我自己的教学体会是，学生在这类题上栽跟头，通常卡在三重障碍上。

第一重是定义域。反三角函数跟普通函数最大的区别是它有严格的“领地”限制，比如 arcsin 和 arccos 的自变量必须落在 [-1,1] 内，arctan 虽然可以取全体实数，但它的值域又被限制在 (-π/2, π/2) 之间。解不等式的时候，如果一上来就移项、平方、两边同时取函数，忽略了定义域，算出来的答案十有八九是错的。很多同学最后的答案区间看起来合理，但代进去会发现根本没意义。

第二重是值域的隐性约束。举个最简单的例子：arcsin x > 2，很多同学下意识会去想 x > sin 2，然后算出一个数，实际上 arcsin x 的值域是 [-π/2, π/2]，最大值才约 1.57，永远不可能大于 2，所以这个不等式压根无解。这种题在高考里不会单独出，但经常藏在某个判断大小或零点问题的选项里，一不留神就中招。

第三重是单调性带来的“方向感”问题。arcsin 和 arctan 是单调递增函数，arccos 和 arccot 是单调递减函数。很多同学做题时习惯了“大于号就取右边”，却没意识到：当你在不等式两边同时套上一个单调递减的反三角函数时，不等号方向要反过来。这个细节配合复合函数的内外层单调性一起考，就成了重灾区。

1.2 贯穿全篇的破题框架：先定域、再定调、后转化

针对上面三重障碍，我建议你建立一套固定的处理流程，不管题目怎么变，都按这个顺序来。

第一步，先定域。把反三角函数的定义域、内层函数的取值范围全部列出来，写清楚 x 的允许范围。这一步不需要动脑，但最能防止低级错误。

第二步，再定调。判断涉及的每个反三角函数在定义域上是增还是减，同时看看有没有恒等式可以简化。比如 arcsin x + arccos x = π/2 这类恒等式，能把两个反三角变成一个，直接消元。

第三步，后转化。利用单调性，把反三角不等式转化成普通不等式。这是整个解题过程的核心，转化的时候要注意：右边如果是常数，得先把这个常数写成对应的反三角函数值，比如 1 要写成 arctan(tan 1)，π/3 要写成 arcsin(√3/2)，这样才能让两边处于“同一个函数框架”下，方便脱掉外壳。

这套流程看似简单，但真到了复合函数、含参讨论、证明题里，每一步都可能出现变体。下面我就从核心细节开始，一步步带你过。

2. 核心细节：解题前必须刻进脑子的函数性质与恒等式

2.1 四个反三角函数的定义域、值域与单调性速查

我见过太多同学在考场上临时回忆 arcsin 的值域到底是 [-π/2, π/2] 还是 [0, π]，一紧张就混淆。这里我建议你用一个图像记忆法：arcsin 是 sin x 在 [-π/2, π/2] 这一段的反函数，arccos 是 cos x 在 [0, π] 这一段的反函数。只要记住原函数是取在哪一段上，反函数的值域就自然出来了。

四个函数的性质先列成一张表，后面所有例题都要回到这张表：

这张表里最重要的是单调性。解不等式的时候，arcsin 和 arctan 是“递增壳”，可以直接穿；arccos 是“递减壳”，穿的时候不等号要反向。很多同学就是在这里栽的：题目里同时出现 arcsin 和 arccos，需要化简合并时忘记 arccos 是递减的，导致方向判断失误。

2.2 两个必须形成肌肉记忆的恒等式

与不等式关系最密切的恒等式有两个，我建议你不仅背下来，还要知道它们怎么来的，因为证明过程中用到的思想，本身就经常出现在不等式题里。

第一个：arcsin x + arccos x = π/2，x ∈ [-1, 1]。

证明非常简洁：设 α = arcsin x，那么 sin α = x，且 α ∈ [-π/2, π/2]。此时 π/2 - α ∈ [0, π]，且 cos(π/2 - α) = sin α = x。由于在 [0, π] 上 cos 是单射，所以 arccos x = π/2 - α = π/2 - arcsin x。移项即得。

这个恒等式最大的作用是“消元”。遇到 arcsin x 与 arccos x 同时出现的不等式，直接替换其中一个，立刻变成单个反三角函数。

第二个恒等式：arctan x + arccot x = π/2，x ∈ R。证明思路完全一样，不再展开。它不如第一个用得频繁，但一旦出现，往往是解题的关键突破口。

2.3 单调性在不等式中的真正用法：如何“脱壳”

所谓“脱壳”，就是把反三角函数符号去掉，把原式转成普通代数不等式。但脱壳不是随便脱的，必须满足一个前提：不等式两边要么都是同一个反三角函数值，要么至少能转化成同一个反三角函数值。

比如给你 arcsin x < arcsin y，因为 arcsin 是增函数，所以等价于 x < y，还要注意 x、y 都在 [-1,1] 内。这是最理想的情况。

但很多题不会给你这么整齐的形式。比如 arcsin x < π/3，右边的 π/3 是一个常数，不是反三角函数值。这时候你要把 π/3 写成 arcsin(√3/2)，因为 sin(π/3) = √3/2，并且 π/3 ∈ [-π/2, π/2]，所以 arcsin(√3/2) = π/3。于是原式变成 arcsin x < arcsin(√3/2)，再脱壳，得到 x < √3/2。

同理，如果是 arctan x < 1，就把 1 写成 arctan(tan 1)。注意这里的写法：tan 1 不是特殊角，但完全合法，因为 1 ∈ (-π/2, π/2)，所以 arctan(tan 1) = 1。这种思维一旦建立起来，任何常数都能“穿”上反三角函数的壳，然后借助单调性脱壳，化为普通不等式。

3. 实操：三类高频题型的完整拆解

3.1 直接型：经典反三角不等式“脱壳”三步走

先来一道最经典的入门题，这道题几乎每年都会以各种变体出现在模拟卷里。

例 1：解不等式 arcsin x > arccos x。

先定域：x ∈ [-1, 1]。

再定调并化简：这里出现了 arcsin 和 arccos 两个函数，先用恒等式把 arccos 换掉。由 arcsin x + arccos x = π/2，得 arccos x = π/2 - arcsin x。

代入原不等式：

arcsin x > π/2 - arcsin x

两边同时加上 arcsin x：

2 arcsin x > π/2

arcsin x > π/4

后转化：左边已经是 arcsin，右边把 π/4 写成 arcsin(√2/2)，因为 arcsin 在 [-1,1] 上单调递增，所以：

x > √2/2

结合定义域 x ∈ [-1,1]，最终解集为 (√2/2, 1]。

注意：这里的右端点是闭还是开？当 x = 1 时，arcsin 1 = π/2，arccos 1 = 0，显然 π/2 > 0，所以 1 应该取到，右闭。当 x = √2/2 时，两边相等，原不等式是严格大于，所以等号不取，左开。如果你算出的区间一带入端点就相等，那一定要写成开区间，这是选填题里最常见的扣分点。

再看一道 arctan 类的。

例 2：解不等式 arctan x < 1。

这题的陷阱不在中间，而在最后。arctan 的定义域是全体实数，不用额外限制。由于 arctan 单调递增，把右边的常数 1 转化为 arctan(tan 1)，于是：

arctan x < arctan(tan 1) ⇔ x < tan 1

所以解集是 (-∞, tan 1)。

很多同学算到 x < tan 1 就收工了，但如果你用计算器按一下，tan 1 ≈ 1.557，所以这个区间是 (-∞, 1.557)。看着简单，但如果你直接写成 x < π/4 就错了，因为 1 是 1 弧度，不是 π/4。这类“常数转化为同名反三角函数”的细节，就是拉开分数的地方。

3.2 复合型：内层带一次式或其他函数时怎么处理

解不等式 arcsin(2x - 1) < π/3，就是典型的复合型反三角不等式。

先定域：内层 2x - 1 必须落在 arcsin 的定义域内：

-1 ≤ 2x - 1 ≤ 1

解得 0 ≤ x ≤ 1。

再转化：π/3 = arcsin(√3/2)，于是：

arcsin(2x - 1) < arcsin(√3/2)

因为 arcsin 单调递增，脱壳得：

2x - 1 < √3/2

解得：

x < (1 + √3/2)/2 = (2 + √3)/4 ≈ 0.933

最后与定义域 0 ≤ x ≤ 1 取交集，得到 x ∈ [0, (2 + √3)/4)。

这里我再延伸一种情况，如果你遇到 arcsin(1 - 2x)，也就是内层 x 的系数是负的，该怎么办？很多同学会直接照搬“arcsin 递增所以内层直接比较”的结论，结果方向搞反。其实不需要死记口诀，只需要意识到：当 x 增大时，内层 1 - 2x 减小，而外层的 arcsin 是增函数，一增一减叠加后，整体就变成了减函数。所以 arcsin(1 - 2x) < π/3 转化过来不等号方向会跟上面的例题相反，最终解集会变成 ((2 - √3)/4, 1] 这个方向的区间。

更稳妥的办法是换元。令 t = 1 - 2x，先把 t 的范围算出来，然后按基本不等式解 t，最后再代回 x。换元的好处是，你面对的始终是最熟悉的基本型，不容易在判断复合函数单调性时出错。

3.3 证明型：利用反三角函数的单调性比较大小

不等式证明比解不等式又高了一个层次。解不等式是“求范围”，证明不等式是“验证关系”。尤其是在高考导数大题的第二问，或者考研数学的证明题里，经常需要先证明某个反三角不等式成立，再拿它去放缩其他表达式。

例 3：证明当 x ∈ (0, 1) 时，arcsin x > x。

这道题我讲两种做法，同学们可以根据自己的知识储备选择。

做法一（三角替换法，适合高一高二）：我们知道在 (0, π/2) 内，sin t < t。令 t = arcsin x，因为 x ∈ (0,1)，所以 t ∈ (0, π/2)，于是 sin t < t。而 sin t = sin(arcsin x) = x，所以 x < arcsin x，即 arcsin x > x。这个证明非常漂亮，几乎一行写完。

做法二（导数法，适合高三和考研）：构造函数 f(x) = arcsin x - x，则 f'(x) = 1/√(1 - x²) - 1。当 0 < x < 1 时，√(1 - x²) < 1，所以 1/√(1 - x²) > 1，于是 f'(x) > 0，f(x) 单调递增。又 f(0) = 0，所以 f(x) > 0，即 arcsin x > x。

这里我想额外说一点：这个不等式在考研数学里还有一个“加强版”应用，就是等价无穷小替换。当 x → 0 时，arcsin x ~ x，两者是等价无穷小，但通过泰勒展开可以看出 arcsin x = x + x³/6 + o(x³)。所以在 x 为正且足够小时，arcsin x 实际上比 x 略大。这个“略大”在极限题里是无穷小层面的差异，不影响等价替换，但在不等式证明里，这个差异可能决定着一个式子能否放缩成功。

例 4：证明当 x > 0 时，有 x/(1 + x²) < arctan x < x。

这道题是 arctan 类不等式的经典，也是很多考研真题的“题眼”。

左边证明：设 g(x) = arctan x - x/(1 + x²)，求导得：

g'(x) = 1/(1 + x²) - (1 - x²)/(1 + x²)²

通分化简：

g'(x) = [(1 + x²) - (1 - x²)] / (1 + x²)² = 2x² / (1 + x²)² ≥ 0

所以 g(x) 单调递增，且 g(0) = 0，故 x > 0 时 g(x) > 0，即 arctan x > x/(1 + x²)。

右边证明：设 h(x) = x - arctan x，求导得 h'(x) = 1 - 1/(1 + x²) = x²/(1 + x²) ≥ 0，h(0) = 0，所以 h(x) > 0，即 arctan x < x。

这道题还有更直观的积分法，因为我个人非常喜欢，这里也分享出来：arctan x = ∫₀ˣ 1/(1 + t²) dt，而对于任意 t ∈ (0, x)，有 1/(1 + x²) < 1/(1 + t²) < 1。对这三个式子同时积分，立刻得到 x/(1 + x²) < arctan x < x。这个思路在证明其他积分不等式时非常有用，大家一定要掌握。

3.4 考研衔接：从反三角不等式到放缩与极限

既然标题里带着“考研数学”，我必须专门用一节来讲高中反三角不等式怎么在考研里用。很多考研的同学觉得高数跟高中数学断层，其实反三角函数恰好是衔接最紧密的一块。

例 5：利用不等式 arcsin x > x（0 < x < 1）求极限或做放缩。

比如证明 lim_{x → 0} arcsin x / x = 1 这类题，你可以用夹逼定理。当 x → 0 时，不妨设 x ∈ (0, δ)，由 arcsin x > x 可得 arcsin x / x > 1。另一方向，利用 arcsin x 的有界性或者泰勒展开，可以得到 arcsin x / x < 1/√(1 - x²)（这个不等式可以通过求导证明）。于是 1 < arcsin x / x < 1/√(1 - x²)，两边极限都是 1，夹逼得到极限为 1。当然，考研大纲里的常见做法是直接等价无穷小替换，但如果你在步骤题里需要严格证明，这个夹逼思路就是底层逻辑。

例 6：反三角恒等式在定积分中的应用。

因为 arcsin x + arccos x = π/2 恒成立，所以计算 ∫₀¹ (arcsin x + arccos x) dx 可以直接写成 ∫₀¹ π/2 dx = π/2。如果拆开分别算这两个积分，运算量会大不少。这就是“恒等式化简”在积分题目里的典型应用。

再比如，考研数学里经常会用到 arctan x 的有界性：|arctan x| < π/2。这在证明某些数列收敛或者函数有界时非常关键。遇到表达式里带 arctan 的题，第一步往往就是先用这个不等式把 arctan 的部分“框”住，然后再处理剩下的部分。

4. 常见问题与排查技巧实录

4.1 六大易错点清单

我在批改学生作业和答疑时，发现反三角函数与不等式相关的错误高度集中，这里整理成清单，你们可以对照自查。

第一，忽略定义域。这是最常见的问题，没有之一。尤其是解 arcsin(2x - 1) 这类复合函数不等式，很多同学算完 x 的范围后，忘了跟定义域取交集，导致答案包含了 x 的非法值。建议每次解题前，第一行先写“定义域”，算完后再回头检查。

第二，常数与反三角函数值混淆。比如把 arcsin x > 2 当成有解，或者把 arctan x < 1 直接写成 x < π/4。我强调过，1 是弧度，≈57.3°，不是特殊角 π/4。遇到反三角不等式，先把两边的形式统一，再脱壳。

第三，arccos 是递减函数却按递增处理。比如解不等式 arccos x > π/3，正确转化是 x < cos(π/3) = 1/2，而不是 x > 1/2。这个方向一旦错了，整道题全部白做。怎么避免？我的习惯是在草稿纸上先画出 y = arccos x 的图像，图像是往下走的，不等号方向自然就明白了。

第四，端点开闭判断错误。尤其是严格大于、严格小于时，端点处如果恰好取等号，必须写成开区间。这个通过“端点代回去检验”就能解决。

第五，两边同时取正切或取正弦时忘记讨论单调性。比如解 arctan x + arctan(2x) < π/4 这类题，很多同学直接两边取 tan，但 tan 在 (π/2, π) 上不是单调递增，甚至在 (π/2, π) 上是负数。正确做法是要先根据左边值域判断这是否落在 tan 的单调区间内，必要时先讨论 x 的符号。这种问题在高中阶段相对少见，但如果你准备考研，一定要有这个意识。

第六，把 arcsin x 和 sin x 的“反函数关系”张冠李戴。arcsin(sin x) = x 只在 x ∈ [-π/2, π/2] 时成立，arccos(cos x) = x 只在 x ∈ [0, π] 时成立。一旦超出范围，这个“双重壳”就不能随便脱，否则会脱出错误结果。

4.2 一个很实用的“换元 + 图像”双保险策略

如果你做题总是心里没底，我强烈建议你掌握“换元 + 图像”双保险。这个方法特别适合用来验算。

具体操作是这样的：遇到比较复杂的反三角不等式，先令 t = arcsin x 或 t = arctan x，把原问题转化成关于 t 的普通三角不等式，解出 t 的范围后，再用三角函数的图像反推出 x 的范围。

举个例子，还是 arcsin x > arccos x。令 t = arcsin x，则 arccos x = π/2 - t，不等式变成 t > π/2 - t，即 t > π/4。然后画出 y = sin t 在 t ∈ [-π/2, π/2] 的图像，找到 t > π/4 对应的 x = sin t > sin(π/4) = √2/2。这个思路本质上跟恒等式法是一样的，但它把每一步的几何意义都具象化了，特别适合在考场上快速验证。

另一种验算方式是直接在草稿纸上画 y = arcsin x 和 y = arccos x 的图像，看交点在哪里。两个图像的交点满足 arcsin x = arccos x，结合恒等式就是 arcsin x = π/4，所以 x = √2/2。再根据单调性判断 arcsin 在上方还是 arccos 在上方，就能直接读出解区间。这比纯代数计算更直观，也不容易漏掉端点。

4.3 考场上怎么快速检验答案的正确性

最后分享几个考场上实用的检验技巧。这些方法不能保证你解出题目，但能保证你算出答案后快速发现低级错误。

第一个技巧是特殊值代入。算完解集后，取一个区间内的特殊值（比如区间的中点），代入原不等式验证是否成立；再取一个区间外的特殊值，代入验证是否不成立。如果都能对上，基本可以放心。比如你算出 arcsin x > arccos x 的解集是 (√2/2, 1]，那么取 x = 0.8 代入，arcsin 0.8 ≈ 0.927，arccos 0.8 ≈ 0.644，确实成立；取 x = 0.5 代入，arcsin 0.5 = π/6 ≈ 0.524，arccos 0.5 = π/3 ≈ 1.047，确实不成立。这一步只需要计算器按两下，两分钟就能完成，带来的确定性远大于那两分钟的成本。

第二个技巧是端点检验。把解集的端点（尤其是区间端点）代回原不等式，看是否取等号。如果原不等式是严格不等号而端点代回去恰好相等，说明端点要挖掉；如果原不等式是 ≥ 或 ≤，端点则要保留。这个技巧在判断开闭区间时几乎是万能的。

第三个技巧是检查值域边界。如果算出来的答案是整个实数集或者某个超过反三角函数值域的区间，就要停下来想一想：arcsin 和 arccos 的结果永远在有限区间内，凡是出现 x > 2 这种解集，要么题目的反三角函数是无解的，要么前面的变形出了问题。养成这个敏感性，可以避免很多“看了解集觉得不对劲却又说不出哪里不对劲”的情况。

我个人在实际教学里的体会是，反三角函数与不等式的组合题，并不是靠刷题量堆出来的，而是靠一套稳定的处理流程加精确的函数图像意识。只要把“先定域、再定调、后转化”这三步走成肌肉记忆，再把常见错误清单过一遍，这类题在考场上基本就是送分题。最后再给你一个小建议：平时做题时，每道题多花三十秒画一次对应函数的草图，长期坚持下来，你会发现自己对单调性、值域、定义域这些概念的敏感度会提升一个档次。