琴生不等式:若函数在区间[a,b]上是凸函数,且都是区间[a,b]内的数;
则有①;
若 且
则有②。
两个不等式等号成立的条件是 当且仅当时等号成立
先来证明②式然后让 就可以直接证明不等式①了。
我们需要一个辅助结论 若都是区间[a,b]内的数, 且
则有仍然是区间[a,b]内的数
证明:
不妨设;
=
不难发现多项式的每一项的值都是[0,(Xi - Xi+1)] 区间的数或者为0;
因此命题得证
接下来利用数学归纳法证明不等式②
证明:
当时 不等式为不等式显然成立
当时 不等式为
对时证明:
连结曲线上的两点构建斜点式直线方程
则在区间中直线在曲线的下方
总有
因此
由于 当且仅当 时等号成立
因此 当且仅当时等号成立
假设对任意 不等式②都成立 即:
假设 对任意都成立
则当时不等式②为:
注意上式
因此当时不等式仍然成立
因此原不等式②是正确的
以上对凸函数进行研究那凹函数又有怎样的性质呢
由于直线会在凹函数曲线的上方
所以对于凹函数总有:
③
④