F(t)=∫(t a)f(x)dx-1/3∫(b a)f(x)dx,故F(t)在[a,b]连续.
F(a)=-1/3∫(b a)f(x)dx,F(b)=2/3∫(b a)f(x)dx
F(a)F(b)=(-2/9)[∫(b a)f(x)dx]^2