在数学当中，凹函数是和凸函数相对的函数。

我们称一个有实值函数f在某区间（或者某个向量空间中的凸集）上是凹的，如果对任意该区间内不相等的和和中的任意有

某函数:→，在和之间的每一点，在图中的点(, () )是在以点(, () )和(, () )连成的直线之上。

和，有