已知函数f(x)=3分之1x3-x2+1,(1)证明方程f(x)=0在区间(0,2)内有实解