定积分的平均值定义