1导数证明不等式：构造函数与放缩策略目录模块一、解题方法总述模块二、压轴题型专练题型01单变量不等式的证明题型02双变量不等式的证明题型03求和型不等式的证明题型04构造函数法证明不等式题型05利用切线放缩证明不等式题型06利用对数平均不等式证明不等式模块三、综合实战演练解题方法总述一、利用导数证明不等式的优先策略：策略1：先等价变形化简，再构造(最优先，必做步骤)对原不等式恒等变形，消去复杂项、统一结构，减少构造函数的求导难度，是所有策略的前提，优先用以下变形方式：1.移项作差，使一边为0：将不等式化为F(x)≥0(或≤0)形式，目标转化为证F(x)min≥0或F(x)max≤0(最基础变形)；2.消去常数/简单项：如证xlnx>x-1，可两边除以x(x>0)化为lnx>1-1x，构造函数更简单；3.对数/指数恒等变形：利用elnx=x、ln(ab)=lna+lnb消去指对混合项，如证ex>x+1，无需变形，直接构造；证xx>e-1e，取对数化为xlnx>-1e，大幅简化；4.放缩预处理：对复杂项先做简单放缩(如ex>x，lnx<x-1)，缩小证明范围，再构造。关键：变形需保证等价性(注意定义域、不等号方向，如乘除负数要变号)。策略2：单变量不等式--优先“直接构造+求最值”(基础题首选)适用于不含参数的单变量不等式(如x>0时，ex-lnx>2)，变形为F(x)≥0后直接构造函数，步骤简单、易操作：1.构造F(x)=不等号左边-右边，确定定义域D；22.求导F&#039;(x)，分析F(x)在D上的单调性、极值点(找导函数的零点，判断极值点类型)；3.求F(x)的最值(若极值点唯一，即为最值点；若定义域为开区间，求端点极限)；4.验证F(x)min≥0或F(x)max≤0，即可得证。适用场景：构造的函数求导后为初等函数(如多项式、简单指对函数)，易找零点、分析单调性。策略3：双变量不等式--优先“换元化单+构造”(核心策略)适用于含两个变量的不等式(如x1≠x2，f(x1)=f(x2)，证x1+x2>2)，先通过换元将双变量化为单变量，再按单变量策略证明，优先换元方式：1.比值换元：令t=x1x2(t>0且t≠1)，将x1=tx2代入不等式，消去一个变量；2.差值换元：令t=x1-x2(t>0)，将x1=x2+t代入，转化为关于x2和t的函数，再分析单调性；3.对称换元：若涉及极值点x0，令t=x-x0，构造对称函数F(x)=f(x0+t)-f(x0-t)，证F(x)≥0(或≤0)。关键：换元后需确定单变量的取值范围，再构造函数证明。二、利用导数证明不等式的重要技巧：切线放缩一、核心原理利用函数在某点的切线方程对原函数进行单向放缩，核心依据：凸/凹函数在切点处与切线相切，且函数图像全程在切线一侧(凸函数≥切线，凹函数≤切线)，通过切线的一次函数替代复杂函数，实现化繁为简，用于不等式证明、最值求解。核心结论：函数y=f(x)在x=x0处的切线为y=f(x0)(x-x0)+f(x0)，若f(x)为凸函数，则f(x)≥切线方程；若为凹函数，则f(x)≤切线方程(等号仅在x=x0处成立)。二、通用解题思路(三步法，核心：定切点→求切线→套放缩)1.定切点，找特殊点优先选等号成立点、定义域特殊点、极值点(如x=0、x=1)作为切点x0，此类点能让放缩后等号成立，保证放缩精度(无额外条件时，x=0、x=1为高频切点)。2.求切线，写放缩式对原函数f(x)求导得f(x)，代入切点x0，求切线斜率k=f(x0)和切点函数值f(x0)，代入切线公式得切线方程，进而写出切线放缩核心式(f(x)≥/≤切线一次函数)。【经典模型】直接套用，无需重复求导：ex≥x+1(f(x)=ex在x=0处的切线放缩)；lnx≤x-1(f(x)=lnx在x=1处的切线放缩)；sinx≤x(x≥0)、cosx≥1-12x2(f(x)=cosx在x=0处的切线放缩)。3.套放缩，证结论/求最值将切线放缩式代入题干不等式/函数式，替换复杂函数为一次函数，通过代数化简、不等式叠加/变形，证3明目标不等式；或通过放缩将复杂函数转化为一次函数，求最值/值域(注意验证等号成立条件)。三、利用导数证明不等式的重要技巧：对数均值不等式一、核心原理对数均值不等式是正数的算术、几何、对数均值的大小关系，是解决含指对的双变量不等式的核心工具，可绕开复杂的导数多次求导/隐零点，直接实现双变量降维。核心公式：对任意不相等的正数a,b，有ab<a-blna-lnb<a+b2(几何均值<对数均值<算术均值)，等号仅在a=b时成立；变形拓展：lna-lnb>2(a-b)...