TVI:证 x^3 - x - 1 = 0 在 (1, 2) 有根。