反三角函数遇上不等式？四步规则与三类题型一次讲透

反三角函数在考研数学里是个很有意思的存在——它单独出题的时候难度不高可一旦跟不等式绑在一起立马变成事故高发区。很多同学不是不会求导也不是背不下定义域而是看到 arcsin、arccos、arctan 和比较大小、解范围、证放缩揉在一起就不知道第一步该先干什么。这篇是这个系列的第三篇前两篇我们处理了反三角函数的基础定义、性质和求导这一篇专门来解决那个最磨人的组合反三角函数与不等式。这篇文章适合两类人看一类是刚开始复习、被反三角不等式绕晕的考生你可以把它当一份可直接抄作业的解题手册另一类是已经刷过一些题、但总在细节上丢分的同学我会在最后专门翻出高频翻车现场帮你看清自己到底错在哪。内容主线是先讲清楚这类题为什么容易错再给四条做底层的规则然后按解不等式、证不等式、极限夹逼三类必考题型做完整拆解文末附三道自测题。1. 反三角遇上不等式为什么总在中途翻车1.1 题目自带两层门禁定义域与值域的双重限制先看一个最基础的例子解不等式 arcsin(2x-1) ≤ π/6。很多人第一反应是两边取 sin这没错但取之前漏了一道关键工序——先检查 arcsin 的定义域。arcsin 的自变量必须落在 [-1,1] 里所以 2x-1 ∈ [-1,1]也就是说 x ∈ [0,1]。这道工序不是走流程而是直接决定最终解集的边界。如果你跳过它取完 sin 得到 2x-1 ≤ 1/2也就是 x ≤ 3/4你会把 x 0 的一大段也算进解集那就错远了。这道题完整答案其实是 x ∈ [0, 3/4]少写定义域错的不只是一个端点而是半个数轴。arccos 也一样定义域同样是 [-1,1]但值域是 [0,π]单调性和 arcsin 正好相反。题目一旦把 arcsin 和 arccos 放在同一个不等式里你的第一件事不是动笔而是先把两个函数各自定义域的交集写出来。1.2 取函数不是恒等变形方向感才是真正的分水岭解普通不等式我们有大量合法操作移项、平方、取对数、两边同乘正数。但是反三角不等式最常用的操作变成两边取一个三角函数问题立刻来了——这个取合不合法取完方向变不变这取决于你取的那个函数在对应区间上是否单调、单调方向朝哪。比如对 arcsin 两边取 sin因为 sin 在 [-π/2, π/2] 上单调递增所以不等号方向不变但如果不等式里有 arccos你要取 cos而 cos 在 [0,π] 上单调递减不等号必须反向。这个反向恰恰是初学者最容易忽略的考点后面我会单独把它拎出来讲。还有一个隐蔽性很强的坑arcsin(sin t) 不等于 t。只有 t 落在 [-π/2, π/2] 这个主值区间内时等式才成立。不少同学解到一半莫名其妙地化简其实不是计算错而是把反函数复合的条件用错了范围。1.3 四兄弟两个增两个减单调方向不好记反三角函数的四个主要函数单调方向是两两相反的arcsin定义域 [-1,1]值域 [-π/2, π/2]单调递增arccos定义域 [-1,1]值域 [0,π]单调递减arctan定义域 R值域 (-π/2, π/2)单调递增arccot定义域 R值域 (0,π)单调递减考场上临时画图不现实所以我的建议是建立一套以 arcsin 和 arctan 为主导的思路遇到 arccos、arccot先通过恒等式把它们换算成 arcsin 和 arctan这样整个不等式里只剩单调递增的函数方向感一下就干净了。这个技巧后面会反复用到。2. 做题前先焊死四条底层规则定义域、恒等式、放缩链、取函数2.1 规则一四兄弟的定义域、值域、单调性要形成肌肉记忆表格可以先截下来或者抄在笔记本上但我更希望你记住它们之间的规律而不是死背。函数定义域值域单调性arcsin x[-1, 1][-π/2, π/2]单调递增arccos x[-1, 1][0, π]单调递减arctan xR(-π/2, π/2)单调递增arccot xR(0, π)单调递减记忆技巧是这样的arcsin 和 arctan 都是奇函数值域关于 0 对称所以单调递增arccos 和 arccot 的值域都是从 0 到 π从上方的高值走向下方的低值为了覆盖整个正区间必须单调递减。把奇函数→递增上界到下界→递减这个逻辑绑定到函数图像上比单背四个表格牢固得多。2.2 规则二三个恒等式把 arccos 和 arccot 全部换底解不等式时最怕的就是方向混乱而方向混乱大多来自 arccos 和 arccot 的单调递减。三个恒等式可以直接帮忙arcsin x arccos x π/2其中 x ∈ [-1, 1]arctan x arccot x π/2其中 x ∈ Rarctan x arctan(1/x) π/2其中 x 0第三条恒等式很多人记不住怎么来的其实用导数证一遍就再也忘不掉设 f(x) arctan x arctan(1/x)对 x 0 求导前一项导数是 1/(1x²)后一项是复合函数导数为 (-1/x²)/(11/x²) -1/(1x²)两项相加等于 0。所以 f(x) 是常数f(1) π/4 π/4 π/2。对 x 0 的情况用奇函数性质延拓即可得到 -π/2。这组恒等式的用法很直接遇到 arccos x 就换成 π/2 - arcsin x遇到 arccot x 就换成 π/2 - arctan x。于是不等式里只剩下单调递增的 arcsin 和 arctan取值方向不再混乱。举个小例子解不等式 arcsin x arccos x。利用恒等式arcsin x π/2 - arcsin x移项得 2arcsin x π/2即 arcsin x π/4。由 arcsin 单调递增得 x √2/2。再和定义域 [-1,1] 取交集答案为 x ∈ (√2/2, 1]。整个过程没有取 sin也没有取 cos只用了恒等式和单调性干净利落。2.3 规则三三条黄金不等式链当成放缩桥梁来用反三角不等式题里有三条不等式链出现频率极高我建议直接背下来并且在草稿纸上专门抄一遍不等式链成立范围证明思路主要用途x/(1x²) arctan x xx 0积分比较夹逼、放缩、极限x arcsin x x/√(1-x²)0 x 1拉格朗日中值定理中值定理估值、放缩arctan x xx 0导数或积分基础放缩第一条链的证明非常直观arctan x ∫₀ˣ 1/(1t²) dt。当 t ∈ [0, x] 时1/(1x²) ≤ 1/(1t²) ≤ 1直接积分就得到 x/(1x²) ≤ arctan x ≤ x等号只在 x0 时成立。第二条链是拉格朗日中值定理最漂亮的应用之一arcsin x arcsin x - arcsin 0 x / √(1-ξ²)其中 ξ 介于 0 和 x 之间。因为 0 ξ x 1所以 1-x² 1-ξ² 1取倒数后就能同时得到上下两个方向的不等式。这个推导过程本身就是一道中值定理证明题考研特别喜欢把这两个知识点串在一起。第三条链本质上是第一条链的右边但单独列出来是因为它出现的频率实在太高。f(x) x - arctan x 在 x 0 时导数恒正f(0) 0所以 f(x) 0。三条链有一个共同的限制条件自变量必须是正数。遇到负数不要硬套先利用奇函数性质把自变量翻正再说。这个细节非常容易出问题我放到第三节的翻车现场详细讲。2.4 规则四取函数的合法性清单提前列好做反三角不等式第二步往往是去函数。合法操作可以整理成一张清单对两个 arcsin 比大小两边直接取 sin因为 sin 在 [-π/2, π/2] 上单调递增不等号方向不变。对两个 arccos 比大小两边取 cos因为 cos 在 [0,π] 上单调递减不等号方向必须反向。对两个 arctan 比大小两边取 tan因为 tan 在 (-π/2, π/2) 上单调递增不等号方向不变。一边是 arcsin、一边是 arccos先用恒等式统一成 arcsin 或 arccos再按前两条处理不建议硬取。不等式一边是常数 a且 a 在函数的值域内直接利用对应反三角函数的单调性把内层函数的值与 sin a、cos a 或 tan a 比较。这份清单看起来简单但考场上紧张时最容易出问题的是第二条和第四条。记住一个核心判断依据方向变不变取决于你取的那个三角函数在反三角函数的值域区间上单增还是单减。3. 三类必考题型完整拆解解不等式、证不等式、极限夹逼3.1 解不等式三步走顺序不能乱解反三角不等式我建议永远按固定三步走写定义域、去函数解不等式、与定义域取交集。先看基础题解不等式 arcsin(2x-1) ≤ π/6。第一步写定义域2x-1 ∈ [-1,1]所以 x ∈ [0,1]。第二步去函数。对两边取 sinsin 在 [-π/2, π/2] 上单调递增方向不变2x-1 ≤ 1/2解得 x ≤ 3/4。第三步与定义域取交集x ∈ [0, 3/4]。如果忽略第一步你会得到 x ≤ 3/4把 x 0 的整段错解放进来丢分丢得毫无价值。三步走不是流程感而是安全网。再看一道稍微进阶的解不等式 arcsin x ≤ arccos(2x)。这道题一定要分步想清楚。首先定义域交集x ∈ [-1,1] 且 2x ∈ [-1,1]合起来是 x ∈ [-1/2, 1/2]。第二步两边取 cos。左边 cos(arcsin x) √(1-x²)这是因为 arcsin x 落在 [-π/2, π/2]其余弦值非负右边 cos(arccos(2x)) 2x。由于 cos 在 [0,π] 上单调递减取完之后不等号方向必须反向√(1-x²) ≥ 2x接下来要分类讨论。当 x 0 时右边 2x 是负数左边恒大于等于 0于是不等式自动成立结合定义域x ∈ [-1/2, 0) 全部符合。当 x ≥ 0 时两边非负可以平方1-x² ≥ 4x²整理得 x² ≤ 1/5所以 0 ≤ x ≤ √5/5。两部分合起来最终解集是 x ∈ [-1/2, √5/5]。这道题的精华在于 x 0 的区间不用解、只用判断x ≥ 0 才启动平方法。很多同学看到有根号就条件反射去平方结果忘了先看符号导致错解。平方操作可能引入增根解完最好回代检查一遍端点。3.2 证明反三角不等式三条路线按题目特征选证明题比解不等式的套路更固定主要是三条路线导数加单调性、拉格朗日中值定理、积分比较。先看经典题证明当 0 x 1 时x arcsin x x/√(1-x²)。用拉格朗日中值定理可以一步到位。对 arcsin x 在 [0, x] 上用中值定理arcsin x - arcsin 0 x / √(1-ξ²)其中 0 ξ x。因为 0 ξ x 1所以 1-ξ² 介于 1-x² 和 1 之间。取倒数后1/√(1-ξ²) 介于 1 和 1/√(1-x²) 之间于是直接得到x arcsin x x/√(1-x²)证完。这里最关键的细节是第二个放缩方向由 ξ x 推出 ξ² x²没问题但取倒数之后大小关系要反一次很多同学把分母换小时忘了方向反转结果写反。再看 arctan 的经典链证明 x 0 时x/(1x²) arctan x x。用积分比较最省事。arctan x ∫₀ˣ 1/(1t²) dt当 t ∈ [0, x] 时被积函数 1/(1t²) 恒在 1/(1x²) 和 1 之间两边同时积分立刻得到两条不等式。这种写法的好处是省去构造辅助函数的计算而且积分意义直观——函数图像下的面积夹在两条水平线围成的矩形面积之间。作为补充证明 x ∈ (0,1) 时 arcsin x arctan x可以用导数法。设 h(x) arcsin x - arctan x那么 h(x) 1/√(1-x²) - 1/(1x²)。当 0 x 1 时1/√(1-x²) 1而 1/(1x²) 1所以 h(x) 0 恒成立h(x) h(0) 0。这类不用精确计算只判断导函数符号的思路在考场上特别省时间。3.3 极限与夹逼反三角不等式的最佳舞台反三角不等式在考研里最常见的使用场景其实是极限题。因为三条不等式链可以直接当放缩工具用配合夹逼定理比洛必达还快。一个非常经典的极限lim_{x→∞} x(π/2 - arctan x)。利用恒等式 π/2 - arctan x arctan(1/x)当 x 0 时成立。令 t 1/x则 t → 0⁺原极限变成lim_{t→0⁺} arctan t / t由等价无穷小arctan t ~ t所以极限等于 1。这个结论做题时也可以直接记成π/2 - arctan x ~ 1/x当 x → ∞。另一个值得演示的是用不等式链做夹逼求 lim_{x→0⁺} arctan x / x。由不等式链 x/(1x²) arctan x x当 x 0 时成立。两边同时除以 x得到1/(1x²) arctan x / x 1左边当 x → 0⁺ 时趋于 1右边恒为 1夹逼得极限为 1。x 0 时用奇函数性质平移即可。整个过程没有洛必达没有泰勒展开只靠放缩链就完成了证明这就是不等式链的价值——它让极限题多了一种可落地的思考方向。再给一个进阶的证明 ∫₀¹ arcsin x dx 介于 1/2 与 π/4 之间。左半边直接用 x arcsin x两边积分得 ∫₀¹ arcsin x dx ∫₀¹ x dx 1/2。右半边要观察到 arcsin x 的导函数在 (0,1) 上递增也就是说 arcsin x 的图像下凸国内说法是向下凸图像位于两端点连线的下方。端点连线就是 y x·π/2所以 arcsin x x·π/2积分即得 ∫₀¹ arcsin x dx π/4。如果需要精确值分部积分可得 ∫₀¹ arcsin x dx π/2 - 1 ≈ 0.571确实落在 (1/2, π/4) 之间。这道题是综合题风格冲刺高分的同学值得做一遍。4. 高频翻车现场这些错我见过上千次4.1 翻车点一arcsin(sin x) 直接等于 x最常见的错误就是把 arcsin(sin x) 无条件化简成 x。比如有人算 arcsin(sin(5π/6))直接写 5π/6这是错的。根因在于 arcsin 是 sin 在 [-π/2, π/2] 上的反函数不是 sin 在整个实数范围内的反函数。sin 在整个实数上不单调所以没有全局反函数。正确做法是先算内层 sin(5π/6) 1/2再取主值 arcsin(1/2) π/6。其实一对反函数复合两个方向的成立条件完全不同sin(arcsin x) x 永远成立因为 x 已经被限制在 [-1,1]但 arcsin(sin x) x 只在 x ∈ [-π/2, π/2] 成立。这两条一定要分清考场上错了就是整道题崩盘。4.2 翻车点二arctan x x 不带条件x 0 直接套不等式链 arctan x x 只在 x 0 时成立。很多同学做完题后对答案发现符号反了回头检查才发现自己在 x 0 的区间上理所当然地套用了这条链。验证一下就不难发现取 x -1arctan(-1) -π/4 ≈ -0.785而 -π/4 -1所以当 x 0 时arctan x x方向正好反过来。正确做法是用奇函数性质翻到正区间。设 x -tt 0则 arctan x -arctan t由 -arctan t -t 得到 arctan x x。这个处理在含参讨论的题目里特别重要一旦参数可以取负数你就必须检查参数区间而不是默认 x 0。4.3 翻车点三解不等式只解一半忘记与定义域取交集解 arcsin(2x-1) ≤ π/6 的时候只得到 x ≤ 3/4 就收笔这是相当普遍的错法。这种错和计算能力无关纯粹是操作顺序习惯问题。我要求学生把写定义域作为解不等式的强制第一步和去函数并列不允许省略。最终答案必须和定义域取交集后再写。落笔之前先问自己一句这个反三角函数的定义域是什么如果没有合适的答案就不要往下一步走。4.4 翻车点四arccos 两边取 cos 忘记反向解 arcsin x ≤ arccos(2x) 这类题很多同学取完 cos 直接写出 √(1-x²) ≤ 2x符号全反。问题出在对 arccos 取 cos外层函数是 cos而 cos 在 arccos 的值域 [0,π] 上是单调递减的。取递减函数不等号方向必须反向。我的个人习惯是只要是 arccos 或 arccot 参与的不等式就会在题目旁写一行小字取值时反向来提醒自己。这个反向规则和反函数本身是增是减没有关系只取决于你取的外层函数在对应值域区间上的单调方向。4.5 翻车点总结翻车场景错误示范正确做法错因本质arcsin(sin x) 的化简直接等于 x先算内层再取主值忽略了反函数的主值区间arctan x x 在负数的套用对 x0 直接套用奇函数翻正再套忽略了不等式的成立范围解不等式丢定义域只写 x ≤ 3/4与定义域取交集流程不规范arccos 两边取 cos忘记反向反向后再继续忽略了外层函数的单调方向5. 三题自测反三角不等式的成色一测便知这一节的三道题建议你拿出草稿纸老老实实写一遍再对答案。很多同学觉得自己看懂了但落笔就卡因为反三角不等式的关键是步骤不是看懂。题一解不等式 arccos(x-1/2) π/3。答案先写定义域 x-1/2 ∈ [-1,1]得 x ∈ [-1/2, 3/2]。两边取 cos因为 cos 在 [0,π] 上单调递减不等号反向x-1/2 1/2解得 x 1。与定义域取交集最终解集是 [-1/2, 1)。注意右端点取不到因为 x1 时左边恰好等于 π/3。题二证明任意 x 0都有 2arctan x arctan(2x)。答案设 F(x) 2arctan x - arctan(2x)求导得 F(x) 2/(1x²) - 2/(14x²)。通分后分子为 6x²分母恒正所以 F(x) 0F(x) 在 x 0 上单调递增。F(0) 0故 F(x) 0。这道题如果只用 arctan 加法公式还需要讨论 2x² 1 的条件但导数法不用分类对所有正数统一成立更显简洁。题三当 0 x 1 时比较 arcsin x 与 arctan x 的大小并给出两种证明方法。答案arcsin x arctan x。方法一设 h(x) arcsin x - arctan x求导后判断 h(x) 0再结合 h(0) 0。方法二写出两个函数的积分形式arcsin x ∫₀ˣ 1/√(1-t²) dtarctan x ∫₀ˣ 1/(1t²) dt当 0 t 1 时1/√(1-t²) 1 ≥ 1/(1t²)所以前者的积分值更大。最后说一点我自己的体会。反三角不等式的复习与其大量刷题不如先把三张表焊死在脑子里定义域值域单调性表、恒等式表、黄金不等式链表。这三张表熟悉了任何反三角不等式题目拿过来先判断它属于解不等式、证不等式还是夹逼极限再按对应路线走基本不会卡壳。你把这章的思路理顺之后会发现它其实是中值定理、极限和不等式放缩的一个交汇点学好了对整个高数的复习都有带动作用。