从0到1的定积分可写成0~a,a~1又因为是单调递减,定积分a~1小於f(a)*(1-a)所以我们有两个式子左式为从0~a的定积分右式为a*(0~a+f(a)*(1-a))把两侧同减a*(0~a)左式变成(0~a)*(1-a)右式变成f(a)*(1-a)*a同除(1-a),此项恒正所以不用变号左式变成(0~a)右式变成f(a)*a在由中间值定理可知,存在一常数c在0~a间使得定积分(0~a) = f(c)*a又此函数是单调递减所以f(c)>f(a)