简介这是一份面向高中阶段数学学习者与高考备考师生的不等式题型总结文档聚焦高考中约占12%分值的不等式考点帮助梳理选择题、填空题与解答题中的常见命题方式。压缩包内共1个doc文件大小约1.75MB以文档形式集中呈现便于打印、批注与二轮复习查阅。内容围绕不等式性质与函数性质结合、含参不等式求解、不等式证明、恒成立问题、大小比较及函数最值等模块展开并归纳作差作商、分析法、放缩法、数形结合、换元、整体代换等常用技巧还配有指数与对数类最值、对勾函数等典型例题。已有56人学习适合需要快速建立不等式知识框架、查漏补缺或进行题型专项训练的学生与教师参考。1. 不等式题型看着散其实只有五条主线整理《不等式常见考试题型总结.doc》的人大多有过同一个体验文档里列了二十几种题型真到卷面上还是卡住。卡人的地方通常不是解不等式本身而是两件事——把式子标准化成能套用结论的形态以及在临界点上确认取等号与端点开闭。这份题型梳理围绕五条主线展开一元二次与分式不等式、绝对值不等式、含参不等式的分类讨论、基本不等式求最值、恒成立与存在性问题。每一类都会给出判定顺序、参数表和复核解集的脚本sympy 负责解析解numpy 负责数值兜底pandoc 负责把整理结果导出成可直接分发的 docx。适合要带学生复盘的中小学教师、要写自动判题逻辑的开发者以及维护题库和错题本的人。2. 一元二次与分式不等式标准化、判别式分支与 solveset 复核2.1 为什么这两类必须先标准化一元二次不等式的一切结论都建立在ax²bxc且a0的前提上。题面经常故意把二次项系数写成负数、把高次项藏在括号里或者直接给一个已经因式分解但没展开的式子。常见做法是固定三步移项使右侧为 0合并同类项并按降幂排列二次项系数为负时两边同乘 -1 并把不等号反向。第三步最容易被跳过跳过之后用开口向上的结论去套开口向下的图像解集正好取反。分式不等式的标准化不是「两边乘分母」而是移项通分把右边变成 0写成f(x)/g(x)与 0 比较的形态。选这套流程的理由是它把解不等式降级成判断符号只需要知道零点位置和每个一次因子的正负不需要处理乘除未知数时的不等号方向问题。方向问题一旦出现错误往往是整段解集反转而不是丢一两个点。2.2 判别式三种情况对应六种解集在a0的前提下解集结构完全由判别式 Δb²-4ac 决定可以直接背成一张表判别式方程 ax²bxc0a0ax²bxc0 的解集ax²bxc0 的解集Δ0两根 x₁x₂(-∞,x₁)∪(x₂,∞)(x₁,x₂)Δ0重根 x₀(-∞,x₀)∪(x₀,∞)∅Δ0无实根R∅看表的顺序是「先定开口再定根的位置最后定取哪段」。Δ0 那一行是丢分重灾区重根处函数值为 0所以0的解集必须把 x₀ 挖掉写成两个开区间的并集而不是写成 R。Δ0 时整条数轴同号开口向上就意味着处处为正0无解空集也要写出来不能空着不写。2.3 分式不等式移项通分与根轴法以(x-1)/(x2) ≤ 1为例。错误做法是两边同乘x2因为x2的符号未知乘负数时不等号要反向分情况讨论的代价比通分大得多。正确路径是先移项(x-1)/(x2) - 1 ≤ 0→(x-1-x-2)/(x2) ≤ 0→-3/(x2) ≤ 0分子恒为负整个分式要非正只需分母为正于是x -2。更一般地把通分后的式子分解成若干一次因子的乘积除以若干一次因子画根轴每个一次因子在自己的根处变号偶数重数的因子在根处不变号分母的根永远画空心不进解集。注意分母的零点一律不能写入解集即使原不等式带 ≤ 或 ≥。这个点和一元二次里挖掉重根是同一类错误。另一个常见误用是把(x-1)(x-2) 0的解集写成x1 或 x2。那句口诀「大于取两边小于取中间」只在开口向上时成立一旦二次项系数为负或者式子没化成乘积形式口诀就会给错答案。2.4 用 solveset 复核解集并导出 LaTeX手工解完之后用脚本对一遍比重新做一遍快得多而且能发现端点开闭这种肉眼容易漏的差异。from sympy import symbols, solveset, S, latex x symbols(x, realTrue) # 一元二次-2x^2 5x 3 0先化成 2x^2 - 5x - 3 0 quad -2*x**2 5*x 3 sol_quad solveset(quad 0, x, domainS.Reals) print(sol_quad) # Interval(-1/2, 3) # 分式(x-1)/(x2) 1必须先移项不能两边同乘 x2 frac (x - 1)/(x 2) - 1 sol_frac solveset(frac 0, x, domainS.Reals) print(sol_frac) # Interval.open(-2, oo) # 集合对象直接转 LaTeX可贴进 docx 公式域或 Markdown 数学块 print(latex(sol_quad))逻辑说明solveset(关系式, 变量, domainS.Reals)返回的是集合对象可能是Interval、Union、EmptySet。domainS.Reals这个参数不能省省掉之后 sympy 可能在更宽的范围内找解或者在处理含根号、含分母的式子时返回一个没有化简的ConditionSet。看到ConditionSet就说明 sympy 没能求解需要人工先通分或先移项把式子整理干净再喂进去。参数说明不等式里的、决定返回的是闭区间还是开区间Interval(-1/2, 3)两端闭合对应原题的≥Interval.open(-2, oo)是左开右无穷和分式不等式的根轴分析一致。latex()的输出用的是标准 LaTeX 语法oo会转成\infty可以直接进 Markdown 数学块也可以在 Word 里用公式编辑器粘贴。3. 绝对值与含参不等式零点分段与分类讨论的判定顺序3.1 绝对值不等式的三条路与适用边界第一条是公式法|f| aa0等价于-a f a|f| a等价于f a 或 f -a。这条路最快但前提是右侧为正常数右侧是 0 时|f| 0无解、|f| 0只需f ≠ 0右侧为负时同理很多人不加这个前提直接套公式结果解集多出一截。第二条是平方法两边都非负时平方保持等价适合|x-a| |x-b|这类两边都是绝对值的题平方之后是一次不等式比重分区间快。但若右侧含未知数必须先确认右侧非负才能平方否则平方会引入增解。第三条是零点分段法绝对值个数达到两个以上或者绝对值内部含参数时这是唯一稳妥的路径。它的成本是分区间数量随零点数增长但每一步都是机械操作不需要灵感。3.2 零点分段法的机械流程以|x-1| |x-3| 5为例零点 1 和 3 把数轴切成三段逐段去绝对值区间去绝对值后的式子解得的范围与该区间取交集x1(1-x)(3-x)4-2xx-1/2(-1/2, 1)1≤x3(x-1)(3-x)2恒成立[1, 3)x≥3(x-1)(x-3)2x-4x9/2[3, 9/2)三段求并集得到(-1/2, 9/2)。流程可以固化成五步找全部零点按大小排序把数轴分成若干区间在每段内判断每个绝对值内部的正负并展开解出该段的不等式与该段区间取交集最后求并集。第二步的区间开闭可以随意取只要相邻区间首尾相接、覆盖整条数轴最终并集结果不受影响。3.3 含参二次不等式的讨论顺序含参题的通病是讨论不全。把顺序固定下来能显著降低漏项概率先看二次项系数是否为零再看开口方向再比较两根大小最后写解集。以ax²-(a1)x10为例因式分解得(ax-1)(x-1)0两根是1/a和1参数范围结构变化解集a0退化为 -x10(-∞,1)a01/a01(1/a, 1)0a11/a1(-∞,1)∪(1/a,∞)a1重根 1(-∞,1)∪(1,∞)a11/a1(-∞,1/a)∪(1,∞)表中的 a0 是最高频漏项二次项系数为零时题目已经不再是一元二次不等式后面所有基于根大小的讨论全部失效必须单独写。a0 那一行则是另一个坑此时除以 a 要反向两根之间才是解集和 a0 时的结论正好相反。3.4 用 sympy 分段求解与 numpy 扫描临界值绝对值不等式可以直接交给 sympy含参部分则需要数值扫描来定位候选临界值。import numpy as np from sympy import symbols, Abs, solveset, S x symbols(x, realTrue) # 纯绝对值sympy 内部会自动做分段 print(solveset(Abs(x-1) Abs(x-3) 5, x, domainS.Reals)) # Interval.open(-1/2, 9/2) # 含参恒成立a |x-1| |x-3| 对一切实数成立 xs np.linspace(-20, 20, 400001) f np.abs(xs - 1) np.abs(xs - 3) print(f.min()) # 2.0候选 a 2 # 回解析证明x 落在 [1,3] 时 f(x) 恒等于 2故 2 可达端点闭合逻辑说明solveset遇到Abs时会按零点自动分段返回并集形式的结果可以拿来和手工表格对答案。含参的不等式 sympy 往往给不出封闭解此时用np.linspace在足够宽的区间上采样取最小值作为参数上界的候选。参数说明采样点数 400001 对应步长约 1e-4够把临界值卡到小数点后三位如果要更精细把-20, 20的范围缩到-5, 5再提高点数比直接加大范围更划算。扫描只能给候选值不能替代证明——上界取等号能不能成立还要回到解析式里找取等点本例中取等点是一个完整区间[1,3]所以端点闭合。如果扫描出来的最小值出现在采样区间边界上说明真实最值可能在更远处要把范围放大重扫。4. 基本不等式最值题一正二定三相等与 1 的代换4.1 第三条前提为什么最容易丢基本不等式ab ≥ 2√(ab)的使用条件常被概括成「一正二定三相等」其中第三条「三相等」丢了会直接得到错误答案。典型反例是求x 4/x在x ≥ 3上的最小值直接套不等式得到≥ 4但取等要求x 4/x即x 2而 2 不在定义域[3,∞)内实际最小值在 x3 处取到等于 34/313/3。不等式给出的下界是真的但它不可达不可达的下界不是最小值。判断方法很固定先求出取等点再问这个点是否落在题目的定义域里。落在里面不等式直接给出答案落在外面说明函数在该区间上单调最小值在端点取。这个检查只花十秒能挡掉这类题最典型的错误。4.2 五种高频结构的处理动作结构典型题面处理动作取等点直接型x0求 x4/x直接套 ab≥2√abx2凑项型x2求 x1/(x-2)拆成 (x-2)1/(x-2)2x31 的代换xy1x,y0求 1/x4/y乘上 xy 再展开x1/3y2/3换元型x0求 (x²3)/(x1)令 tx1先写 t 的范围t2即 x1多元型a,b,c0abc1两次二元不等式逐次取等三元相等凑项型的核心动作是「多退少补」把x拆成(x-2)2让两项的乘积变成常数否则x·1/(x-2)没有上界套不等式只会得到一堆含 x 的项。1 的代换则依赖条件式本身等于常数乘上去相当于乘 1不改变原式。4.3 用 sympy 求导定位真实最值不等式求最值后用求导复核一遍是最省事的验证方式。from sympy import symbols, diff, solve, Rational x symbols(x, positiveTrue) # 结构一y x 4/xx 0 y1 x 4/x print(solve(diff(y1, x), x)) # [2]负根被 positive 假设过滤 print(y1.subs(x, 2)) # 4 # 结构三x y 1x,y 0求 1/x 4/y代入 y 1 - x expr 1/x 4/(1 - x) crit solve(diff(expr, x), x) # [1/3] print(crit, expr.subs(x, Rational(1, 3))) # [1/3] 9逻辑说明symbols(x, positiveTrue)把符号限定在正数域solve会自动过滤掉不符合假设的根如果写成symbols(x)同一行会同时返回 2 和 -2需要自己按定义域剔除。第二个例子代入y 1 - x之后变成一元函数求导得x 1/3代回得最小值 9与 1 的代换结果一致。参数说明diff(expr, x)是一阶导若要判断极大极小还需看二阶导或导数变号Rational(1,3)用的是精确有理数避免浮点误差导致取值时结果写成 8.999999。手算 1 的代换时展开过程是(1/x 4/y)(x y) 1 y/x 4x/y 4 ≥ 5 2√4 9取等条件y/x 4x/y即y 2x联立x y 1得x 1/3, y 2/3与求导结果对齐。4.4 换元型的取值范围陷阱换元型最容易错在 t 的范围上。以x0时求(x²3)/(x1)的最小值为例令t x 1由于x0所以t1而不是t0把x t-1代入得(t²-2t4)/t t 4/t - 2由基本不等式得≥ 2√4 - 2 2取等于t 2落在t1内所以最小值是 2在x 1处取到。如果误把范围写成t0虽然结论不变但一旦题目改成x ≥ 1t 的范围变成t ≥ 2取等点 t2 恰好等于端点端点是否闭合就要重新判断。写换元题时把范围写在换元式的下一行不要留到检查阶段再补这一步决定了取等点是否可达。5. 恒成立与存在性题型分离参数、端点验证与批量出题5.1 分离参数的两种方向恒成立与存在性题的通用动作是把参数分离到一侧另一侧只剩关于 x 的函数然后按最值取值。四种命题形式的转化关系固定如下命题形式等价转化需要求的量∀x∈Da ≥ f(x)a ≥ f(x) 的最大值最大值∀x∈Da ≤ f(x)a ≤ f(x) 的最小值最小值∃x∈Da ≥ f(x)a ≥ f(x) 的最小值最小值∃x∈Da ≤ f(x)a ≤ f(x) 的最大值最大值判断顺序是先看量词是全称还是存在再看不等号方向两者组合决定取最大还是最小。分不清时就举一个具体函数代进去试比背表格可靠。分离参数时如果 a 的系数含 x要先讨论这个系数是否为零否则除过去会丢掉一整类情况这一点和含参二次不等式的 a0 漏项是同一个毛病。5.2 端点验证与批量出题脚本算出候选参数之后把端点代回原式扫一遍能挡掉绝大部分端点开闭错误。下面这段脚本把出题、求解、导出串在一起import random from sympy import symbols, solveset, S, latex x symbols(x, realTrue) random.seed(7) def make_quad(): 生成开口向上的二次不等式题返回 (题目, 解集) r1 random.randint(-4, 4) r2 random.randint(-4, 4) while r2 r1: # 避免重根导致题目退化成两类中的另一类 r2 random.randint(-4, 4) expr (x - r1) * (x - r2) return expr 0, solveset(expr 0, x, domainS.Reals) for _ in range(3): q, ans make_quad() print(f$${latex(q)}$$, -, latex(ans))逻辑说明random.seed(7)固定随机序列同一份题组可以重复生成方便对照答案while那段排除重根因为重根题的解集结构和两根题不同混在一批练习里会让难度分布失控。solveset返回的集合对象转成 LaTeX 后可以直接进 Markdown 数学块。把整理好的 Markdown 导出成 docx 用一条命令就够了pandoc 不等式常见考试题型总结.md -o 不等式常见考试题型总结.docx \ --from gfm --toc --toc-depth2 -M langzh-CN参数说明--from gfm让 pandoc 按 GitHub 风格 Markdown 解析这个格式默认开启了美元符号数学块如果公式没被识别换成--from markdowntex_math_dollars再试。--toc生成目录--toc-depth2只收录到二级标题正好对应题型大类。想统一字体和行距先pandoc --print-default-data-file reference.docx 样式模板.docx改完再挂--reference-doc样式模板.docx。改题库列表重跑一遍脚本比在 Word 里手改题号更不容易出错。本文还有配套的精品资源点击获取