f(x)=ax2+bx+c, x2>x1,f(X1)不等于f(X2), f(x)=1/2[f(x1)+f(x2)]的△>0, 证有一实数根在x1,x2间

解答：
为了简便，记m＝1/2[f(x1)+f(x2)]，
取一个新函数g(x)=f(x)-m,
则方程f(x)＝m<＝>g(x)＝0.
因此，只需证明g(x)＝0有一实数根在x1,x2间.
这等价于证明g(x1)g(x2)<0.而
g(x1)g(x2)
＝[f(x1)-m][f(x2)-m]
＝f(x1)f(x2)-m[f(x1)+f(x2)]+m^2
＝f(x1)f(x2)-(1/2)[f(x1)+f(x2)]^2+(1/4))[f(x1)+f(x2)]^2[把m代回来了]
＝f(x1)f(x2)-(1/4))[f(x1)+f(x2)]^2
＝(1/4){4f(x1)f(x2)-[f(x1)]^2-2f(x1)f(x2)-[f(x2)]^2}
＝(1/4){-[f(x1)]^2+2f(x1)f(x2)-[f(x2)]^2}
＝-(1/4){[f(x1)]^2-2f(x1)f(x2)+[f(x2)]^2}
＝-(1/4)[f(x1)-f(x2)]^2
∵f(x1)≠f(x2)
∴-(1/4)[f(x1)-f(x2)]^2<0
∴g(x1)g(x2)<0.
∴f(x)=1/2[f(x1)+f(x2)]有一实数根在x1,x2间.

注意条件：“x2>x1,f(x)=1/2[f(x1)+f(x2)]的△>0”明显多余.

设g(x)=f(x)-1/2[f(x1)+f(x2)]
g(x1)*g(x2)=...<0

这不是一个定理吗。