a_5必能在开区间formula_6内取得，见下方中值点在开区间内存在的证明。
证明.因为 formula_7 是闭区间上的连续函数，formula_7 取得最大值 formula_9 和最小值 formula_10。于是对不等式求积分，我们有若 formula_13，则 formula_14。formula_15 可取 formula_16 上任一点。设 formula_17，那么因为 formula_19是连续函数，则必存在一点 formula_20，使得Sect