平均函数

如果 在 闭区间 上连续，则至少存在一个数 在 中，使得

函数 在此区间上的平均值由此给出 。