∵f(x)在[0,1]上单调下降的正值连续函数
∴左边>∫[0,a]f(a)dx=abf(a)
右边<∫[a,b]f(a)dx=a(b-a)f(a) 从而有：
从而有：
证明什么。。。。。。。。。看不清
