平均函式

如果 在 閉區間 上連續，則至少存在一個數 在 中，使得

函式 在此區間上的平均值由此給出 。