首先注意到yf(y)与x无关,提到内积分号外,得到左边=
现在将上面这个左边和原来的右边的b令为x,则辅助函数就做出来了
对此函数求一次导数,并结合单调性,使用一次积分中值定理,即得.