如何证明方程x*x*x+x-3=0至少存在一个正实根?