因为闭区间所以f(x)∈【m,M】所以m<=f(x1)<=M……m<=f(xn)<=M将这所有的不等式相加,所以nm<=f(x1)+f(x2)+……+f(xn)<=nM所以m<=[f(x1)+f(x2)+……+f(xn)]/n<=M所以至少存在一个a,使得f(a)=[f(x1)+f(x2)+……+f(xn)]/n