f(x) = x^3 - x - 1 。证 (1, 2) 有根。