函数 03 函数的凹凸性(凹函数、凸函数)
一、函数的凹凸性定义
设函数\(y = f(x)\)在区间\(I\)上连续,如果对于区间\(I\)上的任意两点\(x_1\)、\(x_2\):
当\(f\left(\frac{x_{1}+x_{2}}{2}\right)\leqslant\frac{f(x_{1}) + f(x_{2})}{2}\)时,称函数\(y = f(x)\)在区间\(I\)上是凹函数(或下凸函数)
当\(f\left(\frac{x_{1}+x_{2}}{2}\right)\geqslant\frac{f(x_{1})+f(x_{2})}{2}\)时,称函数\(y = f(x)\)在区间\(I\)上是凸函数(或上凸函数)
直观地说,凹函数的图象上任意两点连线段的中点,在图象对应的点的上方。
例如,函数\(y = x^{2}\)是凹函数,在其图象上任取两点\((a,a^{2})\)和\((b,b^{2})\),两点连线中点的纵坐标为\(\frac{a^{2}+b^{2}}{2}\),而函数在\(\frac{a + b}{2}\)处的函数值为\((\frac{a + b}{2})^{2}=\frac{a^{2}+2ab + b^{2}}{4}\)。
例如,函数\(y=-x^{2}\)是凸函数。
二、函数的凹凸性几何意义
凹函数:
凹函数的图象是向上弯曲的。从切线角度看,凹函数图象上任意一点处的切线在函数图象的下方。
例如,对于函数\(y = e^{x}\),它是凹函数,在点\((x_0,e^{x_0})\)处的切线方程为\(y - e^{x_0}=e^{x_0}(x - x_0)\),可以通过比较切线和函数图象的位置关系来验证。
凸函数:
凸函数的图象是向下弯曲的。凸函数图象上任意一点处的切线在函数图象的上方。
例如,函数\(y=\ln x\)(\(x>0\))是凸函数,在某点处的切线与函数图象的位置关系符合上述特点。
三、函数的凹凸性判断方法
二阶导数法-判断函数的凹凸性:
设函数\(y = f(x)\)在区间\(I\)内具有二阶导数:
若\(f^{\prime\prime}(x)>0\),则函数\(y = f(x)\)在区间\(I\)上是凹函数
若\(f^{\prime\prime}(x)<0\),则函数\(y = f(x)\)在区间\(I\)上是凸函数
例如,对于函数\(y = 3x^{2}-2x + 1\),先求一阶导数\(y^{\prime}=6x - 2\),再求二阶导数\(y^{\prime\prime}=6>0\),所以函数\(y = 3x^{2}-2x + 1\)是凹函数。
定义法-判断函数的凹凸性:
按照凹函数和凸函数的定义,通过比较\(f\left(\frac{x_{1}+x_{2}}{2}\right)\)与\(\frac{f(x_{1})+f(x_{2})}{2}\)的大小关系来判断。
例如,要判断函数\(y=\sqrt{x}\)(\(x\geqslant0\))的凹凸性,设\(x_1\geqslant0\),\(x_2\geqslant0\),计算\(f\left(\frac{x_{1}+x_{2}}{2}\right)=\sqrt{\frac{x_{1}+x_{2}}{2}}\),\(\frac{f(x_{1})+f(x_{2})}{2}=\frac{\sqrt{x_{1}}+\sqrt{x_{2}}}{2}\),然后通过比较大小来判断其凹凸性。
四、利用函数的凹凸性证明不等式
例 1:证明对于任意\(x_1,x_2 \in R\),有\(\frac{e^{x_1} + e^{x_2}}{2} \geq e^{\frac{x_1 + x_2}{2}}\)
1. 确定函数:
设函数\(f(x)=e^{x}\),\(x\in R\)。
2. 求函数的二阶导数判断凹凸性:
对\(f(x)=e^{x}\)求一阶导数,\(f^\prime(x)=e^{x}\)。
再求二阶导数,\(f^{\prime\prime}(x)=e^{x}\)。
因为对于任意\(x\in R\),\(e^{x}>0\),即\(f^{\prime\prime}(x)>0\),所以函数\(y = f(x)=e^{x}\)在\(R\)上是凹函数。
3. 利用凹函数的定义证明不等式:
根据凹函数的定义,对于凹函数\(f(x)\),在其定义域内任意两点\(x_1\),\(x_2\),有\(f\left(\frac{x_{1}+x_{2}}{2}\right)\leq\frac{f(x_{1}) + f(x_{2})}{2}\)。
这里\(f(x)=e^{x}\),所以\(e^{\frac{x_1 + x_2}{2}}\leq\frac{e^{x_1} + e^{x_2}}{2}\),即\(\frac{e^{x_1} + e^{x_2}}{2} \geq e^{\frac{x_1 + x_2}{2}}\),当且仅当\(x_1 = x_2\)时等号成立。
例 2:证明对于\(x_1,x_2 \in (0, +\infty)\),\(\frac{\ln x_1 + \ln x_2}{2} \leq \ln\frac{x_1 + x_2}{2}\)
1. 确定函数:
设函数\(f(x)=\ln x\),\(x\in(0, +\infty)\)。
2. 求函数的二阶导数判断凹凸性:
对\(f(x)=\ln x\)求一阶导数,\(f^\prime(x)=\frac{1}{x}\)。
再求二阶导数,\(f^{\prime\prime}(x)=-\frac{1}{x^{2}}\)。
因为对于任意\(x\in(0, +\infty)\),\(-\frac{1}{x^{2}}<0\),即\(f^{\prime\prime}(x)<0\),所以函数\(y = f(x)=\ln x\)在\((0, +\infty)\)上是凸函数。
3. 利用凸函数的定义证明不等式:
根据凸函数的定义,对于凸函数\(f(x)\),在其定义域内任意两点\(x_1\),\(x_2\),有\(f\left(\frac{x_{1}+x_{2}}{2}\right)\geq\frac{f(x_{1}) + f(x_{2})}{2}\)。
这里\(f(x)=\ln x\),所以\(\ln\frac{x_1 + x_2}{2} \geq \frac{\ln x_1 + \ln x_2}{2}\),即\(\frac{\ln x_1 + \ln x_2}{2} \leq \ln\frac{x_1 + x_2}{2}\),当且仅当\(x_1 = x_2\)时等号成立 。
例 3:证明对于\(x_1,x_2 \in R\),\((\frac{x_1 + x_2}{2})^2 \leq \frac{x_1^2 + x_2^2}{2}\)
1. 确定函数:
设函数\(f(x)=x^{2}\),\(x\in R\)。
2. 求函数的二阶导数判断凹凸性:
对\(f(x)=x^{2}\)求一阶导数,\(f^\prime(x)=2x\)。
再求二阶导数,\(f^{\prime\prime}(x)=2\)。
因为\(f^{\prime\prime}(x)=2>0\),所以函数\(y = f(x)=x^{2}\)在\(R\)上是凹函数。
3. 利用凹函数的定义证明不等式:
根据凹函数的定义,对于任意\(x_1,x_2\in R\),有\(f\left(\frac{x_{1}+x_{2}}{2}\right)\leq\frac{f(x_{1}) + f(x_{2})}{2}\)。
这里\(f(x)=x^{2}\),则\((\frac{x_1 + x_2}{2})^2 \leq \frac{x_1^2 + x_2^2}{2}\),当且仅当\(x_1 = x_2\)时等号成立。
一般步骤总结:
1. 分析要证明的不等式,选择合适的函数。
2. 对选定的函数求二阶导数,判断其凹凸性。
3. 根据函数的凹凸性(凹函数\(f\left(\frac{x_{1}+x_{2}}{2}\right)\leq\frac{f(x_{1}) + f(x_{2})}{2}\),凸函数\(f\left(\frac{x_{1}+x_{2}}{2}\right)\geq\frac{f(x_{1}) + f(x_{2})}{2}\)),结合所设函数来证明不等式。
数学基础 : 小学数学、初中数学、高中数学、高等数学
- 不等式 02 无理不等式的解法
- 不等式 02 不等式恒成立问题
- 函数 03 函数的概念与性质、幂函数
- 函数 03 函数三要素:定义域、对应关系、值域
- 函数 03 区间、无穷大
- 函数 03 求函数的定义域
- 函数 03 求函数的值域
- 函数 03 求函数的解析式
- 函数 03 抽象函数\(f(x)\)
- 函数 03 求抽象函数解析式
- 函数 03 分段函数
- 函数 03 复合函数:\(y = f(g(x))\)
- 函数 03 隐函数:\(F(x,y)=0\)
- 函数 03 反函数:\(y = f^{-1}(x)\)
- 函数 03 函数图象变换:平移、对称、翻折、缩放
- 函数 03 函数图像的对称性:自对称、互对称
- 函数 03 函数图像绕点旋转(仅供参考)
- 函数 03 函数图象的的相关问题-定性分析法
- 函数 03 函数的性质:单调性、奇偶性、周期性
- 函数 03 函数的单调性:增函数、减函数
- 函数 03 函数的奇偶性、奇函数、偶函数
- 函数 03 函数的最值:最大值、最小值
- 函数 03 二次函数在闭区间[a,b]上的最值
- 函数 03 函数的极值点、驻点、拐点、鞍点、可导点
- 函数 03 函数的周期性(周期函数)
- 函数 03 函数的凹凸性(凹函数、凸函数)
- 函数 03 幂函数: \(y = x^a\)
- 指数函数 04 指数函数 \(y = a^{x}\) 与 对数函数 \(y=\log_{a}x\)
- 指数函数 04 根式运算、化简、根式不等式、有理化
- 指数函数 04 指数方程:\(a^{x}=b\)(\(a > 0\)且\(a\neq1\))
- 指数函数 04 指数函数:\(y = a^{x}(a>0\),且\(a\neq1)\)
- 对数函数 04 对数运算与对数函数
- 高中数学 05 三角函数
- 三角函数 05 终边相同、相反、同直线、同射线、垂直的角
- 三角函数 05 轴线角与象限角
- 三角函数 05 弧度制下弧长公式与扇形面积公式
- 三角函数 05 三角函数诱导公式
- 三角函数 05 两角和与差的三角函数公式
- 三角函数 05 三角函数恒等变换
- 三角函数 05 加权同角三角函数和相结合的辅助角公式
- 高中数学 06 平面向量及其应用
- 平面向量 06 平面向量的概念、共线向量、零向量
- 平面向量 06 三点共线、四点不共线等
- 平面向量 06 向量加法:三角形、平行四边形法则、运算律
- 平面向量 06 向量减法、相反向量
- 平面向量 06 向量的数乘 \(\lambda\overrightarrow{a}\)
- 平面向量 06 共线向量基本定理:\(\overrightarrow{n}=\lambda\overrightarrow{a}\)
- 平面向量 06 向量线性运算的重要结论
- 平面向量 06 向量数量积(内积)
- 复数 07 复数 \(a + bi\)、几何意义、共轭复数、加减乘除运算