设函数f(x)定义在某区间∨x1,x2∈I,a∈(0,1)上，若f(ax1+(1-a)x2)>af(x1)+(1-a)f(x2)有恒成立，则f(x)为严格下凸函数．