问题描述:

关于函数的

已知函数f（x）在其定义域上有二阶导数f'（x）,在一定的区间（a；b）内为什么可以用f'（x）＜0推出来f（x）在区间（a；b）为凸函数,我知道凸函数的定义式f[（x1+x2）/2]＞[f（x1）+f（x2）]/2感觉和这个有关但是不知道在逻辑上如何证明,书上没有写,就直接给了定义