证:
构造函数F(x)=x³·f(x),则F(x)在[0,a]上连续,在(0,a)内可导。
F(0)=0³·f(0)=0,F(a)=a³·f(a)=0
F'(x)=3x²·f(x)+x³·f'(x)
由
罗尔中值定理得,在(0,a)内,至少存在一点ξ,使得
F'(ξ)=[F(a)-F(0)]/(a-0)=(0-0)/a=0
F'(ξ)=3ξ²·f(ξ)+ξ³·f'(ξ)=0
ξ²[3f(ξ)+ξ·f'(ξ)]=0
ξ∈(0,a),ξ≠0,因此只有3f(ξ)+ξ·f'(ξ)=0
即:在(0,a)内,至少存在一点ξ,使得3f(ξ)+ξ·f'(ξ)=0
此类题目的难点其实是一开始如何构造合适的函数,首要的问题解决了,后面只是运用中值定理计算而已。