《教材同步拓展课｜课内知识延伸讲解+高中必修五数学不等式证明方法》

1课内核心方法的回顾与延伸拓展演讲人2026-06-11

课内核心方法的回顾与延伸拓展01典型题综合演练与方法对比02拓展性不等式证明方法补充讲解03课程总结04目录

《教材同步拓展课｜课内知识延伸讲解+高中必修五数学不等式证明方法》今天我们开展高中必修五不等式证明的同步拓展课程，我从事高中数学教学十余年，在教学过程中发现，很多同学学习不等式证明模块时，往往只满足于记住课内给出的基础方法，遇到综合性较强的题目时常常束手无策，本质原因是没有打通方法之间的关联，也没有掌握课内方法延伸出来的常用技巧。本次课程我将结合多年教学经验，从课内基础出发，逐步延伸拓展，带领大家全面掌握高中阶段常用的不等式证明方法，构建完整的知识体系。01ONE课内核心方法的回顾与延伸拓展

课内核心方法的回顾与延伸拓展课内教材中已经介绍了四种最基础的不等式证明方法，我们先回顾核心逻辑，再结合常见题型延伸其适用场景和变形技巧，夯实解题的基础。

1比较法：从基础变形到灵活应用比较法是所有不等式证明方法的基础，分为作差比较法和作商比较法两类，课内仅介绍了核心思路，我们延伸其变形技巧：

1比较法：从基础变形到灵活应用1.1作差比较法的变形延伸作差比较法的核心逻辑是：要证$A>B$，只需证$A-B>0$，最终落点是判断差的符号。我在改作业的过程中发现，很多同学作差后只会硬算，不会灵活变形，其实常用变形技巧分为三类：一是因式分解，将差分解为多个可判断符号的因式的乘积；二是配方，用于平方项较多的结构，通过平方和的非负性判断符号；三是分类讨论，当差的符号不确定时，按参数范围分类讨论定号。举一个典型例子：证明$a^4+b^4\geqa^3b+ab^3$，作差得$a^4+b^4-a^3b-ab^3=a^3(a-b)+b^3(b-a)=(a-b)(a^3-b^3)=(a-b)^2(a^2+ab+b^2)$，由于$(a-b)^2\geq0$，

1比较法：从基础变形到灵活应用1.1作差比较法的变形延伸且$a^2+ab+b^2=(a+\frac{b}{2})^2+\frac{3b^2}{4}\geq0$，因此差非负，不等式得证。再比如三元对称不等式$a^2+b^2+c^2\geqab+bc+ca$，作差后配方得$\frac{1}{2}[(a-b)^2+(b-c)^2+(c-a)^2]\geq0$，直接得证，比其他方法更简洁。

1比较法：从基础变形到灵活应用1.2作商比较法的适用场景延伸作商比较法的核心逻辑是：当$A>0,B>0$时，要证$A>B$，只需证$\frac{A}{B}>1$。我带学生练习时发现，很多同学不会主动用作商比较法，实际上对于幂次结构、乘积结构的不等式，作商比较法比作差更简洁。典型例子：已知$a>b>0$，证明$a^ab^b\geqa^bb^a$，若用作差法，差的结构非常复杂，无法变形；但用作商法，$\frac{a^ab^b}{a^bb^a}=(\frac{a}{b})^{a-b}$，由于$a>b>0$，因此$\frac{a}{b}>1$，$a-b>0$，指数函数性质可得$(\frac{a}{b})^{a-b}>1$，因此不等式直接得证。

2分析法与综合法：从分离讲解到联动应用课内一般将分析法和综合法分开讲解，但实际解题中很少单独使用其中一种，这里我们延伸两者的联动应用逻辑：

2分析法与综合法：从分离讲解到联动应用2.1核心逻辑回顾分析法是执果索因，从要证明的结论出发，逐步倒推使得结论成立的条件，最终推到已知条件或基本定理；综合法是由因导果，从已知条件出发，逐步推导出要证明的结论。

2分析法与综合法：从分离讲解到联动应用2.2实际解题的联动思路我在教学中发现，很多同学要么只用分析法写过程，导致逻辑不严谨；要么死用综合法，半天找不到解题思路。正确的流程是：先用分析法找解题思路，再用综合法写规范的答题过程。比如证明$\sqrt{2}+\sqrt{7}<\sqrt{3}+\sqrt{6}$，我们先通过分析法倒推：两边都是正数，要证原不等式成立，只需证$(\sqrt{2}+\sqrt{7})^2<(\sqrt{3}+\sqrt{6})^2$，展开得$9+2\sqrt{14}<9+2\sqrt{18}$，只需证$\sqrt{14}<\sqrt{18}$，显然成立，因此我们知道原不等式成立，再反过来用综合法顺推写出过程即可，逻辑清晰，步骤规范。

3反证法：从概念到适用边界梳理反证法是间接证明方法，我们延伸其在不等式证明中的适用场景：

3反证法：从概念到适用边界梳理3.1核心逻辑回顾反证法的核心是利用原命题与逆否命题同真同假，当正面证明原命题比较困难时，我们先假设原命题不成立，再通过推导得出矛盾，从而证明原命题成立。

3反证法：从概念到适用边界梳理3.2不等式证明中的常见适用场景我统计了近年高考和模考中的不等式证明题，反证法一般用于三类问题：否定性命题、至多至少型命题、存在性命题。举一个典型例题：已知$0<a<1,0<b<1,0<c<1$，证明$(1-a)b,(1-b)c,(1-c)a$不能都大于$\frac{1}{4}$。这个题正面证明非常麻烦，用反证法就很清晰：假设三个都大于$\frac{1}{4}$，则三式相乘得$(1-a)b\cdot(1-b)c\cdot(1-c)a>(\frac{1}{4})^3$，而由基本不等式，$(1-a)a\leq(\frac{1-a+a}{2})^2=\frac{1}{4}$，同理$(1-b)b\leq\frac{1}{4}$，$(1-c)c\leq\frac{1}{4}$，三式相乘得$(1-a)a(1-b)b(1-c)c\leq(\frac{1}{4})^3$，和假设矛盾，因此原命题得证。

3反证法：从概念到适用边界梳理3.2不等式证明中的常见适用场景以上我们完成了对课内核心方法的回顾与延伸，夯实了不等式证明的基础；接下来我们补充几种课内没有重点讲解，但高中阶段解题常用的拓展证明方法，这些方法都是课内方法的合理延伸，能够解决更复杂的综合问题。02ONE拓展性不等式证明方法补充讲解

1放缩法放缩法是证明不等式的常用技巧，核心是利用不等式的传递性，将待证不等式的一侧适当放大或缩小，达到证明的目的，常用的放缩技巧有两类：

1放缩法1.1裂项放缩裂项放缩多用于数列型不等式证明，核心是将不可求和的通项放缩为可以裂项相消的结构。典型例子：证明$1+\frac{1}{2^2}+\frac{1}{3^2}+\dots+\frac{1}{n^2}<2$，我们将通项放缩为$\frac{1}{k^2}<\frac{1}{k(k-1)}=\frac{1}{k-1}-\frac{1}{k}\(k\geq2)$，累加后得到$1+(\frac{1}{1}-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+\dots+(\frac{1}{n-1}-\frac{1}{n})=2-\frac{1}{n}<2$，得证。这里我要提醒大家，放缩最重要的是把握度，如果题目要求证明和小于$\frac{5}{4}$，如果还是从$k=2$开始按上面的方法放，会得到结果小于$2$，达不到要求，这时候我们调整放缩精度，

1放缩法1.1裂项放缩把$\frac{1}{k^2}$放缩为$\frac{1}{k^2-1}=\frac{1}{2}(\frac{1}{k-1}-\frac{1}{k+1})$，累加后就能得到和小于$\frac{5}{4}$，刚好满足要求，放缩的精度是放缩法的核心，需要大家多练习总结。

1放缩法1.2切线放缩切线放缩是利用函数的凹凸性得到的常用放缩技巧，高中阶段最常用的两个切线不等式是$e^x\geqx+1$和$\lnx\leqx-1$，很多超越不等式的证明用这两个不等式就能快速解决。比如证明$e^x-\lnx>2$，我们用切线放缩：$e^x\geqx+1$，因此$e^x-\lnx\geqx+1-\lnx$，又$\lnx\leqx-1$，因此$-\lnx\geq-x+1$，代入得$x+1-\lnx\geqx+1-x+1=2$，两个不等式的等号不能同时成立，因此$e^x-\lnx>2$，得证，比直接求导讨论单调性简洁很多。

2换元法换元法的核心是通过换元简化不等式结构，常用的换元技巧有两类：

2换元法2.1三角换元三角换元多用于带有平方约束的不等式，比如条件为$x^2+y^2\leq1$、$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$这类结构，我们可以用三角换元转化为三角函数问题，利用三角函数的有界性证明。比如已知$x^2+y^2\leq1$，证明$|x^2-y^2+2xy|\leq\sqrt{2}$，我们设$x=r\cos\theta,y=r\sin\theta,0\leqr\leq1$，代入得$|r^2(\cos^2\theta-\sin^2\theta+2\sin\theta\cos\theta)|=r^2|\cos2\theta+\sin2\theta|=r^2\sqrt{2}|\sin(2\theta+\frac{\pi}{4})|\leq\sqrt{2}$，直接得证。

2换元法2.2增量换元增量换元多用于对称不等式，尤其是给定两个变量和为定值的结构，通过换元转化为单变量问题。比如已知$a>b>0,a+b=1$，证明$(a+\frac{1}{a})(b+\frac{1}{b})\geq\frac{25}{4}$，如果直接用均值不等式会得到结果大于等于4，放缩过度，用增量换元设$a=\frac{1}{2}+t,b=\frac{1}{2}-t,0\leqt<\frac{1}{2}$，代入后整理为关于$t^2$的单变量函数，就能求出最小值为$\frac{25}{4}$，完美解决问题。

3主元法主元法是处理多元不等式的常用技巧，很多同学看到多元不等式就无从下手，主元法的核心是：将多个变量中的一个看作主元，其余变量看作常数，将问题转化为我们熟悉的一元函数问题。举一个典型例子：已知$0\leqa\leq1,0\leqb\leq1$，证明$\frac{a}{1+b}+\frac{b}{1+a}\leq1+ab$，我们把$a$看作主元，将不等式整理为关于$a$的一次函数，由于一次函数在闭区间上的最大值一定在端点处取得，我们只需要验证$a=0$和$a=1$两个端点：$a=0$时，不等式变为$0+b\leq1+0$，即$b\leq1$，成立；$a=1$时，不等式变为$\frac{1}{1+b}+\frac{b}{2}\leq1+b$，整理后左侧减右侧等于$\frac{-3b-b^2}{2(1+b)}\leq0$，也成立，因此不等式对所有$0\leqa\leq1,0\leqb\leq1$成立，非常简洁。

3主元法我们已经梳理完从课内到拓展的所有常用不等式证明方法，接下来我们通过一道典型题，看看不同方法的应用思路，体会方法选择的逻辑。03ONE典型题综合演练与方法对比

1典型题呈现已知$a>0,b>0,a+b=1$，求证：$\sqrt{a+\frac{1}{2}}+\sqrt{b+\frac{1}{2}}\leq2$。

2不同方法的应用演示2.1分析法应用要证原不等式成立，由于两边都是正数，只需证$(\sqrt{a+\frac{1}{2}}+\sqrt{b+\frac{1}{2}})^2\leq4$，展开得$a+b+1+2\sqrt{(a+\frac{1}{2})(b+\frac{1}{2})}\leq4$，代入$a+b=1$得$2+2\sqrt{(a+\frac{1}{2})(b+\frac{1}{2})}\leq4$，化简得$\sqrt{(a+\frac{1}{2})(b+\frac{1}{2})}\leq1$，再平方得$ab+\frac{a+b}{2}+\frac{1}{4}\leq1$，代入$a+b=1$得$ab\leq\frac{1}{4}$，由基本不等式，$a+b=1$时$ab\leq(\frac{a+b}{2})^2=\frac{1}{4}$成立，因此原不等式得证。

2不同方法的应用演示2.2柯西不等式应用由柯西不等式，$(1\cdot\sqrt{a+\frac{1}{2}}+1\cdot\sqrt{b+\frac{1}{2}})^2\leq(1^2+1^2)(a+\frac{1}{2}+b+\frac{1}{2})=2(a+b+1)=2\times2=4$，开方得$\sqrt{a+\frac{1}{2}}+\sqrt{b+\frac{1}{2}}\leq2$，一步到位得证。可以看到，不同方法都能解决同一个问题，核心是我们要熟悉不同方法的适用场景，选择最简洁的路径。