高中数学导数用于证明不等式导数是近些年来高中课程加入的新内容,是一元微分学的核心部分
本文就谈谈导数在一元不等式中的应用
已知x∈(0,),求证:sinx<x<tanx
证明;构造函数f(x)=x-sinx,g(x)=tanx-x,x∈(0,),则f'(x)=1-cosx>0,g'(x)=sec2x-1>0
所以f(x),g(x)在(0,)内是单调递增函数,故f(x)>f(0)=0,g(x)>g(0)=0,即x>sinx,tanx>x,故sinx<x<tanx
这个三角不等式在相关教材中是用几何方法证明的
这里是构造函数,利用函数的单调性来证明,简单、快捷
已知m,n为正整数,且1<m<n
求证:(1+m)n>(1+n)m
分析:将待证不等式两边取对数,得nln(1+m)>mln(1+n),即证明成立即可
证明:构造函数f(x)=,求导,得,所以f(x)在[2,+∞)上是减函数
由2≤m<n知f(m)>f(n),即,nln(1+m)>mln(1+n),所以ln(1+m)n>ln(1+n)n,即(1+m)n>(1+n)m
已知函数f(x)=x(x-a)(x-b),其中0<a<b,设f(x)在x=s及x=t取到极值,其中s<t,求证:0<s<a<t<b
证明:易求得f'(x)=3x2-2(a+b)x+ab
由f(x)在x=s及x=t取到极值,知s,t是二次方程f'(x)=0的两实根,又f'(0)=ab>0,f'(a)=a2-ab=a(a-b)<0,f'(b)=b2-ab=b(b-a)>0,即f'(x)=0在区间(0,a)与(a,b)内分别有一个实根
由s<t及s,得二次方程f(x')=0的两实根,得0<s<a<t<b
以上是用导数次三次函数“降次”转化为研究二次方程在(0,a)与(a,b)存在实根的问题,结合实根分布理论,运用数形结合的思想,实现了不等式的证明