f[(x1+x2)/2] - [f(x1)+f(x2)]/2=a*(x1+x2)^2/4 +b(x1+x2)/2 +c - (ax1^2+ax2^2 + bx1+bx2+2c)/2=-a*(x1-x2)^2/4<=0得证