证明方程x^9 + x^3 + x - 1 = 0只有一个实根.
0.f(x) 单调递增所以只有一个实根"}}}'>