a0+a1/2+.+an /(n+1)=0
f(x)=a0+a1x+.+anx^n
∫(0->1)f(x)dx
=∫(0->1) [a0+a1x+.+anx^n] dx
=a0+a1/2+.+an/(n+1)
=0
f(x)在(0,1)内至少有一个零点
a0+a1/2+.+an /(n+1)=0
f(x)=a0+a1x+.+anx^n
∫(0->1)f(x)dx
=∫(0->1) [a0+a1x+.+anx^n] dx
=a0+a1/2+.+an/(n+1)
=0
f(x)在(0,1)内至少有一个零点